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/randa870aa.cudf.difficult.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/difficult//randa870aa.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/randa870aa.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.15 1.10 1.03 1/98 32322 /proc/meminfo: memFree=1269140/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) R 32321 32322 13759 34823 13904 4194304 342 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 255 1283457024 134512640 135191968 4292951696 18446744073709551615 4159189648 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/32322/statm: 595 255 219 166 0 27 0 [pid=32323] ppid=32322 vsize=6808 CPUtime=0 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 245 0 0 0 0 0 0 0 18 0 1 0 418688299 6971392 187 1283457024 134512640 140938604 4288983712 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 1702 188 132 1569 0 110 0 [startup+0.145703 s] /proc/loadavg: 1.15 1.10 1.03 1/98 32322 /proc/meminfo: memFree=1269140/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=14484 CPUtime=0.13 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 2204 0 0 0 11 2 0 0 19 0 1 0 418688299 14831616 2116 1283457024 134512640 140938604 4288983712 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 3621 2117 132 1569 0 2029 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 16864 [startup+0.205695 s] /proc/loadavg: 1.15 1.10 1.03 1/98 32322 /proc/meminfo: memFree=1269140/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=17492 CPUtime=0.19 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 2954 0 0 0 17 2 0 0 19 0 1 0 418688299 17911808 2834 1283457024 134512640 140938604 4288983712 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 4373 2834 132 1569 0 2781 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19872 [startup+0.305707 s] /proc/loadavg: 1.15 1.10 1.03 1/98 32322 /proc/meminfo: memFree=1269140/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=21980 CPUtime=0.29 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 4111 0 0 0 27 2 0 0 20 0 1 0 418688299 22507520 3991 1283457024 134512640 140938604 4288983712 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 5495 3991 132 1569 0 3903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24360 [startup+0.705735 s] /proc/loadavg: 1.15 1.10 1.03 1/98 32322 /proc/meminfo: memFree=1269140/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=39108 CPUtime=0.69 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 8542 0 0 0 67 2 0 0 20 0 1 0 418688299 40046592 8195 1283457024 134512640 140938604 4288983712 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 9777 8196 132 1569 0 8185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41488 [startup+1.51192 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1219424/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=73124 CPUtime=1.49 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 22173 0 0 0 145 4 0 0 23 0 1 0 418688299 74878976 16088 1283457024 134512640 140938604 4288983712 18446744073709551615 134883876 0 0 0 0 0 0 0 17 0 0 0 0 /proc/32323/statm: 18281 16088 459 1569 0 16295 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75504 [startup+3.11239 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1205040/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=73508 CPUtime=3.09 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 78447 0 0 0 274 35 0 0 25 0 1 0 418688299 75272192 16573 1283457024 134512640 140938604 4288983712 18446744073709551615 134840401 0 0 0 0 0 0 0 17 0 0 0 0 /proc/32323/statm: 18377 16573 747 1569 0 16391 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75888 Solver just ended. Dumping a history of the last processes samples [startup+3.20241 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1205040/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=73508 CPUtime=3.19 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 80680 0 0 0 284 35 0 0 25 0 1 0 418688299 75272192 16573 1283457024 134512640 140938604 4288983712 18446744073709551615 137898668 0 0 0 0 0 0 0 17 0 0 0 0 /proc/32323/statm: 18377 16573 747 1569 0 16391 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 75888 [startup+4.00588 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1205164/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=107956 CPUtime=3.98 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 105851 0 0 0 352 46 0 0 25 0 1 0 418688299 110546944 20969 1283457024 134512640 140938604 4288983712 18446744073709551615 140208849 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 26989 20969 749 1569 0 25003 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 110336 [startup+4.40588 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1193260/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=99572 CPUtime=4.39 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 115680 0 0 0 388 51 0 0 25 0 1 0 418688299 101961728 19584 1283457024 134512640 140938604 4288983712 18446744073709551615 134697012 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 24893 19584 754 1569 0 22907 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 101952 [startup+4.50992 s] /proc/loadavg: 1.14 1.10 1.03 2/100 32324 /proc/meminfo: memFree=1193260/2097152 swapFree=2055620/2097144 [pid=32322] ppid=32321 vsize=2380 CPUtime=0 /proc/32322/stat : 32322 (uns-trendy-0.00) S 32321 32322 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 418688299 2437120 256 1283457024 134512640 135191968 4292951696 18446744073709551615 4159187598 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/32322/statm: 595 256 220 166 0 27 0 [pid=32323] ppid=32322 vsize=105472 CPUtime=4.49 /proc/32323/stat : 32323 (cudfsolver-stat) R 32322 32322 13759 34823 13904 4202496 118364 0 0 0 398 51 0 0 25 0 1 0 418688299 108003328 20867 1283457024 134512640 140938604 4288983712 18446744073709551615 140208849 0 0 0 0 0 0 0 17 1 0 0 0 /proc/32323/statm: 26368 20867 754 1569 0 24382 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 107852 Child status: 0 Real time (s): 4.58117 CPU time (s): 4.56429 CPU user time (s): 4.02025 CPU system time (s): 0.544034 CPU usage (%): 99.6315 Max. virtual memory (cumulated for all children) (KiB): 110336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.02025 system time used= 0.544034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121447 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= 23 involuntary context switches= 81 runsolver used 0 second user time and 0.008 second system time The end