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-3709050-1338148655/watcher-3709050-1338148655 -o /tmp/evaluation-result-3709050-1338148655/solver-3709050-1338148655 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709050-1338148655.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.03 2.04 1.98 2/179 17782
/proc/meminfo: memFree=31451772/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[startup+0.031325 s]
/proc/loadavg: 2.03 2.04 1.98 2/179 17782
/proc/meminfo: memFree=31451772/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100193 s]
/proc/loadavg: 2.03 2.04 1.98 2/179 17782
/proc/meminfo: memFree=31451772/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30021 s]
/proc/loadavg: 2.03 2.04 1.98 2/179 17782
/proc/meminfo: memFree=31451772/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70019 s]
/proc/loadavg: 2.03 2.04 1.98 2/179 17782
/proc/meminfo: memFree=31451772/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50022 s]
/proc/loadavg: 2.03 2.04 1.98 3/181 17784
/proc/meminfo: memFree=31448120/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=6004 CPUtime=1.49 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 1230 0 0 0 149 0 0 0 20 0 1 0 280990828 6148096 1180 33554432000 4194304 6212839 140734077344784 140734077342792 4743696 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/17783/statm: 1501 1180 232 493 0 1006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15156
[startup+3.10021 s]
/proc/loadavg: 2.03 2.04 1.98 3/181 17784
/proc/meminfo: memFree=31446632/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=7132 CPUtime=3.09 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 1507 0 0 0 309 0 0 0 20 0 1 0 280990828 7303168 1457 33554432000 4194304 6212839 140734077344784 140734077342792 4674569 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/17783/statm: 1783 1457 232 493 0 1288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16284
[startup+6.30022 s]
/proc/loadavg: 2.03 2.04 1.98 3/181 17784
/proc/meminfo: memFree=31444532/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=8552 CPUtime=6.29 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 1875 0 0 0 629 0 0 0 20 0 1 0 280990828 8757248 1825 33554432000 4194304 6212839 140734077344784 140734077342792 4411611 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/17783/statm: 2138 1825 232 493 0 1643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17704
[startup+12.7002 s]
/proc/loadavg: 2.03 2.04 1.98 3/181 17784
/proc/meminfo: memFree=31440696/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=10280 CPUtime=12.69 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 2305 0 0 0 1269 0 0 0 20 0 1 0 280990828 10526720 2255 33554432000 4194304 6212839 140734077344784 140734077343080 4333840 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/17783/statm: 2570 2255 232 493 0 2075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19432
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 1.98 3/180 17784
/proc/meminfo: memFree=31437848/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=12544 CPUtime=25.48 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 2879 0 0 0 2548 0 0 0 20 0 1 0 280990828 12845056 2814 33554432000 4194304 6212839 140734077344784 140734077342936 4744716 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 3136 2814 232 493 0 2641 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21696
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 1.98 3/181 17785
/proc/meminfo: memFree=31431752/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=15668 CPUtime=51.08 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 3645 0 0 0 5107 1 0 0 20 0 1 0 280990828 16044032 3586 33554432000 4194304 6212839 140734077344784 140734077342936 4685814 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 3917 3586 232 493 0 3422 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24820
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 1.98 3/181 17785
/proc/meminfo: memFree=31426044/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=19556 CPUtime=102.27 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 4645 0 0 0 10226 1 0 0 20 0 1 0 280990828 20025344 4556 33554432000 4194304 6212839 140734077344784 140734077342936 4662656 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 4889 4556 232 493 0 4394 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28708
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/182 17788
/proc/meminfo: memFree=31420440/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=22372 CPUtime=162.25 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 5363 0 0 0 16224 1 0 0 20 0 1 0 280990828 22908928 5275 33554432000 4194304 6212839 140734077344784 140734077343080 4743900 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 5593 5275 232 493 0 5098 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31524
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 17811
/proc/meminfo: memFree=31414792/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=24920 CPUtime=222.25 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 6094 0 0 0 22223 2 0 0 20 0 1 0 280990828 25518080 5915 33554432000 4194304 6212839 140734077344784 140734077343080 4737627 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 6230 5915 232 493 0 5735 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34072
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 17811
/proc/meminfo: memFree=31412140/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=26612 CPUtime=282.24 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 6454 0 0 0 28222 2 0 0 20 0 1 0 280990828 27250688 6301 33554432000 4194304 6212839 140734077344784 140734077342936 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 6653 6301 232 493 0 6158 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 35764
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17812
/proc/meminfo: memFree=31408044/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=28348 CPUtime=342.23 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 7126 0 0 0 34221 2 0 0 20 0 1 0 280990828 29028352 6775 33554432000 4194304 6212839 140734077344784 140734077343080 4685362 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 7087 6775 232 493 0 6592 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37500
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17812
/proc/meminfo: memFree=31405376/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=39412 CPUtime=1122.1 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 9866 0 0 0 112207 3 0 0 20 0 1 0 280990828 40357888 9492 33554432000 4194304 6212839 140734077344784 140734077342936 4424409 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 9853 9492 232 493 0 9358 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 48564
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 17817
/proc/meminfo: memFree=31385888/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=39636 CPUtime=1182.1 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 9913 0 0 0 118206 4 0 0 20 0 1 0 280990828 40587264 9539 33554432000 4194304 6212839 140734077344784 140734077342936 4743856 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 9909 9539 232 493 0 9414 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 48788
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 17817
/proc/meminfo: memFree=31385640/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=39916 CPUtime=1242.09 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 9973 0 0 0 124205 4 0 0 20 0 1 0 280990828 40873984 9599 33554432000 4194304 6212839 140734077344784 140734077342936 4307907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 9979 9599 232 493 0 9484 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 49068
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 17818
/proc/meminfo: memFree=31385144/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=39916 CPUtime=1302.09 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 9977 0 0 0 130205 4 0 0 20 0 1 0 280990828 40873984 9603 33554432000 4194304 6212839 140734077344784 140734077342936 4674368 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 9979 9603 232 493 0 9484 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 49068
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/182 17821
/proc/meminfo: memFree=31383204/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=40196 CPUtime=1362.07 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10052 0 0 0 136203 4 0 0 20 0 1 0 280990828 41160704 9720 33554432000 4194304 6212839 140734077344784 140734077343192 4298163 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10049 9720 232 493 0 9554 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 49348
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 17821
/proc/meminfo: memFree=31382660/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=40532 CPUtime=1422.07 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10097 0 0 0 142203 4 0 0 20 0 1 0 280990828 41504768 9765 33554432000 4194304 6212839 140734077344784 140734077342936 4743921 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10133 9765 232 493 0 9638 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 49684
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 17821
/proc/meminfo: memFree=31382288/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=40868 CPUtime=1482.05 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10184 0 0 0 148201 4 0 0 20 0 1 0 280990828 41848832 9852 33554432000 4194304 6212839 140734077344784 140734077342936 4743836 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10217 9852 232 493 0 9722 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 50020
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 17821
/proc/meminfo: memFree=31382040/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=41220 CPUtime=1542.04 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10253 0 0 0 154200 4 0 0 20 0 1 0 280990828 42209280 9921 33554432000 4194304 6212839 140734077344784 140734077342936 4685449 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10305 9921 232 493 0 9810 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 50372
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 17822
/proc/meminfo: memFree=31382040/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=41392 CPUtime=1602.03 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10280 0 0 0 160199 4 0 0 20 0 1 0 280990828 42385408 9948 33554432000 4194304 6212839 140734077344784 140734077342936 4685512 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10348 9948 232 493 0 9853 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 50544
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17822
/proc/meminfo: memFree=31381420/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=41712 CPUtime=1662.03 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10369 0 0 0 166198 5 0 0 20 0 1 0 280990828 42713088 10037 33554432000 4194304 6212839 140734077344784 140734077342936 4743992 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10428 10037 232 493 0 9933 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 50864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17822
/proc/meminfo: memFree=31380364/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=41984 CPUtime=1722.02 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10438 0 0 0 172197 5 0 0 20 0 1 0 280990828 42991616 10173 33554432000 4194304 6212839 140734077344784 140734077342936 4298129 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10496 10173 232 493 0 10001 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 51136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17862
/proc/meminfo: memFree=31323176/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=42188 CPUtime=1782.01 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10493 0 0 0 178196 5 0 0 20 0 1 0 280990828 43200512 10228 33554432000 4194304 6212839 140734077344784 140734077342936 4681544 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10547 10228 232 493 0 10052 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 51340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17862
/proc/meminfo: memFree=31274692/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=42368 CPUtime=1800.01 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10524 0 0 0 179996 5 0 0 20 0 1 0 280990828 43384832 10259 33554432000 4194304 6212839 140734077344784 140734077342936 4674583 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10592 10259 232 493 0 10097 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 51520
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/181 17862
/proc/meminfo: memFree=31274692/32873844 swapFree=7112/7112
[pid=17782] ppid=17780 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17782/stat : 17782 (clasp-opt.sh) S 17780 17782 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280990828 9371648 275 33554432000 4194304 5064252 140735831250976 140735831249888 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17782/statm: 2288 275 232 213 0 73 0
[pid=17783] ppid=17782 vsize=42368 CPUtime=1800.01 cores=0,2,4,6
/proc/17783/stat : 17783 (clasp-R5325) R 17782 17782 4091 0 -1 4202496 10524 0 0 0 179996 5 0 0 20 0 1 0 280990828 43384832 10259 33554432000 4194304 6212839 140734077344784 140734077342936 4674583 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17783/statm: 10592 10259 232 493 0 10097 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 51520
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.054991
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 51520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.054991
maximum resident set size= 41064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10895
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= 24
involuntary context switches= 2197
runsolver used 2.83357 second user time and 8.78666 second system time
The end