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-3478888-1307444012/watcher-3478888-1307444012 -o /tmp/evaluation-result-3478888-1307444012/solver-3478888-1307444012 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3478888-1307444012.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.04 2.01 3/575 23349
/proc/meminfo: memFree=23234868/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=14780 CPUtime=0.01 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 1107 0 0 0 1 0 0 0 25 0 1 0 855998948 15134720 1004 33554432000 4194304 4933572 140734213958624 18446744073709551615 212687336133 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 3695 1005 333 181 0 704 0
[startup+0.0892031 s]
/proc/loadavg: 1.97 2.04 2.01 3/575 23349
/proc/meminfo: memFree=23234868/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=23364 CPUtime=0.08 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 3734 0 0 0 8 0 0 0 25 0 1 0 855998948 23924736 3103 33554432000 4194304 4933572 140734213958624 18446744073709551615 212687372043 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 5841 3103 341 181 0 2850 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23364
[startup+0.101189 s]
/proc/loadavg: 1.97 2.04 2.01 3/575 23349
/proc/meminfo: memFree=23234868/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=25896 CPUtime=0.09 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4297 0 0 0 9 0 0 0 25 0 1 0 855998948 26517504 3666 33554432000 4194304 4933572 140734213958624 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6474 3666 341 181 0 3483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25896
[startup+0.301156 s]
/proc/loadavg: 1.97 2.04 2.01 3/575 23349
/proc/meminfo: memFree=23234868/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=26928 CPUtime=0.29 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4876 0 0 0 29 0 0 0 25 0 1 0 855998948 27574272 4036 33554432000 4194304 4933572 140734213958624 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6732 4036 374 181 0 3741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26928
[startup+0.701091 s]
/proc/loadavg: 1.97 2.04 2.01 3/575 23349
/proc/meminfo: memFree=23234868/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=26928 CPUtime=0.69 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4876 0 0 0 69 0 0 0 25 0 1 0 855998948 27574272 4036 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6732 4036 374 181 0 3741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26928
[startup+1.50091 s]
/proc/loadavg: 1.97 2.04 2.01 3/576 23350
/proc/meminfo: memFree=23218488/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=26928 CPUtime=1.49 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4877 0 0 0 149 0 0 0 25 0 1 0 855998948 27574272 4037 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6732 4037 374 181 0 3741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26928
[startup+3.10064 s]
/proc/loadavg: 1.97 2.04 2.01 3/576 23350
/proc/meminfo: memFree=23216876/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=26928 CPUtime=3.09 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4877 0 0 0 309 0 0 0 25 0 1 0 855998948 27574272 4037 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718418 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6732 4037 374 181 0 3741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26928
[startup+6.30106 s]
/proc/loadavg: 1.97 2.04 2.01 3/576 23350
/proc/meminfo: memFree=23216668/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=27060 CPUtime=6.29 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 4939 0 0 0 629 0 0 0 25 0 1 0 855998948 27709440 4099 33554432000 4194304 4933572 140734213958624 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 6765 4099 376 181 0 3774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27060
[startup+12.7009 s]
/proc/loadavg: 1.97 2.04 2.01 3/576 23351
/proc/meminfo: memFree=23215464/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=28676 CPUtime=12.69 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 5307 0 0 0 1269 0 0 0 25 0 1 0 855998948 29364224 4467 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718210 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 7169 4467 376 181 0 4178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28676
[startup+25.5006 s]
/proc/loadavg: 1.98 2.03 2.00 3/576 23351
/proc/meminfo: memFree=23214352/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=29916 CPUtime=25.49 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 5633 0 0 0 2549 0 0 0 25 0 1 0 855998948 30633984 4793 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 7479 4793 376 181 0 4488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29916
[startup+51.1009 s]
/proc/loadavg: 2.06 2.05 2.01 3/576 23352
/proc/meminfo: memFree=23211796/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=32300 CPUtime=51.09 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 6203 0 0 0 5109 0 0 0 25 0 1 0 855998948 33075200 5363 33554432000 4194304 4933572 140734213958624 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 8075 5363 376 181 0 5084 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32300
[startup+102.322 s]
/proc/loadavg: 2.18 2.07 2.01 3/576 23353
/proc/meminfo: memFree=23209168/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=34964 CPUtime=102.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 6842 0 0 0 10231 1 0 0 25 0 1 0 855998948 35803136 6002 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649602 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 8741 6002 376 181 0 5750 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 34964
[startup+162.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/576 23355
/proc/meminfo: memFree=23201716/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=39424 CPUtime=162.3 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 7934 0 0 0 16229 1 0 0 25 0 1 0 855998948 40370176 7094 33554432000 4194304 4933572 140734213958624 18446744073709551615 4648537 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 9856 7094 376 181 0 6865 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 39424
[startup+222.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/576 23356
/proc/meminfo: memFree=23200700/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=41584 CPUtime=222.3 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 8436 0 0 0 22229 1 0 0 25 0 1 0 855998948 42582016 7596 33554432000 4194304 4933572 140734213958624 18446744073709551615 4648629 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 10396 7596 376 181 0 7405 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 41584
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 23358
/proc/meminfo: memFree=23199428/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=42412 CPUtime=282.3 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 8652 0 0 0 28229 1 0 0 25 0 1 0 855998948 43429888 7812 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 10603 7812 376 181 0 7612 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 42412
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23359
/proc/meminfo: memFree=23196544/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=44300 CPUtime=342.3 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 9088 0 0 0 34229 1 0 0 25 0 1 0 855998948 45363200 8248 33554432000 4194304 4933572 140734213958624 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 11075 8248 376 181 0 8084 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44300
[startup+402.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/576 23361
/proc/meminfo: memFree=23196512/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=45152 CPUtime=402.31 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 9296 0 0 0 40229 2 0 0 25 0 1 0 855998948 46235648 8456 33554432000 4194304 4933572 140734213958624 18446744073709551615 4378567 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 11288 8456 376 181 0 8297 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 45152
[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.00 3/576 23372
/proc/meminfo: memFree=23194804/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=45756 CPUtime=462.31 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 9413 0 0 0 46229 2 0 0 25 0 1 0 855998948 46854144 8573 33554432000 4194304 4933572 140734213958624 18446744073709551615 4329855 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 11439 8573 376 181 0 8448 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 45756
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/576 23373
/proc/meminfo: memFree=23193676/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=46988 CPUtime=522.31 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 9714 0 0 0 52229 2 0 0 25 0 1 0 855998948 48115712 8874 33554432000 4194304 4933572 140734213958624 18446744073709551615 4711005 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 11747 8874 376 181 0 8756 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 46988
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 23375
/proc/meminfo: memFree=23193164/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=47128 CPUtime=582.31 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 9766 0 0 0 58229 2 0 0 25 0 1 0 855998948 48259072 8926 33554432000 4194304 4933572 140734213958624 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 11782 8926 376 181 0 8791 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 47128
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 23411
/proc/meminfo: memFree=23247512/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=49820 CPUtime=822.31 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10395 0 0 0 82229 2 0 0 25 0 1 0 855998948 51015680 9555 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718255 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12455 9555 376 181 0 9464 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 49820
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23413
/proc/meminfo: memFree=23246120/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=49972 CPUtime=882.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10423 0 0 0 88230 2 0 0 25 0 1 0 855998948 51171328 9583 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12493 9583 376 181 0 9502 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 49972
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23414
/proc/meminfo: memFree=23243364/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=50552 CPUtime=942.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10566 0 0 0 94230 2 0 0 25 0 1 0 855998948 51765248 9726 33554432000 4194304 4933572 140734213958624 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12638 9726 376 181 0 9647 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 50552
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23416
/proc/meminfo: memFree=23242476/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=50728 CPUtime=1002.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10604 0 0 0 100230 2 0 0 25 0 1 0 855998948 51945472 9764 33554432000 4194304 4933572 140734213958624 18446744073709551615 4711019 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12682 9764 376 181 0 9691 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 50728
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 23418
/proc/meminfo: memFree=23241324/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=51048 CPUtime=1062.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10699 0 0 0 106230 2 0 0 25 0 1 0 855998948 52273152 9859 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12762 9859 376 181 0 9771 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 51048
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/576 23419
/proc/meminfo: memFree=23236956/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=51992 CPUtime=1122.32 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 10941 0 0 0 112230 2 0 0 25 0 1 0 855998948 53239808 10101 33554432000 4194304 4933572 140734213958624 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 12998 10101 376 181 0 10007 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 51992
[startup+1182.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/576 23421
/proc/meminfo: memFree=23234560/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=52524 CPUtime=1182.33 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 11037 0 0 0 118231 2 0 0 25 0 1 0 855998948 53784576 10197 33554432000 4194304 4933572 140734213958624 18446744073709551615 4711225 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 13131 10197 376 181 0 10140 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 52524
[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/576 23422
/proc/meminfo: memFree=23233276/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=53052 CPUtime=1242.33 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 11173 0 0 0 124231 2 0 0 25 0 1 0 855998948 54325248 10333 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 13263 10333 376 181 0 10272 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 53052
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/576 23424
/proc/meminfo: memFree=23229644/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=54824 CPUtime=1302.34 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 11595 0 0 0 130232 2 0 0 25 0 1 0 855998948 56139776 10755 33554432000 4194304 4933572 140734213958624 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 13706 10755 376 181 0 10715 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 54824
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 23426
/proc/meminfo: memFree=23229496/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=55148 CPUtime=1362.33 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 11672 0 0 0 136231 2 0 0 25 0 1 0 855998948 56471552 10832 33554432000 4194304 4933572 140734213958624 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 13787 10832 376 181 0 10796 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 55148
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 23427
/proc/meminfo: memFree=23226496/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=56396 CPUtime=1422.35 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 11984 0 0 0 142233 2 0 0 25 0 1 0 855998948 57749504 11144 33554432000 4194304 4933572 140734213958624 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14099 11144 376 181 0 11108 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 56396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23429
/proc/meminfo: memFree=23224988/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=57816 CPUtime=1482.33 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12278 0 0 0 148231 2 0 0 25 0 1 0 855998948 59203584 11438 33554432000 4194304 4933572 140734213958624 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14454 11438 376 181 0 11463 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 57816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 23430
/proc/meminfo: memFree=23224180/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=57816 CPUtime=1542.33 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12316 0 0 0 154231 2 0 0 25 0 1 0 855998948 59203584 11476 33554432000 4194304 4933572 140734213958624 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14454 11476 376 181 0 11463 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 57816
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 23432
/proc/meminfo: memFree=23223904/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=58404 CPUtime=1602.34 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12451 0 0 0 160232 2 0 0 25 0 1 0 855998948 59805696 11611 33554432000 4194304 4933572 140734213958624 18446744073709551615 4319373 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14601 11611 376 181 0 11610 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 58404
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/576 23434
/proc/meminfo: memFree=23223140/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=58720 CPUtime=1662.34 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12506 0 0 0 166232 2 0 0 25 0 1 0 855998948 60129280 11666 33554432000 4194304 4933572 140734213958624 18446744073709551615 4648992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14680 11666 376 181 0 11689 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 58720
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/576 23435
/proc/meminfo: memFree=23221248/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=59100 CPUtime=1722.34 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12591 0 0 0 172232 2 0 0 25 0 1 0 855998948 60518400 11751 33554432000 4194304 4933572 140734213958624 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14775 11751 376 181 0 11784 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 59100
[startup+1782.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/576 23437
/proc/meminfo: memFree=23218128/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=59100 CPUtime=1782.34 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12619 0 0 0 178232 2 0 0 25 0 1 0 855998948 60518400 11779 33554432000 4194304 4933572 140734213958624 18446744073709551615 4329888 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14775 11779 376 181 0 11784 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 59100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.07 2.02 3/576 23437
/proc/meminfo: memFree=23218748/32951124 swapFree=58940260/67111528
[pid=23349] ppid=23347 vsize=59100 CPUtime=1800.06 cores=0,2,4,6
/proc/23349/stat : 23349 (clasp) R 23347 23349 22845 0 -1 4202496 12619 0 0 0 180004 2 0 0 25 0 1 0 855998948 60518400 11779 33554432000 4194304 4933572 140734213958624 18446744073709551615 4711040 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23349/statm: 14775 11779 376 181 0 11784 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 59100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.030995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 59100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2456
runsolver used 10.8973 second user time and 23.4984 second system time
The end