runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491842-1307771287/watcher-3491842-1307771287 -o /tmp/evaluation-result-3491842-1307771287/solver-3491842-1307771287 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491842-1307771287.opb --solu --heu=VSIDS
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.93 3/177 11681
/proc/meminfo: memFree=31607916/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=8748 CPUtime=0 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 1891 0 0 0 0 0 0 0 25 0 1 0 967359363 8957952 1634 33554432000 4194304 6245536 140734387650528 18446744073709551615 4642370 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 2187 1638 172 501 0 1683 0
[startup+0.0560009 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 11681
/proc/meminfo: memFree=31607916/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=19260 CPUtime=0.05 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 5456 0 0 0 5 0 0 0 25 0 1 0 967359363 19722240 4262 33554432000 4194304 6245536 140734387650528 18446744073709551615 4574833 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 4815 4262 198 501 0 4311 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19260
[startup+0.100998 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 11681
/proc/meminfo: memFree=31607916/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=20712 CPUtime=0.09 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 5844 0 0 0 9 0 0 0 25 0 1 0 967359363 21209088 4650 33554432000 4194304 6245536 140734387650528 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 5178 4651 201 501 0 4674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20712
[startup+0.300968 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 11681
/proc/meminfo: memFree=31607916/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=22452 CPUtime=0.29 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 6905 0 0 0 29 0 0 0 25 0 1 0 967359363 22990848 5204 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 5613 5204 227 501 0 5109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22452
[startup+0.700885 s]
/proc/loadavg: 1.92 1.98 1.93 3/177 11681
/proc/meminfo: memFree=31607916/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=24780 CPUtime=0.69 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 7513 0 0 0 69 0 0 0 25 0 1 0 967359363 25374720 5812 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 6195 5813 228 501 0 5691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24780
[startup+1.50074 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 11682
/proc/meminfo: memFree=31584620/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=26468 CPUtime=1.49 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 7931 0 0 0 149 0 0 0 25 0 1 0 967359363 27103232 6230 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 6617 6230 229 501 0 6113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26468
[startup+3.10044 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 11682
/proc/meminfo: memFree=31582016/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=30168 CPUtime=3.09 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 8858 0 0 0 309 0 0 0 25 0 1 0 967359363 30892032 7157 33554432000 4194304 6245536 140734387650528 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 7542 7157 229 501 0 7038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30168
[startup+6.30085 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 11682
/proc/meminfo: memFree=31576104/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=32836 CPUtime=6.29 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 9530 0 0 0 629 0 0 0 25 0 1 0 967359363 33624064 7829 33554432000 4194304 6245536 140734387650528 18446744073709551615 4635064 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 8209 7829 229 501 0 7705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32836
[startup+12.7007 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 11682
/proc/meminfo: memFree=31570336/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=37972 CPUtime=12.69 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 10794 0 0 0 1269 0 0 0 25 0 1 0 967359363 38883328 9093 33554432000 4194304 6245536 140734387650528 18446744073709551615 4633939 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 9493 9093 229 501 0 8989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37972
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 11682
/proc/meminfo: memFree=31562268/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=43936 CPUtime=25.49 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 12262 0 0 0 2548 1 0 0 25 0 1 0 967359363 44990464 10561 33554432000 4194304 6245536 140734387650528 18446744073709551615 4409856 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 10984 10561 229 501 0 10480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43936
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11683
/proc/meminfo: memFree=31549352/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=54472 CPUtime=51.09 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 14813 0 0 0 5108 1 0 0 25 0 1 0 967359363 55779328 13112 33554432000 4194304 6245536 140734387650528 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 13618 13112 229 501 0 13114 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54472
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11684
/proc/meminfo: memFree=31535564/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=65160 CPUtime=102.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 17374 0 0 0 10228 2 0 0 25 0 1 0 967359363 66723840 15673 33554432000 4194304 6245536 140734387650528 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11681/statm: 16290 15673 229 501 0 15786 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65160
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11686
/proc/meminfo: memFree=31523496/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=74980 CPUtime=162.29 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 19691 0 0 0 16227 2 0 0 25 0 1 0 967359363 76779520 17990 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 18745 17990 229 501 0 18241 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 74980
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11688
/proc/meminfo: memFree=31512176/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=83996 CPUtime=222.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 21843 0 0 0 22227 3 0 0 25 0 1 0 967359363 86011904 20142 33554432000 4194304 6245536 140734387650528 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 20999 20142 229 501 0 20495 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 83996
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11689
/proc/meminfo: memFree=31503580/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=92256 CPUtime=282.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 23814 0 0 0 28227 3 0 0 25 0 1 0 967359363 94470144 22113 33554432000 4194304 6245536 140734387650528 18446744073709551615 4319936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 23064 22113 229 501 0 22560 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 92256
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11691
/proc/meminfo: memFree=31496216/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=97524 CPUtime=342.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 24967 0 0 0 34227 3 0 0 25 0 1 0 967359363 99864576 23266 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 24381 23266 229 501 0 23877 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 97524
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11692
/proc/meminfo: memFree=31491820/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=101568 CPUtime=402.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 25852 0 0 0 40227 3 0 0 25 0 1 0 967359363 104005632 24151 33554432000 4194304 6245536 140734387650528 18446744073709551615 4408690 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 25392 24151 229 501 0 24888 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 101568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11694
/proc/meminfo: memFree=31482120/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=109572 CPUtime=462.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 27822 0 0 0 46227 3 0 0 25 0 1 0 967359363 112201728 26121 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 27393 26121 229 501 0 26889 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 109572
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11696
/proc/meminfo: memFree=31477008/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=114284 CPUtime=522.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 28944 0 0 0 52227 3 0 0 25 0 1 0 967359363 117026816 27243 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 28571 27243 229 501 0 28067 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 114284
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11697
/proc/meminfo: memFree=31473372/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=117328 CPUtime=582.3 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 29613 0 0 0 58227 3 0 0 25 0 1 0 967359363 120143872 27912 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 29332 27912 229 501 0 28828 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 117328
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11713
/proc/meminfo: memFree=31449796/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=137264 CPUtime=822.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 34346 0 0 0 82228 4 0 0 25 0 1 0 967359363 140558336 32645 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 34316 32645 229 501 0 33812 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 137264
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11714
/proc/meminfo: memFree=31447524/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=139620 CPUtime=882.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 34842 0 0 0 88228 4 0 0 25 0 1 0 967359363 142970880 33141 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 34905 33141 229 501 0 34401 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 139620
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11716
/proc/meminfo: memFree=31445740/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=140756 CPUtime=942.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 35094 0 0 0 94228 4 0 0 25 0 1 0 967359363 144134144 33393 33554432000 4194304 6245536 140734387650528 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 35189 33393 229 501 0 34685 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 140756
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 11717
/proc/meminfo: memFree=31443204/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=143028 CPUtime=1002.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 35610 0 0 0 100228 4 0 0 25 0 1 0 967359363 146460672 33909 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 35757 33909 229 501 0 35253 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 143028
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 11719
/proc/meminfo: memFree=31440816/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=144292 CPUtime=1062.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 35900 0 0 0 106228 4 0 0 25 0 1 0 967359363 147755008 34199 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 36073 34199 229 501 0 35569 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 144292
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/178 11721
/proc/meminfo: memFree=31435824/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=149700 CPUtime=1122.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 37156 0 0 0 112228 4 0 0 25 0 1 0 967359363 153292800 35455 33554432000 4194304 6245536 140734387650528 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 37425 35455 229 501 0 36921 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 149700
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/178 11722
/proc/meminfo: memFree=31430840/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=154952 CPUtime=1182.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 38305 0 0 0 118228 4 0 0 25 0 1 0 967359363 158670848 36604 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 38738 36604 229 501 0 38234 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 154952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 11724
/proc/meminfo: memFree=31427460/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=158484 CPUtime=1242.32 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 39099 0 0 0 124228 4 0 0 25 0 1 0 967359363 162287616 37398 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 39621 37398 229 501 0 39117 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 158484
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 11725
/proc/meminfo: memFree=31424320/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=161940 CPUtime=1302.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 39841 0 0 0 130229 5 0 0 25 0 1 0 967359363 165826560 38140 33554432000 4194304 6245536 140734387650528 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 40485 38140 229 501 0 39981 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 161940
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11727
/proc/meminfo: memFree=31422300/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=164060 CPUtime=1362.33 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 40330 0 0 0 136228 5 0 0 25 0 1 0 967359363 167997440 38629 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 41015 38629 229 501 0 40511 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 164060
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11729
/proc/meminfo: memFree=31419288/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=167576 CPUtime=1422.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 41116 0 0 0 142229 5 0 0 25 0 1 0 967359363 171597824 39415 33554432000 4194304 6245536 140734387650528 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 41894 39415 229 501 0 41390 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 167576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11730
/proc/meminfo: memFree=31418016/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=169188 CPUtime=1482.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 41434 0 0 0 148229 5 0 0 25 0 1 0 967359363 173248512 39733 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 42297 39733 229 501 0 41793 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 169188
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11732
/proc/meminfo: memFree=31415996/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=171272 CPUtime=1542.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 41887 0 0 0 154229 5 0 0 25 0 1 0 967359363 175382528 40186 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 42818 40186 229 501 0 42314 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 171272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11733
/proc/meminfo: memFree=31414460/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=172316 CPUtime=1602.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 42124 0 0 0 160229 5 0 0 25 0 1 0 967359363 176451584 40423 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 43079 40423 229 501 0 42575 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 172316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11735
/proc/meminfo: memFree=31412940/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=173708 CPUtime=1662.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 42427 0 0 0 166229 5 0 0 25 0 1 0 967359363 177876992 40726 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 43427 40726 229 501 0 42923 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 173708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11737
/proc/meminfo: memFree=31411180/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=175668 CPUtime=1722.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 42844 0 0 0 172229 5 0 0 25 0 1 0 967359363 179884032 41143 33554432000 4194304 6245536 140734387650528 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 43917 41143 229 501 0 43413 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 175668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11738
/proc/meminfo: memFree=31408544/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=177312 CPUtime=1782.34 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 43207 0 0 0 178229 5 0 0 25 0 1 0 967359363 181567488 41506 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 44328 41506 229 501 0 43824 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 177312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11778
/proc/meminfo: memFree=31374904/32950928 swapFree=67051096/67111528
[pid=11681] ppid=11679 vsize=181508 CPUtime=1800.05 cores=1,3,5,7
/proc/11681/stat : 11681 (clasp) R 11679 11681 6496 0 -1 4202496 44233 0 0 0 180000 5 0 0 25 0 1 0 967359363 185864192 42532 33554432000 4194304 6245536 140734387650528 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11681/statm: 45377 42532 229 501 0 44873 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 181508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.01
CPU system time (s): 0.06299
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 181508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44244
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= 3
involuntary context switches= 2748
runsolver used 2.49762 second user time and 5.69313 second system time
The end