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/201007051419/uns-trendy-0.0002/randf61f65.cudf.difficult.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/difficult//randf61f65.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/randf61f65.cudf.difficult.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.00 1.05 1.07 1/95 10463 /proc/meminfo: memFree=1209824/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) R 10462 10463 13759 34823 13904 4194304 343 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 257 1283457024 134512640 135191968 4289692528 18446744073709551615 4159427216 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/10463/statm: 595 257 219 166 0 27 0 [pid=10464] ppid=10463 vsize=6808 CPUtime=0 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 244 0 0 0 0 0 0 0 17 0 1 0 419141214 6971392 185 1283457024 134512640 140938604 4287891856 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10464/statm: 1702 186 132 1569 0 110 0 [startup+0.138091 s] /proc/loadavg: 1.00 1.05 1.07 1/95 10463 /proc/meminfo: memFree=1209824/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=14088 CPUtime=0.12 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 2110 0 0 0 12 0 0 0 18 0 1 0 419141214 14426112 2022 1283457024 134512640 140938604 4287891856 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10464/statm: 3522 2023 132 1569 0 1930 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 16468 [startup+0.206202 s] /proc/loadavg: 1.00 1.05 1.07 1/95 10463 /proc/meminfo: memFree=1209824/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=17492 CPUtime=0.19 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 2956 0 0 0 19 0 0 0 18 0 1 0 419141214 17911808 2836 1283457024 134512640 140938604 4287891856 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10464/statm: 4373 2837 132 1569 0 2781 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19872 [startup+0.306112 s] /proc/loadavg: 1.00 1.05 1.07 1/95 10463 /proc/meminfo: memFree=1209824/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=22112 CPUtime=0.29 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 4124 0 0 0 28 1 0 0 19 0 1 0 419141214 22642688 4004 1283457024 134512640 140938604 4287891856 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10464/statm: 5528 4004 132 1569 0 3936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24492 [startup+0.70613 s] /proc/loadavg: 1.00 1.05 1.07 1/95 10463 /proc/meminfo: memFree=1209824/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=39108 CPUtime=0.69 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 8544 0 0 0 65 4 0 0 19 0 1 0 419141214 40046592 8197 1283457024 134512640 140938604 4287891856 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10464/statm: 9810 8198 132 1569 0 8218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41488 [startup+1.50398 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1159984/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=73280 CPUtime=1.49 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 20289 0 0 0 140 9 0 0 21 0 1 0 419141214 75038720 16138 1283457024 134512640 140938604 4287891856 18446744073709551615 134840895 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10464/statm: 18320 16138 449 1569 0 16334 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75660 [startup+3.10447 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1143988/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=73792 CPUtime=3.09 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 76580 0 0 0 277 32 0 0 25 0 1 0 419141214 75563008 16530 1283457024 134512640 140938604 4287891856 18446744073709551615 137898618 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10464/statm: 18448 16530 745 1569 0 16462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76172 Solver just ended. Dumping a history of the last processes samples [startup+3.2045 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1143988/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=74864 CPUtime=3.19 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 77450 0 0 0 287 32 0 0 25 0 1 0 419141214 76660736 16827 1283457024 134512640 140938604 4287891856 18446744073709551615 137949143 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10464/statm: 18716 16827 745 1569 0 16730 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 77244 [startup+4.80498 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1129480/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=123080 CPUtime=4.79 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 111738 0 0 0 431 48 0 0 25 0 1 0 419141214 126033920 22275 1283457024 134512640 140938604 4287891856 18446744073709551615 136591782 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10464/statm: 30770 22275 746 1569 0 28784 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 125460 [startup+5.20504 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1129480/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=106300 CPUtime=5.19 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 122591 0 0 0 468 51 0 0 25 0 1 0 419141214 108851200 19760 1283457024 134512640 140938604 4287891856 18446744073709551615 134697078 0 0 0 0 0 0 0 17 0 0 0 0 /proc/10464/statm: 26575 19760 749 1569 0 24589 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 108680 [startup+5.6051 s] /proc/loadavg: 1.00 1.05 1.07 2/97 10465 /proc/meminfo: memFree=1122660/2097152 swapFree=2055620/2097144 [pid=10463] ppid=10462 vsize=2380 CPUtime=0 /proc/10463/stat : 10463 (uns-trendy-0.00) S 10462 10463 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 17 0 1 0 419141213 2437120 258 1283457024 134512640 135191968 4289692528 18446744073709551615 4159425166 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10463/statm: 595 258 220 166 0 27 0 [pid=10464] ppid=10463 vsize=144420 CPUtime=5.6 /proc/10464/stat : 10464 (cudfsolver-stat) R 10463 10463 13759 34823 13904 4202496 133647 0 0 0 504 56 0 0 25 0 2 0 419141214 147886080 25060 1283457024 134512640 140938604 4287891856 18446744073709551615 135481157 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/10464/statm: 36105 25060 763 1569 0 34119 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 146800 Child status: 0 Real time (s): 5.68726 CPU time (s): 5.68035 CPU user time (s): 5.07632 CPU system time (s): 0.604037 CPU usage (%): 99.8786 Max. virtual memory (cumulated for all children) (KiB): 146800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.07632 system time used= 0.604037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134348 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 65 involuntary context switches= 118 runsolver used 0.004 second user time and 0.004 second system time The end