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-3469400-1307096135/watcher-3469400-1307096135 -o /tmp/evaluation-result-3469400-1307096135/solver-3469400-1307096135 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469400-1307096135.opb --solu --heu=VSIDS
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.14 2.06 2.01 2/437 2654
/proc/meminfo: memFree=24792992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=14296 CPUtime=0 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 993 0 0 0 0 0 0 0 25 0 1 0 802029164 14639104 869 33554432000 4194304 4933572 140735627319280 18446744073709551615 47569183297208 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 3574 870 318 181 0 583 0
[startup+0.023201 s]
/proc/loadavg: 2.14 2.06 2.01 2/437 2654
/proc/meminfo: memFree=24792992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=14560 CPUtime=0.02 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 1279 0 0 0 2 0 0 0 25 0 1 0 802029164 14909440 992 33554432000 4194304 4933572 140735627319280 18446744073709551615 4340563 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 3640 992 366 181 0 649 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14560
[startup+0.100176 s]
/proc/loadavg: 2.14 2.06 2.01 2/437 2654
/proc/meminfo: memFree=24792992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=19576 CPUtime=0.09 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 2527 0 0 0 9 0 0 0 25 0 1 0 802029164 20045824 2240 33554432000 4194304 4933572 140735627319280 18446744073709551615 4337717 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 4894 2241 373 181 0 1903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19576
[startup+0.301135 s]
/proc/loadavg: 2.14 2.06 2.01 2/437 2654
/proc/meminfo: memFree=24792992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=22348 CPUtime=0.29 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 3213 0 0 0 29 0 0 0 25 0 1 0 802029164 22884352 2926 33554432000 4194304 4933572 140735627319280 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 5587 2926 374 181 0 2596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22348
[startup+0.701058 s]
/proc/loadavg: 2.14 2.06 2.01 2/437 2654
/proc/meminfo: memFree=24792992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=25160 CPUtime=0.69 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 3905 0 0 0 69 0 0 0 25 0 1 0 802029164 25763840 3618 33554432000 4194304 4933572 140735627319280 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 6290 3618 374 181 0 3299 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25160
[startup+1.5009 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2655
/proc/meminfo: memFree=24776660/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=27568 CPUtime=1.49 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 4512 0 0 0 149 0 0 0 25 0 1 0 802029164 28229632 4225 33554432000 4194304 4933572 140735627319280 18446744073709551615 4362263 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 6892 4225 374 181 0 3901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27568
[startup+3.10058 s]
/proc/loadavg: 2.13 2.06 2.01 4/438 2712
/proc/meminfo: memFree=24766372/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=29152 CPUtime=3.09 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 4929 0 0 0 309 0 0 0 25 0 1 0 802029164 29851648 4642 33554432000 4194304 4933572 140735627319280 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 7288 4642 374 181 0 4297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29152
[startup+6.30095 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24736920/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=33508 CPUtime=6.29 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 5998 0 0 0 629 0 0 0 25 0 1 0 802029164 34312192 5711 33554432000 4194304 4933572 140735627319280 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 8377 5711 374 181 0 5386 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33508
[startup+12.7007 s]
/proc/loadavg: 2.11 2.06 2.01 3/438 2712
/proc/meminfo: memFree=24718864/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=38060 CPUtime=12.69 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 7134 0 0 0 1269 0 0 0 25 0 1 0 802029164 38973440 6847 33554432000 4194304 4933572 140735627319280 18446744073709551615 4649854 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 9515 6847 374 181 0 6524 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38060
[startup+25.5001 s]
/proc/loadavg: 2.09 2.06 2.01 3/438 2713
/proc/meminfo: memFree=24702860/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=44748 CPUtime=25.49 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 8773 0 0 0 2549 0 0 0 25 0 1 0 802029164 45821952 8486 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341716 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 11187 8486 374 181 0 8196 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44748
[startup+51.101 s]
/proc/loadavg: 2.06 2.05 2.01 3/438 2713
/proc/meminfo: memFree=24690292/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=49368 CPUtime=51.09 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 9964 0 0 0 5108 1 0 0 25 0 1 0 802029164 50552832 9677 33554432000 4194304 4933572 140735627319280 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 12342 9677 374 181 0 9351 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49368
[startup+102.316 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 2715
/proc/meminfo: memFree=24663992/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=58628 CPUtime=102.31 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 12269 0 0 0 10230 1 0 0 25 0 1 0 802029164 60035072 11982 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341535 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 14657 11982 374 181 0 11666 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 58628
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 2716
/proc/meminfo: memFree=24648964/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=65160 CPUtime=162.3 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 14002 0 0 0 16228 2 0 0 25 0 1 0 802029164 66723840 13599 33554432000 4194304 4933572 140735627319280 18446744073709551615 4632764 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 16290 13599 375 181 0 13299 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 65160
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2718
/proc/meminfo: memFree=24635040/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=70932 CPUtime=222.3 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 15437 0 0 0 22228 2 0 0 25 0 1 0 802029164 72634368 15034 33554432000 4194304 4933572 140735627319280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 17733 15034 375 181 0 14742 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 70932
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2719
/proc/meminfo: memFree=24631916/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=72528 CPUtime=282.3 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 15825 0 0 0 28228 2 0 0 25 0 1 0 802029164 74268672 15422 33554432000 4194304 4933572 140735627319280 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 18132 15422 375 181 0 15141 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 72528
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2721
/proc/meminfo: memFree=24616388/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=78732 CPUtime=342.3 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 17374 0 0 0 34228 2 0 0 25 0 1 0 802029164 80621568 16971 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 19683 16971 375 181 0 16692 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 78732
[startup+402.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/438 2723
/proc/meminfo: memFree=24613888/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=79644 CPUtime=402.3 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 17701 0 0 0 40228 2 0 0 25 0 1 0 802029164 81555456 17183 33554432000 4194304 4933572 140735627319280 18446744073709551615 4362277 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 19911 17183 375 181 0 16920 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79644
[startup+462.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/438 2724
/proc/meminfo: memFree=24603572/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=81076 CPUtime=462.32 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 18298 0 0 0 46229 3 0 0 25 0 1 0 802029164 83021824 17547 33554432000 4194304 4933572 140735627319280 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 20269 17547 375 181 0 17278 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 81076
[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/438 2726
/proc/meminfo: memFree=24595252/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=87252 CPUtime=522.32 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 19838 0 0 0 52229 3 0 0 25 0 1 0 802029164 89346048 19087 33554432000 4194304 4933572 140735627319280 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 21813 19087 375 181 0 18822 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 87252
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 2730
/proc/meminfo: memFree=24591248/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=88968 CPUtime=582.32 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 20279 0 0 0 58229 3 0 0 25 0 1 0 802029164 91103232 19528 33554432000 4194304 4933572 140735627319280 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 22242 19528 375 181 0 19251 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 88968
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2741
/proc/meminfo: memFree=24570008/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=98340 CPUtime=822.33 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 22610 0 0 0 82230 3 0 0 25 0 1 0 802029164 100700160 21859 33554432000 4194304 4933572 140735627319280 18446744073709551615 4319434 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 24585 21859 375 181 0 21594 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 98340
[startup+882.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/438 2742
/proc/meminfo: memFree=24568380/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=99300 CPUtime=882.33 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 22809 0 0 0 88230 3 0 0 25 0 1 0 802029164 101683200 22058 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 24825 22058 375 181 0 21834 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 99300
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 2744
/proc/meminfo: memFree=24567236/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=99432 CPUtime=942.33 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 22857 0 0 0 94230 3 0 0 25 0 1 0 802029164 101818368 22106 33554432000 4194304 4933572 140735627319280 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 24858 22106 375 181 0 21867 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 99432
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/438 2746
/proc/meminfo: memFree=24566228/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=100092 CPUtime=1002.33 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 23028 0 0 0 100230 3 0 0 25 0 1 0 802029164 102494208 22277 33554432000 4194304 4933572 140735627319280 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 25023 22277 375 181 0 22032 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 100092
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 2747
/proc/meminfo: memFree=24563852/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=100260 CPUtime=1062.34 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 23032 0 0 0 106231 3 0 0 25 0 1 0 802029164 102666240 22281 33554432000 4194304 4933572 140735627319280 18446744073709551615 4342092 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 25065 22281 375 181 0 22074 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 100260
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 2749
/proc/meminfo: memFree=24555764/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=109076 CPUtime=1122.35 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 25082 0 0 0 112231 4 0 0 25 0 1 0 802029164 111693824 24331 33554432000 4194304 4933572 140735627319280 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 27269 24331 375 181 0 24278 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 109076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2750
/proc/meminfo: memFree=24541728/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=111084 CPUtime=1182.35 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 25557 0 0 0 118231 4 0 0 25 0 1 0 802029164 113750016 24806 33554432000 4194304 4933572 140735627319280 18446744073709551615 4428402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 27771 24806 375 181 0 24780 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 111084
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2752
/proc/meminfo: memFree=24540088/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=112144 CPUtime=1242.35 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 25834 0 0 0 124231 4 0 0 25 0 1 0 802029164 114835456 25083 33554432000 4194304 4933572 140735627319280 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28036 25083 375 181 0 25045 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 112144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2754
/proc/meminfo: memFree=24536716/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=112408 CPUtime=1302.36 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 25882 0 0 0 130232 4 0 0 25 0 1 0 802029164 115105792 25131 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28102 25131 375 181 0 25111 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 112408
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/438 2755
/proc/meminfo: memFree=24535588/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=112000 CPUtime=1362.35 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 25924 0 0 0 136231 4 0 0 25 0 1 0 802029164 114688000 25056 33554432000 4194304 4933572 140735627319280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28000 25056 375 181 0 25009 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 112000
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/438 2757
/proc/meminfo: memFree=24535316/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=112924 CPUtime=1422.37 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 26155 0 0 0 142233 4 0 0 25 0 1 0 802029164 115634176 25287 33554432000 4194304 4933572 140735627319280 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28231 25287 375 181 0 25240 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 112924
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/438 2758
/proc/meminfo: memFree=24533068/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=114112 CPUtime=1482.36 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 26426 0 0 0 148232 4 0 0 25 0 1 0 802029164 116850688 25558 33554432000 4194304 4933572 140735627319280 18446744073709551615 4649459 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28528 25558 375 181 0 25537 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 114112
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 2761
/proc/meminfo: memFree=24534276/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=114456 CPUtime=1542.36 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 26651 0 0 0 154232 4 0 0 25 0 1 0 802029164 117202944 25666 33554432000 4194304 4933572 140735627319280 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28614 25666 375 181 0 25623 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 114456
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 2763
/proc/meminfo: memFree=24533892/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=114756 CPUtime=1602.36 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 26713 0 0 0 160232 4 0 0 25 0 1 0 802029164 117510144 25728 33554432000 4194304 4933572 140735627319280 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28689 25728 375 181 0 25698 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 114756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 2764
/proc/meminfo: memFree=24533600/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=115020 CPUtime=1662.37 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 26757 0 0 0 166233 4 0 0 25 0 1 0 802029164 117780480 25772 33554432000 4194304 4933572 140735627319280 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 28755 25772 375 181 0 25764 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 115020
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2766
/proc/meminfo: memFree=24524784/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=121624 CPUtime=1722.37 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 28377 0 0 0 172232 5 0 0 25 0 1 0 802029164 124542976 27392 33554432000 4194304 4933572 140735627319280 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 30406 27392 375 181 0 27415 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 121624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2767
/proc/meminfo: memFree=24512620/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=122680 CPUtime=1782.38 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 28670 0 0 0 178233 5 0 0 25 0 1 0 802029164 125624320 27685 33554432000 4194304 4933572 140735627319280 18446744073709551615 4622097 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 30670 27685 375 181 0 27679 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 122680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2768
/proc/meminfo: memFree=24513344/32951124 swapFree=50923800/67111528
[pid=2654] ppid=2652 vsize=123076 CPUtime=1800.08 cores=1,3,5,7
/proc/2654/stat : 2654 (clasp) R 2652 2654 2319 0 -1 4202496 28749 0 0 0 180003 5 0 0 25 0 1 0 802029164 126029824 27764 33554432000 4194304 4933572 140735627319280 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2654/statm: 30769 27764 375 181 0 27778 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 123076
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.11
CPU user time (s): 1800.05
CPU system time (s): 0.056991
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 123076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28759
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= 2508
runsolver used 7.15891 second user time and 17.6373 second system time
The end