runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3468147-1307101355/watcher-3468147-1307101355 -o /tmp/evaluation-result-3468147-1307101355/solver-3468147-1307101355 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468147-1307101355.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 2.00 2.03 2.00 2/524 19865
/proc/meminfo: memFree=23879424/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=13200 CPUtime=0 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 666 0 0 0 0 0 0 0 25 0 1 0 821733180 13516800 595 33554432000 4194304 4933572 140737164056832 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 3300 595 331 181 0 309 0
[startup+0.116146 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 19865
/proc/meminfo: memFree=23879424/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=20360 CPUtime=0.1 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 2946 0 0 0 10 0 0 0 25 0 1 0 821733180 20848640 2388 33554432000 4194304 4933572 140737164056832 18446744073709551615 4587881 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 5090 2388 348 181 0 2099 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20360
[startup+0.201125 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 19865
/proc/meminfo: memFree=23879424/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=20360 CPUtime=0.19 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 2946 0 0 0 19 0 0 0 25 0 1 0 821733180 20848640 2388 33554432000 4194304 4933572 140737164056832 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 5090 2388 348 181 0 2099 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20360
[startup+0.301108 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 19865
/proc/meminfo: memFree=23879424/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=19276 CPUtime=0.29 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 2975 0 0 0 29 0 0 0 25 0 1 0 821733180 19738624 2168 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 4819 2168 377 181 0 1828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19276
[startup+0.701036 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 19865
/proc/meminfo: memFree=23879424/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=27564 CPUtime=0.69 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 5051 0 0 0 69 0 0 0 25 0 1 0 821733180 28225536 4244 33554432000 4194304 4933572 140737164056832 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 6891 4244 384 181 0 3900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27564
[startup+1.50089 s]
/proc/loadavg: 2.16 2.06 2.01 3/525 19866
/proc/meminfo: memFree=23850532/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=52432 CPUtime=1.49 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 11285 0 0 0 148 1 0 0 25 0 1 0 821733180 53690368 10478 33554432000 4194304 4933572 140737164056832 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 13108 10480 384 181 0 10117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52432
[startup+3.1006 s]
/proc/loadavg: 2.16 2.06 2.01 3/525 19866
/proc/meminfo: memFree=23815952/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=79604 CPUtime=3.09 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 18076 0 0 0 307 2 0 0 25 0 1 0 821733180 81514496 17269 33554432000 4194304 4933572 140737164056832 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 19901 17269 384 181 0 16910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79604
[startup+6.30102 s]
/proc/loadavg: 2.15 2.06 2.01 3/525 19866
/proc/meminfo: memFree=23788396/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=94492 CPUtime=6.29 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 21762 0 0 0 627 2 0 0 25 0 1 0 821733180 96759808 20955 33554432000 4194304 4933572 140737164056832 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 23623 20955 384 181 0 20632 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94492
[startup+12.7009 s]
/proc/loadavg: 2.14 2.06 2.01 3/525 19866
/proc/meminfo: memFree=23759408/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=107556 CPUtime=12.69 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 25028 0 0 0 1267 2 0 0 25 0 1 0 821733180 110137344 24221 33554432000 4194304 4933572 140737164056832 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 26889 24221 384 181 0 23898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107556
[startup+25.5006 s]
/proc/loadavg: 2.10 2.05 2.01 3/525 19867
/proc/meminfo: memFree=23725696/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=129056 CPUtime=25.5 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 30433 0 0 0 2547 3 0 0 25 0 1 0 821733180 132153344 29626 33554432000 4194304 4933572 140737164056832 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 32264 29626 386 181 0 29273 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 129056
[startup+51.1009 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 19867
/proc/meminfo: memFree=23671416/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=156276 CPUtime=51.1 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 37229 0 0 0 5106 4 0 0 25 0 1 0 821733180 160026624 36422 33554432000 4194304 4933572 140737164056832 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 39069 36422 386 181 0 36078 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 156276
[startup+102.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 19869
/proc/meminfo: memFree=23632824/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=175284 CPUtime=102.3 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 41963 0 0 0 10226 4 0 0 25 0 1 0 821733180 179490816 41156 33554432000 4194304 4933572 140737164056832 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 43821 41156 386 181 0 40830 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 175284
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 19870
/proc/meminfo: memFree=23575496/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=203600 CPUtime=162.3 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 49682 0 0 0 16225 5 0 0 25 0 1 0 821733180 208486400 48222 33554432000 4194304 4933572 140737164056832 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 50900 48222 387 181 0 47909 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 203600
[startup+222.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 19872
/proc/meminfo: memFree=23565900/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=206720 CPUtime=222.32 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 50455 0 0 0 22227 5 0 0 25 0 1 0 821733180 211681280 48995 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 51680 48995 387 181 0 48689 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 206720
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19873
/proc/meminfo: memFree=23536100/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=221724 CPUtime=282.3 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 55633 0 0 0 28224 6 0 0 25 0 1 0 821733180 227045376 52764 33554432000 4194304 4933572 140737164056832 18446744073709551615 4664010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 55431 52764 387 181 0 52440 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 221724
[startup+342.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/525 19875
/proc/meminfo: memFree=23517828/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=231324 CPUtime=342.3 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 58037 0 0 0 34224 6 0 0 25 0 1 0 821733180 236875776 55168 33554432000 4194304 4933572 140737164056832 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 57831 55168 387 181 0 54840 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 231324
[startup+402.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 19877
/proc/meminfo: memFree=23491740/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=245384 CPUtime=402.3 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 61546 0 0 0 40224 6 0 0 25 0 1 0 821733180 251273216 58677 33554432000 4194304 4933572 140737164056832 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 61346 58677 387 181 0 58355 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 245384
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/525 19878
/proc/meminfo: memFree=23472220/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=254416 CPUtime=462.31 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 63812 0 0 0 46224 7 0 0 25 0 1 0 821733180 260521984 60943 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 63604 60943 387 181 0 60613 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 254416
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 19880
/proc/meminfo: memFree=23470924/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=255736 CPUtime=522.31 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 64129 0 0 0 52224 7 0 0 25 0 1 0 821733180 261873664 61260 33554432000 4194304 4933572 140737164056832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 63934 61260 387 181 0 60943 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 255736
[startup+582.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 19881
/proc/meminfo: memFree=23462568/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=253644 CPUtime=582.31 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 68016 0 0 0 58224 7 0 0 25 0 1 0 821733180 259731456 60766 33554432000 4194304 4933572 140737164056832 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 63411 60766 387 181 0 60420 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 253644
[startup+642.3 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19889
/proc/meminfo: memFree=23387324/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=301664 CPUtime=882.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 80782 0 0 0 88223 10 0 0 25 0 1 0 821733180 308903936 72731 33554432000 4194304 4933572 140737164056832 18446744073709551615 4342048 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 75416 72731 387 181 0 72425 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 301664
[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/525 19891
/proc/meminfo: memFree=23363096/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=307852 CPUtime=942.31 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 82281 0 0 0 94221 10 0 0 25 0 1 0 821733180 315240448 74230 33554432000 4194304 4933572 140737164056832 18446744073709551615 4663965 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 76963 74230 387 181 0 73972 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 307852
[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/525 19893
/proc/meminfo: memFree=23357732/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=309648 CPUtime=1002.32 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 82704 0 0 0 100222 10 0 0 25 0 1 0 821733180 317079552 74653 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 77412 74653 387 181 0 74421 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 309648
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 19894
/proc/meminfo: memFree=23356212/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=309648 CPUtime=1062.32 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 82704 0 0 0 106222 10 0 0 25 0 1 0 821733180 317079552 74653 33554432000 4194304 4933572 140737164056832 18446744073709551615 218905398144 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 77412 74653 387 181 0 74421 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 309648
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/525 19905
/proc/meminfo: memFree=23350972/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=314696 CPUtime=1122.32 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 83970 0 0 0 112221 11 0 0 25 0 1 0 821733180 322248704 75919 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 78674 75919 387 181 0 75683 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 314696
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/525 19906
/proc/meminfo: memFree=23349408/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=314828 CPUtime=1182.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 84001 0 0 0 118222 11 0 0 25 0 1 0 821733180 322383872 75950 33554432000 4194304 4933572 140737164056832 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 78707 75950 387 181 0 75716 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 314828
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/525 19908
/proc/meminfo: memFree=23345272/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=314828 CPUtime=1242.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 84001 0 0 0 124222 11 0 0 25 0 1 0 821733180 322383872 75950 33554432000 4194304 4933572 140737164056832 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 78707 75950 387 181 0 75716 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 314828
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 19910
/proc/meminfo: memFree=23342004/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=317912 CPUtime=1302.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 84791 0 0 0 130222 11 0 0 25 0 1 0 821733180 325541888 76740 33554432000 4194304 4933572 140737164056832 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 79478 76740 387 181 0 76487 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 317912
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19914
/proc/meminfo: memFree=23342248/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=319240 CPUtime=1362.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 85126 0 0 0 136222 11 0 0 25 0 1 0 821733180 326901760 77075 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 79810 77075 387 181 0 76819 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 319240
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19916
/proc/meminfo: memFree=23332920/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=319240 CPUtime=1422.34 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 85132 0 0 0 142223 11 0 0 25 0 1 0 821733180 326901760 77081 33554432000 4194304 4933572 140737164056832 18446744073709551615 4631990 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 79810 77081 387 181 0 76819 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 319240
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/525 19917
/proc/meminfo: memFree=23315628/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=319240 CPUtime=1482.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 85132 0 0 0 148222 11 0 0 25 0 1 0 821733180 326901760 77081 33554432000 4194304 4933572 140737164056832 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 79810 77081 387 181 0 76819 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 319240
[startup+1542.32 s]
/proc/loadavg: 2.06 2.03 2.00 3/525 19919
/proc/meminfo: memFree=23290912/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=340912 CPUtime=1542.36 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 90540 0 0 0 154224 12 0 0 25 0 1 0 821733180 349093888 82489 33554432000 4194304 4933572 140737164056832 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 85228 82489 387 181 0 82237 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 340912
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/525 19921
/proc/meminfo: memFree=23281928/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=347940 CPUtime=1602.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 93982 0 0 0 160221 12 0 0 25 0 1 0 821733180 356290560 84235 33554432000 4194304 4933572 140737164056832 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 86985 84235 387 181 0 83994 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 347940
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/525 19922
/proc/meminfo: memFree=23281364/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=347940 CPUtime=1662.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 93982 0 0 0 166221 12 0 0 25 0 1 0 821733180 356290560 84235 33554432000 4194304 4933572 140737164056832 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 86985 84235 387 181 0 83994 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 347940
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/525 19924
/proc/meminfo: memFree=23281312/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=347940 CPUtime=1722.33 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 93982 0 0 0 172221 12 0 0 25 0 1 0 821733180 356290560 84235 33554432000 4194304 4933572 140737164056832 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 86985 84235 387 181 0 83994 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 347940
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/525 19925
/proc/meminfo: memFree=23276932/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=350064 CPUtime=1782.34 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 94515 0 0 0 178222 12 0 0 25 0 1 0 821733180 358465536 84768 33554432000 4194304 4933572 140737164056832 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 87516 84768 387 181 0 84525 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 350064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/525 19954
/proc/meminfo: memFree=23616380/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=350064 CPUtime=1800.04 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 94515 0 0 0 179992 12 0 0 25 0 1 0 821733180 358465536 84768 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 87516 84768 387 181 0 84525 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 350064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/525 19954
/proc/meminfo: memFree=23616380/32951124 swapFree=56930356/67111528
[pid=19865] ppid=19863 vsize=350064 CPUtime=1800.04 cores=1,3,5,7
/proc/19865/stat : 19865 (clasp) R 19863 19865 18788 0 -1 4202496 94515 0 0 0 179992 12 0 0 25 0 1 0 821733180 358465536 84768 33554432000 4194304 4933572 140737164056832 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19865/statm: 87516 84768 387 181 0 84525 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 350064
Child status: 10
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1799.94
CPU system time (s): 0.144977
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 350064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94523
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= 2793
runsolver used 8.74067 second user time and 22.3806 second system time
The end