0.00/0.00 c PicoSAT SAT Solver Version 913
0.00/0.00 c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00 c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00 c
0.00/0.00 c parsing HOME/instance-1719431-1240646372.cnf
0.00/0.00 c parsed header 'p cnf 8760 55571'
0.04/0.09 c initialized 8760 variables
0.04/0.09 c found 55571 non trivial clauses
0.04/0.09 c
0.04/0.09 c random number generator seed 0
0.04/0.09 c
0.04/0.09 c seconds variables original learned agility
0.04/0.09 c level used conflicts limit MB
0.04/0.09 c
0.04/0.09 c s 0.1 0.0 8718 0.5 42701 0 0 0 0.0 2.2
0.09/0.11 c
0.09/0.11 c initial reduction limit 21378 clauses
0.09/0.11 c
0.09/0.11 c + 0.1 100.9 8718 13.3 42701 100 99 23515 9.2 2.3
0.09/0.11 c R 0.1 100.9 8718 13.3 42701 100 99 23515 9.2 2.3
0.09/0.14 c + 0.1 97.1 8718 25.9 42701 250 249 25866 14.9 2.3
0.09/0.16 c R 0.2 105.8 8718 39.5 42701 400 396 25866 9.9 2.3
0.09/0.17 c + 0.2 104.7 8718 40.7 42701 475 470 28452 14.7 2.3
0.19/0.22 c + 0.2 96.3 8718 41.8 42701 812 803 31297 7.6 2.3
0.19/0.26 c R 0.3 92.2 8718 42.4 42701 1201 1191 31297 11.8 2.4
0.19/0.27 c + 0.3 89.4 8718 42.4 42701 1317 1305 34426 5.8 2.4
0.29/0.38 c + 0.4 83.2 8718 58.4 42701 2074 2056 37868 16.6 2.5
0.49/0.51 c R 0.5 78.9 8718 67.2 42701 3204 3182 37868 12.7 2.6
0.49/0.52 c + 0.5 78.7 8718 67.2 42701 3209 3187 41654 9.6 2.6
0.69/0.73 c + 0.7 74.8 8718 77.3 42701 4911 4882 45819 9.1 2.8
0.89/0.95 c s 1.0 75.4 8712 82.9 42681 5855 5814 45819 13.6 2.8
0.89/0.97 c R 1.0 75.4 8712 83.4 42681 5953 5912 45819 15.1 2.9
1.00/1.01 c R 1.0 77.3 8712 84.6 42681 6255 6213 45819 7.7 2.9
1.00/1.05 c R 1.0 76.6 8711 85.2 42681 6523 6475 45819 19.9 2.9
1.00/1.09 c R 1.1 77.1 8711 85.7 42681 6824 6776 45819 20.8 3.0
1.10/1.17 c + 1.2 79.4 8711 89.0 42681 7466 7418 50400 27.7 3.0
1.19/1.20 c R 1.2 79.6 8710 90.6 42681 7678 7624 50400 12.5 3.1
1.19/1.24 c R 1.2 79.3 8710 90.6 42681 7978 7924 50400 13.7 3.1
1.19/1.24 c
1.19/1.24 c seconds variables original learned agility
1.19/1.24 c level used conflicts limit MB
1.19/1.24 c
1.29/1.39 c R 1.4 78.6 8710 92.0 42681 8780 8724 50400 8.5 3.2
1.39/1.46 c N 1.5 79.6 8709 92.4 42681 9092 9030 50400 23.2 3.3
1.39/1.49 c R 1.5 78.7 8709 92.4 42681 9392 9323 50400 7.4 3.3
1.59/1.62 c N 1.6 78.8 8709 92.7 42681 10200 10128 50400 23.3 3.4
1.69/1.73 c s 1.7 78.4 8708 95.0 42673 10644 10549 50400 20.2 3.5
1.79/1.80 c + 1.8 76.7 8708 95.3 42673 11296 11193 55440 4.7 3.5
1.89/1.95 c R 1.9 74.8 8708 96.6 42673 12204 12099 55440 10.3 3.6
2.69/2.76 c R 2.8 72.3 8708 99.7 42673 17005 16885 55440 7.5 4.2
2.69/2.77 c + 2.8 72.4 8708 99.7 42673 17039 16918 60984 18.5 4.2
4.39/4.49 c + 4.5 72.8 8708 99.9 42673 25653 25516 67082 10.5 5.5
4.89/4.92 c R 4.9 72.7 8708 100.0 42673 28221 28080 67082 17.4 5.9
7.59/7.62 c + 7.6 71.3 8708 100.0 42673 38574 38424 73790 28.5 8.3
11.59/11.66 c R 11.7 69.6 8708 100.0 42673 53870 53715 73790 6.6 11.6
12.78/12.84 c + 12.8 68.6 8708 100.0 42673 57955 57796 81169 15.4 12.3
22.29/22.37 c + 22.4 66.9 8708 100.0 42673 87026 26472 89285 34.4 8.0
29.59/29.68 c R 29.7 67.3 8708 100.0 42673 111e3 50980 89285 12.3 13.6
31.49/31.52 c s 31.5 66.9 8706 100.0 42669 117e3 56856 89285 10.0 14.5
31.49/31.58 c R 31.6 66.8 8706 100.0 42669 117e3 56956 89285 10.8 14.5
31.59/31.69 c N 31.7 66.8 8706 100.0 42669 117e3 57257 89285 37.0 14.6
31.98/32.07 c R 32.1 66.8 8706 100.0 42669 118e3 58059 89285 17.1 14.8
32.58/32.66 c N 32.7 66.7 8706 100.0 42669 120e3 60066 89285 29.4 15.2
34.09/34.19 c R 34.2 66.1 8706 100.0 42669 125e3 64880 89285 18.7 16.1
34.09/34.19 c
34.09/34.19 c seconds variables original learned agility
34.09/34.19 c level used conflicts limit MB
34.09/34.19 c
35.78/35.87 c + 35.9 65.8 8706 100.0 42669 130e3 70032 98213 9.1 17.2
36.98/37.06 c R 37.1 65.2 8706 100.0 42669 136e3 76089 98213 10.0 18.1
38.98/39.02 c s 39.0 65.2 8705 100.0 42667 140e3 80169 98213 12.6 19.0
38.98/39.04 c R 39.0 65.2 8705 100.0 42667 140e3 80269 98213 7.0 19.0
38.98/39.09 c R 39.1 65.2 8703 100.0 42667 141e3 80386 98213 12.7 19.0
39.08/39.15 c R 39.1 65.1 8703 100.0 42667 141e3 80687 98213 21.0 19.0
39.18/39.29 c R 39.3 64.9 8703 100.0 42667 142e3 81489 98213 7.1 19.1
39.78/39.80 c N 39.8 64.9 8703 100.0 42667 144e3 83501 98213 26.1 19.5
40.48/40.58 c s 40.6 64.9 8703 100.0 42663 145e3 84872 98213 39.1 20.0
41.48/41.55 c R 41.5 64.5 8703 100.0 42663 148e3 88093 98213 13.7 20.5
45.38/45.49 c R 45.5 63.8 8703 100.0 42663 160e3 23344 98213 12.1 6.5
46.78/46.89 c s 46.9 63.2 8702 100.0 42661 167e3 29606 98213 5.0 7.3
46.88/46.92 c N 46.9 63.2 8702 100.0 42661 167e3 29705 98213 24.3 7.3
46.88/46.99 c R 47.0 63.2 8702 100.0 42661 167e3 30004 98213 7.5 7.3
47.08/47.19 c N 47.2 63.2 8702 100.0 42661 168e3 30816 98213 37.8 7.5
47.68/47.79 c R 47.8 63.5 8702 100.0 42661 170e3 32824 98213 21.7 8.0
48.98/49.07 c R 49.1 63.2 8702 100.0 42661 175e3 37635 98213 18.6 8.9
52.38/52.48 c R 52.5 63.0 8702 100.0 42661 186e3 48842 98213 22.0 11.0
54.78/54.86 c + 54.8 63.1 8702 100.0 42661 196e3 58539 108e3 19.3 12.9
60.48/60.54 c R 60.5 62.9 8702 100.0 42661 211e3 74474 108e3 17.8 16.2
68.87/68.95 c s 68.9 61.4 8700 100.0 42653 237e3 100e3 108e3 11.6 21.1
68.97/69.08 c R 69.1 61.5 8700 100.0 42653 237e3 100e3 108e3 20.7 21.1
68.97/69.08 c
68.97/69.08 c seconds variables original learned agility
68.97/69.08 c level used conflicts limit MB
68.97/69.08 c
69.18/69.23 c N 69.2 61.4 8700 100.0 42653 238e3 100e3 108e3 33.3 21.1
69.37/69.45 c N 69.4 61.4 8700 100.0 42653 238e3 101e3 108e3 31.8 21.3
70.28/70.33 c R 70.3 61.3 8700 100.0 42653 240e3 103e3 108e3 14.8 21.7
72.18/72.23 c N 72.2 61.2 8700 100.0 42653 245e3 108e3 108e3 24.6 22.8
75.27/75.30 c N 75.3 61.0 8700 100.0 42653 256e3 36672 108e3 27.2 8.9
81.67/81.79 c R 81.8 60.7 8700 100.0 42653 282e3 62295 108e3 19.4 13.8
85.47/85.55 c + 85.5 60.2 8700 100.0 42653 294e3 73836 118e3 25.8 15.8
99.86/99.94 c R 99.9 59.1 8700 100.0 42653 340e3 22021 118e3 10.1 5.9
105.05/105.16 c s 105.1 59.4 8699 100.0 42651 362e3 44005 118e3 6.1 9.5
105.05/105.19 c N 105.2 59.4 8699 100.0 42651 362e3 44105 118e3 27.9 9.6
105.25/105.31 c N 105.3 59.4 8699 100.0 42651 362e3 44408 118e3 30.7 9.7
105.46/105.57 c R 105.5 59.4 8699 100.0 42651 363e3 45211 118e3 16.4 9.9
106.15/106.22 c R 106.2 59.4 8699 100.0 42651 365e3 47211 118e3 13.5 10.3
107.25/107.35 c N 107.3 59.2 8699 100.0 42651 370e3 52021 118e3 29.2 11.0
110.35/110.48 c R 110.4 59.0 8699 100.0 42651 381e3 63236 118e3 13.1 13.2
119.76/119.82 c N 119.8 58.8 8699 100.0 42651 407e3 88875 118e3 27.6 19.0
131.65/131.75 c s 131.7 58.7 8698 100.0 42649 437e3 22703 118e3 7.8 6.4
131.65/131.78 c R 131.7 58.7 8698 100.0 42649 437e3 22803 118e3 12.0 6.5
131.85/131.91 c N 131.9 58.7 8698 100.0 42649 437e3 23104 118e3 32.4 6.5
132.05/132.19 c R 132.1 58.7 8698 100.0 42649 438e3 23906 118e3 17.1 6.7
132.55/132.65 c R 132.6 58.7 8698 100.0 42649 440e3 25908 118e3 12.2 7.0
132.75/132.82 c + 132.8 58.7 8698 100.0 42649 441e3 26459 130e3 18.4 7.1
132.75/132.82 c
132.75/132.82 c seconds variables original learned agility
132.75/132.82 c level used conflicts limit MB
132.75/132.82 c
133.95/134.05 c N 134.0 58.7 8698 100.0 42649 445e3 30720 130e3 36.7 8.0
136.85/136.96 c R 136.9 58.5 8698 100.0 42649 456e3 41957 130e3 13.1 9.8
139.45/139.52 c s 139.5 58.5 8697 100.0 42647 465e3 50361 130e3 10.3 11.3
139.45/139.55 c N 139.5 58.5 8697 100.0 42647 465e3 50460 130e3 25.6 11.3
139.55/139.68 c R 139.6 58.5 8697 100.0 42647 465e3 50760 130e3 21.3 11.4
139.95/140.03 c R 140.0 58.5 8697 100.0 42647 466e3 51562 130e3 16.9 11.6
140.55/140.64 c N 140.6 58.5 8697 100.0 42647 468e3 53564 130e3 24.1 12.0
142.05/142.14 c N 142.1 58.5 8697 100.0 42647 473e3 58375 130e3 36.0 13.1
146.55/146.64 c N 146.6 58.5 8697 100.0 42647 484e3 69598 130e3 27.7 15.9
157.44/157.56 c R 157.5 58.1 8697 100.0 42647 510e3 95241 130e3 20.2 21.2
180.34/180.41 c R 180.4 57.9 8697 100.0 42647 567e3 48679 130e3 15.5 12.1
217.33/217.47 c + 217.4 57.2 8697 100.0 42647 662e3 37773 143e3 13.7 9.7
229.03/229.19 c R 229.1 56.6 8697 100.0 42647 696e3 71762 143e3 22.0 16.9
303.10/303.29 c s 303.2 54.8 8695 100.0 42635 900e3 35722 143e3 6.1 8.5
303.20/303.34 c R 303.2 54.8 8695 100.0 42635 900e3 35821 143e3 11.1 8.5
303.30/303.48 c R 303.4 54.8 8695 100.0 42635 900e3 36122 143e3 20.0 8.5
303.50/303.65 c R 303.6 54.8 8695 100.0 42635 901e3 36921 143e3 7.6 8.6
304.00/304.15 c R 304.1 54.9 8695 100.0 42635 903e3 38925 143e3 6.2 8.8
305.30/305.48 c N 305.4 54.9 8695 100.0 42635 908e3 43737 143e3 24.6 9.6
308.29/308.47 c R 308.4 55.1 8695 100.0 42635 919e3 54950 143e3 22.3 11.4
315.19/315.38 c R 315.3 55.2 8695 100.0 42635 945e3 80586 143e3 20.7 15.9
332.69/332.85 c + 332.8 55.0 8695 100.0 42635 993e3 128e3 158e3 13.8 25.6
332.69/332.85 c
332.69/332.85 c seconds variables original learned agility
332.69/332.85 c level used conflicts limit MB
332.69/332.85 c
335.88/336.09 c N 336.0 54.9 8695 100.0 42635 100e4 138e3 158e3 29.5 27.6
393.68/393.85 c N 393.7 54.5 8695 100.0 42635 113e4 134e3 158e3 24.2 33.2
423.86/424.00 c s 423.9 54.8 8694 100.0 42633 120e4 73069 158e3 3.9 17.2
423.86/424.05 c N 423.9 54.8 8694 100.0 42633 120e4 73169 158e3 38.4 17.2
423.96/424.15 c N 424.0 54.8 8694 100.0 42633 120e4 73471 158e3 30.1 17.3
424.37/424.56 c N 424.4 54.8 8694 100.0 42633 120e4 74274 158e3 33.9 17.4
425.26/425.47 c N 425.3 54.8 8694 100.0 42633 120e4 76281 158e3 25.2 18.0
427.06/427.27 c N 427.2 54.8 8694 100.0 42633 120e4 81092 158e3 32.3 19.0
433.76/433.91 c N 433.8 54.8 8694 100.0 42633 121e4 92313 158e3 29.3 22.3
447.66/447.85 c R 447.7 54.9 8694 100.0 42633 124e4 117e3 158e3 18.8 28.0
451.75/451.97 c s 451.8 55.0 8693 100.0 42631 125e4 123e3 158e3 7.7 29.3
451.86/452.06 c N 451.9 55.0 8693 100.0 42631 125e4 123e3 158e3 31.8 29.3
452.05/452.26 c R 452.1 55.0 8693 100.0 42631 125e4 123e3 158e3 8.5 29.4
452.75/452.94 c N 452.8 55.0 8693 100.0 42631 125e4 124e3 158e3 40.6 29.6
454.45/454.65 c N 454.5 55.0 8693 100.0 42631 125e4 126e3 158e3 40.0 30.2
457.75/458.00 c R 457.9 55.0 8693 100.0 42631 125e4 131e3 158e3 13.9 31.5
465.35/465.53 c N 465.4 54.9 8693 100.0 42631 127e4 142e3 158e3 32.5 34.4
477.85/478.03 c N 477.9 55.0 8693 100.0 42631 129e4 38976 158e3 34.3 10.5
497.45/497.61 c N 497.5 54.7 8693 100.0 42631 135e4 96644 158e3 24.8 21.9
535.33/535.60 c s 535.4 54.5 8692 100.0 42625 141e4 34616 158e3 5.1 9.7
535.44/535.61 c R 535.5 54.5 8692 100.0 42625 141e4 34717 158e3 4.9 9.7
535.44/535.68 c R 535.5 54.5 8692 100.0 42625 142e4 35019 158e3 16.3 9.7
535.44/535.68 c
535.44/535.68 c seconds variables original learned agility
535.44/535.68 c level used conflicts limit MB
535.44/535.68 c
535.73/535.90 c N 535.7 54.5 8692 100.0 42625 142e4 35818 158e3 36.1 9.8
536.43/536.64 c N 536.5 54.6 8692 100.0 42625 142e4 37821 158e3 29.6 10.3
537.83/538.04 c N 537.9 54.6 8692 100.0 42625 142e4 42635 158e3 29.4 11.4
541.53/541.73 c R 541.6 54.4 8692 100.0 42625 143e4 53851 158e3 16.6 13.4
550.23/550.41 c R 550.2 54.4 8692 100.0 42625 146e4 79495 158e3 18.8 18.3
552.73/552.97 c s 552.8 54.4 8691 100.0 42623 147e4 84694 158e3 6.2 19.4
552.83/553.07 c N 552.9 54.4 8691 100.0 42623 147e4 84794 158e3 27.9 19.4
552.93/553.19 c N 553.0 54.4 8691 100.0 42623 147e4 85096 158e3 30.8 19.5
553.23/553.47 c R 553.3 54.3 8691 100.0 42623 147e4 85901 158e3 9.4 19.6
554.33/554.54 c N 554.4 54.3 8691 100.0 42623 147e4 87918 158e3 42.5 20.1
556.33/556.54 c R 556.4 54.3 8691 100.0 42623 147e4 92735 158e3 17.0 21.1
560.73/560.93 c + 560.8 54.3 8691 100.0 42623 148e4 103e3 173e3 21.2 23.5
560.83/561.03 c R 560.9 54.3 8691 100.0 42623 149e4 103e3 173e3 16.2 23.6
561.93/562.18 c s 562.0 54.2 8690 100.0 42621 149e4 106e3 173e3 4.2 23.8
562.03/562.26 c N 562.1 54.2 8690 100.0 42621 149e4 106e3 173e3 32.8 23.9
562.23/562.49 c N 562.3 54.2 8690 100.0 42621 149e4 106e3 173e3 28.2 23.9
562.73/562.93 c N 562.8 54.2 8690 100.0 42621 149e4 107e3 173e3 34.7 24.1
564.33/564.50 c N 564.3 54.3 8690 100.0 42621 149e4 109e3 173e3 27.1 24.8
567.62/567.81 c R 567.6 54.2 8690 100.0 42621 150e4 114e3 173e3 18.5 26.2
572.92/573.11 c R 572.9 54.2 8690 100.0 42621 151e4 125e3 173e3 14.3 28.9
586.22/586.42 c N 586.3 54.2 8690 100.0 42621 153e4 150e3 173e3 27.1 34.6
604.61/604.83 c s 604.7 54.2 8689 100.0 42619 156e4 37335 173e3 10.0 9.7
604.61/604.83 c
604.61/604.83 c seconds variables original learned agility
604.61/604.83 c level used conflicts limit MB
604.61/604.83 c
604.61/604.88 c R 604.7 54.2 8689 100.0 42619 156e4 37435 173e3 22.4 9.7
604.72/605.00 c N 604.8 54.2 8689 100.0 42619 156e4 37736 173e3 23.4 9.8
605.01/605.22 c R 605.0 54.2 8689 100.0 42619 157e4 38538 173e3 18.1 9.9
605.51/605.77 c R 605.6 54.2 8689 100.0 42619 157e4 40543 173e3 13.9 10.2
606.92/607.12 c N 606.9 54.3 8689 100.0 42619 157e4 45359 173e3 44.2 11.3
610.81/611.09 c R 610.9 54.3 8689 100.0 42619 158e4 56584 173e3 21.6 14.0
620.91/621.14 c N 621.0 54.4 8689 100.0 42619 161e4 82218 173e3 29.3 20.5
646.20/646.42 c R 646.2 54.4 8689 100.0 42619 167e4 139e3 173e3 12.8 33.4
715.18/715.44 c N 715.2 54.6 8689 100.0 42619 179e4 120e3 173e3 36.9 31.1
736.57/736.89 c s 736.7 54.7 8688 100.0 42617 183e4 151e3 173e3 5.0 38.5
736.68/736.94 c R 736.7 54.7 8688 100.0 42617 183e4 151e3 173e3 15.0 38.5
736.87/737.12 c R 736.9 54.7 8688 100.0 42617 183e4 151e3 173e3 8.4 38.6
737.27/737.50 c R 737.3 54.7 8688 100.0 42617 183e4 152e3 173e3 19.9 38.7
738.17/738.43 c N 738.2 54.7 8688 100.0 42617 183e4 154e3 173e3 24.3 39.1
740.67/740.94 c N 740.7 54.7 8688 100.0 42617 183e4 159e3 173e3 36.6 40.3
744.97/745.24 c R 745.0 54.7 8688 100.0 42617 185e4 170e3 173e3 13.9 42.5
754.77/755.08 c R 754.9 54.6 8688 100.0 42617 187e4 49963 173e3 17.5 12.5
759.07/759.38 c s 759.2 54.6 8687 100.0 42615 188e4 62474 173e3 7.4 15.1
759.17/759.45 c R 759.2 54.6 8687 100.0 42615 188e4 62573 173e3 21.0 15.1
759.27/759.58 c N 759.4 54.6 8687 100.0 42615 188e4 62876 173e3 33.1 15.2
759.57/759.85 c N 759.6 54.6 8687 100.0 42615 188e4 63678 173e3 25.2 15.4
760.27/760.57 c R 760.4 54.6 8687 100.0 42615 189e4 65681 173e3 17.4 15.8
760.27/760.57 c
760.27/760.57 c seconds variables original learned agility
760.27/760.57 c level used conflicts limit MB
760.27/760.57 c
761.97/762.23 c N 762.0 54.6 8687 100.0 42615 189e4 70485 173e3 27.2 16.8
767.17/767.47 c N 767.2 54.7 8687 100.0 42615 190e4 81719 173e3 37.7 19.8
779.86/780.12 c N 779.9 54.7 8687 100.0 42615 193e4 107e3 173e3 33.6 26.6
808.66/808.97 c R 808.7 54.6 8687 100.0 42615 199e4 165e3 173e3 14.4 39.4
864.24/864.60 c R 864.3 54.3 8687 100.0 42615 211e4 148e3 173e3 22.8 35.2
930.22/930.52 c + 930.2 54.4 8687 100.0 42615 223e4 118e3 191e3 36.1 31.7
1014.10/1014.42 c N 101e1 54.4 8687 100.0 42615 240e4 113e3 191e3 24.0 27.3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1719431-1240646372/watcher-1719431-1240646372 -o /tmp/evaluation-result-1719431-1240646372/solver-1719431-1240646372 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1719431-1240646372.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 20653
/proc/meminfo: memFree=1787776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=1344 CPUtime=0
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 92670497 1376256 231 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 336 231 56 152 0 182 0
[startup+0.0483239 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 20653
/proc/meminfo: memFree=1787776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=3212 CPUtime=0.04
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 684 0 0 0 4 0 0 0 18 0 1 0 92670497 3289088 669 1992294400 134512640 135137933 4294956224 18446744073709551615 134560639 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 803 669 61 152 0 649 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3212
[startup+0.101329 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 20653
/proc/meminfo: memFree=1787776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=3360 CPUtime=0.09
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 704 0 0 0 9 0 0 0 18 0 1 0 92670497 3440640 689 1992294400 134512640 135137933 4294956224 18446744073709551615 134547573 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 840 689 69 152 0 686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3360
[startup+0.301349 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 20653
/proc/meminfo: memFree=1787776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=3492 CPUtime=0.29
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 742 0 0 0 29 0 0 0 19 0 1 0 92670497 3575808 727 1992294400 134512640 135137933 4294956224 18446744073709551615 134527888 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 873 727 69 152 0 719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3492
[startup+0.701391 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 20653
/proc/meminfo: memFree=1787776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=3888 CPUtime=0.69
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 832 0 0 0 69 0 0 0 23 0 1 0 92670497 3981312 817 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 972 817 69 152 0 818 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3888
[startup+1.50148 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1784696/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=4416 CPUtime=1.49
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 977 0 0 0 149 0 0 0 25 0 1 0 92670497 4521984 962 1992294400 134512640 135137933 4294956224 18446744073709551615 134549119 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 1104 962 69 152 0 950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4416
[startup+3.10165 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1783672/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=5604 CPUtime=3.09
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 1276 0 0 0 309 0 0 0 25 0 1 0 92670497 5738496 1261 1992294400 134512640 135137933 4294956224 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 1401 1261 69 152 0 1247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5604
[startup+6.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1780920/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=8504 CPUtime=6.29
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 1958 0 0 0 628 1 0 0 25 0 1 0 92670497 8708096 1943 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 2126 1943 69 152 0 1972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8504
[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1774968/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=13784 CPUtime=12.68
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 3325 0 0 0 1266 2 0 0 25 0 1 0 92670497 14114816 3310 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 3446 3310 69 152 0 3292 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13784
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1768504/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=20228 CPUtime=25.49
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 4853 0 0 0 2545 4 0 0 25 0 1 0 92670497 20713472 4812 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 5057 4812 69 152 0 4903 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20228
[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20654
/proc/meminfo: memFree=1763896/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=24716 CPUtime=51.08
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 6022 0 0 0 5103 5 0 0 25 0 1 0 92670497 25309184 5981 1992294400 134512640 135137933 4294956224 18446744073709551615 134548734 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 6179 5981 69 152 0 6025 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24716
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1761776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=26564 CPUtime=102.26
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 6531 0 0 0 10220 6 0 0 25 0 1 0 92670497 27201536 6490 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 6641 6490 69 152 0 6487 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26564
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1760496/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=27884 CPUtime=162.24
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 6852 0 0 0 16217 7 0 0 25 0 1 0 92670497 28553216 6811 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 6971 6811 69 152 0 6817 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27884
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1756208/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=32488 CPUtime=222.23
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 7912 0 0 0 22214 9 0 0 25 0 1 0 92670497 33267712 7871 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 8122 7871 69 152 0 7968 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32488
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1755888/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=33264 CPUtime=282.21
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 7993 0 0 0 28212 9 0 0 25 0 1 0 92670497 34062336 7952 1992294400 134512640 135137933 4294956224 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 8316 7952 69 152 0 8162 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 33264
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1753968/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=35112 CPUtime=342.18
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 8454 0 0 0 34209 9 0 0 25 0 1 0 92670497 35954688 8413 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 8778 8413 69 152 0 8624 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 35112
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1750136/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=39204 CPUtime=402.17
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 9485 0 0 0 40207 10 0 0 25 0 1 0 92670497 40144896 9444 1992294400 134512640 135137933 4294956224 18446744073709551615 134549022 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 9801 9444 69 152 0 9647 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 39204
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1747064/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=41844 CPUtime=462.15
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 10171 0 0 0 46204 11 0 0 25 0 1 0 92670497 42848256 10130 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 10461 10130 69 152 0 10307 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 41844
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1747064/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=41844 CPUtime=522.14
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 10171 0 0 0 52202 12 0 0 25 0 1 0 92670497 42848256 10130 1992294400 134512640 135137933 4294956224 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 10461 10130 69 152 0 10307 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 41844
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1747064/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=41844 CPUtime=582.12
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 10172 0 0 0 58200 12 0 0 25 0 1 0 92670497 42848256 10131 1992294400 134512640 135137933 4294956224 18446744073709551615 134549147 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 10461 10131 69 152 0 10307 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 41844
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 3/65 20660
/proc/meminfo: memFree=1745400/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=43428 CPUtime=642.1
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 10578 0 0 0 64197 13 0 0 25 0 1 0 92670497 44470272 10537 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 10857 10537 69 152 0 10703 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 43428
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1742776/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=45804 CPUtime=702.08
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 11181 0 0 0 70194 14 0 0 25 0 1 0 92670497 46903296 11140 1992294400 134512640 135137933 4294956224 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 11451 11140 69 152 0 11297 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 45804
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1741688/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=46860 CPUtime=762.07
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 11452 0 0 0 76192 15 0 0 25 0 1 0 92670497 47984640 11411 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 11715 11411 69 152 0 11561 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 46860
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 20660
/proc/meminfo: memFree=1741688/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=46860 CPUtime=822.05
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 11452 0 0 0 82189 16 0 0 25 0 1 0 92670497 47984640 11411 1992294400 134512640 135137933 4294956224 18446744073709551615 134547445 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 11715 11411 69 152 0 11561 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 46860
[startup+882.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1741688/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=46860 CPUtime=882.03
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 11452 0 0 0 88187 16 0 0 25 0 1 0 92670497 47984640 11411 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 11715 11411 69 152 0 11561 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 46860
[startup+942.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1741624/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=46860 CPUtime=942.01
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 11452 0 0 0 94185 16 0 0 25 0 1 0 92670497 47984640 11411 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 11715 11411 69 152 0 11561 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 46860
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1733944/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=54384 CPUtime=1002
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 13375 0 0 0 100181 19 0 0 25 0 1 0 92670497 55689216 13334 1992294400 134512640 135137933 4294956224 18446744073709551615 134549059 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 13596 13334 69 152 0 13442 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 54384
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1733880/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=54384 CPUtime=1061.98
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 13376 0 0 0 106179 19 0 0 25 0 1 0 92670497 55689216 13335 1992294400 134512640 135137933 4294956224 18446744073709551615 134548881 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 13596 13335 69 152 0 13442 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 54384
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1733880/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=54384 CPUtime=1121.96
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 13376 0 0 0 112177 19 0 0 25 0 1 0 92670497 55689216 13335 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 13596 13335 69 152 0 13442 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 54384
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1733816/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=54384 CPUtime=1181.94
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 13376 0 0 0 118175 19 0 0 25 0 1 0 92670497 55689216 13335 1992294400 134512640 135137933 4294956224 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 13596 13335 69 152 0 13442 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 54384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20660
/proc/meminfo: memFree=1733816/2055920 swapFree=4181324/4192956
[pid=20653] ppid=20651 vsize=54384 CPUtime=1200.04
/proc/20653/stat : 20653 (picosat) R 20651 20653 20245 0 -1 4194304 13376 0 0 0 119985 19 0 0 25 0 1 0 92670497 55689216 13335 1992294400 134512640 135137933 4294956224 18446744073709551615 134521400 0 0 4096 0 0 0 0 17 1 0 0
/proc/20653/statm: 13596 13335 69 152 0 13442 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 54384
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): 1200.41
CPU time (s): 1200.07
CPU user time (s): 1199.86
CPU system time (s): 0.207968
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 54384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13376
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= 2384
runsolver used 0.864868 second user time and 2.48862 second system time
The end
Begin job on node19 at 2009-04-25 09:59:32
IDJOB=1719431
IDBENCH=69560
IDSOLVER=506
FILE ID=node19/1719431-1240646372
PBS_JOBID= 9186470
Free space on /tmp= 66240 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-x1mul.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719431-1240646372/watcher-1719431-1240646372 -o /tmp/evaluation-result-1719431-1240646372/solver-1719431-1240646372 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1719431-1240646372.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED=434580784
node19.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.236
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.236
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: 1788256 kB
Buffers: 37596 kB
Cached: 154816 kB
SwapCached: 5332 kB
Active: 22116 kB
Inactive: 178100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1788256 kB
SwapTotal: 4192956 kB
SwapFree: 4181324 kB
Dirty: 1656 kB
Writeback: 0 kB
Mapped: 13448 kB
Slab: 53364 kB
Committed_AS: 316632 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= 66240 MiB
End job on node19 at 2009-04-25 10:19:35