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-1773251-1241182959.cnf
0.00/0.00 c found header 'p cnf 106013 1598301'
3.88/4.00 c finished parsing
3.88/4.00 c
3.88/4.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
3.88/4.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
3.88/4.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
3.88/4.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
3.88/4.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
3.88/4.00 c --random=1 --spread=2000 --seed=0 --skip=25
3.88/4.00 c
3.88/4.00 c sizeof vars[0] = 16 alignment = 0 2 MB
3.88/4.00 c sizeof orgs[0] = 8 alignment = 0 1 MB
3.88/4.00 c sizeof occs[0] = 8 alignment = 0 1 MB
3.88/4.00 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
3.88/4.00 c
3.88/4.00 c starting search after 4.0 seconds
3.88/4.00 c no decision limit
4.09/4.10 c
4.09/4.10 c original/binary fixed eliminated learned agility
4.09/4.10 c seconds variables equivalent conflicts height MB
4.09/4.10 c
4.09/4.10 c * 4.1 1598300 106012 1 0 0 0 0 0.0 0 113
9.29/9.38 c - 9.4 1438043 96393 9617 3 0 0 1000 0.0 0 140
9.39/9.47 c - 9.5 1436694 96393 9617 3 0 0 1000 0.0 0 140
19.39/19.43 c s 19.4 1286666 68672 9617 3 27721 0 0 0.0 0 102
19.39/19.43 c l 19.4 1286666 68672 9617 3 27721 0 149822 0.0 0 102
19.59/19.62 c R 19.6 1287872 68671 9617 4 27721 100 99 2129.1 1 104
19.59/19.67 c R 19.7 1287947 68671 9617 4 27721 200 199 1842.5 2 104
20.38/20.45 c R 20.5 1296260 66680 11582 30 27721 804 792 1794.5 3 106
20.79/20.82 c B 20.8 1301854 66649 11582 61 27721 1001 989 2554.2 2 107
23.68/23.70 c B 23.7 1329499 66115 11646 531 27721 2001 1989 2285.2 3 108
24.38/24.43 c R 24.4 1335684 66097 11654 541 27721 2404 2390 2353.0 1 109
30.68/30.78 c R 30.8 1381806 65789 11885 618 27721 6416 6397 2186.3 1 112
32.58/32.66 c B 32.7 1391604 65787 11886 619 27721 8002 7980 2224.6 3 113
43.38/43.47 c R 43.5 1471703 65747 11887 658 27721 16036 16003 2164.4 1 119
61.57/61.64 c s 61.6 1321259 65712 11899 680 27722 22999 22907 2211.9 0 110
61.57/61.64 c - 61.6 1321259 65712 11899 680 27722 22999 137837 2211.9 0 110
62.87/62.99 c B 63.0 1323393 65680 11915 696 27722 24009 23917 2213.1 1 111
77.37/77.40 c R 77.4 1357263 65592 11962 737 27722 38488 38374 2191.3 4 120
109.37/109.49 c s 109.5 1379106 62615 14501 1046 27851 54182 52256 2142.3 0 121
109.37/109.49 c
109.37/109.49 c original/binary fixed eliminated learned agility
109.37/109.49 c seconds variables equivalent conflicts height MB
109.37/109.49 c
109.37/109.49 c - 109.5 1379106 62615 14501 1046 27851 54182 132324 2142.3 0 121
121.16/121.23 c B 121.2 1409895 62544 14543 1075 27851 64021 62081 2114.7 4 130
167.84/167.98 c s 167.9 1446133 62305 14686 1163 27859 93663 69352 2101.2 1 129
167.84/167.98 c - 167.9 1446133 62305 14686 1163 27859 93663 129678 2101.2 1 129
217.54/217.60 c + 217.5 1513265 62084 14819 1251 27859 129680 142645 2067.5 1 150
226.54/226.63 c s 226.6 1507755 62076 14825 1253 27859 130079 105392 2068.5 1 142
226.54/226.63 c - 226.6 1507755 62076 14825 1253 27859 130079 141219 2068.5 1 142
261.32/261.47 c B 261.4 1540774 61923 14931 1300 27859 160042 135341 2051.6 1 159
261.52/261.64 c + 261.6 1540774 61923 14931 1300 27859 160479 155340 2051.3 1 159
290.41/290.51 c s 290.4 1546614 61830 15013 1311 27859 172498 147620 2044.8 1 156
290.41/290.51 c - 290.4 1546614 61830 15013 1311 27859 172498 153787 2044.8 1 156
324.71/324.86 c + 324.8 1569559 61590 15238 1326 27859 198590 169165 2061.6 1 168
337.70/337.88 c R 337.8 1579487 61378 15442 1334 27859 208109 163352 2049.6 2 172
364.29/364.43 c s 364.3 1548295 59892 16269 1993 27859 216370 168930 2039.3 1 163
364.29/364.43 c - 364.3 1548295 59892 16269 1993 27859 216370 152249 2039.3 1 163
372.99/373.16 c + 373.1 1552168 59531 16350 2273 27859 223412 167473 2033.7 1 163
432.48/432.61 c s 432.5 1503540 57171 16602 2594 29646 255732 157930 2023.2 1 154
432.48/432.61 c - 432.5 1503540 57171 16602 2594 29646 255732 164124 2023.2 1 154
452.98/453.11 c + 453.0 1522753 57051 16704 2612 29646 273681 180536 2007.4 2 161
495.05/495.23 c
495.05/495.23 c original/binary fixed eliminated learned agility
495.05/495.23 c seconds variables equivalent conflicts height MB
495.05/495.23 c
495.05/495.23 c s 495.1 1493648 56067 16891 2629 30426 295363 180265 1992.0 4 158
495.05/495.23 c - 495.1 1493648 56067 16891 2629 30426 295363 178731 1992.0 4 158
531.65/531.86 c R 531.7 1523660 55834 17121 2632 30426 323515 179011 1974.2 2 170
548.35/548.59 c + 548.5 1533718 55788 17164 2635 30426 338680 196604 1960.3 1 172
562.24/562.42 c s 562.3 1480981 55098 17193 2635 31087 345390 185598 1962.3 0 162
609.73/609.94 c B 609.8 1494862 54974 17313 2639 31087 384087 196790 1959.1 2 177
626.83/627.06 c s 626.9 1472958 54497 17336 2639 31541 393330 195664 1953.5 2 168
666.62/666.88 c + 666.7 1486283 54370 17459 2643 31541 423351 216264 1944.2 1 182
692.11/692.38 c s 692.2 1477523 54137 17525 2648 31703 437705 210074 1937.2 1 177
762.59/762.85 c s 762.7 1428443 52614 18754 2682 31963 482546 206749 1914.5 2 176
762.59/762.85 c - 762.7 1428443 52614 18754 2682 31963 482546 209777 1914.5 2 176
798.39/798.60 c + 798.4 1434446 52514 18839 2697 31963 513310 230754 1900.8 3 185
833.07/833.30 c s 833.1 1428223 52482 18851 2711 31969 538943 230177 1890.1 1 180
916.25/916.55 c s 916.3 1413886 52364 18941 2739 31969 607803 230814 1860.6 1 172
956.14/956.43 c + 956.2 1416706 52357 18944 2743 31969 641636 253829 1844.6 2 181
997.43/997.77 c s 997.5 1418391 52347 18944 2752 31970 667683 240523 1836.3 1 174
1083.21/1083.55 c s 1083.3 1402150 52078 19198 2767 31970 730568 253096 1815.7 3 178
1173.18/1173.55 c s 1173.2 1382180 50628 19284 2783 33318 790104 235449 1797.4 0 173
1187.87/1188.29 c + 1188.0 1383950 50627 19284 2784 33318 802045 279211 1794.5 1 182
1269.06/1269.48 c
1269.06/1269.48 c original/binary fixed eliminated learned agility
1269.06/1269.48 c seconds variables equivalent conflicts height MB
1269.06/1269.48 c
1269.06/1269.48 c s 1269.2 1393662 50619 19285 2791 33318 846699 279272 1780.5 1 186
1328.04/1328.48 c B 1328.1 1404520 50608 19292 2795 33318 896186 279276 1771.7 1 198
1358.83/1359.23 c s 1358.9 1407978 50607 19292 2796 33318 911467 279236 1768.4 1 186
1429.11/1429.54 c s 1429.2 1422467 50593 19299 2803 33318 984622 279327 1749.1 3 180
1450.60/1451.08 c + 1450.7 1425429 50588 19301 2806 33318 1002555 307132 1746.6 1 188
1516.89/1517.37 c s 1517.0 1418540 49733 19307 2813 34160 1044923 302948 1734.5 4 188
1609.87/1610.34 c s 1609.9 1422423 49595 19316 2871 34231 1115060 306540 1713.6 1 186
1707.34/1707.87 c s 1707.4 1426721 49473 19335 2937 34268 1185490 306778 1697.2 2 186
1744.63/1745.13 c R 1744.7 1429076 49440 19350 2955 34268 1221763 307326 1687.5 2 205
1781.92/1782.43 c + 1782.0 1431319 49412 19368 2965 34268 1253192 337845 1679.4 2 209
1797.22/1797.71 c s 1797.2 1429156 49406 19368 2966 34273 1259124 313218 1677.9 3 194
1894.59/1895.14 c s 1894.6 1432004 49374 19380 2983 34276 1328808 337903 1664.0 1 201
1988.06/1988.60 c s 1988.1 1434148 49316 19426 2995 34276 1408680 337949 1651.0 6 196
2085.23/2085.84 c s 2085.3 1435429 49273 19456 3008 34276 1496560 337847 1634.0 1 194
2178.22/2178.88 c + 2178.3 1437824 49242 19485 3010 34276 1566491 371629 1629.9 4 211
2191.11/2191.71 c s 2191.1 1436750 49235 19491 3010 34277 1568495 317736 1629.9 1 183
2288.89/2289.59 c s 2289.0 1438010 49196 19528 3012 34277 1643251 371658 1619.7 0 199
2422.75/2423.42 c s 2422.8 1438736 49058 19663 3015 34277 1721711 371664 1607.5 3 200
2491.33/2492.05 c R 2491.4 1441430 49033 19685 3018 34277 1785590 371888 1596.6 2 225
2537.82/2538.57 c
2537.82/2538.57 c original/binary fixed eliminated learned agility
2537.82/2538.57 c seconds variables equivalent conflicts height MB
2537.82/2538.57 c
2537.82/2538.57 c s 2537.9 1442683 49022 19696 3018 34277 1817245 371396 1590.8 1 205
2628.70/2629.49 c s 2628.8 1447430 48946 19772 3018 34277 1895667 371707 1582.4 2 204
2692.28/2693.01 c + 2692.3 1450810 48937 19780 3019 34277 1958112 408791 1575.8 1 218
2714.18/2714.91 c s 2714.2 1448122 48905 19789 3019 34300 1966702 379890 1575.1 2 204
2803.35/2804.13 c s 2803.4 1449973 48863 19824 3022 34304 2041343 408887 1565.6 1 217
2813.35/2814.14 c B 2813.4 1450101 48863 19824 3022 34304 2048364 408941 1564.6 1 225
2903.23/2904.07 c s 2903.3 1451495 48834 19832 3042 34305 2133934 408850 1553.0 2 211
3008.10/3008.94 c s 3008.2 1453159 48786 19835 3086 34306 2222171 408836 1541.2 1 213
3093.98/3094.88 c s 3094.1 1406151 48117 20453 3137 34306 2307454 408855 1533.8 2 206
3212.24/3213.19 c s 3212.3 1406618 48111 20453 3143 34306 2399311 409003 1529.2 0 204
3289.52/3290.48 c + 3289.6 1406949 48107 20453 3147 34306 2447640 449670 1525.9 2 226
3322.81/3323.78 c s 3322.9 1407123 48107 20453 3147 34306 2471674 432913 1523.0 1 211
3439.28/3440.28 c s 3439.4 1407850 48104 20453 3150 34306 2547992 449690 1517.2 1 212
3551.04/3552.02 c s 3551.1 1408865 48102 20453 3152 34306 2624684 449763 1509.2 2 214
3666.61/3667.66 c - 3666.7 1240410 43859 24211 3636 34307 2713486 445174 1500.7 1 162
3670.01/3671.05 c s 3670.1 1182297 41717 24211 3636 36449 2713486 152850 1500.7 1 128
3670.01/3671.05 c - 3670.1 1182297 41717 24211 3636 36449 2713486 347236 1500.7 1 128
3670.01/3671.05 c + 3670.1 1182297 41717 24211 3636 36449 2713486 381959 1500.7 1 128
3731.09/3732.10 c s 3731.1 1186009 41474 24214 3870 36455 2759550 198666 1493.7 3 140
3731.09/3732.10 c
3731.09/3732.10 c original/binary fixed eliminated learned agility
3731.09/3732.10 c seconds variables equivalent conflicts height MB
3731.09/3732.10 c
3731.09/3732.10 c - 3731.1 1186009 41474 24214 3870 36455 2759550 374320 1493.7 3 140
3800.79/3801.83 c s 3800.8 1189488 41410 24217 3931 36455 2811831 250766 1487.7 2 153
3800.79/3801.83 c - 3800.8 1189488 41410 24217 3931 36455 2811831 366834 1487.7 2 153
3872.66/3873.73 c - 3872.7 1195246 41341 24249 3967 36456 2869053 363166 1481.7 1 175
3876.36/3877.44 c s 3876.4 1156032 40345 24249 3967 37452 2869053 266837 1481.7 1 153
3876.36/3877.44 c - 3876.4 1156032 40345 24249 3967 37452 2869053 355903 1481.7 1 153
3947.04/3948.18 c s 3947.1 1156138 40178 24370 4013 37452 2921599 319272 1475.7 1 165
3947.04/3948.18 c - 3947.1 1156138 40178 24370 4013 37452 2921599 352344 1475.7 1 165
4029.92/4031.05 c s 4030.0 1155172 39779 24371 4047 37816 2984696 327299 1468.9 1 163
4029.92/4031.05 c - 4030.0 1155172 39779 24371 4047 37816 2984696 348821 1468.9 1 163
4108.00/4109.12 c - 4108.0 1184377 38558 25015 4623 37817 3040549 341845 1468.8 2 166
4111.50/4112.66 c s 4111.6 1123295 36841 25015 4623 39534 3040549 255333 1468.8 2 149
4111.50/4112.66 c - 4111.6 1123295 36841 25015 4623 39534 3040549 307661 1468.8 2 149
4111.50/4112.66 c + 4111.6 1123295 36841 25015 4623 39534 3040549 338427 1468.8 2 149
4188.78/4189.96 c s 4188.9 1114776 36632 25035 4733 39613 3093326 302216 1462.7 1 162
4257.96/4259.11 c s 4258.0 1116877 36517 25036 4803 39657 3152055 337603 1456.5 1 170
4338.14/4339.40 c s 4338.2 1119805 36091 25037 5228 39657 3216603 338457 1450.3 0 168
4425.02/4426.21 c s 4425.0 1122311 35918 25045 5393 39657 3292114 338507 1443.8 1 167
4425.02/4426.21 c - 4425.0 1122311 35918 25045 5393 39657 3292114 335043 1443.8 1 167
4506.09/4507.35 c
4506.09/4507.35 c original/binary fixed eliminated learned agility
4506.09/4507.35 c seconds variables equivalent conflicts height MB
4506.09/4507.35 c
4506.09/4507.35 c - 4506.2 1105988 35467 25142 5747 39657 3354274 331693 1437.7 1 168
4512.00/4513.23 c s 4512.0 1013955 32775 25143 5747 42348 3354274 325681 1437.7 1 154
4512.00/4513.23 c - 4512.0 1013955 32775 25143 5747 42348 3354274 311792 1437.7 1 154
4590.18/4591.43 c s 4590.2 994898 32241 25163 5890 42719 3415479 310654 1431.9 0 148
4667.55/4668.87 c s 4667.6 988994 32092 25175 5950 42796 3474729 311003 1426.3 1 149
4694.45/4695.73 c + 4694.5 989473 32080 25176 5961 42796 3501550 342971 1423.3 2 161
4742.13/4743.40 c s 4742.2 986953 31987 25260 5970 42796 3541090 342970 1419.8 1 158
4822.81/4824.10 c s 4822.8 976940 31716 25417 6084 42796 3601255 340796 1414.7 1 155
4822.81/4824.10 c - 4822.8 976940 31716 25417 6084 42796 3601255 339542 1414.7 1 155
4911.19/4912.51 c s 4911.2 947113 30312 25999 6906 42796 3660815 302083 1409.3 1 148
4911.19/4912.51 c - 4911.2 947113 30312 25999 6906 42796 3660815 302193 1409.3 1 148
4982.47/4983.83 c s 4982.5 949530 29960 25999 7258 42796 3723862 302243 1404.6 1 143
5056.85/5058.26 c s 5056.9 898026 28726 26014 7376 43897 3788814 281922 1399.3 1 129
5056.85/5058.26 c - 5056.9 898026 28726 26014 7376 43897 3788814 299172 1399.3 1 129
5089.94/5091.33 c + 5090.0 937459 27102 26838 8176 43897 3817953 329089 1397.6 2 146
5132.03/5133.48 c s 5132.1 889716 26439 26840 8550 44184 3847255 208284 1394.8 0 116
5132.03/5133.48 c - 5132.1 889716 26439 26840 8550 44184 3847255 292890 1394.8 0 116
5203.41/5204.83 c s 5203.5 887560 26154 26846 8819 44194 3902964 253963 1390.2 2 126
5275.99/5277.45 c s 5276.1 872326 25674 26852 9286 44201 3961737 254133 1386.1 1 118
5359.57/5361.05 c
5359.57/5361.05 c original/binary fixed eliminated learned agility
5359.57/5361.05 c seconds variables equivalent conflicts height MB
5359.57/5361.05 c
5359.57/5361.05 c s 5359.6 871324 25537 26859 9416 44201 4021257 291293 1381.5 1 126
5441.74/5443.26 c s 5441.8 856514 25391 26955 9466 44201 4082488 287635 1376.8 1 123
5441.74/5443.26 c - 5441.8 856514 25391 26955 9466 44201 4082488 287033 1376.8 1 123
5525.82/5527.35 c s 5525.9 856577 25387 26957 9468 44201 4141915 286305 1372.6 1 121
5552.52/5554.06 c + 5552.6 858106 24635 27703 9474 44201 4162524 315736 1371.1 1 131
5560.91/5562.49 c 0 5561.0 863427 20619 31683 9510 44201 4171572 296065 1370.5 1 133
5560.91/5562.49 c
5560.91/5562.49 s UNSATISFIABLE
5560.91/5562.49 c
5560.91/5562.49 c 4171572 conflicts, 100896306 decisions, 50522 random
5560.91/5562.49 c 38 iterations, 9711 restarts, 0 skipped
5560.91/5562.49 c 20 enlarged, 16141 shrunken, 40723 rescored, 1019 rebiased
5560.91/5562.49 c 67 simplifications, 0 reductions
5560.91/5562.49 c
5560.91/5562.49 c vars: 31683 fixed, 9510 equiv, 44201 elim, 9598 merged
5560.91/5562.49 c elim: 25622615 resolutions, 67 phases, 6 rounds
5560.91/5562.49 c sbst: 63% substituted, 1.7% nots, 91.5% ands, 0.0% xors, 6.7% ites
5560.91/5562.49 c arty: 15.20 and 0.00 xor average arity
5560.91/5562.49 c prbe: 556766 probed, 3574 phases, 7 rounds
5560.91/5562.49 c prbe: 3544 failed, 11148 lifted, 412 merged
5560.91/5562.49 c sccs: 382 non trivial, 0 fixed, 442 merged
5560.91/5562.49 c hash: 70 units, 8744 merged
5560.91/5562.49 c mins: 227202437 learned, 40% deleted, 59 strong, 104 depth
5560.91/5562.49 c subs: 35023 forward, 66376 backward, 588157 doms
5560.91/5562.49 c strs: 80364 forward, 2667 backward
5560.91/5562.49 c doms: 596539 dominators, 563142 high, 971 low
5560.91/5562.49 c prps: 4162046703 propagations, 0.75 megaprops
5560.91/5562.49 c
5560.91/5562.49 c 5561.0 seconds, 236 MB max, 1006 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773251-1241182959/watcher-1773251-1241182959 -o /tmp/evaluation-result-1773251-1241182959/solver-1773251-1241182959 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773251-1241182959.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: 1.00 1.00 0.92 2/64 23806
/proc/meminfo: memFree=1763832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=4112 CPUtime=0
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 880 0 0 0 0 0 0 0 18 0 1 0 146330000 4210688 865 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/23806/statm: 1028 872 58 155 0 871 0
[startup+0.032979 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 23806
/proc/meminfo: memFree=1763832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=9956 CPUtime=0.02
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 2373 0 0 0 2 0 0 0 18 0 1 0 146330000 10194944 2358 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 2489 2358 63 155 0 2332 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9956
[startup+0.101987 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 23806
/proc/meminfo: memFree=1763832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=13528 CPUtime=0.09
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 3372 0 0 0 8 1 0 0 18 0 1 0 146330000 13852672 3259 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 3382 3260 63 155 0 3225 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13528
[startup+0.302008 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 23806
/proc/meminfo: memFree=1763832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=22300 CPUtime=0.29
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 5693 0 0 0 27 2 0 0 19 0 1 0 146330000 22835200 5451 1992294400 134512640 135151029 4294956240 18446744073709551615 134579321 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 5575 5451 63 155 0 5418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22300
[startup+0.701053 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 23806
/proc/meminfo: memFree=1763832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=34056 CPUtime=0.69
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 9385 0 0 0 65 4 0 0 22 0 1 0 146330000 34873344 8373 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 8514 8373 63 155 0 8357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34056
[startup+1.50114 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1720496/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=58372 CPUtime=1.49
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 16424 0 0 0 141 8 0 0 25 0 1 0 146330000 59772928 14387 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 14593 14388 63 155 0 14436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58372
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1687408/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=103328 CPUtime=3.08
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 29632 0 0 0 294 14 0 0 25 0 1 0 146330000 105807872 25546 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 25832 25546 63 155 0 25675 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 103328
[startup+6.30168 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1643888/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=142192 CPUtime=6.29
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 45651 0 0 0 605 24 0 0 25 0 1 0 146330000 145604608 35128 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 35548 35128 79 155 0 35391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142192
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1605040/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=161756 CPUtime=12.69
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 60466 0 0 0 1238 31 0 0 25 0 1 0 146330000 165638144 39824 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 40439 39824 79 155 0 40282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161756
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1607152/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=158868 CPUtime=25.48
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 69142 0 0 0 2512 36 0 0 25 0 1 0 146330000 162680832 39239 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 39717 39239 79 155 0 39560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158868
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1607280/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=158872 CPUtime=51.07
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 69144 0 0 0 5071 36 0 0 25 0 1 0 146330000 162684928 39241 1992294400 134512640 135151029 4294956240 18446744073709551615 134542636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 39718 39241 79 155 0 39561 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 158872
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1609584/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=155664 CPUtime=102.26
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 108218 0 0 0 10170 56 0 0 25 0 1 0 146330000 159399936 38583 1992294400 134512640 135151029 4294956240 18446744073709551615 134680174 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 38916 38583 79 155 0 38759 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 155664
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1592496/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=173168 CPUtime=162.25
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 137449 0 0 0 16154 71 0 0 25 0 1 0 146330000 177324032 42882 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 43292 42882 79 155 0 43135 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 173168
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1590512/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=174884 CPUtime=222.24
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 163504 0 0 0 22140 84 0 0 25 0 1 0 146330000 179081216 43323 1992294400 134512640 135151029 4294956240 18446744073709551615 134572827 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 43721 43323 79 155 0 43564 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 174884
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1582832/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=191372 CPUtime=282.22
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 190133 0 0 0 28122 100 0 0 25 0 1 0 146330000 195964928 47446 1992294400 134512640 135151029 4294956240 18446744073709551615 134548564 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 47843 47446 79 155 0 47686 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 191372
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1570160/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=195580 CPUtime=342.2
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 200653 0 0 0 34114 106 0 0 25 0 1 0 146330000 200273920 48450 1992294400 134512640 135151029 4294956240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 48895 48450 79 155 0 48738 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 195580
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1565360/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=199620 CPUtime=402.18
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 223864 0 0 0 40100 118 0 0 25 0 1 0 146330000 204410880 49580 1992294400 134512640 135151029 4294956240 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 49905 49580 79 155 0 49748 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 199620
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1564976/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=199620 CPUtime=462.17
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 245329 0 0 0 46087 130 0 0 25 0 1 0 146330000 204410880 49658 1992294400 134512640 135151029 4294956240 18446744073709551615 134542608 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 49905 49658 79 155 0 49748 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 199620
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1565040/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=199364 CPUtime=522.16
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 267170 0 0 0 52074 142 0 0 25 0 1 0 146330000 204148736 49625 1992294400 134512640 135151029 4294956240 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 49841 49625 79 155 0 49684 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 199364
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1565040/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=199364 CPUtime=582.14
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 288975 0 0 0 58061 153 0 0 25 0 1 0 146330000 204148736 49656 1992294400 134512640 135151029 4294956240 18446744073709551615 134555104 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 49841 49656 79 155 0 49684 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 199364
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23807
/proc/meminfo: memFree=1562928/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=203536 CPUtime=642.13
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 311266 0 0 0 64048 165 0 0 25 0 1 0 146330000 208420864 50173 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 50884 50173 79 155 0 50727 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 203536
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1517936/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=246464 CPUtime=4541.09
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1168437 0 0 0 453490 619 0 0 25 0 1 0 146330000 252379136 60935 1992294400 134512640 135151029 4294956240 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61616 60935 79 155 0 61459 0
Current children cumulated CPU time (s) 4541.09
Current children cumulated vsize (KiB) 246464
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1518320/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=245692 CPUtime=4601.07
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1182502 0 0 0 459481 626 0 0 25 0 1 0 146330000 251588608 60839 1992294400 134512640 135151029 4294956240 18446744073709551615 134542732 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61423 60839 79 155 0 61266 0
Current children cumulated CPU time (s) 4601.07
Current children cumulated vsize (KiB) 245692
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1515632/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=236724 CPUtime=4661.05
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1183586 0 0 0 465478 627 0 0 25 0 1 0 146330000 242405376 58703 1992294400 134512640 135151029 4294956240 18446744073709551615 134521838 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 59181 58703 79 155 0 59024 0
Current children cumulated CPU time (s) 4661.05
Current children cumulated vsize (KiB) 236724
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1515760/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=249044 CPUtime=4721.04
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1197076 0 0 0 471470 634 0 0 25 0 1 0 146330000 255021056 61464 1992294400 134512640 135151029 4294956240 18446744073709551615 134567680 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62261 61464 79 155 0 62104 0
Current children cumulated CPU time (s) 4721.04
Current children cumulated vsize (KiB) 249044
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1517040/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=247756 CPUtime=4781.02
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1210900 0 0 0 477461 641 0 0 25 0 1 0 146330000 253702144 61141 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61939 61141 79 155 0 61782 0
Current children cumulated CPU time (s) 4781.02
Current children cumulated vsize (KiB) 247756
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1517744/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=246464 CPUtime=4841
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1224573 0 0 0 483452 648 0 0 25 0 1 0 146330000 252379136 60955 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61616 60955 79 155 0 61459 0
Current children cumulated CPU time (s) 4841
Current children cumulated vsize (KiB) 246464
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1516784/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=247872 CPUtime=4900.99
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1224831 0 0 0 489450 649 0 0 25 0 1 0 146330000 253820928 61213 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61968 61213 79 155 0 61811 0
Current children cumulated CPU time (s) 4900.99
Current children cumulated vsize (KiB) 247872
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1516784/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=248012 CPUtime=4960.98
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1238703 0 0 0 495442 656 0 0 25 0 1 0 146330000 253964288 61197 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62003 61197 79 155 0 61846 0
Current children cumulated CPU time (s) 4960.98
Current children cumulated vsize (KiB) 248012
[startup+5022.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1516656/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=247740 CPUtime=5020.96
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1252696 0 0 0 501433 663 0 0 25 0 1 0 146330000 253685760 61215 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61935 61215 79 155 0 61778 0
Current children cumulated CPU time (s) 5020.96
Current children cumulated vsize (KiB) 247740
[startup+5082.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1517168/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=246972 CPUtime=5080.94
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1266388 0 0 0 507424 670 0 0 25 0 1 0 146330000 252899328 61085 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61743 61085 79 155 0 61586 0
Current children cumulated CPU time (s) 5080.94
Current children cumulated vsize (KiB) 246972
[startup+5142.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1518064/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=246196 CPUtime=5140.93
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1278216 0 0 0 513416 677 0 0 25 0 1 0 146330000 252104704 60928 1992294400 134512640 135151029 4294956240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61549 60928 79 155 0 61392 0
Current children cumulated CPU time (s) 5140.93
Current children cumulated vsize (KiB) 246196
[startup+5202.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1517040/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=246052 CPUtime=5200.91
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1285989 0 0 0 519410 681 0 0 25 0 1 0 146330000 251957248 61037 1992294400 134512640 135151029 4294956240 18446744073709551615 134548117 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 61513 61037 79 155 0 61356 0
Current children cumulated CPU time (s) 5200.91
Current children cumulated vsize (KiB) 246052
[startup+5262.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1514416/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=251084 CPUtime=5260.9
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1290757 0 0 0 525406 684 0 0 25 0 1 0 146330000 257110016 61739 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62771 61739 79 155 0 62614 0
Current children cumulated CPU time (s) 5260.9
Current children cumulated vsize (KiB) 251084
[startup+5322.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1513776/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=251612 CPUtime=5320.88
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1303078 0 0 0 531398 690 0 0 25 0 1 0 146330000 257650688 61890 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62903 61890 79 155 0 62746 0
Current children cumulated CPU time (s) 5320.88
Current children cumulated vsize (KiB) 251612
[startup+5382.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1516528/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=248248 CPUtime=5380.87
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1314790 0 0 0 537390 697 0 0 25 0 1 0 146330000 254205952 61201 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62062 61201 79 155 0 61905 0
Current children cumulated CPU time (s) 5380.87
Current children cumulated vsize (KiB) 248248
[startup+5442.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1525936/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=239020 CPUtime=5440.85
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1323580 0 0 0 543383 702 0 0 25 0 1 0 146330000 244756480 59310 1992294400 134512640 135151029 4294956240 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 59755 59310 79 155 0 59598 0
Current children cumulated CPU time (s) 5440.85
Current children cumulated vsize (KiB) 239020
[startup+5502.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1514160/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=251344 CPUtime=5500.83
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1327602 0 0 0 549379 704 0 0 25 0 1 0 146330000 257376256 61794 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62836 61794 79 155 0 62679 0
Current children cumulated CPU time (s) 5500.83
Current children cumulated vsize (KiB) 251344
[startup+5562.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1514736/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=249800 CPUtime=5560.81
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194304 1339623 0 0 0 555370 711 0 0 25 0 1 0 146330000 255795200 61632 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23806/statm: 62450 61632 79 155 0 62293 0
Current children cumulated CPU time (s) 5560.81
Current children cumulated vsize (KiB) 249800
Solver just ended. Dumping a history of the last processes samples
[startup+5562.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 23815
/proc/meminfo: memFree=1514736/2055920 swapFree=4179008/4192956
[pid=23806] ppid=23804 vsize=0 CPUtime=5561.02
/proc/23806/stat : 23806 (precosat) R 23804 23806 23600 0 -1 4194308 1339624 0 0 0 555390 712 0 0 25 0 1 0 146330000 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23806/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5561.02
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 5562.54
CPU time (s): 5561.06
CPU user time (s): 5553.9
CPU system time (s): 7.15891
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 264160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5553.9
system time used= 7.15891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1339624
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= 8573
runsolver used 3.74543 second user time and 11.7682 second system time
The end
Begin job on node5 at 2009-05-01 15:02:41
IDJOB=1773251
IDBENCH=20578
IDSOLVER=607
FILE ID=node5/1773251-1241182959
PBS_JOBID= 9224579
Free space on /tmp= 66488 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773251-1241182959/watcher-1773251-1241182959 -o /tmp/evaluation-result-1773251-1241182959/solver-1773251-1241182959 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773251-1241182959.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fcbaf8c6c7ed0c41d8ac12258cafaee
RANDOM SEED=83101861
node5.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.212
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.212
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: 1764312 kB
Buffers: 53252 kB
Cached: 172628 kB
SwapCached: 7700 kB
Active: 53136 kB
Inactive: 181888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764312 kB
SwapTotal: 4192956 kB
SwapFree: 4179008 kB
Dirty: 32332 kB
Writeback: 0 kB
Mapped: 13416 kB
Slab: 42552 kB
Committed_AS: 683188 kB
PageTables: 1388 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= 66488 MiB
End job on node5 at 2009-05-01 16:35:23