0.99/1.02 c old isEQ: 0, new EQ is 0
0.99/1.08 c old isEQ: 0, new EQ is 0
1.10/1.14 c old isEQ: 0, new EQ is 0
1.19/1.20 c old isEQ: 0, new EQ is 0
1.29/1.33 c old isEQ: 0, new EQ is 0
1.39/1.47 c old isEQ: 0, new EQ is 0
1.59/1.60 c old isEQ: 0, new EQ is 0
1.69/1.74 c old isEQ: 0, new EQ is 0
1.79/1.87 c old isEQ: 0, new EQ is 0
1.99/2.01 c old isEQ: 0, new EQ is 0
2.09/2.15 c old isEQ: 0, new EQ is 0
2.19/2.28 c old isEQ: 0, new EQ is 0
2.39/2.41 c old isEQ: 0, new EQ is 0
2.49/2.55 c old isEQ: 0, new EQ is 0
2.59/2.68 c old isEQ: 0, new EQ is 0
2.69/2.74 c old isEQ: 0, new EQ is 0
2.79/2.80 c old isEQ: 0, new EQ is 0
2.79/2.86 c old isEQ: 0, new EQ is 0
2.89/2.99 c old isEQ: 0, new EQ is 0
3.09/3.12 c old isEQ: 0, new EQ is 0
3.19/3.26 c old isEQ: 0, new EQ is 0
3.29/3.39 c old isEQ: 0, new EQ is 0
3.49/3.53 c old isEQ: 0, new EQ is 0
3.58/3.67 c old isEQ: 0, new EQ is 0
3.78/3.80 c old isEQ: 0, new EQ is 0
3.88/3.94 c old isEQ: 0, new EQ is 0
3.98/4.07 c old isEQ: 0, new EQ is 0
4.18/4.20 c old isEQ: 0, new EQ is 0
4.29/4.34 c old isEQ: 0, new EQ is 0
4.48/4.53 c old isEQ: 0, new EQ is 0
4.48/4.53 c old isEQ: 0, new EQ is 0
4.48/4.59 c old isEQ: 0, new EQ is 0
4.68/4.72 c old isEQ: 0, new EQ is 0
4.78/4.85 c old isEQ: 0, new EQ is 0
4.88/4.98 c old isEQ: 0, new EQ is 0
5.08/5.12 c old isEQ: 0, new EQ is 0
5.18/5.26 c old isEQ: 0, new EQ is 0
5.28/5.39 c old isEQ: 0, new EQ is 0
5.49/5.52 c old isEQ: 0, new EQ is 0
5.58/5.66 c old isEQ: 0, new EQ is 0
5.68/5.79 c old isEQ: 0, new EQ is 0
5.88/5.92 c old isEQ: 0, new EQ is 0
5.98/6.05 c old isEQ: 0, new EQ is 0
6.08/6.11 c old isEQ: 0, new EQ is 0
6.08/6.17 c old isEQ: 0, new EQ is 0
6.29/6.30 c old isEQ: 0, new EQ is 0
6.39/6.43 c old isEQ: 0, new EQ is 0
6.49/6.57 c old isEQ: 0, new EQ is 0
6.69/6.70 c old isEQ: 0, new EQ is 0
6.79/6.83 c old isEQ: 0, new EQ is 0
6.89/6.97 c old isEQ: 0, new EQ is 0
7.09/7.10 c old isEQ: 0, new EQ is 0
7.19/7.23 c old isEQ: 0, new EQ is 0
78.31/103.77 c run usual 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-3750789-1339168383/watcher-3750789-1339168383 -o /tmp/evaluation-result-3750789-1339168383/solver-3750789-1339168383 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750789-1339168383.opb 1822507125 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.07 2.52 2.70 3/179 526
/proc/meminfo: memFree=16921992/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[startup+0.0259069 s]
/proc/loadavg: 2.07 2.52 2.70 3/179 526
/proc/meminfo: memFree=16921992/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.07 2.52 2.70 3/179 526
/proc/meminfo: memFree=16921992/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.07 2.52 2.70 3/179 526
/proc/meminfo: memFree=16921992/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.07 2.52 2.70 3/179 526
/proc/meminfo: memFree=16921992/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.07 2.52 2.70 3/181 528
/proc/meminfo: memFree=16853264/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=152316 CPUtime=1.49 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 29995 0 0 0 145 4 0 0 20 0 1 0 382962433 155971584 36850 33554432000 4194304 6004724 140735633793408 140735633788792 4534728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 38079 36850 156 442 0 37633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161464
[startup+3.10031 s]
/proc/loadavg: 2.07 2.51 2.70 3/181 528
/proc/meminfo: memFree=16773500/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=155496 CPUtime=3.09 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 30817 0 0 0 305 4 0 0 20 0 1 0 382962433 159227904 37672 33554432000 4194304 6004724 140735633793408 140735633788792 4536263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 38874 37672 156 442 0 38428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 164644
[startup+6.30029 s]
/proc/loadavg: 2.07 2.51 2.70 3/181 528
/proc/meminfo: memFree=16763516/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=163688 CPUtime=6.29 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 31308 0 0 0 624 5 0 0 20 0 1 0 382962433 167616512 39696 33554432000 4194304 6004724 140735633793408 140735633788792 5055511 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 40922 39696 156 442 0 40476 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 172836
[startup+12.7003 s]
/proc/loadavg: 2.06 2.49 2.69 3/181 528
/proc/meminfo: memFree=16411716/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=675688 CPUtime=12.68 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 35997 0 0 0 1249 19 0 0 20 0 1 0 382962433 691904512 140775 33554432000 4194304 6004724 140735633793408 140735633788008 5055529 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 168922 140775 163 442 0 168476 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 684836
[startup+25.5003 s]
/proc/loadavg: 2.05 2.48 2.68 3/181 528
/proc/meminfo: memFree=15389088/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=2248552 CPUtime=25.48 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 38269 0 0 0 2492 56 0 0 20 0 1 0 382962433 2302517248 387559 33554432000 4194304 6004724 140735633793408 140735633788360 4582448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 562138 387559 163 442 0 561692 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2257700
[startup+51.1003 s]
/proc/loadavg: 2.03 2.44 2.66 3/181 528
/proc/meminfo: memFree=13319764/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=4345704 CPUtime=51.08 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 40824 0 0 0 4990 118 0 0 20 0 1 0 382962433 4450000896 909799 33554432000 4194304 6004724 140735633793408 140735633788008 4536305 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/527/statm: 1086426 909799 163 442 0 1085980 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4354852
[startup+102.307 s]
/proc/loadavg: 2.54 2.49 2.66 2/181 528
/proc/meminfo: memFree=2466160/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=13356668 CPUtime=77.91 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) R 526 526 24789 0 -1 4202496 64711 0 0 0 6731 1060 0 0 20 0 1 0 382962433 13677228032 2452398 33554432000 4194304 6004724 140735633793408 140735633789280 5193835 0 0 4096 0 0 0 0 17 4 0 0 2437 0 0
/proc/527/statm: 3339167 2452398 165 442 0 3338721 0
Current children cumulated CPU time (s) 77.91
Current children cumulated vsize (KiB) 13365816
heavy processes:
[startup+162.3 s]
/proc/loadavg: 2.65 2.55 2.67 3/183 531
/proc/meminfo: memFree=1715552/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=8511492 CPUtime=78.41 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) S 526 526 24789 0 -1 4202496 64718 0 0 0 6731 1110 0 0 20 0 1 0 382962433 8715767808 1240916 33554432000 4194304 6004724 140735633793408 140735633787456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2536 0 0
/proc/527/statm: 2127873 1240916 171 442 0 2127427 0
[pid=529] ppid=527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/529/stat : 529 (cp2_pre.sh) S 527 526 24789 0 -1 4202496 606 0 1 0 0 0 0 0 20 0 1 0 382972812 9367552 276 33554432000 4194304 5064252 140735728172624 140735728171328 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 83 0 0
/proc/529/statm: 2287 276 234 213 0 72 0
[pid=530] ppid=529 vsize=5601004 CPUtime=52.87 cores=0,2,4,6
/proc/530/stat : 530 (coprocessor) R 529 526 24789 0 -1 4202496 47413 0 0 0 4883 404 0 0 20 0 1 0 382972896 5735428096 1383369 33554432000 4194304 6586260 140734010079200 140734010075960 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 1 0 0
/proc/530/statm: 1400251 1383369 137 584 0 1399663 0
Current children cumulated CPU time (s) 131.28
Current children cumulated vsize (KiB) 14130792
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+177.201 s]
/proc/loadavg: 2.58 2.53 2.67 3/183 531
/proc/meminfo: memFree=1400988/32873648 swapFree=7376/7376
[pid=526] ppid=524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/526/stat : 526 (npSolver-pbo.sh) S 524 526 24789 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962433 9367552 275 33554432000 4194304 5064252 140735695431712 140735695430624 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/526/statm: 2287 275 233 213 0 72 0
[pid=527] ppid=526 vsize=8511492 CPUtime=78.41 cores=0,2,4,6
/proc/527/stat : 527 (npSolver-pbo) S 526 526 24789 0 -1 4202496 64718 0 0 0 6731 1110 0 0 20 0 1 0 382962433 8715767808 1240762 33554432000 4194304 6004724 140735633793408 140735633787456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2536 0 0
/proc/527/statm: 2127873 1240762 171 442 0 2127427 0
[pid=529] ppid=527 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/529/stat : 529 (cp2_pre.sh) S 527 526 24789 0 -1 4202496 606 0 1 0 0 0 0 0 20 0 1 0 382972812 9367552 276 33554432000 4194304 5064252 140735728172624 140735728171328 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 83 0 0
/proc/529/statm: 2287 276 234 213 0 72 0
[pid=530] ppid=529 vsize=7575400 CPUtime=61.16 cores=0,2,4,6
/proc/530/stat : 530 (coprocessor) R 529 526 24789 0 -1 4202496 66528 0 0 0 5510 606 0 0 20 0 1 0 382972896 7757209600 1516186 33554432000 4194304 6586260 140734010079200 140734010075960 4246564 0 0 4096 8404994 0 0 0 17 0 0 0 196 0 0
/proc/530/statm: 1893850 1516197 141 584 0 1893262 0
Current children cumulated CPU time (s) 139.57
Current children cumulated vsize (KiB) 16105188
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 526 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 139.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 177.225
CPU time (s): 139.57
CPU user time (s): 122.41
CPU system time (s): 17.16
CPU usage (%): 78.753
Max. virtual memory (cumulated for all children) (KiB): 16105188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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 0.380942 second user time and 1.06684 second system time
The end