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-3709099-1338161647/watcher-3709099-1338161647 -o /tmp/evaluation-result-3709099-1338161647/solver-3709099-1338161647 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709099-1338161647.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: 2.01 2.00 2.00 3/177 16082
/proc/meminfo: memFree=29935132/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[startup+0.088637 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16082
/proc/meminfo: memFree=29935132/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100262 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16082
/proc/meminfo: memFree=29935132/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300232 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16082
/proc/meminfo: memFree=29935132/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700236 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16082
/proc/meminfo: memFree=29935132/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50028 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29898892/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=28168 CPUtime=1.49 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 6918 0 0 0 148 1 0 0 20 0 1 0 282288839 28844032 6719 33554432000 4194304 6212839 140735475886832 140735475884840 4333818 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 7042 6719 234 493 0 6547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37320
[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29889940/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=37600 CPUtime=3.08 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 9281 0 0 0 307 1 0 0 20 0 1 0 282288839 38502400 9082 33554432000 4194304 6212839 140735475886832 140735475884840 4685476 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 9400 9082 234 493 0 8905 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46752
[startup+6.30031 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29867948/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=51456 CPUtime=6.29 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 12716 0 0 0 627 2 0 0 20 0 1 0 282288839 52690944 12517 33554432000 4194304 6212839 140735475886832 140735475884840 4661322 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 12864 12517 234 493 0 12369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60608
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29839136/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=62828 CPUtime=12.68 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 15556 0 0 0 1266 2 0 0 20 0 1 0 282288839 64335872 15357 33554432000 4194304 6212839 140735475886832 140735475884840 4705037 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 15707 15357 234 493 0 15212 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71980
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29808280/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=77340 CPUtime=25.48 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 19117 0 0 0 2545 3 0 0 20 0 1 0 282288839 79196160 18918 33554432000 4194304 6212839 140735475886832 140735475884840 4334698 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 19335 18918 234 493 0 18840 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86492
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16084
/proc/meminfo: memFree=29775500/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=94920 CPUtime=51.08 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 23499 0 0 0 5103 5 0 0 20 0 1 0 282288839 97198080 23300 33554432000 4194304 6212839 140735475886832 140735475884840 4356934 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 23730 23300 234 493 0 23235 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104072
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16084
/proc/meminfo: memFree=29714800/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=119940 CPUtime=102.26 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 30512 0 0 0 10220 6 0 0 20 0 1 0 282288839 122818560 29509 33554432000 4194304 6212839 140735475886832 140735475884840 4356895 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 29985 29509 234 493 0 29490 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 129092
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29678996/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=138188 CPUtime=162.21 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 35210 0 0 0 16214 7 0 0 20 0 1 0 282288839 141504512 34230 33554432000 4194304 6212839 140735475886832 140735475884840 4674259 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 34547 34230 234 493 0 34052 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 147340
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16084
/proc/meminfo: memFree=29654452/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=147788 CPUtime=222.21 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 37860 0 0 0 22213 8 0 0 20 0 1 0 282288839 151334912 36596 33554432000 4194304 6212839 140735475886832 140735475884840 4685317 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 36947 36596 234 493 0 36452 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 156940
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16085
/proc/meminfo: memFree=29634192/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=161804 CPUtime=282.19 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 41620 0 0 0 28211 8 0 0 20 0 1 0 282288839 165687296 40101 33554432000 4194304 6212839 140735475886832 140735475884840 4308157 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 40451 40101 234 493 0 39956 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 170956
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16085
/proc/meminfo: memFree=29600344/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=183380 CPUtime=342.18 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 46456 0 0 0 34209 9 0 0 20 0 1 0 282288839 187781120 44467 33554432000 4194304 6212839 140735475886832 140735475884984 4298110 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 45845 44467 234 493 0 45350 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 192532
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16088
/proc/meminfo: memFree=29580612/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=251960 CPUtime=1062.05 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 66724 0 0 0 106190 15 0 0 20 0 1 0 282288839 258007040 62658 33554432000 4194304 6212839 140735475886832 140735475884840 4333860 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 62990 62658 234 493 0 62495 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 261112
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16093
/proc/meminfo: memFree=29452792/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=259820 CPUtime=1122.03 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 68895 0 0 0 112188 15 0 0 20 0 1 0 282288839 266055680 64246 33554432000 4194304 6212839 140735475886832 140735475884984 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 64955 64246 234 493 0 64460 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 268972
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 16093
/proc/meminfo: memFree=29447220/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=259820 CPUtime=1182.02 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 68906 0 0 0 118187 15 0 0 20 0 1 0 282288839 266055680 64257 33554432000 4194304 6212839 140735475886832 140735475884984 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 64955 64257 234 493 0 64460 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 268972
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 16094
/proc/meminfo: memFree=29445164/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=260084 CPUtime=1242.01 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 68991 0 0 0 124186 15 0 0 20 0 1 0 282288839 266326016 64341 33554432000 4194304 6212839 140735475886832 140735475884840 4334721 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 65021 64341 234 493 0 64526 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 269236
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 16094
/proc/meminfo: memFree=29419936/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=279616 CPUtime=1302.01 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 72726 0 0 0 130185 16 0 0 20 0 1 0 282288839 286326784 68384 33554432000 4194304 6212839 140735475886832 140735475884840 4685264 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 69904 68384 234 493 0 69409 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 288768
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 16094
/proc/meminfo: memFree=29414856/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=281880 CPUtime=1362 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 73706 0 0 0 136183 17 0 0 20 0 1 0 282288839 288645120 68776 33554432000 4194304 6212839 140735475886832 140735475885128 4685283 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 70470 68776 234 493 0 69975 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 291032
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 16094
/proc/meminfo: memFree=29408508/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=285500 CPUtime=1421.99 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 74602 0 0 0 142182 17 0 0 20 0 1 0 282288839 292352000 69548 33554432000 4194304 6212839 140735475886832 140735475885032 4685476 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 71375 69548 234 493 0 70880 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 294652
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 16094
/proc/meminfo: memFree=29404416/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=287764 CPUtime=1481.98 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 75576 0 0 0 148181 17 0 0 20 0 1 0 282288839 294670336 70058 33554432000 4194304 6212839 140735475886832 140735475884840 4685776 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 71941 70058 234 493 0 71446 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 296916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16095
/proc/meminfo: memFree=29402308/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=288580 CPUtime=1541.97 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 75788 0 0 0 154180 17 0 0 20 0 1 0 282288839 295505920 70270 33554432000 4194304 6212839 140735475886832 140735475884840 5484523 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 72145 70270 234 493 0 71650 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 297732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 16098
/proc/meminfo: memFree=29391788/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=288784 CPUtime=1601.95 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 75976 0 0 0 160178 17 0 0 20 0 1 0 282288839 295714816 71708 33554432000 4194304 6212839 140735475886832 140735475884840 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 72196 71708 234 493 0 71701 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 297936
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 16121
/proc/meminfo: memFree=29388984/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=292532 CPUtime=1661.95 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 77637 0 0 0 166177 18 0 0 20 0 1 0 282288839 299552768 72673 33554432000 4194304 6212839 140735475886832 140735475884840 4685323 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 73133 72673 234 493 0 72638 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 301684
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16121
/proc/meminfo: memFree=29376344/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=306864 CPUtime=1721.93 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 80783 0 0 0 172175 18 0 0 20 0 1 0 282288839 314228736 75494 33554432000 4194304 6212839 140735475886832 140735475885128 4328942 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 76716 75494 234 493 0 76221 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 316016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16121
/proc/meminfo: memFree=29354864/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=306864 CPUtime=1781.93 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 80783 0 0 0 178175 18 0 0 20 0 1 0 282288839 314228736 75494 33554432000 4194304 6212839 140735475886832 140735475885128 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 76716 75494 234 493 0 76221 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 316016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16162
/proc/meminfo: memFree=29646056/32873648 swapFree=7368/7368
[pid=16082] ppid=16080 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (clasp-opt.sh) S 16080 16082 15493 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282288839 9371648 275 33554432000 4194304 5064252 140736202442144 140736202441056 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16082/statm: 2288 275 232 213 0 73 0
[pid=16083] ppid=16082 vsize=306864 CPUtime=1800.04 cores=0,2,4,6
/proc/16083/stat : 16083 (clasp-R5325) R 16082 16082 15493 0 -1 4202496 80783 0 0 0 179985 19 0 0 20 0 1 0 282288839 314228736 75494 33554432000 4194304 6212839 140735475886832 140735475885128 4312695 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/16083/statm: 76716 75494 234 493 0 76221 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 316016
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.05
CPU user time (s): 1799.85
CPU system time (s): 0.19397
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 316600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.19397
maximum resident set size= 302432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81155
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= 114
involuntary context switches= 1976
runsolver used 2.72558 second user time and 7.10192 second system time
The end