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-3491956-1307779978/watcher-3491956-1307779978 -o /tmp/evaluation-result-3491956-1307779978/solver-3491956-1307779978 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491956-1307779978.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.85 2/177 20553
/proc/meminfo: memFree=30819948/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=4588 CPUtime=0 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 858 0 0 0 0 0 0 0 25 0 1 0 889595759 4698112 755 33554432000 4194304 6245536 140734596986880 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 1147 756 179 501 0 643 0
[startup+0.0910771 s]
/proc/loadavg: 2.01 2.00 1.85 2/177 20553
/proc/meminfo: memFree=30819948/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=7740 CPUtime=0.08 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 1922 0 0 0 8 0 0 0 25 0 1 0 889595759 7925760 1602 33554432000 4194304 6245536 140734596986880 18446744073709551615 4628267 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 1935 1602 226 501 0 1431 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7740
[startup+0.101076 s]
/proc/loadavg: 2.01 2.00 1.85 2/177 20553
/proc/meminfo: memFree=30819948/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=7740 CPUtime=0.09 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 1923 0 0 0 9 0 0 0 25 0 1 0 889595759 7925760 1603 33554432000 4194304 6245536 140734596986880 18446744073709551615 4627008 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 1935 1603 226 501 0 1431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7740
[startup+0.301036 s]
/proc/loadavg: 2.01 2.00 1.85 2/177 20553
/proc/meminfo: memFree=30819948/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=10256 CPUtime=0.29 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 2549 0 0 0 29 0 0 0 25 0 1 0 889595759 10502144 2229 33554432000 4194304 6245536 140734596986880 18446744073709551615 4694551 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 2564 2229 227 501 0 2060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256
[startup+0.700963 s]
/proc/loadavg: 2.01 2.00 1.85 2/177 20553
/proc/meminfo: memFree=30819948/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=12644 CPUtime=0.69 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 3157 0 0 0 69 0 0 0 25 0 1 0 889595759 12947456 2837 33554432000 4194304 6245536 140734596986880 18446744073709551615 4362837 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 3161 2837 227 501 0 2657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12644
[startup+1.50083 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20554
/proc/meminfo: memFree=30809796/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=12644 CPUtime=1.49 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 3165 0 0 0 149 0 0 0 25 0 1 0 889595759 12947456 2845 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 3161 2845 229 501 0 2657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12644
[startup+3.10054 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20554
/proc/meminfo: memFree=30809548/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=13700 CPUtime=3.09 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 3412 0 0 0 309 0 0 0 25 0 1 0 889595759 14028800 3092 33554432000 4194304 6245536 140734596986880 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 3425 3092 229 501 0 2921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13700
[startup+6.30094 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20554
/proc/meminfo: memFree=30805660/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=18996 CPUtime=6.29 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 4733 0 0 0 629 0 0 0 25 0 1 0 889595759 19451904 4413 33554432000 4194304 6245536 140734596986880 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 4749 4413 229 501 0 4245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18996
[startup+12.7008 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20554
/proc/meminfo: memFree=30800828/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=21408 CPUtime=12.69 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 5342 0 0 0 1269 0 0 0 25 0 1 0 889595759 21921792 5022 33554432000 4194304 6245536 140734596986880 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 5352 5022 229 501 0 4848 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21408
[startup+25.5005 s]
/proc/loadavg: 2.08 2.02 1.86 3/178 20555
/proc/meminfo: memFree=30791268/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=30576 CPUtime=25.49 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 7550 0 0 0 2548 1 0 0 25 0 1 0 889595759 31309824 7230 33554432000 4194304 6245536 140734596986880 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 7644 7230 229 501 0 7140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30576
[startup+51.1008 s]
/proc/loadavg: 2.05 2.01 1.86 3/178 20555
/proc/meminfo: memFree=30782056/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=36300 CPUtime=51.09 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 9011 0 0 0 5108 1 0 0 25 0 1 0 889595759 37171200 8691 33554432000 4194304 6245536 140734596986880 18446744073709551615 4637536 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 9075 8691 229 501 0 8571 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36300
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.87 3/178 20557
/proc/meminfo: memFree=30772244/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=45856 CPUtime=102.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 11434 0 0 0 10228 2 0 0 25 0 1 0 889595759 46956544 11114 33554432000 4194304 6245536 140734596986880 18446744073709551615 4323191 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 11464 11114 229 501 0 10960 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 45856
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 20558
/proc/meminfo: memFree=30759324/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=58704 CPUtime=162.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 14631 0 0 0 16228 2 0 0 25 0 1 0 889595759 60112896 14311 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 14676 14311 229 501 0 14172 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 58704
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 20599
/proc/meminfo: memFree=30840556/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=57516 CPUtime=222.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 14631 0 0 0 22228 2 0 0 25 0 1 0 889595759 58896384 14026 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 14379 14026 229 501 0 13875 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 57516
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 20601
/proc/meminfo: memFree=30836184/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=62936 CPUtime=282.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 15982 0 0 0 28228 2 0 0 25 0 1 0 889595759 64446464 15377 33554432000 4194304 6245536 140734596986880 18446744073709551615 4646596 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 15734 15377 229 501 0 15230 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 62936
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 20602
/proc/meminfo: memFree=30830564/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=65444 CPUtime=342.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 16586 0 0 0 34227 3 0 0 25 0 1 0 889595759 67014656 15981 33554432000 4194304 6245536 140734596986880 18446744073709551615 4628848 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 16361 15981 229 501 0 15857 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 65444
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 20604
/proc/meminfo: memFree=30800876/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=94276 CPUtime=402.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 23781 0 0 0 40226 4 0 0 25 0 1 0 889595759 96538624 23176 33554432000 4194304 6245536 140734596986880 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 23569 23176 229 501 0 23065 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 94276
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 20605
/proc/meminfo: memFree=30796384/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=98536 CPUtime=462.3 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 24828 0 0 0 46226 4 0 0 25 0 1 0 889595759 100900864 24223 33554432000 4194304 6245536 140734596986880 18446744073709551615 4634497 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 24634 24223 229 501 0 24130 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 98536
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20607
/proc/meminfo: memFree=30795588/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=99052 CPUtime=522.31 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 25076 0 0 0 52226 5 0 0 25 0 1 0 889595759 101429248 24358 33554432000 4194304 6245536 140734596986880 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 24763 24358 229 501 0 24259 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 99052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20609
/proc/meminfo: memFree=30769628/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=582.31 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 58226 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 132216
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 20615
/proc/meminfo: memFree=30768684/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=822.31 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 82226 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 132216
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20617
/proc/meminfo: memFree=30768760/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=882.31 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 88226 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4646425 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 132216
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20618
/proc/meminfo: memFree=30768708/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=942.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 94227 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4702880 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 132216
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20620
/proc/meminfo: memFree=30768652/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1002.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 100227 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4361731 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 132216
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20621
/proc/meminfo: memFree=30768376/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1062.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 106227 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4646412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 132216
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20623
/proc/meminfo: memFree=30768436/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1122.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 112227 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700444 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 132216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20624
/proc/meminfo: memFree=30768260/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1182.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31449 0 0 0 118227 5 0 0 25 0 1 0 889595759 135389184 30731 33554432000 4194304 6245536 140734596986880 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30731 229 501 0 32550 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 132216
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20626
/proc/meminfo: memFree=30768448/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1242.32 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31451 0 0 0 124227 5 0 0 25 0 1 0 889595759 135389184 30733 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30733 229 501 0 32550 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 132216
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/178 20628
/proc/meminfo: memFree=30767904/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1302.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31451 0 0 0 130228 5 0 0 25 0 1 0 889595759 135389184 30733 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30733 229 501 0 32550 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 132216
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 20629
/proc/meminfo: memFree=30767604/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1362.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31451 0 0 0 136228 5 0 0 25 0 1 0 889595759 135389184 30733 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30733 229 501 0 32550 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 132216
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20631
/proc/meminfo: memFree=30767668/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1422.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 142228 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 132216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20633
/proc/meminfo: memFree=30767736/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1482.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 148228 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 132216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20634
/proc/meminfo: memFree=30767552/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1542.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 154228 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 132216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 20636
/proc/meminfo: memFree=30767504/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1602.33 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 160228 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 132216
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 20637
/proc/meminfo: memFree=30767460/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1662.34 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 166229 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 132216
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 20639
/proc/meminfo: memFree=30767280/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1722.34 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 172229 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4608192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 132216
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 20641
/proc/meminfo: memFree=30767116/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1782.34 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 178229 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 132216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20641
/proc/meminfo: memFree=30767224/32951124 swapFree=67051744/67111528
[pid=20553] ppid=20551 vsize=132216 CPUtime=1800.04 cores=0,2,4,6
/proc/20553/stat : 20553 (clasp) R 20551 20553 18867 0 -1 4202496 31452 0 0 0 179999 5 0 0 25 0 1 0 889595759 135389184 30734 33554432000 4194304 6245536 140734596986880 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20553/statm: 33054 30734 229 501 0 32550 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 132216
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.06
CPU user time (s): 1800
CPU system time (s): 0.065989
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 132216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31463
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= 5
involuntary context switches= 2944
runsolver used 2.71759 second user time and 5.47117 second system time
The end