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-3713598-1338184472/watcher-3713598-1338184472 -o /tmp/evaluation-result-3713598-1338184472/solver-3713598-1338184472 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713598-1338184472.wbo 1787491709 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.03 2.04 2.00 3/179 16511
/proc/meminfo: memFree=28716600/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[startup+0.103282 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 16511
/proc/meminfo: memFree=28716600/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200302 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 16511
/proc/meminfo: memFree=28716600/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300299 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 16511
/proc/meminfo: memFree=28716600/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 16511
/proc/meminfo: memFree=28716600/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 16515
/proc/meminfo: memFree=28587108/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=18796 CPUtime=0.6 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 5210 0 0 0 58 2 0 0 20 0 1 0 284572686 19247104 3797 33554432000 4194304 5990268 140734082037504 140734082030656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16512/statm: 4699 3797 156 439 0 4256 0
[pid=16514] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16514/stat : 16514 (cp2_pre.sh) S 16512 16511 12999 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284572747 9367552 277 33554432000 4194304 5064252 140735120696896 140735120695600 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16514/statm: 2287 277 234 213 0 72 0
[pid=16515] ppid=16514 vsize=142964 CPUtime=0.88 cores=0,2,4,6
/proc/16515/stat : 16515 (coprocessor) R 16514 16511 12999 0 -1 4202496 25790 0 0 0 84 4 0 0 20 0 1 0 284572747 146395136 34680 33554432000 4194304 6586260 140735081076720 140735081072984 5599190 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/16515/statm: 35741 34680 191 584 0 35153 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180056
[startup+3.10034 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16515
/proc/meminfo: memFree=28552372/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=18796 CPUtime=0.6 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 5210 0 0 0 58 2 0 0 20 0 1 0 284572686 19247104 3797 33554432000 4194304 5990268 140734082037504 140734082030656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16512/statm: 4699 3797 156 439 0 4256 0
[pid=16514] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16514/stat : 16514 (cp2_pre.sh) S 16512 16511 12999 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284572747 9367552 277 33554432000 4194304 5064252 140735120696896 140735120695600 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16514/statm: 2287 277 234 213 0 72 0
[pid=16515] ppid=16514 vsize=147788 CPUtime=2.48 cores=0,2,4,6
/proc/16515/stat : 16515 (coprocessor) R 16514 16511 12999 0 -1 4202496 26807 0 0 0 244 4 0 0 20 0 1 0 284572747 151334912 35759 33554432000 4194304 6586260 140735081076720 140735081072312 4406703 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/16515/statm: 36947 35759 196 584 0 36359 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 184880
[startup+6.30034 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16518
/proc/meminfo: memFree=28647884/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=18796 CPUtime=6 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 5228 39508 0 0 58 2 474 66 20 0 1 0 284572686 19247104 3799 33554432000 4194304 5990268 140734082037504 140734082031232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16512/statm: 4699 3799 158 439 0 4256 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 27944
[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16584
/proc/meminfo: memFree=28809596/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=46608 CPUtime=6.63 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 9638 47445 0 0 77 20 497 69 20 0 1 0 284572686 47726592 9719 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16512/statm: 11652 9719 164 439 0 11209 0
[pid=16524] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16524/stat : 16524 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284573372 9367552 267 33554432000 4194304 5064252 140736355330288 140736355329200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16524/statm: 2287 267 226 213 0 72 0
[pid=16525] ppid=16524 vsize=129920 CPUtime=5.83 cores=0,2,4,6
/proc/16525/stat : 16525 (glucose) R 16524 16511 12999 0 -1 4202496 23585 0 0 0 578 5 0 0 20 0 1 0 284573372 133038080 27517 33554432000 4194304 5208918 140736294724416 140736294722264 4205165 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16525/statm: 32480 27517 104 248 0 32229 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 194824
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 16626
/proc/meminfo: memFree=28866684/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=21.21 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 13405 81720 0 0 84 21 1915 101 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16618] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16618/stat : 16618 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574841 9367552 266 33554432000 4194304 5064252 140736780766192 140736780765104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16618/statm: 2287 266 226 213 0 72 0
[pid=16619] ppid=16618 vsize=80032 CPUtime=3.94 cores=0,2,4,6
/proc/16619/stat : 16619 (glucose) R 16618 16511 12999 0 -1 4202496 15126 0 0 0 391 3 0 0 20 0 1 0 284574841 81952768 16816 33554432000 4194304 5208918 140736447826816 140736447824968 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16619/statm: 20008 16816 104 248 0 19757 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 136744
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 16633
/proc/meminfo: memFree=28850416/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=40.99 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 16184 109463 0 0 88 21 3871 119 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16632] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16632/stat : 16632 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284576820 9367552 267 33554432000 4194304 5064252 140734451844064 140734451842976 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16632/statm: 2287 267 226 213 0 72 0
[pid=16633] ppid=16632 vsize=77952 CPUtime=9.75 cores=0,2,4,6
/proc/16633/stat : 16633 (glucose) R 16632 16511 12999 0 -1 4202496 14035 0 0 0 973 2 0 0 20 0 1 0 284576820 79822848 17453 33554432000 4194304 5208918 140734893960752 140734893958696 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16633/statm: 19488 17453 104 248 0 19237 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 134664
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16669
/proc/meminfo: memFree=28862932/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=45064 CPUtime=1.06 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 9638 0 0 0 105 1 0 0 20 0 1 0 284582810 46145536 8969 33554432000 4194304 5208918 140734568761280 140734568759128 4229254 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 11266 8969 104 248 0 11015 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 101776
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16669
/proc/meminfo: memFree=28819112/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=72176 CPUtime=61.03 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 14473 0 0 0 6101 2 0 0 20 0 1 0 284582810 73908224 15932 33554432000 4194304 5208918 140734568761280 140734568757656 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 18044 15932 105 248 0 17793 0
Current children cumulated CPU time (s) 161.91
################
# More data... #
################
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 28857 0 0 0 126062 23 0 0 20 0 1 0 284582810 233259008 53409 33554432000 4194304 5208918 140734568761280 140734568757656 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 56948 53409 105 248 0 56697 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 284504
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16703
/proc/meminfo: memFree=28575832/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=227792 CPUtime=1320.85 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 29937 0 0 0 132060 25 0 0 20 0 1 0 284582810 233259008 51873 33554432000 4194304 5208918 140734568761280 140734568757656 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 56948 51873 105 248 0 56697 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 284504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16703
/proc/meminfo: memFree=28547272/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=258612 CPUtime=1380.83 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 30537 0 0 0 138057 26 0 0 20 0 1 0 284582810 264818688 58084 33554432000 4194304 5208918 140734568761280 140734568756968 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 64653 58084 105 248 0 64402 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 315324
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16706
/proc/meminfo: memFree=28550680/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=258612 CPUtime=1440.82 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 31614 0 0 0 144054 28 0 0 20 0 1 0 284582810 264818688 56036 33554432000 4194304 5208918 140734568761280 140734568759432 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 64653 56036 105 248 0 64402 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 315324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28556584/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=227792 CPUtime=1500.81 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 32101 0 0 0 150051 30 0 0 20 0 1 0 284582810 233259008 54433 33554432000 4194304 5208918 140734568761280 140734568757656 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 56948 54433 105 248 0 56697 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 284504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28529948/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=258612 CPUtime=1560.8 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 32707 0 0 0 156049 31 0 0 20 0 1 0 284582810 264818688 60644 33554432000 4194304 5208918 140734568761280 140734568757656 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 64653 60644 105 248 0 64402 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 315324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28532124/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=258612 CPUtime=1620.79 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 33777 0 0 0 162046 33 0 0 20 0 1 0 284582810 264818688 58084 33554432000 4194304 5208918 140734568761280 140734568757656 4205238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 64653 58084 105 248 0 64402 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 315324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28514576/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=227792 CPUtime=1680.79 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 34257 0 0 0 168044 35 0 0 20 0 1 0 284582810 233259008 54945 33554432000 4194304 5208918 140734568761280 140734568757048 4229316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 56948 54945 105 248 0 56697 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 284504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28529892/32873844 swapFree=7384/7384
[pid=16511] ppid=16509 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16511/stat : 16511 (npSolver-wbo.sh) S 16509 16511 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284572686 9367552 275 33554432000 4194304 5064252 140736583865952 140736583864864 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16511/statm: 2287 275 233 213 0 72 0
[pid=16512] ppid=16511 vsize=38416 CPUtime=100.88 cores=0,2,4,6
/proc/16512/stat : 16512 (npSolver-wbo) S 16511 16511 12999 0 -1 4202496 25605 215384 0 0 96 23 9812 157 20 0 1 0 284572686 39337984 7994 33554432000 4194304 5990268 140734082037504 140734082028944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/16512/statm: 9604 7994 164 439 0 9161 0
[pid=16668] ppid=16512 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16668/stat : 16668 (satsolver.sh) S 16512 16511 12999 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284582810 9367552 267 33554432000 4194304 5064252 140735240304560 140735240303472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16668/statm: 2287 267 226 213 0 72 0
[pid=16669] ppid=16668 vsize=258612 CPUtime=1699.19 cores=0,2,4,6
/proc/16669/stat : 16669 (glucose) R 16668 16511 12999 0 -1 4202496 34850 0 0 0 169884 35 0 0 20 0 1 0 284582810 264818688 57060 33554432000 4194304 5208918 140734568761280 140734568757656 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16669/statm: 64653 57060 105 248 0 64402 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 315324
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 16511 and gives
# childrusage.ru_utime.tv_sec=99
# childrusage.ru_utime.tv_usec=99934
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=815723
# CPU time returned by wait4() is 100.916
# while last known CPU time is 1800.07
#
# 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.07
CPU user time (s): 1797.92
CPU system time (s): 2.15
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 364644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.0999
system time used= 1.81572
maximum resident set size= 169152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 180912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4181
involuntary context switches= 229
runsolver used 2.79657 second user time and 7.03793 second system time
The end