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-3755323-1339193691/watcher-3755323-1339193691 -o /tmp/evaluation-result-3755323-1339193691/solver-3755323-1339193691 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755323-1339193691.wbo 750302929 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.92 1.98 1.99 3/177 26786
/proc/meminfo: memFree=31252124/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[startup+0.0421909 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26786
/proc/meminfo: memFree=31252124/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100318 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26786
/proc/meminfo: memFree=31252124/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26786
/proc/meminfo: memFree=31252124/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26786
/proc/meminfo: memFree=31252124/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 26793
/proc/meminfo: memFree=31247256/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=3088 CPUtime=0.15 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 1441 2162 0 0 2 0 13 0 20 0 1 0 385494599 3162112 373 33554432000 4194304 6006132 140736176250128 140736176244320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26787/statm: 772 373 158 443 0 325 0
[pid=26792] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26792/stat : 26792 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385494617 9367552 267 33554432000 4194304 5064252 140736488281424 140736488280336 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26792/statm: 2287 267 226 213 0 72 0
[pid=26793] ppid=26792 vsize=12764 CPUtime=1.31 cores=1,3,5,7
/proc/26793/stat : 26793 (glucose) R 26792 26786 22577 0 -1 4202496 2695 0 0 0 131 0 0 0 20 0 1 0 385494617 13070336 2205 33554432000 4194304 5208918 140734972046960 140734972045112 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26793/statm: 3191 2205 96 248 0 2940 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34148
[startup+3.10039 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 26793
/proc/meminfo: memFree=31240504/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=3088 CPUtime=0.15 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 1441 2162 0 0 2 0 13 0 20 0 1 0 385494599 3162112 373 33554432000 4194304 6006132 140736176250128 140736176244320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26787/statm: 772 373 158 443 0 325 0
[pid=26792] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26792/stat : 26792 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385494617 9367552 267 33554432000 4194304 5064252 140736488281424 140736488280336 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26792/statm: 2287 267 226 213 0 72 0
[pid=26793] ppid=26792 vsize=12764 CPUtime=2.91 cores=1,3,5,7
/proc/26793/stat : 26793 (glucose) R 26792 26786 22577 0 -1 4202496 3267 0 0 0 290 1 0 0 20 0 1 0 385494617 13070336 2770 33554432000 4194304 5208918 140734972046960 140734972044904 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26793/statm: 3191 2770 96 248 0 2940 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34148
[startup+6.3004 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 26793
/proc/meminfo: memFree=31202900/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=3088 CPUtime=0.15 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 1441 2162 0 0 2 0 13 0 20 0 1 0 385494599 3162112 373 33554432000 4194304 6006132 140736176250128 140736176244320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26787/statm: 772 373 158 443 0 325 0
[pid=26792] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26792/stat : 26792 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385494617 9367552 267 33554432000 4194304 5064252 140736488281424 140736488280336 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26792/statm: 2287 267 226 213 0 72 0
[pid=26793] ppid=26792 vsize=22560 CPUtime=6.11 cores=1,3,5,7
/proc/26793/stat : 26793 (glucose) R 26792 26786 22577 0 -1 4202496 4451 0 0 0 610 1 0 0 20 0 1 0 385494617 23101440 4953 33554432000 4194304 5208918 140734972046960 140734972044824 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26793/statm: 5640 4953 96 248 0 5389 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43944
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 26800
/proc/meminfo: memFree=31180888/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=7.87 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 2456 9826 0 0 4 2 778 3 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26799] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26799/stat : 26799 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495389 9367552 267 33554432000 4194304 5064252 140737439896608 140737439895520 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26799/statm: 2287 267 226 213 0 72 0
[pid=26800] ppid=26799 vsize=23468 CPUtime=4.79 cores=1,3,5,7
/proc/26800/stat : 26800 (glucose) R 26799 26786 22577 0 -1 4202496 5988 0 0 0 478 1 0 0 20 0 1 0 385495389 24031232 5180 33554432000 4194304 5208918 140733314347648 140733314345736 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26800/statm: 5867 5180 96 248 0 5616 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 48824
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 26807
/proc/meminfo: memFree=31284380/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=7.87 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 2456 9826 0 0 4 2 778 3 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26799] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26799/stat : 26799 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385495389 9367552 267 33554432000 4194304 5064252 140737439896608 140737439895520 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26799/statm: 2287 267 226 213 0 72 0
[pid=26800] ppid=26799 vsize=34960 CPUtime=17.59 cores=1,3,5,7
/proc/26800/stat : 26800 (glucose) R 26799 26786 22577 0 -1 4202496 7032 0 0 0 1758 1 0 0 20 0 1 0 385495389 35799040 8252 33554432000 4194304 5208918 140733314347648 140733314345512 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26800/statm: 8740 8252 96 248 0 8489 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 60316
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 26814
/proc/meminfo: memFree=31277204/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=40.28 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 2989 20839 0 0 5 2 4012 9 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26813] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26813/stat : 26813 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385498631 9367552 267 33554432000 4194304 5064252 140737037195024 140737037193936 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26813/statm: 2287 267 226 213 0 72 0
[pid=26814] ppid=26813 vsize=27560 CPUtime=10.77 cores=1,3,5,7
/proc/26814/stat : 26814 (glucose) R 26813 26786 22577 0 -1 4202496 5940 0 0 0 1076 1 0 0 20 0 1 0 385498631 28221440 6547 33554432000 4194304 5208918 140733261483408 140733261481272 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26814/statm: 6890 6547 96 248 0 6639 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 52916
[startup+102.307 s]
/proc/loadavg: 2.10 2.02 2.00 3/181 26836
/proc/meminfo: memFree=31282224/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=93.77 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3391 45656 0 0 5 2 9352 18 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26835] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26835/stat : 26835 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385503982 9367552 267 33554432000 4194304 5064252 140736405644384 140736405643296 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26835/statm: 2287 267 226 213 0 72 0
[pid=26836] ppid=26835 vsize=17700 CPUtime=8.46 cores=1,3,5,7
/proc/26836/stat : 26836 (glucose) R 26835 26786 22577 0 -1 4202496 3840 0 0 0 846 0 0 0 20 0 1 0 385503982 18124800 3998 33554432000 4194304 5208918 140734789169680 140734789167544 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26836/statm: 4425 3998 96 248 0 4174 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 43056
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26857
/proc/meminfo: memFree=31260620/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=150.5 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3653 68537 0 0 5 3 15018 24 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26856] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26856/stat : 26856 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385509656 9367552 266 33554432000 4194304 5064252 140733197258048 140733197256960 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26856/statm: 2287 266 226 213 0 72 0
[pid=26857] ppid=26856 vsize=17796 CPUtime=11.71 cores=1,3,5,7
/proc/26857/stat : 26857 (glucose) R 26856 26786 22577 0 -1 4202496 4401 0 0 0 1170 1 0 0 20 0 1 0 385509656 18223104 4033 33554432000 4194304 5208918 140733813567136 140733813565000 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26857/statm: 4449 4033 96 248 0 4198 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 43152
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26857
/proc/meminfo: memFree=31229156/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=150.5 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3653 68537 0 0 5 3 15018 24 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26856] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26856/stat : 26856 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385509656 9367552 266 33554432000 4194304 5064252 140733197258048 140733197256960 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26856/statm: 2287 266 226 213 0 72 0
[pid=26857] ppid=26856 vsize=19472 CPUtime=15.71 cores=1,3,5,7
/proc/26857/stat : 26857 (glucose) R 26856 26786 22577 0 -1 4202496 4752 0 0 0 1570 1 0 0 20 0 1 0 385509656 19939328 4371 33554432000 4194304 5208918 140733813567136 140733813564984 4211620 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26857/statm: 4868 4371 102 248 0 4617 0
Current children cumulated CPU time (s) 166.21
Current children cumulated vsize (KiB) 44828
[startup+172.707 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26857
/proc/meminfo: memFree=31219724/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=150.5 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3653 68537 0 0 5 3 15018 24 20 0 1 0 385494599 7229440 1237 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1237 167 443 0 1318 0
[pid=26856] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26856/stat : 26856 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385509656 9367552 266 33554432000 4194304 5064252 140733197258048 140733197256960 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26856/statm: 2287 266 226 213 0 72 0
[pid=26857] ppid=26856 vsize=19912 CPUtime=22.12 cores=1,3,5,7
/proc/26857/stat : 26857 (glucose) R 26856 26786 22577 0 -1 4202496 6756 0 0 0 2210 2 0 0 20 0 1 0 385509656 20389888 4545 33554432000 4194304 5208918 140733813567136 140733813565080 4213121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26857/statm: 4978 4545 102 248 0 4727 0
Current children cumulated CPU time (s) 172.62
Current children cumulated vsize (KiB) 45268
[startup+175.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26864
/proc/meminfo: memFree=31224812/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=172.81 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3713 78642 0 0 5 3 17245 28 20 0 1 0 385494599 7229440 1238 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1238 168 443 0 1318 0
[pid=26863] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511888 9367552 266 33554432000 4194304 5064252 140736360055408 140736360054320 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2287 266 226 213 0 72 0
[pid=26864] ppid=26863 vsize=11232 CPUtime=3 cores=1,3,5,7
/proc/26864/stat : 26864 (glucose) R 26863 26786 22577 0 -1 4202496 2715 0 0 0 300 0 0 0 20 0 1 0 385511888 11501568 2374 33554432000 4194304 5208918 140735251834096 140735251832040 4229273 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26864/statm: 2808 2374 96 248 0 2557 0
Current children cumulated CPU time (s) 175.81
Current children cumulated vsize (KiB) 36588
[startup+179.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26864
/proc/meminfo: memFree=31216808/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=172.81 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3713 78642 0 0 5 3 17245 28 20 0 1 0 385494599 7229440 1238 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1238 168 443 0 1318 0
[pid=26863] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511888 9367552 266 33554432000 4194304 5064252 140736360055408 140736360054320 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2287 266 226 213 0 72 0
[pid=26864] ppid=26863 vsize=15156 CPUtime=6.2 cores=1,3,5,7
/proc/26864/stat : 26864 (glucose) R 26863 26786 22577 0 -1 4202496 3176 0 0 0 620 0 0 0 20 0 1 0 385511888 15519744 3330 33554432000 4194304 5208918 140735251834096 140735251831960 4212457 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26864/statm: 3789 3330 96 248 0 3538 0
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (KiB) 40512
[startup+179.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26864
/proc/meminfo: memFree=31216684/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=172.81 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3713 78642 0 0 5 3 17245 28 20 0 1 0 385494599 7229440 1238 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1238 168 443 0 1318 0
[pid=26863] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511888 9367552 266 33554432000 4194304 5064252 140736360055408 140736360054320 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2287 266 226 213 0 72 0
[pid=26864] ppid=26863 vsize=17876 CPUtime=7 cores=1,3,5,7
/proc/26864/stat : 26864 (glucose) R 26863 26786 22577 0 -1 4202496 3713 0 0 0 700 0 0 0 20 0 1 0 385511888 18305024 3840 33554432000 4194304 5208918 140735251834096 140735251831960 4229347 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26864/statm: 4469 3840 102 248 0 4218 0
Current children cumulated CPU time (s) 179.81
Current children cumulated vsize (KiB) 43232
[startup+180.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26864
/proc/meminfo: memFree=31261680/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=172.81 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3713 78642 0 0 5 3 17245 28 20 0 1 0 385494599 7229440 1238 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1238 168 443 0 1318 0
[pid=26863] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511888 9367552 266 33554432000 4194304 5064252 140736360055408 140736360054320 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2287 266 226 213 0 72 0
[pid=26864] ppid=26863 vsize=17876 CPUtime=7.4 cores=1,3,5,7
/proc/26864/stat : 26864 (glucose) R 26863 26786 22577 0 -1 4202496 3812 0 0 0 740 0 0 0 20 0 1 0 385511888 18305024 3937 33554432000 4194304 5208918 140735251834096 140735251831960 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26864/statm: 4469 3937 102 248 0 4218 0
Current children cumulated CPU time (s) 180.21
Current children cumulated vsize (KiB) 43232
[startup+180.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26864
/proc/meminfo: memFree=31261680/32873852 swapFree=6864/6864
[pid=26786] ppid=26784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26786/stat : 26786 (npSolver-wbo.sh) S 26784 26786 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385494599 9367552 275 33554432000 4194304 5064252 140736620449040 140736620447952 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26786/statm: 2287 275 233 213 0 72 0
[pid=26787] ppid=26786 vsize=7060 CPUtime=172.81 cores=1,3,5,7
/proc/26787/stat : 26787 (npSolver-wbo) S 26786 26786 22577 0 -1 4202496 3713 78642 0 0 5 3 17245 28 20 0 1 0 385494599 7229440 1238 33554432000 4194304 6006132 140736176250128 140736176241536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26787/statm: 1765 1238 168 443 0 1318 0
[pid=26863] ppid=26787 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (satsolver.sh) S 26787 26786 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511888 9367552 266 33554432000 4194304 5064252 140736360055408 140736360054320 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2287 266 226 213 0 72 0
[pid=26864] ppid=26863 vsize=17876 CPUtime=7.79 cores=1,3,5,7
/proc/26864/stat : 26864 (glucose) R 26863 26786 22577 0 -1 4202496 3917 0 0 0 779 0 0 0 20 0 1 0 385511888 18305024 4037 33554432000 4194304 5208918 140735251834096 140735251831960 4229344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26864/statm: 4469 4037 102 248 0 4218 0
Current children cumulated CPU time (s) 180.6
Current children cumulated vsize (KiB) 43232
Child status: 0
Real time (s): 180.726
CPU time (s): 180.666
CPU user time (s): 180.332
CPU system time (s): 0.333949
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 64684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.332
system time used= 0.333949
maximum resident set size= 45228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282
involuntary context switches= 406
runsolver used 0.349946 second user time and 1.11683 second system time
The end