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-3708533-1338157449/watcher-3708533-1338157449 -o /tmp/evaluation-result-3708533-1338157449/solver-3708533-1338157449 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708533-1338157449.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.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[startup+0.0186729 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100209 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300208 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700174 s]
/proc/loadavg: 1.12 1.71 1.89 3/175 13042
/proc/meminfo: memFree=29053356/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50021 s]
/proc/loadavg: 1.19 1.71 1.89 4/179 13046
/proc/meminfo: memFree=29046364/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=5400 CPUtime=1.49 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 1104 0 0 0 149 0 0 0 20 0 1 0 281870338 5529600 1028 33554432000 4194304 6212839 140736920522800 140736920521000 4683194 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 1350 1028 227 493 0 855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14552
[startup+3.10022 s]
/proc/loadavg: 1.19 1.71 1.89 4/179 13046
/proc/meminfo: memFree=29041636/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=7244 CPUtime=3.09 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 1566 0 0 0 309 0 0 0 20 0 1 0 281870338 7417856 1490 33554432000 4194304 6212839 140736920522800 140736920520808 4683052 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 1811 1490 227 493 0 1316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16396
[startup+6.30024 s]
/proc/loadavg: 1.26 1.72 1.89 4/179 13046
/proc/meminfo: memFree=29033428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=9812 CPUtime=6.29 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 2221 0 0 0 629 0 0 0 20 0 1 0 281870338 10047488 2145 33554432000 4194304 6212839 140736920522800 140736920520952 4685321 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 2453 2145 227 493 0 1958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18964
[startup+12.7002 s]
/proc/loadavg: 1.32 1.72 1.89 4/179 13046
/proc/meminfo: memFree=29026712/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=13096 CPUtime=12.69 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 3011 0 0 0 1269 0 0 0 20 0 1 0 281870338 13410304 2935 33554432000 4194304 6212839 140736920522800 140736920520952 4308178 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 3274 2935 227 493 0 2779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22248
[startup+25.5003 s]
/proc/loadavg: 1.42 1.73 1.90 4/179 13046
/proc/meminfo: memFree=29013924/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=16536 CPUtime=25.49 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 3886 0 0 0 2549 0 0 0 20 0 1 0 281870338 16932864 3801 33554432000 4194304 6212839 140736920522800 140736920521096 4298198 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 4134 3801 227 493 0 3639 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25688
[startup+51.1003 s]
/proc/loadavg: 1.65 1.75 1.90 4/179 13046
/proc/meminfo: memFree=28993428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=21404 CPUtime=51.07 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 5079 0 0 0 5107 0 0 0 20 0 1 0 281870338 21917696 5019 33554432000 4194304 6212839 140736920522800 140736920520952 4298160 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 5351 5019 227 493 0 4856 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30556
[startup+102.307 s]
/proc/loadavg: 1.85 1.79 1.90 4/179 13046
/proc/meminfo: memFree=28964008/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=38576 CPUtime=102.27 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 9229 0 0 0 10226 1 0 0 20 0 1 0 281870338 39501824 9240 33554432000 4194304 6212839 140736920522800 140736920520952 4705179 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 9644 9240 227 493 0 9149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47728
[startup+162.3 s]
/proc/loadavg: 1.94 1.83 1.91 4/179 13046
/proc/meminfo: memFree=28942288/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=44572 CPUtime=162.26 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 10626 0 0 0 16224 2 0 0 20 0 1 0 281870338 45641728 10724 33554432000 4194304 6212839 140736920522800 140736920520952 4298186 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 11143 10724 227 493 0 10648 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53724
[startup+222.3 s]
/proc/loadavg: 1.98 1.85 1.91 4/178 13046
/proc/meminfo: memFree=28923556/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=51396 CPUtime=222.24 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 12184 0 0 0 22222 2 0 0 20 0 1 0 281870338 52629504 12478 33554432000 4194304 6212839 140736920522800 140736920520952 4743839 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 12849 12478 227 493 0 12354 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 60548
[startup+282.3 s]
/proc/loadavg: 2.07 1.91 1.92 4/179 13047
/proc/meminfo: memFree=28905052/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=57544 CPUtime=282.24 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 13556 0 0 0 28222 2 0 0 20 0 1 0 281870338 58925056 13850 33554432000 4194304 6212839 140736920522800 140736920520952 4298175 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 14386 13850 227 493 0 13891 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 66696
[startup+342.3 s]
/proc/loadavg: 2.02 1.92 1.92 4/179 13047
/proc/meminfo: memFree=28890660/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=62680 CPUtime=342.22 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 14690 0 0 0 34220 2 0 0 20 0 1 0 281870338 64184320 15191 33554432000 4194304 6212839 140736920522800 140736920520952 4357006 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 15670 15191 227 493 0 15175 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 71832
[startup+402.3 s]
/proc/loadavg: 2.06 1.95 1.93 4/180 13050
/proc/meminfo: memFree=28877116/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=102800 CPUtime=1062.11 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 23516 0 0 0 106207 4 0 0 20 0 1 0 281870338 105267200 25295 33554432000 4194304 6212839 140736920522800 140736920520952 4685406 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 25700 25295 227 493 0 25205 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 111952
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13055
/proc/meminfo: memFree=28785392/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=104652 CPUtime=1122.1 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 23865 0 0 0 112206 4 0 0 20 0 1 0 281870338 107163648 25727 33554432000 4194304 6212839 140736920522800 140736920520952 4356555 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26163 25727 227 493 0 25668 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 113804
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28782600/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=106676 CPUtime=1182.09 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24271 0 0 0 118205 4 0 0 20 0 1 0 281870338 109236224 26133 33554432000 4194304 6212839 140736920522800 140736920520952 4743708 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26669 26133 227 493 0 26174 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 115828
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28779376/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=107860 CPUtime=1242.08 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24530 0 0 0 124204 4 0 0 20 0 1 0 281870338 110448640 26392 33554432000 4194304 6212839 140736920522800 140736920520952 4685484 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 26965 26392 227 493 0 26470 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 117012
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28775156/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=109712 CPUtime=1302.08 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 24909 0 0 0 130203 5 0 0 20 0 1 0 281870338 112345088 26972 33554432000 4194304 6212839 140736920522800 140736920520952 4298171 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 27428 26972 227 493 0 26933 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 118864
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28772552/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=111400 CPUtime=1362.06 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 25246 0 0 0 136201 5 0 0 20 0 1 0 281870338 114073600 27309 33554432000 4194304 6212839 140736920522800 140736920520952 4357006 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 27850 27309 227 493 0 27355 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 120552
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13056
/proc/meminfo: memFree=28768268/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=113928 CPUtime=1422.06 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 25760 0 0 0 142201 5 0 0 20 0 1 0 281870338 116662272 27823 33554432000 4194304 6212839 140736920522800 140736920520952 4685433 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 28482 27823 227 493 0 27987 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 123080
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13057
/proc/meminfo: memFree=28763428/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=116124 CPUtime=1482.04 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26227 0 0 0 148199 5 0 0 20 0 1 0 281870338 118910976 28479 33554432000 4194304 6212839 140736920522800 140736920520952 4333818 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29031 28479 227 493 0 28536 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 125276
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13057
/proc/meminfo: memFree=28760948/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=117644 CPUtime=1542.03 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26539 0 0 0 154198 5 0 0 20 0 1 0 281870338 120467456 28791 33554432000 4194304 6212839 140736920522800 140736920520952 4685776 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29411 28791 227 493 0 28916 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 126796
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/180 13060
/proc/meminfo: memFree=28758020/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=119332 CPUtime=1602.02 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 26905 0 0 0 160197 5 0 0 20 0 1 0 281870338 122195968 29157 33554432000 4194304 6212839 140736920522800 140736920520952 4685357 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 29833 29157 227 493 0 29338 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 128484
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13060
/proc/meminfo: memFree=28754052/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=121692 CPUtime=1662.01 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 27396 0 0 0 166196 5 0 0 20 0 1 0 281870338 124612608 29985 33554432000 4194304 6212839 140736920522800 140736920520952 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 30423 29985 227 493 0 29928 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 130844
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/179 13060
/proc/meminfo: memFree=28751076/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=123548 CPUtime=1722 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 27764 0 0 0 172195 5 0 0 20 0 1 0 281870338 126513152 30353 33554432000 4194304 6212839 140736920522800 140736920520952 4661900 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 30887 30353 227 493 0 30392 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 132700
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.95 4/179 13061
/proc/meminfo: memFree=28746608/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=125404 CPUtime=1782 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 28160 0 0 0 178194 6 0 0 20 0 1 0 281870338 128413696 30749 33554432000 4194304 6212839 140736920522800 140736920520952 4298163 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 31351 30749 227 493 0 30856 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 134556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 1.95 4/179 13061
/proc/meminfo: memFree=28745988/32873844 swapFree=7384/7384
[pid=13042] ppid=13038 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/13042/stat : 13042 (clasp-dec.sh) S 13038 13042 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281870338 9371648 275 33554432000 4194304 5064252 140736461075904 140736461074816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13042/statm: 2288 275 232 213 0 73 0
[pid=13044] ppid=13042 vsize=126076 CPUtime=1800.1 cores=1,3,5,7
/proc/13044/stat : 13044 (clasp-R5325) R 13042 13042 12999 0 -1 4202496 28304 0 0 0 180004 6 0 0 20 0 1 0 281870338 129101824 30893 33554432000 4194304 6212839 140736920522800 140736920520952 4298307 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/13044/statm: 31519 30893 227 493 0 31024 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 135228
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.05
CPU system time (s): 0.06399
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 135228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.06399
maximum resident set size= 123616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28680
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= 49
involuntary context switches= 1908
runsolver used 4.35334 second user time and 11.2553 second system time
The end