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-1783618-1241861802.cnf
0.00/0.00 c found header 'p cnf 1188 13833'
0.00/0.01 c finished parsing
0.00/0.01 c
0.00/0.01 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.01 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.01 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.01 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.01 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.01 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.01 c
0.00/0.01 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.01 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.01 c
0.00/0.01 c starting search after 0.0 seconds
0.00/0.01 c no decision limit
0.00/0.01 c
0.00/0.01 c original/binary fixed eliminated learned agility
0.00/0.01 c seconds variables equivalent conflicts height MB
0.00/0.01 c
0.00/0.01 c * 0.0 13833 1188 0 0 0 0 0 0.0 0 1
0.09/0.12 c s 0.1 13536 891 0 0 297 0 0 0.0 0 1
0.09/0.12 c l 0.1 13536 891 0 0 297 0 13536 0.0 0 1
0.09/0.13 c R 0.1 13536 891 0 0 297 100 100 175.8 14 1
0.09/0.14 c N 0.1 13537 891 0 0 297 200 199 153.7 30 1
0.19/0.21 c N 0.2 13537 891 0 0 297 804 803 113.4 38 1
0.19/0.23 c B 0.2 13537 891 0 0 297 1000 999 106.9 38 1
0.29/0.35 c B 0.4 13537 891 0 0 297 2000 1999 85.5 38 2
0.39/0.41 c N 0.4 13539 891 0 0 297 2410 2407 80.3 37 2
0.49/0.57 c s 0.6 13543 891 0 0 297 3480 3473 71.3 38 2
0.89/0.91 c N 0.9 13549 891 0 0 297 6418 6405 66.6 36 3
1.09/1.19 c s 1.2 13550 891 0 0 297 7984 7970 66.1 38 3
1.19/1.20 c B 1.2 13553 891 0 0 297 8003 7986 65.4 36 3
1.88/1.95 c + 2.0 13556 891 0 0 297 13537 14889 60.9 40 4
1.98/2.07 c s 2.1 13556 891 0 0 297 13982 13962 60.6 40 4
2.28/2.32 c N 2.3 13560 891 0 0 297 16039 14928 60.0 37 5
2.38/2.45 c + 2.5 13560 891 0 0 297 16921 16377 59.8 35 5
3.09/3.12 c + 3.1 13561 891 0 0 297 21150 18014 58.6 35 5
3.30/3.33 c s 3.3 13561 891 0 0 297 22083 17333 58.3 38 5
3.59/3.61 c
3.59/3.61 c original/binary fixed eliminated learned agility
3.59/3.61 c seconds variables equivalent conflicts height MB
3.59/3.61 c
3.59/3.61 c B 3.6 13564 891 0 0 297 24008 18057 57.6 40 5
3.89/3.93 c + 3.9 13564 891 0 0 297 26435 19815 56.8 38 5
4.69/4.78 c s 4.8 13564 891 0 0 297 31687 19874 55.4 41 5
4.89/4.98 c + 5.0 13564 891 0 0 297 33040 21796 55.2 38 5
5.89/5.91 c N 5.9 13566 891 0 0 297 38489 21813 54.5 36 6
6.39/6.44 c s 6.4 13566 891 0 0 297 40883 21833 54.3 37 5
6.49/6.52 c + 6.5 13569 891 0 0 297 41301 23975 54.3 35 6
8.38/8.43 c s 8.4 13572 891 0 0 297 51151 24028 53.8 39 6
8.48/8.52 c + 8.5 13575 891 0 0 297 51625 26372 53.8 35 6
10.39/10.44 c s 10.4 13579 891 0 0 297 62703 26417 52.9 40 6
10.59/10.63 c B 10.6 13580 891 0 0 297 64017 26428 53.3 39 7
10.59/10.70 c + 10.7 13580 891 0 0 297 64531 29009 53.4 38 7
12.59/12.66 c s 12.7 13586 891 0 0 297 75608 29107 53.9 38 7
13.28/13.39 c + 13.4 13586 891 0 0 297 80660 31909 53.6 38 8
15.09/15.12 c N 15.1 13615 891 0 0 297 89774 31948 52.9 38 9
15.29/15.37 c s 15.4 13615 891 0 0 297 90546 31953 52.9 39 8
17.29/17.32 c + 17.3 13617 891 0 0 297 100827 35099 53.2 40 9
17.98/18.01 c s 18.0 13618 891 0 0 297 103406 34516 53.1 39 9
20.79/20.87 c s 20.9 13625 891 0 0 297 117480 35138 52.8 39 8
22.68/22.72 c
22.68/22.72 c original/binary fixed eliminated learned agility
22.68/22.72 c seconds variables equivalent conflicts height MB
22.68/22.72 c
22.68/22.72 c + 22.7 13629 891 0 0 297 126032 38608 53.2 38 9
23.98/24.06 c s 24.1 13629 891 0 0 297 130521 38660 53.4 36 9
27.59/27.64 c s 27.6 13635 891 0 0 297 148184 38664 52.6 40 10
29.39/29.47 c + 29.5 13640 891 0 0 297 157540 42468 53.5 37 11
29.88/29.92 c B 29.9 13642 891 0 0 297 160033 41144 53.4 39 11
30.98/31.01 c s 31.0 13642 891 0 0 297 164862 42520 53.3 38 10
34.78/34.85 c s 34.8 13649 891 0 0 297 184094 42489 53.1 38 10
37.68/37.78 c + 37.8 13652 891 0 0 297 196925 46714 52.5 37 10
38.78/38.86 c s 38.8 13653 891 0 0 297 200565 46133 52.3 40 10
39.68/39.76 c N 39.7 13656 891 0 0 297 205199 46764 52.5 39 11
42.78/42.80 c s 42.8 13658 891 0 0 297 216932 46749 52.9 37 11
46.78/46.86 c s 46.8 13662 891 0 0 297 233557 46766 52.7 41 11
49.38/49.47 c + 49.5 13664 891 0 0 297 246156 51385 52.5 36 12
51.28/51.38 c s 51.4 13664 891 0 0 297 254379 51449 52.3 40 12
55.47/55.54 c s 55.5 13669 891 0 0 297 271162 51451 52.1 39 12
61.07/61.15 c s 61.1 13673 891 0 0 297 291449 51414 51.6 38 11
65.17/65.23 c + 65.2 13676 891 0 0 297 307695 56523 51.7 38 13
65.97/66.06 c s 66.0 13676 891 0 0 297 309863 53575 51.7 39 12
71.67/71.75 c s 71.7 13679 891 0 0 297 328436 56559 51.6 39 13
76.67/76.71 c
76.67/76.71 c original/binary fixed eliminated learned agility
76.67/76.71 c seconds variables equivalent conflicts height MB
76.67/76.71 c
76.67/76.71 c s 76.7 13681 891 0 0 297 348690 56567 51.4 39 13
81.57/81.61 c s 81.6 13685 891 0 0 297 370966 56574 51.2 42 13
84.57/84.65 c B 84.6 13687 891 0 0 297 384073 56576 51.1 37 14
84.77/84.80 c + 84.8 13687 891 0 0 297 384616 62175 51.1 37 14
86.87/86.98 c s 87.0 13688 891 0 0 297 391595 62214 51.0 38 14
92.77/92.86 c s 92.8 13691 891 0 0 297 414727 62220 51.1 36 14
98.87/98.95 c s 98.9 13700 891 0 0 297 438283 62261 50.8 40 15
105.96/106.05 c s 106.0 13702 891 0 0 297 461551 62224 50.7 38 15
106.06/106.12 c N 106.1 13704 891 0 0 297 461574 62209 50.7 38 16
110.46/110.55 c + 110.5 13704 891 0 0 297 480770 68392 50.8 38 16
112.26/112.38 c s 112.4 13704 891 0 0 297 486188 67667 50.9 38 16
130.25/130.31 c s 130.3 13705 891 0 0 297 536075 68447 50.0 38 16
138.25/138.30 c s 138.3 13708 891 0 0 297 564601 68442 50.3 39 16
144.75/144.83 c s 144.8 13710 891 0 0 297 586690 68437 50.2 39 15
148.94/149.01 c + 149.0 13711 891 0 0 297 600961 75231 50.3 36 17
151.65/151.78 c s 151.7 13711 891 0 0 297 609609 75266 50.3 38 17
158.44/158.57 c s 158.5 13714 891 0 0 297 635274 75275 50.2 36 17
166.04/166.18 c s 166.1 13718 891 0 0 297 661987 75281 50.3 40 18
174.15/174.22 c s 174.2 13719 891 0 0 297 684926 75256 50.3 38 18
181.45/181.53 c
181.45/181.53 c original/binary fixed eliminated learned agility
181.45/181.53 c seconds variables equivalent conflicts height MB
181.45/181.53 c
181.45/181.53 c s 181.5 13720 891 0 0 297 712578 75296 50.2 39 17
190.34/190.47 c s 190.4 13722 891 0 0 297 740667 75252 50.3 40 17
193.64/193.72 c + 193.7 13727 891 0 0 297 751201 82754 50.2 39 18
197.94/198.09 c s 198.0 13731 891 0 0 297 760896 82806 50.1 39 19
206.64/206.71 c s 206.7 13732 891 0 0 297 788856 82803 50.2 39 19
213.93/214.02 c s 214.0 13733 891 0 0 297 811392 82823 50.1 38 20
223.03/223.10 c s 223.0 13735 891 0 0 297 837576 82792 50.1 40 19
233.03/233.14 c s 233.1 13736 891 0 0 297 867870 82794 50.1 37 19
241.63/241.74 c s 241.7 13739 891 0 0 297 893999 82799 49.8 40 18
242.53/242.61 c B 242.5 13739 891 0 0 297 896182 82820 49.8 39 19
251.02/251.11 c s 251.0 13742 891 0 0 297 923003 82817 49.6 39 18
255.13/255.29 c + 255.2 13742 891 0 0 297 939001 91029 49.5 37 20
260.02/260.13 c s 260.1 13743 891 0 0 297 951755 91061 49.5 38 20
272.22/272.39 c s 272.3 13748 891 0 0 297 981138 91106 49.3 39 20
283.62/283.76 c s 283.7 13751 891 0 0 297 1015092 91083 49.2 39 20
287.91/288.01 c N 287.9 13752 891 0 0 297 1025558 91065 49.1 39 21
297.21/297.40 c s 297.3 13755 891 0 0 297 1044629 91066 48.9 40 19
308.20/308.35 c s 308.3 13756 891 0 0 297 1075403 91074 49.0 40 20
352.59/352.80 c + 352.7 13756 891 0 0 297 1173750 100131 49.0 41 25
418.57/418.79 c
418.57/418.79 c original/binary fixed eliminated learned agility
418.57/418.79 c seconds variables equivalent conflicts height MB
418.57/418.79 c
418.57/418.79 c s 418.7 13757 891 0 0 297 1261003 75146 48.8 40 18
426.17/426.39 c s 426.3 13759 891 0 0 297 1288302 100166 48.8 41 23
438.07/438.21 c s 438.1 13760 891 0 0 297 1319143 100157 48.7 39 23
481.57/481.76 c s 481.6 13761 891 0 0 297 1423202 106621 48.3 39 24
492.46/492.69 c s 492.6 13763 891 0 0 297 1460340 100204 48.4 40 21
494.76/494.94 c + 494.8 13765 891 0 0 297 1467186 110144 48.4 39 23
507.55/507.77 c s 507.6 13767 891 0 0 297 1494820 110193 48.4 36 24
547.04/547.26 c s 547.1 13768 891 0 0 297 1581847 110198 48.7 38 28
560.84/561.09 c s 560.9 13770 891 0 0 297 1623034 110214 48.7 39 27
575.53/575.77 c s 575.6 13772 891 0 0 297 1656772 110207 48.6 37 26
590.83/591.03 c s 590.9 13784 891 0 0 297 1689389 110206 48.7 37 27
604.12/604.32 c s 604.2 13788 891 0 0 297 1719052 110182 48.7 37 27
685.21/685.46 c + 685.3 13788 891 0 0 297 1833980 121158 48.4 39 36
730.79/731.01 c s 730.8 13789 891 0 0 297 1893001 176735 48.3 37 46
754.88/755.10 c s 754.9 13790 891 0 0 297 1941459 121198 48.3 37 29
769.48/769.79 c s 769.6 13792 891 0 0 297 1981807 121223 48.3 40 29
786.77/787.04 c s 786.8 13796 891 0 0 297 2015620 121201 48.3 39 28
802.18/802.45 c B 802.2 13796 891 0 0 297 2048388 121193 48.2 38 31
914.34/914.69 c s 914.4 13797 891 0 0 297 2223024 121205 48.0 39 27
930.64/930.90 c
930.64/930.90 c original/binary fixed eliminated learned agility
930.64/930.90 c seconds variables equivalent conflicts height MB
930.64/930.90 c
930.64/930.90 c N 930.7 13797 891 0 0 297 2255992 121209 47.9 41 30
952.64/952.96 c + 952.7 13797 891 0 0 297 2292476 133273 47.8 43 32
1085.30/1085.65 c s 1085.4 13798 891 0 0 297 2476394 133316 47.2 37 31
1106.58/1106.99 c s 1106.7 13800 891 0 0 297 2513952 133315 47.3 36 31
1126.89/1127.20 c s 1126.9 13801 891 0 0 297 2559118 133348 47.4 41 31
1143.98/1144.30 c s 1144.0 13802 891 0 0 297 2593865 133319 47.4 38 31
1166.28/1166.67 c s 1166.4 13803 891 0 0 297 2638017 133334 47.4 42 31
1311.13/1311.52 c s 1311.2 13804 891 0 0 297 2851602 133345 47.2 37 30
1316.54/1316.90 c + 1316.5 13805 891 0 0 297 2865596 146600 47.3 39 32
1333.23/1333.62 c s 1333.3 13805 891 0 0 297 2897900 146657 47.5 41 33
1356.33/1356.72 c s 1356.4 13806 891 0 0 297 2945506 146661 47.4 36 33
1377.42/1377.88 c s 1377.5 13807 891 0 0 297 2991385 146629 47.5 38 33
1398.41/1398.83 c s 1398.5 13808 891 0 0 297 3036931 146626 47.4 38 33
1522.08/1522.58 c s 1522.2 13809 891 0 0 297 3211388 193940 46.9 38 43
1691.43/1691.91 c s 1691.4 13810 891 0 0 297 3429104 109998 46.8 37 26
1787.20/1787.78 c + 1787.3 13810 891 0 0 297 3581995 161260 46.6 41 38
2029.04/2029.69 c s 2029.1 13811 891 0 0 297 3810185 161362 46.1 39 37
2054.53/2055.11 c s 2054.6 13813 891 0 0 297 3860442 161305 46.2 37 38
2082.52/2083.11 c s 2082.5 13817 891 0 0 297 3910007 161352 46.2 37 37
2231.58/2232.26 c
2231.58/2232.26 c original/binary fixed eliminated learned agility
2231.58/2232.26 c seconds variables equivalent conflicts height MB
2231.58/2232.26 c
2231.58/2232.26 c s 2231.7 13818 891 0 0 297 4105514 161312 46.3 39 36
2258.27/2258.93 c s 2258.3 13820 891 0 0 297 4152548 161291 46.3 39 37
2287.77/2288.46 c s 2287.8 13822 891 0 0 297 4203769 161320 46.3 39 37
2313.57/2314.20 c s 2313.6 13823 891 0 0 297 4250005 161320 46.3 40 37
2522.61/2523.37 c + 2522.7 13823 891 0 0 297 4477492 177386 46.1 39 64
2575.29/2576.04 c s 2575.3 13824 891 0 0 297 4511575 133088 46.1 38 30
2612.48/2613.21 c s 2612.5 13825 891 0 0 297 4580978 177420 46.1 39 41
2628.78/2629.54 c B 2628.8 13826 891 0 0 297 4608805 177428 46.2 39 43
2644.08/2644.80 c s 2644.1 13826 891 0 0 297 4629555 177436 46.2 38 40
2676.27/2677.01 c s 2676.3 13827 891 0 0 297 4680247 177417 46.2 39 40
2918.00/2918.82 c N 2918.0 13827 891 0 0 297 4921643 247634 46.0 38 65
2946.89/2947.78 c s 2947.0 13828 891 0 0 297 4940166 133113 46.0 39 29
2974.29/2975.16 c s 2974.4 13830 891 0 0 297 4977268 170213 45.9 38 36
3007.18/3008.05 c s 3007.2 13831 891 0 0 297 5020490 177442 45.9 39 37
3063.26/3064.11 c s 3063.3 13832 891 0 0 297 5085222 177464 45.8 35 37
3101.55/3102.43 c s 3101.6 13834 891 0 0 297 5126213 177431 45.7 36 36
3148.95/3149.84 c s 3149.0 13835 891 0 0 297 5199572 177420 45.7 39 39
3180.64/3181.55 c s 3180.7 13836 891 0 0 297 5252731 177434 45.8 37 42
3359.59/3360.52 c s 3359.6 13837 891 0 0 297 5438373 191048 45.7 40 48
3399.77/3400.71 c
3399.77/3400.71 c original/binary fixed eliminated learned agility
3399.77/3400.71 c seconds variables equivalent conflicts height MB
3399.77/3400.71 c
3399.77/3400.71 c s 3399.8 13838 891 0 0 297 5490255 177446 45.8 38 43
3431.36/3432.37 c s 3431.5 13839 891 0 0 297 5543530 177443 45.8 37 42
3468.86/3469.88 c + 3469.0 13839 891 0 0 297 5596866 195124 45.8 38 44
3479.66/3480.62 c s 3479.7 13840 891 0 0 297 5613236 193826 45.8 37 44
3519.94/3520.91 c s 3520.0 13841 891 0 0 297 5676439 195168 45.8 39 43
3557.23/3558.29 c s 3557.3 13842 891 0 0 297 5727364 195189 45.9 38 45
4177.67/4178.87 c s 4177.8 13843 891 0 0 297 6403680 195161 45.9 37 46
4226.85/4228.08 c s 4226.9 13844 891 0 0 297 6473641 195189 45.9 38 47
4264.24/4265.42 c s 4264.3 13845 891 0 0 297 6521721 240060 45.8 39 58
4312.82/4314.02 c s 4312.9 13846 891 0 0 297 6584840 195170 45.8 39 43
4351.22/4352.48 c s 4351.3 13847 891 0 0 297 6641950 195179 45.9 36 45
4391.81/4393.09 c s 4391.9 13843 890 0 1 297 6694427 195158 45.9 37 44
4431.00/4432.25 c s 4431.1 13844 890 0 1 297 6749371 195174 45.9 38 46
4531.18/4532.42 c s 4531.2 13845 890 0 1 297 6866285 195169 45.8 36 43
4568.66/4569.90 c s 4568.7 13846 890 0 1 297 6922863 195169 45.8 35 43
4624.05/4625.38 c + 4624.1 13846 890 0 1 297 6996080 214636 45.9 41 63
4825.89/4827.25 c s 4826.0 13847 890 0 1 297 7180867 214684 45.9 37 51
5000.05/5001.40 c
5000.05/5001.40 c *** CAUGHT SIGNAL 15 ***
5000.05/5001.40 c
5000.05/5001.40 c 7355734 conflicts, 8382995 decisions, 2 random
5000.05/5001.40 c 0 iterations, 1 restarts, 12181 skipped
5000.05/5001.40 c 29 enlarged, 118 shrunken, 71907 rescored, 1533 rebiased
5000.05/5001.40 c 115 simplifications, 9 reductions
5000.05/5001.40 c
5000.05/5001.40 c vars: 0 fixed, 1 equiv, 297 elim, 1 merged
5000.05/5001.40 c elim: 123604 resolutions, 2 phases, 2 rounds
5000.05/5001.40 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.05/5001.40 c arty: 0.00 and 0.00 xor average arity
5000.05/5001.40 c prbe: 210858 probed, 118 phases, 118 rounds
5000.05/5001.40 c prbe: 0 failed, 0 lifted, 0 merged
5000.05/5001.40 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.05/5001.40 c hash: 0 units, 1 merged
5000.05/5001.40 c mins: 359467589 learned, 30% deleted, 1157 strong, 45 depth
5000.05/5001.40 c subs: 4 forward, 4 backward, 42 doms
5000.05/5001.40 c strs: 14739 forward, 0 backward
5000.05/5001.40 c doms: 42 dominators, 37 high, 0 low
5000.05/5001.40 c prps: 1128804657 propagations, 0.23 megaprops
5000.05/5001.40 c
5000.05/5001.40 c 5000.1 seconds, 83 MB max, 1494 MB recycled
5000.05/5001.40 c
5000.05/5001.40 c *** CAUGHT SIGNAL 15 ***
5000.05/5001.40 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783618-1241861802/watcher-1783618-1241861802 -o /tmp/evaluation-result-1783618-1241861802/solver-1783618-1241861802 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783618-1241861802.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.08 0.02 0.01 3/64 30955
/proc/meminfo: memFree=1747040/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=1052 CPUtime=0
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 214207432 1077248 162 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 263 162 63 155 0 106 0
[startup+0.0819161 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 30955
/proc/meminfo: memFree=1747040/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=2444 CPUtime=0.07
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 551 0 0 0 7 0 0 0 18 0 1 0 214207432 2502656 504 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 611 504 79 155 0 454 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2444
[startup+0.102916 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 30955
/proc/meminfo: memFree=1747040/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=2444 CPUtime=0.09
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 214207432 2502656 514 1992294400 134512640 135151029 4294956240 18446744073709551615 134514095 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 611 514 79 155 0 454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2444
[startup+0.302934 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 30955
/proc/meminfo: memFree=1747040/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=2444 CPUtime=0.29
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 561 0 0 0 29 0 0 0 19 0 1 0 214207432 2502656 514 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 611 514 79 155 0 454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2444
[startup+0.702978 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 30955
/proc/meminfo: memFree=1747040/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=3084 CPUtime=0.69
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 720 0 0 0 69 0 0 0 22 0 1 0 214207432 3158016 673 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 771 673 79 155 0 614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3084
[startup+1.50104 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 30956
/proc/meminfo: memFree=1743896/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=4668 CPUtime=1.48
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 1132 0 0 0 148 0 0 0 25 0 1 0 214207432 4780032 1085 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 1167 1085 79 155 0 1010 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4668
[startup+3.10118 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 30956
/proc/meminfo: memFree=1741848/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=6124 CPUtime=3.09
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 1497 0 0 0 308 1 0 0 25 0 1 0 214207432 6270976 1450 1992294400 134512640 135151029 4294956240 18446744073709551615 134551562 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 1531 1450 79 155 0 1374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6124
[startup+6.30146 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 30956
/proc/meminfo: memFree=1740440/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=7244 CPUtime=6.29
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 1749 0 0 0 628 1 0 0 25 0 1 0 214207432 7417856 1702 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 1811 1702 79 155 0 1654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7244
[startup+12.702 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 30956
/proc/meminfo: memFree=1738328/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=9408 CPUtime=12.69
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 2325 0 0 0 1267 2 0 0 25 0 1 0 214207432 9633792 2254 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 2352 2254 79 155 0 2195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9408
[startup+25.5011 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 30956
/proc/meminfo: memFree=1735320/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=12016 CPUtime=25.48
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 3021 0 0 0 2545 3 0 0 25 0 1 0 214207432 12304384 2923 1992294400 134512640 135151029 4294956240 18446744073709551615 134551331 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 3004 2923 79 155 0 2847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12016
[startup+51.1014 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 30956
/proc/meminfo: memFree=1732760/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=14700 CPUtime=51.08
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 3667 0 0 0 5104 4 0 0 25 0 1 0 214207432 15052800 3569 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 3675 3569 79 155 0 3518 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14700
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 30956
/proc/meminfo: memFree=1729048/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=18156 CPUtime=102.27
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 4712 0 0 0 10221 6 0 0 25 0 1 0 214207432 18591744 4459 1992294400 134512640 135151029 4294956240 18446744073709551615 134574555 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 4539 4459 79 155 0 4382 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18156
[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 30956
/proc/meminfo: memFree=1725912/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=21164 CPUtime=162.24
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 5799 0 0 0 16217 7 0 0 25 0 1 0 214207432 21671936 5210 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 5291 5210 79 155 0 5134 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21164
[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 30956
/proc/meminfo: memFree=1722776/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=24472 CPUtime=222.23
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 6685 0 0 0 22214 9 0 0 25 0 1 0 214207432 25059328 6002 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 6118 6002 79 155 0 5961 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 24472
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 30958
/proc/meminfo: memFree=1722392/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=24328 CPUtime=282.21
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 6758 0 0 0 28211 10 0 0 25 0 1 0 214207432 24911872 6005 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 6082 6005 79 155 0 5925 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 24328
[startup+342.302 s]
/proc/loadavg: 1.09 0.71 0.31 2/65 30958
/proc/meminfo: memFree=1719960/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=27216 CPUtime=342.2
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 7426 0 0 0 34209 11 0 0 25 0 1 0 214207432 27869184 6634 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 6804 6634 79 155 0 6647 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27216
[startup+402.302 s]
/proc/loadavg: 1.09 0.77 0.35 2/65 30958
/proc/meminfo: memFree=1708184/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=39724 CPUtime=402.18
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 10416 0 0 0 40204 14 0 0 25 0 1 0 214207432 40677376 9624 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 9931 9624 79 155 0 9774 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39724
[startup+462.302 s]
/proc/loadavg: 1.06 0.82 0.39 2/65 30958
/proc/meminfo: memFree=1704344/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=43104 CPUtime=462.16
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 11694 0 0 0 46201 15 0 0 25 0 1 0 214207432 44138496 10545 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 10776 10545 79 155 0 10619 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 43104
[startup+522.302 s]
/proc/loadavg: 1.02 0.85 0.43 2/65 30958
/proc/meminfo: memFree=1704216/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=43104 CPUtime=522.15
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 11715 0 0 0 52199 16 0 0 25 0 1 0 214207432 44138496 10566 1992294400 134512640 135151029 4294956240 18446744073709551615 134575843 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 10776 10566 79 155 0 10619 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 43104
[startup+582.303 s]
/proc/loadavg: 1.01 0.88 0.46 2/65 30958
/proc/meminfo: memFree=1704152/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=43104 CPUtime=582.13
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 11715 0 0 0 58197 16 0 0 25 0 1 0 214207432 44138496 10566 1992294400 134512640 135151029 4294956240 18446744073709551615 134554911 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 10776 10566 79 155 0 10619 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 43104
[startup+642.303 s]
/proc/loadavg: 1.00 0.90 0.49 2/65 30958
/proc/meminfo: memFree=1704088/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=43104 CPUtime=642.12
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 11718 0 0 0 64196 16 0 0 25 0 1 0 214207432 44138496 10569 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 10776 10569 79 155 0 10619 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 43104
[startup+702.302 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 30966
/proc/meminfo: memFree=1662808/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83304 CPUtime=4001.22
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22248 0 0 0 400076 46 0 0 25 0 1 0 214207432 85303296 20465 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20826 20465 79 155 0 20669 0
Current children cumulated CPU time (s) 4001.22
Current children cumulated vsize (KiB) 83304
[startup+4062.31 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 30966
/proc/meminfo: memFree=1661208/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=85352 CPUtime=4061.2
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22650 0 0 0 406074 46 0 0 25 0 1 0 214207432 87400448 20867 1992294400 134512640 135151029 4294956240 18446744073709551615 134530740 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 21338 20867 79 155 0 21181 0
Current children cumulated CPU time (s) 4061.2
Current children cumulated vsize (KiB) 85352
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4121.19
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22923 0 0 0 412072 47 0 0 25 0 1 0 214207432 85032960 20521 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20521 79 155 0 20603 0
Current children cumulated CPU time (s) 4121.19
Current children cumulated vsize (KiB) 83040
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4181.17
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22936 0 0 0 418070 47 0 0 25 0 1 0 214207432 85032960 20534 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20534 79 155 0 20603 0
Current children cumulated CPU time (s) 4181.17
Current children cumulated vsize (KiB) 83040
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4241.15
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22936 0 0 0 424068 47 0 0 25 0 1 0 214207432 85032960 20534 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20534 79 155 0 20603 0
Current children cumulated CPU time (s) 4241.15
Current children cumulated vsize (KiB) 83040
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4301.13
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22936 0 0 0 430066 47 0 0 25 0 1 0 214207432 85032960 20534 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20534 79 155 0 20603 0
Current children cumulated CPU time (s) 4301.13
Current children cumulated vsize (KiB) 83040
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4361.12
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22936 0 0 0 436064 48 0 0 25 0 1 0 214207432 85032960 20534 1992294400 134512640 135151029 4294956240 18446744073709551615 134520461 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20534 79 155 0 20603 0
Current children cumulated CPU time (s) 4361.12
Current children cumulated vsize (KiB) 83040
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4421.1
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22936 0 0 0 442062 48 0 0 25 0 1 0 214207432 85032960 20534 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20534 79 155 0 20603 0
Current children cumulated CPU time (s) 4421.1
Current children cumulated vsize (KiB) 83040
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662360/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4481.08
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22938 0 0 0 448060 48 0 0 25 0 1 0 214207432 85032960 20536 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20536 79 155 0 20603 0
Current children cumulated CPU time (s) 4481.08
Current children cumulated vsize (KiB) 83040
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662296/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4541.07
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22955 0 0 0 454058 49 0 0 25 0 1 0 214207432 85032960 20553 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20553 79 155 0 20603 0
Current children cumulated CPU time (s) 4541.07
Current children cumulated vsize (KiB) 83040
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662232/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4601.06
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22955 0 0 0 460057 49 0 0 25 0 1 0 214207432 85032960 20553 1992294400 134512640 135151029 4294956240 18446744073709551615 134554946 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20553 79 155 0 20603 0
Current children cumulated CPU time (s) 4601.06
Current children cumulated vsize (KiB) 83040
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1662168/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=83040 CPUtime=4661.04
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 22955 0 0 0 466055 49 0 0 25 0 1 0 214207432 85032960 20553 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 20760 20553 79 155 0 20603 0
Current children cumulated CPU time (s) 4661.04
Current children cumulated vsize (KiB) 83040
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1657112/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88064 CPUtime=4721.02
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24223 0 0 0 472051 51 0 0 25 0 1 0 214207432 90177536 21821 1992294400 134512640 135151029 4294956240 18446744073709551615 134555154 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22016 21821 79 155 0 21859 0
Current children cumulated CPU time (s) 4721.02
Current children cumulated vsize (KiB) 88064
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1657112/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88064 CPUtime=4781.01
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24223 0 0 0 478049 52 0 0 25 0 1 0 214207432 90177536 21821 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22016 21821 79 155 0 21859 0
Current children cumulated CPU time (s) 4781.01
Current children cumulated vsize (KiB) 88064
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1656984/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88064 CPUtime=4840.99
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24240 0 0 0 484047 52 0 0 25 0 1 0 214207432 90177536 21838 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22016 21838 79 155 0 21859 0
Current children cumulated CPU time (s) 4840.99
Current children cumulated vsize (KiB) 88064
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1656984/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88064 CPUtime=4900.97
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24240 0 0 0 490045 52 0 0 25 0 1 0 214207432 90177536 21838 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22016 21838 79 155 0 21859 0
Current children cumulated CPU time (s) 4900.97
Current children cumulated vsize (KiB) 88064
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1656856/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88064 CPUtime=4960.96
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24278 0 0 0 496043 53 0 0 25 0 1 0 214207432 90177536 21876 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22016 21876 79 155 0 21859 0
Current children cumulated CPU time (s) 4960.96
Current children cumulated vsize (KiB) 88064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.4 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30966
/proc/meminfo: memFree=1656216/2055920 swapFree=4181940/4192956
[pid=30955] ppid=30953 vsize=88912 CPUtime=5000.05
/proc/30955/stat : 30955 (precosat) R 30953 30955 30891 0 -1 4194304 24426 0 0 0 499952 53 0 0 25 0 1 0 214207432 91045888 22024 1992294400 134512640 135151029 4294956240 18446744073709551615 134580646 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30955/statm: 22228 22024 79 155 0 22071 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 88912
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): 5001.42
CPU time (s): 5000.07
CPU user time (s): 4999.52
CPU system time (s): 0.548916
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 88912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.52
system time used= 0.548916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24426
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= 8899
runsolver used 3.78442 second user time and 10.9353 second system time
The end
Begin job on node58 at 2009-05-09 11:36:42
IDJOB=1783618
IDBENCH=24615
IDSOLVER=607
FILE ID=node58/1783618-1241861802
PBS_JOBID= 9264557
Free space on /tmp= 66136 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783618-1241861802/watcher-1783618-1241861802 -o /tmp/evaluation-result-1783618-1241861802/solver-1783618-1241861802 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783618-1241861802.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 84c61ea490109e11c1f7afe1d2e5d438
RANDOM SEED=1805873759
node58.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.233
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.233
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: 1747456 kB
Buffers: 22848 kB
Cached: 222048 kB
SwapCached: 4936 kB
Active: 69508 kB
Inactive: 183888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1747456 kB
SwapTotal: 4192956 kB
SwapFree: 4181940 kB
Dirty: 1024 kB
Writeback: 0 kB
Mapped: 14660 kB
Slab: 41076 kB
Committed_AS: 668512 kB
PageTables: 1356 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= 66136 MiB
End job on node58 at 2009-05-09 13:00:05