0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1773981-1241187464.cnf
0.00/0.00 c found header 'p cnf 32310 97279'
0.09/0.15 c finished parsing
0.09/0.15 c
0.09/0.15 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.15 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.15 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.15 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.15 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.15 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.15 c
0.09/0.15 c sizeof vars[0] = 16 alignment = 0 0 MB
0.09/0.15 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.15 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.15 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.15 c
0.09/0.15 c starting search after 0.2 seconds
0.09/0.15 c no decision limit
0.09/0.15 c
0.09/0.15 c original/binary fixed eliminated learned agility
0.09/0.15 c seconds variables equivalent conflicts height MB
0.09/0.15 c
0.09/0.15 c * 0.2 97087 31363 95 852 0 0 0 0.0 0 8
1.68/1.76 c s 1.8 59873 9588 726 890 21106 0 0 0.0 0 7
1.68/1.76 c l 1.8 59873 9588 726 890 21106 0 21015 0.0 0 7
1.88/1.93 c R 1.9 60416 9587 727 890 21106 104 98 36.8 17 8
1.98/2.07 c R 2.1 60513 9586 727 891 21106 204 198 33.6 16 8
2.78/2.89 c R 2.9 71460 9567 742 895 21106 806 798 32.5 16 9
3.19/3.22 c B 3.2 71481 9566 742 896 21106 1002 994 32.1 17 9
3.58/3.61 c s 3.6 71250 9564 742 898 21106 1082 1070 32.0 17 8
5.69/5.76 c s 5.8 82029 9539 758 907 21106 1615 1599 31.6 17 9
7.19/7.21 c B 7.2 82131 9528 766 910 21106 2002 1983 32.7 15 9
8.79/8.84 c s 8.8 81248 9430 783 913 21184 2355 2096 32.4 17 9
8.79/8.84 c - 8.8 81248 9430 783 913 21184 2355 20805 32.4 17 9
11.39/11.46 c s 11.5 81713 9430 783 913 21184 3078 2819 31.7 17 9
14.09/14.11 c s 14.1 81724 9430 783 913 21184 3655 3395 31.2 17 9
16.49/16.54 c R 16.5 81760 9430 783 913 21184 4562 4302 31.6 17 10
16.69/16.75 c s 16.8 81760 9430 783 913 21184 4577 4316 31.6 17 9
19.39/19.45 c s 19.4 81796 9430 783 913 21184 5717 5454 32.0 17 10
22.19/22.22 c s 22.2 81811 9430 783 913 21184 6517 6253 32.2 16 10
24.88/24.96 c s 25.0 81823 9430 783 913 21184 7436 7172 32.4 18 10
26.98/27.02 c
26.98/27.02 c original/binary fixed eliminated learned agility
26.98/27.02 c seconds variables equivalent conflicts height MB
26.98/27.02 c
26.98/27.02 c B 27.0 81825 9430 783 913 21184 8004 7740 32.5 17 11
27.68/27.77 c s 27.8 81825 9430 783 913 21184 8209 7945 32.6 17 10
28.98/29.05 c R 29.0 81828 9430 783 913 21184 8568 8304 32.5 17 11
30.58/30.64 c s 30.6 81830 9430 783 913 21184 8939 8674 32.5 18 10
33.48/33.58 c s 33.6 81835 9430 783 913 21184 9691 9425 32.6 18 10
37.88/37.93 c s 37.9 81836 9430 783 913 21184 10899 10633 32.3 17 11
40.78/40.86 c s 40.9 81843 9430 783 913 21184 11756 11489 32.3 18 11
43.78/43.86 c s 43.9 81844 9430 783 913 21184 12648 12381 32.4 17 11
46.88/46.93 c s 46.9 81845 9430 783 913 21184 13406 13139 32.5 17 11
49.98/50.06 c s 50.1 81848 9430 783 913 21184 14302 14035 32.4 17 11
59.57/59.63 c s 59.6 81673 9414 783 914 21199 17017 16695 32.3 8 12
64.47/64.55 c R 64.5 81673 9414 783 914 21199 18187 17865 32.5 17 13
64.67/64.79 c s 64.8 81677 9414 783 914 21199 18187 17865 32.5 17 12
67.97/68.05 c s 68.0 81678 9414 783 914 21199 19043 18720 32.4 16 12
71.28/71.39 c s 71.4 81687 9414 783 914 21199 20185 19861 32.4 18 13
73.48/73.56 c + 73.5 81687 9414 783 914 21199 20806 22885 32.3 17 13
74.78/74.82 c s 74.8 81688 9414 783 914 21199 21040 20715 32.3 17 13
78.77/78.80 c s 78.8 81392 9375 793 918 21224 21832 21423 32.1 17 13
82.17/82.24 c s 82.2 81405 9375 793 918 21224 22550 22141 32.0 17 13
85.68/85.80 c
85.68/85.80 c original/binary fixed eliminated learned agility
85.68/85.80 c seconds variables equivalent conflicts height MB
85.68/85.80 c
85.68/85.80 c s 85.8 81407 9375 793 918 21224 23415 22922 31.8 16 13
88.77/88.86 c B 88.8 81407 9375 793 918 21224 24007 22935 31.9 17 14
97.27/97.30 c s 97.3 81408 9375 793 918 21224 25834 22911 31.8 16 13
97.87/97.97 c + 98.0 81412 9375 793 918 21224 26006 25173 31.8 16 14
100.77/100.84 c s 100.8 81411 9375 793 918 21224 26839 23743 31.8 14 13
104.27/104.37 c s 104.4 81413 9375 793 918 21224 27583 24487 31.6 16 13
112.76/112.82 c s 112.8 81417 9375 793 918 21224 29327 25205 31.6 17 13
116.47/116.52 c s 116.5 81418 9375 793 918 21224 30135 25220 31.5 16 13
124.16/124.29 c s 124.3 81419 9375 793 918 21224 31654 25199 31.4 12 13
127.86/127.96 c s 127.9 81422 9375 793 918 21224 32436 25205 31.4 16 13
128.26/128.34 c + 128.3 81422 9375 793 918 21224 32506 27690 31.4 17 14
131.65/131.70 c s 131.7 81423 9375 793 918 21224 33301 25993 31.2 17 13
152.15/152.26 c s 152.2 81424 9375 793 918 21224 37911 27744 31.0 17 14
164.75/164.81 c + 164.8 81424 9375 793 918 21224 40630 30459 30.9 16 15
173.34/173.47 c s 173.4 81425 9375 793 918 21224 42893 29981 30.8 17 14
194.95/195.09 c s 195.0 81427 9375 793 918 21224 48566 30487 30.9 17 14
198.95/199.04 c s 199.0 81436 9375 793 918 21224 49372 30492 30.9 11 14
202.94/203.00 c s 203.0 81438 9375 793 918 21224 50453 30494 30.9 17 14
204.04/204.14 c + 204.1 81438 9375 793 918 21224 50785 33504 30.8 17 15
220.94/221.10 c
220.94/221.10 c original/binary fixed eliminated learned agility
220.94/221.10 c seconds variables equivalent conflicts height MB
220.94/221.10 c
220.94/221.10 c s 221.0 81439 9375 793 918 21224 54385 33526 30.6 17 15
243.73/243.86 c R 243.8 81439 9375 793 918 21224 59782 33559 30.5 17 17
244.04/244.17 c s 244.1 81443 9375 793 918 21224 59782 33559 30.5 17 15
260.93/261.06 c + 261.0 81443 9375 793 918 21224 63480 36854 30.4 17 16
263.83/263.93 c B 263.9 81443 9375 793 918 21224 64018 34091 30.4 17 16
298.71/298.84 c s 298.8 81444 9375 793 918 21224 71820 36915 30.4 18 15
303.31/303.41 c s 303.3 81445 9375 793 918 21224 72962 36923 30.3 17 15
307.51/307.64 c s 307.6 81446 9375 793 918 21224 74158 36890 30.4 17 15
311.82/311.98 c s 311.9 81448 9375 793 918 21224 75259 36917 30.4 17 15
316.11/316.23 c s 316.2 81452 9375 793 918 21224 76070 36887 30.4 17 15
322.61/322.73 c s 322.7 81453 9375 793 918 21224 77691 36924 30.3 15 15
326.81/326.98 c s 326.9 81455 9375 793 918 21224 78924 36875 30.5 17 15
328.91/329.02 c + 328.9 81455 9375 793 918 21224 79351 40539 30.4 17 16
331.01/331.19 c s 331.1 81458 9375 793 918 21224 79801 37369 30.4 16 15
413.09/413.27 c + 413.2 81458 9375 793 918 21224 99185 44592 30.2 17 19
466.47/466.61 c R 466.5 81458 9375 793 918 21224 111061 44668 30.2 16 20
468.77/468.91 c s 468.8 81460 9375 793 918 21224 111550 44629 30.2 18 17
525.36/525.50 c s 525.4 81461 9375 793 918 21224 123861 44663 30.2 19 17
525.86/526.09 c + 526.0 81461 9375 793 918 21224 123980 49051 30.2 17 18
530.07/530.24 c
530.07/530.24 c original/binary fixed eliminated learned agility
530.07/530.24 c seconds variables equivalent conflicts height MB
530.07/530.24 c
530.07/530.24 c s 530.1 81464 9375 793 918 21224 124788 45437 30.1 18 17
540.26/540.43 c s 540.3 81465 9375 793 918 21224 127460 48108 30.2 17 18
569.15/569.36 c s 569.2 81466 9375 793 918 21224 134236 49105 30.2 17 18
628.14/628.35 c s 628.2 81467 9375 793 918 21224 147899 49109 30.1 17 18
661.93/662.15 c + 662.0 81467 9375 793 918 21224 154976 53956 30.1 18 20
680.52/680.76 c B 680.6 81467 9375 793 918 21224 160042 53992 30.3 16 22
686.12/686.36 c s 686.2 81469 9375 793 918 21224 161934 54016 30.3 18 19
691.22/691.46 c s 691.3 81471 9375 793 918 21224 163062 54020 30.3 18 19
696.41/696.68 c s 696.5 81473 9375 793 918 21224 164165 54009 30.3 16 19
791.89/792.12 c s 791.9 81474 9375 793 918 21224 185719 54007 30.3 17 19
823.49/823.72 c + 823.5 81474 9375 793 918 21224 193721 59351 30.3 17 22
824.88/825.12 c s 824.9 81475 9375 793 918 21224 193948 54228 30.3 17 19
858.68/858.98 c s 858.8 81477 9375 793 918 21224 202488 59452 30.2 18 20
957.36/957.64 c R 957.4 81477 9375 793 918 21224 226403 59409 30.3 18 23
1018.04/1018.34 c + 1018.1 81477 9375 793 918 21224 242151 65286 30.2 18 23
1041.34/1041.68 c s 1041.4 81478 9375 793 918 21224 249082 65338 30.1 15 21
1047.63/1047.99 c s 1047.7 81480 9375 793 918 21224 250856 65340 30.1 18 21
1053.93/1054.23 c s 1054.0 81481 9375 793 918 21224 252605 65324 30.1 18 21
1059.63/1059.97 c s 1059.7 81482 9375 793 918 21224 253656 65353 30.1 18 21
1072.92/1073.22 c
1072.92/1073.22 c original/binary fixed eliminated learned agility
1072.92/1073.22 c seconds variables equivalent conflicts height MB
1072.92/1073.22 c
1072.92/1073.22 c s 1073.0 81483 9375 793 918 21224 256277 65319 30.1 18 21
1105.31/1105.67 c s 1105.4 81486 9375 793 918 21224 263812 65371 30.1 19 21
1119.01/1119.38 c s 1119.1 81487 9375 793 918 21224 266699 65361 30.1 16 21
1192.50/1192.80 c s 1192.5 81488 9375 793 918 21224 283382 65321 30.1 17 21
1198.60/1198.96 c s 1198.7 81490 9375 793 918 21224 284897 65326 30.1 18 21
1253.28/1253.60 c s 1253.3 81491 9375 793 918 21224 298037 65323 30.2 16 21
1276.27/1276.63 c + 1276.3 81491 9375 793 918 21224 302685 71814 30.2 17 24
1298.27/1298.65 c s 1298.3 81492 9375 793 918 21224 307085 69720 30.2 17 22
1319.46/1319.86 c s 1319.5 81493 9375 793 918 21224 312124 71855 30.2 19 22
1341.56/1341.92 c s 1341.6 81494 9375 793 918 21224 316755 71868 30.2 17 22
1460.43/1460.85 c s 1460.5 81495 9375 793 918 21224 342830 71857 30.2 17 22
1503.62/1504.07 c s 1503.7 81496 9375 793 918 21224 352057 71885 30.2 17 22
1543.21/1543.64 c s 1543.3 81498 9375 793 918 21224 361009 71886 30.2 17 22
1611.00/1611.43 c s 1611.0 81499 9375 793 918 21224 376190 71861 30.2 15 22
1619.89/1620.35 c + 1620.0 81499 9375 793 918 21224 378356 78995 30.2 17 24
1649.18/1649.65 c B 1649.2 81499 9375 793 918 21224 384079 77610 30.2 14 27
1650.69/1651.17 c s 1650.8 81500 9375 793 918 21224 384326 77857 30.2 17 23
1682.98/1683.47 c s 1683.1 81501 9375 793 918 21224 390483 79049 30.2 17 23
1748.86/1749.36 c s 1748.9 81502 9375 793 918 21224 403321 79057 30.2 18 24
1836.04/1836.54 c
1836.04/1836.54 c original/binary fixed eliminated learned agility
1836.04/1836.54 c seconds variables equivalent conflicts height MB
1836.04/1836.54 c
1836.04/1836.54 c s 1836.1 81507 9375 793 918 21224 421904 79074 30.2 18 24
1842.53/1843.00 c s 1842.6 81514 9375 793 918 21224 423115 79073 30.2 13 24
1849.53/1850.03 c s 1849.6 81521 9375 793 918 21224 424571 79026 30.2 18 24
1989.80/1990.37 c s 1989.9 81522 9375 793 918 21224 457584 79059 30.1 18 24
2047.88/2048.41 c + 2047.9 81522 9375 793 918 21224 472946 86894 30.1 17 27
2084.87/2085.45 c R 2084.9 81522 9375 793 918 21224 482685 86935 30.0 17 29
2325.62/2326.23 c s 2325.7 81523 9375 793 918 21224 534962 86976 29.7 18 24
2419.99/2420.67 c s 2420.1 81526 9375 793 918 21224 554703 86932 29.7 15 23
2435.99/2436.64 c s 2436.0 81530 9375 793 918 21224 557917 86935 29.7 17 23
2465.29/2465.90 c s 2465.3 81531 9375 793 918 21224 563669 86951 29.8 15 24
2581.65/2582.32 c + 2581.7 81531 9375 793 918 21224 591181 95583 29.8 14 30
2712.92/2713.65 c s 2713.0 81533 9375 793 918 21224 617483 95627 29.8 18 27
2720.32/2721.02 c s 2720.4 81534 9375 793 918 21224 618845 95634 29.8 16 27
2984.56/2985.39 c s 2984.7 81535 9375 793 918 21224 675829 95653 29.7 18 27
3295.17/3296.06 c + 3295.2 81535 9375 793 918 21224 738975 105141 29.7 18 33
3532.72/3533.68 c s 3532.8 81538 9375 793 918 21224 788655 105206 29.7 18 28
3731.38/3732.36 c s 3731.4 81539 9375 793 918 21224 828710 105188 29.8 15 28
4071.79/4072.82 c B 4071.8 81539 9375 793 918 21224 896152 105219 29.7 18 36
4087.79/4088.83 c s 4087.8 81540 9375 793 918 21224 899421 105193 29.8 17 28
4145.87/4146.94 c
4145.87/4146.94 c original/binary fixed eliminated learned agility
4145.87/4146.94 c seconds variables equivalent conflicts height MB
4145.87/4146.94 c
4145.87/4146.94 c s 4145.9 81541 9375 793 918 21224 912049 105196 29.8 17 29
4182.06/4183.12 c s 4182.1 81542 9375 793 918 21224 918706 105215 29.8 15 29
4190.65/4191.70 c s 4190.7 81544 9375 793 918 21224 920250 105244 29.8 18 29
4209.35/4210.44 c s 4209.4 81545 9375 793 918 21224 923674 105229 29.8 18 29
4209.55/4210.68 c + 4209.6 81545 9375 793 918 21224 923716 115655 29.8 18 29
4351.71/4352.86 c s 4351.8 81546 9375 793 918 21224 951246 115698 29.8 17 31
4821.80/4823.07 c R 4821.9 81546 9375 793 918 21224 1046529 115698 29.6 17 38
5349.97/5351.36 c + 5350.0 81546 9375 793 918 21224 1154645 127220 29.4 16 41
5724.28/5725.74 c s 5724.3 81547 9375 793 918 21224 1223331 127286 29.4 18 33
6116.08/6117.61 c s 6116.1 81548 9375 793 918 21224 1297135 127290 29.4 18 34
6296.23/6297.83 c s 6296.3 81551 9375 793 918 21224 1329385 127317 29.4 18 34
6875.69/6877.44 c + 6875.7 81551 9375 793 918 21224 1443306 139942 29.4 18 43
7522.93/7524.85 c s 7523.0 81553 9375 793 918 21224 1562846 139986 29.4 17 36
7677.20/7679.13 c s 7677.2 81554 9375 793 918 21224 1594231 140001 29.4 17 35
7688.69/7690.68 c s 7688.8 81561 9375 793 918 21224 1596219 139976 29.4 17 35
8503.29/8505.41 c s 8503.3 81564 9375 793 918 21224 1742595 140016 29.4 17 38
8642.45/8644.63 c s 8642.5 81566 9375 793 918 21224 1768690 139993 29.4 18 36
8744.33/8746.55 c s 8744.4 81567 9375 793 918 21224 1786802 139980 29.4 14 36
8842.01/8844.25 c + 8842.1 81567 9375 793 918 21224 1804131 153936 29.4 18 43
9124.34/9126.67 c
9124.34/9126.67 c original/binary fixed eliminated learned agility
9124.34/9126.67 c seconds variables equivalent conflicts height MB
9124.34/9126.67 c
9124.34/9126.67 c s 9124.4 81568 9375 793 918 21224 1854588 153997 29.4 18 39
10000.02/10002.50 c
10000.02/10002.50 c *** CAUGHT SIGNAL 15 ***
10000.02/10002.50 c
10000.02/10002.50 c 2010336 conflicts, 2555623 decisions, 2 random
10000.02/10002.50 c 3 iterations, 3972 restarts, 0 skipped
10000.02/10002.50 c 21 enlarged, 669 shrunken, 19636 rescored, 509 rebiased
10000.02/10002.50 c 110 simplifications, 0 reductions
10000.02/10002.50 c
10000.02/10002.50 c vars: 793 fixed, 918 equiv, 21224 elim, 931 merged
10000.02/10002.50 c elim: 1314678 resolutions, 4 phases, 4 rounds
10000.02/10002.50 c sbst: 92% substituted, 0.7% nots, 98.3% ands, 0.9% xors, 0.1% ites
10000.02/10002.50 c arty: 2.26 and 2.03 xor average arity
10000.02/10002.50 c prbe: 9365834 probed, 4488 phases, 499 rounds
10000.02/10002.50 c prbe: 17 failed, 97 lifted, 12 merged
10000.02/10002.50 c sccs: 6 non trivial, 0 fixed, 6 merged
10000.02/10002.50 c hash: 48 units, 913 merged
10000.02/10002.50 c mins: 89923346 learned, 89% deleted, 23 strong, 46 depth
10000.02/10002.50 c subs: 1503 forward, 985 backward, 632 doms
10000.02/10002.50 c strs: 7534 forward, 1042 backward
10000.02/10002.50 c doms: 4818 dominators, 627 high, 2 low
10000.02/10002.50 c prps: 9171616641 propagations, 0.92 megaprops
10000.02/10002.50 c
10000.02/10002.50 c 10000.0 seconds, 50 MB max, 369 MB recycled
10000.02/10002.50 c
10000.02/10002.50 c *** CAUGHT SIGNAL 15 ***
10000.02/10002.50 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773981-1241187464/watcher-1773981-1241187464 -o /tmp/evaluation-result-1773981-1241187464/solver-1773981-1241187464 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773981-1241187464.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31861
/proc/meminfo: memFree=1848152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=2064 CPUtime=0
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 400 0 0 0 0 0 0 0 18 0 1 0 146774141 2113536 385 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/31861/statm: 516 386 59 155 0 359 0
[startup+0.027065 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31861
/proc/meminfo: memFree=1848152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=4512 CPUtime=0.02
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 1044 0 0 0 2 0 0 0 18 0 1 0 146774141 4620288 1029 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 1128 1029 64 155 0 971 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4512
[startup+0.102071 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31861
/proc/meminfo: memFree=1848152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=8064 CPUtime=0.09
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 2021 0 0 0 9 0 0 0 18 0 1 0 146774141 8257536 1908 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 2016 1908 64 155 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8064
[startup+0.302089 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31861
/proc/meminfo: memFree=1848152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=13348 CPUtime=0.29
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 3483 0 0 0 28 1 0 0 19 0 1 0 146774141 13668352 3240 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 3337 3240 79 155 0 3180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13348
[startup+0.701127 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31861
/proc/meminfo: memFree=1848152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=16304 CPUtime=0.69
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 4964 0 0 0 67 2 0 0 23 0 1 0 146774141 16695296 3951 1992294400 134512640 135151029 4294956240 18446744073709551615 134519076 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4076 3951 79 155 0 3919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16304
[startup+1.5012 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1831120/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18628 CPUtime=1.48
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5702 0 0 0 146 2 0 0 25 0 1 0 146774141 19075072 4560 1992294400 134512640 135151029 4294956240 18446744073709551615 134548454 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4657 4560 79 155 0 4500 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18628
[startup+3.10135 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830736/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=17732 CPUtime=3.08
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5727 0 0 0 306 2 0 0 25 0 1 0 146774141 18157568 4328 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4433 4328 79 155 0 4276 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17732
[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830608/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=17732 CPUtime=6.29
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5727 0 0 0 626 3 0 0 25 0 1 0 146774141 18157568 4328 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4433 4328 79 155 0 4276 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17732
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830304/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18024 CPUtime=12.69
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5917 0 0 0 1266 3 0 0 25 0 1 0 146774141 18456576 4389 1992294400 134512640 135151029 4294956240 18446744073709551615 134551388 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4506 4389 79 155 0 4349 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18024
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830304/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18024 CPUtime=25.48
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5917 0 0 0 2545 3 0 0 25 0 1 0 146774141 18456576 4389 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4506 4389 79 155 0 4349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18024
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830432/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18024 CPUtime=51.08
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 5917 0 0 0 5105 3 0 0 25 0 1 0 146774141 18456576 4389 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4506 4389 79 155 0 4349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18024
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1830240/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18272 CPUtime=102.27
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 6238 0 0 0 10223 4 0 0 25 0 1 0 146774141 18710528 4452 1992294400 134512640 135151029 4294956240 18446744073709551615 134574341 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4568 4452 79 155 0 4411 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18272
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1829856/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=18668 CPUtime=162.25
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 6337 0 0 0 16221 4 0 0 25 0 1 0 146774141 19116032 4551 1992294400 134512640 135151029 4294956240 18446744073709551615 134554726 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4667 4551 79 155 0 4510 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18668
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1828448/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=19948 CPUtime=222.23
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 7266 0 0 0 22218 5 0 0 25 0 1 0 146774141 20426752 4871 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 4987 4871 79 155 0 4830 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19948
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1828256/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=20244 CPUtime=282.22
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 7455 0 0 0 28216 6 0 0 25 0 1 0 146774141 20729856 4931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554513 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 5061 4931 79 155 0 4904 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20244
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1827744/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=20656 CPUtime=342.2
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 8981 0 0 0 34213 7 0 0 25 0 1 0 146774141 21151744 5053 1992294400 134512640 135151029 4294956240 18446744073709551615 134574262 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 5164 5053 79 155 0 5007 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20656
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1826848/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=21728 CPUtime=402.2
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 9207 0 0 0 40212 8 0 0 25 0 1 0 146774141 22249472 5279 1992294400 134512640 135151029 4294956240 18446744073709551615 134554537 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 5432 5279 79 155 0 5275 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 21728
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1825760/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=22840 CPUtime=462.17
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 9464 0 0 0 46209 8 0 0 25 0 1 0 146774141 23388160 5536 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 5710 5536 79 155 0 5553 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 22840
[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1825376/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=22956 CPUtime=522.17
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 9677 0 0 0 52208 9 0 0 25 0 1 0 146774141 23506944 5620 1992294400 134512640 135151029 4294956240 18446744073709551615 134578170 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 5739 5620 79 155 0 5582 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 22956
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1824160/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=24276 CPUtime=582.14
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 9988 0 0 0 58205 9 0 0 25 0 1 0 146774141 24858624 5931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 6069 5931 79 155 0 5912 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24276
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31862
/proc/meminfo: memFree=1823456/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=24816 CPUtime=642.14
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 10140 0 0 0 64204 10 0 0 25 0 1 0 146774141 25411584 6083 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 6204 6083 79 155 0 6047 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 24816
[startup+702.302 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1790432/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=53816 CPUtime=9100.04
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24139 0 0 0 909948 56 0 0 25 0 1 0 146774141 55107584 13127 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13454 13127 79 155 0 13297 0
Current children cumulated CPU time (s) 9100.04
Current children cumulated vsize (KiB) 53816
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789728/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9160.03
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24309 0 0 0 915947 56 0 0 25 0 1 0 146774141 55967744 13297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13297 79 155 0 13507 0
Current children cumulated CPU time (s) 9160.03
Current children cumulated vsize (KiB) 54656
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789728/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9220.02
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24309 0 0 0 921946 56 0 0 25 0 1 0 146774141 55967744 13297 1992294400 134512640 135151029 4294956240 18446744073709551615 134551780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13297 79 155 0 13507 0
Current children cumulated CPU time (s) 9220.02
Current children cumulated vsize (KiB) 54656
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789728/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9280
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24309 0 0 0 927944 56 0 0 25 0 1 0 146774141 55967744 13297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13297 79 155 0 13507 0
Current children cumulated CPU time (s) 9280
Current children cumulated vsize (KiB) 54656
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789664/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9339.98
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24309 0 0 0 933942 56 0 0 25 0 1 0 146774141 55967744 13297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13297 79 155 0 13507 0
Current children cumulated CPU time (s) 9339.98
Current children cumulated vsize (KiB) 54656
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789408/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9399.97
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24367 0 0 0 939940 57 0 0 25 0 1 0 146774141 55967744 13355 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13355 79 155 0 13507 0
Current children cumulated CPU time (s) 9399.97
Current children cumulated vsize (KiB) 54656
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789280/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54656 CPUtime=9459.96
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24402 0 0 0 945939 57 0 0 25 0 1 0 146774141 55967744 13390 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13664 13390 79 155 0 13507 0
Current children cumulated CPU time (s) 9459.96
Current children cumulated vsize (KiB) 54656
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1789152/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=54824 CPUtime=9519.94
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24430 0 0 0 951937 57 0 0 25 0 1 0 146774141 56139776 13418 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13706 13418 79 155 0 13549 0
Current children cumulated CPU time (s) 9519.94
Current children cumulated vsize (KiB) 54824
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1788896/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=55208 CPUtime=9579.92
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24502 0 0 0 957935 57 0 0 25 0 1 0 146774141 56532992 13490 1992294400 134512640 135151029 4294956240 18446744073709551615 134555317 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13802 13490 79 155 0 13645 0
Current children cumulated CPU time (s) 9579.92
Current children cumulated vsize (KiB) 55208
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1788512/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=55720 CPUtime=9639.9
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24590 0 0 0 963933 57 0 0 25 0 1 0 146774141 57057280 13578 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13930 13578 79 155 0 13773 0
Current children cumulated CPU time (s) 9639.9
Current children cumulated vsize (KiB) 55720
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1788256/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=55976 CPUtime=9699.9
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24612 0 0 0 969932 58 0 0 25 0 1 0 146774141 57319424 13600 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13994 13600 79 155 0 13837 0
Current children cumulated CPU time (s) 9699.9
Current children cumulated vsize (KiB) 55976
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31880
/proc/meminfo: memFree=1788192/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=55976 CPUtime=9759.88
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24636 0 0 0 975930 58 0 0 25 0 1 0 146774141 57319424 13624 1992294400 134512640 135151029 4294956240 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13994 13624 79 155 0 13837 0
Current children cumulated CPU time (s) 9759.88
Current children cumulated vsize (KiB) 55976
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787936/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=55976 CPUtime=9819.86
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24638 0 0 0 981927 59 0 0 25 0 1 0 146774141 57319424 13626 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 13994 13626 79 155 0 13837 0
Current children cumulated CPU time (s) 9819.86
Current children cumulated vsize (KiB) 55976
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787936/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=56360 CPUtime=9879.85
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24672 0 0 0 987926 59 0 0 25 0 1 0 146774141 57712640 13660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 14090 13660 79 155 0 13933 0
Current children cumulated CPU time (s) 9879.85
Current children cumulated vsize (KiB) 56360
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787936/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=56360 CPUtime=9939.83
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24672 0 0 0 993924 59 0 0 25 0 1 0 146774141 57712640 13660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 14090 13660 79 155 0 13933 0
Current children cumulated CPU time (s) 9939.83
Current children cumulated vsize (KiB) 56360
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787872/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=56360 CPUtime=9999.82
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24690 0 0 0 999923 59 0 0 25 0 1 0 146774141 57712640 13678 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 14090 13678 79 155 0 13933 0
Current children cumulated CPU time (s) 9999.82
Current children cumulated vsize (KiB) 56360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787872/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=56360 CPUtime=10000
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24690 0 0 0 999943 59 0 0 25 0 1 0 146774141 57712640 13678 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 14090 13678 79 155 0 13933 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 56360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31886
/proc/meminfo: memFree=1787872/2055920 swapFree=4181312/4192956
[pid=31861] ppid=31859 vsize=56360 CPUtime=10000
/proc/31861/stat : 31861 (precosat) R 31859 31861 31824 0 -1 4194304 24690 0 0 0 999943 59 0 0 25 0 1 0 146774141 57712640 13678 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31861/statm: 14090 13678 79 155 0 13933 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 56360
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.5
CPU time (s): 10000
CPU user time (s): 9999.43
CPU system time (s): 0.604908
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 56360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.43
system time used= 0.604908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24690
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= 2
involuntary context switches= 16275
runsolver used 7.55885 second user time and 20.4979 second system time
The end
Begin job on node48 at 2009-05-01 16:17:44
IDJOB=1773981
IDBENCH=70839
IDSOLVER=607
FILE ID=node48/1773981-1241187464
PBS_JOBID= 9224621
Free space on /tmp= 66396 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-31-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773981-1241187464/watcher-1773981-1241187464 -o /tmp/evaluation-result-1773981-1241187464/solver-1773981-1241187464 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773981-1241187464.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED=988901146
node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1848568 kB
Buffers: 20160 kB
Cached: 109156 kB
SwapCached: 5460 kB
Active: 13820 kB
Inactive: 123244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848568 kB
SwapTotal: 4192956 kB
SwapFree: 4181312 kB
Dirty: 2332 kB
Writeback: 0 kB
Mapped: 13448 kB
Slab: 56312 kB
Committed_AS: 754740 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66392 MiB
End job on node48 at 2009-05-01 19:04:29