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-3713576-1338181605/watcher-3713576-1338181605 -o /tmp/evaluation-result-3713576-1338181605/solver-3713576-1338181605 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713576-1338181605.wbo 599625669 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.07 2.03 2.00 3/179 26016
/proc/meminfo: memFree=30243144/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[startup+0.0175671 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 26016
/proc/meminfo: memFree=30243144/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/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.07 2.03 2.00 3/179 26016
/proc/meminfo: memFree=30243144/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 26016
/proc/meminfo: memFree=30243144/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 26016
/proc/meminfo: memFree=30243144/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/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.07 2.03 2.00 3/183 26020
/proc/meminfo: memFree=30187876/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=35440 CPUtime=0.87 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 5261 0 0 0 84 3 0 0 20 0 1 0 284287509 36290560 5879 33554432000 4194304 5990268 140736540634640 140736540627792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 8860 5879 156 439 0 8417 0
[pid=26019] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26019/stat : 26019 (cp2_pre.sh) S 26017 26016 22647 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284287597 9367552 277 33554432000 4194304 5064252 140736700737568 140736700736272 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 2287 277 234 213 0 72 0
[pid=26020] ppid=26019 vsize=164960 CPUtime=0.61 cores=0,2,4,6
/proc/26020/stat : 26020 (coprocessor) R 26019 26016 22647 0 -1 4202496 25455 0 0 0 56 5 0 0 20 0 1 0 284287597 168919040 36129 33554432000 4194304 6586260 140734101653456 140736700736296 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26020/statm: 41240 36129 166 584 0 40652 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218696
[startup+3.1004 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 26020
/proc/meminfo: memFree=30010796/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=35440 CPUtime=0.87 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 5261 0 0 0 84 3 0 0 20 0 1 0 284287509 36290560 5879 33554432000 4194304 5990268 140736540634640 140736540627792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 8860 5879 156 439 0 8417 0
[pid=26019] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26019/stat : 26019 (cp2_pre.sh) S 26017 26016 22647 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284287597 9367552 277 33554432000 4194304 5064252 140736700737568 140736700736272 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 2287 277 234 213 0 72 0
[pid=26020] ppid=26019 vsize=202212 CPUtime=2.2 cores=0,2,4,6
/proc/26020/stat : 26020 (coprocessor) R 26019 26016 22647 0 -1 4202496 32572 0 0 0 214 6 0 0 20 0 1 0 284287597 207065088 49409 33554432000 4194304 6586260 140734101653456 140734101648712 4683532 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26020/statm: 50553 49409 191 584 0 49965 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 255948
[startup+6.30037 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 26020
/proc/meminfo: memFree=29989124/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=35440 CPUtime=0.87 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 5261 0 0 0 84 3 0 0 20 0 1 0 284287509 36290560 5879 33554432000 4194304 5990268 140736540634640 140736540627792 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 8860 5879 156 439 0 8417 0
[pid=26019] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26019/stat : 26019 (cp2_pre.sh) S 26017 26016 22647 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284287597 9367552 277 33554432000 4194304 5064252 140736700737568 140736700736272 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 2287 277 234 213 0 72 0
[pid=26020] ppid=26019 vsize=237436 CPUtime=5.4 cores=0,2,4,6
/proc/26020/stat : 26020 (coprocessor) R 26019 26016 22647 0 -1 4202496 36002 0 0 0 482 58 0 0 20 0 1 0 284287597 243134464 58057 33554432000 4194304 6586260 140734101653456 140734101649224 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26020/statm: 59359 58057 198 584 0 58771 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 291172
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 26033
/proc/meminfo: memFree=30054628/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=12.28 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 13654 98113 0 0 120 39 951 118 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 66468
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 26051
/proc/meminfo: memFree=30058636/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=17.52 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 19504 155523 0 0 129 40 1434 149 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26050] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26050/stat : 26050 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284289263 9367552 266 33554432000 4194304 5064252 140734638809584 140734638808496 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26050/statm: 2287 266 226 213 0 72 0
[pid=26051] ppid=26050 vsize=79916 CPUtime=7.94 cores=0,2,4,6
/proc/26051/stat : 26051 (glucose) R 26050 26016 22647 0 -1 4202496 17236 0 0 0 791 3 0 0 20 0 1 0 284289264 81833984 17911 33554432000 4194304 5208918 140734845924464 140734845922552 4211540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26051/statm: 19979 17911 103 248 0 19728 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 155532
[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 26086
/proc/meminfo: memFree=30089040/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=48.5 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 28678 273764 0 0 139 42 4475 194 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26085] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26085/stat : 26085 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284292371 9367552 266 33554432000 4194304 5064252 140734195584656 140734195583568 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26085/statm: 2287 266 226 213 0 72 0
[pid=26086] ppid=26085 vsize=70172 CPUtime=2.46 cores=0,2,4,6
/proc/26086/stat : 26086 (glucose) R 26085 26016 22647 0 -1 4202496 14196 0 0 0 244 2 0 0 20 0 1 0 284292371 71856128 14381 33554432000 4194304 5208918 140734807526800 140734807524648 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26086/statm: 17543 14381 103 248 0 17292 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 145788
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 26093
/proc/meminfo: memFree=30061120/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=91064 CPUtime=50.42 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 15627 0 0 0 5039 3 0 0 20 0 1 0 284292696 93249536 20145 33554432000 4194304 5208918 140737050128240 140737050124616 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 22766 20145 105 248 0 22515 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 166680
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 26093
/proc/meminfo: memFree=30035036/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=115896 CPUtime=110.38 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 16280 0 0 0 11034 4 0 0 20 0 1 0 284292696 118677504 25504 33554432000 4194304 5208918 140737050128240 140737050124008 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 28974 25504 105 248 0 28723 0
Current children cumulated CPU time (s) 162.12
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26165
/proc/meminfo: memFree=29929584/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=264268 CPUtime=1370.19 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 28874 0 0 0 136998 21 0 0 20 0 1 0 284292696 270610432 61588 33554432000 4194304 5208918 140737050128240 140737050124616 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 66067 61588 105 248 0 65816 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 339884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26166
/proc/meminfo: memFree=29900860/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=264268 CPUtime=1430.17 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 30016 0 0 0 142995 22 0 0 20 0 1 0 284292696 270610432 60992 33554432000 4194304 5208918 140737050128240 140737050124616 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 66067 60992 105 248 0 65816 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 339884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26166
/proc/meminfo: memFree=29884664/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=295088 CPUtime=1490.17 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 30626 0 0 0 148993 24 0 0 20 0 1 0 284292696 302170112 64643 33554432000 4194304 5208918 140737050128240 140737050124616 4229476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 73772 64643 105 248 0 73521 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 370704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26166
/proc/meminfo: memFree=29890388/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=264268 CPUtime=1550.15 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 31217 0 0 0 154990 25 0 0 20 0 1 0 284292696 270610432 63552 33554432000 4194304 5208918 140737050128240 140737050124616 4229850 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 66067 63552 105 248 0 65816 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 339884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26166
/proc/meminfo: memFree=29927640/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=264268 CPUtime=1610.15 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 32399 0 0 0 160988 27 0 0 20 0 1 0 284292696 270610432 62016 33554432000 4194304 5208918 140737050128240 140737050124008 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 66067 62016 105 248 0 65816 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 339884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26167
/proc/meminfo: memFree=29911312/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=264268 CPUtime=1670.14 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 33583 0 0 0 166986 28 0 0 20 0 1 0 284292696 270610432 60992 33554432000 4194304 5208918 140737050128240 140737050126152 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 66067 60992 105 248 0 65816 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 339884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26168
/proc/meminfo: memFree=29917108/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=295088 CPUtime=1730.13 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 34186 0 0 0 172984 29 0 0 20 0 1 0 284292696 302170112 64643 33554432000 4194304 5208918 140737050128240 140737050126392 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 73772 64643 105 248 0 73521 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 370704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26168
/proc/meminfo: memFree=29877856/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=295088 CPUtime=1748.32 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 34203 0 0 0 174803 29 0 0 20 0 1 0 284292696 302170112 65667 33554432000 4194304 5208918 140737050128240 140737050124616 4229169 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 73772 65667 105 248 0 73521 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 370704
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 26168
/proc/meminfo: memFree=29877856/32873844 swapFree=7108/7108
[pid=26016] ppid=26014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26016/stat : 26016 (npSolver-wbo.sh) S 26014 26016 22647 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284287509 9367552 275 33554432000 4194304 5064252 140736612001136 140736612000048 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26016/statm: 2287 275 233 213 0 72 0
[pid=26017] ppid=26016 vsize=57320 CPUtime=51.74 cores=0,2,4,6
/proc/26017/stat : 26017 (npSolver-wbo) S 26016 26016 22647 0 -1 4202496 30643 297870 0 0 141 42 4788 203 20 0 1 0 284287509 58695680 11325 33554432000 4194304 5990268 140736540634640 140736540626080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26017/statm: 14330 11325 164 439 0 13887 0
[pid=26092] ppid=26017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26092/stat : 26092 (satsolver.sh) S 26017 26016 22647 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284292695 9367552 267 33554432000 4194304 5064252 140733530855728 140733530854640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26092/statm: 2287 267 226 213 0 72 0
[pid=26093] ppid=26092 vsize=295088 CPUtime=1748.32 cores=0,2,4,6
/proc/26093/stat : 26093 (glucose) R 26092 26016 22647 0 -1 4202496 34203 0 0 0 174803 29 0 0 20 0 1 0 284292696 302170112 65667 33554432000 4194304 5208918 140737050128240 140737050124616 4229169 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26093/statm: 73772 65667 105 248 0 73521 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 370704
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1797.34
CPU system time (s): 2.75858
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 420024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 2.75858
maximum resident set size= 303520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6912
involuntary context switches= 1971
runsolver used 3.13952 second user time and 8.44272 second system time
The end