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-3468177-1307099147/watcher-3468177-1307099147 -o /tmp/evaluation-result-3468177-1307099147/solver-3468177-1307099147 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468177-1307099147.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: 1.90 2.00 1.99 2/478 12513
/proc/meminfo: memFree=24929092/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=12616 CPUtime=0 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 537 0 0 0 0 0 0 0 25 0 1 0 900145388 12918784 467 33554432000 4194304 4933572 140736333322688 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 3154 467 331 181 0 163 0
[startup+0.048836 s]
/proc/loadavg: 1.90 2.00 1.99 2/478 12513
/proc/meminfo: memFree=24929092/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=16756 CPUtime=0.04 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 1972 0 0 0 4 0 0 0 25 0 1 0 900145388 17158144 1430 33554432000 4194304 4933572 140736333322688 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 4189 1431 331 181 0 1198 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16756
[startup+0.100832 s]
/proc/loadavg: 1.90 2.00 1.99 2/478 12513
/proc/meminfo: memFree=24929092/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=19644 CPUtime=0.09 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 2688 0 0 0 9 0 0 0 25 0 1 0 900145388 20115456 2133 33554432000 4194304 4933572 140736333322688 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 4911 2133 348 181 0 1920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19644
[startup+0.300728 s]
/proc/loadavg: 1.90 2.00 1.99 2/478 12513
/proc/meminfo: memFree=24929092/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=18560 CPUtime=0.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 2717 0 0 0 29 0 0 0 25 0 1 0 900145388 19005440 1948 33554432000 4194304 4933572 140736333322688 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 4640 1948 377 181 0 1649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18560
[startup+0.700654 s]
/proc/loadavg: 1.90 2.00 1.99 2/478 12513
/proc/meminfo: memFree=24929092/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=29024 CPUtime=0.68 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 5381 0 0 0 68 0 0 0 25 0 1 0 900145388 29720576 4612 33554432000 4194304 4933572 140736333322688 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 7256 4612 384 181 0 4265 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29024
[startup+1.50051 s]
/proc/loadavg: 1.90 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24874184/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=53572 CPUtime=1.49 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 11505 0 0 0 148 1 0 0 25 0 1 0 900145388 54857728 10736 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 13393 10736 384 181 0 10402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53572
[startup+3.10028 s]
/proc/loadavg: 1.90 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24809472/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=68316 CPUtime=3.08 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 15217 0 0 0 307 1 0 0 25 0 1 0 900145388 69955584 14448 33554432000 4194304 4933572 140736333322688 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 17079 14448 384 181 0 14088 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 68316
[startup+6.30063 s]
/proc/loadavg: 1.91 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24782404/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=89060 CPUtime=6.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 20376 0 0 0 627 2 0 0 25 0 1 0 900145388 91197440 19607 33554432000 4194304 4933572 140736333322688 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 22265 19607 384 181 0 19274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89060
[startup+12.7005 s]
/proc/loadavg: 1.92 2.00 1.99 3/484 12524
/proc/meminfo: memFree=24745080/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=105236 CPUtime=12.69 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 24420 0 0 0 1267 2 0 0 25 0 1 0 900145388 107761664 23651 33554432000 4194304 4933572 140736333322688 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 26309 23651 386 181 0 23318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105236
[startup+25.5001 s]
/proc/loadavg: 1.93 2.00 1.99 3/484 12525
/proc/meminfo: memFree=24704436/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=120344 CPUtime=25.49 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 28216 0 0 0 2547 2 0 0 25 0 1 0 900145388 123232256 27447 33554432000 4194304 4933572 140736333322688 18446744073709551615 260905091674 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 30086 27447 386 181 0 27095 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 120344
[startup+51.1004 s]
/proc/loadavg: 1.95 2.00 1.99 3/484 12525
/proc/meminfo: memFree=24658628/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=142116 CPUtime=51.08 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 33616 0 0 0 5106 2 0 0 25 0 1 0 900145388 145526784 32847 33554432000 4194304 4933572 140736333322688 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 35529 32847 386 181 0 32538 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 142116
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 3/484 12527
/proc/meminfo: memFree=24600800/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=169484 CPUtime=102.31 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 40463 0 0 0 10227 4 0 0 25 0 1 0 900145388 173551616 39694 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 42371 39694 386 181 0 39380 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 169484
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12528
/proc/meminfo: memFree=24568132/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=179352 CPUtime=162.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 42936 0 0 0 16225 4 0 0 25 0 1 0 900145388 183656448 42167 33554432000 4194304 4933572 140736333322688 18446744073709551615 4341696 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 44838 42167 386 181 0 41847 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 179352
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12530
/proc/meminfo: memFree=24547012/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=198036 CPUtime=222.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 48145 0 0 0 22225 4 0 0 25 0 1 0 900145388 202788864 46821 33554432000 4194304 4933572 140736333322688 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 49509 46821 387 181 0 46518 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198036
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12531
/proc/meminfo: memFree=24517568/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=214408 CPUtime=282.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 52225 0 0 0 28224 5 0 0 25 0 1 0 900145388 219553792 50901 33554432000 4194304 4933572 140736333322688 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 53602 50901 387 181 0 50611 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 214408
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12533
/proc/meminfo: memFree=24505728/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=217596 CPUtime=342.3 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 53026 0 0 0 34225 5 0 0 25 0 1 0 900145388 222818304 51702 33554432000 4194304 4933572 140736333322688 18446744073709551615 4318087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 54399 51702 387 181 0 51408 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 217596
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/484 12535
/proc/meminfo: memFree=24473428/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=233428 CPUtime=402.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 56995 0 0 0 40224 5 0 0 25 0 1 0 900145388 239030272 55671 33554432000 4194304 4933572 140736333322688 18446744073709551615 4341699 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 58357 55671 387 181 0 55366 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 233428
[startup+462.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/484 12536
/proc/meminfo: memFree=24463448/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=238772 CPUtime=462.29 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 58332 0 0 0 46224 5 0 0 25 0 1 0 900145388 244502528 57008 33554432000 4194304 4933572 140736333322688 18446744073709551615 4663948 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 59693 57008 387 181 0 56702 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 238772
[startup+522.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/484 12538
/proc/meminfo: memFree=24448760/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=239432 CPUtime=522.3 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 58502 0 0 0 52225 5 0 0 25 0 1 0 900145388 245178368 57178 33554432000 4194304 4933572 140736333322688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 59858 57178 387 181 0 56867 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 239432
[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/484 12539
/proc/meminfo: memFree=24427396/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=254808 CPUtime=582.3 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 63300 0 0 0 58224 6 0 0 25 0 1 0 900145388 260923392 61010 33554432000 4194304 4933572 140736333322688 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 63702 61010 387 181 0 60711 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 254808
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12546
/proc/meminfo: memFree=24402284/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=275468 CPUtime=822.31 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 69722 0 0 0 82224 7 0 0 25 0 1 0 900145388 282079232 66213 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 68867 66213 387 181 0 65876 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 275468
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12547
/proc/meminfo: memFree=24364904/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=287644 CPUtime=882.31 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 75931 0 0 0 88223 8 0 0 25 0 1 0 900145388 294547456 69187 33554432000 4194304 4933572 140736333322688 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 71911 69187 387 181 0 68920 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 287644
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12549
/proc/meminfo: memFree=24362616/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=289128 CPUtime=942.31 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 76320 0 0 0 94223 8 0 0 25 0 1 0 900145388 296067072 69576 33554432000 4194304 4933572 140736333322688 18446744073709551615 4632192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 72282 69576 387 181 0 69291 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 289128
[startup+1002.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/484 12551
/proc/meminfo: memFree=24362556/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=289128 CPUtime=1002.31 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 76323 0 0 0 100223 8 0 0 25 0 1 0 900145388 296067072 69579 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 72282 69579 387 181 0 69291 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 289128
[startup+1062.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/484 12552
/proc/meminfo: memFree=24360888/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=292348 CPUtime=1062.32 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 77114 0 0 0 106224 8 0 0 25 0 1 0 900145388 299364352 70370 33554432000 4194304 4933572 140736333322688 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 73087 70370 387 181 0 70096 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 292348
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/484 12554
/proc/meminfo: memFree=24360584/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=292348 CPUtime=1122.32 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 77114 0 0 0 112224 8 0 0 25 0 1 0 900145388 299364352 70370 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 73087 70370 387 181 0 70096 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 292348
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/484 12555
/proc/meminfo: memFree=24355472/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=293276 CPUtime=1182.32 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 77365 0 0 0 118224 8 0 0 25 0 1 0 900145388 300314624 70621 33554432000 4194304 4933572 140736333322688 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 73319 70621 387 181 0 70328 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 293276
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12557
/proc/meminfo: memFree=24346004/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=299572 CPUtime=1242.32 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 81669 0 0 0 124223 9 0 0 25 0 1 0 900145388 306761728 72212 33554432000 4194304 4933572 140736333322688 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 74893 72212 387 181 0 71902 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 299572
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12559
/proc/meminfo: memFree=24305648/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=318308 CPUtime=1302.33 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 86334 0 0 0 130223 10 0 0 25 0 1 0 900145388 325947392 76877 33554432000 4194304 4933572 140736333322688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 79577 76877 387 181 0 76586 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 318308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12560
/proc/meminfo: memFree=24303488/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=320840 CPUtime=1362.33 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 86943 0 0 0 136223 10 0 0 25 0 1 0 900145388 328540160 77486 33554432000 4194304 4933572 140736333322688 18446744073709551615 260905091706 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 80210 77486 387 181 0 77219 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 320840
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12562
/proc/meminfo: memFree=24296860/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=320840 CPUtime=1422.35 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 86943 0 0 0 142225 10 0 0 25 0 1 0 900145388 328540160 77486 33554432000 4194304 4933572 140736333322688 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 80210 77486 387 181 0 77219 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 320840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12563
/proc/meminfo: memFree=24294208/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=323112 CPUtime=1482.33 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87504 0 0 0 148223 10 0 0 25 0 1 0 900145388 330866688 78047 33554432000 4194304 4933572 140736333322688 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 80778 78047 387 181 0 77787 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 323112
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/484 12565
/proc/meminfo: memFree=24295004/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=323508 CPUtime=1542.33 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87609 0 0 0 154223 10 0 0 25 0 1 0 900145388 331272192 78152 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 80877 78152 387 181 0 77886 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 323508
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/484 12567
/proc/meminfo: memFree=24293072/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=323508 CPUtime=1602.33 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87611 0 0 0 160223 10 0 0 25 0 1 0 900145388 331272192 78154 33554432000 4194304 4933572 140736333322688 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 80877 78154 387 181 0 77886 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 323508
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 12568
/proc/meminfo: memFree=24293000/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=324184 CPUtime=1662.34 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87794 0 0 0 166224 10 0 0 25 0 1 0 900145388 331964416 78337 33554432000 4194304 4933572 140736333322688 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 81046 78337 387 181 0 78055 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 324184
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 12570
/proc/meminfo: memFree=24291820/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=324856 CPUtime=1722.34 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87962 0 0 0 172224 10 0 0 25 0 1 0 900145388 332652544 78505 33554432000 4194304 4933572 140736333322688 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 81214 78505 387 181 0 78223 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 324856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12571
/proc/meminfo: memFree=24289536/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=324856 CPUtime=1782.34 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87962 0 0 0 178224 10 0 0 25 0 1 0 900145388 332652544 78505 33554432000 4194304 4933572 140736333322688 18446744073709551615 4342076 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 81214 78505 387 181 0 78223 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 324856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12572
/proc/meminfo: memFree=24290512/32950928 swapFree=61542356/67111528
[pid=12513] ppid=12511 vsize=324856 CPUtime=1800.05 cores=1,3,5,7
/proc/12513/stat : 12513 (clasp) R 12511 12513 12040 0 -1 4202496 87962 0 0 0 179995 10 0 0 25 0 1 0 900145388 332652544 78505 33554432000 4194304 4933572 140736333322688 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12513/statm: 81214 78505 387 181 0 78223 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 324856
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.03
CPU time (s): 1800.08
CPU user time (s): 1799.96
CPU system time (s): 0.120981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 324856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87970
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= 4220
runsolver used 8.08877 second user time and 19.759 second system time
The end