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-3468249-1307089014/watcher-3468249-1307089014 -o /tmp/evaluation-result-3468249-1307089014/solver-3468249-1307089014 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468249-1307089014.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/327 18651
/proc/meminfo: memFree=24180228/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/18651/stat : 18651 (runsolver) R 18648 18651 15734 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 899131985 12079104 51 33554432000 4194304 5432328 140735871758800 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/18651/statm: 2949 51 31 303 0 2643 0
[startup+0.086835 s]
/proc/loadavg: 2.00 2.02 2.00 3/327 18651
/proc/meminfo: memFree=24180228/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=15184 CPUtime=0.07 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 1243 0 0 0 7 0 0 0 25 0 1 0 899131985 15548416 1163 33554432000 4194304 4933572 140734003451360 18446744073709551615 4341800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 3796 1163 386 181 0 805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15184
[startup+0.100832 s]
/proc/loadavg: 2.00 2.02 2.00 3/327 18651
/proc/meminfo: memFree=24180228/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=15836 CPUtime=0.08 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 1400 0 0 0 8 0 0 0 25 0 1 0 899131985 16216064 1320 33554432000 4194304 4933572 140734003451360 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 3959 1321 386 181 0 968 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15836
[startup+0.3008 s]
/proc/loadavg: 2.00 2.02 2.00 3/327 18651
/proc/meminfo: memFree=24180228/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=17532 CPUtime=0.28 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 1823 0 0 0 28 0 0 0 25 0 1 0 899131985 17952768 1743 33554432000 4194304 4933572 140734003451360 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 4383 1743 386 181 0 1392 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17532
[startup+0.70072 s]
/proc/loadavg: 2.00 2.02 2.00 3/327 18651
/proc/meminfo: memFree=24180228/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=19264 CPUtime=0.68 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 2256 0 0 0 68 0 0 0 25 0 1 0 899131985 19726336 2176 33554432000 4194304 4933572 140734003451360 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 4816 2176 386 181 0 1825 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19264
[startup+1.50058 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18652
/proc/meminfo: memFree=24172292/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=20296 CPUtime=1.48 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 2509 0 0 0 148 0 0 0 25 0 1 0 899131985 20783104 2429 33554432000 4194304 4933572 140734003451360 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 5074 2429 386 181 0 2083 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20296
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18652
/proc/meminfo: memFree=24170308/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=22828 CPUtime=3.08 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 3141 0 0 0 308 0 0 0 25 0 1 0 899131985 23375872 3061 33554432000 4194304 4933572 140734003451360 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 5707 3061 386 181 0 2716 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22828
[startup+6.3007 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18652
/proc/meminfo: memFree=24166968/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=24532 CPUtime=6.28 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 3569 0 0 0 628 0 0 0 25 0 1 0 899131985 25120768 3489 33554432000 4194304 4933572 140734003451360 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 6133 3489 386 181 0 3142 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24532
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18652
/proc/meminfo: memFree=24164636/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=26080 CPUtime=12.68 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 3969 0 0 0 1268 0 0 0 25 0 1 0 899131985 26705920 3889 33554432000 4194304 4933572 140734003451360 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 6520 3889 386 181 0 3529 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26080
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18652
/proc/meminfo: memFree=24163880/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=26800 CPUtime=25.48 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 4123 0 0 0 2548 0 0 0 25 0 1 0 899131985 27443200 4041 33554432000 4194304 4933572 140734003451360 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 6700 4041 386 181 0 3709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26800
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24159812/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=32244 CPUtime=51.08 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 5210 0 0 0 5107 1 0 0 25 0 1 0 899131985 33017856 5127 33554432000 4194304 4933572 140734003451360 18446744073709551615 4428397 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8061 5127 386 181 0 5070 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32244
[startup+102.312 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18690
/proc/meminfo: memFree=24152932/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=34284 CPUtime=102.3 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 5982 0 0 0 10229 1 0 0 25 0 1 0 899131985 35106816 5875 33554432000 4194304 4933572 140734003451360 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8571 5875 386 181 0 5580 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34284
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18693
/proc/meminfo: memFree=24149680/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=34476 CPUtime=162.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6037 0 0 0 16228 1 0 0 25 0 1 0 899131985 35303424 5930 33554432000 4194304 4933572 140734003451360 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8619 5930 386 181 0 5628 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34476
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18695
/proc/meminfo: memFree=24146644/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=35032 CPUtime=222.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6171 0 0 0 22228 1 0 0 25 0 1 0 899131985 35872768 6064 33554432000 4194304 4933572 140734003451360 18446744073709551615 4635430 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8758 6064 386 181 0 5767 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 35032
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18696
/proc/meminfo: memFree=24144240/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=35300 CPUtime=282.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6374 0 0 0 28228 1 0 0 25 0 1 0 899131985 36147200 6150 33554432000 4194304 4933572 140734003451360 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8825 6150 386 181 0 5834 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35300
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18699
/proc/meminfo: memFree=24141832/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=35828 CPUtime=342.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6499 0 0 0 34228 1 0 0 25 0 1 0 899131985 36687872 6266 33554432000 4194304 4933572 140734003451360 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8957 6266 386 181 0 5966 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 35828
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 18701
/proc/meminfo: memFree=24140164/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=35948 CPUtime=402.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6598 0 0 0 40228 1 0 0 25 0 1 0 899131985 36810752 6310 33554432000 4194304 4933572 140734003451360 18446744073709551615 4635470 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 8987 6310 386 181 0 5996 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 35948
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/328 18703
/proc/meminfo: memFree=24138768/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=36148 CPUtime=462.29 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6641 0 0 0 46228 1 0 0 25 0 1 0 899131985 37015552 6341 33554432000 4194304 4933572 140734003451360 18446744073709551615 4370282 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9037 6341 386 181 0 6046 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 36148
[startup+522.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/328 18705
/proc/meminfo: memFree=24137724/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=36404 CPUtime=522.3 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6725 0 0 0 52229 1 0 0 25 0 1 0 899131985 37277696 6409 33554432000 4194304 4933572 140734003451360 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9101 6409 386 181 0 6110 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36404
[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/328 18707
/proc/meminfo: memFree=24137544/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=36480 CPUtime=582.3 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 6778 0 0 0 58229 1 0 0 25 0 1 0 899131985 37355520 6443 33554432000 4194304 4933572 140734003451360 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9120 6443 386 181 0 6129 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 36480
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18715
/proc/meminfo: memFree=24135640/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37072 CPUtime=822.3 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7008 0 0 0 82229 1 0 0 25 0 1 0 899131985 37961728 6584 33554432000 4194304 4933572 140734003451360 18446744073709551615 4631990 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9268 6584 386 181 0 6277 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 37072
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18717
/proc/meminfo: memFree=24135236/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37072 CPUtime=882.3 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7017 0 0 0 88229 1 0 0 25 0 1 0 899131985 37961728 6593 33554432000 4194304 4933572 140734003451360 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9268 6593 386 181 0 6277 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 37072
[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/328 18719
/proc/meminfo: memFree=24134952/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37072 CPUtime=942.31 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7017 0 0 0 94230 1 0 0 25 0 1 0 899131985 37961728 6593 33554432000 4194304 4933572 140734003451360 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9268 6593 386 181 0 6277 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 37072
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 18720
/proc/meminfo: memFree=24134660/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37108 CPUtime=1002.31 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7034 0 0 0 100230 1 0 0 25 0 1 0 899131985 37998592 6602 33554432000 4194304 4933572 140734003451360 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9277 6602 386 181 0 6286 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 37108
[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/328 18722
/proc/meminfo: memFree=24134012/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37108 CPUtime=1062.31 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7039 0 0 0 106230 1 0 0 25 0 1 0 899131985 37998592 6602 33554432000 4194304 4933572 140734003451360 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9277 6602 386 181 0 6286 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 37108
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 18724
/proc/meminfo: memFree=24133240/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37620 CPUtime=1122.31 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7267 0 0 0 112230 1 0 0 25 0 1 0 899131985 38522880 6727 33554432000 4194304 4933572 140734003451360 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9405 6727 386 181 0 6414 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 37620
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18725
/proc/meminfo: memFree=24132708/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37528 CPUtime=1182.31 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7308 0 0 0 118230 1 0 0 25 0 1 0 899131985 38428672 6705 33554432000 4194304 4933572 140734003451360 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9382 6705 386 181 0 6391 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 37528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18728
/proc/meminfo: memFree=24131560/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37580 CPUtime=1242.32 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7341 0 0 0 124231 1 0 0 25 0 1 0 899131985 38481920 6721 33554432000 4194304 4933572 140734003451360 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9395 6721 386 181 0 6404 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 37580
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18729
/proc/meminfo: memFree=24131136/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37608 CPUtime=1302.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7361 0 0 0 130232 1 0 0 25 0 1 0 899131985 38510592 6728 33554432000 4194304 4933572 140734003451360 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9402 6728 386 181 0 6411 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 37608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18734
/proc/meminfo: memFree=24130848/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37680 CPUtime=1362.32 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7396 0 0 0 136231 1 0 0 25 0 1 0 899131985 38584320 6742 33554432000 4194304 4933572 140734003451360 18446744073709551615 4341816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9420 6742 386 181 0 6429 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 37680
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18736
/proc/meminfo: memFree=24130580/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37816 CPUtime=1422.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7446 0 0 0 142232 1 0 0 25 0 1 0 899131985 38723584 6779 33554432000 4194304 4933572 140734003451360 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9454 6779 386 181 0 6463 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 37816
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 18738
/proc/meminfo: memFree=24129812/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37924 CPUtime=1482.32 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7453 0 0 0 148231 1 0 0 25 0 1 0 899131985 38834176 6786 33554432000 4194304 4933572 140734003451360 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9481 6786 386 181 0 6490 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 37924
[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/328 18740
/proc/meminfo: memFree=24129288/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37924 CPUtime=1542.32 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7475 0 0 0 154231 1 0 0 25 0 1 0 899131985 38834176 6807 33554432000 4194304 4933572 140734003451360 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9481 6807 386 181 0 6490 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 37924
[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/328 18741
/proc/meminfo: memFree=24128968/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37924 CPUtime=1602.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7475 0 0 0 160232 1 0 0 25 0 1 0 899131985 38834176 6807 33554432000 4194304 4933572 140734003451360 18446744073709551615 4632831 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9481 6807 386 181 0 6490 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 37924
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/328 18744
/proc/meminfo: memFree=24128444/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=37944 CPUtime=1662.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7478 0 0 0 166232 1 0 0 25 0 1 0 899131985 38854656 6810 33554432000 4194304 4933572 140734003451360 18446744073709551615 4663948 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9486 6810 386 181 0 6495 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 37944
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/328 18747
/proc/meminfo: memFree=24128412/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=38016 CPUtime=1722.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7535 0 0 0 172232 1 0 0 25 0 1 0 899131985 38928384 6827 33554432000 4194304 4933572 140734003451360 18446744073709551615 4631873 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9504 6827 386 181 0 6513 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 38016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/328 18748
/proc/meminfo: memFree=24127256/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=38128 CPUtime=1782.33 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7623 0 0 0 178232 1 0 0 25 0 1 0 899131985 39043072 6847 33554432000 4194304 4933572 140734003451360 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9532 6847 386 181 0 6541 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 38128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18749
/proc/meminfo: memFree=24127108/32951124 swapFree=67056304/67111528
[pid=18651] ppid=18648 vsize=38128 CPUtime=1800.04 cores=1,3,5,7
/proc/18651/stat : 18651 (clasp) R 18648 18651 15734 0 -1 4202496 7623 0 0 0 180003 1 0 0 25 0 1 0 899131985 39043072 6847 33554432000 4194304 4933572 140734003451360 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18651/statm: 9532 6847 386 181 0 6541 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 38128
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.01
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.019996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 38156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7632
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= 21302
runsolver used 5.2512 second user time and 12.7661 second system time
The end