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-3708709-1338158427/watcher-3708709-1338158427 -o /tmp/evaluation-result-3708709-1338158427/solver-3708709-1338158427 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708709-1338158427.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.64 1.92 1.97 4/176 8326
/proc/meminfo: memFree=28108432/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[startup+0.085675 s]
/proc/loadavg: 1.64 1.92 1.97 4/176 8326
/proc/meminfo: memFree=28108432/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100148 s]
/proc/loadavg: 1.64 1.92 1.97 4/176 8326
/proc/meminfo: memFree=28108432/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300104 s]
/proc/loadavg: 1.64 1.92 1.97 4/176 8326
/proc/meminfo: memFree=28108432/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700098 s]
/proc/loadavg: 1.64 1.92 1.97 4/176 8326
/proc/meminfo: memFree=28108432/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50017 s]
/proc/loadavg: 1.64 1.92 1.97 4/180 8330
/proc/meminfo: memFree=28085088/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=13332 CPUtime=1.49 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 3205 0 0 0 149 0 0 0 20 0 1 0 281968667 13651968 3000 33554432000 4194304 6212839 140733608754224 140733608752232 5437001 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 3333 3000 227 493 0 2838 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22484
[startup+3.10024 s]
/proc/loadavg: 1.64 1.92 1.97 3/180 8330
/proc/meminfo: memFree=28069836/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=20732 CPUtime=3.08 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 5070 0 0 0 308 0 0 0 20 0 1 0 281968667 21229568 4865 33554432000 4194304 6212839 140733608754224 140733608752232 4334688 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 5183 4865 227 493 0 4688 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29884
[startup+6.30017 s]
/proc/loadavg: 1.74 1.94 1.98 3/180 8330
/proc/meminfo: memFree=28053488/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=24396 CPUtime=6.28 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 5929 0 0 0 628 0 0 0 20 0 1 0 281968667 24981504 5724 33554432000 4194304 6212839 140733608754224 140733608752520 4683129 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 6099 5724 227 493 0 5604 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33548
[startup+12.7003 s]
/proc/loadavg: 1.76 1.94 1.98 3/180 8330
/proc/meminfo: memFree=28047580/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=27048 CPUtime=12.69 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 6596 0 0 0 1268 1 0 0 20 0 1 0 281968667 27697152 6391 33554432000 4194304 6212839 140733608754224 140733608752232 4683420 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 6762 6391 227 493 0 6267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36200
[startup+25.5002 s]
/proc/loadavg: 1.82 1.94 1.98 4/180 8330
/proc/meminfo: memFree=28027088/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=38276 CPUtime=25.49 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 9391 0 0 0 2547 2 0 0 20 0 1 0 281968667 39194624 9186 33554432000 4194304 6212839 140733608754224 140733608752232 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 9569 9186 227 493 0 9074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47428
[startup+51.1002 s]
/proc/loadavg: 1.88 1.94 1.98 3/179 8331
/proc/meminfo: memFree=27990732/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=55752 CPUtime=51.08 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 13671 0 0 0 5105 3 0 0 20 0 1 0 281968667 57090048 13466 33554432000 4194304 6212839 140733608754224 140733608752376 4298186 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 13938 13466 227 493 0 13443 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64904
[startup+102.307 s]
/proc/loadavg: 1.95 1.95 1.98 4/179 8331
/proc/meminfo: memFree=27931792/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=82040 CPUtime=102.25 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 20472 0 0 0 10221 4 0 0 20 0 1 0 281968667 84008960 20159 33554432000 4194304 6212839 140733608754224 140733608752520 4298160 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 20510 20159 227 493 0 20015 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91192
[startup+162.3 s]
/proc/loadavg: 1.98 1.95 1.98 4/179 8331
/proc/meminfo: memFree=27866052/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=109140 CPUtime=162.24 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 27656 0 0 0 16218 6 0 0 20 0 1 0 281968667 111759360 26903 33554432000 4194304 6212839 140733608754224 140733608752520 4743703 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 27285 26903 227 493 0 26790 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118292
[startup+222.3 s]
/proc/loadavg: 1.99 1.96 1.98 3/179 8331
/proc/meminfo: memFree=27817956/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=132716 CPUtime=222.23 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 33758 0 0 0 22216 7 0 0 20 0 1 0 281968667 135901184 32733 33554432000 4194304 6212839 140733608754224 140733608752232 4356564 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 33179 32733 227 493 0 32684 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 141868
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 8331
/proc/meminfo: memFree=27779372/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=150392 CPUtime=282.22 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 38363 0 0 0 28214 8 0 0 20 0 1 0 281968667 154001408 37160 33554432000 4194304 6212839 140733608754224 140733608752520 4334803 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 37598 37160 227 493 0 37103 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 159544
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 8331
/proc/meminfo: memFree=27742252/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=168124 CPUtime=342.19 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 42899 0 0 0 34210 9 0 0 20 0 1 0 281968667 172158976 41614 33554432000 4194304 6212839 140733608754224 140733608752376 4676463 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 42031 41614 227 493 0 41536 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 177276
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 8333
/proc/meminfo: memFree=27692692/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=284548 CPUtime=1062.06 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 72798 0 0 0 106189 17 0 0 20 0 1 0 281968667 291377152 70407 33554432000 4194304 6212839 140733608754224 140733608752376 4307951 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 71137 70407 227 493 0 70642 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 293700
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/179 8338
/proc/meminfo: memFree=27447260/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=302572 CPUtime=1122.04 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 77213 0 0 0 112186 18 0 0 20 0 1 0 281968667 309833728 75299 33554432000 4194304 6212839 140733608754224 140733608752376 4357027 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 75643 75299 227 493 0 75148 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 311724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/180 8341
/proc/meminfo: memFree=27434840/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=305564 CPUtime=1182.03 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 77930 0 0 0 118185 18 0 0 20 0 1 0 281968667 312897536 76016 33554432000 4194304 6212839 140733608754224 140733608752376 4674397 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 76391 76016 227 493 0 75896 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 314716
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/180 8363
/proc/meminfo: memFree=27421524/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=308924 CPUtime=1242.01 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 78697 0 0 0 124183 18 0 0 20 0 1 0 281968667 316338176 76783 33554432000 4194304 6212839 140733608754224 140733608752376 4743727 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 77231 76783 227 493 0 76736 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 318076
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 8364
/proc/meminfo: memFree=27413460/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=315520 CPUtime=1302.02 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 80111 0 0 0 130183 19 0 0 20 0 1 0 281968667 323092480 78197 33554432000 4194304 6212839 140733608754224 140733608752376 4334958 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 78880 78197 227 493 0 78385 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 324672
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 8364
/proc/meminfo: memFree=27398184/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=320832 CPUtime=1362 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 81555 0 0 0 136181 19 0 0 20 0 1 0 281968667 328531968 79474 33554432000 4194304 6212839 140733608754224 140733608752520 4333789 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 80208 79474 227 493 0 79713 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 329984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 8364
/proc/meminfo: memFree=27386964/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=325920 CPUtime=1422 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 82626 0 0 0 142181 19 0 0 20 0 1 0 281968667 333742080 80545 33554432000 4194304 6212839 140733608754224 140733608752376 4743898 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 81480 80545 227 493 0 80985 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 335072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8364
/proc/meminfo: memFree=27368116/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=331900 CPUtime=1481.98 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 83915 0 0 0 148179 19 0 0 20 0 1 0 281968667 339865600 81834 33554432000 4194304 6212839 140733608754224 140733608752376 4683126 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 82975 81834 227 493 0 82480 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 341052
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8364
/proc/meminfo: memFree=27362660/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=338140 CPUtime=1541.97 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 85431 0 0 0 154177 20 0 0 20 0 1 0 281968667 346255360 83350 33554432000 4194304 6212839 140733608754224 140733608752376 4685458 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 84535 83350 227 493 0 84040 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 347292
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 8365
/proc/meminfo: memFree=27343876/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=344184 CPUtime=1601.96 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 86746 0 0 0 160176 20 0 0 20 0 1 0 281968667 352444416 85620 33554432000 4194304 6212839 140733608754224 140733608752376 4685809 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 86046 85620 227 493 0 85551 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 353336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 8365
/proc/meminfo: memFree=27330732/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=351032 CPUtime=1661.95 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 88245 0 0 0 166175 20 0 0 20 0 1 0 281968667 359456768 87119 33554432000 4194304 6212839 140733608754224 140733608752232 4661272 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 87758 87119 227 493 0 87263 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 360184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8365
/proc/meminfo: memFree=27311392/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=369548 CPUtime=1721.94 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 92432 0 0 0 172173 21 0 0 20 0 1 0 281968667 378417152 91306 33554432000 4194304 6212839 140733608754224 140733608752520 4683144 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 92387 91306 227 493 0 91892 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 378700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 8368
/proc/meminfo: memFree=27300844/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=369548 CPUtime=1781.93 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 92437 0 0 0 178172 21 0 0 20 0 1 0 281968667 378417152 91311 33554432000 4194304 6212839 140733608754224 140733608752520 4328971 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 92387 91311 227 493 0 91892 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 378700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 8368
/proc/meminfo: memFree=27301592/32873648 swapFree=6864/6864
[pid=8325] ppid=8321 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/8325/stat : 8325 (clasp-dec.sh) S 8321 8325 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281968666 9371648 275 33554432000 4194304 5064252 140736351442016 140736351440928 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8325/statm: 2288 275 232 213 0 73 0
[pid=8327] ppid=8325 vsize=369548 CPUtime=1800.03 cores=0,2,4,6
/proc/8327/stat : 8327 (clasp-R5325) R 8325 8325 8283 0 -1 4202496 92437 0 0 0 179982 21 0 0 20 0 1 0 281968667 378417152 91311 33554432000 4194304 6212839 140733608754224 140733608752520 4335032 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/8327/statm: 92387 91311 227 493 0 91892 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 378700
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.05
CPU user time (s): 1799.83
CPU system time (s): 0.220966
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 378700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.220966
maximum resident set size= 365284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 1913
runsolver used 2.98955 second user time and 8.80766 second system time
The end