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/201109011757/aspuncud-user-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-real//fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201109011757/aspuncud-user-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 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.24 1.09 1.03 5/36 5113 /proc/meminfo: memFree=258340/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2588 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73782609 2650112 280 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/5110/statm: 647 280 234 194 0 34 0 [pid=5111] ppid=5110 vsize=2588 CPUtime=0 /proc/5111/stat : 5111 (aspuncud-user-1) S 5110 5110 22717 34817 22717 4202560 118 0 0 0 0 0 0 0 18 0 1 0 73782609 2650112 134 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0 /proc/5111/statm: 647 134 87 194 0 34 0 [pid=5112] ppid=5111 vsize=2588 CPUtime=0 /proc/5112/stat : 5112 (aspuncud-user-1) R 5111 5110 22717 34817 22717 4202560 127 0 0 0 0 0 0 0 25 0 1 0 73782609 2650112 151 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/5112/statm: 647 151 104 194 0 34 0 [pid=5113] ppid=5112 vsize=2588 CPUtime=0 /proc/5113/stat : 5113 (aspuncud-user-1) R 5112 5110 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73782609 2650112 47 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/5113/statm: 647 47 0 194 0 34 0 [startup+0.12446 s] /proc/loadavg: 1.24 1.09 1.03 5/36 5113 /proc/meminfo: memFree=258340/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) R 5109 5110 22717 34817 22717 4202496 547 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 297 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65538 4 1132560123 0 0 0 17 0 0 0 0 /proc/5110/statm: 648 297 250 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.204465 s] /proc/loadavg: 1.24 1.09 1.03 5/36 5113 /proc/meminfo: memFree=258340/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.304489 s] /proc/loadavg: 1.24 1.09 1.03 5/36 5113 /proc/meminfo: memFree=258340/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.704582 s] /proc/loadavg: 1.24 1.09 1.03 5/36 5113 /proc/meminfo: memFree=258340/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+1.5048 s] /proc/loadavg: 1.54 1.16 1.05 2/37 5121 /proc/meminfo: memFree=234892/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 [pid=5119] ppid=5110 vsize=3448 CPUtime=0 /proc/5119/stat : 5119 (unclasp) S 5110 5110 22717 34817 22717 4202496 407 0 0 0 0 0 0 0 25 0 1 0 73782610 3530752 272 1283457024 134512640 135121179 4288390192 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5119/statm: 862 272 240 149 0 53 0 [pid=5120] ppid=5110 vsize=2696 CPUtime=0 /proc/5120/stat : 5120 (gringo) S 5110 5110 22717 34817 22717 4202496 408 0 0 0 0 0 0 0 25 0 1 0 73782610 2760704 281 1283457024 134512640 137056543 4290696688 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5120/statm: 674 281 252 622 0 49 0 [pid=5121] ppid=5110 vsize=35604 CPUtime=1.49 /proc/5121/stat : 5121 (cudf2lp) R 5110 5110 22717 34817 22717 4202496 11446 0 0 0 143 6 0 0 25 0 1 0 73782610 36458496 8684 1283457024 134512640 135786343 4291464896 18446744073709551615 135191469 0 0 6 0 0 0 0 17 0 0 0 0 /proc/5121/statm: 8901 8684 135 311 0 8588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44340 Solver just ended. Dumping a history of the last processes samples [startup+1.6048 s] /proc/loadavg: 1.54 1.16 1.05 2/37 5121 /proc/meminfo: memFree=234892/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=0 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 1522 0 0 0 0 0 0 25 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 [pid=5119] ppid=5110 vsize=4252 CPUtime=0 /proc/5119/stat : 5119 (unclasp) S 5110 5110 22717 34817 22717 4202496 654 0 0 0 0 0 0 0 18 0 1 0 73782610 4354048 519 1283457024 134512640 135121179 4288390192 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5119/statm: 1063 519 275 149 0 254 0 [pid=5120] ppid=5110 vsize=3996 CPUtime=0.04 /proc/5120/stat : 5120 (gringo) R 5110 5110 22717 34817 22717 4202496 719 0 0 0 4 0 0 0 18 0 1 0 73782610 4091904 559 1283457024 134512640 137056543 4290696688 18446744073709551615 134727369 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5120/statm: 999 559 253 622 0 374 0 [pid=5121] ppid=5110 vsize=35608 CPUtime=1.53 /proc/5121/stat : 5121 (cudf2lp) R 5110 5110 22717 34817 22717 4202496 11451 0 0 0 147 6 0 0 25 0 1 0 73782610 36462592 8689 1283457024 134512640 135786343 4291464896 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/5121/statm: 8902 8689 139 311 0 8589 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 46448 [startup+2.0049 s] /proc/loadavg: 1.54 1.16 1.05 2/37 5121 /proc/meminfo: memFree=234892/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=1.68 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 12976 0 0 0 0 162 6 18 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 [pid=5119] ppid=5110 vsize=9388 CPUtime=0.04 /proc/5119/stat : 5119 (unclasp) R 5110 5110 22717 34817 22717 4202496 1967 0 0 0 4 0 0 0 18 0 1 0 73782610 9613312 1791 1283457024 134512640 135121179 4288390192 18446744073709551615 4157893425 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5119/statm: 2347 1791 277 149 0 1538 0 [pid=5120] ppid=5110 vsize=12336 CPUtime=0.25 /proc/5120/stat : 5120 (gringo) R 5110 5110 22717 34817 22717 4202496 2990 0 0 0 25 0 0 0 18 0 1 0 73782610 12632064 2233 1283457024 134512640 137056543 4290696688 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5120/statm: 3084 2233 268 622 0 2459 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 24316 [startup+2.20498 s] /proc/loadavg: 1.54 1.16 1.05 2/35 5121 /proc/meminfo: memFree=247820/1048576 swapFree=0/0 [pid=5110] ppid=5109 vsize=2592 CPUtime=2 /proc/5110/stat : 5110 (aspuncud-user-1) S 5109 5110 22717 34817 22717 4202496 572 16582 0 0 0 0 193 7 18 0 1 0 73782609 2654208 298 1283457024 134512640 135304128 4292902784 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/5110/statm: 648 298 251 194 0 35 0 [pid=5119] ppid=5110 vsize=13732 CPUtime=0.19 /proc/5119/stat : 5119 (unclasp) R 5110 5110 22717 34817 22717 4202496 3371 0 0 0 18 1 0 0 18 0 1 0 73782610 14061568 2912 1283457024 134512640 135121179 4288390192 18446744073709551615 134891050 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5119/statm: 3433 2912 325 149 0 2624 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 16324 Child status: 0 Real time (s): 2.24539 CPU time (s): 2.24014 CPU user time (s): 2.13613 CPU system time (s): 0.104006 CPU usage (%): 99.766 Max. virtual memory (cumulated for all children) (KiB): 52476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.13613 system time used= 0.104006 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23078 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= 553 involuntary context switches= 434 runsolver used 0 second user time and 0.012 second system time The end