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-3714900-1338178365/watcher-3714900-1338178365 -o /tmp/evaluation-result-3714900-1338178365/solver-3714900-1338178365 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714900-1338178365.wbo 1873323833 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.01 1.96 3/179 10858
/proc/meminfo: memFree=27911012/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[startup+0.0503319 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 10858
/proc/meminfo: memFree=27911012/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 10858
/proc/meminfo: memFree=27911012/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 10858
/proc/meminfo: memFree=27911012/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700292 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 10858
/proc/meminfo: memFree=27911012/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 10862
/proc/meminfo: memFree=27811992/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=14744 CPUtime=0.36 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 4385 0 0 0 35 1 0 0 20 0 1 0 283962443 15097856 2462 33554432000 4194304 5990268 140735361162432 140735361155584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10859/statm: 3686 2462 156 439 0 3243 0
[pid=10861] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10861/stat : 10861 (cp2_pre.sh) S 10859 10858 8283 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 283962480 9367552 277 33554432000 4194304 5064252 140734298403808 140734298402512 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10861/statm: 2287 277 234 213 0 72 0
[pid=10862] ppid=10861 vsize=89332 CPUtime=1.11 cores=0,2,4,6
/proc/10862/stat : 10862 (coprocessor) R 10861 10858 8283 0 -1 4202496 16315 0 0 0 109 2 0 0 20 0 1 0 283962480 91475968 21409 33554432000 4194304 6586260 140734637125392 140734637120648 5599168 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10862/statm: 22333 21409 191 584 0 21745 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 122372
[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 10862
/proc/meminfo: memFree=27807200/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=14744 CPUtime=2.76 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 4394 19611 0 0 35 1 209 31 20 0 1 0 283962443 15097856 2463 33554432000 4194304 5990268 140735361162432 140735361156672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10859/statm: 3686 2463 157 439 0 3243 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 23892
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 1.96 3/184 10889
/proc/meminfo: memFree=27874332/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=19772 CPUtime=6.22 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 10964 95287 0 0 48 16 505 53 20 0 1 0 283962443 20246528 3543 33554432000 4194304 5990268 140735361162432 140735361153344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 4943 3543 169 439 0 4500 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 28920
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 10928
/proc/meminfo: memFree=27835240/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=11.81 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 19964 159201 0 0 73 19 998 91 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=10927] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10927/stat : 10927 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283963629 9367552 267 33554432000 4194304 5064252 140736178860128 140736178859040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10927/statm: 2287 267 226 213 0 72 0
[pid=10928] ppid=10927 vsize=54992 CPUtime=0.82 cores=0,2,4,6
/proc/10928/stat : 10928 (glucose) R 10927 10858 8283 0 -1 4202496 10698 0 0 0 81 1 0 0 20 0 1 0 283963629 56311808 10623 33554432000 4194304 5208918 140737131862592 140737131860440 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10928/statm: 13748 10623 103 248 0 13497 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 98436
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 11013
/proc/meminfo: memFree=27916864/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=23.54 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 34513 266245 0 0 98 23 2089 144 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11010] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11010/stat : 11010 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283964800 9367552 267 33554432000 4194304 5064252 140737170974304 140737170973216 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11010/statm: 2287 267 226 213 0 72 0
[pid=11011] ppid=11010 vsize=48840 CPUtime=1.91 cores=0,2,4,6
/proc/11011/stat : 11011 (glucose) R 11010 10858 8283 0 -1 4202496 10012 0 0 0 190 1 0 0 20 0 1 0 283964801 50012160 10706 33554432000 4194304 5208918 140734986728272 140734986726120 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11011/statm: 12210 10706 105 248 0 11959 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 92284
[startup+51.1003 s]
/proc/loadavg: 2.14 2.04 1.97 3/183 11114
/proc/meminfo: memFree=27961320/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=48.7 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 54128 418564 0 0 128 28 4501 213 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11106] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11106/stat : 11106 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283967316 9367552 267 33554432000 4194304 5064252 140736181082400 140736181081312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11106/statm: 2287 267 226 213 0 72 0
[pid=11107] ppid=11106 vsize=38860 CPUtime=2.36 cores=0,2,4,6
/proc/11107/stat : 11107 (glucose) R 11106 10858 8283 0 -1 4202496 9286 0 0 0 235 1 0 0 20 0 1 0 283967316 39792640 8720 33554432000 4194304 5208918 140734196779840 140734196777992 4205198 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11107/statm: 9715 8720 103 248 0 9464 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 82304
[startup+102.307 s]
/proc/loadavg: 2.13 2.05 1.97 3/183 11268
/proc/meminfo: memFree=27958136/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=100.07 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 77277 657460 0 0 159 32 9513 303 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11267] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11267/stat : 11267 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283972464 9367552 267 33554432000 4194304 5064252 140735888344368 140735888343280 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11267/statm: 2287 267 226 213 0 72 0
[pid=11268] ppid=11267 vsize=33680 CPUtime=2.09 cores=0,2,4,6
/proc/11268/stat : 11268 (glucose) R 11267 10858 8283 0 -1 4202496 7761 0 0 0 208 1 0 0 20 0 1 0 283972464 34488320 6806 33554432000 4194304 5208918 140733457504128 140733457502216 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11268/statm: 8420 6806 104 248 0 8169 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 77124
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 1.98 3/183 11380
/proc/meminfo: memFree=27941556/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=77156 CPUtime=46.07 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 12522 0 0 0 4605 2 0 0 20 0 1 0 283974064 79007744 16891 33554432000 4194304 5208918 140734310769184 140734310767176 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 19289 16891 104 248 0 19038 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 120600
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/183 11457
/proc/meminfo: memFree=27919368/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11559
/proc/meminfo: memFree=27511184/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1305.86 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 29961 0 0 0 130552 34 0 0 20 0 1 0 283974064 255148032 55570 33554432000 4194304 5208918 140734310769184 140734310765560 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 55570 104 248 0 62041 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 292612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11559
/proc/meminfo: memFree=27582032/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1365.85 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 30780 0 0 0 136548 37 0 0 20 0 1 0 283974064 255148032 56082 33554432000 4194304 5208918 140734310769184 140734310765560 4229155 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56082 104 248 0 62041 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 292612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11559
/proc/meminfo: memFree=27492344/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1425.84 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 31600 0 0 0 142545 39 0 0 20 0 1 0 283974064 255148032 56594 33554432000 4194304 5208918 140734310769184 140734310765560 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56594 104 248 0 62041 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 292612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11560
/proc/meminfo: memFree=27602664/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1485.83 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 31968 0 0 0 148543 40 0 0 20 0 1 0 283974064 255148032 56661 33554432000 4194304 5208918 140734310769184 140734310765560 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56661 104 248 0 62041 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 292612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11563
/proc/meminfo: memFree=27507132/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1545.82 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 32262 0 0 0 154541 41 0 0 20 0 1 0 283974064 255148032 56552 33554432000 4194304 5208918 140734310769184 140734310765560 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56552 104 248 0 62041 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 292612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11563
/proc/meminfo: memFree=27443732/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1605.81 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 33224 0 0 0 160537 44 0 0 20 0 1 0 283974064 255148032 56552 33554432000 4194304 5208918 140734310769184 140734310765496 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56552 104 248 0 62041 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 292612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11563
/proc/meminfo: memFree=27555264/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1665.8 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 34317 0 0 0 166534 46 0 0 20 0 1 0 283974064 255148032 56040 33554432000 4194304 5208918 140734310769184 140734310765560 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 56040 104 248 0 62041 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 292612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11563
/proc/meminfo: memFree=27518536/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1684 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 34322 0 0 0 168354 46 0 0 20 0 1 0 283974064 255148032 58600 33554432000 4194304 5208918 140734310769184 140734310765496 4213749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 58600 104 248 0 62041 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 292612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11563
/proc/meminfo: memFree=27518536/32873648 swapFree=6864/6864
[pid=10858] ppid=10856 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10858/stat : 10858 (npSolver-wbo-It) S 10856 10858 8283 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283962443 9367552 275 33554432000 4194304 5064252 140734034792496 140734034791408 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10858/statm: 2287 275 233 213 0 72 0
[pid=10859] ppid=10858 vsize=25148 CPUtime=116.08 cores=0,2,4,6
/proc/10859/stat : 10859 (npSolver-wbo) S 10858 10858 8283 0 -1 4202496 81666 732924 0 0 164 33 11084 327 20 0 1 0 283962443 25751552 5045 33554432000 4194304 5990268 140735361162432 140735361153856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10859/statm: 6287 5045 170 439 0 5844 0
[pid=11323] ppid=10859 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (satsolver.sh) S 10859 10858 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283974063 9367552 266 33554432000 4194304 5064252 140734063747520 140734063746432 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11323/statm: 2287 266 226 213 0 72 0
[pid=11324] ppid=11323 vsize=249168 CPUtime=1684 cores=0,2,4,6
/proc/11324/stat : 11324 (glucose) R 11323 10858 8283 0 -1 4202496 34322 0 0 0 168354 46 0 0 20 0 1 0 283974064 255148032 58600 33554432000 4194304 5208918 140734310769184 140734310765496 4213749 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11324/statm: 62292 58600 104 248 0 62041 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 292612
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1796.03
CPU system time (s): 4.08638
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 422840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 4.08638
maximum resident set size= 303872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 849903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 526216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13186
involuntary context switches= 2528
runsolver used 3.52946 second user time and 9.33658 second system time
The end