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/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/9bb87ab4-4c36-11df-bc1e-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.01 0.99 0.99 2/33 15195 /proc/meminfo: memFree=764104/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2884 CPUtime=0 /proc/15195/stat : 15195 (runsolver) D 15194 15195 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 528543721 2953216 93 1283457024 134512640 134586868 4286917184 18446744073709551615 4158096426 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/15195/statm: 721 93 62 19 0 53 0 [startup+0.133124 s] /proc/loadavg: 1.01 0.99 0.99 2/33 15195 /proc/meminfo: memFree=764104/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.293385 s] /proc/loadavg: 1.01 0.99 0.99 2/33 15195 /proc/meminfo: memFree=764104/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.313377 s] /proc/loadavg: 1.01 0.99 0.99 2/33 15195 /proc/meminfo: memFree=764104/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.713479 s] /proc/loadavg: 1.01 0.99 0.99 2/33 15195 /proc/meminfo: memFree=764104/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51373 s] /proc/loadavg: 1.01 0.99 0.99 2/35 15197 /proc/meminfo: memFree=720948/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=62928 CPUtime=1.41 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 14508 0 15 0 137 4 0 0 25 0 1 0 528543722 64438272 14174 1283457024 134512640 140938604 4289752736 18446744073709551615 134608473 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 15732 14174 132 1569 0 14140 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 65316 [startup+3.11038 s] /proc/loadavg: 1.01 0.99 0.99 2/35 15197 /proc/meminfo: memFree=679356/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=137716 CPUtime=2.82 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 41293 0 42 0 274 8 0 0 25 0 1 0 528543722 141021184 30794 1283457024 134512640 140938604 4289752736 18446744073709551615 137923984 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 34429 30794 417 1569 0 32483 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 140104 [startup+6.31136 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=637528/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=136320 CPUtime=6.03 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 74173 0 42 0 576 27 0 0 25 0 1 0 528543722 139591680 31021 1283457024 134512640 140938604 4289752736 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 34080 31021 439 1569 0 32134 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 138708 [startup+12.7122 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=556080/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=347100 CPUtime=12.34 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 238447 0 55 0 1146 88 0 0 25 0 1 0 528543722 355430400 55026 1283457024 134512640 140938604 4289752736 18446744073709551615 136367747 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 86775 55026 697 1569 0 84829 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 349488 [startup+25.5065 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=584788/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=283948 CPUtime=25.12 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 460885 0 55 0 2322 190 0 0 25 0 1 0 528543722 290762752 44123 1283457024 134512640 140938604 4289752736 18446744073709551615 137878234 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 70987 44123 795 1569 0 69041 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 286336 [startup+51.106 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=535064/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=356500 CPUtime=50.67 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 535277 0 55 0 4851 216 0 0 25 0 1 0 528543722 365056000 57615 1283457024 134512640 140938604 4289752736 18446744073709551615 135078570 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 89125 57615 731 1569 0 87179 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 358888 Solver just ended. Dumping a history of the last processes samples [startup+51.206 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=535064/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=356500 CPUtime=50.77 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 535277 0 55 0 4861 216 0 0 25 0 1 0 528543722 365056000 57615 1283457024 134512640 140938604 4289752736 18446744073709551615 137233506 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 89125 57615 731 1569 0 87179 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 358888 [startup+54.407 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=554656/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=251984 CPUtime=53.96 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 607845 0 55 0 5146 250 0 0 25 0 1 0 528543722 258031616 38075 1283457024 134512640 140938604 4289752736 18446744073709551615 134697083 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 62996 38075 731 1569 0 61050 0 Current children cumulated CPU time (s) 53.96 Current children cumulated vsize (KiB) 254372 [startup+55.2072 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=600040/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=260644 CPUtime=54.76 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 635344 0 55 0 5216 260 0 0 25 0 1 0 528543722 266899456 40235 1283457024 134512640 140938604 4289752736 18446744073709551615 134697078 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 65161 40235 731 1569 0 63215 0 Current children cumulated CPU time (s) 54.76 Current children cumulated vsize (KiB) 263032 [startup+55.6073 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=600040/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=260644 CPUtime=55.16 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 635344 0 55 0 5256 260 0 0 25 0 1 0 528543722 266899456 40235 1283457024 134512640 140938604 4289752736 18446744073709551615 134697069 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 65161 40235 731 1569 0 63215 0 Current children cumulated CPU time (s) 55.16 Current children cumulated vsize (KiB) 263032 [startup+56.0074 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15197 /proc/meminfo: memFree=600040/1048576 swapFree=2094592/2097144 [pid=15195] ppid=15194 vsize=2388 CPUtime=0 /proc/15195/stat : 15195 (uns-trendy-0.00) S 15194 15195 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528543721 2445312 261 1283457024 134512640 135191968 4294072816 18446744073709551615 4159056286 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15195/statm: 597 261 221 166 0 29 0 [pid=15197] ppid=15195 vsize=260644 CPUtime=55.56 /proc/15197/stat : 15197 (cudfsolver-stat) R 15195 15195 3447 769 3447 4202496 635344 0 55 0 5296 260 0 0 25 0 1 0 528543722 266899456 40235 1283457024 134512640 140938604 4289752736 18446744073709551615 134697078 0 0 0 0 0 0 0 17 0 0 0 0 /proc/15197/statm: 65161 40235 731 1569 0 63215 0 Current children cumulated CPU time (s) 55.56 Current children cumulated vsize (KiB) 263032 Child status: 0 Real time (s): 56.0892 CPU time (s): 55.6555 CPU user time (s): 52.9993 CPU system time (s): 2.65617 CPU usage (%): 99.2268 Max. virtual memory (cumulated for all children) (KiB): 388880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 52.9993 system time used= 2.65617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 635803 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= 66 involuntary context switches= 683 runsolver used 0 second user time and 0.004 second system time The end