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-3468057-1307091928/watcher-3468057-1307091928 -o /tmp/evaluation-result-3468057-1307091928/solver-3468057-1307091928 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468057-1307091928.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: 1.84 1.99 1.97 1/481 11761
/proc/meminfo: memFree=24919392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=14184 CPUtime=0 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 941 0 0 0 0 0 0 0 25 0 1 0 899423494 14524416 832 33554432000 4194304 4933572 140735188873232 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11761/statm: 3546 832 332 181 0 555 0
[startup+0.108254 s]
/proc/loadavg: 1.84 1.99 1.97 1/481 11761
/proc/meminfo: memFree=24919392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15252 CPUtime=0.1 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1409 0 0 0 10 0 0 0 25 0 1 0 899423494 15618048 1149 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11761/statm: 3813 1149 381 181 0 822 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15252
[startup+0.200242 s]
/proc/loadavg: 1.84 1.99 1.97 1/481 11761
/proc/meminfo: memFree=24919392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15252 CPUtime=0.19 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1409 0 0 0 19 0 0 0 25 0 1 0 899423494 15618048 1149 33554432000 4194304 4933572 140735188873232 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11761/statm: 3813 1149 381 181 0 822 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15252
[startup+0.300107 s]
/proc/loadavg: 1.84 1.99 1.97 1/481 11761
/proc/meminfo: memFree=24919392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15252 CPUtime=0.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1409 0 0 0 29 0 0 0 25 0 1 0 899423494 15618048 1149 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11761/statm: 3813 1149 381 181 0 822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15252
[startup+0.701032 s]
/proc/loadavg: 1.84 1.99 1.97 1/481 11761
/proc/meminfo: memFree=24919392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15252 CPUtime=0.69 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1409 0 0 0 69 0 0 0 25 0 1 0 899423494 15618048 1149 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648401 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11761/statm: 3813 1149 381 181 0 822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15252
[startup+1.50094 s]
/proc/loadavg: 1.84 1.99 1.97 3/481 11819
/proc/meminfo: memFree=24930392/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15252 CPUtime=1.49 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1409 0 0 0 149 0 0 0 25 0 1 0 899423494 15618048 1149 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/11761/statm: 3813 1149 381 181 0 822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15252
[startup+3.10071 s]
/proc/loadavg: 1.84 1.99 1.97 3/481 11900
/proc/meminfo: memFree=24928860/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=15516 CPUtime=3.08 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1486 0 0 0 308 0 0 0 25 0 1 0 899423494 15888384 1226 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649394 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 3879 1226 381 181 0 888 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15516
[startup+6.30113 s]
/proc/loadavg: 1.86 1.99 1.97 3/484 11951
/proc/meminfo: memFree=24919436/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=16048 CPUtime=6.28 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1625 0 0 0 628 0 0 0 25 0 1 0 899423494 16433152 1365 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 4012 1365 381 181 0 1021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16048
[startup+12.701 s]
/proc/loadavg: 1.87 1.99 1.97 3/484 11952
/proc/meminfo: memFree=24915560/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=16596 CPUtime=12.68 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1757 0 0 0 1268 0 0 0 25 0 1 0 899423494 16994304 1497 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649454 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 4149 1497 381 181 0 1158 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16596
[startup+25.5006 s]
/proc/loadavg: 1.90 1.99 1.97 3/484 11952
/proc/meminfo: memFree=24911972/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=17532 CPUtime=25.48 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 1993 0 0 0 2548 0 0 0 25 0 1 0 899423494 17952768 1733 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648641 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 4383 1733 381 181 0 1392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17532
[startup+51.1009 s]
/proc/loadavg: 1.93 1.99 1.97 3/484 11953
/proc/meminfo: memFree=24909808/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=18632 CPUtime=51.08 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 2267 0 0 0 5108 0 0 0 25 0 1 0 899423494 19079168 2007 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 4658 2007 381 181 0 1667 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18632
[startup+102.301 s]
/proc/loadavg: 1.97 1.99 1.97 3/484 11954
/proc/meminfo: memFree=24904700/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=20536 CPUtime=102.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 2701 0 0 0 10229 0 0 0 25 0 1 0 899423494 21028864 2441 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649193 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 5134 2441 381 181 0 2143 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 20536
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.97 3/484 11956
/proc/meminfo: memFree=24901340/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=21484 CPUtime=162.28 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 2937 0 0 0 16228 0 0 0 25 0 1 0 899423494 21999616 2677 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 5371 2677 381 181 0 2380 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 21484
[startup+222.319 s]
/proc/loadavg: 1.99 1.99 1.97 3/484 11957
/proc/meminfo: memFree=24899588/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=23072 CPUtime=222.3 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 3343 0 0 0 22230 0 0 0 25 0 1 0 899423494 23625728 3083 33554432000 4194304 4933572 140735188873232 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 5768 3083 381 181 0 2777 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23072
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/484 11959
/proc/meminfo: memFree=24899304/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=23688 CPUtime=282.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 3464 0 0 0 28229 0 0 0 25 0 1 0 899423494 24256512 3204 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 5922 3204 381 181 0 2931 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23688
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/484 11960
/proc/meminfo: memFree=24897312/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=25048 CPUtime=342.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 3822 0 0 0 34229 0 0 0 25 0 1 0 899423494 25649152 3562 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 6262 3562 381 181 0 3271 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25048
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/484 11962
/proc/meminfo: memFree=24896768/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=25612 CPUtime=402.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 3946 0 0 0 40229 0 0 0 25 0 1 0 899423494 26226688 3686 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 6403 3686 381 181 0 3412 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25612
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/484 11964
/proc/meminfo: memFree=24895756/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=26044 CPUtime=462.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4038 0 0 0 46229 0 0 0 25 0 1 0 899423494 26669056 3778 33554432000 4194304 4933572 140735188873232 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 6511 3778 381 181 0 3520 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 26044
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/484 11965
/proc/meminfo: memFree=24895704/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=26728 CPUtime=522.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4189 0 0 0 52229 0 0 0 25 0 1 0 899423494 27369472 3929 33554432000 4194304 4933572 140735188873232 18446744073709551615 4663624 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 6682 3929 381 181 0 3691 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26728
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/484 11967
/proc/meminfo: memFree=24895304/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=27044 CPUtime=582.29 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4250 0 0 0 58229 0 0 0 25 0 1 0 899423494 27693056 3990 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 6761 3990 381 181 0 3770 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 27044
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11975
/proc/meminfo: memFree=24890904/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=29164 CPUtime=882.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4758 0 0 0 88232 0 0 0 25 0 1 0 899423494 29863936 4498 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649552 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 7291 4498 381 181 0 4300 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 29164
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11976
/proc/meminfo: memFree=24890764/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=29612 CPUtime=942.3 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4841 0 0 0 94230 0 0 0 25 0 1 0 899423494 30322688 4581 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 7403 4581 381 181 0 4412 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 29612
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11978
/proc/meminfo: memFree=24891096/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=29744 CPUtime=1002.3 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 4883 0 0 0 100230 0 0 0 25 0 1 0 899423494 30457856 4623 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 7436 4623 381 181 0 4445 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 29744
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/484 11980
/proc/meminfo: memFree=24888348/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=31256 CPUtime=1062.3 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5260 0 0 0 106230 0 0 0 25 0 1 0 899423494 32006144 5000 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 7814 5000 381 181 0 4823 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 31256
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/484 11981
/proc/meminfo: memFree=24888172/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=31740 CPUtime=1122.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5353 0 0 0 112231 1 0 0 25 0 1 0 899423494 32501760 5093 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 7935 5093 383 181 0 4944 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 31740
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11983
/proc/meminfo: memFree=24886888/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=32368 CPUtime=1182.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5503 0 0 0 118231 1 0 0 25 0 1 0 899423494 33144832 5243 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8092 5243 383 181 0 5101 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 32368
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11984
/proc/meminfo: memFree=24886484/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=32684 CPUtime=1242.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5602 0 0 0 124231 1 0 0 25 0 1 0 899423494 33468416 5342 33554432000 4194304 4933572 140735188873232 18446744073709551615 4637859 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8171 5342 383 181 0 5180 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 32684
[startup+1302.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/484 11986
/proc/meminfo: memFree=24884452/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=32976 CPUtime=1302.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5673 0 0 0 130231 1 0 0 25 0 1 0 899423494 33767424 5413 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648948 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8244 5413 383 181 0 5253 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 32976
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 11988
/proc/meminfo: memFree=24885920/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=33660 CPUtime=1362.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5789 0 0 0 136231 1 0 0 25 0 1 0 899423494 34467840 5529 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8415 5529 383 181 0 5424 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 33660
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/484 11989
/proc/meminfo: memFree=24885268/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=34200 CPUtime=1422.33 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5903 0 0 0 142232 1 0 0 25 0 1 0 899423494 35020800 5643 33554432000 4194304 4933572 140735188873232 18446744073709551615 260905091690 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8550 5643 383 181 0 5559 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 34200
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 11991
/proc/meminfo: memFree=24884604/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=34332 CPUtime=1482.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 5944 0 0 0 148231 1 0 0 25 0 1 0 899423494 35155968 5684 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8583 5684 383 181 0 5592 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 34332
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11992
/proc/meminfo: memFree=24884572/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=34664 CPUtime=1542.34 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6036 0 0 0 154233 1 0 0 25 0 1 0 899423494 35495936 5776 33554432000 4194304 4933572 140735188873232 18446744073709551615 4429736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8666 5776 383 181 0 5675 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 34664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11994
/proc/meminfo: memFree=24883540/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=35484 CPUtime=1602.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6232 0 0 0 160231 1 0 0 25 0 1 0 899423494 36335616 5972 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648445 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8871 5972 383 181 0 5880 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 35484
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11996
/proc/meminfo: memFree=24883768/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=35484 CPUtime=1662.32 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6233 0 0 0 166231 1 0 0 25 0 1 0 899423494 36335616 5973 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 8871 5973 383 181 0 5880 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 35484
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11997
/proc/meminfo: memFree=24882868/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=36176 CPUtime=1722.33 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6402 0 0 0 172232 1 0 0 25 0 1 0 899423494 37044224 6142 33554432000 4194304 4933572 140735188873232 18446744073709551615 4648334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 9044 6142 383 181 0 6053 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 36176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11999
/proc/meminfo: memFree=24880092/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=36512 CPUtime=1782.33 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6480 0 0 0 178232 1 0 0 25 0 1 0 899423494 37388288 6220 33554432000 4194304 4933572 140735188873232 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 9128 6220 383 181 0 6137 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 36512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11999
/proc/meminfo: memFree=24881080/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=36512 CPUtime=1800.03 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6496 0 0 0 180002 1 0 0 25 0 1 0 899423494 37388288 6236 33554432000 4194304 4933572 140735188873232 18446744073709551615 4637396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 9128 6236 383 181 0 6137 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 36512
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/484 11999
/proc/meminfo: memFree=24881080/32950928 swapFree=61542356/67111528
[pid=11761] ppid=11759 vsize=36512 CPUtime=1800.03 cores=0,2,4,6
/proc/11761/stat : 11761 (clasp) R 11759 11761 2195 0 -1 4202496 6496 0 0 0 180002 1 0 0 25 0 1 0 899423494 37388288 6236 33554432000 4194304 4933572 140735188873232 18446744073709551615 4637396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11761/statm: 9128 6236 383 181 0 6137 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 36512
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.017997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 36512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6508
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= 2975
runsolver used 8.74867 second user time and 19.0941 second system time
The end