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-3753078-1339213637/watcher-3753078-1339213637 -o /tmp/evaluation-result-3753078-1339213637/solver-3753078-1339213637 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753078-1339213637.wbo 1244090266 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.06 2.02 1.94 3/179 26181
/proc/meminfo: memFree=30345156/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[startup+0.0980479 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 26181
/proc/meminfo: memFree=30345156/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 26181
/proc/meminfo: memFree=30345156/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300136 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 26181
/proc/meminfo: memFree=30345156/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 26181
/proc/meminfo: memFree=30345156/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 26251
/proc/meminfo: memFree=30336644/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=1.45 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 6752 54898 0 0 15 3 97 30 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13644
[startup+3.10035 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 26265
/proc/meminfo: memFree=30336204/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=1.45 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 6752 54898 0 0 15 3 97 30 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26264] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26264/stat : 26264 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387490812 9367552 266 33554432000 4194304 5064252 140737243692336 140737243691248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26264/statm: 2287 266 226 213 0 72 0
[pid=26265] ppid=26264 vsize=8944 CPUtime=1.63 cores=0,2,4,6
/proc/26265/stat : 26265 (glucose) R 26264 26181 14023 0 -1 4202496 2746 0 0 0 163 0 0 0 20 0 1 0 387490813 9158656 1732 33554432000 4194304 5208918 140737242713680 140737242711768 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26265/statm: 2236 1732 102 248 0 1985 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31736
[startup+6.3004 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 26265
/proc/meminfo: memFree=30330004/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=1.45 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 6752 54898 0 0 15 3 97 30 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26264] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26264/stat : 26264 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387490812 9367552 266 33554432000 4194304 5064252 140737243692336 140737243691248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26264/statm: 2287 266 226 213 0 72 0
[pid=26265] ppid=26264 vsize=20368 CPUtime=4.83 cores=0,2,4,6
/proc/26265/stat : 26265 (glucose) R 26264 26181 14023 0 -1 4202496 4611 0 0 0 483 0 0 0 20 0 1 0 387490813 20856832 4037 33554432000 4194304 5208918 140737242713680 140737242711544 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26265/statm: 5092 4037 102 248 0 4841 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43160
[startup+12.7004 s]
/proc/loadavg: 2.05 2.02 1.94 3/183 26265
/proc/meminfo: memFree=30323800/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=1.45 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 6752 54898 0 0 15 3 97 30 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26264] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26264/stat : 26264 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387490812 9367552 266 33554432000 4194304 5064252 140737243692336 140737243691248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26264/statm: 2287 266 226 213 0 72 0
[pid=26265] ppid=26264 vsize=17748 CPUtime=11.23 cores=0,2,4,6
/proc/26265/stat : 26265 (glucose) R 26264 26181 14023 0 -1 4202496 5848 0 0 0 1122 1 0 0 20 0 1 0 387490813 18173952 3573 33554432000 4194304 5208918 140737242713680 140737242711672 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26265/statm: 4437 3573 102 248 0 4186 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40540
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 1.94 3/183 26265
/proc/meminfo: memFree=30316256/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=1.45 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 6752 54898 0 0 15 3 97 30 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26264] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26264/stat : 26264 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387490812 9367552 266 33554432000 4194304 5064252 140737243692336 140737243691248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26264/statm: 2287 266 226 213 0 72 0
[pid=26265] ppid=26264 vsize=29240 CPUtime=24.02 cores=0,2,4,6
/proc/26265/stat : 26265 (glucose) R 26264 26181 14023 0 -1 4202496 7064 0 0 0 2401 1 0 0 20 0 1 0 387490813 29941760 6784 33554432000 4194304 5208918 140737242713680 140737242711544 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26265/statm: 7310 6784 103 248 0 7059 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52032
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 1.94 3/183 26272
/proc/meminfo: memFree=30318372/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=27.88 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7060 64931 0 0 16 3 2735 34 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26271] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26271/stat : 26271 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387493456 9367552 267 33554432000 4194304 5064252 140735027164240 140735027163152 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26271/statm: 2287 267 226 213 0 72 0
[pid=26272] ppid=26271 vsize=25180 CPUtime=23.2 cores=0,2,4,6
/proc/26272/stat : 26272 (glucose) R 26271 26181 14023 0 -1 4202496 6196 0 0 0 2319 1 0 0 20 0 1 0 387493456 25784320 5778 33554432000 4194304 5208918 140736619192912 140736619190776 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26272/statm: 6295 5778 102 248 0 6044 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47972
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 26280
/proc/meminfo: memFree=30319860/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=23216 CPUtime=25.66 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 5793 0 0 0 2565 1 0 0 20 0 1 0 387498330 23773184 5282 33554432000 4194304 5208918 140735861225008 140735861222952 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 5804 5282 102 248 0 5553 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46008
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/183 26280
/proc/meminfo: memFree=30303528/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=41920 CPUtime=85.64 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 7522 0 0 0 8563 1 0 0 20 0 1 0 387498330 42926080 8792 33554432000 4194304 5208918 140735861225008 140735861222872 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 10480 8792 103 248 0 10229 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/183 26312
/proc/meminfo: memFree=30140996/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1285.46 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 17559 0 0 0 128527 19 0 0 20 0 1 0 387498330 155865088 34735 33554432000 4194304 5208918 140735861225008 140735861223000 4212757 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 34735 103 248 0 37802 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 175004
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.95 3/184 26315
/proc/meminfo: memFree=30197080/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=102892 CPUtime=1345.45 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 17883 0 0 0 134525 20 0 0 20 0 1 0 387498330 105361408 25221 33554432000 4194304 5208918 140735861225008 140735861223096 4229176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 25723 25221 103 248 0 25472 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 125684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 26315
/proc/meminfo: memFree=30146448/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1405.44 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 18522 0 0 0 140522 22 0 0 20 0 1 0 387498330 155865088 35759 33554432000 4194304 5208918 140735861225008 140735861223000 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 35759 103 248 0 37802 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 175004
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26315
/proc/meminfo: memFree=30183560/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=102892 CPUtime=1465.42 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 19074 0 0 0 146519 23 0 0 20 0 1 0 387498330 105361408 25221 33554432000 4194304 5208918 140735861225008 140735861223096 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 25723 25221 103 248 0 25472 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 125684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26316
/proc/meminfo: memFree=30147320/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1525.42 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 19710 0 0 0 152517 25 0 0 20 0 1 0 387498330 155865088 34223 33554432000 4194304 5208918 140735861225008 140735861223000 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 34223 103 248 0 37802 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 175004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26316
/proc/meminfo: memFree=30128392/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1585.41 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 20230 0 0 0 158515 26 0 0 20 0 1 0 387498330 155865088 36783 33554432000 4194304 5208918 140735861225008 140735861223000 4229264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 36783 103 248 0 37802 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 175004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26316
/proc/meminfo: memFree=30167460/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=102892 CPUtime=1645.4 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 21666 0 0 0 164512 28 0 0 20 0 1 0 387498330 105361408 25221 33554432000 4194304 5208918 140735861225008 140735861223096 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 25723 25221 103 248 0 25472 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 125684
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 26341
/proc/meminfo: memFree=31144796/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1705.39 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 22838 0 0 0 170508 31 0 0 20 0 1 0 387498330 155865088 34735 33554432000 4194304 5208918 140735861225008 140735861223000 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 34735 103 248 0 37802 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 175004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.72 1.93 1.93 2/174 26341
/proc/meminfo: memFree=31134256/32873844 swapFree=7116/7116
[pid=26181] ppid=26179 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (npSolver-wbo-It) S 26179 26181 14023 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387490667 9367552 275 33554432000 4194304 5064252 140735524726448 140735524725360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26181/statm: 2287 275 233 213 0 72 0
[pid=26182] ppid=26181 vsize=4496 CPUtime=76.61 cores=0,2,4,6
/proc/26182/stat : 26182 (npSolver-wbo) S 26181 26181 14023 0 -1 4202496 7368 75214 0 0 17 3 7603 38 20 0 1 0 387490667 4603904 691 33554432000 4194304 6006132 140735047862000 140735047853392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26182/statm: 1124 691 188 443 0 677 0
[pid=26279] ppid=26182 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26279/stat : 26279 (satsolver.sh) S 26182 26181 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387498330 9367552 266 33554432000 4194304 5064252 140735310184432 140735310183344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26279/statm: 2287 266 226 213 0 72 0
[pid=26280] ppid=26279 vsize=152212 CPUtime=1723.49 cores=0,2,4,6
/proc/26280/stat : 26280 (glucose) R 26279 26181 14023 0 -1 4202496 22843 0 0 0 172318 31 0 0 20 0 1 0 387498330 155865088 37295 33554432000 4194304 5208918 140735861225008 140735861223000 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26280/statm: 38053 37295 103 248 0 37802 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 175004
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.4
CPU system time (s): 0.737887
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 205824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.737887
maximum resident set size= 153544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467
involuntary context switches= 2315
runsolver used 7.41087 second user time and 18.2832 second system time
The end