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-1772771-1241189241.cnf
0.00/0.00 c found header 'p cnf 164158 730719'
1.59/1.67 c finished parsing
1.59/1.67 c
1.59/1.67 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.59/1.67 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.59/1.67 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.59/1.67 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.59/1.67 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.59/1.67 c --random=1 --spread=2000 --seed=0 --skip=25
1.59/1.67 c
1.59/1.67 c sizeof vars[0] = 16 alignment = 0 3 MB
1.59/1.67 c sizeof orgs[0] = 8 alignment = 0 1 MB
1.59/1.67 c sizeof occs[0] = 8 alignment = 0 1 MB
1.59/1.67 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
1.59/1.67 c
1.59/1.67 c starting search after 1.7 seconds
1.59/1.67 c no decision limit
1.69/1.71 c
1.69/1.71 c original/binary fixed eliminated learned agility
1.69/1.71 c seconds variables equivalent conflicts height MB
1.69/1.71 c
1.69/1.71 c * 1.7 717437 119160 6252 38746 0 0 0 0.0 0 59
6.19/6.24 c s 6.2 356340 56355 38024 37969 31810 0 0 0.0 0 38
6.19/6.24 c l 6.2 356340 56355 38024 37969 31810 0 145426 0.0 0 38
19.19/19.25 c s 19.2 692258 41944 49847 38243 34124 291 216 235.6 1 63
19.19/19.25 c - 19.2 692258 41944 49847 38243 34124 291 103253 235.6 1 63
19.29/19.36 c R 19.4 693127 41941 49850 38243 34124 347 272 231.4 2 63
19.39/19.49 c R 19.5 693585 41941 49850 38243 34124 447 370 234.8 2 63
21.09/21.16 c B 21.2 711049 41647 50141 38246 34124 1001 911 256.0 4 65
24.98/25.07 c B 25.1 753955 40582 51169 38283 34124 2001 1891 352.7 4 69
33.08/33.14 c R 33.1 902159 38635 53036 38363 34124 4125 3987 349.7 4 79
41.48/41.59 c s 41.6 681844 37779 53413 38436 34530 5845 3779 342.5 2 65
41.48/41.59 c - 41.6 681844 37779 53413 38436 34530 5845 89831 342.5 2 65
48.17/48.21 c B 48.2 746254 36911 54190 38527 34530 8004 5913 352.6 3 72
64.97/65.09 c s 65.1 799981 35897 54987 38670 34604 12069 8717 377.0 4 76
64.97/65.09 c - 65.1 799981 35897 54987 38670 34604 12069 85340 377.0 4 76
72.17/72.22 c R 72.2 841755 35831 55051 38672 34604 14473 11115 377.7 1 83
94.77/94.84 c s 94.8 834519 32458 56958 38931 35811 20201 6585 367.3 3 73
94.77/94.84 c - 94.8 834519 32458 56958 38931 35811 20201 82780 367.3 3 73
105.16/105.23 c B 105.2 954881 30853 58214 39280 35811 24013 10381 362.6 4 86
124.05/124.11 c
124.05/124.11 c original/binary fixed eliminated learned agility
124.05/124.11 c seconds variables equivalent conflicts height MB
124.05/124.11 c
124.05/124.11 c s 124.1 884978 27586 60344 39787 36441 29708 5553 357.3 8 75
124.05/124.11 c - 124.1 884978 27586 60344 39787 36441 29708 74502 357.3 8 75
157.65/157.78 c s 157.7 1020419 25207 61737 40773 36441 41351 17090 349.3 1 97
157.65/157.78 c - 157.7 1020419 25207 61737 40773 36441 41351 70777 349.3 1 97
203.73/203.90 c s 203.8 1001718 22885 61948 41151 38174 58471 3881 340.1 3 80
203.73/203.90 c - 203.8 1001718 22885 61948 41151 38174 58471 69362 340.1 3 80
209.73/209.90 c R 209.8 1031258 22865 61963 41156 38174 62473 7881 337.4 7 86
212.03/212.17 c B 212.1 1041521 22856 61971 41157 38174 64029 9436 337.2 2 89
221.13/221.22 c + 221.2 1076864 22807 62015 41162 38174 69362 76298 334.2 9 98
244.03/244.16 c s 244.1 1077008 22643 62168 41171 38176 79425 16176 335.9 2 97
244.03/244.16 c - 244.1 1077008 22643 62168 41171 38176 79425 75536 335.9 2 97
257.33/257.46 c + 257.4 1100572 22608 62199 41175 38176 85833 83089 334.2 2 109
294.71/294.88 c s 294.8 1081796 22146 62287 41190 38535 101922 7415 326.8 7 85
304.31/304.47 c + 304.4 1098639 22132 62301 41190 38535 107294 91397 327.8 4 94
315.01/315.20 c R 315.1 1114226 22110 62321 41192 38535 112787 18278 328.8 5 102
340.60/340.73 c s 340.6 1117345 22052 62371 41194 38541 123239 21875 326.3 2 103
361.49/361.64 c + 361.5 1138226 21998 62419 41200 38541 134116 100536 323.8 8 121
393.69/393.85 c s 393.7 1078384 21387 62672 41215 38884 147168 11872 321.6 5 87
393.69/393.85 c - 393.7 1078384 21387 62672 41215 38884 147168 98526 321.6 5 87
415.68/415.81 c
415.68/415.81 c original/binary fixed eliminated learned agility
415.68/415.81 c seconds variables equivalent conflicts height MB
415.68/415.81 c
415.68/415.81 c B 415.7 1099843 21352 62696 41226 38884 160059 24755 320.3 5 106
423.28/423.48 c + 423.4 1103951 21344 62700 41230 38884 164293 108378 319.9 3 112
440.27/440.44 c s 440.3 1105999 21311 62715 41235 38897 171396 26940 318.2 3 103
496.16/496.31 c s 496.2 1120819 20999 62840 41249 39070 196957 25268 318.1 4 99
513.15/513.39 c + 513.3 1126838 20623 63189 41276 39070 205367 119215 317.4 10 113
552.74/552.97 c s 552.8 1069516 20223 63474 41384 39077 223030 51056 314.9 4 130
552.74/552.97 c - 552.8 1069516 20223 63474 41384 39077 223030 115639 314.9 4 130
616.72/616.99 c s 616.8 1032233 19527 63701 41463 39467 248758 32842 312.5 4 100
616.72/616.99 c - 616.8 1032233 19527 63701 41463 39467 248758 112170 312.5 4 100
616.72/616.99 c + 616.8 1032233 19527 63701 41463 39467 248758 123387 312.5 4 100
634.32/634.53 c R 634.4 1051219 19487 63734 41470 39467 258581 42663 312.1 8 117
670.91/671.13 c s 671.0 1039060 19458 63758 41475 39467 274767 58832 311.7 12 138
734.29/734.53 c s 734.3 1033980 19292 63793 41478 39595 300122 39925 310.2 4 104
752.29/752.57 c R 752.4 1037734 19290 63794 41479 39595 309933 49735 309.1 4 120
754.39/754.67 c + 754.5 1038236 19290 63794 41479 39595 310945 135725 308.7 7 121
790.68/790.90 c s 790.7 1041340 19286 63797 41480 39595 326781 66569 306.7 3 139
849.56/849.89 c s 849.7 1041648 19191 63805 41482 39680 351805 46507 306.3 4 109
903.64/903.99 c s 903.7 1046607 19185 63810 41482 39681 378121 72810 303.6 4 140
916.74/917.01 c B 916.8 1047517 19185 63810 41482 39681 384150 78839 303.4 6 151
925.73/926.09 c
925.73/926.09 c original/binary fixed eliminated learned agility
925.73/926.09 c seconds variables equivalent conflicts height MB
925.73/926.09 c
925.73/926.09 c + 925.8 1048005 19184 63811 41482 39681 388682 149297 303.2 7 158
965.03/965.37 c s 965.1 1045217 19132 63814 41482 39730 404124 53782 303.3 4 112
1021.41/1021.70 c s 1021.4 1050170 19127 63817 41484 39730 430729 80383 303.7 7 150
1087.89/1088.27 c s 1088.0 1050900 19095 63818 41484 39761 456863 85242 301.7 11 149
1157.67/1158.02 c s 1157.7 1052772 19095 63818 41484 39761 484625 113002 299.4 7 186
1160.97/1161.38 c + 1161.1 1052790 19095 63818 41484 39761 485850 164226 299.4 4 190
1230.15/1230.58 c s 1230.2 1053866 19095 63818 41484 39761 511797 140173 298.6 5 223
1275.14/1275.51 c R 1275.2 1063801 19091 63820 41486 39761 529539 157914 299.1 4 254
1312.23/1312.61 c s 1312.3 1062148 19052 63824 41486 39796 539251 104446 298.4 9 162
1387.51/1387.95 c s 1387.6 1063140 19033 63835 41494 39796 566048 131235 296.5 3 196
1470.78/1471.25 c s 1470.9 1064370 19001 63838 41495 39824 595143 138072 294.3 5 199
1501.28/1501.71 c + 1501.3 1065034 19001 63838 41495 39824 607313 180648 293.8 4 223
1548.96/1549.48 c s 1549.1 1065611 19000 63839 41495 39824 623515 166444 293.3 10 236
1639.34/1639.89 c s 1639.4 1066119 18964 63841 41496 39857 651959 134506 292.5 4 192
1724.22/1724.71 c s 1724.2 1069094 18956 63847 41498 39857 679426 161939 290.6 8 225
1814.09/1814.66 c s 1814.2 1065502 18908 63861 41502 39887 707136 133426 289.4 2 186
1898.67/1899.22 c s 1898.7 1063437 18882 63875 41514 39887 735342 161631 287.9 5 221
1966.85/1967.46 c + 1966.9 1063949 18881 63876 41514 39887 759140 198712 286.4 8 259
1993.15/1993.77 c s 1993.2 1062750 18855 63876 41514 39913 764673 178220 286.2 4 241
2089.42/2090.00 c
2089.42/2090.00 c original/binary fixed eliminated learned agility
2089.42/2090.00 c seconds variables equivalent conflicts height MB
2089.42/2090.00 c
2089.42/2090.00 c s 2089.4 1064147 18853 63877 41515 39913 794611 198725 284.8 7 270
2186.49/2187.15 c s 2186.6 1065800 18839 63877 41516 39926 826052 192010 284.0 6 275
2282.77/2283.48 c s 2282.9 1067831 18837 63878 41517 39926 855117 198807 282.8 5 289
2373.84/2374.54 c s 2373.9 1068752 18837 63878 41517 39926 885024 198826 282.4 6 295
2407.83/2408.52 c B 2407.9 1068922 18837 63878 41517 39926 896310 198815 282.2 3 308
2472.42/2473.19 c s 2472.5 1067395 18818 63881 41517 39942 915026 197125 282.1 3 297
2573.69/2574.40 c s 2573.7 1061966 18796 63898 41522 39942 946125 198705 281.4 5 301
2581.29/2582.03 c + 2581.3 1062054 18796 63898 41522 39942 948929 218583 281.4 7 307
2672.46/2673.21 c s 2672.5 1055808 18733 63901 41522 40002 977817 163681 281.2 6 240
2762.03/2762.87 c s 2762.1 1056440 18727 63905 41524 40002 1007565 193429 281.0 6 279
2868.51/2869.33 c s 2868.6 1056761 18717 63907 41526 40008 1036679 200824 280.0 5 283
2983.08/2983.91 c s 2983.1 1057685 18717 63907 41526 40008 1068347 218651 278.8 6 308
3089.94/3090.82 c s 3090.0 1060656 18707 63909 41526 40016 1097685 204886 277.8 2 290
3203.61/3204.55 c s 3203.7 1061548 18704 63912 41526 40016 1127152 218733 276.8 5 308
3320.08/3321.06 c s 3320.2 1060921 18694 63916 41527 40021 1157855 152982 275.5 6 214
3394.97/3395.95 c + 3395.0 1061178 18694 63916 41527 40021 1186161 240441 275.1 7 264
3411.46/3412.49 c s 3411.6 1061189 18693 63916 41528 40021 1189139 184265 275.1 7 255
3513.34/3514.33 c s 3513.4 1062768 18685 63917 41528 40028 1220147 207090 274.4 7 283
3631.20/3632.27 c s 3631.3 1063093 18681 63920 41529 40028 1252726 239645 273.6 6 324
3751.97/3753.01 c
3751.97/3753.01 c original/binary fixed eliminated learned agility
3751.97/3753.01 c seconds variables equivalent conflicts height MB
3751.97/3753.01 c
3751.97/3753.01 c s 3752.0 1061533 18674 63922 41529 40033 1284461 236232 273.0 3 324
3875.54/3876.70 c s 3875.6 1062560 18674 63922 41529 40033 1316269 240488 272.3 6 336
3993.91/3995.07 c s 3994.0 1064661 18674 63922 41529 40033 1350614 240644 271.3 3 346
4109.58/4110.77 c s 4109.7 1064594 18667 63924 41529 40038 1382606 182771 270.8 7 259
4208.95/4210.11 c s 4209.0 1067705 18667 63924 41529 40038 1411399 211562 270.4 5 297
4306.62/4307.83 c s 4306.7 1068516 18667 63924 41529 40038 1443177 240520 270.1 8 333
4413.49/4414.78 c s 4413.6 1069264 18667 63924 41529 40038 1474537 240493 269.9 3 338
4441.88/4443.15 c + 4441.9 1069948 18667 63924 41529 40038 1482700 264485 269.6 4 349
4545.45/4546.74 c s 4545.5 1070251 18662 63925 41529 40042 1508065 237832 269.1 6 332
4672.52/4673.83 c s 4672.6 1072336 18661 63926 41529 40042 1538373 264535 268.0 8 366
4806.28/4807.64 c s 4806.3 1072065 18653 63927 41530 40048 1571528 230218 267.3 6 314
4936.55/4937.90 c s 4936.6 1072273 18652 63927 41531 40048 1602782 261472 266.4 4 354
5057.42/5058.90 c s 5057.5 1072588 18647 63928 41531 40052 1635219 261455 266.5 5 358
5181.88/5183.34 c s 5181.9 1073448 18647 63928 41531 40052 1667504 264584 266.2 4 363
5314.64/5316.10 c s 5314.7 1074227 18647 63928 41531 40052 1700158 264613 265.5 4 364
5442.10/5443.62 c s 5442.1 1074341 18647 63928 41531 40052 1733326 264638 265.0 5 368
5581.07/5582.61 c s 5581.1 1072797 18632 63932 41532 40062 1767604 234381 264.5 6 328
5714.13/5715.73 c s 5714.2 1072236 18630 63934 41532 40062 1800011 264568 264.0 3 368
5842.89/5844.53 c s 5842.9 1072172 18625 63936 41532 40065 1832831 264566 263.6 2 370
5910.28/5911.97 c
5910.28/5911.97 c original/binary fixed eliminated learned agility
5910.28/5911.97 c seconds variables equivalent conflicts height MB
5910.28/5911.97 c
5910.28/5911.97 c + 5910.4 1072347 18625 63936 41532 40065 1853375 290933 263.8 4 387
5965.77/5967.49 c s 5965.9 1072486 18625 63936 41532 40065 1864318 275648 263.5 7 385
6092.84/6094.50 c s 6092.8 1071311 18620 63937 41532 40069 1896295 197987 263.3 6 255
6196.01/6197.75 c s 6196.1 1071848 18620 63937 41532 40069 1925097 226789 263.0 2 290
6303.27/6305.07 c s 6303.4 1072382 18620 63937 41532 40069 1958066 259756 263.2 4 335
6400.45/6402.23 c R 6400.5 1072877 18620 63937 41532 40069 1986757 288447 263.2 7 389
6416.65/6418.46 c s 6416.7 1072898 18620 63937 41532 40069 1990144 291130 263.2 7 376
6532.82/6534.63 c s 6532.9 1073239 18620 63937 41532 40069 2021320 291074 263.3 8 380
6636.28/6638.11 c B 6636.3 1075779 18618 63939 41532 40069 2048607 291046 263.1 3 400
6658.98/6660.80 c s 6659.0 1074400 18615 63939 41532 40072 2051321 271945 263.0 5 355
6788.04/6789.97 c s 6788.1 1074545 18613 63941 41532 40072 2085124 291117 262.6 5 380
6918.40/6920.31 c s 6918.4 1075855 18607 63942 41532 40077 2117804 250908 262.1 5 324
7041.48/7043.40 c s 7041.5 1076010 18607 63942 41532 40077 2150545 283649 262.0 6 366
7166.65/7168.61 c s 7166.7 1079370 18607 63942 41532 40077 2183716 291060 261.9 6 382
7300.10/7302.10 c s 7300.1 1084986 18606 63943 41532 40077 2215645 291055 261.6 5 382
7426.37/7428.41 c s 7426.4 1089010 18605 63944 41532 40077 2247114 291082 261.5 7 382
7550.54/7552.64 c s 7550.6 1089563 18605 63944 41532 40077 2279580 291054 261.3 3 384
7682.40/7684.58 c s 7682.5 1089761 18605 63944 41532 40077 2311036 291134 261.0 4 386
7704.49/7706.62 c + 7704.5 1091117 18605 63944 41532 40077 2316715 320026 260.8 4 398
7842.45/7844.70 c
7842.45/7844.70 c original/binary fixed eliminated learned agility
7842.45/7844.70 c seconds variables equivalent conflicts height MB
7842.45/7844.70 c
7842.45/7844.70 c s 7842.6 1092288 18599 63945 41532 40082 2344988 300000 260.3 3 390
7991.12/7993.40 c s 7991.2 1093460 18598 63946 41532 40082 2378023 320183 260.0 4 417
8156.07/8158.38 c s 8156.2 1092639 18589 63947 41532 40090 2411399 296051 259.5 6 375
8312.42/8314.71 c s 8312.4 1093068 18589 63947 41532 40090 2444122 320145 259.1 6 405
8454.79/8457.13 c s 8454.8 1093011 18584 63951 41532 40091 2477894 319996 259.2 3 409
8603.64/8606.08 c s 8603.7 1092683 18581 63954 41532 40091 2510764 320114 259.0 5 411
8764.90/8767.39 c s 8765.0 1091341 18573 63956 41532 40097 2544032 320023 258.5 5 414
8917.16/8919.69 c s 8917.3 1091561 18573 63956 41532 40097 2576942 320109 258.2 7 418
9072.61/9075.18 c s 9072.7 1092966 18573 63956 41532 40097 2609690 320069 257.8 6 422
9227.58/9230.12 c s 9227.6 1095474 18573 63956 41532 40097 2644107 320162 257.4 8 425
9369.04/9371.62 c s 9369.1 1096558 18573 63956 41532 40097 2679865 320200 257.2 5 427
9515.29/9517.93 c s 9515.3 1096646 18573 63956 41532 40097 2714249 320263 257.0 7 426
9655.46/9658.11 c s 9655.5 1089769 18537 63980 41535 40106 2748247 311854 257.3 4 411
9820.23/9822.91 c s 9820.2 1089994 18529 63988 41535 40106 2782504 320153 257.0 7 422
9988.47/9991.28 c s 9988.6 1087233 18519 63995 41535 40109 2816522 310843 256.5 8 408
10000.07/10002.80 c
10000.07/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.07/10002.80 c
10000.07/10002.80 c 2819075 conflicts, 9887196 decisions, 4838 random
10000.07/10002.80 c 144 iterations, 7090 restarts, 0 skipped
10000.07/10002.80 c 17 enlarged, 22282 shrunken, 27564 rescored, 668 rebiased
10000.07/10002.80 c 99 simplifications, 0 reductions
10000.07/10002.80 c
10000.07/10002.80 c vars: 63995 fixed, 41535 equiv, 40109 elim, 42861 merged
10000.07/10002.80 c elim: 19172329 resolutions, 82 phases, 40 rounds
10000.07/10002.80 c sbst: 62% substituted, 16.7% nots, 83.3% ands, 0.0% xors, 0.0% ites
10000.07/10002.80 c arty: 3.22 and 0.00 xor average arity
10000.07/10002.80 c prbe: 796377 probed, 4275 phases, 20 rounds
10000.07/10002.80 c prbe: 3942 failed, 5268 lifted, 1040 merged
10000.07/10002.80 c sccs: 160 non trivial, 0 fixed, 689 merged
10000.07/10002.80 c hash: 262 units, 41132 merged
10000.07/10002.80 c mins: 921957910 learned, 29% deleted, 65 strong, 194 depth
10000.07/10002.80 c subs: 98869 forward, 53155 backward, 76597 doms
10000.07/10002.80 c strs: 31421 forward, 391 backward
10000.07/10002.80 c doms: 282198 dominators, 77450 high, 162 low
10000.07/10002.80 c prps: 4849059336 propagations, 0.48 megaprops
10000.07/10002.80 c
10000.07/10002.80 c 10000.1 seconds, 455 MB max, 3338 MB recycled
10000.07/10002.80 c
10000.07/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.07/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-1772771-1241189241/watcher-1772771-1241189241 -o /tmp/evaluation-result-1772771-1241189241/solver-1772771-1241189241 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772771-1241189241.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.98 3/64 22105
/proc/meminfo: memFree=723568/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=4640 CPUtime=0
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 890 0 0 0 0 0 0 0 18 0 1 0 146957653 4751360 875 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/22105/statm: 1160 881 58 155 0 1003 0
[startup+0.0397819 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 22105
/proc/meminfo: memFree=723568/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=13696 CPUtime=0.03
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 2756 0 0 0 2 1 0 0 18 0 1 0 146957653 14024704 2741 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/22105/statm: 3424 2749 59 155 0 3267 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13696
[startup+0.101786 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 22105
/proc/meminfo: memFree=723568/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=18144 CPUtime=0.09
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 4455 0 0 0 7 2 0 0 18 0 1 0 146957653 18579456 4342 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 4536 4342 63 155 0 4379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18144
[startup+0.301806 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 22105
/proc/meminfo: memFree=723568/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=26676 CPUtime=0.29
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 6957 0 0 0 27 2 0 0 19 0 1 0 146957653 27316224 6458 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 6669 6459 63 155 0 6512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26676
[startup+0.701842 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 22105
/proc/meminfo: memFree=723568/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=40076 CPUtime=0.69
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 10842 0 0 0 65 4 0 0 23 0 1 0 146957653 41037824 9830 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 10019 9830 63 155 0 9862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40076
[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=674600/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=63708 CPUtime=1.49
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 17764 0 0 0 141 8 0 0 25 0 1 0 146957653 65236992 15727 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 15927 15727 64 155 0 15770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63708
[startup+3.10206 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=652584/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=73516 CPUtime=3.09
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 24484 0 0 0 298 11 0 0 25 0 1 0 146957653 75280384 18088 1992294400 134512640 135151029 4294956240 18446744073709551615 134579651 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 18379 18088 79 155 0 18222 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73516
[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=648808/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=65812 CPUtime=6.29
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 26294 0 0 0 616 13 0 0 25 0 1 0 146957653 67391488 16177 1992294400 134512640 135151029 4294956240 18446744073709551615 134581741 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 16453 16177 79 155 0 16296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65812
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=651304/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=77388 CPUtime=12.69
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 30693 0 0 0 1254 15 0 0 25 0 1 0 146957653 79245312 19038 1992294400 134512640 135151029 4294956240 18446744073709551615 134578625 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 19347 19038 79 155 0 19190 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77388
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=634536/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=91108 CPUtime=25.48
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 45299 0 0 0 2526 22 0 0 25 0 1 0 146957653 93294592 22200 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 22777 22200 79 155 0 22620 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91108
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=628072/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=97564 CPUtime=51.07
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 57826 0 0 0 5079 28 0 0 25 0 1 0 146957653 99905536 23827 1992294400 134512640 135151029 4294956240 18446744073709551615 134556394 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 24391 23827 79 155 0 24234 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97564
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=609960/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=115528 CPUtime=102.27
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 84139 0 0 0 10182 45 0 0 25 0 1 0 146957653 118300672 28340 1992294400 134512640 135151029 4294956240 18446744073709551615 134578560 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 28882 28340 79 155 0 28725 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115528
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=608232/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=117956 CPUtime=162.25
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 106572 0 0 0 16169 56 0 0 25 0 1 0 146957653 120786944 28973 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 29489 28973 79 155 0 29332 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 117956
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=575400/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=149972 CPUtime=222.23
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 129418 0 0 0 22153 70 0 0 25 0 1 0 146957653 153571328 36951 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 37493 36951 79 155 0 37336 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 149972
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=575336/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=149972 CPUtime=282.22
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 139942 0 0 0 28146 76 0 0 25 0 1 0 146957653 153571328 36962 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 37493 36962 79 155 0 37336 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 149972
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=575144/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=149928 CPUtime=342.2
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 165977 0 0 0 34131 89 0 0 25 0 1 0 146957653 153526272 36987 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 37482 36987 79 155 0 37325 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 149928
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=569384/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=155672 CPUtime=402.18
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 182569 0 0 0 40119 99 0 0 25 0 1 0 146957653 159408128 38422 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 38918 38422 79 155 0 38761 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 155672
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=569384/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=155672 CPUtime=462.17
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 193469 0 0 0 46112 105 0 0 25 0 1 0 146957653 159408128 38422 1992294400 134512640 135151029 4294956240 18446744073709551615 134581645 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 38918 38422 79 155 0 38761 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 155672
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 22106
/proc/meminfo: memFree=562536/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=162552 CPUtime=522.15
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 214319 0 0 0 52099 116 0 0 25 0 1 0 146957653 166453248 40109 1992294400 134512640 135151029 4294956240 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 40638 40109 79 155 0 40481 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 162552
[startup+582.302 s]
/proc/loadavg: 1.11 1.03 0.99 2/65 22106
/proc/meminfo: memFree=553704/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=171804 CPUtime=582.13
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 231649 0 0 0 58088 125 0 0 25 0 1 0 146957653 175927296 42442 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 42951 42442 79 155 0 42794 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 171804
[startup+642.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 22106
/proc/meminfo: memFree=533224/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=191956 CPUtime=642.12
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 247544 0 0 0 64077 135 0 0 25 0 1 0 146957653 196562944 47437 1992294400 134512640 135151029 4294956240 18446744073709551615 134552326 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 47989 47437 79 155 0 47832 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 191956
[startup+702.302 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/65 22128
/proc/meminfo: memFree=249320/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=474324 CPUtime=9039.83
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1048367 0 0 0 903377 606 0 0 25 0 1 0 146957653 485707776 118049 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 118581 118049 79 155 0 118424 0
Current children cumulated CPU time (s) 9039.83
Current children cumulated vsize (KiB) 474324
[startup+9102.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 22128
/proc/meminfo: memFree=246824/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=476912 CPUtime=9099.81
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1053447 0 0 0 909372 609 0 0 25 0 1 0 146957653 488357888 118643 1992294400 134512640 135151029 4294956240 18446744073709551615 134552522 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 119228 118643 79 155 0 119071 0
Current children cumulated CPU time (s) 9099.81
Current children cumulated vsize (KiB) 476912
[startup+9162.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 22128
/proc/meminfo: memFree=246824/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=476912 CPUtime=9159.8
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1053466 0 0 0 915371 609 0 0 25 0 1 0 146957653 488357888 118662 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 119228 118662 79 155 0 119071 0
Current children cumulated CPU time (s) 9159.8
Current children cumulated vsize (KiB) 476912
[startup+9222.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 22128
/proc/meminfo: memFree=244456/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=479876 CPUtime=9219.78
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1054057 0 0 0 921369 609 0 0 25 0 1 0 146957653 491393024 119253 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 119969 119253 79 155 0 119812 0
Current children cumulated CPU time (s) 9219.78
Current children cumulated vsize (KiB) 479876
[startup+9282.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22128
/proc/meminfo: memFree=244264/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=479876 CPUtime=9279.76
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1058581 0 0 0 927364 612 0 0 25 0 1 0 146957653 491393024 119291 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 119969 119291 79 155 0 119812 0
Current children cumulated CPU time (s) 9279.76
Current children cumulated vsize (KiB) 479876
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=241960/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482136 CPUtime=9339.75
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1059177 0 0 0 933363 612 0 0 25 0 1 0 146957653 493707264 119887 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120534 119887 79 155 0 120377 0
Current children cumulated CPU time (s) 9339.75
Current children cumulated vsize (KiB) 482136
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240808/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483124 CPUtime=9399.73
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1063652 0 0 0 939358 615 0 0 25 0 1 0 146957653 494718976 120133 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120781 120133 79 155 0 120624 0
Current children cumulated CPU time (s) 9399.73
Current children cumulated vsize (KiB) 483124
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240744/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483124 CPUtime=9459.71
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1063715 0 0 0 945356 615 0 0 25 0 1 0 146957653 494718976 120196 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120781 120196 79 155 0 120624 0
Current children cumulated CPU time (s) 9459.71
Current children cumulated vsize (KiB) 483124
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240360/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482996 CPUtime=9519.69
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1068247 0 0 0 951352 617 0 0 25 0 1 0 146957653 494587904 120228 1992294400 134512640 135151029 4294956240 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120749 120228 79 155 0 120592 0
Current children cumulated CPU time (s) 9519.69
Current children cumulated vsize (KiB) 482996
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240424/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482996 CPUtime=9579.68
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1068248 0 0 0 957350 618 0 0 25 0 1 0 146957653 494587904 120229 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120749 120229 79 155 0 120592 0
Current children cumulated CPU time (s) 9579.68
Current children cumulated vsize (KiB) 482996
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240424/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482996 CPUtime=9639.67
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1068255 0 0 0 963349 618 0 0 25 0 1 0 146957653 494587904 120236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120749 120236 79 155 0 120592 0
Current children cumulated CPU time (s) 9639.67
Current children cumulated vsize (KiB) 482996
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240360/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482996 CPUtime=9699.65
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1077997 0 0 0 969342 623 0 0 25 0 1 0 146957653 494587904 120236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120749 120236 79 155 0 120592 0
Current children cumulated CPU time (s) 9699.65
Current children cumulated vsize (KiB) 482996
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240424/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=482996 CPUtime=9759.63
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1077998 0 0 0 975340 623 0 0 25 0 1 0 146957653 494587904 120237 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120749 120237 79 155 0 120592 0
Current children cumulated CPU time (s) 9759.63
Current children cumulated vsize (KiB) 482996
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240168/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483252 CPUtime=9819.62
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1087787 0 0 0 981333 629 0 0 25 0 1 0 146957653 494850048 120284 1992294400 134512640 135151029 4294956240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120813 120284 79 155 0 120656 0
Current children cumulated CPU time (s) 9819.62
Current children cumulated vsize (KiB) 483252
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240168/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483252 CPUtime=9879.61
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1087787 0 0 0 987332 629 0 0 25 0 1 0 146957653 494850048 120284 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120813 120284 79 155 0 120656 0
Current children cumulated CPU time (s) 9879.61
Current children cumulated vsize (KiB) 483252
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240168/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483252 CPUtime=9939.58
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1087794 0 0 0 993329 629 0 0 25 0 1 0 146957653 494850048 120291 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120813 120291 79 155 0 120656 0
Current children cumulated CPU time (s) 9939.58
Current children cumulated vsize (KiB) 483252
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240104/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483252 CPUtime=9999.57
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1097537 0 0 0 999323 634 0 0 25 0 1 0 146957653 494850048 120292 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120813 120292 79 155 0 120656 0
Current children cumulated CPU time (s) 9999.57
Current children cumulated vsize (KiB) 483252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22128
/proc/meminfo: memFree=240104/2055920 swapFree=4181256/4192956
[pid=22105] ppid=22103 vsize=483252 CPUtime=10000.1
/proc/22105/stat : 22105 (precosat) R 22103 22105 21896 0 -1 4194304 1097537 0 0 0 999373 634 0 0 25 0 1 0 146957653 494850048 120292 1992294400 134512640 135151029 4294956240 18446744073709551615 134542608 0 0 4096 17442 0 0 0 17 1 0 0
/proc/22105/statm: 120813 120292 79 155 0 120656 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 483252
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.9
CPU time (s): 10000.2
CPU user time (s): 9993.74
CPU system time (s): 6.42102
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 487352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9993.74
system time used= 6.42102
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1097537
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= 11988
runsolver used 8.27974 second user time and 22.0137 second system time
The end
Begin job on node14 at 2009-05-01 16:47:22
IDJOB=1772771
IDBENCH=20386
IDSOLVER=607
FILE ID=node14/1772771-1241189241
PBS_JOBID= 9224598
Free space on /tmp= 66536 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772771-1241189241/watcher-1772771-1241189241 -o /tmp/evaluation-result-1772771-1241189241/solver-1772771-1241189241 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772771-1241189241.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=643337634
node14.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.256
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.256
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: 723984 kB
Buffers: 93852 kB
Cached: 1118700 kB
SwapCached: 5600 kB
Active: 255188 kB
Inactive: 965356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 723984 kB
SwapTotal: 4192956 kB
SwapFree: 4181256 kB
Dirty: 13360 kB
Writeback: 0 kB
Mapped: 13616 kB
Slab: 97348 kB
Committed_AS: 615088 kB
PageTables: 1452 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= 66536 MiB
End job on node14 at 2009-05-01 19:34:06