0.00/0.94 c old isEQ: 0, new EQ is 1
0.00/0.95 c old isEQ: 152, new EQ is 0
0.00/0.97 c old isEQ: 0, new EQ is 0
0.00/0.98 c old isEQ: 0, new EQ is 0
0.00/1.00 c old isEQ: 0, new EQ is 0
0.99/1.01 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.06 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.11 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.09/1.19 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.29/1.30 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.38 c old isEQ: 0, new EQ is 0
1.29/1.39 c old isEQ: 0, new EQ is 0
1.39/1.41 c old isEQ: 0, new EQ is 0
1.39/1.43 c old isEQ: 0, new EQ is 0
1.39/1.44 c old isEQ: 0, new EQ is 0
1.39/1.46 c old isEQ: 0, new EQ is 0
1.39/1.47 c old isEQ: 0, new EQ is 0
13.78/14.59 c run usual solver
1800.00/1801.01 c error: unexpected solver exit code
1800.00/1801.01 s UNKNOWN
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-3750169-1339178627/watcher-3750169-1339178627 -o /tmp/evaluation-result-3750169-1339178627/solver-3750169-1339178627 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750169-1339178627.opb 265216438 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.03 2.00 3/177 3022
/proc/meminfo: memFree=26248404/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[startup+0.03205 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3022
/proc/meminfo: memFree=26248404/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10034 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3022
/proc/meminfo: memFree=26248404/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300351 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3022
/proc/meminfo: memFree=26248404/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70035 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 3022
/proc/meminfo: memFree=26248404/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/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.03 2.00 3/179 3024
/proc/meminfo: memFree=26114812/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=180620 CPUtime=1.49 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) R 3022 3022 2358 0 -1 4202496 27223 0 0 0 142 7 0 0 20 0 1 0 383987660 184954880 41110 33554432000 4194304 6004724 140734516853296 140734516848680 4223907 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3023/statm: 45155 41110 156 442 0 44709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189768
[startup+3.10035 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 3024
/proc/meminfo: memFree=25938008/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=541156 CPUtime=3.09 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) R 3022 3022 2358 0 -1 4202496 28903 0 0 0 297 12 0 0 20 0 1 0 383987660 554143744 76979 33554432000 4194304 6004724 140734516853296 140734516847576 5056502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3023/statm: 135289 76979 163 442 0 134843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 550304
[startup+6.30036 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 3024
/proc/meminfo: memFree=25422100/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=672228 CPUtime=6.29 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) R 3022 3022 2358 0 -1 4202496 29701 0 0 0 607 22 0 0 20 0 1 0 383987660 688361472 125619 33554432000 4194304 6004724 140734516853296 140734516848104 4536305 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3023/statm: 168057 125619 163 442 0 167611 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 681376
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 2.00 2/179 3024
/proc/meminfo: memFree=19662276/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=2001344 CPUtime=12.69 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) R 3022 3022 2358 0 -1 4202496 31475 0 0 0 1221 48 0 0 20 0 1 0 383987660 2049376256 419429 33554432000 4194304 6004724 140734516853296 140734516848248 5056375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3023/statm: 500336 419429 165 442 0 499890 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2010492
[startup+25.5004 s]
/proc/loadavg: 2.35 2.09 2.02 3/183 3028
/proc/meminfo: memFree=18591668/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=13.96 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31592 0 0 0 1224 172 0 0 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516847344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3027] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3027/stat : 3027 (cp2_pre.sh) S 3023 3022 2358 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383989127 9367552 277 33554432000 4194304 5064252 140736016432528 140736016431232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3027/statm: 2287 277 234 213 0 72 0
[pid=3028] ppid=3027 vsize=1631812 CPUtime=10.81 cores=1,3,5,7
/proc/3028/stat : 3028 (coprocessor) R 3027 3022 2358 0 -1 4202496 22945 0 0 0 1028 53 0 0 20 0 1 0 383989128 1670975488 334003 33554432000 4194304 6586260 140735541045696 140735541041448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3028/statm: 407953 334003 158 584 0 407365 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 2846624
[startup+51.1004 s]
/proc/loadavg: 3.07 2.28 2.08 3/183 3028
/proc/meminfo: memFree=14901480/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=13.96 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31592 0 0 0 1224 172 0 0 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516847344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3027] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3027/stat : 3027 (cp2_pre.sh) S 3023 3022 2358 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383989127 9367552 277 33554432000 4194304 5064252 140736016432528 140736016431232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3027/statm: 2287 277 234 213 0 72 0
[pid=3028] ppid=3027 vsize=1631812 CPUtime=36.41 cores=1,3,5,7
/proc/3028/stat : 3028 (coprocessor) R 3027 3022 2358 0 -1 4202496 22945 0 0 0 3441 200 0 0 20 0 1 0 383989128 1670975488 334003 33554432000 4194304 6586260 140735541045696 140735541041448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3028/statm: 407953 334003 158 584 0 407365 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 2846624
[startup+102.3 s]
/proc/loadavg: 3.62 2.56 2.19 3/183 3031
/proc/meminfo: memFree=13932308/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2284080 CPUtime=49.2 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 237716 0 0 0 4840 80 0 0 20 0 1 0 383992968 2338897920 483532 33554432000 4194304 5208918 140734287656768 140734287654600 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 571020 483532 94 248 0 570769 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 3498892
[startup+162.3 s]
/proc/loadavg: 2.81 2.53 2.20 3/183 3034
/proc/meminfo: memFree=14876176/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2284080 CPUtime=109.19 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 237806 0 0 0 10839 80 0 0 20 0 1 0 383992968 2338897920 486177 33554432000 4194304 5208918 140734287656768 140734287654600 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 571020 486177 94 248 0 570769 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 3498892
[startup+222.3 s]
/proc/loadavg: 2.35 2.45 2.19 3/183 3035
/proc/meminfo: memFree=13948172/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2284080 CPUtime=169.18 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 238394 0 0 0 16838 80 0 0 20 0 1 0 383992968 2338897920 487276 33554432000 4194304 5208918 140734287656768 140734287654600 4229169 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 571020 487276 101 248 0 570769 0
Current children cumulated CPU time (s) 221.53
################
# More data... #
################
/proc/3031/statm: 575731 494257 104 248 0 575480 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 3517736
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 3045
/proc/meminfo: memFree=13820492/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2302924 CPUtime=1369 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239243 0 0 0 136819 81 0 0 20 0 1 0 383992968 2358194176 494257 33554432000 4194304 5208918 140734287656768 140734287654600 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 575731 494257 104 248 0 575480 0
Current children cumulated CPU time (s) 1421.35
Current children cumulated vsize (KiB) 3517736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 3045
/proc/meminfo: memFree=13817896/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2302924 CPUtime=1428.99 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239243 0 0 0 142818 81 0 0 20 0 1 0 383992968 2358194176 494257 33554432000 4194304 5208918 140734287656768 140734287654600 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 575731 494257 104 248 0 575480 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 3517736
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 3046
/proc/meminfo: memFree=13814540/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2302924 CPUtime=1488.98 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239246 0 0 0 148817 81 0 0 20 0 1 0 383992968 2358194176 494260 33554432000 4194304 5208918 140734287656768 140734287654600 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 575731 494260 104 248 0 575480 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 3517736
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 3049
/proc/meminfo: memFree=13812796/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2321508 CPUtime=1548.97 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239250 0 0 0 154816 81 0 0 20 0 1 0 383992968 2377224192 494264 33554432000 4194304 5208918 140734287656768 140734287654600 4229176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 580377 494264 104 248 0 580126 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 3536320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3049
/proc/meminfo: memFree=13809704/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2321508 CPUtime=1608.96 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239255 0 0 0 160815 81 0 0 20 0 1 0 383992968 2377224192 494269 33554432000 4194304 5208918 140734287656768 140734287654600 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 580377 494269 104 248 0 580126 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 3536320
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 3051
/proc/meminfo: memFree=13804796/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2321508 CPUtime=1668.95 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239262 0 0 0 166814 81 0 0 20 0 1 0 383992968 2377224192 494787 33554432000 4194304 5208918 140734287656768 140734287654600 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 580377 494787 104 248 0 580126 0
Current children cumulated CPU time (s) 1721.3
Current children cumulated vsize (KiB) 3536320
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 3103
/proc/meminfo: memFree=24836108/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2321508 CPUtime=1728.95 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239275 0 0 0 172814 81 0 0 20 0 1 0 383992968 2377224192 495311 33554432000 4194304 5208918 140734287656768 140734287654600 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 580377 495311 104 248 0 580126 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 3536320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 3103
/proc/meminfo: memFree=24830424/32873844 swapFree=7120/7120
[pid=3022] ppid=3020 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (npSolver-pbo.sh) S 3020 3022 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383987660 9367552 275 33554432000 4194304 5064252 140734726389824 140734726388736 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 2287 275 233 213 0 72 0
[pid=3023] ppid=3022 vsize=1196516 CPUtime=52.35 cores=1,3,5,7
/proc/3023/stat : 3023 (npSolver-pbo) S 3022 3022 2358 0 -1 4202496 31598 23847 0 0 1224 172 3626 213 20 0 1 0 383987660 1225232384 238267 33554432000 4194304 6004724 140734516853296 140734516848432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 70 0 0
/proc/3023/statm: 299129 238267 171 442 0 298683 0
[pid=3030] ppid=3023 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (satsolver.sh) S 3023 3022 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383992968 9367552 266 33554432000 4194304 5064252 140734565008128 140734565007040 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3030/statm: 2287 266 226 213 0 72 0
[pid=3031] ppid=3030 vsize=2321508 CPUtime=1747.65 cores=1,3,5,7
/proc/3031/stat : 3031 (glucose) R 3030 3022 2358 0 -1 4202496 239275 0 0 0 174684 81 0 0 20 0 1 0 383992968 2377224192 495311 33554432000 4194304 5208918 140734287656768 140734287654600 4211197 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3031/statm: 580377 495311 104 248 0 580126 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3536320
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 3022 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=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.03
CPU time (s): 1800
CPU user time (s): 1795.34
CPU system time (s): 4.66
CPU usage (%): 99.9429
Max. virtual memory (cumulated for all children) (KiB): 3536320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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 7.41187 second user time and 8.96164 second system time
The end