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-3468271-1307102194/watcher-3468271-1307102194 -o /tmp/evaluation-result-3468271-1307102194/solver-3468271-1307102194 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468271-1307102194.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: 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.12 2.03 2.01 2/478 7718
/proc/meminfo: memFree=27458444/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=13208 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 702 0 0 0 0 0 0 0 24 0 1 0 821819113 13524992 602 33554432000 4194304 4933572 140737243203584 18446744073709551615 208080232192 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 3302 602 332 181 0 311 0
[startup+0.117134 s]
/proc/loadavg: 2.12 2.03 2.01 2/478 7718
/proc/meminfo: memFree=27458444/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=15016 CPUtime=0.11 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 1341 0 0 0 11 0 0 0 25 0 1 0 821819113 15376384 1127 33554432000 4194304 4933572 140737243203584 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 3754 1128 385 181 0 763 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15016
[startup+0.201126 s]
/proc/loadavg: 2.12 2.03 2.01 2/478 7718
/proc/meminfo: memFree=27458444/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=17664 CPUtime=0.19 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 1980 0 0 0 19 0 0 0 25 0 1 0 821819113 18087936 1766 33554432000 4194304 4933572 140737243203584 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 4416 1766 385 181 0 1425 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17664
[startup+0.3011 s]
/proc/loadavg: 2.12 2.03 2.01 2/478 7718
/proc/meminfo: memFree=27458444/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=20572 CPUtime=0.29 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 2713 0 0 0 29 0 0 0 25 0 1 0 821819113 21065728 2499 33554432000 4194304 4933572 140737243203584 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 5143 2499 385 181 0 2152 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20572
[startup+0.70102 s]
/proc/loadavg: 2.12 2.03 2.01 2/478 7718
/proc/meminfo: memFree=27458444/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=31812 CPUtime=0.69 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 5535 0 0 0 69 0 0 0 25 0 1 0 821819113 32575488 5321 33554432000 4194304 4933572 140737243203584 18446744073709551615 4340456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 7953 5322 385 181 0 4962 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31812
[startup+1.50082 s]
/proc/loadavg: 2.12 2.03 2.01 3/482 7744
/proc/meminfo: memFree=27410440/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=36568 CPUtime=1.49 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 6705 0 0 0 149 0 0 0 25 0 1 0 821819113 37445632 6491 33554432000 4194304 4933572 140737243203584 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 9142 6491 385 181 0 6151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36568
[startup+3.1005 s]
/proc/loadavg: 2.11 2.03 2.01 3/482 7744
/proc/meminfo: memFree=27401140/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=43900 CPUtime=3.09 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 8524 0 0 0 308 1 0 0 25 0 1 0 821819113 44953600 8310 33554432000 4194304 4933572 140737243203584 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 10975 8310 385 181 0 7984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43900
[startup+6.30096 s]
/proc/loadavg: 2.11 2.03 2.01 3/482 7744
/proc/meminfo: memFree=27386268/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=48584 CPUtime=6.29 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 9715 0 0 0 628 1 0 0 25 0 1 0 821819113 49750016 9501 33554432000 4194304 4933572 140737243203584 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 12146 9501 385 181 0 9155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48584
[startup+12.7007 s]
/proc/loadavg: 2.10 2.03 2.01 3/482 7744
/proc/meminfo: memFree=27365924/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=57424 CPUtime=12.69 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 11894 0 0 0 1267 2 0 0 25 0 1 0 821819113 58802176 11680 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 14356 11680 387 181 0 11365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57424
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/482 7744
/proc/meminfo: memFree=27341888/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=69292 CPUtime=25.49 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 14817 0 0 0 2546 3 0 0 25 0 1 0 821819113 70955008 14603 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 17323 14603 387 181 0 14332 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69292
[startup+51.1004 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 7745
/proc/meminfo: memFree=27321124/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=77012 CPUtime=51.09 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 16763 0 0 0 5106 3 0 0 25 0 1 0 821819113 78860288 16549 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 19253 16549 387 181 0 16262 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77012
[startup+102.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/482 7746
/proc/meminfo: memFree=27296540/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=91788 CPUtime=102.3 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 20964 0 0 0 10226 4 0 0 25 0 1 0 821819113 93990912 20219 33554432000 4194304 4933572 140737243203584 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 22947 20219 387 181 0 19956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91788
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 7748
/proc/meminfo: memFree=27270692/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=103116 CPUtime=162.3 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 24016 0 0 0 16225 5 0 0 25 0 1 0 821819113 105590784 23075 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 25779 23075 387 181 0 22788 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 103116
[startup+222.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7749
/proc/meminfo: memFree=27251200/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=112872 CPUtime=222.32 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 26612 0 0 0 22226 6 0 0 25 0 1 0 821819113 115580928 25518 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 28218 25518 387 181 0 25227 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 112872
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/482 7760
/proc/meminfo: memFree=27240176/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=117672 CPUtime=282.3 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 27818 0 0 0 28224 6 0 0 25 0 1 0 821819113 120496128 26724 33554432000 4194304 4933572 140737243203584 18446744073709551615 4632016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 29418 26724 387 181 0 26427 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117672
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 7762
/proc/meminfo: memFree=27225388/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=127444 CPUtime=342.3 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 31181 0 0 0 34223 7 0 0 25 0 1 0 821819113 130502656 29170 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 31861 29170 387 181 0 28870 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 127444
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7763
/proc/meminfo: memFree=27223252/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=127272 CPUtime=402.31 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 31250 0 0 0 40224 7 0 0 25 0 1 0 821819113 130326528 29103 33554432000 4194304 4933572 140737243203584 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 31818 29103 387 181 0 28827 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 127272
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7768
/proc/meminfo: memFree=27208312/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=131316 CPUtime=462.31 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 33430 0 0 0 46224 7 0 0 25 0 1 0 821819113 134467584 30119 33554432000 4194304 4933572 140737243203584 18446744073709551615 208079929994 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 32829 30119 387 181 0 29838 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 131316
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7769
/proc/meminfo: memFree=27193780/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=143360 CPUtime=522.31 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 36421 0 0 0 52223 8 0 0 25 0 1 0 821819113 146800640 33110 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 35840 33110 387 181 0 32849 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 143360
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/482 7771
/proc/meminfo: memFree=27192496/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=143360 CPUtime=582.31 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 36442 0 0 0 58223 8 0 0 25 0 1 0 821819113 146800640 33131 33554432000 4194304 4933572 140737243203584 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 35840 33131 387 181 0 32849 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 143360
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7779
/proc/meminfo: memFree=27151804/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=162780 CPUtime=882.34 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 42495 0 0 0 88224 10 0 0 25 0 1 0 821819113 166686720 37936 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 40695 37936 387 181 0 37704 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 162780
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7781
/proc/meminfo: memFree=27149792/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=163440 CPUtime=942.33 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 42666 0 0 0 94223 10 0 0 25 0 1 0 821819113 167362560 38107 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 40860 38107 387 181 0 37869 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 163440
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7782
/proc/meminfo: memFree=27149388/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=163836 CPUtime=1002.33 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 42749 0 0 0 100223 10 0 0 25 0 1 0 821819113 167768064 38190 33554432000 4194304 4933572 140737243203584 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 40959 38190 387 181 0 37968 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 163836
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 7784
/proc/meminfo: memFree=27143256/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=167520 CPUtime=1062.33 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 43676 0 0 0 106223 10 0 0 25 0 1 0 821819113 171540480 39117 33554432000 4194304 4933572 140737243203584 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 41880 39117 387 181 0 38889 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 167520
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 7785
/proc/meminfo: memFree=27131812/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=167368 CPUtime=1122.33 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 43877 0 0 0 112223 10 0 0 25 0 1 0 821819113 171384832 39077 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 41842 39077 387 181 0 38851 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 167368
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 7787
/proc/meminfo: memFree=27127320/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=168544 CPUtime=1182.34 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 44313 0 0 0 118223 11 0 0 25 0 1 0 821819113 172589056 39381 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 42136 39381 387 181 0 39145 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 168544
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7789
/proc/meminfo: memFree=27125548/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=169732 CPUtime=1242.34 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 44608 0 0 0 124223 11 0 0 25 0 1 0 821819113 173805568 39676 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 42433 39676 387 181 0 39442 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 169732
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 7790
/proc/meminfo: memFree=27125136/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=170228 CPUtime=1302.34 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 44865 0 0 0 130223 11 0 0 25 0 1 0 821819113 174313472 39815 33554432000 4194304 4933572 140737243203584 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 42557 39815 387 181 0 39566 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 170228
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 7792
/proc/meminfo: memFree=27125328/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=170228 CPUtime=1362.35 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 44865 0 0 0 136224 11 0 0 25 0 1 0 821819113 174313472 39815 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 42557 39815 387 181 0 39566 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 170228
[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 7793
/proc/meminfo: memFree=27114116/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=177176 CPUtime=1422.35 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 47633 0 0 0 142224 11 0 0 25 0 1 0 821819113 181428224 41532 33554432000 4194304 4933572 140737243203584 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 44294 41532 387 181 0 41303 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 177176
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7795
/proc/meminfo: memFree=27108012/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=182984 CPUtime=1482.35 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 49115 0 0 0 148223 12 0 0 25 0 1 0 821819113 187375616 43014 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 45746 43014 387 181 0 42755 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 182984
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7797
/proc/meminfo: memFree=27107608/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=182984 CPUtime=1542.37 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 49115 0 0 0 154225 12 0 0 25 0 1 0 821819113 187375616 43014 33554432000 4194304 4933572 140737243203584 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 45746 43014 387 181 0 42755 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 182984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7798
/proc/meminfo: memFree=27104232/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=186320 CPUtime=1602.35 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 49959 0 0 0 160223 12 0 0 25 0 1 0 821819113 190791680 43858 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 46580 43858 387 181 0 43589 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 186320
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7800
/proc/meminfo: memFree=27098360/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=185752 CPUtime=1662.36 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 49959 0 0 0 166224 12 0 0 25 0 1 0 821819113 190210048 43717 33554432000 4194304 4933572 140737243203584 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 46438 43717 387 181 0 43447 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 185752
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7801
/proc/meminfo: memFree=27090636/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=188260 CPUtime=1722.36 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 50570 0 0 0 172224 12 0 0 25 0 1 0 821819113 192778240 44328 33554432000 4194304 4933572 140737243203584 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 47065 44328 387 181 0 44074 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 188260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7803
/proc/meminfo: memFree=27087020/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=188476 CPUtime=1782.36 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 50765 0 0 0 178224 12 0 0 25 0 1 0 821819113 192999424 44395 33554432000 4194304 4933572 140737243203584 18446744073709551615 4663917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 47119 44395 387 181 0 44128 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 188476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7803
/proc/meminfo: memFree=27086760/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=188740 CPUtime=1800.07 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 50831 0 0 0 179995 12 0 0 25 0 1 0 821819113 193269760 44461 33554432000 4194304 4933572 140737243203584 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 47185 44461 387 181 0 44194 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 188740
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.00 2.01 2.00 3/482 7803
/proc/meminfo: memFree=27086760/32950928 swapFree=39617324/67111528
[pid=7718] ppid=7716 vsize=188740 CPUtime=1800.07 cores=0,2,4,6
/proc/7718/stat : 7718 (clasp) R 7716 7718 7025 0 -1 4202496 50831 0 0 0 179995 12 0 0 25 0 1 0 821819113 193269760 44461 33554432000 4194304 4933572 140737243203584 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7718/statm: 47185 44461 387 181 0 44194 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 188740
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.1
CPU user time (s): 1799.96
CPU system time (s): 0.131979
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 188740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50839
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= 10
involuntary context switches= 2711
runsolver used 8.93764 second user time and 18.9171 second system time
The end