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-3753709-1339191674/watcher-3753709-1339191674 -o /tmp/evaluation-result-3753709-1339191674/solver-3753709-1339191674 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753709-1339191674.wbo 348523419 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9249
/proc/meminfo: memFree=28729576/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[startup+0.0459691 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9249
/proc/meminfo: memFree=28729576/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9249
/proc/meminfo: memFree=28729576/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9249
/proc/meminfo: memFree=28729576/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9249
/proc/meminfo: memFree=28729576/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9261
/proc/meminfo: memFree=28667080/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 106120
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9263
/proc/meminfo: memFree=28474428/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=136432 CPUtime=1.75 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 27863 0 0 0 169 6 0 0 20 0 1 0 385293628 139706368 31152 33554432000 4194304 5208918 140733878145040 140733878142936 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 34108 31152 104 248 0 33857 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 251700
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9263
/proc/meminfo: memFree=28471692/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=136696 CPUtime=4.94 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 27904 0 0 0 488 6 0 0 20 0 1 0 385293628 139976704 31193 33554432000 4194304 5208918 140733878145040 140733878142936 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 34174 31193 104 248 0 33923 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 251964
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 9263
/proc/meminfo: memFree=28472816/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=136696 CPUtime=11.34 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 28152 0 0 0 1128 6 0 0 20 0 1 0 385293628 139976704 31440 33554432000 4194304 5208918 140733878145040 140733878142936 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 34174 31440 104 248 0 33923 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 251964
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 9263
/proc/meminfo: memFree=28469928/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=155664 CPUtime=24.14 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 28556 0 0 0 2408 6 0 0 20 0 1 0 385293628 159399936 32354 33554432000 4194304 5208918 140733878145040 140733878143192 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 38916 32354 104 248 0 38665 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 270932
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 9263
/proc/meminfo: memFree=28465008/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=155664 CPUtime=49.73 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 28559 0 0 0 4967 6 0 0 20 0 1 0 385293628 159399936 32868 33554432000 4194304 5208918 140733878145040 140733878143192 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 38916 32868 104 248 0 38665 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 270932
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 9263
/proc/meminfo: memFree=28459116/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=155664 CPUtime=100.93 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 28572 0 0 0 10087 6 0 0 20 0 1 0 385293628 159399936 33903 33554432000 4194304 5208918 140733878145040 140733878143192 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 38916 33903 104 248 0 38665 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 270932
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 9270
/proc/meminfo: memFree=28457652/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=96972 CPUtime=1.32 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 10086 10135 0 0 82 15 32 3 20 0 1 0 385293494 99299328 19916 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 24243 19916 180 443 0 23796 0
[pid=9262] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9262/stat : 9262 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385293628 9367552 267 33554432000 4194304 5064252 140735977814672 140735977813584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9262/statm: 2287 267 226 213 0 72 0
[pid=9263] ppid=9262 vsize=155796 CPUtime=160.91 cores=0,2,4,6
/proc/9263/stat : 9263 (glucose) R 9262 9249 3785 0 -1 4202496 28580 0 0 0 16085 6 0 0 20 0 1 0 385293628 159535104 34934 33554432000 4194304 5208918 140733878145040 140733878142888 4211792 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9263/statm: 38949 34934 104 248 0 38698 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28215 0 0 0 21260 9 0 0 20 0 1 0 385408450 192368640 37333 33554432000 4194304 5208918 140736909414576 140736909412728 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 37333 104 248 0 46714 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 286748
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 9612
/proc/meminfo: memFree=26404120/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=272.68 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28404 0 0 0 27259 9 0 0 20 0 1 0 385408450 192368640 38544 33554432000 4194304 5208918 140736909414576 140736909412728 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 38544 104 248 0 46714 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 286748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9612
/proc/meminfo: memFree=26398352/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=332.67 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28407 0 0 0 33258 9 0 0 20 0 1 0 385408450 192368640 39569 33554432000 4194304 5208918 140736909414576 140736909412728 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 39569 104 248 0 46714 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 286748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 9612
/proc/meminfo: memFree=26388116/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=392.66 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28408 0 0 0 39257 9 0 0 20 0 1 0 385408450 192368640 40081 33554432000 4194304 5208918 140736909414576 140736909412728 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 40081 104 248 0 46714 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 286748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9612
/proc/meminfo: memFree=26379800/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=452.65 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28413 0 0 0 45256 9 0 0 20 0 1 0 385408450 192368640 41108 33554432000 4194304 5208918 140736909414576 140736909412728 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 41108 104 248 0 46714 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 286748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9612
/proc/meminfo: memFree=26369364/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=512.64 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28426 0 0 0 51255 9 0 0 20 0 1 0 385408450 192368640 42143 33554432000 4194304 5208918 140736909414576 140736909412728 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 42143 104 248 0 46714 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 286748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9613
/proc/meminfo: memFree=26363124/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=572.63 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28429 0 0 0 57254 9 0 0 20 0 1 0 385408450 192368640 42657 33554432000 4194304 5208918 140736909414576 140736909412728 4211628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 42657 104 248 0 46714 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 286748
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9616
/proc/meminfo: memFree=26356360/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=632.62 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28431 0 0 0 63253 9 0 0 20 0 1 0 385408450 192368640 43170 33554432000 4194304 5208918 140736909414576 140736909412728 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 43170 104 248 0 46714 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 286748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9616
/proc/meminfo: memFree=26354536/32873648 swapFree=6860/6860
[pid=9249] ppid=9247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (npSolver-wbo-It) S 9247 9249 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385293493 9367552 275 33554432000 4194304 5064252 140734337685456 140734337684368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9249/statm: 2287 275 233 213 0 72 0
[pid=9250] ppid=9249 vsize=80592 CPUtime=1149.35 cores=0,2,4,6
/proc/9250/stat : 9250 (npSolver-wbo) S 9249 9249 3785 0 -1 4202496 34346 153731 0 0 369 52 114393 121 20 0 1 0 385293494 82526208 15853 33554432000 4194304 6006132 140733621977600 140733621968992 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9250/statm: 20148 15853 180 443 0 19701 0
[pid=9514] ppid=9250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9514/stat : 9514 (satsolver.sh) S 9250 9249 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385408450 9367552 266 33554432000 4194304 5064252 140734920649456 140734920648368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9514/statm: 2287 266 226 213 0 72 0
[pid=9515] ppid=9514 vsize=187860 CPUtime=650.73 cores=0,2,4,6
/proc/9515/stat : 9515 (glucose) R 9514 9249 3785 0 -1 4202496 28432 0 0 0 65063 10 0 0 20 0 1 0 385408450 192368640 43682 33554432000 4194304 5208918 140736909414576 140736909412728 4211712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9515/statm: 46965 43682 104 248 0 46714 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 286748
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9249 and gives
# childrusage.ru_utime.tv_sec=1147
# childrusage.ru_utime.tv_usec=629533
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=739735
# CPU time returned by wait4() is 1149.37
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.25
CPU system time (s): 1.83
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 334200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1147.63
system time used= 1.73974
maximum resident set size= 181208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 522168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2271
involuntary context switches= 1397
runsolver used 2.74658 second user time and 7.10392 second system time
The end