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-3491931-1307778175/watcher-3491931-1307778175 -o /tmp/evaluation-result-3491931-1307778175/solver-3491931-1307778175 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491931-1307778175.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: 0.92 0.98 1.17 2/177 20416
/proc/meminfo: memFree=30904140/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=9884 CPUtime=0 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 2207 0 0 0 0 0 0 0 22 0 1 0 889415512 10121216 1907 33554432000 4194304 6245536 140735518424768 18446744073709551615 4642358 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20416/statm: 2471 1911 172 501 0 1967 0
[startup+0.019915 s]
/proc/loadavg: 0.92 0.98 1.17 2/177 20416
/proc/meminfo: memFree=30904140/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=11688 CPUtime=0.01 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 2851 0 0 0 1 0 0 0 22 0 1 0 889415512 11968512 2505 33554432000 4194304 6245536 140735518424768 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 2922 2505 179 501 0 2418 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11688
[startup+0.100852 s]
/proc/loadavg: 0.92 0.98 1.17 2/177 20416
/proc/meminfo: memFree=30904140/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=12660 CPUtime=0.09 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 4058 0 0 0 9 0 0 0 22 0 1 0 889415512 12963840 2846 33554432000 4194304 6245536 140735518424768 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 3165 2846 221 501 0 2661 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12660
[startup+0.300855 s]
/proc/loadavg: 0.92 0.98 1.17 2/177 20416
/proc/meminfo: memFree=30904140/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=26348 CPUtime=0.29 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 7459 0 0 0 29 0 0 0 23 0 1 0 889415512 26980352 6247 33554432000 4194304 6245536 140735518424768 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 6587 6247 227 501 0 6083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26348
[startup+0.700779 s]
/proc/loadavg: 0.92 0.98 1.17 2/177 20416
/proc/meminfo: memFree=30904140/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=42604 CPUtime=0.69 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 11517 0 0 0 67 2 0 0 25 0 1 0 889415512 43626496 10305 33554432000 4194304 6245536 140735518424768 18446744073709551615 5370758 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 10651 10305 227 501 0 10147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42604
[startup+1.50069 s]
/proc/loadavg: 0.92 0.98 1.17 3/178 20417
/proc/meminfo: memFree=30851580/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=66460 CPUtime=1.49 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 17495 0 0 0 147 2 0 0 25 0 1 0 889415512 68055040 16283 33554432000 4194304 6245536 140735518424768 18446744073709551615 4320357 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 16615 16283 229 501 0 16111 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66460
[startup+3.1004 s]
/proc/loadavg: 0.92 0.98 1.17 3/178 20417
/proc/meminfo: memFree=30838976/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=72936 CPUtime=3.09 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 19097 0 0 0 306 3 0 0 25 0 1 0 889415512 74686464 17885 33554432000 4194304 6245536 140735518424768 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 18234 17885 229 501 0 17730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72936
[startup+6.30076 s]
/proc/loadavg: 1.01 1.00 1.18 3/178 20417
/proc/meminfo: memFree=30818392/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=86436 CPUtime=6.29 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 22500 0 0 0 626 3 0 0 25 0 1 0 889415512 88510464 21288 33554432000 4194304 6245536 140735518424768 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 21609 21288 229 501 0 21105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86436
[startup+12.7006 s]
/proc/loadavg: 1.09 1.02 1.18 3/178 20417
/proc/meminfo: memFree=30799012/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=107360 CPUtime=12.69 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 27503 0 0 0 1265 4 0 0 25 0 1 0 889415512 109936640 26291 33554432000 4194304 6245536 140735518424768 18446744073709551615 4324288 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 26840 26291 229 501 0 26336 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107360
[startup+25.5003 s]
/proc/loadavg: 1.29 1.06 1.19 3/178 20418
/proc/meminfo: memFree=30776296/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=128240 CPUtime=25.49 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 32724 0 0 0 2544 5 0 0 25 0 1 0 889415512 131317760 31512 33554432000 4194304 6245536 140735518424768 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 32060 31512 229 501 0 31556 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128240
[startup+51.1007 s]
/proc/loadavg: 1.53 1.14 1.21 3/178 20418
/proc/meminfo: memFree=30757480/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=145776 CPUtime=51.1 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 37335 0 0 0 5104 6 0 0 25 0 1 0 889415512 149274624 36085 33554432000 4194304 6245536 140735518424768 18446744073709551615 4633864 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 36444 36085 229 501 0 35940 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 145776
[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.25 3/178 20420
/proc/meminfo: memFree=30726448/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=176736 CPUtime=102.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 45052 0 0 0 10223 7 0 0 25 0 1 0 889415512 180977664 43802 33554432000 4194304 6245536 140735518424768 18446744073709551615 4397846 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 44184 43802 229 501 0 43680 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 176736
[startup+162.301 s]
/proc/loadavg: 1.92 1.40 1.30 3/178 20421
/proc/meminfo: memFree=30707192/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=196128 CPUtime=162.29 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 49875 0 0 0 16221 8 0 0 25 0 1 0 889415512 200835072 48625 33554432000 4194304 6245536 140735518424768 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 49032 48625 229 501 0 48528 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196128
[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.34 3/178 20461
/proc/meminfo: memFree=30659044/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=215292 CPUtime=222.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 54656 0 0 0 22221 9 0 0 25 0 1 0 889415512 220459008 53406 33554432000 4194304 6245536 140735518424768 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 53823 53406 229 501 0 53319 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 215292
[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.38 3/178 20462
/proc/meminfo: memFree=30651828/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=221464 CPUtime=282.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 56218 0 0 0 28221 9 0 0 25 0 1 0 889415512 226779136 54968 33554432000 4194304 6245536 140735518424768 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 55366 54968 229 501 0 54862 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 221464
[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.41 3/178 20464
/proc/meminfo: memFree=30626740/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=243044 CPUtime=342.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 61557 0 0 0 34220 10 0 0 25 0 1 0 889415512 248877056 60307 33554432000 4194304 6245536 140735518424768 18446744073709551615 4628016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 60761 60307 229 501 0 60257 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 243044
[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.45 3/178 20466
/proc/meminfo: memFree=30619116/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=247928 CPUtime=402.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 62795 0 0 0 40220 10 0 0 25 0 1 0 889415512 253878272 61545 33554432000 4194304 6245536 140735518424768 18446744073709551615 4324196 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 61982 61545 229 501 0 61478 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 247928
[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.48 3/178 20467
/proc/meminfo: memFree=30613752/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=249644 CPUtime=462.3 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 63233 0 0 0 46220 10 0 0 25 0 1 0 889415512 255635456 61983 33554432000 4194304 6245536 140735518424768 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 62411 61983 229 501 0 61907 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 249644
[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.51 3/178 20469
/proc/meminfo: memFree=30586680/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=276880 CPUtime=522.31 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 69829 0 0 0 52220 11 0 0 25 0 1 0 889415512 283525120 68579 33554432000 4194304 6245536 140735518424768 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 69220 68579 229 501 0 68716 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 276880
[startup+582.3 s]
/proc/loadavg: 1.99 1.84 1.54 3/178 20470
/proc/meminfo: memFree=30578328/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=280840 CPUtime=582.31 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 70842 0 0 0 58220 11 0 0 25 0 1 0 889415512 287580160 69592 33554432000 4194304 6245536 140735518424768 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 70210 69592 229 501 0 69706 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 280840
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.92 1.63 3/178 20477
/proc/meminfo: memFree=30538984/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=311088 CPUtime=822.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 78521 0 0 0 82219 13 0 0 25 0 1 0 889415512 318554112 77271 33554432000 4194304 6245536 140735518424768 18446744073709551615 4344782 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 77772 77271 229 501 0 77268 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 311088
[startup+882.301 s]
/proc/loadavg: 1.99 1.93 1.65 3/178 20478
/proc/meminfo: memFree=30534612/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=313464 CPUtime=882.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 79101 0 0 0 88219 13 0 0 25 0 1 0 889415512 320987136 77851 33554432000 4194304 6245536 140735518424768 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 78366 77851 229 501 0 77862 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 313464
[startup+942.301 s]
/proc/loadavg: 1.99 1.94 1.67 3/178 20480
/proc/meminfo: memFree=30530980/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=315444 CPUtime=942.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 79612 0 0 0 94219 13 0 0 25 0 1 0 889415512 323014656 78362 33554432000 4194304 6245536 140735518424768 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 78861 78362 229 501 0 78357 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 315444
[startup+1002.3 s]
/proc/loadavg: 1.99 1.95 1.69 3/178 20482
/proc/meminfo: memFree=30526220/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=318156 CPUtime=1002.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 80260 0 0 0 100219 13 0 0 25 0 1 0 889415512 325791744 79010 33554432000 4194304 6245536 140735518424768 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 79539 79010 229 501 0 79035 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 318156
[startup+1062.3 s]
/proc/loadavg: 1.99 1.95 1.70 3/178 20483
/proc/meminfo: memFree=30523836/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=318948 CPUtime=1062.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 80455 0 0 0 106219 13 0 0 25 0 1 0 889415512 326602752 79205 33554432000 4194304 6245536 140735518424768 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 79737 79205 229 501 0 79233 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 318948
[startup+1122.3 s]
/proc/loadavg: 2.03 1.97 1.73 3/178 20494
/proc/meminfo: memFree=30520836/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=318948 CPUtime=1122.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 80481 0 0 0 112219 13 0 0 25 0 1 0 889415512 326602752 79231 33554432000 4194304 6245536 140735518424768 18446744073709551615 4302632 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 79737 79231 229 501 0 79233 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 318948
[startup+1182.3 s]
/proc/loadavg: 2.01 1.97 1.74 3/178 20495
/proc/meminfo: memFree=30517448/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=320532 CPUtime=1182.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 80879 0 0 0 118219 13 0 0 25 0 1 0 889415512 328224768 79629 33554432000 4194304 6245536 140735518424768 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 80133 79629 229 501 0 79629 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 320532
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/178 20497
/proc/meminfo: memFree=30487012/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=348128 CPUtime=1242.32 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 87734 0 0 0 124218 14 0 0 25 0 1 0 889415512 356483072 86484 33554432000 4194304 6245536 140735518424768 18446744073709551615 4324208 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 87032 86484 229 501 0 86528 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 348128
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 20502
/proc/meminfo: memFree=30482624/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=350596 CPUtime=1302.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 88356 0 0 0 130218 15 0 0 25 0 1 0 889415512 359010304 87106 33554432000 4194304 6245536 140735518424768 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 87649 87106 229 501 0 87145 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 350596
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 20503
/proc/meminfo: memFree=30478912/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=353004 CPUtime=1362.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 88939 0 0 0 136218 15 0 0 25 0 1 0 889415512 361476096 87689 33554432000 4194304 6245536 140735518424768 18446744073709551615 4605196 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 88251 87689 229 501 0 87747 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 353004
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 20505
/proc/meminfo: memFree=30474916/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=355120 CPUtime=1422.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89408 0 0 0 142218 15 0 0 25 0 1 0 889415512 363642880 88158 33554432000 4194304 6245536 140735518424768 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 88780 88158 229 501 0 88276 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 355120
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 20506
/proc/meminfo: memFree=30472768/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=356044 CPUtime=1482.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89647 0 0 0 148218 15 0 0 25 0 1 0 889415512 364589056 88397 33554432000 4194304 6245536 140735518424768 18446744073709551615 4605190 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89011 88397 229 501 0 88507 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 356044
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 20508
/proc/meminfo: memFree=30472236/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=356044 CPUtime=1542.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89647 0 0 0 154218 15 0 0 25 0 1 0 889415512 364589056 88397 33554432000 4194304 6245536 140735518424768 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89011 88397 229 501 0 88507 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 356044
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 20510
/proc/meminfo: memFree=30469716/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=356572 CPUtime=1602.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89784 0 0 0 160218 15 0 0 25 0 1 0 889415512 365129728 88534 33554432000 4194304 6245536 140735518424768 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89143 88534 229 501 0 88639 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 356572
[startup+1662.3 s]
/proc/loadavg: 2.11 2.00 1.84 3/178 20511
/proc/meminfo: memFree=30468460/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=356572 CPUtime=1662.33 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89784 0 0 0 166218 15 0 0 25 0 1 0 889415512 365129728 88534 33554432000 4194304 6245536 140735518424768 18446744073709551615 4324192 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89143 88534 229 501 0 88639 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 356572
[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 1.84 3/178 20513
/proc/meminfo: memFree=30467308/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=356572 CPUtime=1722.34 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 89784 0 0 0 172219 15 0 0 25 0 1 0 889415512 365129728 88534 33554432000 4194304 6245536 140735518424768 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89143 88534 229 501 0 88639 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 356572
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20514
/proc/meminfo: memFree=30464056/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=358156 CPUtime=1782.34 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 90187 0 0 0 178219 15 0 0 25 0 1 0 889415512 366751744 88937 33554432000 4194304 6245536 140735518424768 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89539 88937 229 501 0 89035 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 358156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 20515
/proc/meminfo: memFree=30463048/32951124 swapFree=67051744/67111528
[pid=20416] ppid=20414 vsize=358684 CPUtime=1800.04 cores=0,2,4,6
/proc/20416/stat : 20416 (clasp) R 20414 20416 18867 0 -1 4202496 90318 0 0 0 179989 15 0 0 25 0 1 0 889415512 367292416 89068 33554432000 4194304 6245536 140735518424768 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/20416/statm: 89671 89068 229 501 0 89167 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 358684
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.02
CPU time (s): 1800.07
CPU user time (s): 1799.9
CPU system time (s): 0.174973
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 358684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90329
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= 22295
runsolver used 2.57261 second user time and 5.62315 second system time
The end