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-3468149-1307100950/watcher-3468149-1307100950 -o /tmp/evaluation-result-3468149-1307100950/solver-3468149-1307100950 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468149-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: 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.00 2.01 2.00 2/483 12627
/proc/meminfo: memFree=24920124/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=13160 CPUtime=0 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 649 0 0 0 0 0 0 0 25 0 1 0 900325686 13475840 580 33554432000 4194304 4933572 140736911614736 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 3290 580 331 181 0 299 0
[startup+0.0304 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 12627
/proc/meminfo: memFree=24920124/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=15324 CPUtime=0.02 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 1446 0 0 0 2 0 0 0 25 0 1 0 900325686 15691776 1085 33554432000 4194304 4933572 140736911614736 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 3831 1085 331 181 0 840 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15324
[startup+0.100329 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 12627
/proc/meminfo: memFree=24920124/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=17496 CPUtime=0.09 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 2030 0 0 0 9 0 0 0 25 0 1 0 900325686 17915904 1659 33554432000 4194304 4933572 140736911614736 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 4374 1659 348 181 0 1383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17496
[startup+0.300291 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 12627
/proc/meminfo: memFree=24920124/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=18232 CPUtime=0.29 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 2448 0 0 0 29 0 0 0 25 0 1 0 900325686 18669568 1920 33554432000 4194304 4933572 140736911614736 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 4558 1921 384 181 0 1567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18232
[startup+0.70022 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 12627
/proc/meminfo: memFree=24920124/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=30796 CPUtime=0.69 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 5574 0 0 0 69 0 0 0 25 0 1 0 900325686 31535104 5046 33554432000 4194304 4933572 140736911614736 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 7699 5046 384 181 0 4708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30796
[startup+1.50013 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24865824/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=54928 CPUtime=1.49 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 11615 0 0 0 148 1 0 0 25 0 1 0 900325686 56246272 11087 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 13732 11088 384 181 0 10741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54928
[startup+3.10089 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24825772/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=67632 CPUtime=3.09 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 14787 0 0 0 308 1 0 0 25 0 1 0 900325686 69255168 14259 33554432000 4194304 4933572 140736911614736 18446744073709551615 260905090827 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 16908 14259 384 181 0 13917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67632
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24795320/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=75472 CPUtime=6.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 16747 0 0 0 628 2 0 0 25 0 1 0 900325686 77283328 16219 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 18868 16219 384 181 0 15877 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 75472
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12628
/proc/meminfo: memFree=24767484/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=91672 CPUtime=12.69 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 20776 0 0 0 1267 2 0 0 25 0 1 0 900325686 93872128 20248 33554432000 4194304 4933572 140736911614736 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 22918 20248 386 181 0 19927 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91672
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12629
/proc/meminfo: memFree=24728792/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=109236 CPUtime=25.49 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 25155 0 0 0 2546 3 0 0 25 0 1 0 900325686 111857664 24627 33554432000 4194304 4933572 140736911614736 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 27309 24627 386 181 0 24318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109236
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12629
/proc/meminfo: memFree=24698440/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=123580 CPUtime=51.09 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 28755 0 0 0 5105 4 0 0 25 0 1 0 900325686 126545920 28227 33554432000 4194304 4933572 140736911614736 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 30895 28227 386 181 0 27904 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 123580
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12631
/proc/meminfo: memFree=24649552/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=149396 CPUtime=102.31 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 35221 0 0 0 10226 5 0 0 25 0 1 0 900325686 152981504 34693 33554432000 4194304 4933572 140736911614736 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 37349 34693 386 181 0 34358 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 149396
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12632
/proc/meminfo: memFree=24617644/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=160776 CPUtime=162.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 38051 0 0 0 16225 5 0 0 25 0 1 0 900325686 164634624 37523 33554432000 4194304 4933572 140736911614736 18446744073709551615 4622128 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 40194 37523 386 181 0 37203 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 160776
[startup+222.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/484 12637
/proc/meminfo: memFree=24595244/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=172324 CPUtime=222.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 42153 0 0 0 22224 6 0 0 25 0 1 0 900325686 176459776 40429 33554432000 4194304 4933572 140736911614736 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 43081 40429 387 181 0 40090 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 172324
[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/484 12638
/proc/meminfo: memFree=24577688/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=182380 CPUtime=282.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 46575 0 0 0 28223 7 0 0 25 0 1 0 900325686 186757120 42920 33554432000 4194304 4933572 140736911614736 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 45595 42920 387 181 0 42604 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 182380
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 12640
/proc/meminfo: memFree=24544892/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=198432 CPUtime=342.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 52951 0 0 0 34222 8 0 0 25 0 1 0 900325686 203194368 46953 33554432000 4194304 4933572 140736911614736 18446744073709551615 4341592 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 49608 46953 387 181 0 46617 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 198432
[startup+402.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/484 12642
/proc/meminfo: memFree=24542848/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=198696 CPUtime=402.3 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 53016 0 0 0 40222 8 0 0 25 0 1 0 900325686 203464704 47018 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 49674 47018 387 181 0 46683 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 198696
[startup+462.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/484 12643
/proc/meminfo: memFree=24517368/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=210860 CPUtime=462.31 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 56530 0 0 0 46222 9 0 0 25 0 1 0 900325686 215920640 50067 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 52715 50067 387 181 0 49724 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 210860
[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/484 12645
/proc/meminfo: memFree=24504024/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=218292 CPUtime=522.31 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 61148 0 0 0 52221 10 0 0 25 0 1 0 900325686 223531008 51879 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 54573 51879 387 181 0 51582 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 218292
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 12646
/proc/meminfo: memFree=24496048/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=223060 CPUtime=582.31 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 62353 0 0 0 58221 10 0 0 25 0 1 0 900325686 228413440 53084 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 55765 53084 387 181 0 52774 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 223060
[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=12627] ppid=12625 vsize=243744 CPUtime=822.32 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 67478 0 0 0 82221 11 0 0 25 0 1 0 900325686 249593856 58209 33554432000 4194304 4933572 140736911614736 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 60936 58209 387 181 0 57945 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 243744
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 12654
/proc/meminfo: memFree=24451744/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=243744 CPUtime=882.32 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 67478 0 0 0 88221 11 0 0 25 0 1 0 900325686 249593856 58209 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 60936 58209 387 181 0 57945 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 243744
[startup+942.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/484 12656
/proc/meminfo: memFree=24446120/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=248388 CPUtime=942.32 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 68634 0 0 0 94221 11 0 0 25 0 1 0 900325686 254349312 59365 33554432000 4194304 4933572 140736911614736 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 62097 59365 387 181 0 59106 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 248388
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/484 12658
/proc/meminfo: memFree=24442444/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=250100 CPUtime=1002.32 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 69368 0 0 0 100221 11 0 0 25 0 1 0 900325686 256102400 59792 33554432000 4194304 4933572 140736911614736 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 62525 59792 387 181 0 59534 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 250100
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/484 12659
/proc/meminfo: memFree=24416220/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=264908 CPUtime=1062.32 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 73085 0 0 0 106221 11 0 0 25 0 1 0 900325686 271265792 63509 33554432000 4194304 4933572 140736911614736 18446744073709551615 4340176 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 66227 63509 387 181 0 63236 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 264908
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12661
/proc/meminfo: memFree=24400796/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=267044 CPUtime=1122.33 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 77443 0 0 0 112221 12 0 0 25 0 1 0 900325686 273453056 64055 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 66761 64055 387 181 0 63770 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 267044
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12662
/proc/meminfo: memFree=24397892/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=268760 CPUtime=1182.33 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 77872 0 0 0 118221 12 0 0 25 0 1 0 900325686 275210240 64484 33554432000 4194304 4933572 140736911614736 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 67190 64484 387 181 0 64199 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 268760
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12664
/proc/meminfo: memFree=24397208/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=268760 CPUtime=1242.33 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 77872 0 0 0 124221 12 0 0 25 0 1 0 900325686 275210240 64484 33554432000 4194304 4933572 140736911614736 18446744073709551615 260905091690 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 67190 64484 387 181 0 64199 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 268760
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 12666
/proc/meminfo: memFree=24390592/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=274184 CPUtime=1302.34 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79212 0 0 0 130222 12 0 0 25 0 1 0 900325686 280764416 65824 33554432000 4194304 4933572 140736911614736 18446744073709551615 4635384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68546 65824 387 181 0 65555 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 274184
[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/484 12667
/proc/meminfo: memFree=24392264/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=274184 CPUtime=1362.33 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79212 0 0 0 136221 12 0 0 25 0 1 0 900325686 280764416 65824 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68546 65824 387 181 0 65555 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 274184
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/484 12669
/proc/meminfo: memFree=24386372/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=274580 CPUtime=1422.35 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79332 0 0 0 142223 12 0 0 25 0 1 0 900325686 281169920 65944 33554432000 4194304 4933572 140736911614736 18446744073709551615 4636988 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68645 65944 387 181 0 65654 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 274580
[startup+1482.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/484 12670
/proc/meminfo: memFree=24384948/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=275900 CPUtime=1482.33 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79632 0 0 0 148221 12 0 0 25 0 1 0 900325686 282521600 66244 33554432000 4194304 4933572 140736911614736 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68975 66244 387 181 0 65984 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 275900
[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/484 12681
/proc/meminfo: memFree=24382304/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=275900 CPUtime=1542.34 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79636 0 0 0 154222 12 0 0 25 0 1 0 900325686 282521600 66248 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68975 66248 387 181 0 65984 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 275900
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 12683
/proc/meminfo: memFree=24382120/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=275900 CPUtime=1602.34 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 79642 0 0 0 160222 12 0 0 25 0 1 0 900325686 282521600 66254 33554432000 4194304 4933572 140736911614736 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 68975 66254 387 181 0 65984 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 275900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12684
/proc/meminfo: memFree=24366212/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=292244 CPUtime=1662.34 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 83753 0 0 0 166222 12 0 0 25 0 1 0 900325686 299257856 70365 33554432000 4194304 4933572 140736911614736 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 73061 70365 387 181 0 70070 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 292244
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12686
/proc/meminfo: memFree=24334024/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=301248 CPUtime=1722.35 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 85994 0 0 0 172222 13 0 0 25 0 1 0 900325686 308477952 72606 33554432000 4194304 4933572 140736911614736 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 75312 72606 387 181 0 72321 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 301248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12687
/proc/meminfo: memFree=24328500/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=302836 CPUtime=1782.35 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 86406 0 0 0 178222 13 0 0 25 0 1 0 900325686 310104064 73018 33554432000 4194304 4933572 140736911614736 18446744073709551615 4342451 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 75709 73018 387 181 0 72718 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 302836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 12689
/proc/meminfo: memFree=24626584/32950928 swapFree=61542356/67111528
[pid=12627] ppid=12625 vsize=302836 CPUtime=1800.06 cores=0,2,4,6
/proc/12627/stat : 12627 (clasp) R 12625 12627 12040 0 -1 4202496 86406 0 0 0 179993 13 0 0 25 0 1 0 900325686 310104064 73018 33554432000 4194304 4933572 140736911614736 18446744073709551615 4632150 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12627/statm: 75709 73018 387 181 0 72718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 302836
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.94
CPU system time (s): 0.146977
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 302836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86415
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= 6
involuntary context switches= 2606
runsolver used 8.75367 second user time and 19.0931 second system time
The end