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/201007051233/uns-trendy-0.0002/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.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.02 1.02 1.00 1/33 17119 /proc/meminfo: memFree=770208/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2880 CPUtime=0 /proc/17119/stat : 17119 (runsolver) D 17118 17119 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 528798328 2949120 93 1283457024 134512640 134586868 4292042528 18446744073709551615 4157850666 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/17119/statm: 720 93 62 19 0 52 0 [startup+0.184522 s] /proc/loadavg: 1.02 1.02 1.00 1/33 17119 /proc/meminfo: memFree=770208/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.204564 s] /proc/loadavg: 1.02 1.02 1.00 1/33 17119 /proc/meminfo: memFree=770208/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.304542 s] /proc/loadavg: 1.02 1.02 1.00 1/33 17119 /proc/meminfo: memFree=770208/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.704611 s] /proc/loadavg: 1.02 1.02 1.00 1/33 17119 /proc/meminfo: memFree=770208/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50485 s] /proc/loadavg: 1.02 1.02 1.00 2/35 17121 /proc/meminfo: memFree=727424/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=62276 CPUtime=1.41 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 14365 0 15 0 131 10 0 0 25 0 1 0 528798328 63770624 14031 1283457024 134512640 140938604 4289107648 18446744073709551615 140187801 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 15569 14031 132 1569 0 13977 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 64664 [startup+3.10482 s] /proc/loadavg: 1.01 1.02 1.00 2/35 17121 /proc/meminfo: memFree=686888/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=137724 CPUtime=2.82 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 41289 0 42 0 264 18 0 0 25 0 1 0 528798328 141029376 30789 1283457024 134512640 140938604 4289107648 18446744073709551615 137923670 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 34431 30789 417 1569 0 32485 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 140112 [startup+6.30581 s] /proc/loadavg: 1.01 1.02 1.00 2/35 17121 /proc/meminfo: memFree=639168/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=139924 CPUtime=6.02 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 71935 0 42 0 568 34 0 0 25 0 1 0 528798328 143282176 31462 1283457024 134512640 140938604 4289107648 18446744073709551615 135810185 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 34981 31462 439 1569 0 33035 0 Current children cumulated CPU time (s) 6.02 Current children cumulated vsize (KiB) 142312 [startup+12.7085 s] /proc/loadavg: 1.01 1.02 1.00 2/35 17121 /proc/meminfo: memFree=549536/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=347108 CPUtime=12.33 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 238449 0 55 0 1124 109 0 0 25 0 1 0 528798328 355438592 55027 1283457024 134512640 140938604 4289107648 18446744073709551615 137233496 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 86777 55027 697 1569 0 84831 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 349496 [startup+25.512 s] /proc/loadavg: 1.01 1.02 1.00 2/35 17121 /proc/meminfo: memFree=590892/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=283952 CPUtime=25.11 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 460731 0 55 0 2304 207 0 0 25 0 1 0 528798328 290766848 44123 1283457024 134512640 140938604 4289107648 18446744073709551615 135380754 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 70988 44123 795 1569 0 69042 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 286340 [startup+51.1128 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=537076/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=356508 CPUtime=50.69 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 535279 0 55 0 4822 247 0 0 25 0 1 0 528798328 365064192 57616 1283457024 134512640 140938604 4289107648 18446744073709551615 135058427 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 89127 57616 731 1569 0 87181 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 358896 Solver just ended. Dumping a history of the last processes samples [startup+51.2128 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=537076/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=356508 CPUtime=50.79 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 535279 0 55 0 4832 247 0 0 25 0 1 0 528798328 365064192 57616 1283457024 134512640 140938604 4289107648 18446744073709551615 136368999 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 89127 57616 731 1569 0 87181 0 Current children cumulated CPU time (s) 50.79 Current children cumulated vsize (KiB) 358896 [startup+52.8136 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=605648/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=261120 CPUtime=52.39 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 581984 0 55 0 4964 275 0 0 25 0 1 0 528798328 267386880 40351 1283457024 134512640 140938604 4289107648 18446744073709551615 134697000 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 65280 40351 731 1569 0 63334 0 Current children cumulated CPU time (s) 52.39 Current children cumulated vsize (KiB) 263508 [startup+54.404 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=595852/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=318060 CPUtime=53.98 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 626535 0 55 0 5109 289 0 0 25 0 1 0 528798328 325693440 43303 1283457024 134512640 140938604 4289107648 18446744073709551615 137529024 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 79515 43303 731 1569 0 77569 0 Current children cumulated CPU time (s) 53.98 Current children cumulated vsize (KiB) 320448 [startup+55.2042 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=606144/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=260652 CPUtime=54.78 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 635346 0 55 0 5184 294 0 0 25 0 1 0 528798328 266907648 40236 1283457024 134512640 140938604 4289107648 18446744073709551615 134697060 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 65163 40236 731 1569 0 63217 0 Current children cumulated CPU time (s) 54.78 Current children cumulated vsize (KiB) 263040 [startup+55.6043 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=606144/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=260652 CPUtime=55.18 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 635346 0 55 0 5224 294 0 0 25 0 1 0 528798328 266907648 40236 1283457024 134512640 140938604 4289107648 18446744073709551615 134697057 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 65163 40236 731 1569 0 63217 0 Current children cumulated CPU time (s) 55.18 Current children cumulated vsize (KiB) 263040 [startup+55.7045 s] /proc/loadavg: 1.00 1.01 1.00 2/35 17121 /proc/meminfo: memFree=606144/1048576 swapFree=2094592/2097144 [pid=17119] ppid=17118 vsize=2388 CPUtime=0 /proc/17119/stat : 17119 (uns-trendy-0.00) S 17118 17119 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528798328 2445312 261 1283457024 134512640 135191968 4291864528 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17119/statm: 597 261 221 166 0 29 0 [pid=17121] ppid=17119 vsize=111092 CPUtime=55.28 /proc/17121/stat : 17121 (cudfsolver-stat) R 17119 17119 3447 769 3447 4202496 635426 0 55 0 5232 296 0 0 25 0 1 0 528798328 113758208 25690 1283457024 134512640 140938604 4289107648 18446744073709551615 140187834 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17121/statm: 27773 25690 731 1569 0 25827 0 Current children cumulated CPU time (s) 55.28 Current children cumulated vsize (KiB) 113480 Child status: 0 Real time (s): 55.7392 CPU time (s): 55.3155 CPU user time (s): 52.3433 CPU system time (s): 2.97219 CPU usage (%): 99.2397 Max. virtual memory (cumulated for all children) (KiB): 390136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 52.3433 system time used= 2.97219 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 635805 page faults= 55 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= 673 runsolver used 0 second user time and 0 second system time The end