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-3468577-1307076246/watcher-3468577-1307076246 -o /tmp/evaluation-result-3468577-1307076246/solver-3468577-1307076246 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468577-1307076246.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/572 19246
/proc/meminfo: memFree=31970876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=13540 CPUtime=0.01 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 817 0 0 0 1 0 0 0 25 0 1 0 819223449 13864960 720 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 3385 720 367 181 0 394 0
[startup+0.108015 s]
/proc/loadavg: 1.92 2.01 1.99 2/572 19246
/proc/meminfo: memFree=31970876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=14600 CPUtime=0.1 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1109 0 0 0 10 0 0 0 25 0 1 0 819223449 14950400 1012 33554432000 4194304 4933572 140735497064880 18446744073709551615 4631934 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 3650 1012 374 181 0 659 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14600
[startup+0.20099 s]
/proc/loadavg: 1.92 2.01 1.99 2/572 19246
/proc/meminfo: memFree=31970876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=14864 CPUtime=0.19 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1174 0 0 0 19 0 0 0 25 0 1 0 819223449 15220736 1077 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 3716 1077 375 181 0 725 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14864
[startup+0.300968 s]
/proc/loadavg: 1.92 2.01 1.99 2/572 19246
/proc/meminfo: memFree=31970876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=15412 CPUtime=0.29 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1282 0 0 0 29 0 0 0 25 0 1 0 819223449 15781888 1185 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 3853 1185 375 181 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15412
[startup+0.700896 s]
/proc/loadavg: 1.92 2.01 1.99 2/572 19246
/proc/meminfo: memFree=31970876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=15940 CPUtime=0.69 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1442 0 0 0 69 0 0 0 25 0 1 0 819223449 16322560 1345 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649598 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 3985 1345 375 181 0 994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15940
[startup+1.50076 s]
/proc/loadavg: 1.92 2.01 1.99 3/573 19247
/proc/meminfo: memFree=31965292/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=17116 CPUtime=1.49 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1722 0 0 0 149 0 0 0 25 0 1 0 819223449 17526784 1625 33554432000 4194304 4933572 140735497064880 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 4279 1625 375 181 0 1288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17116
[startup+3.10047 s]
/proc/loadavg: 1.92 2.01 1.99 3/573 19247
/proc/meminfo: memFree=31963060/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=17644 CPUtime=3.09 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 1856 0 0 0 309 0 0 0 25 0 1 0 819223449 18067456 1759 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 4411 1759 375 181 0 1420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17644
[startup+6.3009 s]
/proc/loadavg: 1.93 2.01 1.99 3/573 19247
/proc/meminfo: memFree=31961784/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=18824 CPUtime=6.29 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 2163 0 0 0 629 0 0 0 25 0 1 0 819223449 19275776 2066 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 4706 2066 375 181 0 1715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18824
[startup+12.7008 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19247
/proc/meminfo: memFree=31960088/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=20140 CPUtime=12.69 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 2468 0 0 0 1269 0 0 0 25 0 1 0 819223449 20623360 2371 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 5035 2371 375 181 0 2044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20140
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19248
/proc/meminfo: memFree=31959332/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=20824 CPUtime=25.49 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 2653 0 0 0 2549 0 0 0 25 0 1 0 819223449 21323776 2556 33554432000 4194304 4933572 140735497064880 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 5206 2556 375 181 0 2215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20824
[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19248
/proc/meminfo: memFree=31958668/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=21696 CPUtime=51.09 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 2871 0 0 0 5109 0 0 0 25 0 1 0 819223449 22216704 2764 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319337 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 5424 2764 375 181 0 2433 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21696
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19250
/proc/meminfo: memFree=31957392/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=22864 CPUtime=102.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 3258 0 0 0 10231 0 0 0 25 0 1 0 819223449 23412736 3055 33554432000 4194304 4933572 140735497064880 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 5716 3055 375 181 0 2725 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22864
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19251
/proc/meminfo: memFree=31954484/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=23432 CPUtime=162.29 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 3420 0 0 0 16229 0 0 0 25 0 1 0 819223449 23994368 3217 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 5858 3217 375 181 0 2867 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23432
[startup+222.321 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 19253
/proc/meminfo: memFree=31954928/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=24368 CPUtime=222.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 3654 0 0 0 22231 0 0 0 25 0 1 0 819223449 24952832 3442 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6092 3442 375 181 0 3101 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 24368
[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/573 19254
/proc/meminfo: memFree=31954372/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=24696 CPUtime=282.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 3831 0 0 0 28230 0 0 0 25 0 1 0 819223449 25288704 3535 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6174 3535 375 181 0 3183 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24696
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/573 19256
/proc/meminfo: memFree=31952956/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=24956 CPUtime=342.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 3889 0 0 0 34230 0 0 0 25 0 1 0 819223449 25554944 3593 33554432000 4194304 4933572 140735497064880 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6239 3593 375 181 0 3248 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24956
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/573 19258
/proc/meminfo: memFree=31952768/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=24976 CPUtime=402.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 4121 0 0 0 40230 0 0 0 25 0 1 0 819223449 25575424 3605 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6244 3605 375 181 0 3253 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24976
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 19259
/proc/meminfo: memFree=31953456/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=25220 CPUtime=462.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 4214 0 0 0 46230 0 0 0 25 0 1 0 819223449 25825280 3638 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6305 3638 375 181 0 3314 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25220
[startup+522.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/573 19261
/proc/meminfo: memFree=31954020/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=25276 CPUtime=522.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 4585 0 0 0 52230 0 0 0 25 0 1 0 819223449 25882624 3672 33554432000 4194304 4933572 140735497064880 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6319 3672 375 181 0 3328 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25276
[startup+582.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/573 19262
/proc/meminfo: memFree=31953088/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=26312 CPUtime=582.3 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 4999 0 0 0 58230 0 0 0 25 0 1 0 819223449 26943488 3928 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6578 3928 375 181 0 3587 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26312
[startup+642.3 s]
################
# More data... #
################
[startup+882.322 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 19298
/proc/meminfo: memFree=31960336/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=26572 CPUtime=882.33 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5285 0 0 0 88233 0 0 0 25 0 1 0 819223449 27209728 4005 33554432000 4194304 4933572 140735497064880 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6643 4005 375 181 0 3652 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 26572
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19300
/proc/meminfo: memFree=31959548/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=26572 CPUtime=942.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5285 0 0 0 94231 0 0 0 25 0 1 0 819223449 27209728 4005 33554432000 4194304 4933572 140735497064880 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6643 4005 375 181 0 3652 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26572
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19302
/proc/meminfo: memFree=31958252/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=26572 CPUtime=1002.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5340 0 0 0 100231 0 0 0 25 0 1 0 819223449 27209728 4005 33554432000 4194304 4933572 140735497064880 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6643 4005 375 181 0 3652 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 26572
[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 19312
/proc/meminfo: memFree=31959104/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27340 CPUtime=1062.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5574 0 0 0 106231 0 0 0 25 0 1 0 819223449 27996160 4195 33554432000 4194304 4933572 140735497064880 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6835 4195 375 181 0 3844 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 27340
[startup+1122.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/573 19314
/proc/meminfo: memFree=31959056/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27340 CPUtime=1122.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5574 0 0 0 112231 0 0 0 25 0 1 0 819223449 27996160 4195 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6835 4195 375 181 0 3844 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 27340
[startup+1182.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/573 19315
/proc/meminfo: memFree=31957880/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27340 CPUtime=1182.31 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5574 0 0 0 118231 0 0 0 25 0 1 0 819223449 27996160 4195 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6835 4195 375 181 0 3844 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 27340
[startup+1242.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/573 19320
/proc/meminfo: memFree=31957116/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27340 CPUtime=1242.32 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5574 0 0 0 124232 0 0 0 25 0 1 0 819223449 27996160 4195 33554432000 4194304 4933572 140735497064880 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6835 4195 375 181 0 3844 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 27340
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 19322
/proc/meminfo: memFree=31956556/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27412 CPUtime=1302.32 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5666 0 0 0 130232 0 0 0 25 0 1 0 819223449 28069888 4215 33554432000 4194304 4933572 140735497064880 18446744073709551615 4329974 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6853 4215 375 181 0 3862 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 27412
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 19323
/proc/meminfo: memFree=31956876/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27412 CPUtime=1362.32 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5666 0 0 0 136232 0 0 0 25 0 1 0 819223449 28069888 4215 33554432000 4194304 4933572 140735497064880 18446744073709551615 4632166 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6853 4215 375 181 0 3862 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 27412
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19325
/proc/meminfo: memFree=31956848/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27412 CPUtime=1422.33 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5798 0 0 0 142233 0 0 0 25 0 1 0 819223449 28069888 4215 33554432000 4194304 4933572 140735497064880 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6853 4215 375 181 0 3862 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 27412
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19326
/proc/meminfo: memFree=31955692/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27584 CPUtime=1482.33 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5879 0 0 0 148232 1 0 0 25 0 1 0 819223449 28246016 4258 33554432000 4194304 4933572 140735497064880 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6896 4258 375 181 0 3905 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 27584
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19328
/proc/meminfo: memFree=31955256/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27584 CPUtime=1542.35 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 5881 0 0 0 154234 1 0 0 25 0 1 0 819223449 28246016 4258 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6896 4258 375 181 0 3905 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 27584
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 19330
/proc/meminfo: memFree=31955196/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1602.33 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6066 0 0 0 160232 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 27660
[startup+1662.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/573 19331
/proc/meminfo: memFree=31956508/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1662.33 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6294 0 0 0 166232 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4330238 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27660
[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/573 19333
/proc/meminfo: memFree=31955696/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1722.34 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6447 0 0 0 172233 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 27660
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/573 19334
/proc/meminfo: memFree=31954024/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1782.34 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6585 0 0 0 178233 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4717468 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 27660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.07 2.01 3/573 19335
/proc/meminfo: memFree=31954136/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1800.05 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6585 0 0 0 180004 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 27660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.04 2.07 2.01 3/573 19335
/proc/meminfo: memFree=31954136/32950928 swapFree=43925852/67111528
[pid=19246] ppid=19244 vsize=27660 CPUtime=1800.05 cores=1,3,5,7
/proc/19246/stat : 19246 (clasp) R 19244 19246 17441 0 -1 4202496 6585 0 0 0 180004 1 0 0 25 0 1 0 819223449 28323840 4277 33554432000 4194304 4933572 140735497064880 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19246/statm: 6915 4277 375 181 0 3924 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 27660
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.012998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6598
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= 2670
runsolver used 9.96248 second user time and 24.1693 second system time
The end