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-3709590-1338182155/watcher-3709590-1338182155 -o /tmp/evaluation-result-3709590-1338182155/solver-3709590-1338182155 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709590-1338182155.opb
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.07 2.02 2.00 3/177 18219
/proc/meminfo: memFree=29926328/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[startup+0.067804 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18219
/proc/meminfo: memFree=29926328/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.10026 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18219
/proc/meminfo: memFree=29926328/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300222 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18219
/proc/meminfo: memFree=29926328/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70022 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18219
/proc/meminfo: memFree=29926328/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50027 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18221
/proc/meminfo: memFree=29920120/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=8288 CPUtime=1.49 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 2047 0 0 0 149 0 0 0 20 0 1 0 284339617 8486912 1754 33554432000 4194304 6212839 140737025633408 140737025631816 4635502 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 2072 1754 237 493 0 1577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17440
[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18221
/proc/meminfo: memFree=29918856/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=10268 CPUtime=3.09 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 2558 0 0 0 309 0 0 0 20 0 1 0 284339617 10514432 2265 33554432000 4194304 6212839 140737025633408 140737025631416 4635199 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 2567 2265 237 493 0 2072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19420
[startup+6.30026 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18221
/proc/meminfo: memFree=29916044/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=12380 CPUtime=6.29 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 3073 0 0 0 629 0 0 0 20 0 1 0 284339617 12677120 2780 33554432000 4194304 6212839 140737025633408 140737025631416 4635468 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 3095 2780 237 493 0 2600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21532
[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 18221
/proc/meminfo: memFree=29911956/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=16232 CPUtime=12.69 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 4048 0 0 0 1269 0 0 0 20 0 1 0 284339617 16621568 3754 33554432000 4194304 6212839 140737025633408 140737025631416 4372662 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 4058 3754 237 493 0 3563 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25384
[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 18222
/proc/meminfo: memFree=29904828/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=22664 CPUtime=25.48 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 5641 0 0 0 2547 1 0 0 20 0 1 0 284339617 23207936 5346 33554432000 4194304 6212839 140737025633408 140737025631576 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 5666 5346 237 493 0 5171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31816
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18222
/proc/meminfo: memFree=29897884/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=29688 CPUtime=51.07 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 7358 0 0 0 5106 1 0 0 20 0 1 0 284339617 30400512 7063 33554432000 4194304 6212839 140737025633408 140737025631704 4333864 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 7422 7063 237 493 0 6927 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38840
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18222
/proc/meminfo: memFree=29876372/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=50832 CPUtime=102.26 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 12470 0 0 0 10224 2 0 0 20 0 1 0 284339617 52051968 12195 33554432000 4194304 6212839 140737025633408 140737025631704 4307897 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 12708 12195 237 493 0 12213 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59984
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18222
/proc/meminfo: memFree=29875308/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=50832 CPUtime=162.25 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 12483 0 0 0 16223 2 0 0 20 0 1 0 284339617 52051968 12363 33554432000 4194304 6212839 140737025633408 140737025631704 4743287 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 12708 12363 237 493 0 12213 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59984
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18222
/proc/meminfo: memFree=29866496/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=58376 CPUtime=222.24 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 14853 0 0 0 22221 3 0 0 20 0 1 0 284339617 59777024 14294 33554432000 4194304 6212839 140737025633408 140737025631704 4743493 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 14594 14294 237 493 0 14099 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 67528
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 18225
/proc/meminfo: memFree=29853508/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=71712 CPUtime=282.23 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 18129 0 0 0 28220 3 0 0 20 0 1 0 284339617 73433088 17577 33554432000 4194304 6212839 140737025633408 140737025631704 4743275 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 17928 17577 237 493 0 17433 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 80864
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18226
/proc/meminfo: memFree=29853020/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=71712 CPUtime=342.21 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 18134 0 0 0 34218 3 0 0 20 0 1 0 284339617 73433088 17580 33554432000 4194304 6212839 140737025633408 140737025631816 4683120 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 17928 17580 237 493 0 17433 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 80864
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18226
/proc/meminfo: memFree=29852276/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=101028 CPUtime=1062.11 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 26980 0 0 0 106205 6 0 0 20 0 1 0 284339617 103452672 24936 33554432000 4194304 6212839 140737025633408 140737025631416 4706587 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 25257 24936 237 493 0 24762 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 110180
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18232
/proc/meminfo: memFree=29817340/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=101868 CPUtime=1122.1 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 27373 0 0 0 112204 6 0 0 20 0 1 0 284339617 104312832 25175 33554432000 4194304 6212839 140737025633408 140737025631416 4683097 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 25467 25175 237 493 0 24972 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 111020
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 18272
/proc/meminfo: memFree=29841484/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=101568 CPUtime=1182.08 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 27771 0 0 0 118202 6 0 0 20 0 1 0 284339617 104005632 25100 33554432000 4194304 6212839 140737025633408 140737025631704 4743493 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 25392 25100 237 493 0 24897 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 110720
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18312
/proc/meminfo: memFree=29833764/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=106240 CPUtime=1242.07 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 29355 0 0 0 124201 6 0 0 20 0 1 0 284339617 108789760 26266 33554432000 4194304 6212839 140737025633408 140737025631704 4743275 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 26560 26266 237 493 0 26065 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 115392
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18312
/proc/meminfo: memFree=29829844/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=106176 CPUtime=1302.08 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 30126 0 0 0 130201 7 0 0 20 0 1 0 284339617 108724224 26252 33554432000 4194304 6212839 140737025633408 140737025631704 4744777 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 26544 26252 237 493 0 26049 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 115328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18312
/proc/meminfo: memFree=29824564/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=110700 CPUtime=1362.06 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 31449 0 0 0 136199 7 0 0 20 0 1 0 284339617 113356800 27375 33554432000 4194304 6212839 140737025633408 140737025631416 4743275 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 27675 27375 237 493 0 27180 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 119852
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18312
/proc/meminfo: memFree=29808936/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=125316 CPUtime=1422.05 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 35970 0 0 0 142197 8 0 0 20 0 1 0 284339617 128323584 30828 33554432000 4194304 6212839 140737025633408 140737025631704 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 31329 30828 237 493 0 30834 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 134468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18315
/proc/meminfo: memFree=29807196/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=125316 CPUtime=1482.03 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 35975 0 0 0 148195 8 0 0 20 0 1 0 284339617 128323584 30996 33554432000 4194304 6212839 140737025633408 140737025631704 4743302 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 31329 30996 237 493 0 30834 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 134468
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29805448/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=125316 CPUtime=1542.02 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 35975 0 0 0 154194 8 0 0 20 0 1 0 284339617 128323584 30996 33554432000 4194304 6212839 140737025633408 140737025631704 4681500 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 31329 30996 237 493 0 30834 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 134468
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29801008/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=128108 CPUtime=1602.01 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 36987 0 0 0 160193 8 0 0 20 0 1 0 284339617 131182592 31726 33554432000 4194304 6212839 140737025633408 140737025631704 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 32027 31726 237 493 0 31532 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 137260
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29800324/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=128108 CPUtime=1662 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 36987 0 0 0 166192 8 0 0 20 0 1 0 284339617 131182592 31735 33554432000 4194304 6212839 140737025633408 140737025631704 4743313 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 32027 31735 237 493 0 31532 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 137260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29799332/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=128108 CPUtime=1721.99 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 36987 0 0 0 172191 8 0 0 20 0 1 0 284339617 131182592 31735 33554432000 4194304 6212839 140737025633408 140737025631704 4743509 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 32027 31735 237 493 0 31532 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 137260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29798652/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=128108 CPUtime=1781.99 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 36987 0 0 0 178191 8 0 0 20 0 1 0 284339617 131182592 31735 33554432000 4194304 6212839 140737025633408 140737025631816 4308157 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 32027 31735 237 493 0 31532 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 137260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18316
/proc/meminfo: memFree=29798404/32873648 swapFree=7368/7368
[pid=18219] ppid=18217 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18219/stat : 18219 (clasp-opt.sh) S 18217 18219 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284339617 9371648 275 33554432000 4194304 5064252 140736750659872 140736750658784 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18219/statm: 2288 275 232 213 0 73 0
[pid=18220] ppid=18219 vsize=128108 CPUtime=1800.09 cores=1,3,5,7
/proc/18220/stat : 18220 (clasp-R5325) R 18219 18219 15493 0 -1 4202496 36987 0 0 0 180001 8 0 0 20 0 1 0 284339617 131182592 31735 33554432000 4194304 6212839 140737025633408 140737025631816 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/18220/statm: 32027 31735 237 493 0 31532 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 137260
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.01
CPU system time (s): 0.091986
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 138164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.091986
maximum resident set size= 127780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37359
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= 52
involuntary context switches= 1849
runsolver used 2.6276 second user time and 7.2069 second system time
The end