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/huge1.cudf.cudf_set.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/cudf_set/huge1.cudf /home/misc2010/tmp/201007051233/uns-paranoid-0.0002/huge1.cudf.cudf_set.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: 0.98 0.86 0.92 1/37 3846 /proc/meminfo: memFree=956768/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2876 CPUtime=0 /proc/3846/stat : 3846 (runsolver) D 3845 3846 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 526181234 2945024 92 1283457024 134512640 134586868 4293394624 18446744073709551615 4158436394 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/3846/statm: 719 92 62 19 0 51 0 [startup+0.155586 s] /proc/loadavg: 0.98 0.86 0.92 1/37 3846 /proc/meminfo: memFree=956768/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.207576 s] /proc/loadavg: 0.98 0.86 0.92 1/37 3846 /proc/meminfo: memFree=956768/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.307577 s] /proc/loadavg: 0.98 0.86 0.92 1/37 3846 /proc/meminfo: memFree=956768/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.706846 s] /proc/loadavg: 0.98 0.86 0.92 1/37 3846 /proc/meminfo: memFree=956768/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50776 s] /proc/loadavg: 0.98 0.86 0.92 2/39 3848 /proc/meminfo: memFree=944104/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=20616 CPUtime=1.19 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 3407 0 52 0 118 1 0 0 25 0 1 0 526181234 21110784 2531 1283457024 134512640 140938604 4294055264 18446744073709551615 135395032 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5154 2531 556 1569 0 3208 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 23000 [startup+3.10807 s] /proc/loadavg: 0.98 0.86 0.92 2/39 3848 /proc/meminfo: memFree=939908/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=26948 CPUtime=2.77 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 6617 0 54 0 273 4 0 0 25 0 1 0 526181234 27594752 3613 1283457024 134512640 140938604 4294055264 18446744073709551615 135091323 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 6737 3613 650 1569 0 4791 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 29332 [startup+6.3088 s] /proc/loadavg: 0.98 0.86 0.92 2/39 3848 /proc/meminfo: memFree=938792/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=23172 CPUtime=5.96 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 7513 0 54 0 591 5 0 0 25 0 1 0 526181234 23728128 3177 1283457024 134512640 140938604 4294055264 18446744073709551615 135091311 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5793 3177 663 1569 0 3847 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 25556 [startup+12.711 s] /proc/loadavg: 0.98 0.86 0.92 2/39 3848 /proc/meminfo: memFree=940900/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=23284 CPUtime=12.35 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 12651 0 54 0 1226 9 0 0 25 0 1 0 526181234 23842816 3213 1283457024 134512640 140938604 4294055264 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5821 3213 664 1569 0 3875 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 25668 [startup+25.5102 s] /proc/loadavg: 0.98 0.87 0.92 2/39 3848 /proc/meminfo: memFree=939864/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=23548 CPUtime=25.11 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 30425 0 54 0 2495 16 0 0 25 0 1 0 526181234 24113152 3264 1283457024 134512640 140938604 4294055264 18446744073709551615 138324938 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5887 3264 664 1569 0 3941 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 25932 [startup+51.1061 s] /proc/loadavg: 0.99 0.88 0.92 2/39 3848 /proc/meminfo: memFree=940112/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=23428 CPUtime=50.61 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 65312 0 54 0 5032 29 0 0 25 0 1 0 526181234 23990272 3280 1283457024 134512640 140938604 4294055264 18446744073709551615 134950321 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5857 3280 678 1569 0 3911 0 Current children cumulated CPU time (s) 50.61 Current children cumulated vsize (KiB) 25812 [startup+102.308 s] /proc/loadavg: 0.99 0.90 0.92 2/39 3848 /proc/meminfo: memFree=940484/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=22312 CPUtime=101.77 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 118329 0 54 0 10129 48 0 0 25 0 1 0 526181234 22847488 3199 1283457024 134512640 140938604 4294055264 18446744073709551615 135083974 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5578 3199 712 1569 0 3632 0 Current children cumulated CPU time (s) 101.77 Current children cumulated vsize (KiB) 24696 [startup+162.315 s] /proc/loadavg: 0.99 0.91 0.92 2/39 3848 /proc/meminfo: memFree=940124/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=22312 CPUtime=161.72 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 198902 0 54 0 16086 86 0 0 25 0 1 0 526181234 22847488 3202 1283457024 134512640 140938604 4294055264 18446744073709551615 135083978 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5578 3202 712 1569 0 3632 0 Current children cumulated CPU time (s) 161.72 Current children cumulated vsize (KiB) 24696 [startup+222.306 s] /proc/loadavg: 0.99 0.92 0.92 2/39 3848 /proc/meminfo: memFree=940248/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=22280 CPUtime=221.72 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 222210 0 54 0 22080 92 0 0 25 0 1 0 526181234 22814720 3181 1283457024 134512640 140938604 4294055264 18446744073709551615 134950263 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5570 3181 714 1569 0 3624 0 Current children cumulated CPU time (s) 221.72 Current children cumulated vsize (KiB) 24664 [startup+282.309 s] /proc/loadavg: 0.99 0.94 0.92 2/39 3848 /proc/meminfo: memFree=940372/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=22384 CPUtime=281.67 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 265665 0 54 0 28053 114 0 0 25 0 1 0 526181234 22921216 3207 1283457024 134512640 140938604 4294055264 18446744073709551615 138302211 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5596 3207 714 1569 0 3650 0 Current children cumulated CPU time (s) 281.67 Current children cumulated vsize (KiB) 24768 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.703 s] /proc/loadavg: 0.99 0.94 0.92 2/39 3848 /proc/meminfo: memFree=940124/1048576 swapFree=2092948/2097144 [pid=3846] ppid=3845 vsize=2384 CPUtime=0 /proc/3846/stat : 3846 (uns-paranoid-0.) S 3845 3846 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526181234 2441216 260 1283457024 134512640 135191968 4290533072 18446744073709551615 4159662494 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3846/statm: 596 260 221 166 0 28 0 [pid=3848] ppid=3846 vsize=22384 CPUtime=290.07 /proc/3848/stat : 3848 (cudfsolver-stat) R 3846 3846 3447 769 3447 4202496 269150 0 54 0 28890 117 0 0 25 0 1 0 526181234 22921216 3207 1283457024 134512640 140938604 4294055264 18446744073709551615 135304084 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3848/statm: 5596 3207 714 1569 0 3650 0 Current children cumulated CPU time (s) 290.07 Current children cumulated vsize (KiB) 24768 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 Real time (s): 290.708 CPU time (s): 290.078 CPU user time (s): 288.906 CPU system time (s): 1.17207 CPU usage (%): 99.7832 Max. virtual memory (cumulated for all children) (KiB): 31484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 288.906 system time used= 1.17207 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269524 page faults= 54 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= 3505 runsolver used 0 second user time and 0 second system time The end