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-3746663-1339098200/watcher-3746663-1339098200 -o /tmp/evaluation-result-3746663-1339098200/solver-3746663-1339098200 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746663-1339098200.opb 1098599510 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: 0.30 0.09 0.02 3/177 22539
/proc/meminfo: memFree=31817804/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[startup+0.070595 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 22539
/proc/meminfo: memFree=31817804/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100361 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 22539
/proc/meminfo: memFree=31817804/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 22539
/proc/meminfo: memFree=31817804/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 0.30 0.09 0.02 3/177 22539
/proc/meminfo: memFree=31817804/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 0.44 0.12 0.03 3/183 22545
/proc/meminfo: memFree=31582888/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=21012 CPUtime=0.19 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 5165 0 0 0 16 3 0 0 20 0 1 0 375946139 21516288 4053 33554432000 4194304 6004724 140736189184352 140736189178816 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22540/statm: 5253 4053 147 442 0 4807 0
[pid=22544] ppid=22540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22544/stat : 22544 (cp2_pre.sh) S 22540 22539 22322 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 375946159 9367552 277 33554432000 4194304 5064252 140734487174624 140734487173328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22544/statm: 2287 277 234 213 0 72 0
[pid=22545] ppid=22544 vsize=51532 CPUtime=1.28 cores=1,3,5,7
/proc/22545/stat : 22545 (coprocessor) R 22544 22539 22322 0 -1 4202496 11664 0 0 0 127 1 0 0 20 0 1 0 375946159 52768768 12130 33554432000 4194304 6586260 140735792726832 140735792722312 4677141 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22545/statm: 12883 12130 190 584 0 12295 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 90840
[startup+3.10042 s]
/proc/loadavg: 0.44 0.12 0.03 3/182 22547
/proc/meminfo: memFree=31670024/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=21012 CPUtime=0.19 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 5165 0 0 0 16 3 0 0 20 0 1 0 375946139 21516288 4053 33554432000 4194304 6004724 140736189184352 140736189178816 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22540/statm: 5253 4053 147 442 0 4807 0
[pid=22544] ppid=22540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22544/stat : 22544 (cp2_pre.sh) S 22540 22539 22322 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 375946159 9367552 277 33554432000 4194304 5064252 140734487174624 140734487173328 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22544/statm: 2287 277 234 213 0 72 0
[pid=22545] ppid=22544 vsize=51536 CPUtime=2.88 cores=1,3,5,7
/proc/22545/stat : 22545 (coprocessor) R 22544 22539 22322 0 -1 4202496 12040 0 0 0 286 2 0 0 20 0 1 0 375946159 52772864 12140 33554432000 4194304 6586260 140735792726832 140735792722312 5259922 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22545/statm: 12884 12140 198 584 0 12296 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 90844
[startup+6.30027 s]
/proc/loadavg: 0.48 0.13 0.04 2/176 22550
/proc/meminfo: memFree=31806740/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=38592 CPUtime=5.12 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 11741 19059 0 0 137 54 315 6 20 0 1 0 375946139 39518208 8480 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 22 0 0
/proc/22540/statm: 9648 8480 177 442 0 9202 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 47740
[startup+12.7004 s]
/proc/loadavg: 0.68 0.18 0.06 3/181 22608
/proc/meminfo: memFree=31606488/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=10.44 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 18308 59650 0 0 256 70 698 20 20 0 1 0 375946139 28033024 5708 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5708 177 442 0 6398 0
[pid=22608] ppid=22540 vsize=213024 CPUtime=1.65 cores=1,3,5,7
/proc/22608/stat : 22608 (glucosInc) R 22540 22539 22322 0 -1 4202496 40582 0 0 0 155 10 0 0 20 0 1 0 375947242 218136576 49580 33554432000 4194304 5654031 140733342200688 140733342198472 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22608/statm: 53256 49580 141 357 0 52896 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 249548
[startup+25.5004 s]
/proc/loadavg: 1.04 0.27 0.09 3/181 22610
/proc/meminfo: memFree=31585188/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=14.4 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 25918 101142 0 0 375 86 945 34 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22610] ppid=22540 vsize=246248 CPUtime=9.52 cores=1,3,5,7
/proc/22610/stat : 22610 (glucosInc) R 22540 22539 22322 0 -1 4202496 41387 0 0 0 941 11 0 0 20 0 1 0 375947735 252157952 51337 33554432000 4194304 5654031 140737173665552 140737173663640 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22610/statm: 61562 51337 141 357 0 61202 0
Current children cumulated CPU time (s) 23.92
Current children cumulated vsize (KiB) 282772
[startup+51.1004 s]
/proc/loadavg: 1.42 0.44 0.15 3/181 22610
/proc/meminfo: memFree=31526352/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=14.4 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 25918 101142 0 0 375 86 945 34 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22610] ppid=22540 vsize=246248 CPUtime=35.12 cores=1,3,5,7
/proc/22610/stat : 22610 (glucosInc) R 22540 22539 22322 0 -1 4202496 41681 0 0 0 3500 12 0 0 20 0 1 0 375947735 252157952 58785 33554432000 4194304 5654031 140737173665552 140737173653368 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22610/statm: 61562 58785 142 357 0 61202 0
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (KiB) 282772
[startup+102.307 s]
/proc/loadavg: 1.75 0.67 0.24 3/181 22613
/proc/meminfo: memFree=31511944/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=250140 CPUtime=43.25 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 41390 0 0 0 4313 12 0 0 20 0 1 0 375952041 256143360 58371 33554432000 4194304 5654031 140736383685248 140736383682856 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22612/statm: 62535 58371 141 357 0 62175 0
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (KiB) 286664
[startup+162.3 s]
/proc/loadavg: 1.90 0.91 0.35 3/181 22613
/proc/meminfo: memFree=31432196/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=300408 CPUtime=103.23 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 42389 0 0 0 10310 13 0 0 20 0 1 0 375952041 307617792 68053 33554432000 4194304 5654031 140736383685248 140736383682936 4215941 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22612/statm: 75102 68053 141 357 0 74742 0
Current children cumulated CPU time (s) 160.7
Current children cumulated vsize (KiB) 336932
[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.45 3/181 22613
/proc/meminfo: memFree=31477028/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=250320 CPUtime=163.22 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 43069 0 0 0 16307 15 0 0 20 0 1 0 375952041 256327680 58904 33554432000 4194304 5654031 140736383685248 140736383683272 4233332 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22612/statm: 62580 58904 141 357 0 62220 0
Current children cumulated CPU time (s) 220.69
################
# More data... #
################
/proc/meminfo: memFree=31224508/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=515272 CPUtime=1243.03 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 49941 0 0 0 124260 43 0 0 20 0 1 0 375952041 527638528 102427 33554432000 4194304 5654031 140736383685248 140736383683336 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 128818 102427 141 357 0 128458 0
Current children cumulated CPU time (s) 1300.5
Current children cumulated vsize (KiB) 551796
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.53 3/181 22648
/proc/meminfo: memFree=31196088/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=515272 CPUtime=1303.01 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 49993 0 0 0 130257 44 0 0 20 0 1 0 375952041 527638528 112176 33554432000 4194304 5654031 140736383685248 140736383683336 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 128818 112176 141 357 0 128458 0
Current children cumulated CPU time (s) 1360.48
Current children cumulated vsize (KiB) 551796
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.55 3/181 22648
/proc/meminfo: memFree=31144408/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=515552 CPUtime=1363.01 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 50050 0 0 0 136256 45 0 0 20 0 1 0 375952041 527925248 121939 33554432000 4194304 5654031 140736383685248 140736383683144 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 128888 121939 141 357 0 128528 0
Current children cumulated CPU time (s) 1420.48
Current children cumulated vsize (KiB) 552076
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 3/181 22648
/proc/meminfo: memFree=31096176/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=730476 CPUtime=1422.99 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 50605 0 0 0 142254 45 0 0 20 0 1 0 375952041 748007424 131181 33554432000 4194304 5654031 140736383685248 140736383683336 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 182619 131181 141 357 0 182259 0
Current children cumulated CPU time (s) 1480.46
Current children cumulated vsize (KiB) 767000
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/181 22648
/proc/meminfo: memFree=31290104/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=383564 CPUtime=1482.98 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 50971 0 0 0 148249 49 0 0 20 0 1 0 375952041 392769536 79698 33554432000 4194304 5654031 140736383685248 140736383683272 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 95891 79698 141 357 0 95531 0
Current children cumulated CPU time (s) 1540.45
Current children cumulated vsize (KiB) 420088
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/182 22652
/proc/meminfo: memFree=31284444/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27376 CPUtime=57.47 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 33528 144583 0 0 494 101 5099 53 20 0 1 0 375946139 28033024 5709 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6844 5709 177 442 0 6398 0
[pid=22612] ppid=22540 vsize=516100 CPUtime=1542.97 cores=1,3,5,7
/proc/22612/stat : 22612 (glucosInc) R 22540 22539 22322 0 -1 4202496 51575 0 0 0 154247 50 0 0 20 0 1 0 375952041 528486400 94099 33554432000 4194304 5654031 140736383685248 140736383683336 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 129025 94099 141 357 0 128665 0
Current children cumulated CPU time (s) 1600.44
Current children cumulated vsize (KiB) 552624
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 1.65 3/181 22654
/proc/meminfo: memFree=31380208/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27372 CPUtime=1623.01 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 41137 196871 0 0 613 117 161464 107 20 0 1 0 375946139 28028928 5708 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6843 5708 177 442 0 6397 0
[pid=22654] ppid=22540 vsize=215576 CPUtime=37.43 cores=1,3,5,7
/proc/22654/stat : 22654 (glucosInc) R 22540 22539 22322 0 -1 4202496 40725 0 0 0 3730 13 0 0 20 0 1 0 376108623 220749824 50729 33554432000 4194304 5654031 140736324403360 140736324391176 4214618 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22654/statm: 53894 50729 142 357 0 53534 0
Current children cumulated CPU time (s) 1660.44
Current children cumulated vsize (KiB) 252096
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.67 3/181 22656
/proc/meminfo: memFree=31405508/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27368 CPUtime=1662.01 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 48745 238125 0 0 732 133 165212 124 20 0 1 0 375946139 28024832 5707 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6842 5707 177 442 0 6396 0
[pid=22656] ppid=22540 vsize=245916 CPUtime=58.42 cores=1,3,5,7
/proc/22656/stat : 22656 (glucosInc) R 22540 22539 22322 0 -1 4202496 41843 0 0 0 5831 11 0 0 20 0 1 0 376112524 251817984 58754 33554432000 4194304 5654031 140735289183264 140735289181352 4218793 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22656/statm: 61479 58754 141 357 0 61119 0
Current children cumulated CPU time (s) 1720.43
Current children cumulated vsize (KiB) 282432
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.70 3/181 22656
/proc/meminfo: memFree=31328500/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27368 CPUtime=1662.01 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 48745 238125 0 0 732 133 165212 124 20 0 1 0 375946139 28024832 5707 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6842 5707 177 442 0 6396 0
[pid=22656] ppid=22540 vsize=296828 CPUtime=118.41 cores=1,3,5,7
/proc/22656/stat : 22656 (glucosInc) R 22540 22539 22322 0 -1 4202496 42072 0 0 0 11829 12 0 0 20 0 1 0 376112524 303951872 69510 33554432000 4194304 5654031 140735289183264 140735289180872 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22656/statm: 74207 69510 141 357 0 73847 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (KiB) 333344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.9 s]
/proc/loadavg: 2.05 2.02 1.70 3/181 22656
/proc/meminfo: memFree=31439496/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27368 CPUtime=1662.01 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 48745 238125 0 0 732 133 165212 124 20 0 1 0 375946139 28024832 5707 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6842 5707 177 442 0 6396 0
[pid=22656] ppid=22540 vsize=246740 CPUtime=138.01 cores=1,3,5,7
/proc/22656/stat : 22656 (glucosInc) R 22540 22539 22322 0 -1 4202496 42410 0 0 0 13788 13 0 0 20 0 1 0 376112524 252661760 58416 33554432000 4194304 5654031 140735289183264 140735289181288 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22656/statm: 61685 58416 141 357 0 61325 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 283256
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 2.05 2.02 1.70 3/181 22656
/proc/meminfo: memFree=31439496/32873844 swapFree=7380/7380
[pid=22539] ppid=22537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22539/stat : 22539 (npSolver-pbo-It) S 22537 22539 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375946138 9367552 274 33554432000 4194304 5064252 140734244645856 140734244644768 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 2287 274 233 213 0 72 0
[pid=22540] ppid=22539 vsize=27368 CPUtime=1662.01 cores=1,3,5,7
/proc/22540/stat : 22540 (npSolver-pbo) S 22539 22539 22322 0 -1 4202496 48745 238125 0 0 732 133 165212 124 20 0 1 0 375946139 28024832 5707 33554432000 4194304 6004724 140736189184352 140736189170200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 28 0 0
/proc/22540/statm: 6842 5707 177 442 0 6396 0
[pid=22656] ppid=22540 vsize=246740 CPUtime=138.01 cores=1,3,5,7
/proc/22656/stat : 22656 (glucosInc) R 22540 22539 22322 0 -1 4202496 42410 0 0 0 13788 13 0 0 20 0 1 0 376112524 252661760 58416 33554432000 4194304 5654031 140735289183264 140735289181288 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22656/statm: 61685 58416 141 357 0 61325 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 283256
Child status: 0
Real time (s): 1801.91
CPU time (s): 1800.06
CPU user time (s): 1797.33
CPU system time (s): 2.72758
CPU usage (%): 99.8973
Max. virtual memory (cumulated for all children) (KiB): 978888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.33
system time used= 2.72758
maximum resident set size= 689640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329661
page faults= 0
swaps= 0
block input operations= 16
block output operations= 977624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4423
involuntary context switches= 2121
runsolver used 5.73813 second user time and 20.3119 second system time
The end