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-3468313-1307100112/watcher-3468313-1307100112 -o /tmp/evaluation-result-3468313-1307100112/solver-3468313-1307100112 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468313-1307100112.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: 2.18 2.06 2.02 2/517 5322
/proc/meminfo: memFree=21356560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=13148 CPUtime=0 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 660 0 0 0 0 0 0 0 25 0 1 0 821607860 13463552 591 33554432000 4194304 4933572 140735712998400 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 3287 592 331 181 0 296 0
[startup+0.0893739 s]
/proc/loadavg: 2.18 2.06 2.02 2/517 5322
/proc/meminfo: memFree=21356560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=19136 CPUtime=0.08 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 2515 0 0 0 8 0 0 0 25 0 1 0 821607860 19595264 1962 33554432000 4194304 4933572 140735712998400 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 4784 1962 348 181 0 1793 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19136
[startup+0.100364 s]
/proc/loadavg: 2.18 2.06 2.02 2/517 5322
/proc/meminfo: memFree=21356560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=19136 CPUtime=0.09 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 2515 0 0 0 9 0 0 0 25 0 1 0 821607860 19595264 1962 33554432000 4194304 4933572 140735712998400 18446744073709551615 4587753 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 4784 1962 348 181 0 1793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19136
[startup+0.300322 s]
/proc/loadavg: 2.18 2.06 2.02 2/517 5322
/proc/meminfo: memFree=21356560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=18052 CPUtime=0.29 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 2550 0 0 0 29 0 0 0 25 0 1 0 821607860 18485248 1813 33554432000 4194304 4933572 140735712998400 18446744073709551615 4360934 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 4513 1813 383 181 0 1522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18052
[startup+0.700253 s]
/proc/loadavg: 2.18 2.06 2.02 2/517 5322
/proc/meminfo: memFree=21356560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=30004 CPUtime=0.69 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 5596 0 0 0 69 0 0 0 25 0 1 0 821607860 30724096 4859 33554432000 4194304 4933572 140735712998400 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 7501 4859 384 181 0 4510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30004
[startup+1.50108 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21309316/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=53252 CPUtime=1.49 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 11413 0 0 0 148 1 0 0 25 0 1 0 821607860 54530048 10676 33554432000 4194304 4933572 140735712998400 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 13313 10676 384 181 0 10322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53252
[startup+3.10076 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21272988/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=68480 CPUtime=3.09 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 15214 0 0 0 307 2 0 0 25 0 1 0 821607860 70123520 14477 33554432000 4194304 4933572 140735712998400 18446744073709551615 4337664 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 17120 14477 384 181 0 14129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68480
[startup+6.30113 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5323
/proc/meminfo: memFree=21252448/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=86928 CPUtime=6.29 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 19812 0 0 0 626 3 0 0 25 0 1 0 821607860 89014272 19075 33554432000 4194304 4933572 140735712998400 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 21732 19075 384 181 0 18741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86928
[startup+12.7009 s]
/proc/loadavg: 2.14 2.06 2.01 3/518 5323
/proc/meminfo: memFree=21220752/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=105684 CPUtime=12.69 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 24508 0 0 0 1266 3 0 0 25 0 1 0 821607860 108220416 23771 33554432000 4194304 4933572 140735712998400 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 26421 23771 386 181 0 23430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105684
[startup+25.5003 s]
/proc/loadavg: 2.12 2.06 2.01 3/518 5323
/proc/meminfo: memFree=21192340/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=119288 CPUtime=25.49 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 27887 0 0 0 2545 4 0 0 25 0 1 0 821607860 122150912 27150 33554432000 4194304 4933572 140735712998400 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 29822 27150 386 181 0 26831 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119288
[startup+51.1012 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 5324
/proc/meminfo: memFree=21144968/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=143376 CPUtime=51.09 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 33887 0 0 0 5104 5 0 0 25 0 1 0 821607860 146817024 33150 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 35844 33150 386 181 0 32853 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 143376
[startup+102.32 s]
/proc/loadavg: 2.03 2.04 2.01 3/518 5325
/proc/meminfo: memFree=21104632/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=166668 CPUtime=102.31 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 41014 0 0 0 10225 6 0 0 25 0 1 0 821607860 170668032 38980 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 41667 38980 387 181 0 38676 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 166668
[startup+162.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/518 5327
/proc/meminfo: memFree=21070516/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=186004 CPUtime=162.3 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 45836 0 0 0 16223 7 0 0 25 0 1 0 821607860 190468096 43802 33554432000 4194304 4933572 140735712998400 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 46501 43802 387 181 0 43510 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 186004
[startup+222.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/518 5328
/proc/meminfo: memFree=21035772/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=206128 CPUtime=222.3 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 50868 0 0 0 22223 7 0 0 25 0 1 0 821607860 211075072 48834 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 51532 48834 387 181 0 48541 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 206128
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5330
/proc/meminfo: memFree=21021108/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=212496 CPUtime=282.3 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 52473 0 0 0 28223 7 0 0 25 0 1 0 821607860 217595904 50439 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 53124 50439 387 181 0 50133 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 212496
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5332
/proc/meminfo: memFree=20998508/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=227480 CPUtime=342.3 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 55993 0 0 0 34222 8 0 0 25 0 1 0 821607860 232939520 53959 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5322/statm: 56870 53959 387 181 0 53879 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 227480
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5333
/proc/meminfo: memFree=20979516/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=238428 CPUtime=402.3 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 59702 0 0 0 40222 8 0 0 25 0 1 0 821607860 244150272 56686 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 59607 56686 387 181 0 56616 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 238428
[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 5335
/proc/meminfo: memFree=20963980/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=243464 CPUtime=462.31 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 60956 0 0 0 46222 9 0 0 25 0 1 0 821607860 249307136 57940 33554432000 4194304 4933572 140735712998400 18446744073709551615 4358545 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 60866 57940 387 181 0 57875 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 243464
[startup+522.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/518 5336
/proc/meminfo: memFree=20964560/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=242408 CPUtime=522.31 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 64407 0 0 0 52222 9 0 0 25 0 1 0 821607860 248225792 57702 33554432000 4194304 4933572 140735712998400 18446744073709551615 4631934 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 60602 57702 387 181 0 57611 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 242408
[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/518 5338
/proc/meminfo: memFree=20936508/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=267424 CPUtime=582.31 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 70592 0 0 0 58221 10 0 0 25 0 1 0 821607860 273842176 63887 33554432000 4194304 4933572 140735712998400 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 66856 63887 387 181 0 63865 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 267424
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5344
/proc/meminfo: memFree=20896568/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=285348 CPUtime=822.33 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 79540 0 0 0 82221 12 0 0 25 0 1 0 821607860 292196352 68410 33554432000 4194304 4933572 140735712998400 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 71337 68410 387 181 0 68346 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 285348
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5346
/proc/meminfo: memFree=20887100/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=292244 CPUtime=882.33 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 81261 0 0 0 88221 12 0 0 25 0 1 0 821607860 299257856 70131 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 73061 70131 387 181 0 70070 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 292244
[startup+942.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 5348
/proc/meminfo: memFree=20871192/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=296288 CPUtime=942.33 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 82242 0 0 0 94221 12 0 0 25 0 1 0 821607860 303398912 71112 33554432000 4194304 4933572 140735712998400 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 74072 71112 387 181 0 71081 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 296288
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/518 5349
/proc/meminfo: memFree=20865588/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=296288 CPUtime=1002.33 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 82271 0 0 0 100221 12 0 0 25 0 1 0 821607860 303398912 71141 33554432000 4194304 4933572 140735712998400 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 74072 71141 387 181 0 71081 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 296288
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/518 5351
/proc/meminfo: memFree=20865304/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=296688 CPUtime=1062.34 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 82372 0 0 0 106222 12 0 0 25 0 1 0 821607860 303808512 71242 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 74172 71242 387 181 0 71181 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 296688
[startup+1122.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/518 5352
/proc/meminfo: memFree=20861672/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=297616 CPUtime=1122.34 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 82591 0 0 0 112222 12 0 0 25 0 1 0 821607860 304758784 71461 33554432000 4194304 4933572 140735712998400 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 74404 71461 387 181 0 71413 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 297616
[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/518 5354
/proc/meminfo: memFree=20842172/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=316260 CPUtime=1182.34 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 87239 0 0 0 118221 13 0 0 25 0 1 0 821607860 323850240 76109 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 79065 76109 387 181 0 76074 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 316260
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/518 5356
/proc/meminfo: memFree=20830592/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=326576 CPUtime=1242.35 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 89804 0 0 0 124221 14 0 0 25 0 1 0 821607860 334413824 78674 33554432000 4194304 4933572 140735712998400 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 81644 78674 387 181 0 78653 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 326576
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5357
/proc/meminfo: memFree=20827456/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=327508 CPUtime=1302.36 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 90042 0 0 0 130222 14 0 0 25 0 1 0 821607860 335368192 78912 33554432000 4194304 4933572 140735712998400 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 81877 78912 387 181 0 78886 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 327508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5359
/proc/meminfo: memFree=20829048/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=327508 CPUtime=1362.35 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 90044 0 0 0 136221 14 0 0 25 0 1 0 821607860 335368192 78914 33554432000 4194304 4933572 140735712998400 18446744073709551615 4319318 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 81877 78914 387 181 0 78886 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 327508
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5360
/proc/meminfo: memFree=20824916/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=331220 CPUtime=1422.37 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 90966 0 0 0 142223 14 0 0 25 0 1 0 821607860 339169280 79836 33554432000 4194304 4933572 140735712998400 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 82805 79836 387 181 0 79814 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 331220
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 5362
/proc/meminfo: memFree=20815596/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=332948 CPUtime=1482.35 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91397 0 0 0 148221 14 0 0 25 0 1 0 821607860 340938752 80267 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83237 80267 387 181 0 80246 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 332948
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 5364
/proc/meminfo: memFree=20805400/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=332948 CPUtime=1542.36 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91399 0 0 0 154222 14 0 0 25 0 1 0 821607860 340938752 80269 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83237 80269 387 181 0 80246 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 332948
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 5365
/proc/meminfo: memFree=20800644/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=333344 CPUtime=1602.36 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91507 0 0 0 160222 14 0 0 25 0 1 0 821607860 341344256 80377 33554432000 4194304 4933572 140735712998400 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83336 80377 387 181 0 80345 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 333344
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 5367
/proc/meminfo: memFree=20799360/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=333344 CPUtime=1662.36 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91521 0 0 0 166222 14 0 0 25 0 1 0 821607860 341344256 80391 33554432000 4194304 4933572 140735712998400 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83336 80391 387 181 0 80345 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 333344
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 5368
/proc/meminfo: memFree=20798088/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=333612 CPUtime=1722.37 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91590 0 0 0 172223 14 0 0 25 0 1 0 821607860 341618688 80460 33554432000 4194304 4933572 140735712998400 18446744073709551615 254500389466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83403 80460 387 181 0 80412 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 333612
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 5370
/proc/meminfo: memFree=20794704/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=334676 CPUtime=1782.37 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 91857 0 0 0 178223 14 0 0 25 0 1 0 821607860 342708224 80727 33554432000 4194304 4933572 140735712998400 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 83669 80727 387 181 0 80678 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 334676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 2/516 5372
/proc/meminfo: memFree=21032420/32950928 swapFree=34259960/67111528
[pid=5322] ppid=5320 vsize=353308 CPUtime=1800.08 cores=1,3,5,7
/proc/5322/stat : 5322 (clasp) R 5320 5322 4893 0 -1 4202496 96511 0 0 0 179992 16 0 0 25 0 1 0 821607860 361787392 85381 33554432000 4194304 4933572 140735712998400 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5322/statm: 88327 85381 387 181 0 85336 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 353308
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.04
CPU time (s): 1800.12
CPU user time (s): 1799.94
CPU system time (s): 0.175973
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 353308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96520
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= 5
involuntary context switches= 3124
runsolver used 8.67568 second user time and 22.4406 second system time
The end