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-1772881-1241193109.cnf
0.00/0.00 c found header 'p cnf 106701 374254'
0.79/0.80 c finished parsing
0.79/0.80 c
0.79/0.80 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.79/0.80 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.79/0.80 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.79/0.80 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.79/0.80 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.79/0.80 c --random=1 --spread=2000 --seed=0 --skip=25
0.79/0.80 c
0.79/0.80 c sizeof vars[0] = 16 alignment = 0 2 MB
0.79/0.80 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.79/0.80 c sizeof occs[0] = 8 alignment = 0 1 MB
0.79/0.80 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.79/0.80 c
0.79/0.80 c starting search after 0.8 seconds
0.79/0.80 c no decision limit
0.79/0.83 c
0.79/0.83 c original/binary fixed eliminated learned agility
0.79/0.83 c seconds variables equivalent conflicts height MB
0.79/0.83 c
0.79/0.83 c * 0.8 373870 106258 128 315 0 0 0 0.0 0 33
10.29/10.35 c s 10.3 205192 17347 129 923 88302 0 0 0.0 0 27
10.29/10.35 c l 10.3 205192 17347 129 923 88302 0 124407 0.0 0 27
10.39/10.48 c R 10.5 208452 17345 129 925 88302 102 99 156.4 4 29
10.49/10.58 c R 10.6 214777 17345 129 925 88302 206 201 140.4 11 30
12.00/12.09 c B 12.1 331102 14976 149 3274 88302 1000 974 82.4 9 37
13.49/13.58 c B 13.6 386104 14904 164 3331 88302 2000 1962 73.8 5 40
14.79/14.86 c R 14.9 428895 14740 196 3463 88302 2858 2815 73.4 2 45
20.09/20.14 c s 20.1 443056 12587 224 4226 89664 4182 2535 70.1 7 43
20.09/20.14 c - 20.1 443056 12587 224 4226 89664 4182 98282 70.1 7 43
21.89/21.97 c R 22.0 475513 12452 228 4357 89664 5690 4037 67.8 17 46
25.38/25.41 c B 25.4 567600 12096 239 4702 89664 8006 6344 68.3 9 51
27.68/27.72 c R 27.7 624419 11873 239 4925 89664 9703 8040 67.5 9 54
39.68/39.71 c s 39.7 692231 11532 239 5256 89674 15937 13822 68.0 10 57
39.68/39.71 c - 39.7 692231 11532 239 5256 89674 15937 85506 68.0 10 57
48.88/48.92 c B 48.9 702723 11495 240 5292 89674 24017 21882 66.8 13 61
58.47/58.58 c R 58.6 727752 11454 240 5333 89674 32119 29977 65.2 11 68
70.57/70.66 c s 70.6 735924 11442 240 5345 89674 38913 36721 63.7 9 67
70.57/70.66 c - 70.6 735924 11442 240 5345 89674 38913 82941 63.7 9 67
89.17/89.23 c
89.17/89.23 c original/binary fixed eliminated learned agility
89.17/89.23 c seconds variables equivalent conflicts height MB
89.17/89.23 c
89.17/89.23 c R 89.2 743850 11442 240 5345 89674 54612 52408 62.0 17 72
104.96/105.03 c s 105.0 743452 11442 240 5345 89674 63692 61480 61.0 4 71
105.36/105.46 c B 105.4 743457 11442 240 5345 89674 64034 61822 61.1 11 72
131.25/131.33 c + 131.3 746323 11442 240 5345 89674 82942 91235 59.1 15 78
140.85/140.93 c s 140.9 746539 11442 240 5345 89674 88688 86464 58.1 4 75
161.75/161.82 c + 161.8 746678 11442 240 5345 89674 103677 100358 56.6 7 80
164.74/164.87 c R 164.8 746679 11442 240 5345 89674 105913 93682 56.2 10 80
181.65/181.71 c s 181.7 747027 11442 240 5345 89674 114417 100397 56.1 3 78
203.64/203.70 c + 203.7 747664 11442 240 5345 89674 129600 110393 55.4 13 82
222.74/222.84 c s 222.8 747727 11442 240 5345 89674 141780 110494 54.7 6 79
249.33/249.49 c B 249.4 747821 11442 240 5345 89674 160073 110746 53.8 10 84
252.03/252.12 c + 252.1 747857 11442 240 5345 89674 162000 121432 53.7 9 84
262.83/262.90 c s 262.8 747896 11442 240 5345 89674 167815 116533 53.5 18 80
305.11/305.27 c s 305.2 747981 11442 240 5345 89674 192353 121560 52.8 3 81
321.01/321.12 c + 321.0 747992 11442 240 5345 89674 202500 133575 52.3 8 85
350.29/350.44 c s 350.4 748089 11442 240 5345 89674 218147 133664 51.7 7 83
355.89/356.09 c R 356.0 748089 11442 240 5345 89674 221357 133747 51.5 8 85
398.59/398.80 c s 398.7 748092 11442 240 5345 89674 247310 133733 50.5 4 84
408.58/408.78 c + 408.7 748124 11442 240 5345 89674 253125 146932 50.4 16 88
443.87/444.08 c
443.87/444.08 c original/binary fixed eliminated learned agility
443.87/444.08 c seconds variables equivalent conflicts height MB
443.87/444.08 c
443.87/444.08 c s 444.0 748241 11442 240 5345 89674 273348 147112 49.9 13 86
491.26/491.41 c s 491.3 748285 11442 240 5345 89674 301556 147171 49.3 8 86
517.45/517.69 c + 517.6 748302 11442 240 5345 89674 316405 161625 48.9 7 91
539.15/539.37 c s 539.2 748326 11442 240 5345 89674 327890 158627 48.6 6 88
586.43/586.66 c s 586.5 748357 11442 240 5345 89674 352113 161723 48.3 7 88
634.82/635.06 c s 634.9 749008 11442 240 5345 89674 379215 161823 47.9 3 87
642.42/642.64 c B 642.5 749442 11442 240 5345 89674 384145 161897 47.9 5 91
659.11/659.33 c + 659.1 750112 11442 240 5345 89674 395505 177787 47.9 8 92
681.61/681.87 c s 681.7 750115 11442 240 5345 89674 406154 172488 47.7 5 89
729.89/730.11 c s 729.9 750185 11442 240 5345 89674 433640 178080 47.5 5 90
782.57/782.81 c s 782.6 750191 11442 240 5345 89674 458269 177865 47.1 10 90
822.67/822.96 c R 822.7 750199 11442 240 5345 89674 477889 178003 46.6 5 95
836.06/836.31 c s 836.1 750199 11442 240 5345 89674 484962 177824 46.5 11 90
855.15/855.47 c + 855.2 750199 11442 240 5345 89674 494380 195565 46.2 9 94
936.04/936.34 c s 936.1 750200 11442 240 5345 89674 536146 195941 45.4 9 92
989.63/989.93 c s 989.7 750218 11442 240 5345 89674 564842 195667 45.1 10 92
1042.01/1042.33 c s 1042.1 750231 11442 240 5345 89674 592296 195676 44.8 8 92
1087.39/1087.76 c + 1087.5 750253 11442 240 5345 89674 617975 215121 44.7 6 98
1092.19/1092.56 c s 1092.3 750251 11442 240 5345 89674 619966 197600 44.7 4 91
1144.09/1144.49 c
1144.09/1144.49 c original/binary fixed eliminated learned agility
1144.09/1144.49 c seconds variables equivalent conflicts height MB
1144.09/1144.49 c
1144.09/1144.49 c s 1144.2 750315 11442 240 5345 89674 648043 215226 44.6 12 95
1199.77/1200.19 c s 1199.9 750327 11442 240 5345 89674 676174 215307 44.3 6 95
1257.45/1257.82 c s 1257.5 750401 11442 240 5345 89674 705018 215305 44.2 5 95
1312.13/1312.53 c s 1312.2 750420 11442 240 5345 89674 735141 215204 44.0 7 95
1369.22/1369.62 c s 1369.2 750431 11442 240 5345 89674 762952 215273 43.8 6 95
1389.31/1389.72 c + 1389.4 750432 11442 240 5345 89674 772465 236633 43.8 12 102
1427.20/1427.64 c s 1427.3 750437 11442 240 5345 89674 789737 232507 43.7 8 98
1485.49/1485.98 c s 1485.6 750441 11442 240 5345 89674 818764 236707 43.5 11 99
1544.17/1544.62 c s 1544.2 750449 11442 240 5345 89674 846471 236821 43.4 11 99
1601.06/1601.60 c s 1601.2 750458 11442 240 5345 89674 874959 237088 43.2 10 99
1642.55/1643.09 c B 1642.7 750514 11442 240 5345 89674 896263 236860 43.1 11 106
1659.54/1660.08 c s 1659.6 750590 11442 240 5345 89674 902726 236787 43.1 5 99
1717.42/1717.92 c s 1717.5 750607 11442 240 5345 89674 930726 236899 43.0 15 99
1773.41/1773.95 c s 1773.5 750610 11442 240 5345 89674 959618 237077 43.1 8 99
1784.31/1784.82 c + 1784.3 750610 11442 240 5345 89674 965582 260296 43.0 21 104
1827.39/1827.91 c s 1827.4 750616 11442 240 5345 89674 986651 258111 43.0 5 103
1944.37/1945.00 c R 1944.5 750616 11442 240 5345 89674 1042078 260478 42.9 10 112
2024.65/2025.28 c s 2024.7 750617 11442 240 5345 89674 1078344 260569 42.7 16 105
2091.53/2092.16 c s 2091.6 750620 11442 240 5345 89674 1104156 260469 42.8 7 107
2156.61/2157.28 c
2156.61/2157.28 c original/binary fixed eliminated learned agility
2156.61/2157.28 c seconds variables equivalent conflicts height MB
2156.61/2157.28 c
2156.61/2157.28 c s 2156.7 750638 11442 240 5345 89674 1133638 260409 42.5 8 107
2220.69/2221.35 c s 2220.8 750640 11442 240 5345 89674 1162525 260376 42.4 9 106
2282.98/2283.64 c s 2283.0 750650 11442 240 5345 89674 1192619 260541 42.3 14 106
2313.36/2314.04 c + 2313.4 750651 11442 240 5345 89674 1206976 286325 42.3 7 113
2346.95/2347.62 c s 2347.0 750654 11442 240 5345 89674 1220371 273854 42.3 8 108
2414.44/2415.14 c s 2414.5 750660 11442 240 5345 89674 1248670 286443 42.1 7 109
2482.72/2483.47 c s 2482.8 750665 11442 240 5345 89674 1277247 286412 42.0 9 108
2548.50/2549.25 c s 2548.6 750666 11442 240 5345 89674 1307838 286547 41.9 12 108
2618.58/2619.34 c s 2618.6 750669 11442 240 5345 89674 1337605 286403 41.8 6 107
2686.47/2687.20 c s 2686.5 750671 11442 240 5345 89674 1366820 286459 41.7 10 107
2755.25/2756.02 c s 2755.3 750673 11442 240 5345 89674 1395598 286667 41.7 15 107
2832.13/2832.98 c s 2832.2 750674 11442 240 5345 89674 1431991 286632 41.6 7 107
2996.69/2997.59 c + 2996.8 750674 11442 240 5345 89674 1508721 314957 41.4 7 118
3049.37/3050.22 c s 3049.4 750677 11442 240 5345 89674 1531508 309356 41.3 7 111
3121.14/3122.01 c s 3121.2 750678 11442 240 5345 89674 1561243 315058 41.2 5 112
3440.16/3441.18 c s 3440.3 750679 11442 240 5345 89674 1694264 315194 40.7 5 111
3514.14/3515.16 c s 3514.2 750684 11442 240 5345 89674 1726701 315240 40.6 4 111
3585.83/3586.81 c s 3585.8 750685 11442 240 5345 89674 1757745 315058 40.5 14 111
3660.81/3661.83 c s 3660.8 750697 11442 240 5345 89674 1788273 315081 40.4 7 111
3733.18/3734.25 c
3733.18/3734.25 c original/binary fixed eliminated learned agility
3733.18/3734.25 c seconds variables equivalent conflicts height MB
3733.18/3734.25 c
3733.18/3734.25 c s 3733.2 750705 11442 240 5345 89674 1819437 315173 40.3 13 111
3800.47/3801.55 c s 3800.5 750764 11442 240 5345 89674 1849113 315083 40.3 8 111
3866.95/3868.06 c s 3867.0 750765 11442 240 5345 89674 1877993 315138 40.3 13 111
3884.65/3885.74 c + 3884.7 750769 11442 240 5345 89674 1885901 346452 40.3 12 118
3937.12/3938.28 c s 3937.2 750769 11442 240 5345 89674 1906767 336022 40.3 6 115
4055.70/4056.83 c s 4055.7 750770 11442 240 5345 89674 1956590 346497 40.2 15 117
4128.78/4129.93 c s 4128.8 750772 11442 240 5345 89674 1985536 346658 40.3 3 118
4281.24/4282.48 c B 4281.3 750772 11442 240 5345 89674 2048507 346804 40.2 14 131
4313.93/4315.12 c s 4314.0 750773 11442 240 5345 89674 2062527 346889 40.2 10 119
4386.80/4388.05 c s 4386.9 750781 11442 240 5345 89674 2091734 346669 40.2 6 119
4458.59/4459.84 c s 4458.6 750785 11442 240 5345 89674 2121789 346618 40.2 17 119
4529.07/4530.32 c s 4529.1 750786 11442 240 5345 89674 2151389 346615 40.2 12 119
4629.34/4630.64 c s 4629.4 750787 11442 240 5345 89674 2193089 346660 40.2 5 119
4698.22/4699.57 c s 4698.3 750789 11442 240 5345 89674 2226182 346588 40.2 7 119
4810.69/4812.01 c R 4810.7 750789 11442 240 5345 89674 2272901 346557 40.1 12 129
5009.44/5010.84 c + 5009.5 750789 11442 240 5345 89674 2357379 381097 39.8 7 133
5374.24/5375.79 c s 5374.3 750790 11442 240 5345 89674 2499233 381420 39.2 7 124
5458.82/5460.36 c s 5458.9 750791 11442 240 5345 89674 2532507 381360 39.1 5 124
5543.00/5544.50 c s 5543.0 750794 11442 240 5345 89674 2564618 381226 39.1 10 125
5852.91/5854.54 c
5852.91/5854.54 c original/binary fixed eliminated learned agility
5852.91/5854.54 c seconds variables equivalent conflicts height MB
5852.91/5854.54 c
5852.91/5854.54 c s 5853.0 750795 11442 240 5345 89674 2685292 381275 39.1 12 124
5931.30/5932.93 c s 5931.3 750805 11442 240 5345 89674 2717396 381388 39.1 5 124
6012.67/6014.31 c s 6012.7 750813 11442 240 5345 89674 2749461 381230 39.1 11 125
6097.64/6099.32 c s 6097.7 750814 11442 240 5345 89674 2782706 381301 39.0 20 125
6259.80/6261.57 c s 6259.9 750815 11442 240 5345 89674 2846935 381387 39.0 9 125
6404.36/6406.16 c s 6404.4 750816 11442 240 5345 89674 2903153 381286 38.9 12 125
6480.64/6482.45 c s 6480.7 750818 11442 240 5345 89674 2934062 381240 38.9 6 125
6511.74/6513.57 c + 6511.8 750818 11442 240 5345 89674 2946721 419206 38.9 13 133
7000.10/7002.01 c s 7000.1 750819 11442 240 5345 89674 3129894 419284 38.7 12 129
7090.48/7092.43 c s 7090.5 750820 11442 240 5345 89674 3163990 419389 38.7 16 130
7174.25/7176.25 c s 7174.3 750822 11442 240 5345 89674 3196152 419301 38.7 7 129
7256.33/7258.34 c s 7256.4 750823 11442 240 5345 89674 3229016 419449 38.7 6 129
7345.91/7348.00 c s 7346.0 750824 11442 240 5345 89674 3261061 419381 38.6 15 129
7432.28/7434.36 c s 7432.4 750831 11442 240 5345 89674 3292562 419370 38.6 8 130
7518.87/7520.98 c s 7519.0 750847 11442 240 5345 89674 3323933 419244 38.6 9 130
8109.20/8111.41 c s 8109.2 750848 11442 240 5345 89674 3543385 419462 38.3 17 128
8395.13/8397.47 c s 8395.2 750849 11442 240 5345 89674 3658013 419348 38.2 7 128
8463.01/8465.33 c + 8463.0 750851 11442 240 5345 89674 3683400 461126 38.2 7 141
8480.50/8482.89 c s 8480.6 750851 11442 240 5345 89674 3689382 425369 38.2 4 130
8568.78/8571.17 c
8568.78/8571.17 c original/binary fixed eliminated learned agility
8568.78/8571.17 c seconds variables equivalent conflicts height MB
8568.78/8571.17 c
8568.78/8571.17 c s 8568.9 750853 11442 240 5345 89674 3722021 458008 38.2 9 136
8736.43/8738.87 c s 8736.5 750854 11442 240 5345 89674 3784127 461384 38.1 9 136
8836.20/8838.64 c s 8836.3 750856 11442 240 5345 89674 3818288 461223 38.1 16 136
8936.57/8939.01 c s 8936.6 750859 11442 240 5345 89674 3852942 461268 38.0 9 136
9036.55/9039.02 c s 9036.6 750860 11442 240 5345 89674 3886817 461230 38.0 5 136
9168.92/9171.43 c s 9169.0 750870 11442 240 5345 89674 3932014 461205 37.9 18 135
9262.29/9264.85 c s 9262.4 750873 11442 240 5345 89674 3965873 461330 37.9 10 136
9362.16/9364.73 c s 9362.2 750877 11442 240 5345 89674 4001132 461514 37.9 11 135
9535.42/9538.01 c s 9535.4 750878 11442 240 5345 89674 4062036 461357 37.9 11 135
9633.49/9636.18 c s 9633.6 750891 11442 240 5345 89674 4097203 461273 37.8 6 134
9721.16/9723.85 c s 9721.2 751865 11442 240 5345 89674 4134969 461348 37.8 7 134
9814.14/9816.82 c s 9814.2 752011 11442 240 5345 89674 4168716 461267 37.7 10 135
9906.62/9909.38 c s 9906.7 752016 11442 240 5345 89674 4201431 461342 37.7 7 135
10000.09/10002.80 c
10000.09/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.09/10002.80 c
10000.09/10002.80 c 4234911 conflicts, 6336040 decisions, 2072 random
10000.09/10002.80 c 16 iterations, 7547 restarts, 6 skipped
10000.09/10002.80 c 18 enlarged, 14652 shrunken, 41408 rescored, 1020 rebiased
10000.09/10002.80 c 102 simplifications, 0 reductions
10000.09/10002.80 c
10000.09/10002.80 c vars: 240 fixed, 5345 equiv, 89674 elim, 5345 merged
10000.09/10002.80 c elim: 3244966 resolutions, 5 phases, 2 rounds
10000.09/10002.80 c sbst: 77% substituted, 0.1% nots, 99.9% ands, 0.0% xors, 0.0% ites
10000.09/10002.80 c arty: 2.03 and 2.00 xor average arity
10000.09/10002.80 c prbe: 2271756 probed, 4636 phases, 99 rounds
10000.09/10002.80 c prbe: 47 failed, 1 lifted, 1049 merged
10000.09/10002.80 c sccs: 33 non trivial, 0 fixed, 113 merged
10000.09/10002.80 c hash: 6 units, 4183 merged
10000.09/10002.80 c mins: 156596505 learned, 37% deleted, 458 strong, 65 depth
10000.09/10002.80 c subs: 13248 forward, 41208 backward, 35102 doms
10000.09/10002.80 c strs: 20440 forward, 1785 backward
10000.09/10002.80 c doms: 45240 dominators, 23233 high, 33 low
10000.09/10002.80 c prps: 5950294455 propagations, 0.60 megaprops
10000.09/10002.80 c
10000.09/10002.80 c 10000.1 seconds, 153 MB max, 662 MB recycled
10000.09/10002.80 c
10000.09/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.09/10002.80 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772881-1241193109/watcher-1772881-1241193109 -o /tmp/evaluation-result-1772881-1241193109/solver-1772881-1241193109 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772881-1241193109.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.85 0.97 0.99 3/64 24109
/proc/meminfo: memFree=1818304/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=4964 CPUtime=0
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 921 0 0 0 0 0 0 0 18 0 1 0 147344142 5083136 906 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/24109/statm: 1241 907 59 155 0 1084 0
[startup+0.032236 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 24109
/proc/meminfo: memFree=1818304/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=9868 CPUtime=0.02
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 2366 0 0 0 2 0 0 0 18 0 1 0 147344142 10104832 2351 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 2500 2351 64 155 0 2343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9868
[startup+0.101243 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 24109
/proc/meminfo: memFree=1818304/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=13432 CPUtime=0.09
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 3336 0 0 0 8 1 0 0 18 0 1 0 147344142 13754368 3223 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 3358 3223 64 155 0 3201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13432
[startup+0.301266 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 24109
/proc/meminfo: memFree=1818304/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=21468 CPUtime=0.29
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 5477 0 0 0 27 2 0 0 19 0 1 0 147344142 21983232 5235 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 5367 5235 64 155 0 5210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21468
[startup+0.701312 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 24109
/proc/meminfo: memFree=1818304/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=39396 CPUtime=0.69
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 9497 0 0 0 65 4 0 0 22 0 1 0 147344142 40341504 8998 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 9849 9007 64 155 0 9692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39396
[startup+1.50141 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1777528/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=42144 CPUtime=1.49
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 12796 0 0 0 143 6 0 0 25 0 1 0 147344142 43155456 10341 1992294400 134512640 135151029 4294956240 18446744073709551615 134522064 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 10536 10341 79 155 0 10379 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42144
[startup+3.10159 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1776504/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=57952 CPUtime=3.1
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 19590 0 0 0 300 10 0 0 25 0 1 0 147344142 59342848 14312 1992294400 134512640 135151029 4294956240 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 14488 14312 79 155 0 14331 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 57952
[startup+6.30197 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1754104/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=66504 CPUtime=6.29
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 21347 0 0 0 618 11 0 0 25 0 1 0 147344142 68100096 16069 1992294400 134512640 135151029 4294956240 18446744073709551615 134526010 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 16626 16069 79 155 0 16469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66504
[startup+12.7017 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1762232/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=58092 CPUtime=12.69
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 22274 0 0 0 1257 12 0 0 25 0 1 0 147344142 59486208 13942 1992294400 134512640 135151029 4294956240 18446744073709551615 134554782 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 14523 13942 79 155 0 14366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58092
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1759808/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=60536 CPUtime=25.48
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 29096 0 0 0 2533 15 0 0 25 0 1 0 147344142 61988864 14605 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 15134 14605 79 155 0 14977 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60536
[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1749504/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=79208 CPUtime=51.08
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 41501 0 0 0 5086 22 0 0 25 0 1 0 147344142 81108992 19236 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 19802 19236 79 155 0 19645 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79208
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1744384/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=75948 CPUtime=102.26
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 53458 0 0 0 10196 30 0 0 25 0 1 0 147344142 77770752 18425 1992294400 134512640 135151029 4294956240 18446744073709551615 134522042 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 18987 18425 79 155 0 18830 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75948
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1730112/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=90420 CPUtime=162.25
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 68131 0 0 0 16186 39 0 0 25 0 1 0 147344142 92590080 22026 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 22605 22026 79 155 0 22448 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 90420
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1730880/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=90628 CPUtime=222.23
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 75932 0 0 0 22179 44 0 0 25 0 1 0 147344142 92803072 22072 1992294400 134512640 135151029 4294956240 18446744073709551615 134572744 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 22657 22072 79 155 0 22500 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 90628
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1724096/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=96336 CPUtime=282.22
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 82786 0 0 0 28173 49 0 0 25 0 1 0 147344142 98648064 23511 1992294400 134512640 135151029 4294956240 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 24084 23511 79 155 0 23927 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 96336
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1721600/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=98884 CPUtime=342.2
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 87859 0 0 0 34168 52 0 0 25 0 1 0 147344142 101257216 24140 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 24721 24140 79 155 0 24564 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 98884
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1720512/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=99500 CPUtime=402.18
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 96843 0 0 0 40161 57 0 0 25 0 1 0 147344142 101888000 24344 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 24875 24344 79 155 0 24718 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 99500
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1717184/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=103100 CPUtime=462.16
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 102107 0 0 0 46156 60 0 0 25 0 1 0 147344142 105574400 25218 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 25775 25218 79 155 0 25618 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 103100
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24110
/proc/meminfo: memFree=1717184/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=103244 CPUtime=522.15
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 106690 0 0 0 52152 63 0 0 25 0 1 0 147344142 105721856 25229 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 25811 25229 79 155 0 25654 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 103244
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24116
/proc/meminfo: memFree=1714944/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=105312 CPUtime=582.13
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 111467 0 0 0 58147 66 0 0 25 0 1 0 147344142 107839488 25745 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 26328 25745 79 155 0 26171 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 105312
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24116
/proc/meminfo: memFree=1714944/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=104812 CPUtime=642.12
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 120514 0 0 0 64140 72 0 0 25 0 1 0 147344142 107327488 25676 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 26203 25676 79 155 0 26046 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 104812
[startup+702.301 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649600/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9039.85
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 474068 0 0 0 903686 299 0 0 25 0 1 0 147344142 171003904 41191 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41191 79 155 0 41592 0
Current children cumulated CPU time (s) 9039.85
Current children cumulated vsize (KiB) 166996
[startup+9102.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649600/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9099.83
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 474074 0 0 0 909684 299 0 0 25 0 1 0 147344142 171003904 41197 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41197 79 155 0 41592 0
Current children cumulated CPU time (s) 9099.83
Current children cumulated vsize (KiB) 166996
[startup+9162.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649344/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=167700 CPUtime=9159.81
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 474174 0 0 0 915682 299 0 0 25 0 1 0 147344142 171724800 41297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41925 41297 79 155 0 41768 0
Current children cumulated CPU time (s) 9159.81
Current children cumulated vsize (KiB) 167700
[startup+9222.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649536/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9219.81
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 478178 0 0 0 921679 302 0 0 25 0 1 0 147344142 171003904 41210 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41210 79 155 0 41592 0
Current children cumulated CPU time (s) 9219.81
Current children cumulated vsize (KiB) 166996
[startup+9282.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649408/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9279.78
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 482190 0 0 0 927674 304 0 0 25 0 1 0 147344142 171003904 41218 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41218 79 155 0 41592 0
Current children cumulated CPU time (s) 9279.78
Current children cumulated vsize (KiB) 166996
[startup+9342.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649472/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9339.78
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 482193 0 0 0 933673 305 0 0 25 0 1 0 147344142 171003904 41221 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41221 79 155 0 41592 0
Current children cumulated CPU time (s) 9339.78
Current children cumulated vsize (KiB) 166996
[startup+9402.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649408/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9399.75
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 486199 0 0 0 939668 307 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9399.75
Current children cumulated vsize (KiB) 166996
[startup+9462.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649408/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9459.73
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 486199 0 0 0 945666 307 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9459.73
Current children cumulated vsize (KiB) 166996
[startup+9522.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649280/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=167444 CPUtime=9519.73
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 486255 0 0 0 951665 308 0 0 25 0 1 0 147344142 171462656 41279 1992294400 134512640 135151029 4294956240 18446744073709551615 134555220 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41861 41279 79 155 0 41704 0
Current children cumulated CPU time (s) 9519.73
Current children cumulated vsize (KiB) 167444
[startup+9582.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649344/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9579.71
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 490311 0 0 0 957661 310 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9579.71
Current children cumulated vsize (KiB) 166996
[startup+9642.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649344/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9639.69
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 494315 0 0 0 963657 312 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9639.69
Current children cumulated vsize (KiB) 166996
[startup+9702.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649344/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9699.67
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 494315 0 0 0 969655 312 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9699.67
Current children cumulated vsize (KiB) 166996
[startup+9762.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649280/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9759.66
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 498319 0 0 0 975651 315 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9759.66
Current children cumulated vsize (KiB) 166996
[startup+9822.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649216/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9819.64
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 502323 0 0 0 981647 317 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9819.64
Current children cumulated vsize (KiB) 166996
[startup+9882.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649280/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9879.62
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 502323 0 0 0 987645 317 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9879.62
Current children cumulated vsize (KiB) 166996
[startup+9942.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649216/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9939.61
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 506327 0 0 0 993642 319 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9939.61
Current children cumulated vsize (KiB) 166996
[startup+10002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649216/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=9999.59
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 506327 0 0 0 999640 319 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 9999.59
Current children cumulated vsize (KiB) 166996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 24132
/proc/meminfo: memFree=1649216/2055920 swapFree=4180392/4192956
[pid=24109] ppid=24107 vsize=166996 CPUtime=10000.1
/proc/24109/stat : 24109 (precosat) R 24107 24109 24072 0 -1 4194304 506327 0 0 0 999690 319 0 0 25 0 1 0 147344142 171003904 41223 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24109/statm: 41749 41223 79 155 0 41592 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 166996
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): 10002.8
CPU time (s): 10000.1
CPU user time (s): 9996.91
CPU system time (s): 3.22551
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 171096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.91
system time used= 3.22551
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506327
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= 23193
runsolver used 7.27789 second user time and 21.6007 second system time
The end
Begin job on node20 at 2009-05-01 17:51:49
IDJOB=1772881
IDBENCH=20406
IDSOLVER=607
FILE ID=node20/1772881-1241193109
PBS_JOBID= 9224637
Free space on /tmp= 66432 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772881-1241193109/watcher-1772881-1241193109 -o /tmp/evaluation-result-1772881-1241193109/solver-1772881-1241193109 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772881-1241193109.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=47219490
node20.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.214
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 : 5931.00
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.214
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: 1818784 kB
Buffers: 56168 kB
Cached: 97380 kB
SwapCached: 6320 kB
Active: 25924 kB
Inactive: 135580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1818784 kB
SwapTotal: 4192956 kB
SwapFree: 4180392 kB
Dirty: 7144 kB
Writeback: 0 kB
Mapped: 13372 kB
Slab: 61728 kB
Committed_AS: 774376 kB
PageTables: 1396 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= 66432 MiB
End job on node20 at 2009-05-01 20:38:34