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-3468834-1307105799/watcher-3468834-1307105799 -o /tmp/evaluation-result-3468834-1307105799/solver-3468834-1307105799 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468834-1307105799.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.03 2.04 2.00 1/479 7990
/proc/meminfo: memFree=27460044/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=12740 CPUtime=0 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 595 0 0 0 0 0 0 0 25 0 1 0 822179607 13045760 525 33554432000 4194304 4933572 140735133204720 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3185 526 377 181 0 194 0
[startup+0.052438 s]
/proc/loadavg: 2.03 2.04 2.00 1/479 7990
/proc/meminfo: memFree=27460044/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=13400 CPUtime=0.05 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 781 0 0 0 5 0 0 0 25 0 1 0 822179607 13721600 711 33554432000 4194304 4933572 140735133204720 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3350 711 385 181 0 359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13400
[startup+0.100429 s]
/proc/loadavg: 2.03 2.04 2.00 1/479 7990
/proc/meminfo: memFree=27460044/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=13532 CPUtime=0.09 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 819 0 0 0 9 0 0 0 25 0 1 0 822179607 13856768 749 33554432000 4194304 4933572 140735133204720 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3383 749 385 181 0 392 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13532
[startup+0.300463 s]
/proc/loadavg: 2.03 2.04 2.00 1/479 7990
/proc/meminfo: memFree=27460044/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=14072 CPUtime=0.29 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 929 0 0 0 29 0 0 0 25 0 1 0 822179607 14409728 859 33554432000 4194304 4933572 140735133204720 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3518 859 385 181 0 527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14072
[startup+0.700315 s]
/proc/loadavg: 2.03 2.04 2.00 1/479 7990
/proc/meminfo: memFree=27460044/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=14600 CPUtime=0.69 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 1076 0 0 0 69 0 0 0 25 0 1 0 822179607 14950400 1006 33554432000 4194304 4933572 140735133204720 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3650 1006 385 181 0 659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14600
[startup+1.50023 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 8018
/proc/meminfo: memFree=27454728/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=15128 CPUtime=1.49 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 1218 0 0 0 149 0 0 0 25 0 1 0 822179607 15491072 1148 33554432000 4194304 4933572 140735133204720 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 3782 1148 385 181 0 791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15128
[startup+3.10093 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 8018
/proc/meminfo: memFree=27451132/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=16052 CPUtime=3.09 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 1427 0 0 0 309 0 0 0 25 0 1 0 822179607 16437248 1357 33554432000 4194304 4933572 140735133204720 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 4013 1357 385 181 0 1022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16052
[startup+6.30025 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 8018
/proc/meminfo: memFree=27448776/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=16848 CPUtime=6.29 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 1645 0 0 0 629 0 0 0 25 0 1 0 822179607 17252352 1575 33554432000 4194304 4933572 140735133204720 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 4212 1575 385 181 0 1221 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16848
[startup+12.701 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 8018
/proc/meminfo: memFree=27445492/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=17636 CPUtime=12.69 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 1847 0 0 0 1269 0 0 0 25 0 1 0 822179607 18059264 1777 33554432000 4194304 4933572 140735133204720 18446744073709551615 4329860 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 4409 1777 385 181 0 1418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17636
[startup+25.5006 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 8018
/proc/meminfo: memFree=27444016/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=18660 CPUtime=25.49 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2086 0 0 0 2549 0 0 0 25 0 1 0 822179607 19107840 2016 33554432000 4194304 4933572 140735133204720 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 4665 2016 385 181 0 1674 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18660
[startup+51.1008 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8019
/proc/meminfo: memFree=27442012/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=19612 CPUtime=51.09 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2300 0 0 0 5109 0 0 0 25 0 1 0 822179607 20082688 2230 33554432000 4194304 4933572 140735133204720 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 4903 2230 385 181 0 1912 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19612
[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8020
/proc/meminfo: memFree=27438772/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=20736 CPUtime=102.31 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2578 0 0 0 10231 0 0 0 25 0 1 0 822179607 21233664 2508 33554432000 4194304 4933572 140735133204720 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5184 2508 385 181 0 2193 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20736
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8022
/proc/meminfo: memFree=27435888/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=21628 CPUtime=162.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2782 0 0 0 16230 0 0 0 25 0 1 0 822179607 22147072 2712 33554432000 4194304 4933572 140735133204720 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5407 2712 385 181 0 2416 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21628
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8024
/proc/meminfo: memFree=27435984/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=22224 CPUtime=222.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2927 0 0 0 22230 0 0 0 25 0 1 0 822179607 22757376 2857 33554432000 4194304 4933572 140735133204720 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5556 2857 385 181 0 2565 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 22224
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8034
/proc/meminfo: memFree=27435008/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=22476 CPUtime=282.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 2982 0 0 0 28230 0 0 0 25 0 1 0 822179607 23015424 2912 33554432000 4194304 4933572 140735133204720 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5619 2912 385 181 0 2628 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22476
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8036
/proc/meminfo: memFree=27434596/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=22896 CPUtime=342.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3059 0 0 0 34230 0 0 0 25 0 1 0 822179607 23445504 2989 33554432000 4194304 4933572 140735133204720 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5724 2989 385 181 0 2733 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22896
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8037
/proc/meminfo: memFree=27433948/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=23132 CPUtime=402.31 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3134 0 0 0 40231 0 0 0 25 0 1 0 822179607 23687168 3064 33554432000 4194304 4933572 140735133204720 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7990/statm: 5783 3064 385 181 0 2792 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 23132
[startup+462.3 s]
/proc/loadavg: 2.28 2.07 2.02 3/482 8042
/proc/meminfo: memFree=27432892/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=23280 CPUtime=462.26 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3178 0 0 0 46226 0 0 0 25 0 1 0 822179607 23838720 3108 33554432000 4194304 4933572 140735133204720 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 5820 3108 385 181 0 2829 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 23280
[startup+522.301 s]
/proc/loadavg: 2.10 2.06 2.02 3/482 8044
/proc/meminfo: memFree=27432700/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=23556 CPUtime=522.26 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3224 0 0 0 52226 0 0 0 25 0 1 0 822179607 24121344 3154 33554432000 4194304 4933572 140735133204720 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 5889 3154 385 181 0 2898 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 23556
[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/482 8045
/proc/meminfo: memFree=27432544/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=23684 CPUtime=582.26 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3246 0 0 0 58226 0 0 0 25 0 1 0 822179607 24252416 3176 33554432000 4194304 4933572 140735133204720 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 5921 3176 385 181 0 2930 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 23684
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8052
/proc/meminfo: memFree=27432184/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24112 CPUtime=822.27 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3354 0 0 0 82227 0 0 0 25 0 1 0 822179607 24690688 3284 33554432000 4194304 4933572 140735133204720 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6028 3284 385 181 0 3037 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 24112
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8053
/proc/meminfo: memFree=27431648/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24264 CPUtime=882.27 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3376 0 0 0 88227 0 0 0 25 0 1 0 822179607 24846336 3306 33554432000 4194304 4933572 140735133204720 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6066 3306 385 181 0 3075 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 24264
[startup+942.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/482 8055
/proc/meminfo: memFree=27431860/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24264 CPUtime=942.27 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3388 0 0 0 94227 0 0 0 25 0 1 0 822179607 24846336 3318 33554432000 4194304 4933572 140735133204720 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6066 3318 385 181 0 3075 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 24264
[startup+1002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/482 8056
/proc/meminfo: memFree=27431696/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24412 CPUtime=1002.28 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3411 0 0 0 100228 0 0 0 25 0 1 0 822179607 24997888 3341 33554432000 4194304 4933572 140735133204720 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6103 3341 385 181 0 3112 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 24412
[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/482 8058
/proc/meminfo: memFree=27431900/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24564 CPUtime=1062.28 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3447 0 0 0 106228 0 0 0 25 0 1 0 822179607 25153536 3377 33554432000 4194304 4933572 140735133204720 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6141 3377 385 181 0 3150 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 24564
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/482 8060
/proc/meminfo: memFree=27431616/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24712 CPUtime=1122.28 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3498 0 0 0 112228 0 0 0 25 0 1 0 822179607 25305088 3428 33554432000 4194304 4933572 140735133204720 18446744073709551615 4363255 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6178 3428 385 181 0 3187 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 24712
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8061
/proc/meminfo: memFree=27431588/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24712 CPUtime=1182.28 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3503 0 0 0 118228 0 0 0 25 0 1 0 822179607 25305088 3433 33554432000 4194304 4933572 140735133204720 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6178 3433 385 181 0 3187 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 24712
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8063
/proc/meminfo: memFree=27431436/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24864 CPUtime=1242.29 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3521 0 0 0 124229 0 0 0 25 0 1 0 822179607 25460736 3451 33554432000 4194304 4933572 140735133204720 18446744073709551615 4631928 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6216 3451 385 181 0 3225 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 24864
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8064
/proc/meminfo: memFree=27430652/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24864 CPUtime=1302.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3538 0 0 0 130230 0 0 0 25 0 1 0 822179607 25460736 3468 33554432000 4194304 4933572 140735133204720 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6216 3468 385 181 0 3225 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 24864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8066
/proc/meminfo: memFree=27431628/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24864 CPUtime=1362.29 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3539 0 0 0 136229 0 0 0 25 0 1 0 822179607 25460736 3469 33554432000 4194304 4933572 140735133204720 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6216 3469 385 181 0 3225 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 24864
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8068
/proc/meminfo: memFree=27431580/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=24864 CPUtime=1422.31 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3541 0 0 0 142231 0 0 0 25 0 1 0 822179607 25460736 3471 33554432000 4194304 4933572 140735133204720 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6216 3471 385 181 0 3225 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 24864
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 8069
/proc/meminfo: memFree=27431180/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1482.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3561 0 0 0 148230 0 0 0 25 0 1 0 822179607 25612288 3491 33554432000 4194304 4933572 140735133204720 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3491 385 181 0 3262 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 25012
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 8071
/proc/meminfo: memFree=27431900/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1542.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3568 0 0 0 154230 0 0 0 25 0 1 0 822179607 25612288 3498 33554432000 4194304 4933572 140735133204720 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3498 385 181 0 3262 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 25012
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/482 8072
/proc/meminfo: memFree=27431492/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1602.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3577 0 0 0 160230 0 0 0 25 0 1 0 822179607 25612288 3507 33554432000 4194304 4933572 140735133204720 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3507 385 181 0 3262 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 25012
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8074
/proc/meminfo: memFree=27431836/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1662.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3586 0 0 0 166230 0 0 0 25 0 1 0 822179607 25612288 3516 33554432000 4194304 4933572 140735133204720 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3516 385 181 0 3262 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 25012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8076
/proc/meminfo: memFree=27431688/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1722.3 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3593 0 0 0 172230 0 0 0 25 0 1 0 822179607 25612288 3523 33554432000 4194304 4933572 140735133204720 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3523 385 181 0 3262 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 25012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8077
/proc/meminfo: memFree=27429432/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25012 CPUtime=1782.31 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3594 0 0 0 178231 0 0 0 25 0 1 0 822179607 25612288 3524 33554432000 4194304 4933572 140735133204720 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6253 3524 385 181 0 3262 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 25012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8078
/proc/meminfo: memFree=27429408/32950928 swapFree=39617324/67111528
[pid=7990] ppid=7988 vsize=25164 CPUtime=1800.02 cores=1,3,5,7
/proc/7990/stat : 7990 (clasp) R 7988 7990 7025 0 -1 4202496 3602 0 0 0 180002 0 0 0 25 0 1 0 822179607 25767936 3532 33554432000 4194304 4933572 140735133204720 18446744073709551615 4632090 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7990/statm: 6291 3532 385 181 0 3300 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 25164
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.03
CPU user time (s): 1800.03
CPU system time (s): 0.004999
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3611
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= 7
involuntary context switches= 16317
runsolver used 8.34373 second user time and 19.2761 second system time
The end