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-3697736-1338132960/watcher-3697736-1338132960 -o /tmp/evaluation-result-3697736-1338132960/solver-3697736-1338132960 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697736-1338132960.opb 495975231 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.03 2.02 2.00 3/176 2536
/proc/meminfo: memFree=28718936/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[startup+0.037727 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 2536
/proc/meminfo: memFree=28718936/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 2536
/proc/meminfo: memFree=28718936/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300302 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 2536
/proc/meminfo: memFree=28718936/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700325 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 2536
/proc/meminfo: memFree=28718936/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 2540
/proc/meminfo: memFree=28623320/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=18248 CPUtime=1.33 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) R 2536 2536 1566 0 -1 4202496 4277 18415 0 0 21 13 86 13 20 0 1 0 279421919 18685952 3459 33554432000 4194304 5992684 140736962877200 140736962863464 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2537/statm: 4562 3459 181 440 0 4118 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 27396
[startup+3.10024 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 2543
/proc/meminfo: memFree=28658480/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=30524 CPUtime=2.63 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 9997 26416 0 0 104 43 99 17 20 0 1 0 279421919 31256576 6538 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2537/statm: 7631 6538 191 440 0 7187 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 39672
[startup+6.30034 s]
/proc/loadavg: 2.03 2.02 2.00 2/179 2546
/proc/meminfo: memFree=28577664/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=91608 CPUtime=5.32 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 15632 58063 0 0 179 46 279 28 20 0 1 0 279421919 93806592 17976 33554432000 4194304 5992684 140736962877200 140736962870704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2537/statm: 22902 17976 191 440 0 22458 0
[pid=2546] ppid=2537 vsize=16712 CPUtime=0.01 cores=1,3,5,7
/proc/2546/stat : 2546 (cp) D 2537 2536 1566 0 -1 4202496 502 0 0 0 0 1 0 0 20 0 1 0 279422452 17113088 186 33554432000 4194304 4305796 140737465585792 140737465583736 273448518544 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 94 0 0
/proc/2546/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 117468
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 2547
/proc/meminfo: memFree=28486720/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=26072 CPUtime=5.44 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 16371 58579 0 0 180 54 279 31 20 0 1 0 279421919 26697728 5457 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2537/statm: 6518 5457 191 440 0 6074 0
[pid=2547] ppid=2537 vsize=176656 CPUtime=5.89 cores=1,3,5,7
/proc/2547/stat : 2547 (glucosInc) R 2537 2536 1566 0 -1 4202496 30958 0 0 0 577 12 0 0 20 0 1 0 279422598 180895744 36718 33554432000 4194304 5654031 140736374854560 140736374842376 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2547/statm: 44164 36718 140 357 0 43804 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 211876
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 2549
/proc/meminfo: memFree=28486200/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=25824 CPUtime=17.77 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 22658 90598 0 0 256 66 1408 47 20 0 1 0 279421919 26443776 5395 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 6456 5395 191 440 0 6012 0
[pid=2549] ppid=2537 vsize=175012 CPUtime=6.38 cores=1,3,5,7
/proc/2549/stat : 2549 (glucosInc) R 2537 2536 1566 0 -1 4202496 31476 0 0 0 626 12 0 0 20 0 1 0 279423830 179212288 36554 33554432000 4194304 5654031 140736435111056 140736435098872 4216577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2549/statm: 43753 36554 140 357 0 43393 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 209984
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2551
/proc/meminfo: memFree=28489556/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=25724 CPUtime=39.47 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 29184 123248 0 0 328 77 3479 63 20 0 1 0 279421919 26341376 5370 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 6431 5370 191 440 0 5987 0
[pid=2551] ppid=2537 vsize=154196 CPUtime=10.28 cores=1,3,5,7
/proc/2551/stat : 2551 (glucosInc) R 2537 2536 1566 0 -1 4202496 30413 0 0 0 1020 8 0 0 20 0 1 0 279426000 157896704 35407 33554432000 4194304 5654031 140736179755872 140736179743688 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2551/statm: 38549 35407 140 357 0 38189 0
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (KiB) 189068
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2553
/proc/meminfo: memFree=28487832/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=25352 CPUtime=57.87 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 35845 154433 0 0 396 87 5229 75 20 0 1 0 279421919 25960448 5277 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 6338 5277 191 440 0 5894 0
[pid=2553] ppid=2537 vsize=170324 CPUtime=43.09 cores=1,3,5,7
/proc/2553/stat : 2553 (glucosInc) R 2537 2536 1566 0 -1 4202496 29847 0 0 0 4301 8 0 0 20 0 1 0 279427839 174411776 34504 33554432000 4194304 5654031 140737093235552 140737093223368 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2553/statm: 42581 34504 140 357 0 42221 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 204824
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2562
/proc/meminfo: memFree=28550976/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=23768 CPUtime=127.36 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 52064 242242 0 0 572 113 11942 109 20 0 1 0 279421919 24338432 4881 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 5942 4881 191 440 0 5498 0
[pid=2560] ppid=2537 vsize=121088 CPUtime=33.5 cores=1,3,5,7
/proc/2560/stat : 2560 (glucosInc) R 2537 2536 1566 0 -1 4202496 23607 0 0 0 3344 6 0 0 20 0 1 0 279434798 123994112 27757 33554432000 4194304 5654031 140735069596864 140735069584680 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2560/statm: 30272 27757 141 357 0 29912 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 154004
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2564
/proc/meminfo: memFree=28463716/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=167.88 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 59856 266472 0 0 620 119 15931 118 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2564] ppid=2537 vsize=149436 CPUtime=52.96 cores=1,3,5,7
/proc/2564/stat : 2564 (glucosInc) R 2537 2536 1566 0 -1 4202496 24747 0 0 0 5289 7 0 0 20 0 1 0 279438851 153022464 35105 33554432000 4194304 5654031 140734559578640 140734559566456 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2564/statm: 37359 35105 141 357 0 36999 0
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (KiB) 214836
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 2569
/proc/meminfo: memFree=28492732/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=265.35 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28441912/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=974.59 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 83109 344266 0 0 756 136 96411 156 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2580] ppid=2537 vsize=196964 CPUtime=266.08 cores=1,3,5,7
/proc/2580/stat : 2580 (glucosInc) R 2537 2536 1566 0 -1 4202496 24854 0 0 0 26599 9 0 0 20 0 1 0 279519534 201691136 46825 33554432000 4194304 5654031 140733816154528 140733816142344 4232763 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2580/statm: 49241 46825 141 357 0 48881 0
Current children cumulated CPU time (s) 1240.67
Current children cumulated vsize (KiB) 262364
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 2585
/proc/meminfo: memFree=28466000/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=974.59 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 83109 344266 0 0 756 136 96411 156 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2580] ppid=2537 vsize=196964 CPUtime=326.08 cores=1,3,5,7
/proc/2580/stat : 2580 (glucosInc) R 2537 2536 1566 0 -1 4202496 24854 0 0 0 32599 9 0 0 20 0 1 0 279519534 201691136 46825 33554432000 4194304 5654031 140733816154528 140733816142344 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2580/statm: 49241 46825 141 357 0 48881 0
Current children cumulated CPU time (s) 1300.67
Current children cumulated vsize (KiB) 262364
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2588
/proc/meminfo: memFree=28534952/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=101908 CPUtime=2.7 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 21231 0 0 0 266 4 0 0 20 0 1 0 279557878 104353792 23662 33554432000 4194304 5654031 140733830079968 140733830077752 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 25477 23662 141 357 0 25117 0
Current children cumulated CPU time (s) 1360.66
Current children cumulated vsize (KiB) 167308
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2588
/proc/meminfo: memFree=28482688/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=167980 CPUtime=62.7 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 24053 0 0 0 6264 6 0 0 20 0 1 0 279557878 172011520 35859 33554432000 4194304 5654031 140733830079968 140733830067784 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 41995 35859 141 357 0 41635 0
Current children cumulated CPU time (s) 1420.66
Current children cumulated vsize (KiB) 233380
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 2591
/proc/meminfo: memFree=28492672/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=147944 CPUtime=122.69 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 24636 0 0 0 12261 8 0 0 20 0 1 0 279557878 151494656 35255 33554432000 4194304 5654031 140733830079968 140733830067784 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 36986 35255 141 357 0 36626 0
Current children cumulated CPU time (s) 1480.65
Current children cumulated vsize (KiB) 213344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2616
/proc/meminfo: memFree=28538156/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=147944 CPUtime=182.66 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 25314 0 0 0 18257 9 0 0 20 0 1 0 279557878 151494656 35257 33554432000 4194304 5654031 140733830079968 140733830067784 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 36986 35257 141 357 0 36626 0
Current children cumulated CPU time (s) 1540.62
Current children cumulated vsize (KiB) 213344
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2616
/proc/meminfo: memFree=28489480/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=197264 CPUtime=242.65 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 25989 0 0 0 24255 10 0 0 20 0 1 0 279557878 201998336 44439 33554432000 4194304 5654031 140733830079968 140733830067784 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 49316 44439 141 357 0 48956 0
Current children cumulated CPU time (s) 1600.61
Current children cumulated vsize (KiB) 262664
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2666
/proc/meminfo: memFree=28028868/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=197264 CPUtime=302.64 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 26332 0 0 0 30253 11 0 0 20 0 1 0 279557878 201998336 44444 33554432000 4194304 5654031 140733830079968 140733830067784 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 49316 44444 141 357 0 48956 0
Current children cumulated CPU time (s) 1660.6
Current children cumulated vsize (KiB) 262664
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 2668
/proc/meminfo: memFree=28055924/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=197264 CPUtime=362.63 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 27252 0 0 0 36250 13 0 0 20 0 1 0 279557878 201998336 44956 33554432000 4194304 5654031 140733830079968 140733830067784 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 49316 44956 141 357 0 48956 0
Current children cumulated CPU time (s) 1720.59
Current children cumulated vsize (KiB) 262664
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 2668
/proc/meminfo: memFree=28050136/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=197264 CPUtime=422.62 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 28176 0 0 0 42248 14 0 0 20 0 1 0 279557878 201998336 43420 33554432000 4194304 5654031 140733830079968 140733830067784 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 49316 43420 141 357 0 48956 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (KiB) 262664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 2668
/proc/meminfo: memFree=28039244/32873852 swapFree=6856/6856
[pid=2536] ppid=2534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2536/stat : 2536 (npSolver-pbo-It) S 2534 2536 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279421919 9367552 275 33554432000 4194304 5064252 140735665397424 140735665396336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2536/statm: 2287 275 233 213 0 72 0
[pid=2537] ppid=2536 vsize=56252 CPUtime=1357.96 cores=1,3,5,7
/proc/2537/stat : 2537 (npSolver-pbo) S 2536 2536 1566 0 -1 4202496 90870 370156 0 0 801 141 134686 168 20 0 1 0 279421919 57602048 12970 33554432000 4194304 5992684 140736962877200 140736962863032 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2537/statm: 14063 12970 191 440 0 13619 0
[pid=2588] ppid=2537 vsize=197264 CPUtime=442.14 cores=1,3,5,7
/proc/2588/stat : 2588 (glucosInc) R 2537 2536 1566 0 -1 4202496 28179 0 0 0 44199 15 0 0 20 0 1 0 279557878 201998336 44956 33554432000 4194304 5654031 140733830079968 140733830067784 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2588/statm: 49316 44956 141 357 0 48956 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 262664
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.82
CPU time (s): 1800.13
CPU user time (s): 1796.87
CPU system time (s): 3.2615
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 294984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.87
system time used= 3.2615
maximum resident set size= 243520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1150208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7231
involuntary context switches= 1961
runsolver used 3.51647 second user time and 9.04162 second system time
The end