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-3755157-1339204199/watcher-3755157-1339204199 -o /tmp/evaluation-result-3755157-1339204199/solver-3755157-1339204199 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755157-1339204199.wbo 1695274367 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: 4.58 3.76 2.93 1/175 6085
/proc/meminfo: memFree=31812028/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[startup+0.0191541 s]
/proc/loadavg: 4.58 3.76 2.93 1/175 6085
/proc/meminfo: memFree=31812028/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+81.0365 s]
/proc/loadavg: 4.58 3.76 2.93 1/175 6085
/proc/meminfo: memFree=31812028/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
[startup+140.038 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=57236 CPUtime=139.96 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 6840 0 0 0 13995 1 0 0 20 0 1 0 386545637 58609664 13622 33554432000 4194304 5208918 140737438184832 140737438182696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 14309 13622 103 248 0 14058 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (KiB) 78972
[startup+170.011 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=169.92 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 16991 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4229987 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (KiB) 90360
[startup+199.27 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=199.18 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 19917 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 199.23
Current children cumulated vsize (KiB) 90360
[startup+210.436 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=210.34 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 21033 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 210.39
Current children cumulated vsize (KiB) 90360
[startup+210.501 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=210.41 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 21040 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4211558 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 210.46
Current children cumulated vsize (KiB) 90360
[startup+210.6 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=210.51 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 21050 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 210.56
Current children cumulated vsize (KiB) 90360
[startup+210.7 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=210.61 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 21060 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 210.66
Current children cumulated vsize (KiB) 90360
[startup+210.8 s]
/proc/loadavg: 4.58 3.76 2.93 4/179 6099
/proc/meminfo: memFree=31771440/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=68624 CPUtime=210.71 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 7843 0 0 0 21070 1 0 0 20 0 1 0 386545637 70270976 16645 33554432000 4194304 5208918 140737438184832 140737438182696 4229206 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 17156 16645 103 248 0 16905 0
Current children cumulated CPU time (s) 210.76
Current children cumulated vsize (KiB) 90360
[startup+210.9 s]
/proc/loadavg: 6.03 5.10 3.65 2/177 6104
/proc/meminfo: memFree=31744388/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.74 2/173 6134
/proc/meminfo: memFree=31702060/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1362.03 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 13539 0 0 0 136182 21 0 0 20 0 1 0 386545637 145870848 32562 33554432000 4194304 5208918 140737438184832 140737438182824 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 32562 103 248 0 35362 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 164188
[startup+1422.3 s]
/proc/loadavg: 1.00 1.06 1.68 2/173 6134
/proc/meminfo: memFree=31740724/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=93132 CPUtime=1422.03 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 13741 0 0 0 142181 22 0 0 20 0 1 0 386545637 95367168 22780 33554432000 4194304 5208918 140737438184832 140737438182920 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 23283 22780 103 248 0 23032 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 114868
[startup+1482.3 s]
/proc/loadavg: 1.04 1.06 1.65 2/173 6135
/proc/meminfo: memFree=31703736/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1482.01 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 14020 0 0 0 148178 23 0 0 20 0 1 0 386545637 145870848 32562 33554432000 4194304 5208918 140737438184832 140737438182824 4229006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 32562 103 248 0 35362 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 164188
[startup+1542.3 s]
/proc/loadavg: 1.01 1.05 1.60 2/173 6135
/proc/meminfo: memFree=31692628/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1542 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 15010 0 0 0 154176 24 0 0 20 0 1 0 386545637 145870848 35008 33554432000 4194304 5208918 140737438184832 140737438181144 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 35008 103 248 0 35362 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 164188
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.56 2/173 6135
/proc/meminfo: memFree=31708112/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1602 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 15946 0 0 0 160172 28 0 0 20 0 1 0 386545637 145870848 31538 33554432000 4194304 5208918 140737438184832 140737438182824 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 31538 103 248 0 35362 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 164188
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.53 2/173 6135
/proc/meminfo: memFree=31695700/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1661.99 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 16463 0 0 0 166170 29 0 0 20 0 1 0 386545637 145870848 34098 33554432000 4194304 5208918 140737438184832 140737438181208 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 34098 103 248 0 35362 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 164188
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.49 2/173 6135
/proc/meminfo: memFree=31740788/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=93132 CPUtime=1721.99 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 17751 0 0 0 172167 32 0 0 20 0 1 0 386545637 95367168 22780 33554432000 4194304 5208918 140737438184832 140737438182920 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 23283 22780 103 248 0 23032 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 114868
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.45 2/173 6136
/proc/meminfo: memFree=31705740/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1781.97 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 18497 0 0 0 178163 34 0 0 20 0 1 0 386545637 145870848 31538 33554432000 4194304 5208918 140737438184832 140737438182824 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 31538 103 248 0 35362 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 164188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.01 1.44 2/174 6139
/proc/meminfo: memFree=31693304/32873852 swapFree=7632/7632
[pid=6085] ppid=6083 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6085/stat : 6085 (npSolver-wbo.sh) S 6083 6085 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386545632 9367552 274 33554432000 4194304 5064252 140733563547024 140733563545936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6085/statm: 2287 274 233 213 0 72 0
[pid=6086] ppid=6085 vsize=3440 CPUtime=0.05 cores=0,2,4,6
/proc/6086/stat : 6086 (npSolver-wbo) S 6085 6085 982 0 -1 4202496 1627 5242 0 0 1 1 0 3 20 0 1 0 386545632 3522560 508 33554432000 4194304 6006132 140734382274624 140734382266032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6086/statm: 860 508 176 443 0 413 0
[pid=6098] ppid=6086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6098/stat : 6098 (satsolver.sh) S 6086 6085 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386545637 9367552 266 33554432000 4194304 5064252 140735425026784 140735425025696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6098/statm: 2287 266 226 213 0 72 0
[pid=6099] ppid=6098 vsize=142452 CPUtime=1799.97 cores=0,2,4,6
/proc/6099/stat : 6099 (glucose) R 6098 6085 982 0 -1 4202496 18503 0 0 0 179963 34 0 0 20 0 1 0 386545637 145870848 34610 33554432000 4194304 5208918 140737438184832 140737438182824 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6099/statm: 35613 34610 103 248 0 35362 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 164188
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.07
CPU user time (s): 1799.66
CPU system time (s): 0.402938
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 195008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.402938
maximum resident set size= 142804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 1670
runsolver used 3.22451 second user time and 7.12792 second system time
The end