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-3468843-1307106031/watcher-3468843-1307106031 -o /tmp/evaluation-result-3468843-1307106031/solver-3468843-1307106031 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468843-1307106031.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.01 1.40 1.73 3/558 647
/proc/meminfo: memFree=28739532/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=12440 CPUtime=0 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 491 0 0 0 0 0 0 0 25 0 1 0 900833727 12738560 426 33554432000 4194304 4933572 140736864843184 18446744073709551615 4595710 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3110 427 346 181 0 119 0
[startup+0.0745621 s]
/proc/loadavg: 1.01 1.40 1.73 3/558 647
/proc/meminfo: memFree=28739532/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=13100 CPUtime=0.07 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 706 0 0 0 7 0 0 0 25 0 1 0 900833727 13414400 641 33554432000 4194304 4933572 140736864843184 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3275 641 384 181 0 284 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13100
[startup+0.100558 s]
/proc/loadavg: 1.01 1.40 1.73 3/558 647
/proc/meminfo: memFree=28739532/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=13232 CPUtime=0.09 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 731 0 0 0 9 0 0 0 25 0 1 0 900833727 13549568 666 33554432000 4194304 4933572 140736864843184 18446744073709551615 4360943 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3308 666 385 181 0 317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13232
[startup+0.300538 s]
/proc/loadavg: 1.01 1.40 1.73 3/558 647
/proc/meminfo: memFree=28739532/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=13640 CPUtime=0.29 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 828 0 0 0 29 0 0 0 25 0 1 0 900833727 13967360 763 33554432000 4194304 4933572 140736864843184 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3410 763 385 181 0 419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13640
[startup+0.70046 s]
/proc/loadavg: 1.01 1.40 1.73 3/558 647
/proc/meminfo: memFree=28739532/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=13904 CPUtime=0.69 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 912 0 0 0 69 0 0 0 25 0 1 0 900833727 14237696 847 33554432000 4194304 4933572 140736864843184 18446744073709551615 4632776 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3476 847 385 181 0 485 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13904
[startup+1.50033 s]
/proc/loadavg: 1.01 1.40 1.73 3/559 648
/proc/meminfo: memFree=28735000/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=14432 CPUtime=1.49 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 1047 0 0 0 149 0 0 0 25 0 1 0 900833727 14778368 982 33554432000 4194304 4933572 140736864843184 18446744073709551615 4428984 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3608 982 385 181 0 617 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14432
[startup+3.10106 s]
/proc/loadavg: 1.09 1.41 1.73 3/559 648
/proc/meminfo: memFree=28732644/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=15524 CPUtime=3.1 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 1285 0 0 0 310 0 0 0 25 0 1 0 900833727 15896576 1220 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 3881 1220 385 181 0 890 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15524
[startup+6.30053 s]
/proc/loadavg: 1.09 1.41 1.73 3/559 648
/proc/meminfo: memFree=28730788/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=16316 CPUtime=6.29 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 1484 0 0 0 629 0 0 0 25 0 1 0 900833727 16707584 1419 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 4079 1419 385 181 0 1088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16316
[startup+12.7005 s]
/proc/loadavg: 1.23 1.43 1.73 3/559 650
/proc/meminfo: memFree=28727552/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=17288 CPUtime=12.69 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 1736 0 0 0 1269 0 0 0 25 0 1 0 900833727 17702912 1671 33554432000 4194304 4933572 140736864843184 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 4322 1671 385 181 0 1331 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17288
[startup+25.5003 s]
/proc/loadavg: 1.34 1.45 1.74 3/559 731
/proc/meminfo: memFree=28725404/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=18156 CPUtime=25.49 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 1938 0 0 0 2549 0 0 0 25 0 1 0 900833727 18591744 1873 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 4539 1873 385 181 0 1548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18156
[startup+51.1011 s]
/proc/loadavg: 1.57 1.49 1.74 3/559 740
/proc/meminfo: memFree=28720472/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=19296 CPUtime=51.1 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2181 0 0 0 5110 0 0 0 25 0 1 0 900833727 19759104 2116 33554432000 4194304 4933572 140736864843184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 4824 2116 385 181 0 1833 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19296
[startup+102.32 s]
/proc/loadavg: 1.96 1.61 1.76 3/559 742
/proc/meminfo: memFree=28716644/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=20684 CPUtime=102.32 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2506 0 0 0 10232 0 0 0 25 0 1 0 900833727 21180416 2441 33554432000 4194304 4933572 140736864843184 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5171 2441 385 181 0 2180 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20684
[startup+162.3 s]
/proc/loadavg: 2.05 1.69 1.78 3/559 744
/proc/meminfo: memFree=28713996/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=21248 CPUtime=162.29 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2644 0 0 0 16229 0 0 0 25 0 1 0 900833727 21757952 2579 33554432000 4194304 4933572 140736864843184 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5312 2579 385 181 0 2321 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21248
[startup+222.3 s]
/proc/loadavg: 2.02 1.74 1.79 3/559 744
/proc/meminfo: memFree=28713720/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=21624 CPUtime=222.29 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2749 0 0 0 22229 0 0 0 25 0 1 0 900833727 22142976 2684 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5406 2684 385 181 0 2415 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 21624
[startup+282.3 s]
/proc/loadavg: 2.10 1.82 1.81 3/559 746
/proc/meminfo: memFree=28713060/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=22016 CPUtime=282.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2840 0 0 0 28230 0 0 0 25 0 1 0 900833727 22544384 2775 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5504 2775 385 181 0 2513 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22016
[startup+342.3 s]
/proc/loadavg: 2.08 1.86 1.83 3/559 748
/proc/meminfo: memFree=28712772/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=22228 CPUtime=342.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2882 0 0 0 34230 0 0 0 25 0 1 0 900833727 22761472 2817 33554432000 4194304 4933572 140736864843184 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5557 2817 385 181 0 2566 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22228
[startup+402.3 s]
/proc/loadavg: 2.03 1.89 1.83 3/559 750
/proc/meminfo: memFree=28712360/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=22376 CPUtime=402.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2915 0 0 0 40230 0 0 0 25 0 1 0 900833727 22913024 2850 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649200 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5594 2850 385 181 0 2603 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22376
[startup+462.3 s]
/proc/loadavg: 2.01 1.90 1.84 3/559 752
/proc/meminfo: memFree=28711704/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=22668 CPUtime=462.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 2967 0 0 0 46230 0 0 0 25 0 1 0 900833727 23212032 2902 33554432000 4194304 4933572 140736864843184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5667 2902 385 181 0 2676 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22668
[startup+522.3 s]
/proc/loadavg: 2.00 1.92 1.84 3/559 752
/proc/meminfo: memFree=28711172/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=23184 CPUtime=522.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3116 0 0 0 52230 0 0 0 25 0 1 0 900833727 23740416 3051 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5796 3051 385 181 0 2805 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23184
[startup+582.3 s]
/proc/loadavg: 2.00 1.93 1.85 3/559 755
/proc/meminfo: memFree=28710632/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=23652 CPUtime=582.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3222 0 0 0 58230 0 0 0 25 0 1 0 900833727 24219648 3157 33554432000 4194304 4933572 140736864843184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 5913 3157 385 181 0 2922 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23652
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.19 2.03 1.90 3/559 761
/proc/meminfo: memFree=28709964/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=24296 CPUtime=822.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3374 0 0 0 82230 0 0 0 25 0 1 0 900833727 24879104 3309 33554432000 4194304 4933572 140736864843184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6074 3309 385 181 0 3083 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 24296
[startup+882.3 s]
/proc/loadavg: 2.13 2.04 1.91 3/559 763
/proc/meminfo: memFree=28709800/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=24436 CPUtime=882.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3394 0 0 0 88230 0 0 0 25 0 1 0 900833727 25022464 3329 33554432000 4194304 4933572 140736864843184 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6109 3329 385 181 0 3118 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 24436
[startup+942.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/559 765
/proc/meminfo: memFree=28709384/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=24572 CPUtime=942.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3422 0 0 0 94230 0 0 0 25 0 1 0 900833727 25161728 3357 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6143 3357 385 181 0 3152 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 24572
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/559 767
/proc/meminfo: memFree=28709344/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=24720 CPUtime=1002.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3463 0 0 0 100230 0 0 0 25 0 1 0 900833727 25313280 3398 33554432000 4194304 4933572 140736864843184 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6180 3398 385 181 0 3189 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 24720
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/559 769
/proc/meminfo: memFree=28709296/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25020 CPUtime=1062.3 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3519 0 0 0 106230 0 0 0 25 0 1 0 900833727 25620480 3454 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6255 3454 385 181 0 3264 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 25020
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/559 769
/proc/meminfo: memFree=28709140/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25172 CPUtime=1122.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3545 0 0 0 112231 0 0 0 25 0 1 0 900833727 25776128 3480 33554432000 4194304 4933572 140736864843184 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6293 3480 385 181 0 3302 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25172
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/559 771
/proc/meminfo: memFree=28708964/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25172 CPUtime=1182.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3561 0 0 0 118231 0 0 0 25 0 1 0 900833727 25776128 3496 33554432000 4194304 4933572 140736864843184 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6293 3496 385 181 0 3302 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25172
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/559 773
/proc/meminfo: memFree=28708432/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25172 CPUtime=1242.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3571 0 0 0 124231 0 0 0 25 0 1 0 900833727 25776128 3506 33554432000 4194304 4933572 140736864843184 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6293 3506 385 181 0 3302 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 25172
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/559 775
/proc/meminfo: memFree=28707768/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25320 CPUtime=1302.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3580 0 0 0 130231 0 0 0 25 0 1 0 900833727 25927680 3515 33554432000 4194304 4933572 140736864843184 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6330 3515 385 181 0 3339 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 25320
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/559 777
/proc/meminfo: memFree=28707612/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25320 CPUtime=1362.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3590 0 0 0 136231 0 0 0 25 0 1 0 900833727 25927680 3525 33554432000 4194304 4933572 140736864843184 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6330 3525 385 181 0 3339 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 25320
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.93 3/559 777
/proc/meminfo: memFree=28708436/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25320 CPUtime=1422.33 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3598 0 0 0 142233 0 0 0 25 0 1 0 900833727 25927680 3533 33554432000 4194304 4933572 140736864843184 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6330 3533 385 181 0 3339 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 25320
[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 1.94 3/559 779
/proc/meminfo: memFree=28708400/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25472 CPUtime=1482.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3615 0 0 0 148231 0 0 0 25 0 1 0 900833727 26083328 3550 33554432000 4194304 4933572 140736864843184 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6368 3550 385 181 0 3377 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 25472
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/559 781
/proc/meminfo: memFree=28708996/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25472 CPUtime=1542.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3623 0 0 0 154231 0 0 0 25 0 1 0 900833727 26083328 3558 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6368 3558 385 181 0 3377 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 25472
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/559 783
/proc/meminfo: memFree=28708948/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25472 CPUtime=1602.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3632 0 0 0 160231 0 0 0 25 0 1 0 900833727 26083328 3567 33554432000 4194304 4933572 140736864843184 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6368 3567 385 181 0 3377 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 25472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/559 785
/proc/meminfo: memFree=28709540/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25472 CPUtime=1662.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3632 0 0 0 166231 0 0 0 25 0 1 0 900833727 26083328 3567 33554432000 4194304 4933572 140736864843184 18446744073709551615 4428397 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6368 3567 385 181 0 3377 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 25472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/559 785
/proc/meminfo: memFree=28709628/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25772 CPUtime=1722.31 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3680 0 0 0 172231 0 0 0 25 0 1 0 900833727 26390528 3615 33554432000 4194304 4933572 140736864843184 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6443 3615 385 181 0 3452 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 25772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/559 787
/proc/meminfo: memFree=28707616/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25772 CPUtime=1782.32 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3684 0 0 0 178232 0 0 0 25 0 1 0 900833727 26390528 3619 33554432000 4194304 4933572 140736864843184 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6443 3619 385 181 0 3452 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 25772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.94 3/559 787
/proc/meminfo: memFree=28706468/32951124 swapFree=34426104/67111528
[pid=647] ppid=645 vsize=25772 CPUtime=1800.02 cores=1,3,5,7
/proc/647/stat : 647 (clasp) R 645 647 31297 0 -1 4202496 3692 0 0 0 180002 0 0 0 25 0 1 0 900833727 26390528 3627 33554432000 4194304 4933572 140736864843184 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/647/statm: 6443 3627 385 181 0 3452 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 25772
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.02
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.007998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 25772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3701
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= 7
involuntary context switches= 2593
runsolver used 9.26659 second user time and 22.2026 second system time
The end