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-3713692-1338246913/watcher-3713692-1338246913 -o /tmp/evaluation-result-3713692-1338246913/solver-3713692-1338246913 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713692-1338246913.wbo 548651926 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: 4.79 4.22 3.12 3/179 32600
/proc/meminfo: memFree=15501108/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[startup+0.0780911 s]
/proc/loadavg: 4.79 4.22 3.12 3/179 32600
/proc/meminfo: memFree=15501108/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 4.79 4.22 3.12 3/179 32600
/proc/meminfo: memFree=15501108/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 4.79 4.22 3.12 3/179 32600
/proc/meminfo: memFree=15501108/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 4.79 4.22 3.12 3/179 32600
/proc/meminfo: memFree=15501108/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 4.79 4.22 3.12 3/181 32612
/proc/meminfo: memFree=15468160/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=89092 CPUtime=1.47 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) R 32600 32600 30566 0 -1 4202496 9559 12335 0 0 85 9 49 4 20 0 1 0 290818717 91230208 16465 33554432000 4194304 5990268 140736591744528 140736591737680 4604889 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 22273 16465 163 439 0 21830 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98240
[startup+3.10022 s]
/proc/loadavg: 4.79 4.22 3.12 4/181 32612
/proc/meminfo: memFree=17924464/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 163776
heavy processes:
%CPU=12 pid=32501 uid=0 cmd=
[startup+6.30044 s]
/proc/loadavg: 4.57 4.18 3.12 3/182 32614
/proc/meminfo: memFree=18923340/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=3.97 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43131 0 0 0 384 13 0 0 20 0 1 0 290818948 254144512 55437 33554432000 4194304 5208918 140736634056432 140736634054264 4205585 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55437 104 248 0 61796 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 421112
[startup+12.7004 s]
/proc/loadavg: 4.36 4.15 3.11 3/182 32614
/proc/meminfo: memFree=18928620/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=10.37 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43131 0 0 0 1024 13 0 0 20 0 1 0 290818948 254144512 55437 33554432000 4194304 5208918 140736634056432 140736634054264 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55437 104 248 0 61796 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 421112
[startup+25.5004 s]
/proc/loadavg: 3.84 4.04 3.09 3/182 32614
/proc/meminfo: memFree=18933336/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=23.16 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43131 0 0 0 2303 13 0 0 20 0 1 0 290818948 254144512 55437 33554432000 4194304 5208918 140736634056432 140736634054264 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55437 104 248 0 61796 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 421112
[startup+51.1004 s]
/proc/loadavg: 3.88 4.02 3.11 4/183 32615
/proc/meminfo: memFree=14218404/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=48.76 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43131 0 0 0 4863 13 0 0 20 0 1 0 290818948 254144512 55437 33554432000 4194304 5208918 140736634056432 140736634054264 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55437 104 248 0 61796 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 421112
[startup+102.307 s]
/proc/loadavg: 4.43 4.16 3.20 3/182 32615
/proc/meminfo: memFree=11686956/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=99.96 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43132 0 0 0 9983 13 0 0 20 0 1 0 290818948 254144512 55949 33554432000 4194304 5208918 140736634056432 140736634054264 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55949 104 248 0 61796 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 421112
[startup+162.3 s]
/proc/loadavg: 4.84 4.32 3.31 2/182 32615
/proc/meminfo: memFree=7890084/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=248188 CPUtime=159.94 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 43132 0 0 0 15981 13 0 0 20 0 1 0 290818948 254144512 55949 33554432000 4194304 5208918 140736634056432 140736634054264 4205740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32614/statm: 62047 55949 104 248 0 61796 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 421112
[startup+222.3 s]
/proc/loadavg: 4.87 4.43 3.41 2/182 32616
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.00 1.11 1.82 2/174 32650
/proc/meminfo: memFree=30201908/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=296812 CPUtime=1359.73 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 49253 0 0 0 135953 20 0 0 20 0 1 0 290818948 303935488 65306 33554432000 4194304 5208918 140736634056432 140736634052808 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74203 65306 105 248 0 73952 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 469736
[startup+1422.3 s]
/proc/loadavg: 1.00 1.09 1.77 2/174 32651
/proc/meminfo: memFree=30195896/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=297024 CPUtime=1419.72 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 49299 0 0 0 141952 20 0 0 20 0 1 0 290818948 304152576 66885 33554432000 4194304 5208918 140736634056432 140736634054184 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74256 66885 105 248 0 74005 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 469948
[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.72 2/174 32651
/proc/meminfo: memFree=30189696/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=297204 CPUtime=1479.71 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 49385 0 0 0 147951 20 0 0 20 0 1 0 290818948 304336896 68504 33554432000 4194304 5208918 140736634056432 140736634054184 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74301 68504 105 248 0 74050 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 470128
[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.67 2/175 32654
/proc/meminfo: memFree=30205356/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=297920 CPUtime=1539.7 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 50212 0 0 0 153948 22 0 0 20 0 1 0 290818948 305070080 64580 33554432000 4194304 5208918 140736634056432 140736634054184 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74480 64580 105 248 0 74229 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 470844
[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.62 2/174 32654
/proc/meminfo: memFree=30198860/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=298376 CPUtime=1599.7 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 50363 0 0 0 159947 23 0 0 20 0 1 0 290818948 305537024 66264 33554432000 4194304 5208918 140736634056432 140736634054184 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74594 66264 105 248 0 74343 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 471300
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.58 2/174 32654
/proc/meminfo: memFree=30191980/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=299144 CPUtime=1659.69 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 50547 0 0 0 165946 23 0 0 20 0 1 0 290818948 306323456 67981 33554432000 4194304 5208918 140736634056432 140736634054184 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74786 67981 105 248 0 74535 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 472068
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.54 2/174 32655
/proc/meminfo: memFree=30185100/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=299720 CPUtime=1719.68 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 50713 0 0 0 171944 24 0 0 20 0 1 0 290818948 306913280 69680 33554432000 4194304 5208918 140736634056432 140736634054184 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 74930 69680 105 248 0 74679 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 472644
[startup+1782.31 s]
/proc/loadavg: 1.00 1.02 1.51 2/174 32655
/proc/meminfo: memFree=30195904/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=300424 CPUtime=1779.67 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 51128 0 0 0 177942 25 0 0 20 0 1 0 290818948 307634176 66949 33554432000 4194304 5208918 140736634056432 140736634052808 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 75106 66949 105 248 0 74855 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 473348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.02 1.50 2/174 32655
/proc/meminfo: memFree=30191688/32873648 swapFree=7116/7116
[pid=32600] ppid=32598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32600/stat : 32600 (npSolver-wbo.sh) S 32598 32600 30566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290818717 9367552 275 33554432000 4194304 5064252 140735457826400 140735457825312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32600/statm: 2287 275 233 213 0 72 0
[pid=32601] ppid=32600 vsize=154628 CPUtime=2.29 cores=1,3,5,7
/proc/32601/stat : 32601 (npSolver-wbo) S 32600 32600 30566 0 -1 4202496 10820 12335 0 0 152 24 49 4 20 0 1 0 290818717 158339072 27730 33554432000 4194304 5990268 140736591744528 140736591735968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32601/statm: 38657 27730 164 439 0 38214 0
[pid=32613] ppid=32601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32613/stat : 32613 (satsolver.sh) S 32601 32600 30566 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290818948 9367552 267 33554432000 4194304 5064252 140736728264320 140736728263232 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32613/statm: 2287 267 226 213 0 72 0
[pid=32614] ppid=32613 vsize=300688 CPUtime=1797.77 cores=1,3,5,7
/proc/32614/stat : 32614 (glucose) R 32613 32600 30566 0 -1 4202496 51211 0 0 0 179752 25 0 0 20 0 1 0 290818948 307904512 68054 33554432000 4194304 5208918 140736634056432 140736634054280 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32614/statm: 75172 68054 105 248 0 74921 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 473612
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.41
CPU time (s): 1800.1
CPU user time (s): 1799.55
CPU system time (s): 0.552915
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 600776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.552915
maximum resident set size= 339116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 188808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 2140
runsolver used 4.44732 second user time and 9.61854 second system time
The end