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-3709577-1338182080/watcher-3709577-1338182080 -o /tmp/evaluation-result-3709577-1338182080/solver-3709577-1338182080 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709577-1338182080.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.92 1.98 1.99 3/177 21212
/proc/meminfo: memFree=28713648/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[startup+0.092961 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21212
/proc/meminfo: memFree=28713648/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100154 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21212
/proc/meminfo: memFree=28713648/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.3001 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21212
/proc/meminfo: memFree=28713648/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700098 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21212
/proc/meminfo: memFree=28713648/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21214
/proc/meminfo: memFree=28711276/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=4904 CPUtime=1.49 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 973 0 0 0 149 0 0 0 20 0 1 0 284333965 5021696 906 33554432000 4194304 6212839 140737449076496 140737449074504 4674290 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 1226 906 237 493 0 731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14056
[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 21214
/proc/meminfo: memFree=28710392/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=5804 CPUtime=3.09 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 1201 0 0 0 309 0 0 0 20 0 1 0 284333965 5943296 1134 33554432000 4194304 6212839 140737449076496 140737449074792 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 1451 1134 237 493 0 956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14956
[startup+6.30014 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 21214
/proc/meminfo: memFree=28708560/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=6632 CPUtime=6.29 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 1412 0 0 0 629 0 0 0 20 0 1 0 284333965 6791168 1345 33554432000 4194304 6212839 140737449076496 140737449074792 4744671 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 1658 1345 237 493 0 1163 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15784
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 21214
/proc/meminfo: memFree=28706416/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=8492 CPUtime=12.69 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 1867 0 0 0 1269 0 0 0 20 0 1 0 284333965 8695808 1800 33554432000 4194304 6212839 140737449076496 140737449074504 4634996 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 2123 1800 237 493 0 1628 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17644
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 21214
/proc/meminfo: memFree=28705084/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=9292 CPUtime=25.49 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 2088 0 0 0 2549 0 0 0 20 0 1 0 284333965 9515008 2021 33554432000 4194304 6212839 140737449076496 140737449074904 4683117 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 2323 2021 237 493 0 1828 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18444
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 21214
/proc/meminfo: memFree=28702908/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=11008 CPUtime=51.08 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 2492 0 0 0 5108 0 0 0 20 0 1 0 284333965 11272192 2427 33554432000 4194304 6212839 140737449076496 140737449074648 4674608 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 2752 2427 237 493 0 2257 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20160
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 21215
/proc/meminfo: memFree=28699664/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=14412 CPUtime=102.27 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 3340 0 0 0 10227 0 0 0 20 0 1 0 284333965 14757888 3274 33554432000 4194304 6212839 140737449076496 140737449074648 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 3603 3274 237 493 0 3108 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23564
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 21215
/proc/meminfo: memFree=28697448/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=15884 CPUtime=162.26 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 3684 0 0 0 16226 0 0 0 20 0 1 0 284333965 16265216 3644 33554432000 4194304 6212839 140737449076496 140737449074648 4421920 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 3971 3644 237 493 0 3476 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25036
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 21215
/proc/meminfo: memFree=28697412/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=16784 CPUtime=222.25 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 3888 0 0 0 22225 0 0 0 20 0 1 0 284333965 17186816 3848 33554432000 4194304 6212839 140737449076496 140737449074648 4743696 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 4196 3848 237 493 0 3701 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25936
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 21215
/proc/meminfo: memFree=28690280/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=18604 CPUtime=282.24 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 4241 0 0 0 28224 0 0 0 20 0 1 0 284333965 19050496 4286 33554432000 4194304 6212839 140737449076496 140737449074648 4674525 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 4651 4286 237 493 0 4156 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27756
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/180 21218
/proc/meminfo: memFree=28687580/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=19848 CPUtime=342.23 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 4541 0 0 0 34223 0 0 0 20 0 1 0 284333965 20324352 4586 33554432000 4194304 6212839 140737449076496 140737449074792 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 4962 4586 237 493 0 4467 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29000
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 21219
/proc/meminfo: memFree=28686968/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=27812 CPUtime=1122.1 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6190 0 0 0 112210 0 0 0 20 0 1 0 284333965 28479488 6524 33554432000 4194304 6212839 140737449076496 140737449074648 4635468 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 6953 6524 237 493 0 6458 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 36964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21265
/proc/meminfo: memFree=28689536/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=27980 CPUtime=1182.09 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6225 0 0 0 118209 0 0 0 20 0 1 0 284333965 28651520 6670 33554432000 4194304 6212839 140737449076496 140737449074648 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 6995 6670 237 493 0 6500 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 37132
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21265
/proc/meminfo: memFree=28689164/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=28656 CPUtime=1242.08 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6346 0 0 0 124208 0 0 0 20 0 1 0 284333965 29343744 6791 33554432000 4194304 6212839 140737449076496 140737449074648 4681752 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7164 6791 237 493 0 6669 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 37808
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21266
/proc/meminfo: memFree=28688916/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=28824 CPUtime=1302.08 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6399 0 0 0 130208 0 0 0 20 0 1 0 284333965 29515776 6844 33554432000 4194304 6212839 140737449076496 140737449074648 4635046 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7206 6844 237 493 0 6711 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 37976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21266
/proc/meminfo: memFree=28675820/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=29372 CPUtime=1362.06 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6496 0 0 0 136206 0 0 0 20 0 1 0 284333965 30076928 6941 33554432000 4194304 6212839 140737449076496 140737449074648 4681518 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7343 6941 237 493 0 6848 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 38524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21266
/proc/meminfo: memFree=28654248/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=29708 CPUtime=1422.06 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6583 0 0 0 142206 0 0 0 20 0 1 0 284333965 30420992 7028 33554432000 4194304 6212839 140737449076496 140737449074648 4356555 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7427 7028 237 493 0 6932 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 38860
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21266
/proc/meminfo: memFree=28652676/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=30216 CPUtime=1482.04 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6666 0 0 0 148204 0 0 0 20 0 1 0 284333965 30941184 7207 33554432000 4194304 6212839 140737449076496 140737449074648 4674334 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7554 7207 237 493 0 7059 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 39368
[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 21269
/proc/meminfo: memFree=28652612/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=30384 CPUtime=1542.04 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6720 0 0 0 154203 1 0 0 20 0 1 0 284333965 31113216 7261 33554432000 4194304 6212839 140737449076496 140737449074648 4683120 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7596 7261 237 493 0 7101 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 39536
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21270
/proc/meminfo: memFree=28652496/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=30552 CPUtime=1602.03 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6736 0 0 0 160202 1 0 0 20 0 1 0 284333965 31285248 7277 33554432000 4194304 6212839 140737449076496 140737449074648 4683117 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7638 7277 237 493 0 7143 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 39704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21270
/proc/meminfo: memFree=28652376/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=31060 CPUtime=1662.02 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6838 0 0 0 166201 1 0 0 20 0 1 0 284333965 31805440 7379 33554432000 4194304 6212839 140737449076496 140737449074648 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7765 7379 237 493 0 7270 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 40212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21270
/proc/meminfo: memFree=28652128/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=31228 CPUtime=1722.02 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6880 0 0 0 172201 1 0 0 20 0 1 0 284333965 31977472 7421 33554432000 4194304 6212839 140737449076496 140737449074648 4685794 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7807 7421 237 493 0 7312 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 40380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21270
/proc/meminfo: memFree=28651384/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=31776 CPUtime=1782.01 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 6994 0 0 0 178200 1 0 0 20 0 1 0 284333965 32538624 7535 33554432000 4194304 6212839 140737449076496 140737449074648 4298309 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7944 7535 237 493 0 7449 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 40928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21270
/proc/meminfo: memFree=28651384/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=31776 CPUtime=1800.01 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 7011 0 0 0 180000 1 0 0 20 0 1 0 284333965 32538624 7552 33554432000 4194304 6212839 140737449076496 140737449074648 4411611 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7944 7552 237 493 0 7449 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 40928
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21270
/proc/meminfo: memFree=28651384/32873648 swapFree=7372/7372
[pid=21212] ppid=21210 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21212/stat : 21212 (clasp-opt.sh) S 21210 21212 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284333964 9371648 275 33554432000 4194304 5064252 140735035145824 140735035144736 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21212/statm: 2288 275 232 213 0 73 0
[pid=21213] ppid=21212 vsize=31776 CPUtime=1800.01 cores=1,3,5,7
/proc/21213/stat : 21213 (clasp-R5325) R 21212 21212 17700 0 -1 4202496 7011 0 0 0 180000 1 0 0 20 0 1 0 284333965 32538624 7552 33554432000 4194304 6212839 140737449076496 140737449074648 4411611 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21213/statm: 7944 7552 237 493 0 7449 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 40928
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.011998
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 40928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.011998
maximum resident set size= 30240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7383
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= 17
involuntary context switches= 1853
runsolver used 2.71759 second user time and 7.12992 second system time
The end