runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/uns-trendy-0.0002/randbe9acf.cudf.easy.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/easy//randbe9acf.cudf /home/misc2010/tmp/201007050905/uns-trendy-0.0002/randbe9acf.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.20 1.18 1.09 5/38 29914 /proc/meminfo: memFree=463636/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=6808 CPUtime=0 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 250 0 0 0 0 0 0 0 25 0 1 0 525177535 6971392 192 1283457024 134512640 140938604 4294193680 18446744073709551615 140190666 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 1702 192 132 1569 0 110 0 [startup+0.194367 s] /proc/loadavg: 1.20 1.18 1.09 5/38 29914 /proc/meminfo: memFree=463636/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=16748 CPUtime=0.19 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 2763 0 0 0 19 0 0 0 25 0 1 0 525177535 17149952 2644 1283457024 134512640 140938604 4294193680 18446744073709551615 140190639 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 4187 2644 132 1569 0 2595 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19132 [startup+0.204364 s] /proc/loadavg: 1.20 1.18 1.09 5/38 29914 /proc/meminfo: memFree=463636/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=17144 CPUtime=0.2 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 2878 0 0 0 20 0 0 0 25 0 1 0 525177535 17555456 2759 1283457024 134512640 140938604 4294193680 18446744073709551615 140308510 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 4286 2759 132 1569 0 2694 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 19528 [startup+0.304386 s] /proc/loadavg: 1.20 1.18 1.09 5/38 29914 /proc/meminfo: memFree=463636/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=21764 CPUtime=0.3 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 4059 0 0 0 27 3 0 0 25 0 1 0 525177535 22286336 3940 1283457024 134512640 140938604 4294193680 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 5441 3940 132 1569 0 3849 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24148 [startup+0.704463 s] /proc/loadavg: 1.20 1.18 1.09 5/38 29914 /proc/meminfo: memFree=463636/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=39032 CPUtime=0.7 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 8496 0 0 0 64 6 0 0 25 0 1 0 525177535 39968768 8206 1283457024 134512640 140938604 4294193680 18446744073709551615 134554936 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 9758 8206 133 1569 0 8166 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 41416 [startup+1.5044 s] /proc/loadavg: 1.20 1.18 1.09 2/39 29915 /proc/meminfo: memFree=420872/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=59544 CPUtime=1.11 /proc/29914/stat : 29914 (cudfsolver-stat) D 29913 29913 24102 769 24102 4202496 15395 0 0 0 105 6 0 0 25 0 1 0 525177535 60973056 11925 1283457024 134512640 140938604 4294193680 18446744073709551615 135049216 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/29914/statm: 14886 11925 553 1569 0 12940 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 61928 [startup+3.10453 s] /proc/loadavg: 1.20 1.18 1.09 1/39 29915 /proc/meminfo: memFree=418084/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=59544 CPUtime=1.11 /proc/29914/stat : 29914 (cudfsolver-stat) D 29913 29913 24102 769 24102 4202496 15395 0 0 0 105 6 0 0 25 0 1 0 525177535 60973056 11925 1283457024 134512640 140938604 4294193680 18446744073709551615 135049216 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/29914/statm: 14886 11925 553 1569 0 12940 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 61928 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+3.2046 s] /proc/loadavg: 1.27 1.19 1.10 1/39 29915 /proc/meminfo: memFree=418084/1048576 swapFree=2095456/2097144 [pid=29913] ppid=29912 vsize=2384 CPUtime=0 /proc/29913/stat : 29913 (uns-trendy-0.00) S 29912 29913 24102 769 24102 4194304 361 0 0 0 0 0 0 0 23 0 1 0 525177535 2441216 259 1283457024 134512640 135191968 4289732112 18446744073709551615 4158949790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29913/statm: 596 259 221 166 0 28 0 [pid=29914] ppid=29913 vsize=55480 CPUtime=1.2 /proc/29914/stat : 29914 (cudfsolver-stat) R 29913 29913 24102 769 24102 4202496 21444 0 1 0 112 8 0 0 18 0 1 0 525177535 56811520 12157 1283457024 134512640 140938604 4294193680 18446744073709551615 135819887 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29914/statm: 13870 12157 626 1569 0 11924 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 57864 Child status: 0 Real time (s): 3.26244 CPU time (s): 1.26408 CPU user time (s): 1.17607 CPU system time (s): 0.088005 CPU usage (%): 38.7464 Max. virtual memory (cumulated for all children) (KiB): 61928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.17607 system time used= 0.088005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21823 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 21 runsolver used 0 second user time and 0 second system time The end