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-3747743-1339103595/watcher-3747743-1339103595 -o /tmp/evaluation-result-3747743-1339103595/solver-3747743-1339103595 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747743-1339103595.opb 1191594466 HOME HOME
running on 4 cores: 1,3,5,7
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.00 2.00 1.95 3/178 23750
/proc/meminfo: memFree=27336144/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[startup+0.0997891 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23750
/proc/meminfo: memFree=27336144/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23750
/proc/meminfo: memFree=27336144/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23750
/proc/meminfo: memFree=27336144/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700328 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23750
/proc/meminfo: memFree=27336144/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23756
/proc/meminfo: memFree=27307556/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1.38 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) R 23750 23750 23264 0 -1 4202496 9030 24703 0 0 29 23 70 16 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 4342779 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 26512
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23763
/proc/meminfo: memFree=27291560/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1.55 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 9935 31297 0 0 35 23 79 18 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23763] ppid=23751 vsize=30836 CPUtime=1.52 cores=1,3,5,7
/proc/23763/stat : 23763 (glucosInc) R 23751 23750 23264 0 -1 4202496 7037 0 0 0 151 1 0 0 20 0 1 0 376484049 31576064 6613 33554432000 4194304 5654031 140734949919936 140734949907752 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23763/statm: 7709 6613 141 357 0 7349 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57348
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23763
/proc/meminfo: memFree=27277724/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1.55 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 9935 31297 0 0 35 23 79 18 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23763] ppid=23751 vsize=49656 CPUtime=4.71 cores=1,3,5,7
/proc/23763/stat : 23763 (glucosInc) R 23751 23750 23264 0 -1 4202496 9385 0 0 0 470 1 0 0 20 0 1 0 376484049 50847744 10056 33554432000 4194304 5654031 140734949919936 140734949917816 4232462 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23763/statm: 12414 10056 142 357 0 12054 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 76168
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23926
/proc/meminfo: memFree=29139188/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=6.85 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 11715 41877 0 0 41 24 599 21 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23765] ppid=23751 vsize=54068 CPUtime=5.82 cores=1,3,5,7
/proc/23765/stat : 23765 (glucosInc) R 23751 23750 23264 0 -1 4202496 9468 0 0 0 580 2 0 0 20 0 1 0 376484580 55365632 11196 33554432000 4194304 5654031 140735978909488 140735978907288 4215006 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23765/statm: 13517 11196 142 357 0 13157 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 80580
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23928
/proc/meminfo: memFree=29134608/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=6.85 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 11715 41877 0 0 41 24 599 21 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23765] ppid=23751 vsize=49604 CPUtime=18.61 cores=1,3,5,7
/proc/23765/stat : 23765 (glucosInc) R 23751 23750 23264 0 -1 4202496 10712 0 0 0 1858 3 0 0 20 0 1 0 376484580 50794496 10108 33554432000 4194304 5654031 140735978909488 140735978907368 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 12401 10108 142 357 0 12041 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 76116
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 1.95 3/181 23928
/proc/meminfo: memFree=29080988/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=6.85 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 11715 41877 0 0 41 24 599 21 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23765] ppid=23751 vsize=80064 CPUtime=44.2 cores=1,3,5,7
/proc/23765/stat : 23765 (glucosInc) R 23751 23750 23264 0 -1 4202496 11629 0 0 0 4416 4 0 0 20 0 1 0 376484580 81985536 18928 33554432000 4194304 5654031 140735978909488 140735978897304 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23765/statm: 20016 18928 142 357 0 19656 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 106576
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.95 3/181 23932
/proc/meminfo: memFree=29087936/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=91.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 15275 65891 0 0 54 24 9086 33 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23932] ppid=23751 vsize=54084 CPUtime=10.26 cores=1,3,5,7
/proc/23932/stat : 23932 (glucosInc) R 23751 23750 23264 0 -1 4202496 9062 0 0 0 1024 2 0 0 20 0 1 0 376493095 55382016 12405 33554432000 4194304 5654031 140737061578352 140737061576152 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23932/statm: 13521 12405 142 357 0 13161 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 80596
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/181 23934
/proc/meminfo: memFree=29050680/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=82840 CPUtime=43.22 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 10061 0 0 0 4318 4 0 0 20 0 1 0 376495798 84828160 19622 33554432000 4194304 5654031 140733789403248 140733789391064 4208584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 20710 19622 142 357 0 20350 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 109352
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23935
/proc/meminfo: memFree=29038644/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=82840 CPUtime=103.21 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 12675 0 0 0 10310 11 0 0 20 0 1 0 376495798 84828160 19622 33554432000 4194304 5654031 140733789403248 140733789391064 4232772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 20710 19622 142 357 0 20350 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 109352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 23935
/proc/meminfo: memFree=28966676/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28874644/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=237804 CPUtime=1183 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 37100 0 0 0 118224 76 0 0 20 0 1 0 376495798 243511296 57655 33554432000 4194304 5654031 140733789403248 140733789391064 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 59451 57655 142 357 0 59091 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 264316
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 23946
/proc/meminfo: memFree=29001344/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=107576 CPUtime=1242.99 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 38812 0 0 0 124218 81 0 0 20 0 1 0 376495798 110157824 25806 33554432000 4194304 5654031 140733789403248 140733789401272 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 26894 25806 142 357 0 26534 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 134088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 23947
/proc/meminfo: memFree=28969496/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=107576 CPUtime=1302.96 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 40542 0 0 0 130212 84 0 0 20 0 1 0 376495798 110157824 25806 33554432000 4194304 5654031 140733789403248 140733789391064 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 26894 25806 142 357 0 26534 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 134088
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/181 23947
/proc/meminfo: memFree=28968428/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=156896 CPUtime=1362.94 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 42519 0 0 0 136205 89 0 0 20 0 1 0 376495798 160661504 34759 33554432000 4194304 5654031 140733789403248 140733789391064 4218885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 39224 34759 142 357 0 38864 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 183408
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/181 23947
/proc/meminfo: memFree=28834072/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=119.01 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 17055 76646 0 0 61 25 11776 39 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23934] ppid=23751 vsize=237804 CPUtime=1422.94 cores=1,3,5,7
/proc/23934/stat : 23934 (glucosInc) R 23751 23750 23264 0 -1 4202496 43446 0 0 0 142202 92 0 0 20 0 1 0 376495798 243511296 58167 33554432000 4194304 5654031 140733789403248 140733789391064 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23934/statm: 59451 58167 142 357 0 59091 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 264316
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/181 23949
/proc/meminfo: memFree=28989472/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=80424 CPUtime=32.96 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 11435 0 0 0 3293 3 0 0 20 0 1 0 376640824 82354176 18772 33554432000 4194304 5654031 140735730855376 140735730843192 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 20106 18772 142 357 0 19746 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 106936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 23952
/proc/meminfo: memFree=28968844/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=160656 CPUtime=92.95 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 14960 0 0 0 9287 8 0 0 20 0 1 0 376640824 164511744 34139 33554432000 4194304 5654031 140735730855376 140735730843192 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 40164 34139 142 357 0 39804 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 187168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 23953
/proc/meminfo: memFree=28954004/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=191476 CPUtime=152.94 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 18462 0 0 0 15280 14 0 0 20 0 1 0 376640824 196071424 38302 33554432000 4194304 5654031 140735730855376 140735730843192 4244191 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 47869 38302 142 357 0 47509 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 217988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 23953
/proc/meminfo: memFree=28961872/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=191476 CPUtime=212.92 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 21715 0 0 0 21272 20 0 0 20 0 1 0 376640824 196071424 36254 33554432000 4194304 5654031 140735730855376 140735730853464 4214944 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 47869 36254 142 357 0 47509 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 217988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 23953
/proc/meminfo: memFree=28976876/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=111336 CPUtime=231.13 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 22030 0 0 0 23092 21 0 0 20 0 1 0 376640824 114008064 22402 33554432000 4194304 5654031 140735730855376 140735730853400 4215079 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 27834 22402 142 357 0 27474 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 137848
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 23953
/proc/meminfo: memFree=28976876/32873844 swapFree=7644/7644
[pid=23750] ppid=23748 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23750/stat : 23750 (npSolver-pbo-It) S 23748 23750 23264 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376483893 9367552 275 33554432000 4194304 5064252 140735389715120 140735389714032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23750/statm: 2287 275 233 213 0 72 0
[pid=23751] ppid=23750 vsize=17364 CPUtime=1568.97 cores=1,3,5,7
/proc/23751/stat : 23751 (npSolver-pbo) S 23750 23750 23264 0 -1 4202496 18835 121414 0 0 68 26 156669 134 20 0 1 0 376483893 17780736 3907 33554432000 4194304 6004724 140736715611008 140736715596856 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/23751/statm: 4341 3907 175 442 0 3895 0
[pid=23949] ppid=23751 vsize=111336 CPUtime=231.13 cores=1,3,5,7
/proc/23949/stat : 23949 (glucosInc) R 23751 23750 23264 0 -1 4202496 22030 0 0 0 23092 21 0 0 20 0 1 0 376640824 114008064 22402 33554432000 4194304 5654031 140735730855376 140735730853400 4215079 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23949/statm: 27834 22402 142 357 0 27474 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 137848
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1798.31
CPU system time (s): 1.82472
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 345704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.82472
maximum resident set size= 255196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1767
involuntary context switches= 2230
runsolver used 3.07053 second user time and 8.46071 second system time
The end