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-3468563-1307073483/watcher-3468563-1307073483 -o /tmp/evaluation-result-3468563-1307073483/solver-3468563-1307073483 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468563-1307073483.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.14 2.05 2.01 2/572 19076
/proc/meminfo: memFree=31947696/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=12848 CPUtime=0.01 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 648 0 0 0 1 0 0 0 25 0 1 0 818947112 13156352 573 33554432000 4194304 4933572 140735129455280 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3212 574 373 181 0 221 0
[startup+0.0313361 s]
/proc/loadavg: 2.14 2.05 2.01 2/572 19076
/proc/meminfo: memFree=31947696/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=13244 CPUtime=0.03 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 741 0 0 0 3 0 0 0 25 0 1 0 818947112 13561856 666 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3311 666 374 181 0 320 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13244
[startup+0.100325 s]
/proc/loadavg: 2.14 2.05 2.01 2/572 19076
/proc/meminfo: memFree=31947696/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=13640 CPUtime=0.09 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 831 0 0 0 9 0 0 0 25 0 1 0 818947112 13967360 756 33554432000 4194304 4933572 140735129455280 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3410 756 374 181 0 419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13640
[startup+0.300331 s]
/proc/loadavg: 2.14 2.05 2.01 2/572 19076
/proc/meminfo: memFree=31947696/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=14168 CPUtime=0.29 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 970 0 0 0 29 0 0 0 25 0 1 0 818947112 14508032 895 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3542 895 374 181 0 551 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14168
[startup+0.700218 s]
/proc/loadavg: 2.14 2.05 2.01 2/572 19076
/proc/meminfo: memFree=31947696/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=14828 CPUtime=0.69 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 1143 0 0 0 69 0 0 0 25 0 1 0 818947112 15183872 1068 33554432000 4194304 4933572 140735129455280 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3707 1068 374 181 0 716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14828
[startup+1.50019 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19077
/proc/meminfo: memFree=31943480/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=15356 CPUtime=1.49 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 1266 0 0 0 149 0 0 0 25 0 1 0 818947112 15724544 1191 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 3839 1191 374 181 0 848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15356
[startup+3.10086 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19077
/proc/meminfo: memFree=31941496/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=16164 CPUtime=3.09 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 1479 0 0 0 309 0 0 0 25 0 1 0 818947112 16551936 1404 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 4041 1404 374 181 0 1050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16164
[startup+6.30022 s]
/proc/loadavg: 2.13 2.04 2.01 3/573 19078
/proc/meminfo: memFree=31939628/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=17096 CPUtime=6.29 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 1712 0 0 0 629 0 0 0 25 0 1 0 818947112 17506304 1637 33554432000 4194304 4933572 140735129455280 18446744073709551615 4637201 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 4274 1637 374 181 0 1283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17096
[startup+12.7001 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 19078
/proc/meminfo: memFree=31937740/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=17888 CPUtime=12.69 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 1911 0 0 0 1269 0 0 0 25 0 1 0 818947112 18317312 1836 33554432000 4194304 4933572 140735129455280 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 4472 1836 374 181 0 1481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17888
[startup+25.5009 s]
/proc/loadavg: 2.16 2.06 2.02 3/573 19078
/proc/meminfo: memFree=31936360/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=18656 CPUtime=25.5 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 2083 0 0 0 2550 0 0 0 25 0 1 0 818947112 19103744 2008 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 4664 2008 375 181 0 1673 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18656
[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 19079
/proc/meminfo: memFree=31935948/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=19520 CPUtime=51.1 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 2315 0 0 0 5110 0 0 0 25 0 1 0 818947112 19988480 2231 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 4880 2231 375 181 0 1889 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19520
[startup+102.321 s]
/proc/loadavg: 2.04 2.04 2.01 3/573 19080
/proc/meminfo: memFree=31935288/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=20152 CPUtime=102.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 2482 0 0 0 10232 0 0 0 25 0 1 0 818947112 20635648 2395 33554432000 4194304 4933572 140735129455280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5038 2395 375 181 0 2047 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20152
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19082
/proc/meminfo: memFree=31930132/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=20988 CPUtime=162.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 2691 0 0 0 16230 0 0 0 25 0 1 0 818947112 21491712 2604 33554432000 4194304 4933572 140735129455280 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5247 2604 375 181 0 2256 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20988
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19092
/proc/meminfo: memFree=31929124/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=21392 CPUtime=222.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 2883 0 0 0 22230 0 0 0 25 0 1 0 818947112 21905408 2713 33554432000 4194304 4933572 140735129455280 18446744073709551615 4330153 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5348 2713 375 181 0 2357 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21392
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19094
/proc/meminfo: memFree=31928704/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=21796 CPUtime=282.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3070 0 0 0 28230 0 0 0 25 0 1 0 818947112 22319104 2813 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5449 2813 375 181 0 2458 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21796
[startup+342.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/573 19095
/proc/meminfo: memFree=31927788/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=22128 CPUtime=342.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3230 0 0 0 34230 0 0 0 25 0 1 0 818947112 22659072 2896 33554432000 4194304 4933572 140735129455280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5532 2896 375 181 0 2541 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22128
[startup+402.301 s]
/proc/loadavg: 2.20 2.07 2.02 3/573 19100
/proc/meminfo: memFree=31927760/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=22760 CPUtime=402.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3385 0 0 0 40230 0 0 0 25 0 1 0 818947112 23306240 3041 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5690 3041 375 181 0 2699 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22760
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19102
/proc/meminfo: memFree=31926448/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=22816 CPUtime=462.3 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3451 0 0 0 46230 0 0 0 25 0 1 0 818947112 23363584 3068 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5704 3068 375 181 0 2713 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22816
[startup+522.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/573 19103
/proc/meminfo: memFree=31925772/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=22800 CPUtime=522.31 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3526 0 0 0 52231 0 0 0 25 0 1 0 818947112 23347200 3064 33554432000 4194304 4933572 140735129455280 18446744073709551615 4328672 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5700 3064 375 181 0 2709 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22800
[startup+582.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/573 19105
/proc/meminfo: memFree=31926716/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=23132 CPUtime=582.31 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3650 0 0 0 58231 0 0 0 25 0 1 0 818947112 23687168 3146 33554432000 4194304 4933572 140735129455280 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5783 3146 375 181 0 2792 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23132
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19111
/proc/meminfo: memFree=31923304/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=23680 CPUtime=822.31 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 3927 0 0 0 82231 0 0 0 25 0 1 0 818947112 24248320 3283 33554432000 4194304 4933572 140735129455280 18446744073709551615 4649315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5920 3283 375 181 0 2929 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 23680
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19113
/proc/meminfo: memFree=31919040/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=23804 CPUtime=882.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4011 0 0 0 88232 0 0 0 25 0 1 0 818947112 24375296 3300 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5951 3300 375 181 0 2960 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23804
[startup+942.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/573 19114
/proc/meminfo: memFree=31919740/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=23936 CPUtime=942.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4142 0 0 0 94232 0 0 0 25 0 1 0 818947112 24510464 3347 33554432000 4194304 4933572 140735129455280 18446744073709551615 4717622 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 5984 3347 375 181 0 2993 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23936
[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19144
/proc/meminfo: memFree=31962456/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24028 CPUtime=1002.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4244 0 0 0 100232 0 0 0 25 0 1 0 818947112 24604672 3370 33554432000 4194304 4933572 140735129455280 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6007 3370 375 181 0 3016 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 24028
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19146
/proc/meminfo: memFree=31958948/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24180 CPUtime=1062.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4315 0 0 0 106232 0 0 0 25 0 1 0 818947112 24760320 3409 33554432000 4194304 4933572 140735129455280 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6045 3409 375 181 0 3054 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 24180
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19147
/proc/meminfo: memFree=31955900/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24180 CPUtime=1122.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4343 0 0 0 112232 0 0 0 25 0 1 0 818947112 24760320 3409 33554432000 4194304 4933572 140735129455280 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6045 3409 375 181 0 3054 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 24180
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19149
/proc/meminfo: memFree=31954112/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24452 CPUtime=1182.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4430 0 0 0 118232 0 0 0 25 0 1 0 818947112 25038848 3458 33554432000 4194304 4933572 140735129455280 18446744073709551615 4719056 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6113 3458 375 181 0 3122 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 24452
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 19150
/proc/meminfo: memFree=31952828/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24672 CPUtime=1242.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4491 0 0 0 124232 0 0 0 25 0 1 0 818947112 25264128 3519 33554432000 4194304 4933572 140735129455280 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6168 3519 375 181 0 3177 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 24672
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19152
/proc/meminfo: memFree=31951784/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24724 CPUtime=1302.34 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4572 0 0 0 130234 0 0 0 25 0 1 0 818947112 25317376 3545 33554432000 4194304 4933572 140735129455280 18446744073709551615 268272386686 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6181 3545 375 181 0 3190 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 24724
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/573 19154
/proc/meminfo: memFree=31950984/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24724 CPUtime=1362.32 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4572 0 0 0 136232 0 0 0 25 0 1 0 818947112 25317376 3545 33554432000 4194304 4933572 140735129455280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6181 3545 375 181 0 3190 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 24724
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19155
/proc/meminfo: memFree=31950808/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24724 CPUtime=1422.35 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4572 0 0 0 142235 0 0 0 25 0 1 0 818947112 25317376 3545 33554432000 4194304 4933572 140735129455280 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6181 3545 375 181 0 3190 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 24724
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/573 19157
/proc/meminfo: memFree=31949268/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24724 CPUtime=1482.33 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4580 0 0 0 148233 0 0 0 25 0 1 0 818947112 25317376 3545 33554432000 4194304 4933572 140735129455280 18446744073709551615 4330408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6181 3545 375 181 0 3190 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 24724
[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/573 19158
/proc/meminfo: memFree=31947976/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24724 CPUtime=1542.33 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4580 0 0 0 154233 0 0 0 25 0 1 0 818947112 25317376 3545 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6181 3545 375 181 0 3190 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 24724
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/573 19160
/proc/meminfo: memFree=31946560/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24932 CPUtime=1602.33 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4644 0 0 0 160233 0 0 0 25 0 1 0 818947112 25530368 3597 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6233 3597 375 181 0 3242 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 24932
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19162
/proc/meminfo: memFree=31946388/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24932 CPUtime=1662.33 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4708 0 0 0 166233 0 0 0 25 0 1 0 818947112 25530368 3597 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6233 3597 375 181 0 3242 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 24932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19163
/proc/meminfo: memFree=31945964/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=24956 CPUtime=1722.33 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4813 0 0 0 172233 0 0 0 25 0 1 0 818947112 25554944 3603 33554432000 4194304 4933572 140735129455280 18446744073709551615 4330374 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6239 3603 375 181 0 3248 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 24956
[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/573 19165
/proc/meminfo: memFree=31944060/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=25016 CPUtime=1782.34 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4954 0 0 0 178234 0 0 0 25 0 1 0 818947112 25616384 3618 33554432000 4194304 4933572 140735129455280 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6254 3618 375 181 0 3263 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 25016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 19165
/proc/meminfo: memFree=31944904/32950928 swapFree=43925852/67111528
[pid=19076] ppid=19074 vsize=25016 CPUtime=1800.05 cores=0,2,4,6
/proc/19076/stat : 19076 (clasp) R 19074 19076 17441 0 -1 4202496 4954 0 0 0 180005 0 0 0 25 0 1 0 818947112 25616384 3618 33554432000 4194304 4933572 140735129455280 18446744073709551615 4330108 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19076/statm: 6254 3618 375 181 0 3263 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 25016
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.02
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.007998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4966
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= 4397
runsolver used 10.3664 second user time and 22.3976 second system time
The end