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-1783938-1241903024.cnf
0.00/0.00 c found header 'p cnf 18450 200640'
0.29/0.34 c finished parsing
0.29/0.34 c
0.29/0.34 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.29/0.34 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.29/0.34 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.29/0.34 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.29/0.34 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.29/0.34 c --random=1 --spread=2000 --seed=0 --skip=25
0.29/0.34 c
0.29/0.34 c sizeof vars[0] = 16 alignment = 0 0 MB
0.29/0.34 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.29/0.34 c sizeof occs[0] = 8 alignment = 0 0 MB
0.29/0.34 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.29/0.34 c
0.29/0.34 c starting search after 0.3 seconds
0.29/0.34 c no decision limit
0.29/0.36 c
0.29/0.36 c original/binary fixed eliminated learned agility
0.29/0.36 c seconds variables equivalent conflicts height MB
0.29/0.36 c
0.29/0.36 c * 0.4 175742 16817 1510 123 0 0 0 0.0 0 11
2.19/2.21 c s 2.2 167191 5484 9540 0 3426 0 0 0.0 0 13
2.19/2.21 c l 2.2 167191 5484 9540 0 3426 0 27769 0.0 0 13
2.19/2.23 c R 2.2 167235 5484 9540 0 3426 101 100 404.5 2 13
2.19/2.25 c R 2.3 167290 5484 9540 0 3426 202 200 302.0 7 13
2.28/2.34 c R 2.3 167452 5484 9540 0 3426 806 803 289.1 11 14
2.28/2.38 c B 2.4 167456 5484 9540 0 3426 1000 997 279.7 14 14
2.48/2.54 c B 2.5 167532 5484 9540 0 3426 2001 1998 265.4 9 14
2.58/2.63 c R 2.6 167562 5484 9540 0 3426 2412 2409 267.8 4 14
3.49/3.56 c R 3.6 168699 5484 9540 0 3426 6421 6417 245.5 5 16
3.98/4.04 c B 4.0 168699 5484 9540 0 3426 8002 7998 240.3 7 17
6.46/6.58 c R 6.5 168739 5484 9540 0 3426 16059 16048 222.1 4 20
8.35/8.45 c s 8.4 168759 5484 9540 0 3426 23130 23117 218.7 23 22
8.76/8.87 c B 8.8 168759 5484 9540 0 3426 24004 23991 216.1 18 23
10.15/10.25 c + 10.2 168763 5484 9540 0 3426 27774 30545 213.5 12 25
12.65/12.71 c + 12.7 168812 5484 9540 0 3426 34715 33599 207.2 4 27
14.05/14.17 c R 14.1 168844 5484 9540 0 3426 38518 33628 202.3 2 28
15.45/15.52 c + 15.5 168846 5484 9540 0 3426 43394 36958 198.7 10 29
17.25/17.33 c s 17.3 168847 5484 9540 0 3426 46422 36698 196.7 16 27
20.05/20.17 c
20.05/20.17 c original/binary fixed eliminated learned agility
20.05/20.17 c seconds variables equivalent conflicts height MB
20.05/20.17 c
20.05/20.17 c + 20.1 168852 5484 9540 0 3426 54241 40653 193.0 5 30
24.04/24.17 c B 24.1 168864 5484 9540 0 3426 64011 40711 191.0 19 32
25.14/25.21 c + 25.2 168864 5484 9540 0 3426 67800 44718 192.0 16 32
27.45/27.50 c s 27.5 168866 5484 9540 0 3426 72817 44744 189.7 14 30
32.04/32.10 c + 32.1 168900 5484 9540 0 3426 84750 49189 187.5 5 33
34.13/34.28 c R 34.2 168900 5484 9540 0 3426 89834 49224 185.8 2 35
38.71/38.80 c s 38.7 168902 5484 9540 0 3426 102634 49211 184.7 2 32
40.51/40.62 c + 40.5 168902 5484 9540 0 3426 105937 54107 183.5 7 34
51.81/51.98 c s 51.9 168952 5484 9540 0 3426 129147 54157 181.0 4 34
53.71/53.85 c + 53.8 168955 5484 9540 0 3426 132421 59517 180.3 14 36
64.21/64.36 c s 64.3 169010 5484 9540 0 3426 152774 59555 180.4 12 36
68.41/68.51 c B 68.4 169011 5484 9540 0 3426 160040 59568 180.7 5 39
71.10/71.26 c + 71.2 169011 5484 9540 0 3426 165525 65468 180.1 3 40
77.90/78.08 c s 78.0 169045 5484 9540 0 3426 176139 65499 179.9 6 39
91.99/92.17 c s 92.1 169138 5484 9540 0 3426 201663 65495 178.3 3 40
93.79/93.95 c R 93.9 169144 5484 9540 0 3426 205249 65518 177.6 13 42
95.09/95.29 c + 95.2 169144 5484 9540 0 3426 206905 72014 176.9 15 43
106.89/107.05 c s 106.9 169144 5484 9540 0 3426 220749 72042 171.7 10 48
122.39/122.51 c s 122.4 169154 5484 9540 0 3426 242295 72043 168.1 13 49
130.38/130.54 c
130.38/130.54 c original/binary fixed eliminated learned agility
130.38/130.54 c seconds variables equivalent conflicts height MB
130.38/130.54 c
130.38/130.54 c + 130.4 169201 5484 9540 0 3426 258633 79215 168.4 6 52
136.97/137.10 c s 137.0 169216 5484 9540 0 3426 267988 79241 167.2 10 52
153.47/153.63 c s 153.5 169225 5484 9540 0 3426 290881 79245 165.2 11 47
169.97/170.15 c s 170.0 169259 5484 9540 0 3426 320347 79254 165.0 3 45
171.47/171.69 c + 171.6 169260 5484 9540 0 3426 323294 87136 164.9 3 47
187.75/187.99 c s 187.9 169291 5484 9540 0 3426 352919 87175 166.0 5 48
206.15/206.39 c s 206.3 169343 5484 9540 0 3426 378480 87182 167.3 9 49
210.75/210.95 c B 210.8 169343 5484 9540 0 3426 384115 87178 166.6 7 53
221.95/222.17 c + 222.0 169368 5484 9540 0 3426 404115 95849 166.7 9 55
224.74/224.95 c s 224.8 169368 5484 9540 0 3426 407345 90406 167.0 15 51
242.63/242.88 c s 242.7 169445 5484 9540 0 3426 431493 95877 165.7 14 53
270.12/270.36 c R 270.2 169445 5484 9540 0 3426 461684 95901 161.3 16 57
307.41/307.65 c + 307.5 169445 5484 9540 0 3426 505141 105433 154.5 19 64
316.90/317.14 c s 317.0 169446 5484 9540 0 3426 517517 105445 153.6 5 64
335.00/335.25 c s 335.1 169498 5484 9540 0 3426 548175 105539 154.1 3 63
355.28/355.59 c s 355.4 169543 5484 9540 0 3426 582191 105457 154.2 12 57
377.78/378.07 c s 377.9 169555 5484 9540 0 3426 618351 105489 154.7 5 55
386.48/386.77 c + 386.6 169567 5484 9540 0 3426 631425 115976 155.3 7 61
404.26/404.55 c s 404.3 169576 5484 9540 0 3426 654981 116064 156.1 4 60
433.26/433.59 c
433.26/433.59 c original/binary fixed eliminated learned agility
433.26/433.59 c seconds variables equivalent conflicts height MB
433.26/433.59 c
433.26/433.59 c s 433.4 169605 5484 9540 0 3426 689491 116018 156.8 7 62
459.15/459.42 c s 459.2 169646 5484 9540 0 3426 724845 116012 156.9 20 61
485.43/485.73 c s 485.5 169663 5484 9540 0 3426 757322 116013 157.3 12 59
511.73/512.07 c s 511.8 169694 5484 9540 0 3426 784729 116050 157.4 3 60
515.32/515.62 c + 515.4 169730 5484 9540 0 3426 789280 127573 158.1 4 64
538.51/538.90 c s 538.6 169778 5484 9540 0 3426 809867 127612 157.5 7 65
564.81/565.18 c s 564.9 169792 5484 9540 0 3426 844930 127729 158.2 4 66
593.89/594.28 c s 594.0 169824 5484 9540 0 3426 880462 127652 158.9 3 65
606.08/606.40 c B 606.1 169840 5484 9540 0 3426 896242 127651 159.3 21 70
621.28/621.62 c s 621.3 169875 5484 9540 0 3426 912867 127655 159.5 6 64
648.27/648.64 c s 648.3 169939 5484 9540 0 3426 942246 127600 159.7 13 64
674.46/674.86 c s 674.5 169942 5484 9540 0 3426 976639 127661 159.0 7 66
681.46/681.86 c + 681.5 169948 5484 9540 0 3426 986601 140330 159.4 5 71
702.84/703.26 c s 702.9 169948 5484 9540 0 3426 1011226 140405 160.2 5 73
716.44/716.86 c R 716.5 169954 5484 9540 0 3426 1025772 140383 160.0 15 79
731.03/731.46 c s 731.1 169954 5484 9540 0 3426 1037281 140392 159.0 13 76
852.58/853.05 c s 852.6 169959 5484 9540 0 3426 1131197 140373 155.1 9 75
893.16/893.69 c s 893.3 170001 5484 9540 0 3426 1166412 140353 155.0 3 73
931.05/931.55 c s 931.1 170040 5484 9540 0 3426 1196385 140357 155.3 10 72
963.74/964.24 c
963.74/964.24 c original/binary fixed eliminated learned agility
963.74/964.24 c seconds variables equivalent conflicts height MB
963.74/964.24 c
963.74/964.24 c + 963.8 170093 5484 9540 0 3426 1233252 154363 155.5 20 79
967.13/967.65 c s 967.2 170095 5484 9540 0 3426 1235633 142728 155.5 4 71
1006.42/1006.99 c s 1006.5 170147 5484 9540 0 3426 1266990 154387 155.4 6 78
1043.60/1044.19 c s 1043.7 170178 5484 9540 0 3426 1301341 154399 155.2 9 77
1077.69/1078.20 c s 1077.7 170199 5484 9540 0 3426 1325286 154397 154.0 14 81
1129.07/1129.66 c s 1129.1 170200 5484 9540 0 3426 1364661 154436 152.0 15 81
1160.75/1161.39 c s 1160.9 170230 5484 9540 0 3426 1405105 154443 152.7 3 79
1193.45/1194.07 c s 1193.5 170293 5484 9540 0 3426 1437711 154377 152.9 6 79
1228.03/1228.62 c s 1228.1 170313 5484 9540 0 3426 1478162 154404 153.4 7 77
1269.31/1269.93 c s 1269.4 170375 5484 9540 0 3426 1515550 154413 153.6 4 76
1297.30/1297.99 c + 1297.4 170439 5484 9540 0 3426 1541565 169799 153.8 5 86
1308.70/1309.35 c s 1308.8 170468 5484 9540 0 3426 1553342 166232 153.9 7 82
1352.58/1353.27 c s 1352.7 170487 5484 9540 0 3426 1610171 169832 154.4 6 81
1398.27/1398.99 c s 1398.4 170492 5484 9540 0 3426 1664010 169859 153.9 11 84
1445.54/1446.28 c s 1445.6 170531 5484 9540 0 3426 1705711 169864 153.9 14 86
1488.22/1488.96 c s 1488.3 170554 5484 9540 0 3426 1750390 169877 153.8 6 82
1536.01/1536.78 c s 1536.1 170576 5484 9540 0 3426 1787796 169875 153.7 7 81
1582.79/1583.60 c s 1582.9 170627 5484 9540 0 3426 1832045 169956 153.8 7 80
1628.77/1629.54 c s 1628.8 170660 5484 9540 0 3426 1884213 169871 154.2 15 81
1670.16/1670.95 c
1670.16/1670.95 c original/binary fixed eliminated learned agility
1670.16/1670.95 c seconds variables equivalent conflicts height MB
1670.16/1670.95 c
1670.16/1670.95 c + 1670.2 170677 5484 9540 0 3426 1926956 186778 154.5 5 92
1673.35/1674.19 c s 1673.5 170688 5484 9540 0 3426 1928927 171936 154.5 6 81
1721.63/1722.50 c s 1721.7 170716 5484 9540 0 3426 1981280 186923 155.2 4 86
1771.51/1772.39 c s 1771.6 170757 5484 9540 0 3426 2024384 186829 155.5 16 86
1800.01/1800.88 c B 1800.1 170807 5484 9540 0 3426 2048452 186891 155.6 18 98
1825.08/1825.92 c s 1825.1 170813 5484 9540 0 3426 2075336 186904 156.3 14 87
1875.77/1876.69 c s 1875.9 170829 5484 9540 0 3426 2137641 186935 156.9 4 92
1940.54/1941.42 c s 1940.6 170858 5484 9540 0 3426 2219072 216192 158.8 11 114
1978.32/1979.28 c s 1978.4 170874 5484 9540 0 3426 2252587 186833 159.2 13 108
1982.22/1983.16 c R 1982.3 170874 5484 9540 0 3426 2256319 186900 159.3 6 113
2018.82/2019.73 c s 2018.8 170941 5484 9540 0 3426 2296895 186856 158.8 7 101
2071.49/2072.47 c s 2071.6 170973 5484 9540 0 3426 2345884 186833 158.5 6 101
2120.76/2121.75 c s 2120.8 170984 5484 9540 0 3426 2399014 186790 157.9 3 91
2129.86/2130.81 c + 2129.9 170984 5484 9540 0 3426 2408695 205455 157.9 3 95
2165.85/2166.84 c s 2165.9 170995 5484 9540 0 3426 2434308 205482 157.6 18 96
2226.63/2227.64 c s 2226.7 171109 5484 9540 0 3426 2491541 205489 157.8 13 100
2289.21/2290.29 c s 2289.3 171174 5484 9540 0 3426 2539785 205521 158.0 15 95
2351.77/2352.85 c s 2351.8 171221 5484 9540 0 3426 2595109 205517 158.1 7 96
2418.75/2419.89 c s 2418.8 171271 5484 9540 0 3426 2643273 205511 157.9 6 92
2477.52/2478.61 c
2477.52/2478.61 c original/binary fixed eliminated learned agility
2477.52/2478.61 c seconds variables equivalent conflicts height MB
2477.52/2478.61 c
2477.52/2478.61 c s 2477.5 171292 5484 9540 0 3426 2704883 205503 158.3 11 96
2534.50/2535.62 c s 2534.5 171325 5484 9540 0 3426 2748320 205535 158.4 7 97
2600.08/2601.22 c s 2600.1 171394 5484 9540 0 3426 2800049 205507 158.1 4 97
2658.55/2659.73 c s 2658.6 171443 5484 9540 0 3426 2839223 205529 158.0 8 97
2722.13/2723.36 c s 2722.2 171471 5484 9540 0 3426 2876573 205515 157.7 6 94
2781.30/2782.50 c s 2781.3 171480 5484 9540 0 3426 2939237 205529 157.6 8 96
2848.38/2849.60 c s 2848.4 171525 5484 9540 0 3426 2999022 205476 157.4 7 97
2864.77/2866.10 c + 2864.9 171533 5484 9540 0 3426 3010866 226000 157.4 10 108
2911.25/2912.58 c s 2911.3 171544 5484 9540 0 3426 3043700 226030 157.4 6 106
2983.12/2984.45 c s 2983.2 171585 5484 9540 0 3426 3093263 226043 157.2 4 106
3051.09/3052.45 c s 3051.2 171645 5484 9540 0 3426 3145715 226043 157.6 14 101
3112.77/3114.11 c s 3112.8 171660 5484 9540 0 3426 3203294 226090 157.8 5 100
3179.55/3180.91 c s 3179.6 171697 5484 9540 0 3426 3243195 226073 157.6 17 100
3246.52/3247.92 c s 3246.6 171749 5484 9540 0 3426 3296844 226100 157.7 5 99
3314.59/3316.08 c s 3314.7 171760 5484 9540 0 3426 3348108 226034 157.6 5 99
3384.86/3386.38 c s 3385.0 171810 5484 9540 0 3426 3393051 226080 157.4 16 98
3451.92/3453.46 c s 3452.0 171813 5484 9540 0 3426 3441010 226064 157.0 10 100
3522.89/3524.43 c s 3522.9 171817 5484 9540 0 3426 3498546 226020 156.9 5 99
3598.55/3600.10 c s 3598.6 171827 5484 9540 0 3426 3551887 226081 156.7 5 103
3673.83/3675.47 c
3673.83/3675.47 c original/binary fixed eliminated learned agility
3673.83/3675.47 c seconds variables equivalent conflicts height MB
3673.83/3675.47 c
3673.83/3675.47 c s 3673.9 171838 5484 9540 0 3426 3597381 226056 156.2 11 106
3748.60/3750.26 c s 3748.7 171875 5484 9540 0 3426 3646997 226081 156.0 10 105
3822.37/3824.06 c s 3822.4 171938 5484 9540 0 3426 3702362 226057 156.0 6 107
3897.34/3899.04 c s 3897.4 171988 5484 9540 0 3426 3751881 226061 156.0 10 105
3914.23/3915.99 c + 3914.3 171991 5484 9540 0 3426 3763581 248600 156.0 17 115
3970.01/3971.75 c s 3970.1 171991 5484 9540 0 3426 3810532 248768 156.0 7 111
4060.48/4062.25 c s 4060.5 172040 5484 9540 0 3426 3865495 248699 155.8 6 110
4144.84/4146.64 c s 4144.9 172080 5484 9540 0 3426 3918214 248678 155.7 18 109
4232.21/4234.08 c s 4232.3 172104 5484 9540 0 3426 3975444 248661 155.6 5 108
4320.37/4322.29 c s 4320.5 172136 5484 9540 0 3426 4037296 248736 155.5 7 109
4423.33/4425.25 c s 4423.4 172137 5484 9540 0 3426 4108415 248653 154.9 5 114
4502.10/4504.01 c s 4502.1 172159 5484 9540 0 3426 4159867 248670 154.8 16 114
4579.16/4581.18 c s 4579.3 172201 5484 9540 0 3426 4211784 248672 154.9 5 112
4658.53/4660.56 c s 4658.6 172240 5484 9540 0 3426 4262789 248646 154.9 14 110
4733.40/4735.49 c s 4733.5 172283 5484 9540 0 3426 4314863 248626 154.8 5 105
4800.08/4802.19 c s 4800.2 172312 5484 9540 0 3426 4348735 248675 154.7 9 106
4878.95/4881.05 c s 4879.0 172361 5484 9540 0 3426 4405919 248601 154.7 8 106
4950.62/4952.74 c s 4950.7 172404 5484 9540 0 3426 4451832 248703 154.7 15 108
5000.00/5002.10 c
5000.00/5002.10 c *** CAUGHT SIGNAL 15 ***
5000.00/5002.10 c
5000.00/5002.10 c 4487763 conflicts, 10427769 decisions, 3392 random
5000.00/5002.10 c 0 iterations, 8077 restarts, 11 skipped
5000.00/5002.10 c 23 enlarged, 104 shrunken, 43889 rescored, 1021 rebiased
5000.00/5002.10 c 105 simplifications, 0 reductions
5000.00/5002.10 c
5000.00/5002.10 c vars: 9540 fixed, 0 equiv, 3426 elim, 131 merged
5000.00/5002.10 c elim: 436510 resolutions, 1 phases, 1 rounds
5000.00/5002.10 c sbst: 12% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.00/5002.10 c arty: 2.64 and 0.00 xor average arity
5000.00/5002.10 c prbe: 2781438 probed, 1013 phases, 253 rounds
5000.00/5002.10 c prbe: 0 failed, 0 lifted, 0 merged
5000.00/5002.10 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.00/5002.10 c hash: 0 units, 131 merged
5000.00/5002.10 c mins: 466447113 learned, 25% deleted, 83 strong, 65 depth
5000.00/5002.10 c subs: 0 forward, 0 backward, 3419 doms
5000.00/5002.10 c strs: 7 forward, 0 backward
5000.00/5002.10 c doms: 3421 dominators, 540 high, 0 low
5000.00/5002.10 c prps: 1476575993 propagations, 0.30 megaprops
5000.00/5002.10 c
5000.00/5002.10 c 5000.0 seconds, 134 MB max, 1799 MB recycled
5000.00/5002.10 c
5000.00/5002.10 c *** CAUGHT SIGNAL 15 ***
5000.00/5002.10 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783938-1241903024/watcher-1783938-1241903024 -o /tmp/evaluation-result-1783938-1241903024/solver-1783938-1241903024 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783938-1241903024.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.93 0.99 0.99 3/64 28274
/proc/meminfo: memFree=1012160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=2424 CPUtime=0
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 478 0 0 0 0 0 0 0 18 0 1 0 218335809 2482176 463 1992294400 134512640 135151029 4294956240 18446744073709551615 134515933 0 0 4096 0 0 0 0 17 0 0 0
/proc/28274/statm: 606 468 63 155 0 449 0
[startup+0.065656 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 28274
/proc/meminfo: memFree=1012160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=5192 CPUtime=0.05
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 1234 0 0 0 5 0 0 0 18 0 1 0 218335809 5316608 1186 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 1298 1187 64 155 0 1141 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5192
[startup+0.101662 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 28274
/proc/meminfo: memFree=1012160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=6636 CPUtime=0.09
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 1652 0 0 0 8 1 0 0 18 0 1 0 218335809 6795264 1539 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 1659 1539 64 155 0 1502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636
[startup+0.301699 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 28274
/proc/meminfo: memFree=1012160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=13088 CPUtime=0.29
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 3400 0 0 0 27 2 0 0 20 0 1 0 218335809 13402112 3158 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 3272 3159 64 155 0 3115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13088
[startup+0.701777 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 28274
/proc/meminfo: memFree=1012160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=21276 CPUtime=0.69
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 5692 0 0 0 66 3 0 0 24 0 1 0 218335809 21786624 5192 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 5319 5192 79 155 0 5162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21276
[startup+1.50197 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 28275
/proc/meminfo: memFree=989496/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=23948 CPUtime=1.49
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 7961 0 0 0 145 4 0 0 25 0 1 0 218335809 24522752 5847 1992294400 134512640 135151029 4294956240 18446744073709551615 134518597 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 5987 5847 79 155 0 5830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23948
[startup+3.10124 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 28275
/proc/meminfo: memFree=989368/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=24972 CPUtime=3.08
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 8865 0 0 0 304 4 0 0 25 0 1 0 218335809 25571328 6108 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 6243 6108 79 155 0 6086 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24972
[startup+6.3017 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 28275
/proc/meminfo: memFree=987512/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=25368 CPUtime=6.26
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 8983 0 0 0 621 5 0 0 25 0 1 0 218335809 25976832 6226 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0
/proc/28274/statm: 6342 6226 79 155 0 6185 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 25368
[startup+12.7019 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 28275
/proc/meminfo: memFree=980280/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=32524 CPUtime=12.65
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 11744 0 0 0 1259 6 0 0 25 0 1 0 218335809 33304576 8000 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 8131 8000 79 155 0 7974 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32524
[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 28275
/proc/meminfo: memFree=975160/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=37400 CPUtime=25.44
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 13868 0 0 0 2536 8 0 0 25 0 1 0 218335809 38297600 9225 1992294400 134512640 135151029 4294956240 18446744073709551615 134530879 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 9350 9225 79 155 0 9193 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 37400
[startup+51.1014 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 28275
/proc/meminfo: memFree=968760/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=43992 CPUtime=51.01
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 17566 0 0 0 5090 11 0 0 25 0 1 0 218335809 45047808 10864 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 10998 10864 79 155 0 10841 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 43992
[startup+102.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=958200/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=54292 CPUtime=102.19
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 23760 0 0 0 10205 14 0 0 25 0 1 0 218335809 55595008 13462 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 13573 13462 79 155 0 13416 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 54292
[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=950072/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=62276 CPUtime=162.17
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 29327 0 0 0 16199 18 0 0 25 0 1 0 218335809 63770624 15433 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 15569 15433 79 155 0 15412 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 62276
[startup+222.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=950200/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=62108 CPUtime=222.15
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 32065 0 0 0 22196 19 0 0 25 0 1 0 218335809 63598592 15392 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 15527 15392 79 155 0 15370 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 62108
[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=946360/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=66244 CPUtime=282.12
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 34913 0 0 0 28191 21 0 0 25 0 1 0 218335809 67833856 16442 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 16561 16442 79 155 0 16404 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 66244
[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=933944/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=78396 CPUtime=342.09
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 39702 0 0 0 34184 25 0 0 25 0 1 0 218335809 80277504 19433 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 19599 19433 79 155 0 19442 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 78396
[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=934136/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=78172 CPUtime=402.07
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 41548 0 0 0 40181 26 0 0 25 0 1 0 218335809 80048128 19385 1992294400 134512640 135151029 4294956240 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 19543 19385 79 155 0 19386 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 78172
[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=934008/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=78172 CPUtime=462.04
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 44265 0 0 0 46177 27 0 0 25 0 1 0 218335809 80048128 19405 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 19543 19405 79 155 0 19386 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 78172
[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=934008/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=78172 CPUtime=522.02
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 46063 0 0 0 52174 28 0 0 25 0 1 0 218335809 80048128 19405 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 19543 19405 79 155 0 19386 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 78172
[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=931704/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=80640 CPUtime=582
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 48603 0 0 0 58171 29 0 0 25 0 1 0 218335809 82575360 20029 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 20160 20029 79 155 0 20003 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 80640
[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28275
/proc/meminfo: memFree=931448/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=80628 CPUtime=641.97
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 50709 0 0 0 64167 30 0 0 25 0 1 0 218335809 82563072 20029 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 20157 20029 79 155 0 20000 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 80628
[startup+702.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28283
/proc/meminfo: memFree=873080/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=137596 CPUtime=4000.6
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 115722 0 0 0 399991 69 0 0 25 0 1 0 218335809 140898304 34296 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34399 34296 79 155 0 34242 0
Current children cumulated CPU time (s) 4000.6
Current children cumulated vsize (KiB) 137596
[startup+4062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28283
/proc/meminfo: memFree=873144/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=137596 CPUtime=4060.58
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 116964 0 0 0 405987 71 0 0 25 0 1 0 218335809 140898304 34296 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34399 34296 79 155 0 34242 0
Current children cumulated CPU time (s) 4060.58
Current children cumulated vsize (KiB) 137596
[startup+4122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 28283
/proc/meminfo: memFree=872952/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=138076 CPUtime=4120.55
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 117040 0 0 0 411984 71 0 0 25 0 1 0 218335809 141389824 34372 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34519 34372 79 155 0 34362 0
Current children cumulated CPU time (s) 4120.55
Current children cumulated vsize (KiB) 138076
[startup+4182.31 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 28283
/proc/meminfo: memFree=873080/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=138028 CPUtime=4180.53
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 118262 0 0 0 417982 71 0 0 25 0 1 0 218335809 141340672 34360 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34507 34360 79 155 0 34350 0
Current children cumulated CPU time (s) 4180.53
Current children cumulated vsize (KiB) 138028
[startup+4242.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 28283
/proc/meminfo: memFree=873080/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=137596 CPUtime=4240.5
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 119538 0 0 0 423978 72 0 0 25 0 1 0 218335809 140898304 34296 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34399 34296 79 155 0 34242 0
Current children cumulated CPU time (s) 4240.5
Current children cumulated vsize (KiB) 137596
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=872504/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=138572 CPUtime=4300.48
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 119731 0 0 0 429976 72 0 0 25 0 1 0 218335809 141897728 34489 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34643 34489 79 155 0 34486 0
Current children cumulated CPU time (s) 4300.48
Current children cumulated vsize (KiB) 138572
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=873080/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=137596 CPUtime=4360.45
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 120745 0 0 0 435973 72 0 0 25 0 1 0 218335809 140898304 34296 1992294400 134512640 135151029 4294956240 18446744073709551615 134520484 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 34399 34296 79 155 0 34242 0
Current children cumulated CPU time (s) 4360.45
Current children cumulated vsize (KiB) 137596
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=867768/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=143980 CPUtime=4420.42
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 122119 0 0 0 441969 73 0 0 25 0 1 0 218335809 147435520 35670 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35995 35670 79 155 0 35838 0
Current children cumulated CPU time (s) 4420.42
Current children cumulated vsize (KiB) 143980
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=867256/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=144012 CPUtime=4480.4
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 123534 0 0 0 447966 74 0 0 25 0 1 0 218335809 147468288 35781 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 36003 35781 79 155 0 35846 0
Current children cumulated CPU time (s) 4480.4
Current children cumulated vsize (KiB) 144012
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868984/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4540.38
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 124639 0 0 0 453963 75 0 0 25 0 1 0 218335809 145117184 35318 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35318 79 155 0 35272 0
Current children cumulated CPU time (s) 4540.38
Current children cumulated vsize (KiB) 141716
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868664/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141916 CPUtime=4600.35
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 126030 0 0 0 459960 75 0 0 25 0 1 0 218335809 145321984 35374 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35479 35374 79 155 0 35322 0
Current children cumulated CPU time (s) 4600.35
Current children cumulated vsize (KiB) 141916
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868856/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4660.33
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 127051 0 0 0 465957 76 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4660.33
Current children cumulated vsize (KiB) 141716
[startup+4722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868920/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4720.31
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 127051 0 0 0 471955 76 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4720.31
Current children cumulated vsize (KiB) 141716
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=869048/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4780.28
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 127564 0 0 0 477952 76 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4780.28
Current children cumulated vsize (KiB) 141716
[startup+4842.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868984/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4840.27
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 128077 0 0 0 483950 77 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4840.27
Current children cumulated vsize (KiB) 141716
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868984/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4900.24
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 128590 0 0 0 489947 77 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4900.24
Current children cumulated vsize (KiB) 141716
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868920/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=4960.22
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 129103 0 0 0 495945 77 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 4960.22
Current children cumulated vsize (KiB) 141716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5002.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28283
/proc/meminfo: memFree=868920/2055920 swapFree=4180192/4192956
[pid=28274] ppid=28272 vsize=141716 CPUtime=5000
/proc/28274/stat : 28274 (precosat) R 28272 28274 28237 0 -1 4194304 129103 0 0 0 499923 77 0 0 25 0 1 0 218335809 145117184 35326 1992294400 134512640 135151029 4294956240 18446744073709551615 134554555 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28274/statm: 35429 35326 79 155 0 35272 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 141716
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): 5002.13
CPU time (s): 5000.04
CPU user time (s): 4999.24
CPU system time (s): 0.798878
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 145452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.24
system time used= 0.798878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129103
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= 10230
runsolver used 3.50747 second user time and 10.3944 second system time
The end
Begin job on node28 at 2009-05-09 23:03:45
IDJOB=1783938
IDBENCH=24736
IDSOLVER=607
FILE ID=node28/1783938-1241903024
PBS_JOBID= 9264796
Free space on /tmp= 65908 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783938-1241903024/watcher-1783938-1241903024 -o /tmp/evaluation-result-1783938-1241903024/solver-1783938-1241903024 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783938-1241903024.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 531549e214a293ad3adf6ddff17eb882
RANDOM SEED=14703240
node28.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.261
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.261
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: 1012576 kB
Buffers: 53844 kB
Cached: 903684 kB
SwapCached: 6032 kB
Active: 149388 kB
Inactive: 816704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1012576 kB
SwapTotal: 4192956 kB
SwapFree: 4180192 kB
Dirty: 3844 kB
Writeback: 0 kB
Mapped: 14128 kB
Slab: 63052 kB
Committed_AS: 776464 kB
PageTables: 1420 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= 65904 MiB
End job on node28 at 2009-05-10 00:27:09