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-3468571-1307075285/watcher-3468571-1307075285 -o /tmp/evaluation-result-3468571-1307075285/solver-3468571-1307075285 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468571-1307075285.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.10 2.05 2.01 2/572 19192
/proc/meminfo: memFree=31961056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=13148 CPUtime=0.01 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 738 0 0 0 1 0 0 0 25 0 1 0 819127325 13463552 643 33554432000 4194304 4933572 140735308129728 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3287 643 373 181 0 296 0
[startup+0.061941 s]
/proc/loadavg: 2.10 2.05 2.01 2/572 19192
/proc/meminfo: memFree=31961056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=13808 CPUtime=0.05 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 886 0 0 0 5 0 0 0 25 0 1 0 819127325 14139392 791 33554432000 4194304 4933572 140735308129728 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3452 791 374 181 0 461 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13808
[startup+0.10092 s]
/proc/loadavg: 2.10 2.05 2.01 2/572 19192
/proc/meminfo: memFree=31961056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=14072 CPUtime=0.09 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 977 0 0 0 9 0 0 0 25 0 1 0 819127325 14409728 882 33554432000 4194304 4933572 140735308129728 18446744073709551615 4718572 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3518 882 374 181 0 527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14072
[startup+0.300876 s]
/proc/loadavg: 2.10 2.05 2.01 2/572 19192
/proc/meminfo: memFree=31961056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=14740 CPUtime=0.29 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 1113 0 0 0 29 0 0 0 25 0 1 0 819127325 15093760 1018 33554432000 4194304 4933572 140735308129728 18446744073709551615 4717498 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3685 1018 374 181 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14740
[startup+0.700805 s]
/proc/loadavg: 2.10 2.05 2.01 2/572 19192
/proc/meminfo: memFree=31961056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=15400 CPUtime=0.69 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 1290 0 0 0 69 0 0 0 25 0 1 0 819127325 15769600 1195 33554432000 4194304 4933572 140735308129728 18446744073709551615 4719488 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3850 1195 374 181 0 859 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15400
[startup+1.50067 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 19193
/proc/meminfo: memFree=31956344/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=15928 CPUtime=1.49 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 1412 0 0 0 149 0 0 0 25 0 1 0 819127325 16310272 1317 33554432000 4194304 4933572 140735308129728 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 3982 1317 374 181 0 991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15928
[startup+3.10031 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 19193
/proc/meminfo: memFree=31954360/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=16724 CPUtime=3.09 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 1614 0 0 0 309 0 0 0 25 0 1 0 819127325 17125376 1519 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319305 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 4181 1519 374 181 0 1190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16724
[startup+6.3008 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19194
/proc/meminfo: memFree=31953100/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=17916 CPUtime=6.29 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 1915 0 0 0 629 0 0 0 25 0 1 0 819127325 18345984 1820 33554432000 4194304 4933572 140735308129728 18446744073709551615 4717579 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 4479 1820 374 181 0 1488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17916
[startup+12.7007 s]
/proc/loadavg: 2.07 2.04 2.01 3/573 19194
/proc/meminfo: memFree=31951376/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=18708 CPUtime=12.69 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 2115 0 0 0 1269 0 0 0 25 0 1 0 819127325 19156992 2020 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 4677 2020 374 181 0 1686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18708
[startup+25.5004 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 19194
/proc/meminfo: memFree=31949596/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=20696 CPUtime=25.49 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 2621 0 0 0 2549 0 0 0 25 0 1 0 819127325 21192704 2526 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330374 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 5174 2526 374 181 0 2183 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20696
[startup+51.1008 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19195
/proc/meminfo: memFree=31947820/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=22340 CPUtime=51.09 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 3037 0 0 0 5109 0 0 0 25 0 1 0 819127325 22876160 2937 33554432000 4194304 4933572 140735308129728 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 5585 2937 375 181 0 2594 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22340
[startup+102.322 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 19196
/proc/meminfo: memFree=31946300/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=23456 CPUtime=102.31 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 3353 0 0 0 10231 0 0 0 25 0 1 0 819127325 24018944 3217 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 5864 3217 375 181 0 2873 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23456
[startup+162.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/573 19198
/proc/meminfo: memFree=31943400/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=24368 CPUtime=162.29 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 3781 0 0 0 16229 0 0 0 25 0 1 0 819127325 24952832 3451 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6092 3451 375 181 0 3101 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24368
[startup+222.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 19199
/proc/meminfo: memFree=31943972/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=24836 CPUtime=222.29 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 4122 0 0 0 22229 0 0 0 25 0 1 0 819127325 25432064 3564 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6209 3564 375 181 0 3218 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24836
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 19201
/proc/meminfo: memFree=31943056/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=25448 CPUtime=282.29 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 4527 0 0 0 28229 0 0 0 25 0 1 0 819127325 26058752 3719 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6362 3719 375 181 0 3371 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25448
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19202
/proc/meminfo: memFree=31943256/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=26032 CPUtime=342.3 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 4691 0 0 0 34230 0 0 0 25 0 1 0 819127325 26656768 3867 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330153 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6508 3867 375 181 0 3517 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26032
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19204
/proc/meminfo: memFree=31941228/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=26584 CPUtime=402.3 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 4931 0 0 0 40230 0 0 0 25 0 1 0 819127325 27222016 3981 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330166 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6646 3981 375 181 0 3655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 26584
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19206
/proc/meminfo: memFree=31939196/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=27392 CPUtime=462.3 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 5156 0 0 0 46230 0 0 0 25 0 1 0 819127325 28049408 4186 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319281 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6848 4186 375 181 0 3857 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 27392
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19207
/proc/meminfo: memFree=31940016/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=27392 CPUtime=522.3 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 5190 0 0 0 52230 0 0 0 25 0 1 0 819127325 28049408 4207 33554432000 4194304 4933572 140735308129728 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6848 4207 375 181 0 3857 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27392
[startup+582.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/573 19209
/proc/meminfo: memFree=31940096/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=27392 CPUtime=582.3 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 5202 0 0 0 58230 0 0 0 25 0 1 0 819127325 28049408 4207 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649594 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 6848 4207 375 181 0 3857 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19215
/proc/meminfo: memFree=31937296/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=28588 CPUtime=822.31 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 5904 0 0 0 82230 1 0 0 25 0 1 0 819127325 29274112 4506 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7147 4506 375 181 0 4156 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 28588
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19217
/proc/meminfo: memFree=31935020/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=28956 CPUtime=882.31 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6012 0 0 0 88230 1 0 0 25 0 1 0 819127325 29650944 4597 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7239 4597 375 181 0 4248 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 28956
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19218
/proc/meminfo: memFree=31934220/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29032 CPUtime=942.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6074 0 0 0 94231 1 0 0 25 0 1 0 819127325 29728768 4590 33554432000 4194304 4933572 140735308129728 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7258 4590 375 181 0 4267 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 29032
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19248
/proc/meminfo: memFree=31958060/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29408 CPUtime=1002.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6425 0 0 0 100231 1 0 0 25 0 1 0 819127325 30113792 4710 33554432000 4194304 4933572 140735308129728 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7352 4710 375 181 0 4361 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 29408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19250
/proc/meminfo: memFree=31956276/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29788 CPUtime=1062.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6492 0 0 0 106231 1 0 0 25 0 1 0 819127325 30502912 4777 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7447 4777 375 181 0 4456 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 29788
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19251
/proc/meminfo: memFree=31954484/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29788 CPUtime=1122.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6583 0 0 0 112231 1 0 0 25 0 1 0 819127325 30502912 4805 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330092 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7447 4805 375 181 0 4456 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 29788
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 19253
/proc/meminfo: memFree=31955052/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29788 CPUtime=1182.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6624 0 0 0 118231 1 0 0 25 0 1 0 819127325 30502912 4805 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7447 4805 375 181 0 4456 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 29788
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/573 19254
/proc/meminfo: memFree=31954372/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29788 CPUtime=1242.32 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6686 0 0 0 124231 1 0 0 25 0 1 0 819127325 30502912 4805 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7447 4805 375 181 0 4456 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 29788
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/573 19256
/proc/meminfo: memFree=31952956/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=29788 CPUtime=1302.34 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 6877 0 0 0 130233 1 0 0 25 0 1 0 819127325 30502912 4805 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7447 4805 375 181 0 4456 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 29788
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/573 19258
/proc/meminfo: memFree=31952768/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30508 CPUtime=1362.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7038 0 0 0 136232 1 0 0 25 0 1 0 819127325 31240192 4958 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7627 4958 375 181 0 4636 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 30508
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19259
/proc/meminfo: memFree=31953456/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30524 CPUtime=1422.35 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7115 0 0 0 142234 1 0 0 25 0 1 0 819127325 31256576 4989 33554432000 4194304 4933572 140735308129728 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7631 4989 375 181 0 4640 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 30524
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/573 19261
/proc/meminfo: memFree=31954020/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30524 CPUtime=1482.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7157 0 0 0 148232 1 0 0 25 0 1 0 819127325 31256576 4990 33554432000 4194304 4933572 140735308129728 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7631 4990 375 181 0 4640 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 30524
[startup+1542.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/573 19262
/proc/meminfo: memFree=31953088/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30524 CPUtime=1542.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7234 0 0 0 154232 1 0 0 25 0 1 0 819127325 31256576 4990 33554432000 4194304 4933572 140735308129728 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7631 4990 375 181 0 4640 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 30524
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19264
/proc/meminfo: memFree=31951912/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30712 CPUtime=1602.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7308 0 0 0 160232 1 0 0 25 0 1 0 819127325 31449088 5037 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7678 5037 375 181 0 4687 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 30712
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19266
/proc/meminfo: memFree=31952844/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30712 CPUtime=1662.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7308 0 0 0 166232 1 0 0 25 0 1 0 819127325 31449088 5037 33554432000 4194304 4933572 140735308129728 18446744073709551615 4625212 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7678 5037 375 181 0 4687 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 30712
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19267
/proc/meminfo: memFree=31951788/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30720 CPUtime=1722.33 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7407 0 0 0 172232 1 0 0 25 0 1 0 819127325 31457280 5039 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7680 5039 375 181 0 4689 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 30720
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/573 19269
/proc/meminfo: memFree=31950608/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30720 CPUtime=1782.34 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7407 0 0 0 178233 1 0 0 25 0 1 0 819127325 31457280 5039 33554432000 4194304 4933572 140735308129728 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7680 5039 375 181 0 4689 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 30720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19269
/proc/meminfo: memFree=31950964/32950928 swapFree=43925852/67111528
[pid=19192] ppid=19190 vsize=30720 CPUtime=1800.05 cores=0,2,4,6
/proc/19192/stat : 19192 (clasp) R 19190 19192 17441 0 -1 4202496 7407 0 0 0 180004 1 0 0 25 0 1 0 819127325 31457280 5039 33554432000 4194304 4933572 140735308129728 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19192/statm: 7680 5039 375 181 0 4689 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 30720
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.05
CPU system time (s): 0.018997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 31108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7420
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= 4382
runsolver used 10.4664 second user time and 22.3206 second system time
The end