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-3753243-1339208167/watcher-3753243-1339208167 -o /tmp/evaluation-result-3753243-1339208167/solver-3753243-1339208167 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753243-1339208167.wbo 342878049 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 1.99 1.88 3/177 8449
/proc/meminfo: memFree=29043200/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[startup+0.0250979 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 8449
/proc/meminfo: memFree=29043200/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 8449
/proc/meminfo: memFree=29043200/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300116 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 8449
/proc/meminfo: memFree=29043200/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700108 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 8449
/proc/meminfo: memFree=29043200/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 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.00 1.99 1.88 3/181 8456
/proc/meminfo: memFree=29034416/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 1964 2754 0 0 2 0 15 0 20 0 1 0 386942194 3174400 385 33554432000 4194304 6006132 140734234593264 140734234587456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8450/statm: 775 385 158 443 0 328 0
[pid=8455] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8455/stat : 8455 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386942214 9367552 267 33554432000 4194304 5064252 140733945692064 140733945690976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=9480 CPUtime=1.29 cores=1,3,5,7
/proc/8456/stat : 8456 (glucose) R 8455 8449 25576 0 -1 4202496 2418 0 0 0 129 0 0 0 20 0 1 0 386942214 9707520 1973 33554432000 4194304 5208918 140736676789136 140736676787080 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8456/statm: 2370 1973 96 248 0 2119 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30876
[startup+3.10028 s]
/proc/loadavg: 2.00 1.99 1.88 3/181 8456
/proc/meminfo: memFree=29028624/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 1964 2754 0 0 2 0 15 0 20 0 1 0 386942194 3174400 385 33554432000 4194304 6006132 140734234593264 140734234587456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8450/statm: 775 385 158 443 0 328 0
[pid=8455] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8455/stat : 8455 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386942214 9367552 267 33554432000 4194304 5064252 140733945692064 140733945690976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=18228 CPUtime=2.89 cores=1,3,5,7
/proc/8456/stat : 8456 (glucose) R 8455 8449 25576 0 -1 4202496 3265 0 0 0 289 0 0 0 20 0 1 0 386942214 18665472 3829 33554432000 4194304 5208918 140736676789136 140736676787000 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8456/statm: 4557 3829 96 248 0 4306 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39624
[startup+6.30028 s]
/proc/loadavg: 2.00 1.99 1.88 3/181 8456
/proc/meminfo: memFree=29021508/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 1964 2754 0 0 2 0 15 0 20 0 1 0 386942194 3174400 385 33554432000 4194304 6006132 140734234593264 140734234587456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8450/statm: 775 385 158 443 0 328 0
[pid=8455] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8455/stat : 8455 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386942214 9367552 267 33554432000 4194304 5064252 140733945692064 140733945690976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=19392 CPUtime=6.09 cores=1,3,5,7
/proc/8456/stat : 8456 (glucose) R 8455 8449 25576 0 -1 4202496 4312 0 0 0 609 0 0 0 20 0 1 0 386942214 19857408 4431 33554432000 4194304 5208918 140736676789136 140736676787080 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8456/statm: 4848 4431 96 248 0 4597 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40788
[startup+12.7003 s]
/proc/loadavg: 2.08 2.00 1.88 3/181 8456
/proc/meminfo: memFree=29016908/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 1964 2754 0 0 2 0 15 0 20 0 1 0 386942194 3174400 385 33554432000 4194304 6006132 140734234593264 140734234587456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8450/statm: 775 385 158 443 0 328 0
[pid=8455] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8455/stat : 8455 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386942214 9367552 267 33554432000 4194304 5064252 140733945692064 140733945690976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8455/statm: 2287 267 226 213 0 72 0
[pid=8456] ppid=8455 vsize=29368 CPUtime=12.49 cores=1,3,5,7
/proc/8456/stat : 8456 (glucose) R 8455 8449 25576 0 -1 4202496 4491 0 0 0 1249 0 0 0 20 0 1 0 386942214 30072832 5104 33554432000 4194304 5208918 140736676789136 140736676787224 4229720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8456/statm: 7342 5104 96 248 0 7091 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 50764
[startup+25.5002 s]
/proc/loadavg: 2.07 2.00 1.88 3/181 8463
/proc/meminfo: memFree=29021056/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=20.29 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 2516 11542 0 0 3 2 2022 2 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=8462] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8462/stat : 8462 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386944226 9367552 267 33554432000 4194304 5064252 140734034621680 140734034620592 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8462/statm: 2287 267 226 213 0 72 0
[pid=8463] ppid=8462 vsize=23220 CPUtime=5.16 cores=1,3,5,7
/proc/8463/stat : 8463 (glucose) R 8462 8449 25576 0 -1 4202496 5151 0 0 0 516 0 0 0 20 0 1 0 386944226 23777280 4311 33554432000 4194304 5208918 140734129274240 140734129272328 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8463/statm: 5805 4311 96 248 0 5554 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46412
[startup+51.1003 s]
/proc/loadavg: 2.17 2.03 1.90 3/181 8477
/proc/meminfo: memFree=29025688/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=48.3 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 3056 21719 0 0 4 2 4819 5 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=8476] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8476/stat : 8476 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386947028 9367552 267 33554432000 4194304 5064252 140736464199600 140736464198512 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8476/statm: 2287 267 226 213 0 72 0
[pid=8477] ppid=8476 vsize=16148 CPUtime=2.74 cores=1,3,5,7
/proc/8477/stat : 8477 (glucose) R 8476 8449 25576 0 -1 4202496 3851 0 0 0 274 0 0 0 20 0 1 0 386947028 16535552 3713 33554432000 4194304 5208918 140734091168880 140734091166824 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8477/statm: 4037 3713 96 248 0 3786 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 39340
[startup+102.306 s]
/proc/loadavg: 2.13 2.04 1.91 3/181 8491
/proc/meminfo: memFree=29007632/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=75.51 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 3596 30688 0 0 5 2 7535 9 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=8483] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8483/stat : 8483 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386949750 9367552 267 33554432000 4194304 5064252 140735241340240 140735241339152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8483/statm: 2287 267 226 213 0 72 0
[pid=8484] ppid=8483 vsize=27976 CPUtime=26.73 cores=1,3,5,7
/proc/8484/stat : 8484 (glucose) R 8483 8449 25576 0 -1 4202496 6467 0 0 0 2672 1 0 0 20 0 1 0 386949750 28647424 6668 33554432000 4194304 5208918 140737284610608 140737284608696 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8484/statm: 6994 6668 96 248 0 6743 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 51168
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/181 8519
/proc/meminfo: memFree=29016156/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=159.37 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 5216 60188 0 0 8 2 15908 19 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=8518] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 9014
/proc/meminfo: memFree=29007444/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1340.19 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 27896 464499 0 0 52 8 133799 160 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9006] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9006/stat : 9006 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387076253 9367552 267 33554432000 4194304 5064252 140734281478304 140734281477216 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9006/statm: 2287 267 226 213 0 72 0
[pid=9007] ppid=9006 vsize=39468 CPUtime=21.7 cores=1,3,5,7
/proc/9007/stat : 9007 (glucose) R 9006 8449 25576 0 -1 4202496 5562 0 0 0 2169 1 0 0 20 0 1 0 387076253 40415232 8930 33554432000 4194304 5208918 140737337768848 140737337766840 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9007/statm: 9867 8930 96 248 0 9616 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 62660
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 9035
/proc/meminfo: memFree=29009132/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1395.75 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 28976 482887 0 0 54 8 139347 166 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9034] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9034/stat : 9034 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387081810 9367552 266 33554432000 4194304 5064252 140733956242128 140733956241040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9034/statm: 2287 266 226 213 0 72 0
[pid=9035] ppid=9034 vsize=27976 CPUtime=26.13 cores=1,3,5,7
/proc/9035/stat : 9035 (glucose) R 9034 8449 25576 0 -1 4202496 5969 0 0 0 2612 1 0 0 20 0 1 0 387081810 28647424 6668 33554432000 4194304 5208918 140733648118272 140733648116360 4229332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9035/statm: 6994 6668 96 248 0 6743 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 51168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 9074
/proc/meminfo: memFree=29041436/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1479.01 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 30596 512059 0 0 57 9 147660 175 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9066] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9066/stat : 9066 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387090138 9367552 267 33554432000 4194304 5064252 140733246806384 140733246805296 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9066/statm: 2287 267 226 213 0 72 0
[pid=9067] ppid=9066 vsize=16144 CPUtime=2.84 cores=1,3,5,7
/proc/9067/stat : 9067 (glucose) R 9066 8449 25576 0 -1 4202496 3902 0 0 0 284 0 0 0 20 0 1 0 387090138 16531456 3680 33554432000 4194304 5208918 140733568801392 140733568799336 4229476 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9067/statm: 4036 3680 96 248 0 3785 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 39336
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 9095
/proc/meminfo: memFree=29013728/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1535.14 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 31676 530803 0 0 59 9 153266 180 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9094] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9094/stat : 9094 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387095753 9367552 267 33554432000 4194304 5064252 140736144510640 140736144509552 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9094/statm: 2287 267 226 213 0 72 0
[pid=9095] ppid=9094 vsize=23220 CPUtime=6.69 cores=1,3,5,7
/proc/9095/stat : 9095 (glucose) R 9094 8449 25576 0 -1 4202496 4327 0 0 0 669 0 0 0 20 0 1 0 387095753 23777280 5253 33554432000 4194304 5208918 140733842681696 140733842679640 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9095/statm: 5805 5253 96 248 0 5554 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 46412
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/181 9116
/proc/meminfo: memFree=29013100/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1590.5 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 32756 549300 0 0 61 10 158792 187 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9115] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9115/stat : 9115 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387101291 9367552 267 33554432000 4194304 5064252 140737478685120 140737478684032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9115/statm: 2287 267 226 213 0 72 0
[pid=9116] ppid=9115 vsize=27640 CPUtime=11.32 cores=1,3,5,7
/proc/9116/stat : 9116 (glucose) R 9115 8449 25576 0 -1 4202496 5126 0 0 0 1131 1 0 0 20 0 1 0 387101291 28303360 6576 33554432000 4194304 5208918 140733445467760 140733445465624 4213234 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9116/statm: 6910 6576 96 248 0 6659 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 50832
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 9144
/proc/meminfo: memFree=29027224/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1646.04 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 33836 568668 0 0 64 10 164336 194 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9136] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9136/stat : 9136 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387106846 9367552 266 33554432000 4194304 5064252 140733501213520 140733501212432 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9136/statm: 2287 266 226 213 0 72 0
[pid=9137] ppid=9136 vsize=27640 CPUtime=15.77 cores=1,3,5,7
/proc/9137/stat : 9137 (glucose) R 9136 8449 25576 0 -1 4202496 5283 0 0 0 1576 1 0 0 20 0 1 0 387106846 28303360 6569 33554432000 4194304 5208918 140734783331792 140734783329656 4212888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9137/statm: 6910 6569 96 248 0 6659 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 50832
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/181 9165
/proc/meminfo: memFree=29007572/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1701.94 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 34916 588230 0 0 66 10 169917 201 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9157] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9157/stat : 9157 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387112438 9367552 267 33554432000 4194304 5064252 140735551384928 140735551383840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9157/statm: 2287 267 226 213 0 72 0
[pid=9158] ppid=9157 vsize=27976 CPUtime=19.84 cores=1,3,5,7
/proc/9158/stat : 9158 (glucose) R 9157 8449 25576 0 -1 4202496 5631 0 0 0 1984 0 0 0 20 0 1 0 387112438 28647424 6668 33554432000 4194304 5208918 140733240994480 140733240992344 4213176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9158/statm: 6994 6668 96 248 0 6743 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 51168
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/181 9229
/proc/meminfo: memFree=28966048/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1758.88 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 35996 608581 0 0 68 10 175602 208 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9185] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9185/stat : 9185 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387118132 9367552 266 33554432000 4194304 5064252 140734842919984 140734842918896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9185/statm: 2287 266 226 213 0 72 0
[pid=9186] ppid=9185 vsize=39476 CPUtime=22.9 cores=1,3,5,7
/proc/9186/stat : 9186 (glucose) R 9185 8449 25576 0 -1 4202496 5792 0 0 0 2289 1 0 0 20 0 1 0 387118132 40423424 9341 33554432000 4194304 5208918 140736760423504 140736760421496 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9186/statm: 9869 9341 96 248 0 9618 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 62668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 1.95 3/181 9298
/proc/meminfo: memFree=28978632/32873624 swapFree=7112/7112
[pid=8449] ppid=8447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8449/stat : 8449 (npSolver-wbo-It) S 8447 8449 25576 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386942194 9367552 274 33554432000 4194304 5064252 140735416491504 140735416490416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8449/statm: 2287 274 233 213 0 72 0
[pid=8450] ppid=8449 vsize=4896 CPUtime=1786.89 cores=1,3,5,7
/proc/8450/stat : 8450 (npSolver-wbo) S 8449 8449 25576 0 -1 4202496 36536 618153 0 0 69 11 178398 211 20 0 1 0 386942194 5013504 775 33554432000 4194304 6006132 140734234593264 140734234584624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8450/statm: 1224 775 177 443 0 777 0
[pid=9252] ppid=8450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9252/stat : 9252 (satsolver.sh) S 8450 8449 25576 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387120933 9367552 267 33554432000 4194304 5064252 140736349184272 140736349183184 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9252/statm: 2287 267 226 213 0 72 0
[pid=9253] ppid=9252 vsize=27640 CPUtime=13.21 cores=1,3,5,7
/proc/9253/stat : 9253 (glucose) R 9252 8449 25576 0 -1 4202496 5274 0 0 0 1320 1 0 0 20 0 1 0 387120933 28303360 6580 33554432000 4194304 5208918 140735263415104 140735263412968 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9253/statm: 6910 6580 96 248 0 6659 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 50832
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.61
CPU time (s): 1800.12
CPU user time (s): 1797.88
CPU system time (s): 2.24566
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 69848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 2.24566
maximum resident set size= 40312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3010
involuntary context switches= 2638
runsolver used 6.23505 second user time and 18.1242 second system time
The end