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-3754715-1339184639/watcher-3754715-1339184639 -o /tmp/evaluation-result-3754715-1339184639/solver-3754715-1339184639 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754715-1339184639.wbo 1355708535 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 27461
/proc/meminfo: memFree=29684512/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[startup+0.0236739 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 27461
/proc/meminfo: memFree=29684512/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/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: 1.00 1.00 1.16 3/172 27461
/proc/meminfo: memFree=29684512/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 27461
/proc/meminfo: memFree=29684512/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 1.00 1.00 1.16 3/172 27461
/proc/meminfo: memFree=29684512/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 27474
/proc/meminfo: memFree=29479984/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=59228 CPUtime=1.39 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 9212 15202 0 0 62 10 63 4 20 0 1 0 384592382 60649472 14455 33554432000 4194304 6006132 140733718444928 140733718438608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 14807 14455 159 443 0 14360 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 68376
[startup+3.10037 s]
/proc/loadavg: 1.08 1.02 1.16 3/181 27484
/proc/meminfo: memFree=29352852/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=190612 CPUtime=2.8 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) R 27461 27461 26138 0 -1 4202496 15982 18316 0 0 182 25 67 6 20 0 1 0 384592382 195186688 34296 33554432000 4194304 6006132 140733718444928 140733718437288 4538048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 47653 34296 179 443 0 47206 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 199760
[startup+6.30049 s]
/proc/loadavg: 1.15 1.03 1.16 3/181 27494
/proc/meminfo: memFree=28930492/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=234160 CPUtime=0.89 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 33369 0 0 0 80 9 0 0 20 0 1 0 384592921 239779840 47773 33554432000 4194304 5208918 140734418943312 140734417892712 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 58540 47773 70 248 0 58289 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 574140
[startup+12.7003 s]
/proc/loadavg: 1.30 1.06 1.17 3/181 27494
/proc/meminfo: memFree=27970516/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=583656 CPUtime=7.29 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 85729 0 0 0 700 29 0 0 20 0 1 0 384592921 597663744 128073 33554432000 4194304 5208918 140734418943312 140734418941160 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 145914 128073 104 248 0 145663 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 923636
[startup+25.5004 s]
/proc/loadavg: 1.61 1.14 1.20 3/183 27496
/proc/meminfo: memFree=25965848/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=584452 CPUtime=20.08 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 85913 0 0 0 1979 29 0 0 20 0 1 0 384592921 598478848 129790 33554432000 4194304 5208918 140734418943312 140734418941272 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146113 129790 104 248 0 145862 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 924432
[startup+51.1005 s]
/proc/loadavg: 1.74 1.21 1.22 3/183 27496
/proc/meminfo: memFree=25979544/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=584980 CPUtime=45.68 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86039 0 0 0 4539 29 0 0 20 0 1 0 384592921 599019520 130427 33554432000 4194304 5208918 140734418943312 140734418941160 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146245 130427 104 248 0 145994 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 924960
[startup+102.301 s]
/proc/loadavg: 1.89 1.33 1.26 3/183 27496
/proc/meminfo: memFree=25971228/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=585224 CPUtime=96.88 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86078 0 0 0 9659 29 0 0 20 0 1 0 384592921 599269376 130466 33554432000 4194304 5208918 140734418943312 140734418941272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146306 130466 104 248 0 146055 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 925204
[startup+162.301 s]
/proc/loadavg: 1.96 1.45 1.30 3/183 27496
/proc/meminfo: memFree=25967380/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=585224 CPUtime=156.86 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86082 0 0 0 15657 29 0 0 20 0 1 0 384592921 599269376 130470 33554432000 4194304 5208918 140734418943312 140734418941272 4205238 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146306 130470 104 248 0 146055 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 925204
[startup+222.307 s]
/proc/loadavg: 1.98 1.55 1.34 3/183 27496
/proc/meminfo: memFree=25959312/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86691 0 0 0 141635 30 0 0 20 0 1 0 384592921 601690112 132396 33554432000 4194304 5208918 140734418943312 140734418941272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132396 104 248 0 146646 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 927568
[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 1.81 3/183 27528
/proc/meminfo: memFree=25893720/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587588 CPUtime=1476.63 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86695 0 0 0 147633 30 0 0 20 0 1 0 384592921 601690112 132400 33554432000 4194304 5208918 140734418943312 140734418941272 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132400 104 248 0 146646 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 927568
[startup+1542.31 s]
/proc/loadavg: 2.05 2.00 1.82 3/183 27529
/proc/meminfo: memFree=25891144/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587588 CPUtime=1536.63 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86699 0 0 0 153633 30 0 0 20 0 1 0 384592921 601690112 132404 33554432000 4194304 5208918 140734418943312 140734418941272 4211034 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132404 104 248 0 146646 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 927568
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.83 3/184 27532
/proc/meminfo: memFree=25889116/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587588 CPUtime=1596.61 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86701 0 0 0 159631 30 0 0 20 0 1 0 384592921 601690112 132406 33554432000 4194304 5208918 140734418943312 140734418941272 4232626 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132406 104 248 0 146646 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 927568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/183 27532
/proc/meminfo: memFree=25887228/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587588 CPUtime=1656.6 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86705 0 0 0 165630 30 0 0 20 0 1 0 384592921 601690112 132410 33554432000 4194304 5208918 140734418943312 140734418941272 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132410 104 248 0 146646 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 927568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/183 27532
/proc/meminfo: memFree=25885084/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587588 CPUtime=1716.59 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86710 0 0 0 171629 30 0 0 20 0 1 0 384592921 601690112 132415 33554432000 4194304 5208918 140734418943312 140734418941272 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146897 132415 104 248 0 146646 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 927568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/183 27532
/proc/meminfo: memFree=25880644/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587720 CPUtime=1776.58 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86763 0 0 0 177628 30 0 0 20 0 1 0 384592921 601825280 132468 33554432000 4194304 5208918 140734418943312 140734418941064 4205640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146930 132468 104 248 0 146679 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 927700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.85 2/175 27560
/proc/meminfo: memFree=28679340/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587852 CPUtime=1795 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86799 0 0 0 179470 30 0 0 20 0 1 0 384592921 601960448 132504 33554432000 4194304 5208918 140734418943312 140734418941160 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146963 132504 104 248 0 146712 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 927832
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.85 2/175 27560
/proc/meminfo: memFree=28679340/32873844 swapFree=7384/7384
[pid=27461] ppid=27458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27461/stat : 27461 (npSolver-wbo.sh) S 27458 27461 26138 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384592382 9367552 275 33554432000 4194304 5064252 140735091292640 140735091291552 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27461/statm: 2287 275 233 213 0 72 0
[pid=27464] ppid=27461 vsize=321684 CPUtime=5.1 cores=1,3,5,7
/proc/27464/stat : 27464 (npSolver-wbo) S 27461 27461 26138 0 -1 4202496 17305 18316 0 0 372 65 67 6 20 0 1 0 384592382 329404416 67577 33554432000 4194304 6006132 140733718444928 140733718436336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27464/statm: 80421 67577 180 443 0 79974 0
[pid=27493] ppid=27464 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27493/stat : 27493 (satsolver.sh) S 27464 27461 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384592921 9367552 267 33554432000 4194304 5064252 140735175751600 140735175750512 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 2287 267 226 213 0 72 0
[pid=27494] ppid=27493 vsize=587852 CPUtime=1795 cores=1,3,5,7
/proc/27494/stat : 27494 (glucose) R 27493 27461 26138 0 -1 4202496 86799 0 0 0 179470 30 0 0 20 0 1 0 384592921 601960448 132504 33554432000 4194304 5208918 140734418943312 140734418941160 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27494/statm: 146963 132504 104 248 0 146712 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 927832
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27461 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=401330
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=717890
# CPU time returned by wait4() is 5.11922
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.09
CPU system time (s): 1.01
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1119136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.40133
system time used= 0.71789
maximum resident set size= 481516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 436944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 23
runsolver used 6.02908 second user time and 20.8838 second system time
The end