0.00/0.90 c old isEQ: 0, new EQ is 1
0.00/0.91 c old isEQ: 152, new EQ is 0
0.00/0.92 c old isEQ: 0, new EQ is 0
0.00/0.94 c old isEQ: 0, new EQ is 0
0.00/0.95 c old isEQ: 0, new EQ is 0
0.00/0.97 c old isEQ: 0, new EQ is 0
0.00/0.99 c old isEQ: 0, new EQ is 0
0.99/1.00 c old isEQ: 0, new EQ is 0
0.99/1.02 c old isEQ: 0, new EQ is 0
0.99/1.03 c old isEQ: 0, new EQ is 0
0.99/1.05 c old isEQ: 0, new EQ is 0
0.99/1.07 c old isEQ: 0, new EQ is 0
0.99/1.08 c old isEQ: 0, new EQ is 0
0.99/1.10 c old isEQ: 0, new EQ is 0
1.09/1.12 c old isEQ: 0, new EQ is 0
1.09/1.13 c old isEQ: 0, new EQ is 0
1.09/1.15 c old isEQ: 0, new EQ is 0
1.09/1.16 c old isEQ: 0, new EQ is 0
1.09/1.18 c old isEQ: 0, new EQ is 0
1.18/1.20 c old isEQ: 0, new EQ is 0
1.18/1.21 c old isEQ: 0, new EQ is 0
1.18/1.23 c old isEQ: 0, new EQ is 0
1.18/1.25 c old isEQ: 0, new EQ is 0
1.18/1.26 c old isEQ: 0, new EQ is 0
1.18/1.28 c old isEQ: 0, new EQ is 0
1.18/1.29 c old isEQ: 0, new EQ is 0
1.29/1.31 c old isEQ: 0, new EQ is 0
1.29/1.33 c old isEQ: 0, new EQ is 0
1.29/1.34 c old isEQ: 0, new EQ is 0
1.29/1.36 c old isEQ: 0, new EQ is 0
1.29/1.37 c old isEQ: 0, new EQ is 0
1.29/1.39 c old isEQ: 0, new EQ is 0
1.39/1.40 c old isEQ: 0, new EQ is 0
1.39/1.42 c old isEQ: 0, new EQ is 0
13.34/13.70 c run inc solver
13.34/13.70 c [INC SYSTEM] run initial solver
13.34/13.70 c [INC SYSTEM] preprocess with white file
52.54/55.74 c [INC SYSTEM] finished preprocessing in 42 s
52.54/55.74 c [INC SYSTEM] execute solver
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-3748574-1339173835/watcher-3748574-1339173835 -o /tmp/evaluation-result-3748574-1339173835/solver-3748574-1339173835 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748574-1339173835.opb 369713784 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.01 2.00 2/180 17526
/proc/meminfo: memFree=31626064/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[startup+0.083478 s]
/proc/loadavg: 2.00 2.01 2.00 2/180 17526
/proc/meminfo: memFree=31626064/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.00 2.01 2.00 2/180 17526
/proc/meminfo: memFree=31626064/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/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.00 2.01 2.00 2/180 17526
/proc/meminfo: memFree=31626064/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.00 2/180 17526
/proc/meminfo: memFree=31626064/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 17528
/proc/meminfo: memFree=31498472/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=180624 CPUtime=1.49 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) R 17526 17526 17075 0 -1 4202496 26725 0 0 0 142 7 0 0 20 0 1 0 27350464 184958976 41888 33554432000 4194304 6004724 140736394158432 140736394153688 4536305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17527/statm: 45156 41888 163 442 0 44710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189772
[startup+3.10024 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 17529
/proc/meminfo: memFree=31415516/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=410088 CPUtime=3.09 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) R 17526 17526 17075 0 -1 4202496 28449 0 0 0 296 13 0 0 20 0 1 0 27350464 419930112 71094 33554432000 4194304 6004724 140736394158432 140736394153032 4534715 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17527/statm: 102522 71094 163 442 0 102076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 419236
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 17531
/proc/meminfo: memFree=30792156/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=672232 CPUtime=6.29 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) R 17526 17526 17075 0 -1 4202496 29204 0 0 0 609 20 0 0 20 0 1 0 27350464 688365568 130486 33554432000 4194304 6004724 140736394158432 140736394153240 4579328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17527/statm: 168058 130486 163 442 0 167612 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 681380
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 17531
/proc/meminfo: memFree=29244540/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=2001348 CPUtime=12.66 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) R 17526 17526 17075 0 -1 4202496 31078 0 0 0 1184 82 0 0 20 0 1 0 27350464 2049380352 439215 33554432000 4194304 6004724 140736394158432 140736394154304 5193835 0 0 4096 0 0 0 0 17 4 0 0 2 0 0
/proc/17527/statm: 500337 439215 165 442 0 499891 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 2010496
[startup+25.5003 s]
/proc/loadavg: 2.29 2.08 2.02 2/184 17533
/proc/meminfo: memFree=27833616/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=13.42 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31085 0 0 0 1185 157 0 0 20 0 1 0 27350464 1225236480 238014 33554432000 4194304 6004724 140736394158432 140736394152896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238014 171 442 0 298684 0
[pid=17532] ppid=17527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17532/stat : 17532 (cp2_pre.sh) S 17527 17526 17075 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 27351842 9367552 276 33554432000 4194304 5064252 140733248893680 140733248892384 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17532/statm: 2287 276 234 213 0 72 0
[pid=17533] ppid=17532 vsize=1631812 CPUtime=11.28 cores=0,2,4,6
/proc/17533/stat : 17533 (coprocessor) D 17532 17526 17075 0 -1 4202496 22158 0 0 0 1084 44 0 0 20 0 1 0 27351842 1670975488 333727 33554432000 4194304 6586260 140736137012432 140736137008184 5732496 0 0 4096 8404994 18446744071581216301 0 0 17 0 0 0 0 0 0
/proc/17533/statm: 407953 333727 158 584 0 407365 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 2846628
[startup+51.1004 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 17533
/proc/meminfo: memFree=27291356/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=13.42 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31085 0 0 0 1185 157 0 0 20 0 1 0 27350464 1225236480 238014 33554432000 4194304 6004724 140736394158432 140736394152896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238014 171 442 0 298684 0
[pid=17532] ppid=17527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17532/stat : 17532 (cp2_pre.sh) S 17527 17526 17075 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 27351842 9367552 276 33554432000 4194304 5064252 140733248893680 140733248892384 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17532/statm: 2287 276 234 213 0 72 0
[pid=17533] ppid=17532 vsize=1631812 CPUtime=34.63 cores=0,2,4,6
/proc/17533/stat : 17533 (coprocessor) R 17532 17526 17075 0 -1 4202496 22158 0 0 0 3299 164 0 0 20 0 1 0 27351842 1670975488 333727 33554432000 4194304 6586260 140736137012432 140736137008184 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 265 0 0
/proc/17533/statm: 407953 333727 158 584 0 407365 0
Current children cumulated CPU time (s) 48.05
Current children cumulated vsize (KiB) 2846628
[startup+102.307 s]
/proc/loadavg: 2.10 2.07 2.02 3/183 17535
/proc/meminfo: memFree=27343320/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2284516 CPUtime=46.53 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 240734 0 0 0 4582 71 0 0 20 0 1 0 27356038 2339344384 485035 33554432000 4194304 5654031 140734643691440 140734643689208 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 571129 485035 130 357 0 570769 0
Current children cumulated CPU time (s) 99.21
Current children cumulated vsize (KiB) 3490184
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 17535
/proc/meminfo: memFree=27315088/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2284516 CPUtime=106.52 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 241341 0 0 0 10581 71 0 0 20 0 1 0 27356038 2339344384 487175 33554432000 4194304 5654031 140734643691440 140734643689208 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 571129 487175 130 357 0 570769 0
Current children cumulated CPU time (s) 159.2
Current children cumulated vsize (KiB) 3490184
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/183 17536
/proc/meminfo: memFree=27329112/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2284516 CPUtime=166.51 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 241424 0 0 0 16580 71 0 0 20 0 1 0 27356038 2339344384 488280 33554432000 4194304 5654031 140734643691440 140734643679256 4232462 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 571129 488280 136 357 0 570769 0
Current children cumulated CPU time (s) 219.19
Current children cumulated vsize (KiB) 3490184
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 17537
/proc/meminfo: memFree=27335568/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=27262056/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1306.29 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242311 0 0 0 130556 73 0 0 20 0 1 0 27356038 2377916416 495299 33554432000 4194304 5654031 140734643691440 140734643679256 4209078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 495299 140 357 0 580186 0
Current children cumulated CPU time (s) 1358.97
Current children cumulated vsize (KiB) 3527852
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17569
/proc/meminfo: memFree=27245328/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1366.25 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242365 0 0 0 136552 73 0 0 20 0 1 0 27356038 2377916416 495821 33554432000 4194304 5654031 140734643691440 140734643679256 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 495821 140 357 0 580186 0
Current children cumulated CPU time (s) 1418.93
Current children cumulated vsize (KiB) 3527852
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 17570
/proc/meminfo: memFree=27268132/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1426.22 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242400 0 0 0 142549 73 0 0 20 0 1 0 27356038 2377916416 496345 33554432000 4194304 5654031 140734643691440 140734643679256 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 496345 140 357 0 580186 0
Current children cumulated CPU time (s) 1478.9
Current children cumulated vsize (KiB) 3527852
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17570
/proc/meminfo: memFree=27246260/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1486.18 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242454 0 0 0 148545 73 0 0 20 0 1 0 27356038 2377916416 496964 33554432000 4194304 5654031 140734643691440 140734643679256 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 496964 140 357 0 580186 0
Current children cumulated CPU time (s) 1538.86
Current children cumulated vsize (KiB) 3527852
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17573
/proc/meminfo: memFree=27228540/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1546.16 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242590 0 0 0 154543 73 0 0 20 0 1 0 27356038 2377916416 497230 33554432000 4194304 5654031 140734643691440 140734643679256 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 497230 140 357 0 580186 0
Current children cumulated CPU time (s) 1598.84
Current children cumulated vsize (KiB) 3527852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17573
/proc/meminfo: memFree=27196700/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1606.13 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 242884 0 0 0 160540 73 0 0 20 0 1 0 27356038 2377916416 497501 33554432000 4194304 5654031 140734643691440 140734643679256 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 497501 140 357 0 580186 0
Current children cumulated CPU time (s) 1658.81
Current children cumulated vsize (KiB) 3527852
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 17573
/proc/meminfo: memFree=27202224/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1666.13 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 243044 0 0 0 166539 74 0 0 20 0 1 0 27356038 2377916416 498169 33554432000 4194304 5654031 140734643691440 140734643679256 4232438 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 498169 140 357 0 580186 0
Current children cumulated CPU time (s) 1718.81
Current children cumulated vsize (KiB) 3527852
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17574
/proc/meminfo: memFree=27238852/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1726.09 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 243087 0 0 0 172535 74 0 0 20 0 1 0 27356038 2377916416 498182 33554432000 4194304 5654031 140734643691440 140734643679256 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 498182 140 357 0 580186 0
Current children cumulated CPU time (s) 1778.77
Current children cumulated vsize (KiB) 3527852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17621
/proc/meminfo: memFree=27963244/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1747.38 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 243090 0 0 0 174664 74 0 0 20 0 1 0 27356038 2377916416 498182 33554432000 4194304 5654031 140734643691440 140734643679256 4208705 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 498182 140 357 0 580186 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3527852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17621
/proc/meminfo: memFree=27963244/32873844 swapFree=7124/7124
[pid=17526] ppid=17524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17526/stat : 17526 (npSolver-pbo-I.) S 17524 17526 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 27350463 9367552 275 33554432000 4194304 5064252 140737075599152 140737075598064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17526/statm: 2287 275 233 213 0 72 0
[pid=17527] ppid=17526 vsize=1196520 CPUtime=52.68 cores=0,2,4,6
/proc/17527/stat : 17527 (npSolver-pbo) S 17526 17526 17075 0 -1 4202496 31100 23061 0 0 1185 157 3723 203 20 0 1 0 27350464 1225236480 238017 33554432000 4194304 6004724 140736394158432 140736394144712 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 34 0 0
/proc/17527/statm: 299130 238017 174 442 0 298684 0
[pid=17535] ppid=17527 vsize=2322184 CPUtime=1747.38 cores=0,2,4,6
/proc/17535/stat : 17535 (glucosInc) R 17527 17526 17075 0 -1 4202496 243090 0 0 0 174664 74 0 0 20 0 1 0 27356038 2377916416 498182 33554432000 4194304 5654031 140734643691440 140734643679256 4208705 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17535/statm: 580546 498182 140 357 0 580186 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3527852
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17526 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.62
CPU time (s): 1800.06
CPU user time (s): 1795.72
CPU system time (s): 4.34
CPU usage (%): 99.8028
Max. virtual memory (cumulated for all children) (KiB): 3527852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.78043 second user time and 10.3364 second system time
The end