runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3697752-1338131105/watcher-3697752-1338131105 -o /tmp/evaluation-result-3697752-1338131105/solver-3697752-1338131105 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697752-1338131105.opb 1068998272 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.06 2.05 3/176 22441
/proc/meminfo: memFree=27885488/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (runsolver) D 22439 22441 21372 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 279235983 12095488 51 33554432000 4194304 5436572 140733292622800 140733292619096 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/22441/statm: 2953 51 31 304 0 2645 0
[startup+0.0182751 s]
/proc/loadavg: 2.09 2.06 2.05 3/176 22441
/proc/meminfo: memFree=27885488/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.09 2.06 2.05 3/176 22441
/proc/meminfo: memFree=27885488/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 2.09 2.06 2.05 3/176 22441
/proc/meminfo: memFree=27885488/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700254 s]
/proc/loadavg: 2.09 2.06 2.05 3/176 22441
/proc/meminfo: memFree=27885488/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.09 2.06 2.05 3/180 22445
/proc/meminfo: memFree=27656328/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=54660 CPUtime=0.55 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 9090 0 0 0 50 5 0 0 20 0 1 0 279235984 55971840 10286 33554432000 4194304 5992684 140734025250672 140734025245120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 13665 10286 172 440 0 13221 0
[pid=22444] ppid=22443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22444/stat : 22444 (cp2_pre.sh) S 22443 22441 21372 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279236040 9367552 277 33554432000 4194304 5064252 140737072202656 140737072201360 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22444/statm: 2287 277 234 213 0 72 0
[pid=22445] ppid=22444 vsize=223740 CPUtime=0.91 cores=0,2,4,6
/proc/22445/stat : 22445 (coprocessor) R 22444 22441 21372 0 -1 4202496 33669 0 0 0 85 6 0 0 20 0 1 0 279236041 229109760 50557 33554432000 4194304 6586260 140733832490912 140733832487160 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22445/statm: 55935 50558 166 584 0 55347 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 296696
[startup+3.10035 s]
/proc/loadavg: 2.09 2.06 2.05 3/180 22445
/proc/meminfo: memFree=27584064/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=54660 CPUtime=0.55 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 9090 0 0 0 50 5 0 0 20 0 1 0 279235984 55971840 10286 33554432000 4194304 5992684 140734025250672 140734025245120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 13665 10286 172 440 0 13221 0
[pid=22444] ppid=22443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22444/stat : 22444 (cp2_pre.sh) S 22443 22441 21372 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279236040 9367552 277 33554432000 4194304 5064252 140737072202656 140737072201360 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22444/statm: 2287 277 234 213 0 72 0
[pid=22445] ppid=22444 vsize=290940 CPUtime=2.51 cores=0,2,4,6
/proc/22445/stat : 22445 (coprocessor) R 22444 22441 21372 0 -1 4202496 45133 0 0 0 217 34 0 0 20 0 1 0 279236041 297922560 71308 33554432000 4194304 6586260 140733832490912 140733832486536 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/22445/statm: 72735 71308 204 584 0 72147 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 363896
[startup+6.30032 s]
/proc/loadavg: 2.08 2.06 2.05 3/179 22447
/proc/meminfo: memFree=27710196/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=54660 CPUtime=3.89 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 9106 46035 0 0 50 6 294 39 20 0 1 0 279235984 55971840 10288 33554432000 4194304 5992684 140734025250672 140734025236936 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 13665 10288 174 440 0 13221 0
[pid=22447] ppid=22443 vsize=115316 CPUtime=2.38 cores=0,2,4,6
/proc/22447/stat : 22447 (glucosInc) R 22443 22441 21372 0 -1 4202496 22807 0 0 0 235 3 0 0 20 0 1 0 279236374 118083584 27030 33554432000 4194304 5654031 140733501959536 140733501947352 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22447/statm: 28829 27030 140 357 0 28469 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 179124
[startup+12.7003 s]
/proc/loadavg: 2.07 2.06 2.05 3/179 22450
/proc/meminfo: memFree=27237948/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=68044 CPUtime=10.38 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 19974 70133 0 0 285 134 570 49 20 0 1 0 279235984 69677056 13668 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 17011 13668 191 440 0 16567 0
[pid=22450] ppid=22443 vsize=520384 CPUtime=2.28 cores=0,2,4,6
/proc/22450/stat : 22450 (glucosInc) R 22443 22441 21372 0 -1 4202496 72445 0 0 0 208 20 0 0 20 0 1 0 279237024 532873216 107821 33554432000 4194304 5654031 140736060710912 140736060709032 4222299 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22450/statm: 130096 107824 128 357 0 129736 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 597576
[startup+25.5003 s]
/proc/loadavg: 2.12 2.07 2.06 3/179 22450
/proc/meminfo: memFree=27187792/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=68044 CPUtime=10.38 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 19974 70133 0 0 285 134 570 49 20 0 1 0 279235984 69677056 13668 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 17011 13668 191 440 0 16567 0
[pid=22450] ppid=22443 vsize=531880 CPUtime=15.07 cores=0,2,4,6
/proc/22450/stat : 22450 (glucosInc) R 22443 22441 21372 0 -1 4202496 77337 0 0 0 1486 21 0 0 20 0 1 0 279237024 544645120 112135 33554432000 4194304 5654031 140736060710912 140736060698728 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22450/statm: 132970 112135 141 357 0 132610 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 609072
[startup+51.1003 s]
/proc/loadavg: 2.08 2.06 2.06 3/179 22450
/proc/meminfo: memFree=27171408/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=68044 CPUtime=10.38 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 19974 70133 0 0 285 134 570 49 20 0 1 0 279235984 69677056 13668 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 17011 13668 191 440 0 16567 0
[pid=22450] ppid=22443 vsize=531880 CPUtime=40.66 cores=0,2,4,6
/proc/22450/stat : 22450 (glucosInc) R 22443 22441 21372 0 -1 4202496 77384 0 0 0 4045 21 0 0 20 0 1 0 279237024 544645120 112693 33554432000 4194304 5654031 140736060710912 140736060698728 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22450/statm: 132970 112693 141 357 0 132610 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 609072
[startup+102.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/179 22450
/proc/meminfo: memFree=27115732/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=68044 CPUtime=10.38 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 19974 70133 0 0 285 134 570 49 20 0 1 0 279235984 69677056 13668 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22443/statm: 17011 13668 191 440 0 16567 0
[pid=22450] ppid=22443 vsize=614936 CPUtime=91.86 cores=0,2,4,6
/proc/22450/stat : 22450 (glucosInc) R 22443 22441 21372 0 -1 4202496 85152 0 0 0 9142 44 0 0 20 0 1 0 279237024 629694464 124223 33554432000 4194304 5654031 140736060710912 140736060709000 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22450/statm: 153734 124223 142 357 0 153374 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 692128
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/179 22452
/proc/meminfo: memFree=27041652/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=135.12 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 27737 158180 0 0 486 162 12756 108 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22452] ppid=22443 vsize=509740 CPUtime=27.12 cores=0,2,4,6
/proc/22452/stat : 22452 (glucosInc) R 22443 22441 21372 0 -1 4202496 73670 0 0 0 2690 22 0 0 20 0 1 0 279249501 521973760 105834 33554432000 4194304 5654031 140736050791904 140736050779720 4233325 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22452/statm: 127435 105834 141 357 0 127075 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 634044
[startup+222.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/179 22454
/proc/meminfo: memFree=27094588/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=166.08 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 35746 232885 0 0 685 189 15596 138 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22454] ppid=22443 vsize=511740 CPUtime=56.14 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=27248956/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=459896 CPUtime=98.54 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 66797 0 0 0 9836 18 0 0 20 0 1 0 279350355 470933504 96939 33554432000 4194304 5654031 140735735603840 140735735591656 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 114974 96939 142 357 0 114614 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 584200
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 22474
/proc/meminfo: memFree=27205640/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=467332 CPUtime=158.52 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 67437 0 0 0 15834 18 0 0 20 0 1 0 279350355 478547968 103711 33554432000 4194304 5654031 140735735603840 140735735601608 4216105 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 116833 103711 142 357 0 116473 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 591636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 22475
/proc/meminfo: memFree=27182112/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=467332 CPUtime=218.52 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 67581 0 0 0 21833 19 0 0 20 0 1 0 279350355 478547968 105899 33554432000 4194304 5654031 140735735603840 140735735591656 4232528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 116833 105899 142 357 0 116473 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 591636
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22475
/proc/meminfo: memFree=27192864/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=472424 CPUtime=278.51 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 69527 0 0 0 27828 23 0 0 20 0 1 0 279350355 483762176 99659 33554432000 4194304 5654031 140735735603840 140735735601864 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 118106 99659 142 357 0 117746 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 596728
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22475
/proc/meminfo: memFree=27155284/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=472424 CPUtime=338.5 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 69830 0 0 0 33825 25 0 0 20 0 1 0 279350355 483762176 104571 33554432000 4194304 5654031 140735735603840 140735735591656 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 118106 104571 142 357 0 117746 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 596728
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 22526
/proc/meminfo: memFree=27409936/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=398.46 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 70696 0 0 0 39819 27 0 0 20 0 1 0 279350355 487968768 100087 33554432000 4194304 5654031 140735735603840 140735735591656 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 100087 142 357 0 118773 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 600836
[startup+1602.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 22528
/proc/meminfo: memFree=27382280/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=458.44 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 70807 0 0 0 45816 28 0 0 20 0 1 0 279350355 487968768 104184 33554432000 4194304 5654031 140735735603840 140735735591656 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 104184 142 357 0 118773 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 600836
[startup+1662.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 22532
/proc/meminfo: memFree=27422768/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=518.43 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 70810 0 0 0 51815 28 0 0 20 0 1 0 279350355 487968768 105720 33554432000 4194304 5654031 140735735603840 140735735591656 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 105720 142 357 0 118773 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 600836
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 22534
/proc/meminfo: memFree=27491016/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=578.4 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 71357 0 0 0 57811 29 0 0 20 0 1 0 279350355 487968768 99438 33554432000 4194304 5654031 140735735603840 140735735591656 4209052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 99438 142 357 0 118773 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 600836
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 22534
/proc/meminfo: memFree=27440996/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=638.39 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 72195 0 0 0 63807 32 0 0 20 0 1 0 279350355 487968768 111358 33554432000 4194304 5654031 140735735603840 140735735591656 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 111358 142 357 0 118773 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 600836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 22534
/proc/meminfo: memFree=27472340/32873624 swapFree=7104/7104
[pid=22441] ppid=22439 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22441/stat : 22441 (npSolver-pbo-It) S 22439 22441 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279235983 9367552 275 33554432000 4194304 5064252 140733954020688 140733954019600 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22441/statm: 2287 275 233 213 0 72 0
[pid=22443] ppid=22441 vsize=115156 CPUtime=1143.45 cores=0,2,4,6
/proc/22443/stat : 22443 (npSolver-pbo) S 22441 22441 21372 0 -1 4202496 56631 474788 0 0 1233 257 112532 323 20 0 1 0 279235984 117919744 25414 33554432000 4194304 5992684 140734025250672 140734025236504 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22443/statm: 28789 25414 191 440 0 28345 0
[pid=22473] ppid=22443 vsize=476532 CPUtime=656.59 cores=0,2,4,6
/proc/22473/stat : 22473 (glucosInc) R 22443 22441 21372 0 -1 4202496 72338 0 0 0 65625 34 0 0 20 0 1 0 279350355 487968768 101985 33554432000 4194304 5654031 140735735603840 140735735591656 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22473/statm: 119133 101985 142 357 0 118773 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 600836
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1793.92
CPU system time (s): 6.15906
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1247796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 6.15906
maximum resident set size= 1060316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1911192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11203
involuntary context switches= 6446
runsolver used 3.19951 second user time and 8.11277 second system time
The end