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-3709075-1338151840/watcher-3709075-1338151840 -o /tmp/evaluation-result-3709075-1338151840/solver-3709075-1338151840 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709075-1338151840.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: 1.82 1.96 1.99 3/178 24176
/proc/meminfo: memFree=31493840/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[startup+0.061268 s]
/proc/loadavg: 1.82 1.96 1.99 3/178 24176
/proc/meminfo: memFree=31493840/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100263 s]
/proc/loadavg: 1.82 1.96 1.99 3/178 24176
/proc/meminfo: memFree=31493840/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300234 s]
/proc/loadavg: 1.82 1.96 1.99 3/178 24176
/proc/meminfo: memFree=31493840/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700247 s]
/proc/loadavg: 1.82 1.96 1.99 3/178 24176
/proc/meminfo: memFree=31493840/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/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: 1.82 1.96 1.99 3/180 24178
/proc/meminfo: memFree=31474504/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=15396 CPUtime=1.48 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 3611 0 0 0 148 0 0 0 20 0 1 0 281310753 15765504 3536 33554432000 4194304 6212839 140737078129552 140737078127560 5484523 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 3849 3536 234 493 0 3354 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24548
[startup+3.10028 s]
/proc/loadavg: 1.82 1.96 1.99 3/180 24178
/proc/meminfo: memFree=31466040/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=18700 CPUtime=3.08 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 4444 0 0 0 308 0 0 0 20 0 1 0 281310753 19148800 4369 33554432000 4194304 6212839 140737078129552 140737078127560 4683102 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 4675 4369 234 493 0 4180 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27852
[startup+6.30028 s]
/proc/loadavg: 1.84 1.97 1.99 3/180 24178
/proc/meminfo: memFree=31457384/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=24128 CPUtime=6.29 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 5819 0 0 0 628 1 0 0 20 0 1 0 281310753 24707072 5724 33554432000 4194304 6212839 140737078129552 140737078127560 4674599 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 6032 5724 234 493 0 5537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33280
[startup+12.7003 s]
/proc/loadavg: 1.85 1.97 1.99 3/180 24178
/proc/meminfo: memFree=31443156/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=31156 CPUtime=12.69 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 7468 0 0 0 1268 1 0 0 20 0 1 0 281310753 31903744 7366 33554432000 4194304 6212839 140737078129552 140737078127848 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 7789 7366 234 493 0 7294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40308
[startup+25.5003 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 24178
/proc/meminfo: memFree=31430400/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=35360 CPUtime=25.48 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 8534 0 0 0 2547 1 0 0 20 0 1 0 281310753 36208640 8396 33554432000 4194304 6212839 140737078129552 140737078127720 4335282 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 8840 8396 234 493 0 8345 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44512
[startup+51.1003 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 24178
/proc/meminfo: memFree=31415276/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=46892 CPUtime=51.07 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 11436 0 0 0 5105 2 0 0 20 0 1 0 281310753 48017408 11171 33554432000 4194304 6212839 140737078129552 140737078127560 4328971 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 11723 11171 234 493 0 11228 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56044
[startup+102.306 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 24178
/proc/meminfo: memFree=31392188/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=54556 CPUtime=102.27 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 13998 0 0 0 10224 3 0 0 20 0 1 0 281310753 55865344 13343 33554432000 4194304 6212839 140737078129552 140737078127720 4356926 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 13639 13343 234 493 0 13144 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63708
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 24178
/proc/meminfo: memFree=31379012/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=61348 CPUtime=162.25 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 16045 0 0 0 16222 3 0 0 20 0 1 0 281310753 62820352 15017 33554432000 4194304 6212839 140737078129552 140737078127624 4335641 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 15337 15017 234 493 0 14842 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70500
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 24179
/proc/meminfo: memFree=31352268/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=75488 CPUtime=222.24 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 19486 0 0 0 22220 4 0 0 20 0 1 0 281310753 77299712 18556 33554432000 4194304 6212839 140737078129552 140737078127848 4705168 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 18872 18556 234 493 0 18377 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 84640
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 24179
/proc/meminfo: memFree=31341280/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=78708 CPUtime=282.23 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 20747 0 0 0 28219 4 0 0 20 0 1 0 281310753 80596992 19342 33554432000 4194304 6212839 140737078129552 140737078127560 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 19677 19342 234 493 0 19182 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 87860
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 24179
/proc/meminfo: memFree=31333380/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=83184 CPUtime=342.22 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 22343 0 0 0 34217 5 0 0 20 0 1 0 281310753 85180416 20500 33554432000 4194304 6212839 140737078129552 140737078127848 4662656 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 20796 20500 234 493 0 20301 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 92336
[startup+402.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 24179
/proc/meminfo: memFree=31327944/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=115012 CPUtime=1062.11 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 36900 0 0 0 106202 9 0 0 20 0 1 0 281310753 117772288 28439 33554432000 4194304 6212839 140737078129552 140737078127720 4312695 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 28753 28439 234 493 0 28258 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 124164
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 24207
/proc/meminfo: memFree=31257684/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=129588 CPUtime=1122.09 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 39804 0 0 0 112200 9 0 0 20 0 1 0 281310753 132698112 31214 33554432000 4194304 6212839 140737078129552 140737078127720 4335600 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 32397 31214 234 493 0 31902 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 138740
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 24211
/proc/meminfo: memFree=31254712/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=129984 CPUtime=1182.09 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 40126 0 0 0 118199 10 0 0 20 0 1 0 281310753 133103616 31336 33554432000 4194304 6212839 140737078129552 140737078127848 4421938 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 32496 31336 234 493 0 32001 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 139136
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24211
/proc/meminfo: memFree=31248072/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=132116 CPUtime=1242.08 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 40858 0 0 0 124198 10 0 0 20 0 1 0 281310753 135286784 32723 33554432000 4194304 6212839 140737078129552 140737078127720 4330601 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 33029 32723 234 493 0 32534 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 141268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24211
/proc/meminfo: memFree=31244972/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=133528 CPUtime=1302.08 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 41634 0 0 0 130198 10 0 0 20 0 1 0 281310753 136732672 33050 33554432000 4194304 6212839 140737078129552 140737078127720 4674240 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 33382 33050 234 493 0 32887 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 142680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24211
/proc/meminfo: memFree=31242984/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=134924 CPUtime=1362.06 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 42541 0 0 0 136196 10 0 0 20 0 1 0 281310753 138162176 33397 33554432000 4194304 6212839 140737078129552 140737078127720 4421920 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 33731 33397 234 493 0 33236 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 144076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24211
/proc/meminfo: memFree=31238396/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=135172 CPUtime=1422.06 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 43307 0 0 0 142196 10 0 0 20 0 1 0 281310753 138416128 33497 33554432000 4194304 6212839 140737078129552 140737078127848 4334761 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 33793 33497 234 493 0 33298 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 144324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24212
/proc/meminfo: memFree=31230640/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=140436 CPUtime=1482.04 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 45163 0 0 0 148193 11 0 0 20 0 1 0 281310753 143806464 34796 33554432000 4194304 6212839 140737078129552 140737078127720 4674290 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 35109 34796 234 493 0 34614 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 149588
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24212
/proc/meminfo: memFree=31228324/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=141640 CPUtime=1542.03 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 45781 0 0 0 154192 11 0 0 20 0 1 0 281310753 145039360 35114 33554432000 4194304 6212839 140737078129552 140737078127848 4335226 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 35410 35114 234 493 0 34915 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 150792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24212
/proc/meminfo: memFree=31215420/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=143488 CPUtime=1602.02 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 47043 0 0 0 160191 11 0 0 20 0 1 0 281310753 146931712 35556 33554432000 4194304 6212839 140737078129552 140737078127720 4335246 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 35872 35556 234 493 0 35377 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 152640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24212
/proc/meminfo: memFree=31211252/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=143988 CPUtime=1662.01 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 47918 0 0 0 166190 11 0 0 20 0 1 0 281310753 147443712 35689 33554432000 4194304 6212839 140737078129552 140737078127560 4705197 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 35997 35689 234 493 0 35502 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 153140
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24212
/proc/meminfo: memFree=31208444/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=144880 CPUtime=1722 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 48367 0 0 0 172189 11 0 0 20 0 1 0 281310753 148357120 35922 33554432000 4194304 6212839 140737078129552 140737078127848 4333845 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 36220 35922 234 493 0 35725 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 154032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24216
/proc/meminfo: memFree=31206140/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=146092 CPUtime=1782 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 49549 0 0 0 178188 12 0 0 20 0 1 0 281310753 149598208 36225 33554432000 4194304 6212839 140737078129552 140737078127848 4674552 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 36523 36225 234 493 0 36028 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 155244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24249
/proc/meminfo: memFree=31352676/32873648 swapFree=6852/6852
[pid=24176] ppid=24174 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24176/stat : 24176 (clasp-opt.sh) S 24174 24176 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281310753 9371648 275 33554432000 4194304 5064252 140733468583824 140733468582736 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24176/statm: 2288 275 232 213 0 73 0
[pid=24177] ppid=24176 vsize=147288 CPUtime=1800.1 cores=1,3,5,7
/proc/24177/stat : 24177 (clasp-R5325) R 24176 24176 9266 0 -1 4202496 50101 0 0 0 179998 12 0 0 20 0 1 0 281310753 150822912 36517 33554432000 4194304 6212839 140737078129552 140737078127720 4328942 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24177/statm: 36822 36517 234 493 0 36327 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 156440
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): 1799.98
CPU system time (s): 0.12798
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 156712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.12798
maximum resident set size= 146248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50473
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= 58
involuntary context switches= 1850
runsolver used 2.6376 second user time and 7.19091 second system time
The end