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-3697743-1338133320/watcher-3697743-1338133320 -o /tmp/evaluation-result-3697743-1338133320/solver-3697743-1338133320 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697743-1338133320.opb 1762167379 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.00 2.02 2.00 2/178 11405
/proc/meminfo: memFree=27837992/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[startup+0.0839699 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 11405
/proc/meminfo: memFree=27837992/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100221 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 11405
/proc/meminfo: memFree=27837992/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300219 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 11405
/proc/meminfo: memFree=27837992/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 2.00 2.02 2.00 2/178 11405
/proc/meminfo: memFree=27837992/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 11409
/proc/meminfo: memFree=27673844/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=30340 CPUtime=0.37 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 5802 0 0 0 33 4 0 0 20 0 1 0 279460558 31068160 6291 33554432000 4194304 5992684 140734466267776 140734466262224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 7585 6291 172 440 0 7141 0
[pid=11408] ppid=11406 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11408/stat : 11408 (cp2_pre.sh) S 11406 11405 10269 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279460597 9367552 277 33554432000 4194304 5064252 140735056962480 140735056961184 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11408/statm: 2287 277 234 213 0 72 0
[pid=11409] ppid=11408 vsize=153432 CPUtime=1.11 cores=0,2,4,6
/proc/11409/stat : 11409 (coprocessor) R 11408 11405 10269 0 -1 4202496 28020 0 0 0 106 5 0 0 20 0 1 0 279460597 157114368 36989 33554432000 4194304 6586260 140736850280032 140736850276056 4764161 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/11409/statm: 38358 36989 182 584 0 37770 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 202068
[startup+3.10033 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 11409
/proc/meminfo: memFree=27615772/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=30340 CPUtime=2.45 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 5818 34040 0 0 33 4 184 24 20 0 1 0 279460558 31068160 6293 33554432000 4194304 5992684 140734466267776 140734466254040 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11406/statm: 7585 6293 174 440 0 7141 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 39488
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 11412
/proc/meminfo: memFree=27744284/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=191504 CPUtime=5.93 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) R 11405 11405 10269 0 -1 4202496 13835 50507 0 0 164 84 315 30 20 0 1 0 279460558 196100096 33796 33554432000 4194304 5992684 140734466267776 140734466260168 4606634 0 0 4096 0 0 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 47876 33796 190 440 0 47432 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 200652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 11414
/proc/meminfo: memFree=27345956/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=60432 CPUtime=6.44 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 14597 51023 0 0 197 100 315 32 20 0 1 0 279460558 61882368 13806 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 15108 13806 191 440 0 14664 0
[pid=11414] ppid=11406 vsize=350528 CPUtime=5.88 cores=0,2,4,6
/proc/11414/stat : 11414 (glucosInc) R 11406 11405 10269 0 -1 4202496 57301 0 0 0 573 15 0 0 20 0 1 0 279461239 358940672 76234 33554432000 4194304 5654031 140734758028032 140734758025816 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11414/statm: 87632 76234 141 357 0 87272 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 420108
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 11416
/proc/meminfo: memFree=27350216/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=51856 CPUtime=16.02 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 23205 109419 0 0 350 119 1079 54 20 0 1 0 279460558 53100544 11694 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 12964 11694 191 440 0 12520 0
[pid=11416] ppid=11406 vsize=353452 CPUtime=9.11 cores=0,2,4,6
/proc/11416/stat : 11416 (glucosInc) R 11406 11405 10269 0 -1 4202496 60775 0 0 0 897 14 0 0 20 0 1 0 279462196 361934848 77245 33554432000 4194304 5654031 140733218616144 140733218603960 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11416/statm: 88363 77245 141 357 0 88003 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 414456
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 11418
/proc/meminfo: memFree=27367536/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=51140 CPUtime=30.77 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 32161 170882 0 0 487 138 2377 75 20 0 1 0 279460558 52367360 11515 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 12785 11515 191 440 0 12341 0
[pid=11418] ppid=11406 vsize=343024 CPUtime=19.97 cores=0,2,4,6
/proc/11418/stat : 11418 (glucosInc) R 11406 11405 10269 0 -1 4202496 54634 0 0 0 1984 13 0 0 20 0 1 0 279463670 351256576 74498 33554432000 4194304 5654031 140737013823184 140737013821080 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11418/statm: 85756 74498 140 357 0 85396 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 403312
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 11420
/proc/meminfo: memFree=27382004/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=50284 CPUtime=96.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 40850 227497 0 0 620 155 8812 95 20 0 1 0 279460558 51490816 11301 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 12571 11301 191 440 0 12127 0
[pid=11420] ppid=11406 vsize=333316 CPUtime=5.14 cores=0,2,4,6
/proc/11420/stat : 11420 (glucosInc) R 11406 11405 10269 0 -1 4202496 52433 0 0 0 500 14 0 0 20 0 1 0 279470274 341315584 68345 33554432000 4194304 5654031 140737064502800 140737064490616 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11420/statm: 83329 68345 140 357 0 82969 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 392748
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 11420
/proc/meminfo: memFree=27339456/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=50284 CPUtime=96.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 40850 227497 0 0 620 155 8812 95 20 0 1 0 279460558 51490816 11301 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 12571 11301 191 440 0 12127 0
[pid=11420] ppid=11406 vsize=383404 CPUtime=65.11 cores=0,2,4,6
/proc/11420/stat : 11420 (glucosInc) R 11406 11405 10269 0 -1 4202496 56739 0 0 0 6487 24 0 0 20 0 1 0 279470274 392605696 75360 33554432000 4194304 5654031 140737064502800 140737064500888 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11420/statm: 95851 75360 140 357 0 95491 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 442836
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 11427
/proc/meminfo: memFree=27454764/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=49272 CPUtime=200.02 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 49932 287700 0 0 743 171 18956 132 20 0 1 0 279460558 50454528 11048 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/11406/statm: 12318 11048 191 440 0 11874 0
[pid=11427] ppid=11406 vsize=300916 CPUtime=21.89 cores=0,2,4,6
/proc/11427/stat : 11427 (glucosInc) R 11406 11405 10269 0 -1 4202496 48910 0 0 0 2176 13 0 0 20 0 1 0 279480597 308137984 65421 33554432000 4194304 5654031 140735746054896 140735746052680 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11427/statm: 75229 65421 141 357 0 74869 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 359336
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 11429
/proc/meminfo: memFree=27471064/32873844 swapFree=7620/7620
################
# More data... #
################
/proc/meminfo: memFree=27529944/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=326076 CPUtime=243.78 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 50288 0 0 0 24354 24 0 0 20 0 1 0 279566401 333901824 66992 33554432000 4194304 5654031 140734038477104 140734038464920 4214483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 81519 66992 141 357 0 81159 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 381548
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 11476
/proc/meminfo: memFree=27545924/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=277812 CPUtime=303.75 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 51104 0 0 0 30347 28 0 0 20 0 1 0 279566401 284479488 58885 33554432000 4194304 5654031 140734038477104 140734038464920 4233008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 69453 58885 141 357 0 69093 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 333284
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 11477
/proc/meminfo: memFree=27496648/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=283900 CPUtime=363.75 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 52190 0 0 0 36346 29 0 0 20 0 1 0 279566401 290713600 65592 33554432000 4194304 5654031 140734038477104 140734038464920 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 70975 65592 141 357 0 70615 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 339372
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 11521
/proc/meminfo: memFree=27803704/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=283900 CPUtime=423.72 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 53108 0 0 0 42341 31 0 0 20 0 1 0 279566401 290713600 60171 33554432000 4194304 5654031 140734038477104 140734038475192 4232700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 70975 60171 141 357 0 70615 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 339372
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 11521
/proc/meminfo: memFree=27719424/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=335396 CPUtime=483.7 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 53782 0 0 0 48338 32 0 0 20 0 1 0 279566401 343445504 67485 33554432000 4194304 5654031 140734038477104 140734038464920 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 83849 67485 141 357 0 83489 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 390868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 11521
/proc/meminfo: memFree=27721132/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=287344 CPUtime=543.68 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 54275 0 0 0 54334 34 0 0 20 0 1 0 279566401 294240256 67612 33554432000 4194304 5654031 140734038477104 140734038464920 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 71836 67612 141 357 0 71476 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 342816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 11521
/proc/meminfo: memFree=27677444/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=339224 CPUtime=603.68 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 54908 0 0 0 60332 36 0 0 20 0 1 0 279566401 347365376 77952 33554432000 4194304 5654031 140734038477104 140734038464920 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 84806 77952 141 357 0 84446 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 394696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11525
/proc/meminfo: memFree=27720672/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=289136 CPUtime=663.66 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 55193 0 0 0 66328 38 0 0 20 0 1 0 279566401 296075264 67143 33554432000 4194304 5654031 140734038477104 140734038464920 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11447/statm: 72284 67143 141 357 0 71924 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 344608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11525
/proc/meminfo: memFree=27685616/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=340980 CPUtime=723.64 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 55813 0 0 0 72325 39 0 0 20 0 1 0 279566401 349163520 75938 33554432000 4194304 5654031 140734038477104 140734038464920 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11447/statm: 85245 75938 141 357 0 84885 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 396452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 11525
/proc/meminfo: memFree=27727428/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=290892 CPUtime=742.24 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 55847 0 0 0 74184 40 0 0 20 0 1 0 279566401 297873408 65909 33554432000 4194304 5654031 140734038477104 140734038464920 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11447/statm: 72723 65909 141 357 0 72363 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 346364
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 11525
/proc/meminfo: memFree=27727428/32873844 swapFree=7620/7620
[pid=11405] ppid=11403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (npSolver-pbo-It) S 11403 11405 10269 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279460558 9367552 275 33554432000 4194304 5064252 140735435491408 140735435490320 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2287 275 233 213 0 72 0
[pid=11406] ppid=11405 vsize=46324 CPUtime=1057.82 cores=0,2,4,6
/proc/11406/stat : 11406 (npSolver-pbo) S 11405 11405 10269 0 -1 4202496 81042 506632 0 0 1148 224 104134 276 20 0 1 0 279460558 47435776 10311 33554432000 4194304 5992684 140734466267776 140734466253608 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/11406/statm: 11581 10311 191 440 0 11137 0
[pid=11447] ppid=11406 vsize=290892 CPUtime=742.24 cores=0,2,4,6
/proc/11447/stat : 11447 (glucosInc) R 11406 11405 10269 0 -1 4202496 55847 0 0 0 74184 40 0 0 20 0 1 0 279566401 297873408 65909 33554432000 4194304 5654031 140734038477104 140734038464920 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11447/statm: 72723 65909 141 357 0 72363 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 346364
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.1
CPU user time (s): 1794.67
CPU system time (s): 5.42717
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 762496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.67
system time used= 5.42717
maximum resident set size= 540124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 643900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1745368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10911
involuntary context switches= 3962
runsolver used 3.19451 second user time and 7.54985 second system time
The end