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-3708977-1338155838/watcher-3708977-1338155838 -o /tmp/evaluation-result-3708977-1338155838/solver-3708977-1338155838 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708977-1338155838.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.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[startup+0.0555541 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100249 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300215 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70021 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18223
/proc/meminfo: memFree=31433344/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=5804 CPUtime=1.49 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1191 0 0 0 149 0 0 0 20 0 1 0 281709130 5943296 1125 33554432000 4194304 6212839 140733337379344 140733337377352 4683425 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 1451 1125 236 493 0 956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14956
[startup+3.10025 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31432228/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=6724 CPUtime=3.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1448 0 0 0 309 0 0 0 20 0 1 0 281709130 6885376 1382 33554432000 4194304 6212839 140733337379344 140733337377352 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 1681 1382 236 493 0 1186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15876
[startup+6.30025 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31430368/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=8176 CPUtime=6.29 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1815 0 0 0 629 0 0 0 20 0 1 0 281709130 8372224 1749 33554432000 4194304 6212839 140733337379344 140733337377352 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 2044 1749 236 493 0 1549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17328
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31427652/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=10448 CPUtime=12.68 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 2374 0 0 0 1268 0 0 0 20 0 1 0 281709130 10698752 2306 33554432000 4194304 6212839 140733337379344 140733337377352 4685291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 2612 2306 236 493 0 2117 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19600
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31424440/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=14120 CPUtime=25.48 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 3296 0 0 0 2547 1 0 0 20 0 1 0 281709130 14458880 3225 33554432000 4194304 6212839 140733337379344 140733337377352 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 3530 3225 236 493 0 3035 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23272
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18263
/proc/meminfo: memFree=31431640/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=18548 CPUtime=51.08 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 4402 0 0 0 5107 1 0 0 20 0 1 0 281709130 18993152 4326 33554432000 4194304 6212839 140733337379344 140733337377352 4662656 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 4637 4326 236 493 0 4142 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27700
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 18263
/proc/meminfo: memFree=31420964/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=24948 CPUtime=102.27 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 6038 0 0 0 10226 1 0 0 20 0 1 0 281709130 25546752 5918 33554432000 4194304 6212839 140733337379344 140733337377496 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 6237 5918 236 493 0 5742 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34100
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 18263
/proc/meminfo: memFree=31413216/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=30156 CPUtime=162.25 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 7441 0 0 0 16223 2 0 0 20 0 1 0 281709130 30879744 7236 33554432000 4194304 6212839 140733337379344 140733337377640 4423547 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 7539 7236 236 493 0 7044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39308
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18267
/proc/meminfo: memFree=31406436/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=35132 CPUtime=222.24 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 8803 0 0 0 22222 2 0 0 20 0 1 0 281709130 35975168 8469 33554432000 4194304 6212839 140733337379344 140733337377496 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 8783 8469 236 493 0 8288 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44284
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18290
/proc/meminfo: memFree=31402340/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=38356 CPUtime=282.23 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 9563 0 0 0 28221 2 0 0 20 0 1 0 281709130 39276544 9252 33554432000 4194304 6212839 140733337379344 140733337377640 4674483 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 9589 9252 236 493 0 9094 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47508
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18290
/proc/meminfo: memFree=31396080/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=43468 CPUtime=342.22 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 11291 0 0 0 34219 3 0 0 20 0 1 0 281709130 44511232 10543 33554432000 4194304 6212839 140733337379344 140733337377640 4685794 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 10867 10543 236 493 0 10372 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 52620
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 18290
/proc/meminfo: memFree=31392232/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=70152 CPUtime=1062.1 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 17785 0 0 0 106205 5 0 0 20 0 1 0 281709130 71835648 17145 33554432000 4194304 6212839 140733337379344 140733337377640 4333831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17538 17145 236 493 0 17043 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 79304
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18296
/proc/meminfo: memFree=31362752/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=71072 CPUtime=1122.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 17972 0 0 0 112204 5 0 0 20 0 1 0 281709130 72777728 17365 33554432000 4194304 6212839 140733337379344 140733337377496 4421856 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17768 17365 236 493 0 17273 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 80224
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31361760/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=71916 CPUtime=1182.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18151 0 0 0 118204 5 0 0 20 0 1 0 281709130 73641984 17544 33554432000 4194304 6212839 140733337379344 140733337377496 4685328 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17979 17544 236 493 0 17484 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 81068
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31359588/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=73432 CPUtime=1242.07 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18573 0 0 0 124202 5 0 0 20 0 1 0 281709130 75194368 17971 33554432000 4194304 6212839 140733337379344 140733337377496 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 18358 17971 236 493 0 17863 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 82584
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31357788/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=75136 CPUtime=1302.07 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18996 0 0 0 130202 5 0 0 20 0 1 0 281709130 76939264 18396 33554432000 4194304 6212839 140733337379344 140733337377496 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 18784 18396 236 493 0 18289 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 84288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31355740/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=76764 CPUtime=1362.05 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 19395 0 0 0 136200 5 0 0 20 0 1 0 281709130 78606336 18872 33554432000 4194304 6212839 140733337379344 140733337377352 4674320 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19191 18872 236 493 0 18696 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 85916
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18300
/proc/meminfo: memFree=31354056/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=78584 CPUtime=1422.05 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 19740 0 0 0 142200 5 0 0 20 0 1 0 281709130 80470016 19274 33554432000 4194304 6212839 140733337379344 140733337377496 4316335 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19646 19274 236 493 0 19151 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 87736
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 18300
/proc/meminfo: memFree=31352824/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=79852 CPUtime=1482.03 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 20113 0 0 0 148198 5 0 0 20 0 1 0 281709130 81768448 19579 33554432000 4194304 6212839 140733337379344 140733337377496 4683117 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19963 19579 236 493 0 19468 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 89004
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18300
/proc/meminfo: memFree=31350776/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=81864 CPUtime=1542.02 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 20626 0 0 0 154197 5 0 0 20 0 1 0 281709130 83828736 20089 33554432000 4194304 6212839 140733337379344 140733337377640 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 20466 20089 236 493 0 19971 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 91016
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18300
/proc/meminfo: memFree=31349224/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=83016 CPUtime=1602.01 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21231 0 0 0 160196 5 0 0 20 0 1 0 281709130 85008384 20439 33554432000 4194304 6212839 140733337379344 140733337377640 4661900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 20754 20439 236 493 0 20259 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 92168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18300
/proc/meminfo: memFree=31348108/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=84608 CPUtime=1662 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21619 0 0 0 166195 5 0 0 20 0 1 0 281709130 86638592 20772 33554432000 4194304 6212839 140733337379344 140733337377496 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21152 20772 236 493 0 20657 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 93760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31346928/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=85648 CPUtime=1722 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21855 0 0 0 172194 6 0 0 20 0 1 0 281709130 87703552 21020 33554432000 4194304 6212839 140733337379344 140733337377496 4421948 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21412 21020 236 493 0 20917 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 94800
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31345872/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=86392 CPUtime=1781.99 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 22024 0 0 0 178193 6 0 0 20 0 1 0 281709130 88465408 21259 33554432000 4194304 6212839 140733337379344 140733337377496 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21598 21259 236 493 0 21103 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 95544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31345500/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=86524 CPUtime=1800.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 22067 0 0 0 180003 6 0 0 20 0 1 0 281709130 88600576 21302 33554432000 4194304 6212839 140733337379344 140733337377352 4328867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21631 21302 236 493 0 21136 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 95676
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.1
CPU user time (s): 1800.04
CPU system time (s): 0.06199
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 95676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.06199
maximum resident set size= 85240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22440
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= 43
involuntary context switches= 1838
runsolver used 3.15552 second user time and 8.31574 second system time
The end