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-3714187-1338176250/watcher-3714187-1338176250 -o /tmp/evaluation-result-3714187-1338176250/solver-3714187-1338176250 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714187-1338176250.wbo 762806290 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16039
/proc/meminfo: memFree=29855040/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[startup+0.0604279 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16039
/proc/meminfo: memFree=29855040/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16039
/proc/meminfo: memFree=29855040/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16039
/proc/meminfo: memFree=29855040/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16039
/proc/meminfo: memFree=29855040/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16055
/proc/meminfo: memFree=29890112/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=8176 CPUtime=0.83 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 3282 10865 0 0 8 2 66 7 20 0 1 0 283753542 8372224 1593 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 2044 1593 164 439 0 1601 0
[pid=16052] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16052/stat : 16052 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283753627 9367552 266 33554432000 4194304 5064252 140734887251488 140734887250400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16052/statm: 2287 266 226 213 0 72 0
[pid=16053] ppid=16052 vsize=32944 CPUtime=0.64 cores=1,3,5,7
/proc/16053/stat : 16053 (glucose) R 16052 16039 14387 0 -1 4202496 6158 0 0 0 63 1 0 0 20 0 1 0 283753627 33734656 6462 33554432000 4194304 5208918 140733781050160 140733781048120 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16053/statm: 8236 6462 95 248 0 7985 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 59416
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16068
/proc/meminfo: memFree=29840300/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=8176 CPUtime=0.83 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 3282 10865 0 0 8 2 66 7 20 0 1 0 283753542 8372224 1593 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 2044 1593 164 439 0 1601 0
[pid=16052] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16052/stat : 16052 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283753627 9367552 266 33554432000 4194304 5064252 140734887251488 140734887250400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16052/statm: 2287 266 226 213 0 72 0
[pid=16053] ppid=16052 vsize=33536 CPUtime=2.24 cores=1,3,5,7
/proc/16053/stat : 16053 (glucose) R 16052 16039 14387 0 -1 4202496 7703 0 0 0 223 1 0 0 20 0 1 0 283753627 34340864 6974 33554432000 4194304 5208918 140733781050160 140733781048248 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16053/statm: 8384 6974 96 248 0 8133 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 60008
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16077
/proc/meminfo: memFree=29771700/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=4.89 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 3819 24924 0 0 9 2 465 13 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16076] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16076/stat : 16076 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754034 9367552 267 33554432000 4194304 5064252 140734456080320 140734456079232 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16076/statm: 2287 267 226 213 0 72 0
[pid=16077] ppid=16076 vsize=13496 CPUtime=1.36 cores=1,3,5,7
/proc/16077/stat : 16077 (glucose) R 16076 16039 14387 0 -1 4202496 3529 0 0 0 136 0 0 0 20 0 1 0 283754034 13819904 2367 33554432000 4194304 5208918 140733442405264 140733442403208 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16077/statm: 3374 2367 96 248 0 3123 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36684
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16098
/proc/meminfo: memFree=29820928/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=16492 CPUtime=2.93 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 3896 0 0 0 293 0 0 0 20 0 1 0 283754517 16887808 3664 33554432000 4194304 5208918 140737095607792 140737095605736 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 4123 3664 104 248 0 3872 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 39680
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16126
/proc/meminfo: memFree=29847560/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=28268 CPUtime=15.73 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 5703 0 0 0 1572 1 0 0 20 0 1 0 283754517 28946432 6576 33554432000 4194304 5208918 140737095607792 140737095604168 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 7067 6576 104 248 0 6816 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 51456
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16126
/proc/meminfo: memFree=29809276/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=55492 CPUtime=41.32 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 6901 0 0 0 4130 2 0 0 20 0 1 0 283754517 56823808 10607 33554432000 4194304 5208918 140737095607792 140737095604168 4229307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 13873 10607 104 248 0 13622 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 78680
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16127
/proc/meminfo: memFree=29753356/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=74348 CPUtime=92.52 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 7840 0 0 0 9249 3 0 0 20 0 1 0 283754517 76132352 18093 33554432000 4194304 5208918 140737095607792 140737095604168 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 18587 18093 104 248 0 18336 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 97536
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16130
/proc/meminfo: memFree=29763204/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 16140
/proc/meminfo: memFree=29574360/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=138776 CPUtime=1352.32 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 21500 0 0 0 135194 38 0 0 20 0 1 0 283754517 142106624 30831 33554432000 4194304 5208918 140737095607792 140737095605784 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 34694 30831 104 248 0 34443 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 161964
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 16163
/proc/meminfo: memFree=29598620/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=139600 CPUtime=1412.32 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 22507 0 0 0 141191 41 0 0 20 0 1 0 283754517 142950400 29997 33554432000 4194304 5208918 140737095607792 140737095605784 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 34900 29997 104 248 0 34649 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 162788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16163
/proc/meminfo: memFree=29562992/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=170420 CPUtime=1472.3 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 23110 0 0 0 147189 41 0 0 20 0 1 0 283754517 174510080 37232 33554432000 4194304 5208918 140737095607792 140737095605944 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 42605 37232 104 248 0 42354 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 193608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16163
/proc/meminfo: memFree=29554184/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=171084 CPUtime=1532.3 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 24090 0 0 0 153186 44 0 0 20 0 1 0 283754517 175190016 37398 33554432000 4194304 5208918 140737095607792 140737095604168 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 42771 37398 104 248 0 42520 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 194272
[startup+1602.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 16163
/proc/meminfo: memFree=29543888/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=173168 CPUtime=1592.29 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 25428 0 0 0 159183 46 0 0 20 0 1 0 283754517 177324032 36895 33554432000 4194304 5208918 140737095607792 140737095605944 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 43292 36895 104 248 0 43041 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 196356
[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/181 16164
/proc/meminfo: memFree=29545748/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=175728 CPUtime=1652.28 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 26368 0 0 0 165180 48 0 0 20 0 1 0 283754517 179945472 36511 33554432000 4194304 5208918 140737095607792 140737095605944 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 43932 36511 104 248 0 43681 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 198916
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 16164
/proc/meminfo: memFree=29527116/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=175728 CPUtime=1712.27 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 26376 0 0 0 171179 48 0 0 20 0 1 0 283754517 179945472 40607 33554432000 4194304 5208918 140737095607792 140737095605944 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 43932 40607 104 248 0 43681 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 198916
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 16164
/proc/meminfo: memFree=29535808/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=179000 CPUtime=1772.26 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 28021 0 0 0 177176 50 0 0 20 0 1 0 283754517 183296000 37841 33554432000 4194304 5208918 140737095607792 140737095605944 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 44750 37841 104 248 0 44499 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 202188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 16216
/proc/meminfo: memFree=29764140/32873844 swapFree=7112/7112
[pid=16039] ppid=16037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16039/stat : 16039 (npSolver-wbo-I.) S 16037 16039 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283753542 9367552 274 33554432000 4194304 5064252 140733831651600 140733831650512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16039/statm: 2287 274 233 213 0 72 0
[pid=16040] ppid=16039 vsize=4892 CPUtime=9.72 cores=1,3,5,7
/proc/16040/stat : 16040 (npSolver-wbo) S 16039 16039 14387 0 -1 4202496 4247 41737 0 0 9 3 942 18 20 0 1 0 283753542 5009408 849 33554432000 4194304 5990268 140736626762576 140736626754016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16040/statm: 1223 849 164 439 0 780 0
[pid=16097] ppid=16040 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16097/stat : 16097 (satsolver.sh) S 16040 16039 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754517 9367552 267 33554432000 4194304 5064252 140736474744832 140736474743744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=179000 CPUtime=1790.36 cores=1,3,5,7
/proc/16098/stat : 16098 (glucose) R 16097 16039 14387 0 -1 4202496 28023 0 0 0 178986 50 0 0 20 0 1 0 283754517 183296000 38865 33554432000 4194304 5208918 140737095607792 140737095605944 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16098/statm: 44750 38865 104 248 0 44499 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 202188
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.39
CPU system time (s): 0.733888
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 202188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.733888
maximum resident set size= 162432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294
involuntary context switches= 1903
runsolver used 3.62045 second user time and 8.72767 second system time
The end