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-3748862-1339127212/watcher-3748862-1339127212 -o /tmp/evaluation-result-3748862-1339127212/solver-3748862-1339127212 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748862-1339127212.opb 736296369 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.16 2.07 2.02 3/178 15725
/proc/meminfo: memFree=27474552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[startup+0.105906 s]
/proc/loadavg: 2.16 2.07 2.02 3/178 15725
/proc/meminfo: memFree=27474552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200376 s]
/proc/loadavg: 2.16 2.07 2.02 3/178 15725
/proc/meminfo: memFree=27474552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 2.16 2.07 2.02 3/178 15725
/proc/meminfo: memFree=27474552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700207 s]
/proc/loadavg: 2.16 2.07 2.02 3/178 15725
/proc/meminfo: memFree=27474552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.16 2.07 2.02 3/182 15729
/proc/meminfo: memFree=27355756/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16696 CPUtime=0.19 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4050 0 0 0 18 1 0 0 20 0 1 0 378849824 17096704 3059 33554432000 4194304 6004724 140737119269024 140737119263488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 4174 3059 148 442 0 3728 0
[pid=15728] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15728/stat : 15728 (cp2_pre.sh) S 15726 15725 11882 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378849844 9367552 277 33554432000 4194304 5064252 140735257310768 140735257309472 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15728/statm: 2287 277 234 213 0 72 0
[pid=15729] ppid=15728 vsize=107128 CPUtime=1.28 cores=1,3,5,7
/proc/15729/stat : 15729 (coprocessor) R 15728 15725 11882 0 -1 4202496 20880 0 0 0 123 5 0 0 20 0 1 0 378849845 109699072 25840 33554432000 4194304 6586260 140733585622688 140733585618440 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/15729/statm: 26782 25840 200 584 0 26194 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 142120
[startup+3.10042 s]
/proc/loadavg: 2.16 2.07 2.02 3/181 15731
/proc/meminfo: memFree=27417268/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16696 CPUtime=1.67 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4067 21782 0 0 18 1 142 6 20 0 1 0 378849824 17096704 3064 33554432000 4194304 6004724 140737119269024 140737119255304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4174 3064 152 442 0 3728 0
[pid=15731] ppid=15726 vsize=49048 CPUtime=1.38 cores=1,3,5,7
/proc/15731/stat : 15731 (glucosInc) R 15726 15725 11882 0 -1 4202496 10115 0 0 0 136 2 0 0 20 0 1 0 378849994 50225152 10221 33554432000 4194304 5654031 140734901367312 140734901365192 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15731/statm: 12262 10221 131 357 0 11902 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 74892
[startup+6.30032 s]
/proc/loadavg: 2.15 2.07 2.02 3/181 15731
/proc/meminfo: memFree=27416160/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16700 CPUtime=1.95 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) R 15725 15725 11882 0 -1 4202496 4341 21782 0 0 24 23 142 6 20 0 1 0 378849824 17100800 3072 33554432000 4194304 6004724 140737119269024 140737119255304 5190832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4175 3072 159 442 0 3729 0
[pid=15731] ppid=15726 vsize=49708 CPUtime=4.31 cores=1,3,5,7
/proc/15731/stat : 15731 (glucosInc) S 15726 15725 11882 0 -1 4202496 10352 0 0 0 429 2 0 0 20 0 1 0 378849994 50900992 10458 33554432000 4194304 5654031 140734901367312 140734901365624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15731/statm: 12427 10458 146 357 0 12067 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 75556
[startup+12.7004 s]
/proc/loadavg: 2.14 2.07 2.02 3/181 15734
/proc/meminfo: memFree=27411728/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16700 CPUtime=6.49 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4394 33171 0 0 27 39 572 11 20 0 1 0 378849824 17100800 3080 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4175 3080 167 442 0 3729 0
[pid=15734] ppid=15726 vsize=48928 CPUtime=6.17 cores=1,3,5,7
/proc/15734/stat : 15734 (glucosInc) R 15726 15725 11882 0 -1 4202496 10141 0 0 0 616 1 0 0 20 0 1 0 378850475 50102272 10235 33554432000 4194304 5654031 140733464050816 140733464048712 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15734/statm: 12232 10235 131 357 0 11872 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 74776
[startup+25.5005 s]
/proc/loadavg: 2.11 2.06 2.01 3/181 15734
/proc/meminfo: memFree=27411412/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16700 CPUtime=6.49 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4394 33171 0 0 27 39 572 11 20 0 1 0 378849824 17100800 3080 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4175 3080 167 442 0 3729 0
[pid=15734] ppid=15726 vsize=49084 CPUtime=18.97 cores=1,3,5,7
/proc/15734/stat : 15734 (glucosInc) R 15726 15725 11882 0 -1 4202496 10328 0 0 0 1895 2 0 0 20 0 1 0 378850475 50262016 10410 33554432000 4194304 5654031 140733464050816 140733464048712 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15734/statm: 12271 10410 131 357 0 11911 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 74932
[startup+51.1005 s]
/proc/loadavg: 2.07 2.06 2.01 3/181 15735
/proc/meminfo: memFree=27407920/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16700 CPUtime=6.49 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4394 33171 0 0 27 39 572 11 20 0 1 0 378849824 17100800 3080 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4175 3080 167 442 0 3729 0
[pid=15734] ppid=15726 vsize=49664 CPUtime=44.56 cores=1,3,5,7
/proc/15734/stat : 15734 (glucosInc) R 15726 15725 11882 0 -1 4202496 10702 0 0 0 4454 2 0 0 20 0 1 0 378850475 50855936 11300 33554432000 4194304 5654031 140733464050816 140733464048600 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15734/statm: 12416 11300 131 357 0 12056 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 75512
[startup+102.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 15735
/proc/meminfo: memFree=27404260/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=16700 CPUtime=6.49 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4394 33171 0 0 27 39 572 11 20 0 1 0 378849824 17100800 3080 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4175 3080 167 442 0 3729 0
[pid=15734] ppid=15726 vsize=50400 CPUtime=95.76 cores=1,3,5,7
/proc/15734/stat : 15734 (glucosInc) R 15726 15725 11882 0 -1 4202496 11862 0 0 0 9573 3 0 0 20 0 1 0 378850475 51609600 11604 33554432000 4194304 5654031 140733464050816 140733464048600 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15734/statm: 12600 11604 132 357 0 12240 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 76248
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 15737
/proc/meminfo: memFree=27388316/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=138.58 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4808 46305 0 0 29 39 13774 16 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15737] ppid=15726 vsize=50372 CPUtime=23.63 cores=1,3,5,7
/proc/15737/stat : 15737 (glucosInc) R 15726 15725 11882 0 -1 4202496 10495 0 0 0 2361 2 0 0 20 0 1 0 378863688 51580928 10926 33554432000 4194304 5654031 140733506165344 140733506153160 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15737/statm: 12593 10926 137 357 0 12233 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 77456
[startup+222.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 15742
/proc/meminfo: memFree=27409552/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=180.25 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4850 58531 0 0 29 39 17937 20 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15739] ppid=15726 vsize=49628 CPUtime=41.95 cores=1,3,5,7
/proc/15739/stat : 15739 (glucosInc) R 15726 15725 11882 0 -1 4202496 9997 0 0 0 4193 2 0 0 20 0 1 0 378867857 50819072 10709 33554432000 4194304 5654031 140735739269968 140735739267864 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15739/statm: 12407 10709 131 357 0 12047 0
Current children cumulated CPU time (s) 222.2
################
# More data... #
################
/proc/15745/statm: 13744 11299 132 357 0 13384 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 82060
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 15746
/proc/meminfo: memFree=27378244/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.84 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 4890 71637 0 0 29 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=62628 CPUtime=170.26 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11609 0 0 0 17022 4 0 0 20 0 1 0 378897023 64131072 13805 33554432000 4194304 5654031 140736190095600 140736190093480 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15745/statm: 15657 13805 138 357 0 15297 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 89712
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 15747
/proc/meminfo: memFree=27371416/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=230.23 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 23019 4 0 0 20 0 1 0 378897023 71380992 15655 33554432000 4194304 5654031 140736190095600 140736190083416 4216690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 15655 152 357 0 17067 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 96792
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27371416/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=290.22 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 29018 4 0 0 20 0 1 0 378897023 71380992 15655 33554432000 4194304 5654031 140736190095600 140736190083416 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 15655 152 357 0 17067 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 96792
Solver just ended. Dumping a history of the last processes samples
[startup+768 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27371416/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=295.92 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 29588 4 0 0 20 0 1 0 378897023 71380992 15655 33554432000 4194304 5654031 140736190095600 140736190083416 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 15655 152 357 0 17067 0
Current children cumulated CPU time (s) 767.78
Current children cumulated vsize (KiB) 96792
[startup+780.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=308.72 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 30868 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 780.58
Current children cumulated vsize (KiB) 96792
[startup+784 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=311.91 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 31187 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 783.77
Current children cumulated vsize (KiB) 96792
[startup+787.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=315.11 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 31507 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 786.97
Current children cumulated vsize (KiB) 96792
[startup+788 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=315.91 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 31587 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 787.77
Current children cumulated vsize (KiB) 96792
[startup+788.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=316.31 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 31627 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 788.17
Current children cumulated vsize (KiB) 96792
[startup+788.807 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.86 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) S 15725 15725 11882 0 -1 4202496 5156 71637 0 0 31 39 47090 26 20 0 1 0 378849824 18366464 3152 33554432000 4194304 6004724 140737119269024 140737119253944 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3152 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=316.72 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) R 15726 15725 11882 0 -1 4202496 11939 0 0 0 31668 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190083416 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 788.58
Current children cumulated vsize (KiB) 96792
[startup+788.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15747
/proc/meminfo: memFree=27369616/32873844 swapFree=7372/7372
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-pbo-I.) S 15723 15725 11882 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378849824 9367552 275 33554432000 4194304 5064252 140735615100032 140735615098944 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 275 233 213 0 72 0
[pid=15726] ppid=15725 vsize=17936 CPUtime=471.87 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-pbo) R 15725 15725 11882 0 -1 4202496 5297 71637 0 0 32 39 47090 26 20 0 1 0 378849824 18366464 3173 33554432000 4194304 6004724 140737119269024 140737119253944 4337200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 4484 3173 167 442 0 4038 0
[pid=15745] ppid=15726 vsize=69708 CPUtime=316.81 cores=1,3,5,7
/proc/15745/stat : 15745 (glucosInc) S 15726 15725 11882 0 -1 4202496 11939 0 0 0 31677 4 0 0 20 0 1 0 378897023 71380992 16119 33554432000 4194304 5654031 140736190095600 140736190093912 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15745/statm: 17427 16119 152 357 0 17067 0
Current children cumulated CPU time (s) 788.68
Current children cumulated vsize (KiB) 96792
Child status: 0
Real time (s): 788.918
CPU time (s): 788.733
CPU user time (s): 788.021
CPU system time (s): 0.711891
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 142120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.021
system time used= 0.711891
maximum resident set size= 107076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1212
involuntary context switches= 1118
runsolver used 1.2818 second user time and 3.75343 second system time
The end