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-3754350-1339186491/watcher-3754350-1339186491 -o /tmp/evaluation-result-3754350-1339186491/solver-3754350-1339186491 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754350-1339186491.wbo 1892975563 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.01 2.01 1.88 3/178 9373
/proc/meminfo: memFree=29753372/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[startup+0.015516 s]
/proc/loadavg: 2.01 2.01 1.88 3/178 9373
/proc/meminfo: memFree=29753372/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 2.01 2.01 1.88 3/178 9373
/proc/meminfo: memFree=29753372/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300272 s]
/proc/loadavg: 2.01 2.01 1.88 3/178 9373
/proc/meminfo: memFree=29753372/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 2.01 2.01 1.88 3/178 9373
/proc/meminfo: memFree=29753372/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 1.88 3/182 9380
/proc/meminfo: memFree=29746440/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=14796 CPUtime=1.45 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 4641 0 0 0 145 0 0 0 20 0 1 0 384776052 15151104 3234 33554432000 4194304 5208918 140735446857952 140735446855896 4229728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 3699 3234 96 248 0 3448 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35480
[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 1.88 3/182 9380
/proc/meminfo: memFree=29730496/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=26288 CPUtime=3.05 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 4975 0 0 0 305 0 0 0 20 0 1 0 384776052 26918912 6122 33554432000 4194304 5208918 140735446857952 140735446855896 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 6572 6122 96 248 0 6321 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46972
[startup+6.30039 s]
/proc/loadavg: 2.01 2.01 1.88 3/182 9380
/proc/meminfo: memFree=29723284/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=30752 CPUtime=6.26 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 5560 0 0 0 625 1 0 0 20 0 1 0 384776052 31490048 7212 33554432000 4194304 5208918 140735446857952 140735446855816 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 7688 7212 96 248 0 7437 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 51436
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.88 3/182 9425
/proc/meminfo: memFree=31358896/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=33472 CPUtime=12.65 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 5748 0 0 0 1264 1 0 0 20 0 1 0 384776052 34275328 7910 33554432000 4194304 5208918 140735446857952 140735446855816 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 8368 7910 96 248 0 8117 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54156
[startup+25.5005 s]
/proc/loadavg: 2.01 2.00 1.88 3/183 9426
/proc/meminfo: memFree=31271036/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=56748 CPUtime=25.44 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 7756 0 0 0 2542 2 0 0 20 0 1 0 384776052 58109952 12714 33554432000 4194304 5208918 140735446857952 140735446855896 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 14187 12714 96 248 0 13936 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 77432
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 9426
/proc/meminfo: memFree=31245468/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=68648 CPUtime=51.04 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 8402 0 0 0 5100 4 0 0 20 0 1 0 384776052 70295552 16713 33554432000 4194304 5208918 140735446857952 140735446856040 4229720 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 17162 16713 96 248 0 16911 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 89332
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 9427
/proc/meminfo: memFree=31202192/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=117968 CPUtime=102.24 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 9429 0 0 0 10214 10 0 0 20 0 1 0 384776052 120799232 26536 33554432000 4194304 5208918 140735446857952 140735446855944 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 29492 26536 96 248 0 29241 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 138652
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 9448
/proc/meminfo: memFree=31216124/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 9458
/proc/meminfo: memFree=31062112/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1421.97 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 68256 0 0 0 142043 154 0 0 20 0 1 0 384776052 203649024 38193 33554432000 4194304 5208918 140735446857952 140735446856104 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 38193 96 248 0 49468 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 219560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 9458
/proc/meminfo: memFree=31126932/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=117968 CPUtime=1481.95 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 70180 0 0 0 148035 160 0 0 20 0 1 0 384776052 120799232 28844 33554432000 4194304 5208918 140735446857952 140735446856040 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 29492 28844 96 248 0 29241 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 138652
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 9461
/proc/meminfo: memFree=31070416/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1541.95 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 72909 0 0 0 154029 166 0 0 20 0 1 0 384776052 203649024 38705 33554432000 4194304 5208918 140735446857952 140735446856104 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 38705 96 248 0 49468 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 219560
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/183 9462
/proc/meminfo: memFree=31127972/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1601.93 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 74459 0 0 0 160023 170 0 0 20 0 1 0 384776052 203649024 41777 33554432000 4194304 5208918 140735446857952 140735446856104 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 41777 96 248 0 49468 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 219560
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 9462
/proc/meminfo: memFree=31099104/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1661.92 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 76015 0 0 0 166019 173 0 0 20 0 1 0 384776052 203649024 40753 33554432000 4194304 5208918 140735446857952 140735446856104 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 40753 96 248 0 49468 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 219560
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 9462
/proc/meminfo: memFree=31064264/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1721.91 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 77564 0 0 0 172014 177 0 0 20 0 1 0 384776052 203649024 42289 33554432000 4194304 5208918 140735446857952 140735446856104 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 42289 96 248 0 49468 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 219560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9462
/proc/meminfo: memFree=31029500/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=198876 CPUtime=1781.9 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 79111 0 0 0 178010 180 0 0 20 0 1 0 384776052 203649024 44337 33554432000 4194304 5208918 140735446857952 140735446856104 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 49719 44337 96 248 0 49468 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 219560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9462
/proc/meminfo: memFree=31174132/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=148788 CPUtime=1800 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 79818 0 0 0 179818 182 0 0 20 0 1 0 384776052 152358912 30212 33554432000 4194304 5208918 140735446857952 140735446856104 4229532 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 37197 30212 96 248 0 36946 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 169472
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 9462
/proc/meminfo: memFree=31174132/32873844 swapFree=7116/7116
[pid=9373] ppid=9371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9373/stat : 9373 (npSolver-wbo-I.) S 9371 9373 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384776048 9367552 275 33554432000 4194304 5064252 140734077359920 140734077358832 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9373/statm: 2287 275 233 213 0 72 0
[pid=9374] ppid=9373 vsize=2388 CPUtime=0.01 cores=1,3,5,7
/proc/9374/stat : 9374 (npSolver-wbo) S 9373 9373 7523 0 -1 4202496 1813 2212 0 0 0 0 1 0 20 0 1 0 384776049 2445312 248 33554432000 4194304 6006132 140734301945920 140734301940112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9374/statm: 597 248 157 443 0 150 0
[pid=9379] ppid=9374 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9379/stat : 9379 (satsolver.sh) S 9374 9373 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384776052 9367552 266 33554432000 4194304 5064252 140734807501632 140734807500544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9379/statm: 2287 266 226 213 0 72 0
[pid=9380] ppid=9379 vsize=148788 CPUtime=1800 cores=1,3,5,7
/proc/9380/stat : 9380 (glucose) R 9379 9373 7523 0 -1 4202496 79818 0 0 0 179818 182 0 0 20 0 1 0 384776052 152358912 30212 33554432000 4194304 5208918 140735446857952 140735446856104 4229532 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9380/statm: 37197 30212 96 248 0 36946 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 169472
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1798.21
CPU system time (s): 1.84072
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 268880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 1.84072
maximum resident set size= 226880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 1857
runsolver used 3.3205 second user time and 8.92464 second system time
The end