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-3468142-1307100950/watcher-3468142-1307100950 -o /tmp/evaluation-result-3468142-1307100950/solver-3468142-1307100950 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468142-1307100950.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.01 2.00 1/478 12619
/proc/meminfo: memFree=24929148/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=13160 CPUtime=0 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 900325679 13475840 578 33554432000 4194304 4933572 140734927985600 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 3290 578 331 181 0 299 0
[startup+0.0572641 s]
/proc/loadavg: 2.00 2.01 2.00 1/478 12619
/proc/meminfo: memFree=24929148/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=17528 CPUtime=0.05 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 2051 0 0 0 5 0 0 0 25 0 1 0 900325679 17948672 1680 33554432000 4194304 4933572 140734927985600 18446744073709551615 4587815 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 4382 1680 348 181 0 1391 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17528
[startup+0.100254 s]
/proc/loadavg: 2.00 2.01 2.00 1/478 12619
/proc/meminfo: memFree=24929148/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=17528 CPUtime=0.09 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 2051 0 0 0 9 0 0 0 25 0 1 0 900325679 17948672 1680 33554432000 4194304 4933572 140734927985600 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 4382 1680 348 181 0 1391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17528
[startup+0.300217 s]
/proc/loadavg: 2.00 2.01 2.00 1/478 12619
/proc/meminfo: memFree=24929148/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=17992 CPUtime=0.29 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 2391 0 0 0 29 0 0 0 25 0 1 0 900325679 18423808 1861 33554432000 4194304 4933572 140734927985600 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 4498 1861 384 181 0 1507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17992
[startup+0.700146 s]
/proc/loadavg: 2.00 2.01 2.00 1/478 12619
/proc/meminfo: memFree=24929148/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=30600 CPUtime=0.69 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 5524 0 0 0 68 1 0 0 25 0 1 0 900325679 31334400 4994 33554432000 4194304 4933572 140734927985600 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 7650 4994 384 181 0 4659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30600
[startup+1.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24871280/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=54896 CPUtime=1.49 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 11623 0 0 0 148 1 0 0 25 0 1 0 900325679 56213504 11093 33554432000 4194304 4933572 140734927985600 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 13724 11093 384 181 0 10733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54896
[startup+3.10071 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24825772/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=66676 CPUtime=3.1 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 14551 0 0 0 308 2 0 0 25 0 1 0 900325679 68276224 14021 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 16669 14021 384 181 0 13678 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 66676
[startup+6.30012 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24795320/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=75572 CPUtime=6.29 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 16755 0 0 0 627 2 0 0 25 0 1 0 900325679 77385728 16225 33554432000 4194304 4933572 140734927985600 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 18893 16225 384 181 0 15902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75572
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24769344/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=90384 CPUtime=12.69 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 20470 0 0 0 1266 3 0 0 25 0 1 0 900325679 92553216 19940 33554432000 4194304 4933572 140734927985600 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 22596 19940 386 181 0 19605 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90384
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12629
/proc/meminfo: memFree=24728792/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=107444 CPUtime=25.5 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 24735 0 0 0 2546 4 0 0 25 0 1 0 900325679 110022656 24205 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 26861 24205 386 181 0 23870 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 107444
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12629
/proc/meminfo: memFree=24698564/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=123156 CPUtime=51.09 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 28648 0 0 0 5105 4 0 0 25 0 1 0 900325679 126111744 28118 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 30789 28118 386 181 0 27798 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 123156
[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12631
/proc/meminfo: memFree=24649552/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=144328 CPUtime=102.32 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 33921 0 0 0 10227 5 0 0 25 0 1 0 900325679 147791872 33391 33554432000 4194304 4933572 140734927985600 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 36082 33391 386 181 0 33091 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 144328
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12632
/proc/meminfo: memFree=24617892/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=164652 CPUtime=162.29 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 39004 0 0 0 16224 5 0 0 25 0 1 0 900325679 168603648 38474 33554432000 4194304 4933572 140734927985600 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 41163 38474 386 181 0 38172 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 164652
[startup+222.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/484 12637
/proc/meminfo: memFree=24595244/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=174148 CPUtime=222.29 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 42349 0 0 0 22223 6 0 0 25 0 1 0 900325679 178327552 40847 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 43537 40847 387 181 0 40546 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 174148
[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/484 12638
/proc/meminfo: memFree=24577688/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=183272 CPUtime=282.3 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 44622 0 0 0 28223 7 0 0 25 0 1 0 900325679 187670528 43120 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341613 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 45818 43120 387 181 0 42827 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 183272
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 12640
/proc/meminfo: memFree=24544892/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=199700 CPUtime=342.3 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 49432 0 0 0 34222 8 0 0 25 0 1 0 900325679 204492800 47241 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 49925 47241 387 181 0 46934 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199700
[startup+402.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/484 12642
/proc/meminfo: memFree=24542848/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=202096 CPUtime=402.3 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 50008 0 0 0 40222 8 0 0 25 0 1 0 900325679 206946304 47817 33554432000 4194304 4933572 140734927985600 18446744073709551615 4649424 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 50524 47817 387 181 0 47533 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 202096
[startup+462.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/484 12643
/proc/meminfo: memFree=24517368/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=214520 CPUtime=462.31 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 53109 0 0 0 46223 8 0 0 25 0 1 0 900325679 219668480 50918 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 53630 50918 387 181 0 50639 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 214520
[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/484 12645
/proc/meminfo: memFree=24504024/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=221532 CPUtime=522.31 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 54879 0 0 0 52223 8 0 0 25 0 1 0 900325679 226848768 52688 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 55383 52688 387 181 0 52392 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 221532
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 12646
/proc/meminfo: memFree=24496048/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=224704 CPUtime=582.31 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 55667 0 0 0 58223 8 0 0 25 0 1 0 900325679 230096896 53476 33554432000 4194304 4933572 140734927985600 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 56176 53476 387 181 0 53185 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 224704
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/484 12653
/proc/meminfo: memFree=24452180/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=248392 CPUtime=822.31 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 62831 0 0 0 82222 9 0 0 25 0 1 0 900325679 254353408 59372 33554432000 4194304 4933572 140734927985600 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 62098 59372 387 181 0 59107 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 248392
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 12654
/proc/meminfo: memFree=24451744/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=248788 CPUtime=882.31 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 62932 0 0 0 88222 9 0 0 25 0 1 0 900325679 254758912 59473 33554432000 4194304 4933572 140734927985600 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 62197 59473 387 181 0 59206 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 248788
[startup+942.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/484 12656
/proc/meminfo: memFree=24446120/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=249848 CPUtime=942.32 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 63206 0 0 0 94223 9 0 0 25 0 1 0 900325679 255844352 59747 33554432000 4194304 4933572 140734927985600 18446744073709551615 4622140 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 62462 59747 387 181 0 59471 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 249848
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/484 12658
/proc/meminfo: memFree=24442444/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=252360 CPUtime=1002.32 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 63818 0 0 0 100223 9 0 0 25 0 1 0 900325679 258416640 60359 33554432000 4194304 4933572 140734927985600 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 63090 60359 387 181 0 60099 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 252360
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 12659
/proc/meminfo: memFree=24416220/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=263296 CPUtime=1062.32 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 68106 0 0 0 106222 10 0 0 25 0 1 0 900325679 269615104 63076 33554432000 4194304 4933572 140734927985600 18446744073709551615 4625114 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 65824 63076 387 181 0 62833 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 263296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12661
/proc/meminfo: memFree=24400796/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=277624 CPUtime=1122.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 71641 0 0 0 112222 11 0 0 25 0 1 0 900325679 284286976 66611 33554432000 4194304 4933572 140734927985600 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 69406 66611 387 181 0 66415 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 277624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12662
/proc/meminfo: memFree=24397892/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=277624 CPUtime=1182.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 71657 0 0 0 118222 11 0 0 25 0 1 0 900325679 284286976 66627 33554432000 4194304 4933572 140734927985600 18446744073709551615 4319422 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 69406 66627 387 181 0 66415 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 277624
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12664
/proc/meminfo: memFree=24397208/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=278152 CPUtime=1242.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 71801 0 0 0 124222 11 0 0 25 0 1 0 900325679 284827648 66771 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 69538 66771 387 181 0 66547 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 278152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12666
/proc/meminfo: memFree=24390592/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=278152 CPUtime=1302.34 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 71801 0 0 0 130223 11 0 0 25 0 1 0 900325679 284827648 66771 33554432000 4194304 4933572 140734927985600 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 69538 66771 387 181 0 66547 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 278152
[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/484 12667
/proc/meminfo: memFree=24392264/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=278152 CPUtime=1362.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 71801 0 0 0 136222 11 0 0 25 0 1 0 900325679 284827648 66771 33554432000 4194304 4933572 140734927985600 18446744073709551615 4360936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 69538 66771 387 181 0 66547 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 278152
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/484 12669
/proc/meminfo: memFree=24386372/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=283648 CPUtime=1422.35 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 73137 0 0 0 142224 11 0 0 25 0 1 0 900325679 290455552 68107 33554432000 4194304 4933572 140734927985600 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 70912 68107 387 181 0 67921 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 283648
[startup+1482.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/484 12670
/proc/meminfo: memFree=24384948/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=283648 CPUtime=1482.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 73137 0 0 0 148222 11 0 0 25 0 1 0 900325679 290455552 68107 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341919 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 70912 68107 387 181 0 67921 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 283648
[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/484 12681
/proc/meminfo: memFree=24382304/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=286292 CPUtime=1542.33 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 73818 0 0 0 154222 11 0 0 25 0 1 0 900325679 293163008 68788 33554432000 4194304 4933572 140734927985600 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 71573 68788 387 181 0 68582 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 286292
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 12683
/proc/meminfo: memFree=24382120/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=286292 CPUtime=1602.34 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 73818 0 0 0 160223 11 0 0 25 0 1 0 900325679 293163008 68788 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 71573 68788 387 181 0 68582 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 286292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12684
/proc/meminfo: memFree=24366212/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=285584 CPUtime=1662.35 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 77653 0 0 0 166223 12 0 0 25 0 1 0 900325679 292438016 68656 33554432000 4194304 4933572 140734927985600 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 71396 68656 387 181 0 68405 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 285584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12686
/proc/meminfo: memFree=24334024/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=309376 CPUtime=1722.34 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 83532 0 0 0 172222 12 0 0 25 0 1 0 900325679 316801024 74535 33554432000 4194304 4933572 140734927985600 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 77344 74535 387 181 0 74353 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 309376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12687
/proc/meminfo: memFree=24328500/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=311228 CPUtime=1782.34 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 83970 0 0 0 178222 12 0 0 25 0 1 0 900325679 318697472 74973 33554432000 4194304 4933572 140734927985600 18446744073709551615 4632210 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 77807 74973 387 181 0 74816 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 311228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12688
/proc/meminfo: memFree=24329224/32950928 swapFree=61542356/67111528
[pid=12619] ppid=12617 vsize=311228 CPUtime=1800.05 cores=1,3,5,7
/proc/12619/stat : 12619 (clasp) R 12617 12619 12040 0 -1 4202496 83977 0 0 0 179993 12 0 0 25 0 1 0 900325679 318697472 74980 33554432000 4194304 4933572 140734927985600 18446744073709551615 4622134 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12619/statm: 77807 74980 387 181 0 74816 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 311228
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.09
CPU user time (s): 1799.95
CPU system time (s): 0.142978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 311228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83985
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= 5392
runsolver used 8.18775 second user time and 19.657 second system time
The end