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-3468309-1307082522/watcher-3468309-1307082522 -o /tmp/evaluation-result-3468309-1307082522/solver-3468309-1307082522 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468309-1307082522.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.00 2.02 2.00 2/572 19871
/proc/meminfo: memFree=31950308/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=13416 CPUtime=0.01 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 795 0 0 0 1 0 0 0 25 0 1 0 819851009 13737984 714 33554432000 4194304 4933572 140734373518144 18446744073709551615 4378400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 3354 714 377 181 0 363 0
[startup+0.103444 s]
/proc/loadavg: 2.00 2.02 2.00 2/572 19871
/proc/meminfo: memFree=31950308/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=15768 CPUtime=0.1 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 1379 0 0 0 10 0 0 0 25 0 1 0 819851009 16146432 1298 33554432000 4194304 4933572 140734373518144 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 3942 1298 385 181 0 951 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15768
[startup+0.200434 s]
/proc/loadavg: 2.00 2.02 2.00 2/572 19871
/proc/meminfo: memFree=31950308/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=17068 CPUtime=0.19 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 1720 0 0 0 19 0 0 0 25 0 1 0 819851009 17477632 1639 33554432000 4194304 4933572 140734373518144 18446744073709551615 4342154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 4267 1639 385 181 0 1276 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17068
[startup+0.300404 s]
/proc/loadavg: 2.00 2.02 2.00 2/572 19871
/proc/meminfo: memFree=31950308/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=18100 CPUtime=0.29 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 1962 0 0 0 29 0 0 0 25 0 1 0 819851009 18534400 1881 33554432000 4194304 4933572 140734373518144 18446744073709551615 4428053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 4525 1881 385 181 0 1534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18100
[startup+0.700337 s]
/proc/loadavg: 2.00 2.02 2.00 2/572 19871
/proc/meminfo: memFree=31950308/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=21968 CPUtime=0.69 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 2897 0 0 0 69 0 0 0 25 0 1 0 819851009 22495232 2816 33554432000 4194304 4933572 140734373518144 18446744073709551615 4360887 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 5492 2816 385 181 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21968
[startup+1.50113 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19872
/proc/meminfo: memFree=31938528/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=23144 CPUtime=1.49 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 3238 0 0 0 149 0 0 0 25 0 1 0 819851009 23699456 3157 33554432000 4194304 4933572 140734373518144 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 5786 3157 385 181 0 2795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23144
[startup+3.10085 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19872
/proc/meminfo: memFree=31936296/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=24052 CPUtime=3.09 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 3449 0 0 0 309 0 0 0 25 0 1 0 819851009 24629248 3368 33554432000 4194304 4933572 140734373518144 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 6013 3368 385 181 0 3022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24052
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19872
/proc/meminfo: memFree=31932060/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=27516 CPUtime=6.29 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 4314 0 0 0 628 1 0 0 25 0 1 0 819851009 28176384 4215 33554432000 4194304 4933572 140734373518144 18446744073709551615 4632823 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 6879 4215 385 181 0 3888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27516
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19873
/proc/meminfo: memFree=31926992/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=33548 CPUtime=12.69 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 5657 0 0 0 1268 1 0 0 25 0 1 0 819851009 34353152 5553 33554432000 4194304 4933572 140734373518144 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 8387 5553 385 181 0 5396 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33548
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19873
/proc/meminfo: memFree=31925868/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=34924 CPUtime=25.49 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 6117 0 0 0 2548 1 0 0 25 0 1 0 819851009 35762176 6013 33554432000 4194304 4933572 140734373518144 18446744073709551615 4414957 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 8731 6013 385 181 0 5740 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34924
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19874
/proc/meminfo: memFree=31924948/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=35740 CPUtime=51.09 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 6327 0 0 0 5108 1 0 0 25 0 1 0 819851009 36597760 6221 33554432000 4194304 4933572 140734373518144 18446744073709551615 4341923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 8935 6221 385 181 0 5944 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35740
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19875
/proc/meminfo: memFree=31923932/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=37032 CPUtime=102.31 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 6670 0 0 0 10229 2 0 0 25 0 1 0 819851009 37920768 6537 33554432000 4194304 4933572 140734373518144 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9258 6537 385 181 0 6267 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37032
[startup+162.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/573 19877
/proc/meminfo: memFree=31921656/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=37572 CPUtime=162.3 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 6867 0 0 0 16228 2 0 0 25 0 1 0 819851009 38473728 6687 33554432000 4194304 4933572 140734373518144 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9393 6687 385 181 0 6402 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 37572
[startup+222.322 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 19878
/proc/meminfo: memFree=31921980/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=38560 CPUtime=222.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7143 0 0 0 22230 2 0 0 25 0 1 0 819851009 39485440 6930 33554432000 4194304 4933572 140734373518144 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9640 6930 385 181 0 6649 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 38560
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/573 19880
/proc/meminfo: memFree=31922188/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=38852 CPUtime=282.3 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7224 0 0 0 28228 2 0 0 25 0 1 0 819851009 39784448 7002 33554432000 4194304 4933572 140734373518144 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9713 7002 385 181 0 6722 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 38852
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19882
/proc/meminfo: memFree=31922528/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=39044 CPUtime=342.3 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7282 0 0 0 34228 2 0 0 25 0 1 0 819851009 39981056 7052 33554432000 4194304 4933572 140734373518144 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9761 7052 385 181 0 6770 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39044
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19883
/proc/meminfo: memFree=31921368/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=39124 CPUtime=402.3 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7370 0 0 0 40228 2 0 0 25 0 1 0 819851009 40062976 7072 33554432000 4194304 4933572 140734373518144 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9781 7072 385 181 0 6790 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39124
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19885
/proc/meminfo: memFree=31920328/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=39708 CPUtime=462.31 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7604 0 0 0 46229 2 0 0 25 0 1 0 819851009 40660992 7194 33554432000 4194304 4933572 140734373518144 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9927 7194 385 181 0 6936 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 39708
[startup+522.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19914
/proc/meminfo: memFree=31890292/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=39760 CPUtime=522.3 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7775 0 0 0 52228 2 0 0 25 0 1 0 819851009 40714240 7231 33554432000 4194304 4933572 140734373518144 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9940 7231 385 181 0 6949 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39760
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/573 19916
/proc/meminfo: memFree=31872252/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=39880 CPUtime=582.31 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 7820 0 0 0 58229 2 0 0 25 0 1 0 819851009 40837120 7261 33554432000 4194304 4933572 140734373518144 18446744073709551615 4428061 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 9970 7261 385 181 0 6979 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 39880
[startup+642.301 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 19924
/proc/meminfo: memFree=31820068/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=40980 CPUtime=882.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8199 0 0 0 88231 2 0 0 25 0 1 0 819851009 41963520 7526 33554432000 4194304 4933572 140734373518144 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10245 7526 385 181 0 7254 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 40980
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19926
/proc/meminfo: memFree=31820404/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=40980 CPUtime=942.31 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8204 0 0 0 94229 2 0 0 25 0 1 0 819851009 41963520 7531 33554432000 4194304 4933572 140734373518144 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10245 7531 385 181 0 7254 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 40980
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19927
/proc/meminfo: memFree=31819612/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41436 CPUtime=1002.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8384 0 0 0 100230 2 0 0 25 0 1 0 819851009 42430464 7703 33554432000 4194304 4933572 140734373518144 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10359 7703 385 181 0 7368 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 41436
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 19929
/proc/meminfo: memFree=31807528/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41592 CPUtime=1062.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8410 0 0 0 106230 2 0 0 25 0 1 0 819851009 42590208 7729 33554432000 4194304 4933572 140734373518144 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10398 7729 385 181 0 7407 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 41592
[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19930
/proc/meminfo: memFree=31803500/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41628 CPUtime=1122.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8435 0 0 0 112230 2 0 0 25 0 1 0 819851009 42627072 7749 33554432000 4194304 4933572 140734373518144 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10407 7749 385 181 0 7416 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 41628
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19932
/proc/meminfo: memFree=31801472/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41720 CPUtime=1182.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8500 0 0 0 118230 2 0 0 25 0 1 0 819851009 42721280 7777 33554432000 4194304 4933572 140734373518144 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10430 7777 385 181 0 7439 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 41720
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 19934
/proc/meminfo: memFree=31801424/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41720 CPUtime=1242.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8505 0 0 0 124230 2 0 0 25 0 1 0 819851009 42721280 7777 33554432000 4194304 4933572 140734373518144 18446744073709551615 4342154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10430 7777 385 181 0 7439 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 41720
[startup+1302.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/573 19935
/proc/meminfo: memFree=31792456/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41840 CPUtime=1302.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8543 0 0 0 130230 2 0 0 25 0 1 0 819851009 42844160 7803 33554432000 4194304 4933572 140734373518144 18446744073709551615 4329842 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10460 7803 385 181 0 7469 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 41840
[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/573 19937
/proc/meminfo: memFree=31790916/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41912 CPUtime=1362.32 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8562 0 0 0 136230 2 0 0 25 0 1 0 819851009 42917888 7818 33554432000 4194304 4933572 140734373518144 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10478 7818 385 181 0 7487 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 41912
[startup+1422.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/573 19938
/proc/meminfo: memFree=31792240/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=41912 CPUtime=1422.34 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8567 0 0 0 142232 2 0 0 25 0 1 0 819851009 42917888 7823 33554432000 4194304 4933572 140734373518144 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10478 7823 385 181 0 7487 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 41912
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/573 19940
/proc/meminfo: memFree=31791068/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42332 CPUtime=1482.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8766 0 0 0 148231 2 0 0 25 0 1 0 819851009 43347968 7929 33554432000 4194304 4933572 140734373518144 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10583 7929 385 181 0 7592 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 42332
[startup+1542.32 s]
/proc/loadavg: 2.01 2.05 2.00 3/573 19942
/proc/meminfo: memFree=31791544/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42516 CPUtime=1542.35 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 8889 0 0 0 154233 2 0 0 25 0 1 0 819851009 43536384 7964 33554432000 4194304 4933572 140734373518144 18446744073709551615 4358533 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10629 7964 385 181 0 7638 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 42516
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/573 19943
/proc/meminfo: memFree=31791256/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42484 CPUtime=1602.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9018 0 0 0 160231 2 0 0 25 0 1 0 819851009 43503616 7968 33554432000 4194304 4933572 140734373518144 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10621 7968 385 181 0 7630 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 42484
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/573 19945
/proc/meminfo: memFree=31788240/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42596 CPUtime=1662.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9098 0 0 0 166231 2 0 0 25 0 1 0 819851009 43618304 7996 33554432000 4194304 4933572 140734373518144 18446744073709551615 4329870 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10649 7996 385 181 0 7658 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 42596
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/573 19946
/proc/meminfo: memFree=31787944/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42684 CPUtime=1722.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9146 0 0 0 172231 2 0 0 25 0 1 0 819851009 43708416 8016 33554432000 4194304 4933572 140734373518144 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10671 8016 385 181 0 7680 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 42684
[startup+1782.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 19948
/proc/meminfo: memFree=31785172/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42672 CPUtime=1782.33 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9216 0 0 0 178231 2 0 0 25 0 1 0 819851009 43696128 8015 33554432000 4194304 4933572 140734373518144 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10668 8015 385 181 0 7677 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 42672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.06 2.01 3/573 19948
/proc/meminfo: memFree=31785908/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42664 CPUtime=1800.05 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9229 0 0 0 180003 2 0 0 25 0 1 0 819851009 43687936 8013 33554432000 4194304 4933572 140734373518144 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10666 8013 385 181 0 7675 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42664
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.12 2.06 2.01 3/573 19948
/proc/meminfo: memFree=31785908/32950928 swapFree=43925852/67111528
[pid=19871] ppid=19869 vsize=42664 CPUtime=1800.05 cores=0,2,4,6
/proc/19871/stat : 19871 (clasp) R 19869 19871 17441 0 -1 4202496 9229 0 0 0 180003 2 0 0 25 0 1 0 819851009 43687936 8013 33554432000 4194304 4933572 140734373518144 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19871/statm: 10666 8013 385 181 0 7675 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42664
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.030995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 42824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9237
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= 11
involuntary context switches= 4202
runsolver used 10.5294 second user time and 22.6985 second system time
The end