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-paranoid-0.0002/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/3e4f8550-0b33-11df-942d-00163e1d94dc.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.10 1.00 0.99 5/34 9055 /proc/meminfo: memFree=728032/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=7340 CPUtime=0.02 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 387 0 0 0 2 0 0 0 25 0 1 0 527406288 7516160 328 1283457024 134512640 140938604 4294380080 18446744073709551615 134609568 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 1835 328 132 1569 0 243 0 [startup+0.153686 s] /proc/loadavg: 1.10 1.00 0.99 5/34 9055 /proc/meminfo: memFree=728032/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=13964 CPUtime=0.16 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 2071 0 0 0 16 0 0 0 25 0 1 0 527406288 14299136 1984 1283457024 134512640 140938604 4294380080 18446744073709551615 134604541 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 3491 1984 132 1569 0 1899 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 16352 [startup+0.213695 s] /proc/loadavg: 1.10 1.00 0.99 5/34 9055 /proc/meminfo: memFree=728032/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=16544 CPUtime=0.22 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 2709 0 0 0 22 0 0 0 25 0 1 0 527406288 16941056 2622 1283457024 134512640 140938604 4294380080 18446744073709551615 134570500 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 4136 2622 132 1569 0 2544 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 18932 [startup+0.313714 s] /proc/loadavg: 1.10 1.00 0.99 5/34 9055 /proc/meminfo: memFree=728032/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=20948 CPUtime=0.32 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 3821 0 0 0 32 0 0 0 25 0 1 0 527406288 21450752 3702 1283457024 134512640 140938604 4294380080 18446744073709551615 134573262 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 5237 3702 132 1569 0 3645 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 23336 [startup+0.713793 s] /proc/loadavg: 1.10 1.00 0.99 5/34 9055 /proc/meminfo: memFree=728032/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=36372 CPUtime=0.71 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 7766 0 0 0 70 1 0 0 25 0 1 0 527406288 37244928 7549 1283457024 134512640 140938604 4294380080 18446744073709551615 134608475 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 9093 7549 132 1569 0 7501 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 38760 [startup+1.51394 s] /proc/loadavg: 1.10 1.00 0.99 2/35 9056 /proc/meminfo: memFree=684044/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=65536 CPUtime=1.51 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 15180 0 0 0 147 4 0 0 25 0 1 0 527406288 67108864 14831 1283457024 134512640 140938604 4294380080 18446744073709551615 134604548 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 16384 14831 132 1569 0 14792 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 67924 [startup+3.11434 s] /proc/loadavg: 1.09 1.00 0.99 2/35 9056 /proc/meminfo: memFree=629484/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=113232 CPUtime=3.11 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 39006 0 0 0 298 13 0 0 25 0 1 0 527406288 115949568 25368 1283457024 134512640 140938604 4294380080 18446744073709551615 137948610 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 28308 25368 411 1569 0 26362 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 115620 [startup+6.31519 s] /proc/loadavg: 1.09 1.00 0.99 2/35 9056 /proc/meminfo: memFree=608528/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=202988 CPUtime=6.32 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 92742 0 0 0 602 30 0 0 25 0 1 0 527406288 207859712 30393 1283457024 134512640 140938604 4294380080 18446744073709551615 137942554 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 50747 30393 533 1569 0 48801 0 Current children cumulated CPU time (s) 6.32 Current children cumulated vsize (KiB) 205376 Solver just ended. Dumping a history of the last processes samples [startup+6.41522 s] /proc/loadavg: 1.09 1.00 0.99 2/35 9056 /proc/meminfo: memFree=608528/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=195892 CPUtime=6.42 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 96512 0 0 0 612 30 0 0 25 0 1 0 527406288 200593408 28113 1283457024 134512640 140938604 4294380080 18446744073709551615 140189886 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 48973 28113 477 1569 0 47027 0 Current children cumulated CPU time (s) 6.42 Current children cumulated vsize (KiB) 198280 [startup+8.00558 s] /proc/loadavg: 1.08 1.00 0.99 2/35 9056 /proc/meminfo: memFree=602576/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=209944 CPUtime=8 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 136659 0 0 0 751 49 0 0 25 0 1 0 527406288 214982656 31911 1283457024 134512640 140938604 4294380080 18446744073709551615 134697000 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 52486 31911 634 1569 0 50540 0 Current children cumulated CPU time (s) 8 Current children cumulated vsize (KiB) 212332 [startup+8.80572 s] /proc/loadavg: 1.08 1.00 0.99 2/35 9056 /proc/meminfo: memFree=602576/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=209944 CPUtime=8.8 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 136659 0 0 0 831 49 0 0 25 0 1 0 527406288 214982656 31911 1283457024 134512640 140938604 4294380080 18446744073709551615 134697060 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 52486 31911 634 1569 0 50540 0 Current children cumulated CPU time (s) 8.8 Current children cumulated vsize (KiB) 212332 [startup+9.20579 s] /proc/loadavg: 1.08 1.00 0.99 2/35 9056 /proc/meminfo: memFree=602576/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=209944 CPUtime=9.2 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 136659 0 0 0 871 49 0 0 25 0 1 0 527406288 214982656 31911 1283457024 134512640 140938604 4294380080 18446744073709551615 134697057 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 52486 31911 634 1569 0 50540 0 Current children cumulated CPU time (s) 9.2 Current children cumulated vsize (KiB) 212332 [startup+9.40587 s] /proc/loadavg: 1.08 1.00 0.99 2/35 9056 /proc/meminfo: memFree=602576/1048576 swapFree=2094644/2097144 [pid=9054] ppid=9053 vsize=2388 CPUtime=0 /proc/9054/stat : 9054 (uns-paranoid-0.) S 9053 9054 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527406288 2445312 260 1283457024 134512640 135191968 4292016112 18446744073709551615 4159150494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9054/statm: 597 260 221 166 0 29 0 [pid=9055] ppid=9054 vsize=265620 CPUtime=9.4 /proc/9055/stat : 9055 (cudfsolver-stat) R 9054 9054 3447 769 3447 4202496 148406 0 0 0 888 52 0 0 25 0 1 0 527406288 271994880 40510 1283457024 134512640 140938604 4294380080 18446744073709551615 138327876 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9055/statm: 66405 40510 644 1569 0 64459 0 Current children cumulated CPU time (s) 9.4 Current children cumulated vsize (KiB) 268008 Child status: 0 Real time (s): 9.49062 CPU time (s): 9.49259 CPU user time (s): 8.93256 CPU system time (s): 0.560035 CPU usage (%): 100.021 Max. virtual memory (cumulated for all children) (KiB): 268008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.93256 system time used= 0.560035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149656 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= 3 involuntary context switches= 118 runsolver used 0 second user time and 0 second system time The end