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-3468148-1307101281/watcher-3468148-1307101281 -o /tmp/evaluation-result-3468148-1307101281/solver-3468148-1307101281 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468148-1307101281.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.26 2.09 2.02 2/558 29184
/proc/meminfo: memFree=30191684/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/29184/stat : 29184 (runsolver) R 29182 29184 28517 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 821726757 12079104 50 33554432000 4194304 5432328 140734392538880 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/29184/statm: 2949 50 31 303 0 2643 0
[startup+0.035947 s]
/proc/loadavg: 2.26 2.09 2.02 2/558 29184
/proc/meminfo: memFree=30191684/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=13736 CPUtime=0.01 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 888 0 0 0 1 0 0 0 25 0 1 0 821726757 14065664 729 33554432000 4194304 4933572 140736707272816 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 3434 729 331 181 0 443 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13736
[startup+0.100991 s]
/proc/loadavg: 2.26 2.09 2.02 2/558 29184
/proc/meminfo: memFree=30191684/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=17492 CPUtime=0.07 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 2029 0 0 0 7 0 0 0 25 0 1 0 821726757 17911808 1658 33554432000 4194304 4933572 140736707272816 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 4373 1658 348 181 0 1382 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17492
[startup+0.300955 s]
/proc/loadavg: 2.26 2.09 2.02 2/558 29184
/proc/meminfo: memFree=30191684/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=17432 CPUtime=0.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 2248 0 0 0 27 0 0 0 25 0 1 0 821726757 17850368 1720 33554432000 4194304 4933572 140736707272816 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 4358 1720 384 181 0 1367 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 17432
[startup+0.700847 s]
/proc/loadavg: 2.26 2.09 2.02 2/558 29184
/proc/meminfo: memFree=30191684/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=29864 CPUtime=0.67 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 5360 0 0 0 67 0 0 0 25 0 1 0 821726757 30580736 4832 33554432000 4194304 4933572 140736707272816 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 7466 4832 384 181 0 4475 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 29864
[startup+1.50064 s]
/proc/loadavg: 2.26 2.09 2.02 3/562 29209
/proc/meminfo: memFree=30142120/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=54224 CPUtime=1.47 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 11435 0 0 0 146 1 0 0 25 0 1 0 821726757 55525376 10907 33554432000 4194304 4933572 140736707272816 18446744073709551615 4341556 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 13556 10907 384 181 0 10565 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 54224
[startup+3.1005 s]
/proc/loadavg: 2.26 2.09 2.02 3/562 29209
/proc/meminfo: memFree=30087560/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=64940 CPUtime=3.07 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 14125 0 0 0 305 2 0 0 25 0 1 0 821726757 66498560 13597 33554432000 4194304 4933572 140736707272816 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 16235 13597 384 181 0 13244 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 64940
[startup+6.30095 s]
/proc/loadavg: 2.24 2.08 2.02 3/562 29209
/proc/meminfo: memFree=30065772/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=75776 CPUtime=6.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 16828 0 0 0 625 2 0 0 25 0 1 0 821726757 77594624 16300 33554432000 4194304 4933572 140736707272816 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 18944 16300 384 181 0 15953 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 75776
[startup+12.7009 s]
/proc/loadavg: 2.22 2.08 2.02 3/562 29209
/proc/meminfo: memFree=30036808/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=91752 CPUtime=12.67 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 20812 0 0 0 1264 3 0 0 25 0 1 0 821726757 93954048 20284 33554432000 4194304 4933572 140736707272816 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 22938 20284 386 181 0 19947 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 91752
[startup+25.5007 s]
/proc/loadavg: 2.17 2.08 2.02 3/562 29210
/proc/meminfo: memFree=29990416/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=111624 CPUtime=25.47 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 25736 0 0 0 2544 3 0 0 25 0 1 0 821726757 114302976 25208 33554432000 4194304 4933572 140736707272816 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 27906 25208 386 181 0 24915 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 111624
[startup+51.1004 s]
/proc/loadavg: 2.11 2.07 2.02 3/562 29210
/proc/meminfo: memFree=29964804/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=122732 CPUtime=51.07 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 28549 0 0 0 5104 3 0 0 25 0 1 0 821726757 125677568 28021 33554432000 4194304 4933572 140736707272816 18446744073709551615 4342072 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 30683 28021 386 181 0 27692 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 122732
[startup+102.322 s]
/proc/loadavg: 2.14 2.09 2.02 3/562 29212
/proc/meminfo: memFree=29920636/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=145364 CPUtime=102.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 34186 0 0 0 10225 4 0 0 25 0 1 0 821726757 148852736 33658 33554432000 4194304 4933572 140736707272816 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 36341 33658 386 181 0 33350 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 145364
[startup+162.301 s]
/proc/loadavg: 2.24 2.13 2.04 3/562 29213
/proc/meminfo: memFree=29885876/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=156540 CPUtime=162.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 38593 0 0 0 16222 5 0 0 25 0 1 0 821726757 160296960 36377 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 39135 36377 387 181 0 36144 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 156540
[startup+222.301 s]
/proc/loadavg: 2.09 2.10 2.03 3/562 29215
/proc/meminfo: memFree=29858440/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=174192 CPUtime=222.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 43553 0 0 0 22221 6 0 0 25 0 1 0 821726757 178372608 40785 33554432000 4194304 4933572 140736707272816 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 43548 40785 387 181 0 40557 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 174192
[startup+282.301 s]
/proc/loadavg: 2.03 2.08 2.03 3/562 29216
/proc/meminfo: memFree=29843784/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=182140 CPUtime=282.28 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 45527 0 0 0 28221 7 0 0 25 0 1 0 821726757 186511360 42759 33554432000 4194304 4933572 140736707272816 18446744073709551615 4360887 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 45535 42759 387 181 0 42544 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 182140
[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/562 29218
/proc/meminfo: memFree=29812012/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=193652 CPUtime=342.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 48793 0 0 0 34220 7 0 0 25 0 1 0 821726757 198299648 45642 33554432000 4194304 4933572 140736707272816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 48413 45642 387 181 0 45422 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 193652
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/562 29220
/proc/meminfo: memFree=29802072/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=200528 CPUtime=402.28 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 50526 0 0 0 40220 8 0 0 25 0 1 0 821726757 205340672 47375 33554432000 4194304 4933572 140736707272816 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 50132 47375 387 181 0 47141 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 200528
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/562 29221
/proc/meminfo: memFree=29777864/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=213228 CPUtime=462.27 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 53711 0 0 0 46219 8 0 0 25 0 1 0 821726757 218345472 50560 33554432000 4194304 4933572 140736707272816 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 53307 50560 387 181 0 50316 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 213228
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29223
/proc/meminfo: memFree=29761836/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=221088 CPUtime=522.28 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 57517 0 0 0 52219 9 0 0 25 0 1 0 821726757 226394112 52487 33554432000 4194304 4933572 140736707272816 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 55272 52487 387 181 0 52281 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 221088
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29224
/proc/meminfo: memFree=29758932/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=221884 CPUtime=582.28 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 57724 0 0 0 58219 9 0 0 25 0 1 0 821726757 227209216 52694 33554432000 4194304 4933572 140736707272816 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 55471 52694 387 181 0 52480 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 221884
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.11 2.09 2.02 3/562 29231
/proc/meminfo: memFree=29709164/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=251192 CPUtime=822.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 67776 0 0 0 82218 11 0 0 25 0 1 0 821726757 257220608 59950 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 62798 59950 387 181 0 59807 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 251192
[startup+882.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/562 29232
/proc/meminfo: memFree=29705288/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=251192 CPUtime=882.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 67776 0 0 0 88218 11 0 0 25 0 1 0 821726757 257220608 59950 33554432000 4194304 4933572 140736707272816 18446744073709551615 4632120 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 62798 59950 387 181 0 59807 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 251192
[startup+942.301 s]
/proc/loadavg: 2.01 2.06 2.01 3/562 29234
/proc/meminfo: memFree=29705368/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=251456 CPUtime=942.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 67849 0 0 0 94218 11 0 0 25 0 1 0 821726757 257490944 60023 33554432000 4194304 4933572 140736707272816 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 62864 60023 387 181 0 59873 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 251456
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/562 29236
/proc/meminfo: memFree=29704232/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=251852 CPUtime=1002.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 67941 0 0 0 100218 11 0 0 25 0 1 0 821726757 257896448 60115 33554432000 4194304 4933572 140736707272816 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 62963 60115 387 181 0 59972 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 251852
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29237
/proc/meminfo: memFree=29690416/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=265484 CPUtime=1062.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 71352 0 0 0 106217 12 0 0 25 0 1 0 821726757 271855616 63526 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 66371 63526 387 181 0 63380 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 265484
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29239
/proc/meminfo: memFree=29681832/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=272340 CPUtime=1122.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 75589 0 0 0 112217 12 0 0 25 0 1 0 821726757 278876160 65202 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 68085 65202 387 181 0 65094 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 272340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29249
/proc/meminfo: memFree=29673724/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=278160 CPUtime=1182.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 77074 0 0 0 118217 12 0 0 25 0 1 0 821726757 284835840 66687 33554432000 4194304 4933572 140736707272816 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 69540 66687 387 181 0 66549 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 278160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29251
/proc/meminfo: memFree=29671364/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=281208 CPUtime=1242.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 77850 0 0 0 124217 12 0 0 25 0 1 0 821726757 287956992 67463 33554432000 4194304 4933572 140736707272816 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 70302 67463 387 181 0 67311 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 281208
[startup+1302.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/562 29253
/proc/meminfo: memFree=29661024/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=282532 CPUtime=1302.31 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 78206 0 0 0 130219 12 0 0 25 0 1 0 821726757 289312768 67819 33554432000 4194304 4933572 140736707272816 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 70633 67819 387 181 0 67642 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 282532
[startup+1362.3 s]
/proc/loadavg: 2.20 2.10 2.03 3/562 29254
/proc/meminfo: memFree=29649204/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=283720 CPUtime=1362.29 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 78502 0 0 0 136217 12 0 0 25 0 1 0 821726757 290529280 68115 33554432000 4194304 4933572 140736707272816 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 70930 68115 387 181 0 67939 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 283720
[startup+1422.32 s]
/proc/loadavg: 2.07 2.08 2.02 3/562 29259
/proc/meminfo: memFree=29647108/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=283720 CPUtime=1422.31 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 78502 0 0 0 142219 12 0 0 25 0 1 0 821726757 290529280 68115 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 70930 68115 387 181 0 67939 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 283720
[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/562 29260
/proc/meminfo: memFree=29644856/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=285172 CPUtime=1482.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 78865 0 0 0 148217 13 0 0 25 0 1 0 821726757 292016128 68478 33554432000 4194304 4933572 140736707272816 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 71293 68478 387 181 0 68302 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 285172
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/562 29262
/proc/meminfo: memFree=29644084/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=286780 CPUtime=1542.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 79240 0 0 0 154217 13 0 0 25 0 1 0 821726757 293662720 68853 33554432000 4194304 4933572 140736707272816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 71695 68853 387 181 0 68704 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 286780
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 29264
/proc/meminfo: memFree=29644064/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=286780 CPUtime=1602.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 79240 0 0 0 160217 13 0 0 25 0 1 0 821726757 293662720 68853 33554432000 4194304 4933572 140736707272816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 71695 68853 387 181 0 68704 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 286780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29265
/proc/meminfo: memFree=29631616/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=298844 CPUtime=1662.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 82700 0 0 0 166217 13 0 0 25 0 1 0 821726757 306016256 71945 33554432000 4194304 4933572 140736707272816 18446744073709551615 4622134 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 74711 71945 387 181 0 71720 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 298844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29267
/proc/meminfo: memFree=29616096/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=314200 CPUtime=1722.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 87034 0 0 0 172216 14 0 0 25 0 1 0 821726757 321740800 75781 33554432000 4194304 4933572 140736707272816 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 78550 75781 387 181 0 75559 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 314200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29268
/proc/meminfo: memFree=29613852/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=314200 CPUtime=1782.3 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 87034 0 0 0 178216 14 0 0 25 0 1 0 821726757 321740800 75781 33554432000 4194304 4933572 140736707272816 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 78550 75781 387 181 0 75559 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 314200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29269
/proc/meminfo: memFree=29614592/32950928 swapFree=41528364/67111528
[pid=29184] ppid=29182 vsize=314200 CPUtime=1800.02 cores=0,2,4,6
/proc/29184/stat : 29184 (clasp) R 29182 29184 28517 0 -1 4202496 87034 0 0 0 179988 14 0 0 25 0 1 0 821726757 321740800 75781 33554432000 4194304 4933572 140736707272816 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29184/statm: 78550 75781 387 181 0 75559 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 314200
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.04
CPU time (s): 1800.04
CPU user time (s): 1799.89
CPU system time (s): 0.158975
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 314200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87043
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= 2633
runsolver used 10.5694 second user time and 22.6446 second system time
The end