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-3752799-1339212361/watcher-3752799-1339212361 -o /tmp/evaluation-result-3752799-1339212361/solver-3752799-1339212361 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752799-1339212361.wbo 732614687 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.80 1.73 1.34 3/179 7273
/proc/meminfo: memFree=26797640/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[startup+0.0882299 s]
/proc/loadavg: 2.80 1.73 1.34 3/179 7273
/proc/meminfo: memFree=26797640/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 2.80 1.73 1.34 3/179 7273
/proc/meminfo: memFree=26797640/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 2.80 1.73 1.34 3/179 7273
/proc/meminfo: memFree=26797640/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 2.80 1.73 1.34 3/179 7273
/proc/meminfo: memFree=26797640/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.80 1.73 1.34 3/183 7277
/proc/meminfo: memFree=26721412/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=31952 CPUtime=0.54 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 7611 0 0 0 40 14 0 0 20 0 1 0 387360482 32718848 6689 33554432000 4194304 6006132 140736397220384 140736397213488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7274/statm: 7988 6689 156 443 0 7541 0
[pid=7276] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7276/stat : 7276 (cp2_pre.sh) S 7274 7273 11179 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 387360537 9367552 276 33554432000 4194304 5064252 140736566402160 140736566400864 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7276/statm: 2287 276 234 213 0 72 0
[pid=7277] ppid=7276 vsize=52416 CPUtime=0.93 cores=0,2,4,6
/proc/7277/stat : 7277 (coprocessor) R 7276 7273 11179 0 -1 4202496 9525 0 0 0 92 1 0 0 20 0 1 0 387360538 53673984 12504 33554432000 4194304 6586260 140734290263072 140734290258440 5599209 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/7277/statm: 13104 12504 189 584 0 12516 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 102664
[startup+3.10033 s]
/proc/loadavg: 2.80 1.73 1.34 3/183 7277
/proc/meminfo: memFree=26720544/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=56256 CPUtime=2.79 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 12672 19593 0 0 50 23 202 4 20 0 1 0 387360482 57606144 11986 33554432000 4194304 6006132 140736397220384 140736397211744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7274/statm: 14064 11986 176 443 0 13617 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 65404
[startup+6.30032 s]
/proc/loadavg: 2.73 1.73 1.34 3/181 7292
/proc/meminfo: memFree=26672448/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=247424 CPUtime=6.28 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) R 7273 7273 11179 0 -1 4202496 32069 33358 0 0 165 29 426 8 20 0 1 0 387360482 253362176 46583 33554432000 4194304 6006132 140736397220384 140736397212728 4582376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7274/statm: 61856 46583 192 443 0 61409 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 256572
[startup+12.7003 s]
/proc/loadavg: 2.67 1.74 1.35 3/181 7292
/proc/meminfo: memFree=26179888/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1164928 CPUtime=12.68 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) R 7273 7273 11179 0 -1 4202496 34280 33358 0 0 785 49 426 8 20 0 1 0 387360482 1192886272 164343 33554432000 4194304 6006132 140736397220384 140736397212728 4537230 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7274/statm: 291232 164343 192 443 0 290785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1174076
[startup+25.5005 s]
/proc/loadavg: 2.68 1.78 1.37 3/183 7294
/proc/meminfo: memFree=24057076/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1567320 CPUtime=10.28 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 187481 0 0 0 963 65 0 0 20 0 1 0 387362002 1604935680 344901 33554432000 4194304 5208918 140734010629088 140734010627048 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 391830 344901 95 248 0 391579 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2670244
[startup+51.1005 s]
/proc/loadavg: 2.52 1.81 1.39 3/183 7294
/proc/meminfo: memFree=24064876/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1580992 CPUtime=35.88 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 187849 0 0 0 3522 66 0 0 20 0 1 0 387362002 1618935808 348335 33554432000 4194304 5208918 140734010629088 140734010626920 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 395248 348335 103 248 0 394997 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 2683916
[startup+102.307 s]
/proc/loadavg: 2.22 1.84 1.42 3/183 7294
/proc/meminfo: memFree=24065496/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1580992 CPUtime=87.08 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 187849 0 0 0 8642 66 0 0 20 0 1 0 387362002 1618935808 348335 33554432000 4194304 5208918 140734010629088 140734010626920 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 395248 348335 103 248 0 394997 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 2683916
[startup+162.3 s]
/proc/loadavg: 2.08 1.87 1.45 3/183 7294
/proc/meminfo: memFree=24065620/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1580992 CPUtime=147.06 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 187849 0 0 0 14640 66 0 0 20 0 1 0 387362002 1618935808 348335 33554432000 4194304 5208918 140734010629088 140734010626920 4211182 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 395248 348335 103 248 0 394997 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 2683916
[startup+222.3 s]
/proc/loadavg: 2.03 1.89 1.48 3/183 7294
/proc/meminfo: memFree=24065620/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188394 0 0 0 134621 67 0 0 20 0 1 0 387362002 1839017984 365743 33554432000 4194304 5208918 140734010629088 140734010627240 4211628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 365743 103 248 0 448728 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2898840
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.83 3/183 7304
/proc/meminfo: memFree=23992828/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1406.88 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188395 0 0 0 140621 67 0 0 20 0 1 0 387362002 1839017984 366255 33554432000 4194304 5208918 140734010629088 140734010627240 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 366255 103 248 0 448728 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2898840
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.84 3/184 7307
/proc/meminfo: memFree=23988792/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1466.86 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188397 0 0 0 146619 67 0 0 20 0 1 0 387362002 1839017984 367279 33554432000 4194304 5208918 140734010629088 140734010627240 4211674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 367279 103 248 0 448728 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2898840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/183 7308
/proc/meminfo: memFree=23984744/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1526.85 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188399 0 0 0 152618 67 0 0 20 0 1 0 387362002 1839017984 368303 33554432000 4194304 5208918 140734010629088 140734010627240 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 368303 103 248 0 448728 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2898840
[startup+1602.3 s]
/proc/loadavg: 1.59 1.90 1.82 2/174 7333
/proc/meminfo: memFree=27430456/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1586.84 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188400 0 0 0 158617 67 0 0 20 0 1 0 387362002 1839017984 368815 33554432000 4194304 5208918 140734010629088 140734010627240 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 368815 103 248 0 448728 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2898840
[startup+1662.3 s]
/proc/loadavg: 1.22 1.73 1.77 2/174 7333
/proc/meminfo: memFree=27426360/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1646.83 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188402 0 0 0 164616 67 0 0 20 0 1 0 387362002 1839017984 369839 33554432000 4194304 5208918 140734010629088 140734010627240 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 369839 103 248 0 448728 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2898840
[startup+1722.3 s]
/proc/loadavg: 1.08 1.60 1.71 2/174 7333
/proc/meminfo: memFree=27424188/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1706.82 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188404 0 0 0 170615 67 0 0 20 0 1 0 387362002 1839017984 370863 33554432000 4194304 5208918 140734010629088 140734010627240 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 370863 103 248 0 448728 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2898840
[startup+1782.3 s]
/proc/loadavg: 1.07 1.50 1.67 2/174 7333
/proc/meminfo: memFree=27419844/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1766.81 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188405 0 0 0 176614 67 0 0 20 0 1 0 387362002 1839017984 371375 33554432000 4194304 5208918 140734010629088 140734010627240 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 371375 103 248 0 448728 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2898840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.05 1.47 1.66 2/174 7333
/proc/meminfo: memFree=27419968/32873844 swapFree=7644/7644
[pid=7273] ppid=7271 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (npSolver-wbo-It) S 7271 7273 11179 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387360481 9367552 275 33554432000 4194304 5064252 140736202796768 140736202795680 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7273/statm: 2287 275 233 213 0 72 0
[pid=7274] ppid=7273 vsize=1084628 CPUtime=15.15 cores=0,2,4,6
/proc/7274/stat : 7274 (npSolver-wbo) S 7273 7273 11179 0 -1 4202496 34959 33358 0 0 934 147 426 8 20 0 1 0 387360482 1110659072 170924 33554432000 4194304 6006132 140736397220384 140736397211776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/7274/statm: 271157 170924 192 443 0 270710 0
[pid=7293] ppid=7274 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7293/stat : 7293 (satsolver.sh) S 7274 7273 11179 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387362002 9367552 267 33554432000 4194304 5064252 140734104537312 140734104536224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7293/statm: 2287 267 226 213 0 72 0
[pid=7294] ppid=7293 vsize=1795916 CPUtime=1784.91 cores=0,2,4,6
/proc/7294/stat : 7294 (glucose) R 7293 7273 11179 0 -1 4202496 188405 0 0 0 178424 67 0 0 20 0 1 0 387362002 1839017984 371375 33554432000 4194304 5208918 140734010629088 140734010627240 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7294/statm: 448979 371375 103 248 0 448728 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2898840
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 7273 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=606931
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=566761
# CPU time returned by wait4() is 15.1737
# 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): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1797.84
CPU system time (s): 2.22
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 3200684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6069
system time used= 1.56676
maximum resident set size= 1336188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69295
page faults= 0
swaps= 0
block input operations= 24
block output operations= 1327760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 45
runsolver used 6.26805 second user time and 16.0666 second system time
The end