0.00/0.04 c old isEQ: 11, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
1.79/1.87 c run inc solver
1.79/1.87 c [INC SYSTEM] run initial solver
1.79/1.87 c [INC SYSTEM] preprocess with white file
10.36/10.43 c [INC SYSTEM] finished preprocessing in 8 s
10.36/10.43 c [INC SYSTEM] execute solver
291.01/291.14 c [INC SEARCH] formula is SAT
291.01/291.17 c [INC SYSTEM] solved the initial formula
291.01/291.19 c model valid
291.01/291.19 c current solution ok
294.39/294.56 o 9637
294.39/294.56 c execute binary inc search
294.39/294.56 c [INC SEARCH] current bound: 186748
294.39/294.56 c [INC SEARCH] iteration: 0
294.39/294.56 c [INC SEARCH] lower bound: 0 upperbound 373497 current bound: 186748 best value:373497
294.39/294.56 c [INC SYSTEM] there exists a inc, kill it!
294.39/294.56 c write failed with 2
294.39/294.57 c [INC SYSTEM] create new solver instance
294.39/294.57 c [INC] encode full formula
294.39/294.57 c fallback to adder encoding
295.33/295.48 c set iterative enc to: adder
295.33/295.48 c set iterative enc to: none
295.53/295.69 c [INC SEARCH] isOptimum variable: 0
1800.04/1800.41 HOME/npSolver-pbo-I.sh: line 18: 25055 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -useCP2=1 -useInc=1
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-3748661-1339114447/watcher-3748661-1339114447 -o /tmp/evaluation-result-3748661-1339114447/solver-3748661-1339114447 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748661-1339114447.opb 1518939065 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.07 2.02 1.87 4/179 25054
/proc/meminfo: memFree=25475132/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[startup+0.0956281 s]
/proc/loadavg: 2.07 2.02 1.87 4/179 25054
/proc/meminfo: memFree=25475132/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.07 2.02 1.87 4/179 25054
/proc/meminfo: memFree=25475132/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30021 s]
/proc/loadavg: 2.07 2.02 1.87 4/179 25054
/proc/meminfo: memFree=25475132/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.07 2.02 1.87 4/179 25054
/proc/meminfo: memFree=25475132/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.07 2.02 1.87 3/181 25056
/proc/meminfo: memFree=25398056/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=165528 CPUtime=1.49 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) R 25054 25054 22387 0 -1 4202496 6604 0 0 0 144 5 0 0 20 0 1 0 377570176 169500672 27482 33554432000 4194304 6004724 140733929228016 140733929222616 4579893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 41382 27482 163 442 0 40936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174676
[startup+3.10036 s]
/proc/loadavg: 2.07 2.02 1.87 3/183 25058
/proc/meminfo: memFree=25258136/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=1.87 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7006 0 0 0 167 20 0 0 20 0 1 0 377570176 140296192 23944 33554432000 4194304 6004724 140733929228016 140733929222480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23944 171 442 0 33806 0
[pid=25057] ppid=25055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25057/stat : 25057 (cp2_pre.sh) S 25055 25054 22387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377570364 9367552 277 33554432000 4194304 5064252 140737340274560 140737340273264 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25057/statm: 2287 277 234 213 0 72 0
[pid=25058] ppid=25057 vsize=289844 CPUtime=1.2 cores=1,3,5,7
/proc/25058/stat : 25058 (coprocessor) R 25057 25054 22387 0 -1 4202496 18037 0 0 0 113 7 0 0 20 0 1 0 377570364 296800256 57470 33554432000 4194304 6586260 140736710987184 140736710983944 4561212 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25058/statm: 72461 57470 157 584 0 71873 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 445148
[startup+6.30036 s]
/proc/loadavg: 2.14 2.03 1.87 3/183 25058
/proc/meminfo: memFree=24835308/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=1.87 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7006 0 0 0 167 20 0 0 20 0 1 0 377570176 140296192 23944 33554432000 4194304 6004724 140733929228016 140733929222480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23944 171 442 0 33806 0
[pid=25057] ppid=25055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25057/stat : 25057 (cp2_pre.sh) S 25055 25054 22387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377570364 9367552 277 33554432000 4194304 5064252 140737340274560 140737340273264 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25057/statm: 2287 277 234 213 0 72 0
[pid=25058] ppid=25057 vsize=473628 CPUtime=4.41 cores=1,3,5,7
/proc/25058/stat : 25058 (coprocessor) R 25057 25054 22387 0 -1 4202496 56438 0 0 0 425 16 0 0 20 0 1 0 377570364 484995072 114778 33554432000 4194304 6586260 140736710987184 140736710983208 4774851 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25058/statm: 118407 114778 180 584 0 117819 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 628932
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 1.87 3/181 25060
/proc/meminfo: memFree=25127572/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=254596 CPUtime=2.25 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 41407 0 0 0 215 10 0 0 20 0 1 0 377571219 260706304 51642 33554432000 4194304 5654031 140737377740384 140737377738168 4214612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25060/statm: 63649 51642 139 357 0 63289 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 400752
[startup+25.5004 s]
/proc/loadavg: 2.10 2.03 1.88 3/182 25061
/proc/meminfo: memFree=25108048/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=264360 CPUtime=15.04 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 43029 0 0 0 1494 10 0 0 20 0 1 0 377571219 270704640 55819 33554432000 4194304 5654031 140737377740384 140737377728200 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25060/statm: 66090 55819 140 357 0 65730 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 410516
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.88 3/182 25061
/proc/meminfo: memFree=25103612/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=269892 CPUtime=40.65 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 45083 0 0 0 4053 12 0 0 20 0 1 0 377571219 276369408 57032 33554432000 4194304 5654031 140737377740384 140737377728200 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25060/statm: 67473 57032 141 357 0 67113 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 416048
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.88 3/181 25061
/proc/meminfo: memFree=25089724/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=280256 CPUtime=91.84 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 47424 0 0 0 9170 14 0 0 20 0 1 0 377571219 286982144 60216 33554432000 4194304 5654031 140737377740384 140737377728200 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25060/statm: 70064 60216 141 357 0 69704 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 426412
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/181 25061
/proc/meminfo: memFree=25079972/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=284808 CPUtime=151.83 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 49954 0 0 0 15166 17 0 0 20 0 1 0 377571219 291643392 62055 33554432000 4194304 5654031 140737377740384 140737377728200 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25060/statm: 71202 62055 141 357 0 70842 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 430964
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/181 25061
/proc/meminfo: memFree=25075168/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=137008 CPUtime=10.4 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 7024 66640 0 0 167 20 815 38 20 0 1 0 377570176 140296192 23947 33554432000 4194304 6004724 140733929228016 140733929214296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 34252 23947 174 442 0 33806 0
[pid=25060] ppid=25055 vsize=288464 CPUtime=211.81 cores=1,3,5,7
/proc/25060/stat : 25060 (glucosInc) R 25055 25054 22387 0 -1 4202496 51744 0 0 0 21163 18 0 0 20 0 1 0 377571219 295387136 63163 33554432000 4194304 5654031 140737377740384 140737377728200 4219828 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25060/statm: 72116 63163 141 357 0 71756 0
Current children cumulated CPU time (s) 222.21
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.93 3/181 25076
/proc/meminfo: memFree=24707692/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=509192 CPUtime=1006.38 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 79855 0 0 0 100573 65 0 0 20 0 1 0 377599745 521412608 121700 33554432000 4194304 5654031 140733894614160 140733894601976 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 127298 121700 141 357 0 126938 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 670704
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 25076
/proc/meminfo: memFree=24720292/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=513108 CPUtime=1066.37 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 80636 0 0 0 106567 70 0 0 20 0 1 0 377599745 525422592 118463 33554432000 4194304 5654031 140733894614160 140733894601976 4233357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 128277 118463 141 357 0 127917 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 674620
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/181 25076
/proc/meminfo: memFree=24707696/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=520760 CPUtime=1126.37 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 81549 0 0 0 112563 74 0 0 20 0 1 0 377599745 533258240 122137 33554432000 4194304 5654031 140733894614160 140733894601976 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 130190 122137 141 357 0 129830 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 682272
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 25076
/proc/meminfo: memFree=24699444/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=520760 CPUtime=1186.35 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 82566 0 0 0 118559 76 0 0 20 0 1 0 377599745 533258240 123489 33554432000 4194304 5654031 140733894614160 140733894601976 4215061 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 130190 123489 141 357 0 129830 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 682272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 25077
/proc/meminfo: memFree=24687716/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=602148 CPUtime=1246.35 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 84050 0 0 0 124554 81 0 0 20 0 1 0 377599745 616599552 126568 33554432000 4194304 5654031 140733894614160 140733894601976 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 150537 126568 141 357 0 150177 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 763660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 25080
/proc/meminfo: memFree=24706260/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=524556 CPUtime=1306.33 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 85089 0 0 0 130546 87 0 0 20 0 1 0 377599745 537145344 121460 33554432000 4194304 5654031 140733894614160 140733894601976 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 131139 121460 141 357 0 130779 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 686068
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/181 25080
/proc/meminfo: memFree=24699876/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=524556 CPUtime=1366.33 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 86026 0 0 0 136540 93 0 0 20 0 1 0 377599745 537145344 122893 33554432000 4194304 5654031 140733894614160 140733894601976 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 131139 122893 141 357 0 130779 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 686068
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 25080
/proc/meminfo: memFree=24697268/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=528760 CPUtime=1426.32 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 86677 0 0 0 142535 97 0 0 20 0 1 0 377599745 541450240 124037 33554432000 4194304 5654031 140733894614160 140733894601976 4236276 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 132190 124037 141 357 0 131830 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 690272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 25120
/proc/meminfo: memFree=25124964/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=528760 CPUtime=1486.31 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 87643 0 0 0 148529 102 0 0 20 0 1 0 377599745 541450240 124990 33554432000 4194304 5654031 140733894614160 140733894601976 4209087 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 132190 124990 141 357 0 131830 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 690272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 25127
/proc/meminfo: memFree=24926580/32873844 swapFree=7896/7896
[pid=25054] ppid=25052 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (npSolver-pbo-I.) S 25052 25054 22387 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377570175 9367552 274 33554432000 4194304 5064252 140735333850528 140735333849440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 2287 274 233 213 0 72 0
[pid=25055] ppid=25054 vsize=152364 CPUtime=295.63 cores=1,3,5,7
/proc/25055/stat : 25055 (npSolver-pbo) S 25054 25054 22387 0 -1 4202496 13945 121162 0 0 322 306 28858 77 20 0 1 0 377570176 156020736 27796 33554432000 4194304 6004724 140733929228016 140733929212936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25055/statm: 38091 27796 184 442 0 37645 0
[pid=25065] ppid=25055 vsize=528760 CPUtime=1504.41 cores=1,3,5,7
/proc/25065/stat : 25065 (glucosInc) R 25055 25054 22387 0 -1 4202496 87695 0 0 0 150339 102 0 0 20 0 1 0 377599745 541450240 128108 33554432000 4194304 5654031 140733894614160 140733894601976 4232839 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25065/statm: 132190 128108 141 357 0 131830 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 690272
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25054 and gives
# childrusage.ru_utime.tv_sec=291
# childrusage.ru_utime.tv_usec=804638
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=838416
# CPU time returned by wait4() is 295.643
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1795.19
CPU system time (s): 4.85
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 901888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.805
system time used= 3.83842
maximum resident set size= 543308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 661456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1310
involuntary context switches= 1363
runsolver used 3.00154 second user time and 9.45956 second system time
The end