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-1774001-1241187562.cnf
0.00/0.00 c found header 'p cnf 32312 97285'
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 97093 31366 95 851 0 0 0 0.0 0 8
1.69/1.76 c s 1.8 60014 9622 698 876 21116 0 0 0.0 0 7
1.69/1.76 c l 1.8 60014 9622 698 876 21116 0 21039 0.0 0 7
1.79/1.85 c R 1.9 60481 9619 700 877 21116 109 104 36.7 17 8
1.89/1.96 c R 2.0 60641 9619 700 877 21116 209 204 35.2 17 8
2.69/2.73 c R 2.7 71545 9615 700 881 21116 811 804 35.1 17 9
2.89/2.96 c B 3.0 71573 9615 700 881 21116 1000 993 34.8 17 9
3.79/3.80 c s 3.8 82312 9607 705 884 21116 1242 1229 34.5 17 9
5.79/5.80 c B 5.8 82555 9592 715 889 21116 2002 1987 32.4 18 10
6.78/6.86 c s 6.9 81354 9460 754 889 21209 2279 2109 32.3 12 9
6.78/6.86 c - 6.9 81354 9460 754 889 21209 2279 20829 32.3 12 9
6.88/6.97 c R 7.0 81368 9456 754 893 21209 2412 2241 32.2 13 9
9.38/9.44 c s 9.4 81691 9455 754 894 21209 3043 2872 31.5 17 9
12.49/12.54 c s 12.5 81831 9445 754 894 21219 4058 3800 32.4 16 9
15.19/15.23 c s 15.2 81859 9445 754 894 21219 5070 4811 31.9 16 10
17.89/17.97 c s 18.0 81877 9445 754 894 21219 5893 5634 31.7 18 10
19.69/19.77 c R 19.8 81879 9445 754 894 21219 6417 6158 31.7 17 10
20.79/20.82 c s 20.8 81879 9445 754 894 21219 6752 6493 31.8 13 10
23.49/23.59 c s 23.6 81882 9445 754 894 21219 7424 7164 31.7 18 10
25.29/25.35 c
25.29/25.35 c original/binary fixed eliminated learned agility
25.29/25.35 c seconds variables equivalent conflicts height MB
25.29/25.35 c
25.29/25.35 c B 25.3 81883 9445 754 894 21219 8002 7742 32.0 17 11
26.29/26.37 c s 26.4 81884 9445 754 894 21219 8244 7983 32.0 17 10
30.28/30.33 c s 30.3 81885 9445 754 894 21219 9690 9429 32.8 17 10
33.28/33.30 c s 33.3 81899 9445 754 894 21219 10484 10222 32.8 17 11
36.78/36.81 c s 36.8 81693 9420 762 896 21234 11157 10883 32.8 17 11
39.78/39.88 c s 39.9 81695 9420 762 896 21234 11869 11595 33.0 17 11
42.88/42.99 c s 43.0 81703 9420 762 896 21234 12537 12263 32.7 17 11
45.98/46.07 c s 46.1 81707 9420 762 896 21234 13165 12890 32.6 18 11
49.17/49.23 c s 49.2 81708 9420 762 896 21234 13849 13574 32.5 17 11
57.27/57.31 c R 57.3 81708 9420 762 896 21234 16042 15767 32.3 17 13
60.07/60.16 c s 60.1 81709 9420 762 896 21234 16610 16334 32.3 13 12
63.37/63.43 c s 63.4 81711 9420 762 896 21234 17492 17216 32.3 16 12
71.47/71.58 c s 71.6 81712 9420 762 896 21234 19243 18966 32.1 16 12
74.96/75.05 c s 75.0 81716 9420 762 896 21234 20010 19733 32.1 12 13
78.36/78.44 c s 78.4 81718 9420 762 896 21234 20764 20486 32.1 17 13
78.66/78.70 c + 78.7 81718 9420 762 896 21234 20829 22911 32.1 16 13
81.86/81.93 c s 81.9 81720 9420 762 896 21234 21434 21155 32.0 17 13
89.56/89.65 c B 89.6 81720 9420 762 896 21234 24009 22953 32.4 17 14
90.86/90.94 c s 90.9 81721 9420 762 896 21234 24238 22933 32.3 16 13
94.36/94.48 c
94.36/94.48 c original/binary fixed eliminated learned agility
94.36/94.48 c seconds variables equivalent conflicts height MB
94.36/94.48 c
94.36/94.48 c s 94.5 81724 9420 762 896 21234 24953 22921 32.3 16 13
99.06/99.14 c s 99.1 81725 9420 762 896 21234 26014 22947 32.4 17 13
99.16/99.24 c + 99.2 81725 9420 762 896 21234 26037 25202 32.4 17 13
103.55/103.68 c s 103.7 81727 9420 762 896 21234 27348 24246 32.6 16 13
107.16/107.29 c s 107.3 81731 9420 762 896 21234 28137 25035 32.5 17 13
110.86/110.92 c s 110.9 81732 9420 762 896 21234 29167 25213 32.4 15 14
114.56/114.60 c s 114.6 81733 9420 762 896 21234 29918 25223 32.4 17 14
118.16/118.29 c s 118.3 81734 9420 762 896 21234 30881 25228 32.3 15 13
121.86/121.99 c s 122.0 81737 9420 762 896 21234 31820 25224 32.3 18 13
125.36/125.48 c + 125.4 81737 9420 762 896 21234 32547 27722 32.2 16 15
142.35/142.44 c R 142.4 81737 9420 762 896 21234 38488 27748 32.8 12 16
152.65/152.72 c + 152.7 81737 9420 762 896 21234 40681 30494 32.7 16 16
189.23/189.32 c s 189.3 81738 9420 762 896 21234 48703 30512 32.4 17 14
197.53/197.65 c + 197.6 81738 9420 762 896 21234 50852 33543 32.3 18 16
198.83/198.99 c s 198.9 81739 9420 762 896 21234 51307 30997 32.3 18 15
209.43/209.55 c s 209.5 81743 9420 762 896 21234 53859 33548 32.2 17 15
213.43/213.58 c s 213.5 81747 9420 762 896 21234 54607 33586 32.1 16 15
228.52/228.67 c s 228.6 81748 9420 762 896 21234 58377 33555 32.1 18 15
238.42/238.57 c s 238.5 81752 9420 762 896 21234 60588 33575 32.0 14 15
242.52/242.68 c
242.52/242.68 c original/binary fixed eliminated learned agility
242.52/242.68 c seconds variables equivalent conflicts height MB
242.52/242.68 c
242.52/242.68 c s 242.6 81755 9420 762 896 21234 61680 33578 32.0 17 15
246.51/246.64 c s 246.6 81758 9420 762 896 21234 62457 33594 32.0 17 15
252.11/252.21 c + 252.1 81758 9420 762 896 21234 63566 36897 32.0 18 16
254.31/254.44 c B 254.4 81758 9420 762 896 21234 64021 34051 32.0 18 16
282.01/282.18 c s 282.1 81759 9420 762 896 21234 71260 36945 32.2 18 16
290.50/290.66 c s 290.6 81761 9420 762 896 21234 73358 36934 32.1 19 16
302.10/302.21 c s 302.1 81762 9420 762 896 21234 76121 36943 32.1 17 16
316.70/316.82 c + 316.7 81762 9420 762 896 21234 79456 40586 32.0 17 17
343.68/343.81 c s 343.7 81763 9420 762 896 21234 85638 40620 31.8 16 16
356.19/356.38 c s 356.3 81764 9420 762 896 21234 88536 40609 31.7 17 16
361.79/361.92 c R 361.8 81764 9420 762 896 21234 89775 40614 31.7 16 18
401.77/401.97 c + 401.9 81764 9420 762 896 21234 99320 44644 31.6 17 18
503.94/504.15 c + 504.0 81764 9420 762 896 21234 124150 49108 31.3 19 20
514.44/514.68 c s 514.5 81768 9420 762 896 21234 126779 47306 31.2 17 18
534.13/534.36 c s 534.2 81769 9420 762 896 21234 131001 49138 31.2 14 18
565.13/565.31 c s 565.1 81778 9420 762 896 21234 138033 49150 31.2 17 18
626.40/626.62 c s 626.4 81779 9420 762 896 21234 152058 49150 31.1 18 18
639.90/640.11 c + 639.9 81779 9420 762 896 21234 155186 54018 31.1 18 20
657.80/658.07 c B 657.9 81779 9420 762 896 21234 160043 54040 31.1 15 22
696.18/696.45 c
696.18/696.45 c original/binary fixed eliminated learned agility
696.18/696.45 c seconds variables equivalent conflicts height MB
696.18/696.45 c
696.18/696.45 c s 696.3 81780 9420 762 896 21234 168250 54053 31.2 17 19
773.16/773.40 c s 773.2 81781 9420 762 896 21234 186148 54071 31.1 16 19
791.15/791.49 c s 791.3 81782 9420 762 896 21234 191890 54059 31.1 18 19
796.25/796.59 c + 796.4 81783 9420 762 896 21234 193980 59419 31.1 16 21
797.16/797.41 c s 797.2 81783 9420 762 896 21234 194225 54277 31.1 17 19
802.45/802.79 c s 802.6 81784 9420 762 896 21234 196358 56409 31.2 18 20
843.05/843.34 c R 843.1 81784 9420 762 896 21234 205124 59509 31.1 15 22
844.55/844.83 c s 844.6 81785 9420 762 896 21234 206009 59461 31.3 12 20
878.23/878.51 c s 878.3 81786 9420 762 896 21234 213827 59507 31.3 17 20
945.31/945.60 c s 945.3 81789 9420 762 896 21234 231655 59476 31.2 18 20
951.01/951.35 c s 951.1 81791 9420 762 896 21234 232826 59476 31.2 17 20
956.91/957.21 c s 956.9 81800 9420 762 896 21234 234519 59473 31.2 17 20
990.50/990.80 c + 990.5 81800 9420 762 896 21234 242476 65360 31.3 17 24
1190.24/1190.68 c s 1190.3 81801 9420 762 896 21234 287529 65409 31.2 18 21
1209.54/1209.95 c s 1209.6 81802 9420 762 896 21234 291575 65409 31.2 17 21
1255.83/1256.28 c s 1255.9 81803 9420 762 896 21234 302235 65408 31.3 15 21
1260.02/1260.48 c + 1260.1 81803 9420 762 896 21234 303099 71896 31.3 18 23
1335.20/1335.63 c s 1335.2 81804 9420 762 896 21234 320648 71952 31.2 18 23
1343.29/1343.74 c s 1343.3 81805 9420 762 896 21234 322327 71943 31.2 18 22
1389.18/1389.66 c
1389.18/1389.66 c original/binary fixed eliminated learned agility
1389.18/1389.66 c seconds variables equivalent conflicts height MB
1389.18/1389.66 c
1389.18/1389.66 c s 1389.2 81806 9420 762 896 21234 333280 71944 31.1 17 22
1424.47/1424.91 c s 1424.5 81807 9420 762 896 21234 341066 71943 31.1 15 23
1441.77/1442.23 c s 1441.8 81808 9420 762 896 21234 344745 71952 31.1 17 22
1448.17/1448.61 c s 1448.2 81809 9420 762 896 21234 346068 71958 31.1 17 22
1454.56/1455.08 c s 1454.7 81812 9420 762 896 21234 347663 71928 31.1 15 22
1589.72/1590.20 c + 1589.7 81812 9420 762 896 21234 378871 79085 31.1 18 27
1613.61/1614.12 c B 1613.6 81812 9420 762 896 21234 384079 77148 31.1 18 28
1655.20/1655.70 c s 1655.2 81813 9420 762 896 21234 395924 79129 31.2 16 24
1959.31/1959.99 c R 1959.4 81813 9420 762 896 21234 461424 79158 31.0 18 29
2015.70/2016.35 c + 2015.8 81813 9420 762 896 21234 473585 86993 31.0 20 30
2312.21/2312.97 c s 2312.3 81817 9420 762 896 21234 532739 87046 30.8 18 28
2328.30/2329.05 c s 2328.4 81818 9420 762 896 21234 536211 87071 30.9 14 28
2335.70/2336.45 c s 2335.8 81819 9420 762 896 21234 537471 87053 30.8 18 28
2342.90/2343.68 c s 2343.0 81820 9420 762 896 21234 538996 87023 30.8 18 28
2589.12/2589.98 c + 2589.2 81820 9420 762 896 21234 591980 95692 30.8 14 32
2660.60/2661.43 c s 2660.6 81821 9420 762 896 21234 608826 95729 30.9 18 28
2668.69/2669.54 c s 2668.8 81822 9420 762 896 21234 610418 95762 30.9 18 27
2919.32/2920.23 c s 2919.4 81823 9420 762 896 21234 660724 95751 30.9 17 27
3044.19/3045.13 c s 3044.2 81824 9420 762 896 21234 687642 95773 30.8 18 27
3052.58/3053.50 c
3052.58/3053.50 c original/binary fixed eliminated learned agility
3052.58/3053.50 c seconds variables equivalent conflicts height MB
3052.58/3053.50 c
3052.58/3053.50 c s 3052.6 81825 9420 762 896 21234 689152 95762 30.8 18 27
3293.22/3294.24 c + 3293.3 81825 9420 762 896 21234 739975 105261 30.8 19 32
3490.45/3491.51 c s 3490.5 81826 9420 762 896 21234 781814 105319 30.8 17 28
3557.93/3559.09 c s 3558.0 81830 9420 762 896 21234 796266 105346 30.8 17 29
3566.63/3567.76 c s 3566.7 81831 9420 762 896 21234 797804 105342 30.8 17 29
3955.01/3956.27 c s 3955.1 81832 9420 762 896 21234 876081 105353 30.8 18 29
4058.29/4059.53 c B 4058.3 81832 9420 762 896 21234 896159 105338 30.7 18 34
4205.64/4206.98 c + 4205.7 81832 9420 762 896 21234 924966 115787 30.8 16 36
4429.18/4430.51 c s 4429.2 81833 9420 762 896 21234 974767 115856 30.7 18 30
4650.11/4651.56 c R 4650.2 81833 9420 762 896 21234 1025287 115836 30.6 19 33
4653.62/4655.05 c s 4653.7 81837 9420 762 896 21234 1025675 115876 30.6 17 29
5201.94/5203.51 c s 5202.0 81838 9420 762 896 21234 1120006 115854 30.4 15 29
5211.65/5213.25 c s 5211.7 81843 9420 762 896 21234 1121413 115819 30.5 15 29
5328.21/5329.81 c s 5328.2 81844 9420 762 896 21234 1145594 115838 30.5 20 29
5381.90/5383.50 c + 5381.9 81844 9420 762 896 21234 1156206 127365 30.5 18 36
5920.34/5922.17 c s 5920.4 81845 9420 762 896 21234 1258107 127459 30.5 18 33
6038.80/6040.61 c s 6038.8 81847 9420 762 896 21234 1281775 127404 30.5 18 34
6313.72/6315.61 c s 6313.7 81849 9420 762 896 21234 1333480 127437 30.6 17 34
6323.82/6325.71 c s 6323.8 81851 9420 762 896 21234 1335239 127432 30.6 17 34
6335.22/6337.18 c
6335.22/6337.18 c original/binary fixed eliminated learned agility
6335.22/6337.18 c seconds variables equivalent conflicts height MB
6335.22/6337.18 c
6335.22/6337.18 c s 6335.3 81853 9420 762 896 21234 1337324 127434 30.6 17 34
6405.89/6407.83 c s 6405.9 81854 9420 762 896 21234 1350979 127414 30.6 18 35
6416.89/6418.87 c s 6417.0 81860 9420 762 896 21234 1352803 127410 30.6 18 35
6914.54/6916.65 c + 6914.6 81860 9420 762 896 21234 1445256 140101 30.6 18 43
6968.53/6970.67 c s 6968.6 81861 9420 762 896 21234 1455454 137618 30.6 16 36
7073.20/7075.32 c s 7073.2 81862 9420 762 896 21234 1474016 140151 30.6 17 37
7437.30/7439.53 c s 7437.3 81863 9420 762 896 21234 1540053 140176 30.6 18 36
7739.51/7741.81 c s 7739.5 81864 9420 762 896 21234 1595479 140186 30.5 17 36
8199.88/8202.36 c s 8199.9 81865 9420 762 896 21234 1675667 140146 30.4 13 37
8581.46/8584.05 c s 8581.5 81866 9420 762 896 21234 1743899 140188 30.4 17 36
8855.88/8858.54 c s 8855.9 81867 9420 762 896 21234 1792478 140162 30.4 19 36
8867.78/8870.46 c s 8867.8 81873 9420 762 896 21234 1794503 140137 30.4 15 36
8879.47/8882.14 c s 8879.5 81875 9420 762 896 21234 1796495 140190 30.4 19 36
8940.95/8943.64 c + 8941.0 81875 9420 762 896 21234 1806571 154111 30.4 17 43
10000.04/10003.00 c
10000.04/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.04/10003.00 c
10000.04/10003.00 c 1991756 conflicts, 2544642 decisions, 2 random
10000.04/10003.00 c 1 iterations, 3898 restarts, 0 skipped
10000.04/10003.00 c 21 enlarged, 664 shrunken, 19454 rescored, 509 rebiased
10000.04/10003.00 c 104 simplifications, 0 reductions
10000.04/10003.00 c
10000.04/10003.00 c vars: 762 fixed, 896 equiv, 21234 elim, 908 merged
10000.04/10003.00 c elim: 1319700 resolutions, 4 phases, 4 rounds
10000.04/10003.00 c sbst: 92% substituted, 0.6% nots, 98.3% ands, 0.9% xors, 0.1% ites
10000.04/10003.00 c arty: 2.26 and 2.03 xor average arity
10000.04/10003.00 c prbe: 9326899 probed, 4448 phases, 495 rounds
10000.04/10003.00 c prbe: 10 failed, 72 lifted, 14 merged
10000.04/10003.00 c sccs: 3 non trivial, 0 fixed, 3 merged
10000.04/10003.00 c hash: 46 units, 891 merged
10000.04/10003.00 c mins: 91425527 learned, 89% deleted, 28 strong, 53 depth
10000.04/10003.00 c subs: 1493 forward, 1013 backward, 410 doms
10000.04/10003.00 c strs: 7925 forward, 1016 backward
10000.04/10003.00 c doms: 4545 dominators, 400 high, 0 low
10000.04/10003.00 c prps: 9099224989 propagations, 0.91 megaprops
10000.04/10003.00 c
10000.04/10003.00 c 10000.1 seconds, 52 MB max, 375 MB recycled
10000.04/10003.00 c
10000.04/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.04/10003.00 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774001-1241187562/watcher-1774001-1241187562 -o /tmp/evaluation-result-1774001-1241187562/solver-1774001-1241187562 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774001-1241187562.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.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=2064 CPUtime=0
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 399 0 0 0 0 0 0 0 18 0 1 0 146780586 2113536 384 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/16828/statm: 516 385 59 155 0 359 0
[startup+0.057609 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=6092 CPUtime=0.04
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 1468 0 0 0 4 0 0 0 18 0 1 0 146780586 6238208 1420 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 1523 1420 64 155 0 1366 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6092
[startup+0.101614 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=8064 CPUtime=0.09
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 2006 0 0 0 8 1 0 0 18 0 1 0 146780586 8257536 1893 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 2016 1893 64 155 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8064
[startup+0.301646 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=13216 CPUtime=0.29
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 3469 0 0 0 28 1 0 0 19 0 1 0 146780586 13533184 3226 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 3304 3226 79 155 0 3147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13216
[startup+0.701699 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=16320 CPUtime=0.69
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 4968 0 0 0 67 2 0 0 22 0 1 0 146780586 16711680 3955 1992294400 134512640 135151029 4294956240 18446744073709551615 134519522 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4080 3955 79 155 0 3923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16320
[startup+1.50181 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956840/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18644 CPUtime=1.49
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5702 0 0 0 146 3 0 0 25 0 1 0 146780586 19091456 4560 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4661 4560 79 155 0 4504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18644
[startup+3.10104 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956456/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=17748 CPUtime=3.09
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5728 0 0 0 306 3 0 0 25 0 1 0 146780586 18173952 4329 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4437 4329 79 155 0 4280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17748
[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956328/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=17748 CPUtime=6.29
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5728 0 0 0 626 3 0 0 25 0 1 0 146780586 18173952 4329 1992294400 134512640 135151029 4294956240 18446744073709551615 134684993 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4437 4329 79 155 0 4280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17748
[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=12.69
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6049 0 0 0 1265 4 0 0 25 0 1 0 146780586 18468864 4392 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4392 79 155 0 4352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18036
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=25.49
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6049 0 0 0 2545 4 0 0 25 0 1 0 146780586 18468864 4392 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4392 79 155 0 4352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18036
[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=51.07
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6179 0 0 0 5103 4 0 0 25 0 1 0 146780586 18468864 4393 1992294400 134512640 135151029 4294956240 18446744073709551615 134573914 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4393 79 155 0 4352 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18036
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=102.26
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6179 0 0 0 10222 4 0 0 25 0 1 0 146780586 18468864 4393 1992294400 134512640 135151029 4294956240 18446744073709551615 134554708 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4393 79 155 0 4352 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18036
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=955432/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18820 CPUtime=162.24
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6390 0 0 0 16219 5 0 0 25 0 1 0 146780586 19271680 4604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4705 4604 79 155 0 4548 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18820
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=954216/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=20084 CPUtime=222.23
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 7255 0 0 0 22217 6 0 0 25 0 1 0 146780586 20566016 4904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5021 4904 79 155 0 4864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20084
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=953576/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=21332 CPUtime=282.21
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8196 0 0 0 28214 7 0 0 25 0 1 0 146780586 21843968 5200 1992294400 134512640 135151029 4294956240 18446744073709551615 134542670 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5333 5200 79 155 0 5176 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21332
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=952808/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=21484 CPUtime=342.19
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8502 0 0 0 34212 7 0 0 25 0 1 0 146780586 21999616 5248 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5371 5248 79 155 0 5214 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21484
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=952232/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=22024 CPUtime=402.17
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8901 0 0 0 40209 8 0 0 25 0 1 0 146780586 22552576 5389 1992294400 134512640 135151029 4294956240 18446744073709551615 134580663 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5506 5389 79 155 0 5349 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22024
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=951208/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=23148 CPUtime=462.15
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9147 0 0 0 46207 8 0 0 25 0 1 0 146780586 23703552 5635 1992294400 134512640 135151029 4294956240 18446744073709551615 134552196 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5787 5635 79 155 0 5630 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 23148
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=950248/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24036 CPUtime=522.14
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9517 0 0 0 52205 9 0 0 25 0 1 0 146780586 24612864 5876 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6009 5876 79 155 0 5852 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24036
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=949480/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24552 CPUtime=582.12
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9824 0 0 0 58203 9 0 0 25 0 1 0 146780586 25141248 6054 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6138 6054 79 155 0 5981 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24552
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=949608/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24356 CPUtime=642.1
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9872 0 0 0 64201 9 0 0 25 0 1 0 146780586 24940544 5973 1992294400 134512640 135151029 4294956240 18446744073709551615 134555021 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6089 5973 79 155 0 5932 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 24356
[startup+702.301 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921448/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52740 CPUtime=9039.63
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21598 0 0 0 903925 38 0 0 25 0 1 0 146780586 54005760 12947 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13185 12947 79 155 0 13028 0
Current children cumulated CPU time (s) 9039.63
Current children cumulated vsize (KiB) 52740
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921384/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52740 CPUtime=9099.61
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21624 0 0 0 909923 38 0 0 25 0 1 0 146780586 54005760 12973 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13185 12973 79 155 0 13028 0
Current children cumulated CPU time (s) 9099.61
Current children cumulated vsize (KiB) 52740
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921384/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52900 CPUtime=9159.59
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21629 0 0 0 915921 38 0 0 25 0 1 0 146780586 54169600 12978 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13225 12978 79 155 0 13068 0
Current children cumulated CPU time (s) 9159.59
Current children cumulated vsize (KiB) 52900
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921128/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=53156 CPUtime=9219.57
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21679 0 0 0 921919 38 0 0 25 0 1 0 146780586 54431744 13028 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13289 13028 79 155 0 13132 0
Current children cumulated CPU time (s) 9219.57
Current children cumulated vsize (KiB) 53156
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=920680/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=53564 CPUtime=9279.56
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21802 0 0 0 927917 39 0 0 25 0 1 0 146780586 54849536 13151 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13391 13151 79 155 0 13234 0
Current children cumulated CPU time (s) 9279.56
Current children cumulated vsize (KiB) 53564
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919912/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=54556 CPUtime=9339.54
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21980 0 0 0 933915 39 0 0 25 0 1 0 146780586 55865344 13329 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13639 13329 79 155 0 13482 0
Current children cumulated CPU time (s) 9339.54
Current children cumulated vsize (KiB) 54556
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919464/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55068 CPUtime=9399.51
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22101 0 0 0 939912 39 0 0 25 0 1 0 146780586 56389632 13450 1992294400 134512640 135151029 4294956240 18446744073709551615 134555227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13767 13450 79 155 0 13610 0
Current children cumulated CPU time (s) 9399.51
Current children cumulated vsize (KiB) 55068
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919208/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55452 CPUtime=9459.5
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22168 0 0 0 945911 39 0 0 25 0 1 0 146780586 56782848 13517 1992294400 134512640 135151029 4294956240 18446744073709551615 134555042 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13863 13517 79 155 0 13706 0
Current children cumulated CPU time (s) 9459.5
Current children cumulated vsize (KiB) 55452
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919016/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55644 CPUtime=9519.48
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22216 0 0 0 951908 40 0 0 25 0 1 0 146780586 56979456 13565 1992294400 134512640 135151029 4294956240 18446744073709551615 134574103 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13911 13565 79 155 0 13754 0
Current children cumulated CPU time (s) 9519.48
Current children cumulated vsize (KiB) 55644
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=918824/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56028 CPUtime=9579.47
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22270 0 0 0 957907 40 0 0 25 0 1 0 146780586 57372672 13619 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14007 13619 79 155 0 13850 0
Current children cumulated CPU time (s) 9579.47
Current children cumulated vsize (KiB) 56028
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=918632/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56284 CPUtime=9639.45
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22312 0 0 0 963905 40 0 0 25 0 1 0 146780586 57634816 13661 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14071 13661 79 155 0 13914 0
Current children cumulated CPU time (s) 9639.45
Current children cumulated vsize (KiB) 56284
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16853
/proc/meminfo: memFree=918248/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56540 CPUtime=9699.42
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22355 0 0 0 969902 40 0 0 25 0 1 0 146780586 57896960 13704 1992294400 134512640 135151029 4294956240 18446744073709551615 134555125 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14135 13704 79 155 0 13978 0
Current children cumulated CPU time (s) 9699.42
Current children cumulated vsize (KiB) 56540
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9759.4
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22407 0 0 0 975900 40 0 0 25 0 1 0 146780586 58093568 13756 1992294400 134512640 135151029 4294956240 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13756 79 155 0 14026 0
Current children cumulated CPU time (s) 9759.4
Current children cumulated vsize (KiB) 56732
[startup+9822.3 s]
/proc/loadavg: 1.11 1.03 0.98 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9819.4
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22409 0 0 0 981899 41 0 0 25 0 1 0 146780586 58093568 13758 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13758 79 155 0 14026 0
Current children cumulated CPU time (s) 9819.4
Current children cumulated vsize (KiB) 56732
[startup+9882.3 s]
/proc/loadavg: 1.04 1.02 0.98 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9879.38
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22422 0 0 0 987897 41 0 0 25 0 1 0 146780586 58093568 13771 1992294400 134512640 135151029 4294956240 18446744073709551615 134574626 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13771 79 155 0 14026 0
Current children cumulated CPU time (s) 9879.38
Current children cumulated vsize (KiB) 56732
[startup+9942.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/65 16853
/proc/meminfo: memFree=918056/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=9939.36
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22454 0 0 0 993895 41 0 0 25 0 1 0 146780586 58343424 13803 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13803 79 155 0 14087 0
Current children cumulated CPU time (s) 9939.36
Current children cumulated vsize (KiB) 56976
[startup+10002.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 16853
/proc/meminfo: memFree=917992/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=9999.34
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22457 0 0 0 999893 41 0 0 25 0 1 0 146780586 58343424 13806 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13806 79 155 0 14087 0
Current children cumulated CPU time (s) 9999.34
Current children cumulated vsize (KiB) 56976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 16853
/proc/meminfo: memFree=917992/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=10000
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22457 0 0 0 999963 41 0 0 25 0 1 0 146780586 58343424 13806 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13806 79 155 0 14087 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 56976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003
CPU time (s): 10000.1
CPU user time (s): 9999.64
CPU system time (s): 0.423935
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 56976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.64
system time used= 0.423935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22457
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= 19746
runsolver used 6.76997 second user time and 21.9257 second system time
The end
Begin job on node49 at 2009-05-01 16:19:22
IDJOB=1774001
IDBENCH=70843
IDSOLVER=607
FILE ID=node49/1774001-1241187562
PBS_JOBID= 9224623
Free space on /tmp= 66528 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774001-1241187562/watcher-1774001-1241187562 -o /tmp/evaluation-result-1774001-1241187562/solver-1774001-1241187562 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774001-1241187562.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED=177354005
node49.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.241
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.241
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: 974288 kB
Buffers: 85468 kB
Cached: 887968 kB
SwapCached: 5560 kB
Active: 62000 kB
Inactive: 919500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 974288 kB
SwapTotal: 4192956 kB
SwapFree: 4180508 kB
Dirty: 2392 kB
Writeback: 0 kB
Mapped: 13704 kB
Slab: 85860 kB
Committed_AS: 671848 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node49 at 2009-05-01 19:06:07