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-3754295-1339188855/watcher-3754295-1339188855 -o /tmp/evaluation-result-3754295-1339188855/solver-3754295-1339188855 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754295-1339188855.wbo 1730739271 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: 1.95 2.00 1.99 3/177 11395
/proc/meminfo: memFree=31283916/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[startup+0.0682409 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 11395
/proc/meminfo: memFree=31283916/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 11395
/proc/meminfo: memFree=31283916/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 11395
/proc/meminfo: memFree=31283916/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 11395
/proc/meminfo: memFree=31283916/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 11409
/proc/meminfo: memFree=31241028/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20756 CPUtime=0.24 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 4362 5958 0 0 12 3 8 1 20 0 1 0 385011402 21254144 4509 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5189 4509 179 443 0 4742 0
[pid=11408] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11408/stat : 11408 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385011428 9367552 266 33554432000 4194304 5064252 140734779583328 140734779582240 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11408/statm: 2287 266 226 213 0 72 0
[pid=11409] ppid=11408 vsize=21036 CPUtime=1.23 cores=1,3,5,7
/proc/11409/stat : 11409 (glucose) R 11408 11395 31309 0 -1 4202496 5211 0 0 0 122 1 0 0 20 0 1 0 385011428 21540864 4660 33554432000 4194304 5208918 140736035125520 140736035123368 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11409/statm: 5259 4660 103 248 0 5008 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 60088
[startup+3.10037 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 11416
/proc/meminfo: memFree=31241164/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20756 CPUtime=1.76 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 6407 14899 0 0 20 4 145 7 20 0 1 0 385011402 21254144 4510 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5189 4510 179 443 0 4742 0
[pid=11415] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11415/stat : 11415 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385011579 9367552 266 33554432000 4194304 5064252 140735267499888 140735267498800 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11415/statm: 2287 266 226 213 0 72 0
[pid=11416] ppid=11415 vsize=19272 CPUtime=1.31 cores=1,3,5,7
/proc/11416/stat : 11416 (glucose) R 11415 11395 31309 0 -1 4202496 4503 0 0 0 131 0 0 0 20 0 1 0 385011579 19734528 4134 33554432000 4194304 5208918 140736882452096 140736882449944 4229427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11416/statm: 4818 4134 104 248 0 4567 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 58324
[startup+6.30033 s]
/proc/loadavg: 1.96 2.00 1.99 3/181 11423
/proc/meminfo: memFree=31166604/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=37348 CPUtime=3.45 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 9256 23086 0 0 32 5 297 11 20 0 1 0 385011402 38244352 7355 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 9337 7355 180 443 0 8890 0
[pid=11422] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11422/stat : 11422 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385011749 9367552 266 33554432000 4194304 5064252 140735533535168 140735533534080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11422/statm: 2287 266 226 213 0 72 0
[pid=11423] ppid=11422 vsize=71120 CPUtime=2.82 cores=1,3,5,7
/proc/11423/stat : 11423 (glucose) R 11422 11395 31309 0 -1 4202496 14852 0 0 0 280 2 0 0 20 0 1 0 385011749 72826880 15933 33554432000 4194304 5208918 140733444194880 140733444193288 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11423/statm: 17780 15933 95 248 0 17529 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 126764
[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 1.99 3/180 11423
/proc/meminfo: memFree=31213032/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=37348 CPUtime=3.45 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 9256 23086 0 0 32 5 297 11 20 0 1 0 385011402 38244352 7355 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 9337 7355 180 443 0 8890 0
[pid=11422] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11422/stat : 11422 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385011749 9367552 266 33554432000 4194304 5064252 140735533535168 140735533534080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11422/statm: 2287 266 226 213 0 72 0
[pid=11423] ppid=11422 vsize=71252 CPUtime=9.22 cores=1,3,5,7
/proc/11423/stat : 11423 (glucose) R 11422 11395 31309 0 -1 4202496 14877 0 0 0 920 2 0 0 20 0 1 0 385011749 72962048 15958 33554432000 4194304 5208918 140733444194880 140733444192840 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11423/statm: 17813 15958 95 248 0 17562 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 126896
[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 1.99 3/181 11424
/proc/meminfo: memFree=31171024/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=37348 CPUtime=3.45 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 9256 23086 0 0 32 5 297 11 20 0 1 0 385011402 38244352 7355 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 9337 7355 180 443 0 8890 0
[pid=11422] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11422/stat : 11422 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385011749 9367552 266 33554432000 4194304 5064252 140735533535168 140735533534080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11422/statm: 2287 266 226 213 0 72 0
[pid=11423] ppid=11422 vsize=78704 CPUtime=22.01 cores=1,3,5,7
/proc/11423/stat : 11423 (glucose) R 11422 11395 31309 0 -1 4202496 15413 0 0 0 2199 2 0 0 20 0 1 0 385011749 80592896 16487 33554432000 4194304 5208918 140733444194880 140733444192840 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11423/statm: 19676 16487 95 248 0 19425 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 134348
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.99 3/181 11431
/proc/meminfo: memFree=31216824/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=47.9 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10788 44859 0 0 36 6 4715 33 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11430] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11430/stat : 11430 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385016193 9367552 266 33554432000 4194304 5064252 140735816108976 140735816107888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11430/statm: 2287 266 226 213 0 72 0
[pid=11431] ppid=11430 vsize=26508 CPUtime=3.17 cores=1,3,5,7
/proc/11431/stat : 11431 (glucose) R 11430 11395 31309 0 -1 4202496 5846 0 0 0 316 1 0 0 20 0 1 0 385016194 27144192 6120 33554432000 4194304 5208918 140733425122688 140733425120536 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 6627 6120 95 248 0 6376 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65768
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 11431
/proc/meminfo: memFree=31187480/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=47.9 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10788 44859 0 0 36 6 4715 33 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11430] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11430/stat : 11430 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385016193 9367552 266 33554432000 4194304 5064252 140735816108976 140735816107888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11430/statm: 2287 266 226 213 0 72 0
[pid=11431] ppid=11430 vsize=48500 CPUtime=54.37 cores=1,3,5,7
/proc/11431/stat : 11431 (glucose) R 11430 11395 31309 0 -1 4202496 8455 0 0 0 5435 2 0 0 20 0 1 0 385016194 49664000 11637 33554432000 4194304 5208918 140733425122688 140733425120632 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11431/statm: 12125 11637 96 248 0 11874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87760
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31263896/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=19.28 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 3646 0 0 0 1928 0 0 0 20 0 1 0 385025702 22695936 4779 33554432000 4194304 5208918 140736423594080 140736423592024 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 4779 102 248 0 5290 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61424
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31251236/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=23.28 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 3818 0 0 0 2328 0 0 0 20 0 1 0 385025702 22695936 4947 33554432000 4194304 5208918 140736423594080 140736423592024 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 4947 102 248 0 5290 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 61424
[startup+169.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31242300/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=26.48 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 3914 0 0 0 2648 0 0 0 20 0 1 0 385025702 22695936 5039 33554432000 4194304 5208918 140736423594080 140736423592024 4229992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 5039 103 248 0 5290 0
Current children cumulated CPU time (s) 169.44
Current children cumulated vsize (KiB) 61424
[startup+172.707 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31234048/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=29.69 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 4194 0 0 0 2968 1 0 0 20 0 1 0 385025702 22695936 5086 33554432000 4194304 5208918 140736423594080 140736423592168 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 5086 103 248 0 5290 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 61424
[startup+174.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31232000/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=31.29 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 4194 0 0 0 3128 1 0 0 20 0 1 0 385025702 22695936 5086 33554432000 4194304 5208918 140736423594080 140736423592168 4229403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 5086 103 248 0 5290 0
Current children cumulated CPU time (s) 174.25
Current children cumulated vsize (KiB) 61424
[startup+175.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31229952/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=32.09 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 4194 0 0 0 3208 1 0 0 20 0 1 0 385025702 22695936 5086 33554432000 4194304 5208918 140736423594080 140736423592168 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 5086 103 248 0 5290 0
Current children cumulated CPU time (s) 175.05
Current children cumulated vsize (KiB) 61424
[startup+175.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11438
/proc/meminfo: memFree=31229952/32873852 swapFree=6860/6860
[pid=11395] ppid=11393 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11395/stat : 11395 (npSolver-wbo-I.) S 11393 11395 31309 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385011402 9367552 275 33554432000 4194304 5064252 140736689076480 140736689075392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11395/statm: 2287 275 233 213 0 72 0
[pid=11396] ppid=11395 vsize=20964 CPUtime=142.96 cores=1,3,5,7
/proc/11396/stat : 11396 (npSolver-wbo) S 11395 11395 31309 0 -1 4202496 10892 58298 0 0 36 6 14211 43 20 0 1 0 385011402 21467136 4868 33554432000 4194304 6006132 140735500066496 140735500057904 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11396/statm: 5241 4868 180 443 0 4794 0
[pid=11437] ppid=11396 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11437/stat : 11437 (satsolver.sh) S 11396 11395 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385025702 9367552 266 33554432000 4194304 5064252 140733678689152 140733678688064 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11437/statm: 2287 266 226 213 0 72 0
[pid=11438] ppid=11437 vsize=22164 CPUtime=32.49 cores=1,3,5,7
/proc/11438/stat : 11438 (glucose) R 11437 11395 31309 0 -1 4202496 4194 0 0 0 3248 1 0 0 20 0 1 0 385025702 22695936 5086 33554432000 4194304 5208918 140736423594080 140736423592168 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11438/statm: 5541 5086 103 248 0 5290 0
Current children cumulated CPU time (s) 175.45
Current children cumulated vsize (KiB) 61424
Child status: 0
Real time (s): 175.572
CPU time (s): 175.546
CPU user time (s): 175.019
CPU system time (s): 0.526919
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 134504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.019
system time used= 0.526919
maximum resident set size= 79736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 51560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 753
involuntary context switches= 256
runsolver used 0.301954 second user time and 0.878866 second system time
The end