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-3468600-1307078915/watcher-3468600-1307078915 -o /tmp/evaluation-result-3468600-1307078915/solver-3468600-1307078915 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468600-1307078915.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: 1.95 2.03 2.00 2/572 19467
/proc/meminfo: memFree=31973288/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=12996 CPUtime=0.01 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 687 0 0 0 1 0 0 0 25 0 1 0 819490310 13307904 607 33554432000 4194304 4933572 140733890330848 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3249 607 373 181 0 258 0
[startup+0.108764 s]
/proc/loadavg: 1.95 2.03 2.00 2/572 19467
/proc/meminfo: memFree=31973288/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=13916 CPUtime=0.1 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 916 0 0 0 10 0 0 0 25 0 1 0 819490310 14249984 836 33554432000 4194304 4933572 140733890330848 18446744073709551615 4330119 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3479 836 375 181 0 488 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13916
[startup+0.200746 s]
/proc/loadavg: 1.95 2.03 2.00 2/572 19467
/proc/meminfo: memFree=31973288/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=14312 CPUtime=0.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 996 0 0 0 19 0 0 0 25 0 1 0 819490310 14655488 916 33554432000 4194304 4933572 140733890330848 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3578 916 375 181 0 587 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14312
[startup+0.30068 s]
/proc/loadavg: 1.95 2.03 2.00 2/572 19467
/proc/meminfo: memFree=31973288/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=14576 CPUtime=0.29 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 1070 0 0 0 29 0 0 0 25 0 1 0 819490310 14925824 990 33554432000 4194304 4933572 140733890330848 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3644 990 375 181 0 653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14576
[startup+0.700608 s]
/proc/loadavg: 1.95 2.03 2.00 2/572 19467
/proc/meminfo: memFree=31973288/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=15104 CPUtime=0.69 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 1206 0 0 0 69 0 0 0 25 0 1 0 819490310 15466496 1126 33554432000 4194304 4933572 140733890330848 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3776 1126 375 181 0 785 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15104
[startup+1.50052 s]
/proc/loadavg: 1.95 2.03 2.00 3/573 19468
/proc/meminfo: memFree=31968452/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=15896 CPUtime=1.49 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 1411 0 0 0 149 0 0 0 25 0 1 0 819490310 16277504 1331 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 3974 1331 375 181 0 983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15896
[startup+3.10029 s]
/proc/loadavg: 1.95 2.03 2.00 3/573 19468
/proc/meminfo: memFree=31967088/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=16728 CPUtime=3.09 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 1607 0 0 0 309 0 0 0 25 0 1 0 819490310 17129472 1527 33554432000 4194304 4933572 140733890330848 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 4182 1527 375 181 0 1191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16728
[startup+6.30072 s]
/proc/loadavg: 1.95 2.03 2.00 3/573 19468
/proc/meminfo: memFree=31966076/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=17788 CPUtime=6.29 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 1886 0 0 0 629 0 0 0 25 0 1 0 819490310 18214912 1806 33554432000 4194304 4933572 140733890330848 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19467/statm: 4447 1806 375 181 0 1456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17788
[startup+12.7005 s]
/proc/loadavg: 1.96 2.03 2.00 3/573 19468
/proc/meminfo: memFree=31964600/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=18452 CPUtime=12.61 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 2040 0 0 0 1261 0 0 0 25 0 1 0 819490310 18894848 1960 33554432000 4194304 4933572 140733890330848 18446744073709551615 4649567 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19467/statm: 4613 1960 375 181 0 1622 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 18452
[startup+25.5003 s]
/proc/loadavg: 1.97 2.03 2.00 3/573 19469
/proc/meminfo: memFree=31963604/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=19152 CPUtime=25.38 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 2219 0 0 0 2538 0 0 0 25 0 1 0 819490310 19611648 2133 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 4788 2133 375 181 0 1797 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 19152
[startup+51.1007 s]
/proc/loadavg: 1.98 2.02 2.00 3/573 19470
/proc/meminfo: memFree=31962564/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=19656 CPUtime=50.98 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 2377 0 0 0 5098 0 0 0 25 0 1 0 819490310 20127744 2280 33554432000 4194304 4933572 140733890330848 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 4914 2280 375 181 0 1923 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 19656
[startup+102.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/573 19471
/proc/meminfo: memFree=31962276/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=20576 CPUtime=102.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 2691 0 0 0 10219 0 0 0 25 0 1 0 819490310 21069824 2510 33554432000 4194304 4933572 140733890330848 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5144 2510 375 181 0 2153 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 20576
[startup+162.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 19472
/proc/meminfo: memFree=31959724/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=21144 CPUtime=162.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 2957 0 0 0 16218 0 0 0 25 0 1 0 819490310 21651456 2652 33554432000 4194304 4933572 140733890330848 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5286 2652 375 181 0 2295 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 21144
[startup+222.321 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 19474
/proc/meminfo: memFree=31958544/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=22024 CPUtime=222.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3214 0 0 0 22220 0 0 0 25 0 1 0 819490310 22552576 2859 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5506 2859 375 181 0 2515 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 22024
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19476
/proc/meminfo: memFree=31958732/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=22440 CPUtime=282.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3393 0 0 0 28218 0 0 0 25 0 1 0 819490310 22978560 2975 33554432000 4194304 4933572 140733890330848 18446744073709551615 4328669 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5610 2975 375 181 0 2619 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 22440
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19477
/proc/meminfo: memFree=31958680/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=22684 CPUtime=342.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3467 0 0 0 34218 1 0 0 25 0 1 0 819490310 23228416 3032 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319453 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5671 3032 375 181 0 2680 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22684
[startup+402.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/573 19479
/proc/meminfo: memFree=31958128/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=23096 CPUtime=402.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3562 0 0 0 40218 1 0 0 25 0 1 0 819490310 23650304 3127 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5774 3127 375 181 0 2783 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 23096
[startup+462.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/573 19480
/proc/meminfo: memFree=31957952/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=23096 CPUtime=462.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3638 0 0 0 46218 1 0 0 25 0 1 0 819490310 23650304 3139 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319308 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5774 3139 375 181 0 2783 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 23096
[startup+522.301 s]
/proc/loadavg: 2.12 2.08 2.01 3/573 19482
/proc/meminfo: memFree=31958268/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=23240 CPUtime=522.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3675 0 0 0 52218 1 0 0 25 0 1 0 819490310 23797760 3171 33554432000 4194304 4933572 140733890330848 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5810 3171 375 181 0 2819 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 23240
[startup+582.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 19484
/proc/meminfo: memFree=31957100/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=23404 CPUtime=582.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 3804 0 0 0 58218 1 0 0 25 0 1 0 819490310 23965696 3216 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 5851 3216 375 181 0 2860 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 23404
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/573 19490
/proc/meminfo: memFree=31956880/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24216 CPUtime=822.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4140 0 0 0 82219 1 0 0 25 0 1 0 819490310 24797184 3419 33554432000 4194304 4933572 140733890330848 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 6054 3419 375 181 0 3063 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 24216
[startup+882.322 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 19492
/proc/meminfo: memFree=31956200/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24216 CPUtime=882.22 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4140 0 0 0 88221 1 0 0 25 0 1 0 819490310 24797184 3419 33554432000 4194304 4933572 140733890330848 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 6054 3419 375 181 0 3063 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 24216
[startup+942.301 s]
/proc/loadavg: 1.93 2.01 1.99 3/573 19656
/proc/meminfo: memFree=31826912/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24216 CPUtime=942.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4140 0 0 0 94219 1 0 0 25 0 1 0 819490310 24797184 3419 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319303 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/19467/statm: 6054 3419 375 181 0 3063 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 24216
[startup+1002.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/573 19658
/proc/meminfo: memFree=31827008/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24216 CPUtime=1002.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4141 0 0 0 100217 1 0 0 25 0 1 0 819490310 24797184 3420 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6054 3420 375 181 0 3063 0
Current children cumulated CPU time (s) 1002.18
Current children cumulated vsize (KiB) 24216
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/573 19659
/proc/meminfo: memFree=31826096/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24460 CPUtime=1062.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4214 0 0 0 106217 1 0 0 25 0 1 0 819490310 25047040 3481 33554432000 4194304 4933572 140733890330848 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6115 3481 375 181 0 3124 0
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (KiB) 24460
[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/573 19661
/proc/meminfo: memFree=31824572/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24496 CPUtime=1122.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4255 0 0 0 112217 1 0 0 25 0 1 0 819490310 25083904 3490 33554432000 4194304 4933572 140733890330848 18446744073709551615 4717596 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6124 3490 375 181 0 3133 0
Current children cumulated CPU time (s) 1122.18
Current children cumulated vsize (KiB) 24496
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/573 19663
/proc/meminfo: memFree=31824896/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24564 CPUtime=1182.18 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4267 0 0 0 118217 1 0 0 25 0 1 0 819490310 25153536 3502 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6141 3502 375 181 0 3150 0
Current children cumulated CPU time (s) 1182.18
Current children cumulated vsize (KiB) 24564
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 19664
/proc/meminfo: memFree=31823992/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=24820 CPUtime=1242.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4372 0 0 0 124218 1 0 0 25 0 1 0 819490310 25415680 3569 33554432000 4194304 4933572 140733890330848 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6205 3569 375 181 0 3214 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 24820
[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/573 19666
/proc/meminfo: memFree=31823704/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25120 CPUtime=1302.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4450 0 0 0 130218 1 0 0 25 0 1 0 819490310 25722880 3644 33554432000 4194304 4933572 140733890330848 18446744073709551615 4719107 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6280 3644 375 181 0 3289 0
Current children cumulated CPU time (s) 1302.19
Current children cumulated vsize (KiB) 25120
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 19667
/proc/meminfo: memFree=31823412/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25120 CPUtime=1362.19 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4459 0 0 0 136218 1 0 0 25 0 1 0 819490310 25722880 3644 33554432000 4194304 4933572 140733890330848 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6280 3644 375 181 0 3289 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 25120
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 19669
/proc/meminfo: memFree=31823112/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25216 CPUtime=1422.21 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4528 0 0 0 142220 1 0 0 25 0 1 0 819490310 25821184 3668 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319377 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6304 3668 375 181 0 3313 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 25216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19671
/proc/meminfo: memFree=31822820/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25056 CPUtime=1482.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4569 0 0 0 148218 2 0 0 25 0 1 0 819490310 25657344 3628 33554432000 4194304 4933572 140733890330848 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6264 3628 375 181 0 3273 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 25056
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19672
/proc/meminfo: memFree=31821904/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25144 CPUtime=1542.22 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4629 0 0 0 154220 2 0 0 25 0 1 0 819490310 25747456 3650 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319347 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6286 3650 375 181 0 3295 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 25144
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/573 19674
/proc/meminfo: memFree=31822224/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25224 CPUtime=1602.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4800 0 0 0 160218 2 0 0 25 0 1 0 819490310 25829376 3670 33554432000 4194304 4933572 140733890330848 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6306 3670 375 181 0 3315 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 25224
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/573 19675
/proc/meminfo: memFree=31821560/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25364 CPUtime=1662.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4886 0 0 0 166218 2 0 0 25 0 1 0 819490310 25972736 3705 33554432000 4194304 4933572 140733890330848 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6341 3705 375 181 0 3350 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 25364
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 19677
/proc/meminfo: memFree=31821268/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25364 CPUtime=1722.2 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 4988 0 0 0 172218 2 0 0 25 0 1 0 819490310 25972736 3705 33554432000 4194304 4933572 140733890330848 18446744073709551615 4624754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6341 3705 375 181 0 3350 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 25364
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 19679
/proc/meminfo: memFree=31819488/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25496 CPUtime=1782.21 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 5018 0 0 0 178219 2 0 0 25 0 1 0 819490310 26107904 3735 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6374 3735 375 181 0 3383 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 25496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/573 19679
/proc/meminfo: memFree=31820088/32950928 swapFree=43925852/67111528
[pid=19467] ppid=19465 vsize=25532 CPUtime=1800.02 cores=0,2,4,6
/proc/19467/stat : 19467 (clasp) R 19465 19467 17441 0 -1 4202496 5047 0 0 0 180000 2 0 0 25 0 1 0 819490310 26144768 3747 33554432000 4194304 4933572 140733890330848 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19467/statm: 6383 3747 375 181 0 3392 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 25532
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.12
CPU time (s): 1800.04
CPU user time (s): 1800.01
CPU system time (s): 0.024996
CPU usage (%): 99.9951
Max. virtual memory (cumulated for all children) (KiB): 25888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5060
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= 8
involuntary context switches= 4499
runsolver used 10.5444 second user time and 22.4406 second system time
The end