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-3751161-1339112870/watcher-3751161-1339112870 -o /tmp/evaluation-result-3751161-1339112870/solver-3751161-1339112870 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751161-1339112870.opb 1899419278 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.10 2.08 2.01 3/176 14636
/proc/meminfo: memFree=26254496/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[startup+0.0801641 s]
/proc/loadavg: 2.10 2.08 2.01 3/176 14636
/proc/meminfo: memFree=26254496/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.10 2.08 2.01 3/176 14636
/proc/meminfo: memFree=26254496/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.10 2.08 2.01 3/176 14636
/proc/meminfo: memFree=26254496/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.10 2.08 2.01 3/176 14636
/proc/meminfo: memFree=26254496/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.10 2.08 2.01 3/178 14638
/proc/meminfo: memFree=26142336/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=189376 CPUtime=1.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) R 14636 14636 12376 0 -1 4202496 35422 0 0 0 140 8 0 0 20 0 1 0 377412560 193921024 46991 33554432000 4194304 6004724 140733667428496 140733667424520 4582535 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14637/statm: 47344 46991 139 442 0 46898 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 198524
[startup+3.10028 s]
/proc/loadavg: 2.10 2.08 2.01 3/178 14638
/proc/meminfo: memFree=26022508/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=320448 CPUtime=3.08 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) R 14636 14636 12376 0 -1 4202496 36625 0 0 0 297 11 0 0 20 0 1 0 377412560 328138752 75740 33554432000 4194304 6004724 140733667428496 140733667423096 4581260 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14637/statm: 80112 75740 154 442 0 79666 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 329596
[startup+6.30038 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 14638
/proc/meminfo: memFree=25778424/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=1036240 CPUtime=6.28 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) R 14636 14636 12376 0 -1 4202496 38872 0 0 0 571 57 0 0 20 0 1 0 377412560 1061109760 208611 33554432000 4194304 6004724 140733667428496 140733667424368 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14637/statm: 259060 208611 157 442 0 258614 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1045388
[startup+12.7003 s]
/proc/loadavg: 2.16 2.09 2.01 3/180 14640
/proc/meminfo: memFree=24313572/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=6.36 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38879 0 0 0 571 65 0 0 20 0 1 0 377412560 730791936 127973 33554432000 4194304 6004724 140733667428496 140733667422960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127973 163 442 0 177970 0
[pid=14639] ppid=14637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14639/stat : 14639 (cp2_pre.sh) S 14637 14636 12376 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377413198 9367552 277 33554432000 4194304 5064252 140736888469888 140736888468592 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14639/statm: 2287 277 234 213 0 72 0
[pid=14640] ppid=14639 vsize=1281540 CPUtime=6.29 cores=1,3,5,7
/proc/14640/stat : 14640 (coprocessor) R 14639 14636 12376 0 -1 4202496 89411 0 0 0 593 36 0 0 20 0 1 0 377413199 1312296960 289047 33554432000 4194304 6586260 140736480230784 140736480227048 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/14640/statm: 320385 289049 163 584 0 319797 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 2013500
[startup+25.5003 s]
/proc/loadavg: 2.19 2.11 2.02 3/180 14640
/proc/meminfo: memFree=23797240/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=6.36 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38879 0 0 0 571 65 0 0 20 0 1 0 377412560 730791936 127973 33554432000 4194304 6004724 140733667428496 140733667422960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127973 163 442 0 177970 0
[pid=14639] ppid=14637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14639/stat : 14639 (cp2_pre.sh) S 14637 14636 12376 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377413198 9367552 277 33554432000 4194304 5064252 140736888469888 140736888468592 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14639/statm: 2287 277 234 213 0 72 0
[pid=14640] ppid=14639 vsize=1614032 CPUtime=19.08 cores=1,3,5,7
/proc/14640/stat : 14640 (coprocessor) R 14639 14636 12376 0 -1 4202496 142422 0 0 0 1761 147 0 0 20 0 1 0 377413199 1652768768 395864 33554432000 4194304 6586260 140736480230784 140736480226536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/14640/statm: 403508 395864 198 584 0 402920 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2345992
[startup+51.1003 s]
/proc/loadavg: 2.12 2.10 2.01 3/179 14642
/proc/meminfo: memFree=25263792/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=414040 CPUtime=24.54 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 60626 0 0 0 2442 12 0 0 20 0 1 0 377415212 423976960 95875 33554432000 4194304 5654031 140737250904160 140737250891976 4214612 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 103510 95875 141 357 0 103150 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 1136852
[startup+102.307 s]
/proc/loadavg: 2.11 2.09 2.01 3/179 15031
/proc/meminfo: memFree=25142224/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=75.74 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 61413 0 0 0 7562 12 0 0 20 0 1 0 377415212 460910592 98688 33554432000 4194304 5654031 140737250904160 140737250891976 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 98688 141 357 0 112167 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 1172920
[startup+162.3 s]
/proc/loadavg: 2.10 2.09 2.01 3/180 15336
/proc/meminfo: memFree=25206196/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=135.72 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 62202 0 0 0 13559 13 0 0 20 0 1 0 377415212 460910592 98243 33554432000 4194304 5654031 140737250904160 140737250891976 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 98243 142 357 0 112167 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1172920
[startup+222.3 s]
/proc/loadavg: 2.10 2.09 2.01 3/179 15336
/proc/meminfo: memFree=25188456/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=195.72 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 62206 0 0 0 19558 14 0 0 20 0 1 0 377415212 460910592 100291 33554432000 4194304 5654031 140737250904160 140737250891976 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 100291 142 357 0 112167 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1172920
[startup+282.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25323796/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 62977 0 0 0 25556 15 0 0 20 0 1 0 377415212 460910592 98243 33554432000 4194304 5654031 140737250904160 140737250891976 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 98243 142 357 0 112167 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1172920
[startup+342.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/179 15637
/proc/meminfo: memFree=25301172/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=315.7 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 62981 0 0 0 31555 15 0 0 20 0 1 0 377415212 460910592 100291 33554432000 4194304 5654031 140737250904160 140737250891976 4232585 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 100291 142 357 0 112167 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1172920
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/179 15638
/proc/meminfo: memFree=25266440/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=375.69 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 63754 0 0 0 37551 18 0 0 20 0 1 0 377415212 460910592 98243 33554432000 4194304 5654031 140737250904160 140737250891976 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 98243 142 357 0 112167 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1172920
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.01 2.05 2.00 3/179 15638
/proc/meminfo: memFree=25266316/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=450108 CPUtime=382.89 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 63754 0 0 0 38271 18 0 0 20 0 1 0 377415212 460910592 98243 33554432000 4194304 5654031 140737250904160 140737250891976 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 112527 98243 142 357 0 112167 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 1172920
[startup+435.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25226788/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=408.49 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64162 0 0 0 40831 18 0 0 20 0 1 0 377415212 466264064 100184 33554432000 4194304 5654031 140737250904160 140737250891976 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100184 142 357 0 113474 0
Current children cumulated CPU time (s) 434.97
Current children cumulated vsize (KiB) 1178148
[startup+447.9 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25192780/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=421.28 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64162 0 0 0 42110 18 0 0 20 0 1 0 377415212 466264064 100184 33554432000 4194304 5654031 140737250904160 140737250891976 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100184 142 357 0 113474 0
Current children cumulated CPU time (s) 447.76
Current children cumulated vsize (KiB) 1178148
[startup+454.307 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25192284/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=427.69 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64266 0 0 0 42751 18 0 0 20 0 1 0 377415212 466264064 100288 33554432000 4194304 5654031 140737250904160 140737250891976 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100288 142 357 0 113474 0
Current children cumulated CPU time (s) 454.17
Current children cumulated vsize (KiB) 1178148
[startup+457.5 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25184092/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=430.89 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64266 0 0 0 43071 18 0 0 20 0 1 0 377415212 466264064 100288 33554432000 4194304 5654031 140737250904160 140737250891976 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100288 142 357 0 113474 0
Current children cumulated CPU time (s) 457.37
Current children cumulated vsize (KiB) 1178148
[startup+459.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25226292/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=432.48 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64266 0 0 0 43230 18 0 0 20 0 1 0 377415212 466264064 100288 33554432000 4194304 5654031 140737250904160 140737250891976 4232505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100288 142 357 0 113474 0
Current children cumulated CPU time (s) 458.96
Current children cumulated vsize (KiB) 1178148
[startup+459.9 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25226292/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=433.28 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64266 0 0 0 43310 18 0 0 20 0 1 0 377415212 466264064 100288 33554432000 4194304 5654031 140737250904160 140737250891976 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100288 142 357 0 113474 0
Current children cumulated CPU time (s) 459.76
Current children cumulated vsize (KiB) 1178148
[startup+460.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 15638
/proc/meminfo: memFree=25226292/32873624 swapFree=7112/7112
[pid=14636] ppid=14634 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14636/stat : 14636 (npSolver-pbo-It) S 14634 14636 12376 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377412559 9367552 275 33554432000 4194304 5064252 140737018452528 140737018451440 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14636/statm: 2287 275 233 213 0 72 0
[pid=14637] ppid=14636 vsize=713664 CPUtime=26.48 cores=1,3,5,7
/proc/14637/stat : 14637 (npSolver-pbo) S 14636 14636 12376 0 -1 4202496 38896 143324 0 0 571 65 1851 161 20 0 1 0 377412560 730791936 127978 33554432000 4194304 6004724 140733667428496 140733667414776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/14637/statm: 178416 127978 167 442 0 177970 0
[pid=14642] ppid=14637 vsize=455336 CPUtime=433.68 cores=1,3,5,7
/proc/14642/stat : 14642 (glucosInc) R 14637 14636 12376 0 -1 4202496 64269 0 0 0 43350 18 0 0 20 0 1 0 377415212 466264064 100291 33554432000 4194304 5654031 140737250904160 140737250891976 4208599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14642/statm: 113834 100291 142 357 0 113474 0
Current children cumulated CPU time (s) 460.16
Current children cumulated vsize (KiB) 1178148
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14636 and gives
# childrusage.ru_utime.tv_sec=24
# childrusage.ru_utime.tv_usec=252313
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=294651
# CPU time returned by wait4() is 26.547
# while last known CPU time is 460.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 460.377
CPU time (s): 460.16
CPU user time (s): 457.72
CPU system time (s): 2.44
CPU usage (%): 99.9528
Max. virtual memory (cumulated for all children) (KiB): 2392396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2523
system time used= 2.29465
maximum resident set size= 1629852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198459
page faults= 0
swaps= 0
block input operations= 16
block output operations= 770456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 48
runsolver used 1.24081 second user time and 3.87241 second system time
The end