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-1724031-1240691630.cnf
0.00/0.00 c parsed header 'p cnf 368888 1100500'
5.30/5.31 c initialized 368888 variables
5.30/5.31 c found 1100500 non trivial clauses
5.30/5.31 c
5.30/5.31 c random number generator seed 0
5.30/5.31 c
5.30/5.31 c seconds variables original learned agility
5.30/5.31 c level used conflicts limit MB
5.30/5.31 c
5.30/5.31 c s 5.3 0.0 362e3 2.9 360e3 419 0 0 0.0 41.9
5.50/5.57 c
5.50/5.57 c initial reduction limit 183416 clauses
5.50/5.57 c
5.50/5.57 c + 5.6 198.5 362e3 3.7 360e3 519 97 201e3 6.4 42.7
5.50/5.58 c R 5.6 198.5 362e3 3.7 360e3 519 97 201e3 6.4 42.7
6.00/6.09 c + 6.1 146.7 362e3 4.5 360e3 669 246 221e3 14.1 42.7
6.10/6.17 c R 6.2 136.2 362e3 4.6 360e3 822 399 221e3 16.4 42.7
6.30/6.39 c + 6.4 130.5 362e3 4.8 360e3 894 469 244e3 0.8 42.7
6.50/6.53 c s 6.5 126.9 362e3 5.3 360e3 923 365 244e3 15.2 42.7
6.99/7.01 c R 7.0 130.9 362e3 5.5 360e3 1024 457 244e3 11.9 42.7
7.19/7.28 c s 7.3 127.7 362e3 5.8 360e3 1088 518 244e3 5.3 42.7
7.60/7.62 c R 7.6 127.1 362e3 5.8 360e3 1161 590 244e3 1.0 42.7
7.79/7.81 c + 7.8 131.2 362e3 6.5 360e3 1231 656 268e3 2.7 42.7
7.79/7.88 c N 7.9 132.5 362e3 6.7 360e3 1276 701 268e3 28.7 42.8
8.09/8.12 c s 8.1 136.0 362e3 6.9 360e3 1364 789 268e3 2.8 42.8
8.50/8.54 c R 8.5 142.4 362e3 7.5 360e3 1577 985 268e3 9.7 42.8
8.80/8.87 c s 8.9 154.8 362e3 7.6 360e3 1668 1072 268e3 7.6 42.8
9.30/9.36 c + 9.4 159.9 362e3 7.8 360e3 1736 1132 295e3 1.1 42.8
9.69/9.74 c s 9.7 160.8 362e3 8.0 360e3 1771 1165 295e3 4.1 42.8
10.29/10.38 c R 10.4 169.7 362e3 8.6 360e3 1839 1232 295e3 21.4 42.8
11.39/11.43 c R 11.4 205.7 362e3 10.2 360e3 2142 1530 295e3 14.2 43.9
12.19/12.28 c + 12.3 202.4 362e3 11.9 360e3 2493 1878 324e3 11.2 43.9
12.69/12.79 c R 12.8 214.8 362e3 12.7 360e3 2943 2325 324e3 8.7 44.0
12.69/12.79 c
12.69/12.79 c seconds variables original learned agility
12.69/12.79 c level used conflicts limit MB
12.69/12.79 c
12.89/12.91 c s 12.9 214.5 362e3 12.7 360e3 2959 2338 324e3 16.2 44.0
13.10/13.17 c R 13.2 213.4 362e3 12.9 360e3 3062 2439 324e3 16.7 44.0
13.69/13.71 c s 13.7 205.5 362e3 13.0 360e3 3350 2716 324e3 2.0 44.0
13.69/13.73 c R 13.7 205.0 362e3 13.0 360e3 3362 2726 324e3 2.3 44.0
14.79/14.85 c s 14.9 202.0 362e3 13.5 360e3 3627 2983 324e3 2.5 44.0
14.79/14.86 c + 14.9 201.9 362e3 13.5 360e3 3628 2984 357e3 1.7 44.0
15.30/15.33 c R 15.3 197.3 362e3 13.6 360e3 3727 3073 357e3 16.8 44.0
16.19/16.21 c R 16.2 195.7 362e3 14.0 360e3 4030 3371 357e3 4.9 44.1
16.99/17.00 c s 17.0 192.6 358e3 14.8 356e3 4160 3303 357e3 14.7 44.0
17.50/17.58 c R 17.6 190.2 358e3 15.0 356e3 4260 3397 357e3 18.1 44.1
17.69/17.78 c s 17.8 187.4 358e3 15.1 356e3 4378 3507 357e3 0.6 44.1
18.19/18.21 c N 18.2 184.6 358e3 15.3 356e3 4474 3598 357e3 23.7 44.1
18.89/18.94 c R 18.9 185.1 358e3 15.7 356e3 4776 3895 357e3 8.3 44.1
18.99/19.08 c s 19.1 184.4 358e3 15.7 356e3 4817 3920 357e3 7.3 44.1
19.89/19.97 c s 20.0 183.1 358e3 16.1 356e3 4989 4080 357e3 0.0 44.1
19.99/20.06 c R 20.1 183.9 358e3 16.2 356e3 5027 4118 357e3 8.5 44.1
20.39/20.50 c R 20.5 182.3 358e3 16.4 356e3 5212 4292 357e3 11.0 44.1
20.69/20.70 c + 20.7 181.4 358e3 16.4 356e3 5330 4398 393e3 11.4 44.1
20.80/20.82 c s 20.8 181.3 358e3 16.4 356e3 5340 4406 393e3 23.1 44.1
20.99/21.06 c R 21.1 179.6 358e3 16.6 356e3 5513 4577 393e3 4.3 44.1
21.39/21.40 c R 21.4 178.7 358e3 16.7 356e3 5659 4720 393e3 13.3 44.2
21.59/21.69 c s 21.7 177.8 358e3 16.7 356e3 5721 4766 393e3 2.4 44.2
21.59/21.69 c
21.59/21.69 c seconds variables original learned agility
21.59/21.69 c level used conflicts limit MB
21.59/21.69 c
22.00/22.07 c R 22.1 178.1 358e3 16.9 356e3 5797 4841 393e3 5.3 44.2
22.49/22.55 c R 22.6 177.3 358e3 17.4 356e3 6103 5146 393e3 11.7 44.2
23.00/23.05 c s 23.1 179.9 356e3 18.0 354e3 6207 5176 393e3 22.1 44.2
23.19/23.21 c R 23.2 179.2 356e3 18.1 354e3 6308 5276 393e3 9.9 44.2
23.79/23.87 c s 23.9 183.0 356e3 18.3 354e3 6460 5415 393e3 13.8 44.3
23.89/23.98 c R 24.0 182.5 356e3 18.4 354e3 6520 5474 393e3 3.0 44.3
24.29/24.38 c R 24.4 182.5 356e3 18.5 354e3 6642 5593 393e3 6.4 44.3
24.69/24.74 c s 24.8 181.8 356e3 18.5 354e3 6742 5685 393e3 8.4 44.3
24.99/25.01 c R 25.0 180.8 356e3 18.7 354e3 6830 5772 393e3 15.6 44.3
25.59/25.65 c s 25.7 181.6 356e3 18.9 354e3 6967 5901 393e3 6.4 44.3
25.79/25.85 c R 25.9 182.7 356e3 19.0 354e3 7018 5949 393e3 6.9 44.3
26.09/26.13 c R 26.1 181.8 356e3 19.1 354e3 7154 6081 393e3 2.2 44.3
26.49/26.57 c s 26.6 181.0 356e3 19.2 354e3 7294 6219 393e3 5.2 44.3
26.99/27.04 c R 27.0 181.6 356e3 19.7 354e3 7454 6375 393e3 16.7 44.3
27.89/27.92 c + 27.9 180.8 356e3 20.0 354e3 7883 6789 432e3 12.8 44.4
27.89/28.00 c s 28.0 181.2 356e3 20.1 354e3 7950 6852 432e3 1.4 44.4
28.39/28.42 c R 28.4 180.3 356e3 20.1 354e3 8108 6994 432e3 4.8 44.4
28.69/28.74 c R 28.7 180.0 356e3 20.2 354e3 8323 7206 432e3 12.7 44.4
28.79/28.86 c s 28.9 179.9 356e3 20.2 354e3 8332 7213 432e3 7.7 44.4
29.19/29.29 c R 29.3 178.4 356e3 20.3 354e3 8624 7505 432e3 6.3 44.5
29.70/29.75 c s 29.8 177.8 355e3 20.6 354e3 8884 7755 432e3 5.8 44.5
29.99/30.09 c R 30.1 177.2 355e3 20.7 354e3 8984 7851 432e3 20.3 44.5
29.99/30.09 c
29.99/30.09 c seconds variables original learned agility
29.99/30.09 c level used conflicts limit MB
29.99/30.09 c
30.80/30.87 c R 30.9 182.0 355e3 21.1 354e3 9285 8147 432e3 15.2 44.6
31.09/31.11 c s 31.1 181.6 355e3 21.2 354e3 9374 8232 432e3 4.3 44.6
31.39/31.45 c R 31.5 181.3 355e3 21.4 354e3 9475 8332 432e3 16.0 44.6
31.89/31.92 c R 31.9 180.8 355e3 21.4 354e3 9775 8630 432e3 4.7 44.6
32.29/32.30 c s 32.3 182.0 355e3 21.5 354e3 9862 8713 432e3 11.4 44.6
32.39/32.42 c R 32.4 181.5 355e3 21.5 354e3 9973 8821 432e3 7.4 44.6
32.59/32.69 c R 32.7 180.9 355e3 21.5 354e3 10125 8968 432e3 15.0 44.6
32.99/33.04 c R 33.0 180.3 355e3 21.5 354e3 10289 9121 432e3 20.1 44.7
33.09/33.18 c s 33.2 180.2 355e3 21.6 354e3 10292 9114 432e3 10.8 44.7
33.89/33.94 c R 33.9 180.0 355e3 21.7 354e3 10589 9409 432e3 13.2 44.7
36.29/36.30 c R 36.3 178.7 355e3 22.5 354e3 11392 10187 432e3 6.6 44.8
36.99/37.01 c + 37.0 178.0 355e3 22.5 354e3 11712 10502 475e3 5.5 44.8
37.09/37.19 c s 37.2 177.9 355e3 22.6 353e3 11811 10589 475e3 12.3 44.8
37.30/37.38 c R 37.4 177.5 355e3 22.6 353e3 11911 10689 475e3 18.3 44.8
37.59/37.68 c R 37.7 177.1 355e3 22.6 353e3 12212 10986 475e3 7.7 44.9
38.50/38.52 c s 38.5 176.8 354e3 23.0 352e3 12552 11119 475e3 13.5 44.9
38.50/38.52 c R 38.5 176.8 354e3 23.0 352e3 12552 11119 475e3 6.8 44.9
39.69/39.71 c R 39.7 178.8 354e3 23.3 352e3 12854 11419 475e3 11.6 44.9
40.49/40.56 c R 40.6 177.3 354e3 23.5 352e3 13658 12211 475e3 5.5 45.0
41.09/41.10 c s 41.1 176.7 354e3 23.6 352e3 13892 12435 475e3 12.3 45.0
41.19/41.24 c N 41.3 176.6 354e3 23.7 352e3 13993 12536 475e3 24.1 45.0
41.50/41.59 c R 41.6 176.8 354e3 23.7 352e3 14295 12838 475e3 8.2 45.1
41.50/41.59 c
41.50/41.59 c seconds variables original learned agility
41.50/41.59 c level used conflicts limit MB
41.50/41.59 c
42.80/42.90 c R 42.9 175.4 354e3 23.7 352e3 15102 13641 475e3 7.3 45.2
43.80/43.80 c s 43.8 174.9 353e3 23.8 352e3 15305 13789 475e3 3.8 45.2
43.80/43.85 c R 43.9 174.7 353e3 23.8 352e3 15359 13843 475e3 9.0 45.2
44.30/44.30 c R 44.3 174.0 353e3 24.0 352e3 15660 14139 475e3 16.8 45.2
45.70/45.73 c R 45.7 173.4 353e3 24.1 352e3 16462 14935 475e3 8.9 45.3
47.60/47.63 c + 47.6 172.7 353e3 24.8 352e3 17698 16167 523e3 2.2 45.5
48.80/48.82 c R 48.8 173.3 353e3 25.2 352e3 18469 16925 523e3 5.1 45.6
49.80/49.87 c s 49.9 172.4 353e3 25.3 352e3 18931 17202 523e3 7.2 45.6
49.80/49.88 c R 49.9 172.4 353e3 25.3 352e3 18931 17202 523e3 2.2 45.6
50.20/50.26 c R 50.3 172.3 353e3 25.3 352e3 19231 17495 523e3 11.2 45.8
51.40/51.47 c R 51.5 169.7 353e3 25.4 352e3 20032 18286 523e3 7.8 45.9
54.30/54.35 c R 54.4 167.4 353e3 25.5 352e3 22035 20282 523e3 8.3 46.2
60.80/60.89 c + 60.9 164.0 353e3 27.0 352e3 26486 24690 575e3 12.8 46.9
62.00/62.01 c s 62.0 164.0 352e3 27.2 351e3 26905 24909 575e3 3.0 46.9
62.00/62.01 c R 62.0 164.0 352e3 27.2 351e3 26905 24909 575e3 3.0 46.9
62.30/62.33 c R 62.3 164.5 352e3 27.2 351e3 27011 25009 575e3 18.2 46.9
62.90/62.94 c s 63.0 164.1 352e3 27.2 351e3 27287 25283 575e3 12.6 47.0
63.00/63.07 c R 63.1 163.9 352e3 27.2 351e3 27312 25308 575e3 6.5 47.0
64.81/64.86 c R 64.9 161.8 352e3 27.3 351e3 28114 26101 575e3 7.0 47.1
67.30/67.39 c R 67.4 160.9 352e3 28.1 351e3 30121 28102 575e3 9.1 47.4
69.60/69.67 c s 69.7 161.3 352e3 28.2 351e3 30999 28932 575e3 4.8 47.5
69.80/69.84 c R 69.9 161.2 352e3 28.2 351e3 31082 29015 575e3 13.2 47.5
69.80/69.84 c
69.80/69.84 c seconds variables original learned agility
69.80/69.84 c level used conflicts limit MB
69.80/69.84 c
70.10/70.10 c R 70.1 160.8 352e3 28.3 351e3 31385 29316 575e3 8.4 47.5
71.30/71.40 c R 71.4 160.6 352e3 28.6 351e3 32187 30112 575e3 12.4 47.6
73.80/73.87 c R 73.9 159.2 352e3 29.2 351e3 34190 32094 575e3 5.9 47.9
80.90/80.99 c R 81.0 157.5 352e3 30.0 351e3 38999 36874 575e3 6.8 48.7
82.01/82.01 c + 82.0 156.9 352e3 30.2 351e3 39584 37456 633e3 10.9 48.8
93.80/93.84 c R 93.9 153.7 352e3 30.5 351e3 50224 48078 633e3 9.5 51.2
105.51/105.58 c + 105.6 149.2 352e3 31.0 351e3 58965 56803 696e3 13.6 52.8
111.90/111.95 c s 112.0 146.9 352e3 31.2 351e3 63149 60948 696e3 1.8 53.4
112.11/112.18 c R 112.2 146.9 352e3 31.2 351e3 63244 61042 696e3 17.3 53.5
112.70/112.75 c R 112.8 146.8 352e3 31.2 351e3 63545 61342 696e3 17.0 53.5
114.31/114.31 c R 114.3 146.5 352e3 31.3 351e3 64345 62140 696e3 9.5 53.6
117.30/117.36 c R 117.4 144.9 352e3 31.3 351e3 66351 64137 696e3 11.8 54.0
125.41/125.45 c R 125.5 143.5 352e3 31.5 351e3 71162 68937 696e3 7.9 54.9
139.72/139.71 c R 139.7 139.4 352e3 31.6 351e3 82386 80144 696e3 17.4 57.0
150.01/150.06 c + 150.1 138.9 352e3 31.9 351e3 88042 85792 766e3 4.8 58.2
174.71/174.73 c R 174.8 135.7 352e3 32.2 351e3 108e3 105e3 766e3 12.1 62.9
210.71/210.78 c + 210.8 131.3 352e3 32.4 351e3 131e3 129e3 842e3 10.0 68.0
251.83/251.84 c R 251.9 127.8 352e3 32.6 351e3 165e3 163e3 842e3 11.4 75.8
290.13/290.15 c s 290.2 125.0 352e3 32.8 350e3 185e3 183e3 842e3 6.3 80.5
290.43/290.43 c R 290.5 124.9 352e3 32.8 350e3 185e3 183e3 842e3 12.5 80.5
291.03/291.07 c R 291.1 124.9 352e3 32.8 350e3 185e3 183e3 842e3 15.0 80.6
292.13/292.15 c R 292.2 124.7 352e3 32.8 350e3 186e3 184e3 842e3 10.6 80.7
292.13/292.15 c
292.13/292.15 c seconds variables original learned agility
292.13/292.15 c level used conflicts limit MB
292.13/292.15 c
296.23/296.23 c R 296.3 124.6 352e3 32.9 350e3 188e3 186e3 842e3 8.5 81.1
301.63/301.64 c R 301.7 124.1 352e3 32.9 350e3 193e3 191e3 842e3 8.3 82.0
308.53/308.52 c + 308.6 123.2 352e3 32.9 350e3 197e3 194e3 927e3 7.1 82.7
319.93/319.96 c R 320.0 122.5 352e3 32.9 350e3 204e3 202e3 927e3 10.3 84.5
361.53/361.55 c R 361.6 119.0 352e3 33.0 350e3 230e3 227e3 927e3 10.5 89.0
411.34/411.36 c s 411.4 116.1 351e3 33.1 350e3 259e3 256e3 927e3 5.8 96.1
411.63/411.69 c R 411.7 116.1 351e3 33.2 350e3 259e3 256e3 927e3 16.6 96.1
412.54/412.57 c R 412.6 116.0 351e3 33.2 350e3 259e3 257e3 927e3 7.8 96.1
414.23/414.21 c R 414.3 115.9 351e3 33.2 350e3 260e3 258e3 927e3 13.8 96.3
418.84/418.80 c R 418.8 115.8 351e3 33.2 350e3 262e3 260e3 927e3 8.1 96.7
428.14/428.15 c R 428.2 115.3 351e3 33.2 350e3 267e3 264e3 927e3 8.5 97.7
450.64/450.68 c R 450.7 114.9 351e3 33.2 350e3 278e3 276e3 927e3 14.0 100.6
487.14/487.12 c + 487.2 113.9 351e3 33.3 350e3 295e3 292e3 101e4 12.5 104.3
499.84/499.82 c R 499.9 113.2 351e3 33.3 350e3 304e3 301e3 101e4 8.8 106.6
530.05/530.08 c s 530.1 112.4 351e3 33.4 350e3 317e3 314e3 101e4 13.7 109.7
530.05/530.08 c R 530.1 112.4 351e3 33.4 350e3 317e3 314e3 101e4 7.4 109.7
530.95/530.99 c R 531.0 112.4 351e3 33.4 350e3 317e3 314e3 101e4 12.8 109.7
533.35/533.34 c R 533.4 112.3 351e3 33.4 350e3 318e3 315e3 101e4 3.9 109.9
538.75/538.75 c R 538.8 112.4 351e3 33.4 350e3 320e3 317e3 101e4 12.3 110.5
549.55/549.51 c R 549.6 112.2 351e3 34.1 350e3 324e3 322e3 101e4 13.3 111.7
570.86/570.86 c R 570.9 111.5 351e3 34.1 350e3 336e3 333e3 101e4 11.0 114.4
614.87/614.82 c s 614.9 110.8 351e3 34.8 350e3 355e3 352e3 101e4 8.0 119.1
614.87/614.82 c
614.87/614.82 c seconds variables original learned agility
614.87/614.82 c level used conflicts limit MB
614.87/614.82 c
615.06/615.02 c R 615.1 110.8 351e3 34.8 350e3 355e3 352e3 101e4 6.9 119.2
615.76/615.75 c R 615.8 110.8 351e3 34.8 350e3 356e3 353e3 101e4 7.9 119.2
617.46/617.46 c R 617.5 110.7 351e3 34.8 350e3 356e3 353e3 101e4 12.0 119.4
622.76/622.76 c R 622.8 110.6 351e3 34.8 350e3 358e3 355e3 101e4 15.0 119.9
633.56/633.55 c R 633.6 110.3 351e3 34.8 350e3 363e3 360e3 101e4 15.5 121.1
658.96/658.97 c R 659.0 109.2 351e3 34.8 350e3 374e3 372e3 101e4 8.5 123.6
723.17/723.13 c R 723.2 108.5 351e3 35.5 350e3 400e3 397e3 101e4 12.8 130.7
795.17/795.10 c s 795.2 106.9 351e3 35.8 350e3 425e3 422e3 101e4 9.9 136.4
795.67/795.60 c R 795.7 106.9 351e3 35.8 350e3 425e3 422e3 101e4 16.3 136.4
796.67/796.66 c R 796.8 106.9 351e3 35.8 350e3 426e3 423e3 101e4 18.4 136.5
799.48/799.46 c R 799.5 107.6 351e3 35.8 350e3 426e3 423e3 101e4 7.1 136.7
804.98/804.92 c R 805.0 107.6 351e3 35.9 350e3 428e3 425e3 101e4 7.1 137.1
818.87/818.87 c R 819.0 107.4 351e3 35.9 350e3 433e3 430e3 101e4 12.5 138.2
841.08/841.02 c + 841.1 107.1 351e3 35.9 350e3 442e3 439e3 112e4 9.0 140.1
844.68/844.61 c R 844.7 107.0 351e3 35.9 350e3 444e3 441e3 112e4 8.3 140.7
915.99/915.94 c R 916.0 106.3 351e3 36.0 350e3 470e3 467e3 112e4 6.9 147.3
1079.11/1079.08 c R 108e1 103.2 351e3 36.0 350e3 528e3 525e3 112e4 16.0 164.2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1724031-1240691630/watcher-1724031-1240691630 -o /tmp/evaluation-result-1724031-1240691630/solver-1724031-1240691630 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1724031-1240691630.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: 1.83 1.82 1.45 3/64 19776
/proc/meminfo: memFree=1927744/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=21688 CPUtime=0
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 553 0 0 0 0 0 0 0 18 0 1 0 97196518 22208512 538 1992294400 134512640 135137933 4294956224 18446744073709551615 134532161 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 5422 543 54 152 0 5268 0
[startup+0.0932771 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 19776
/proc/meminfo: memFree=1927744/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=25060 CPUtime=0.08
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 6017 0 0 0 6 2 0 0 18 0 1 0 97196518 25661440 6002 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 6265 6002 56 152 0 6111 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25060
[startup+0.101273 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 19776
/proc/meminfo: memFree=1927744/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=25324 CPUtime=0.09
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 6081 0 0 0 7 2 0 0 18 0 1 0 97196518 25931776 6066 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 6331 6067 56 152 0 6177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25324
[startup+0.301216 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 19776
/proc/meminfo: memFree=1927744/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=31780 CPUtime=0.3
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 7689 0 0 0 26 4 0 0 19 0 1 0 97196518 32542720 7674 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 7945 7674 56 152 0 7791 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 31780
[startup+0.701103 s]
/proc/loadavg: 1.83 1.82 1.45 3/64 19776
/proc/meminfo: memFree=1927744/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=45064 CPUtime=0.69
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 10798 0 0 0 63 6 0 0 22 0 1 0 97196518 46145536 10783 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 11266 10783 56 152 0 11112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45064
[startup+1.50188 s]
/proc/loadavg: 1.83 1.82 1.45 2/65 19777
/proc/meminfo: memFree=1881080/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=48364 CPUtime=1.5
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 11707 0 0 0 143 7 0 0 25 0 1 0 97196518 49524736 11692 1992294400 134512640 135137933 4294956224 18446744073709551615 134560769 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 12091 11692 61 152 0 11937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 48364
[startup+3.10142 s]
/proc/loadavg: 1.85 1.83 1.45 2/65 19777
/proc/meminfo: memFree=1880568/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=49108 CPUtime=3.1
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 11846 0 0 0 303 7 0 0 25 0 1 0 97196518 50286592 11825 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 12277 11825 61 152 0 12123 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 49108
[startup+6.30152 s]
/proc/loadavg: 1.85 1.83 1.45 2/65 19777
/proc/meminfo: memFree=1879928/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=49876 CPUtime=6.3
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 12005 0 0 0 623 7 0 0 25 0 1 0 97196518 51073024 11984 1992294400 134512640 135137933 4294956224 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 12469 11984 69 152 0 12315 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 49876
[startup+12.7017 s]
/proc/loadavg: 1.72 1.80 1.45 2/65 19777
/proc/meminfo: memFree=1879616/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=51164 CPUtime=12.69
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 12123 0 0 0 1262 7 0 0 25 0 1 0 97196518 52391936 12102 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 12791 12102 69 152 0 12637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51164
[startup+25.5011 s]
/proc/loadavg: 1.61 1.77 1.44 2/65 19777
/proc/meminfo: memFree=1879168/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=51560 CPUtime=25.49
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 12221 0 0 0 2542 7 0 0 25 0 1 0 97196518 52797440 12200 1992294400 134512640 135137933 4294956224 18446744073709551615 134548556 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 12890 12200 69 152 0 12736 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51560
[startup+51.1018 s]
/proc/loadavg: 1.40 1.71 1.43 2/65 19777
/proc/meminfo: memFree=1877632/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=53272 CPUtime=51.1
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 12616 0 0 0 5102 8 0 0 25 0 1 0 97196518 54550528 12595 1992294400 134512640 135137933 4294956224 18446744073709551615 134528042 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 13318 12595 69 152 0 13164 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 53272
[startup+102.305 s]
/proc/loadavg: 1.16 1.59 1.40 2/65 19779
/proc/meminfo: memFree=1870656/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=60132 CPUtime=102.31
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 14312 0 0 0 10220 11 0 0 25 0 1 0 97196518 61575168 14291 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 15033 14291 69 152 0 14879 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 60132
[startup+162.301 s]
/proc/loadavg: 1.06 1.48 1.37 2/65 19779
/proc/meminfo: memFree=1862528/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=68052 CPUtime=162.31
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 16346 0 0 0 16217 14 0 0 25 0 1 0 97196518 69685248 16325 1992294400 134512640 135137933 4294956224 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 17013 16325 69 152 0 16859 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 68052
[startup+222.301 s]
/proc/loadavg: 1.02 1.39 1.35 2/65 19779
/proc/meminfo: memFree=1852544/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=78332 CPUtime=222.32
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 18817 0 0 0 22214 18 0 0 25 0 1 0 97196518 80211968 18796 1992294400 134512640 135137933 4294956224 18446744073709551615 134527871 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 19583 18796 69 152 0 19429 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 78332
[startup+282.301 s]
/proc/loadavg: 1.00 1.31 1.32 2/65 19779
/proc/meminfo: memFree=1841984/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=88628 CPUtime=282.32
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 21437 0 0 0 28211 21 0 0 25 0 1 0 97196518 90755072 21416 1992294400 134512640 135137933 4294956224 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 22157 21416 69 152 0 22003 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 88628
[startup+342.301 s]
/proc/loadavg: 1.00 1.26 1.30 2/65 19779
/proc/meminfo: memFree=1833728/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=96680 CPUtime=342.33
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 23486 0 0 0 34209 24 0 0 25 0 1 0 97196518 99000320 23465 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 24170 23465 69 152 0 24016 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 96680
[startup+402.301 s]
/proc/loadavg: 1.00 1.21 1.28 2/65 19779
/proc/meminfo: memFree=1826176/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=105096 CPUtime=402.33
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 25365 0 0 0 40207 26 0 0 25 0 1 0 97196518 107618304 25344 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 26274 25344 69 152 0 26120 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 105096
[startup+462.301 s]
/proc/loadavg: 1.00 1.17 1.26 2/65 19779
/proc/meminfo: memFree=1819264/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=111828 CPUtime=462.34
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 27078 0 0 0 46205 29 0 0 25 0 1 0 97196518 114511872 27057 1992294400 134512640 135137933 4294956224 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 27957 27057 69 152 0 27803 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 111828
[startup+522.301 s]
/proc/loadavg: 1.00 1.13 1.24 2/65 19779
/proc/meminfo: memFree=1811328/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=119616 CPUtime=522.34
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 29055 0 0 0 52203 31 0 0 25 0 1 0 97196518 122486784 29034 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 29904 29034 69 152 0 29750 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 119616
[startup+582.301 s]
/proc/loadavg: 1.03 1.12 1.23 2/65 19779
/proc/meminfo: memFree=1804608/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=126084 CPUtime=582.35
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 30715 0 0 0 58201 34 0 0 25 0 1 0 97196518 129110016 30694 1992294400 134512640 135137933 4294956224 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 31521 30694 69 152 0 31367 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 126084
[startup+642.301 s]
/proc/loadavg: 1.01 1.10 1.21 2/65 19779
/proc/meminfo: memFree=1797376/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=133080 CPUtime=642.36
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 32489 0 0 0 64200 36 0 0 25 0 1 0 97196518 136273920 32468 1992294400 134512640 135137933 4294956224 18446744073709551615 134547458 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 33270 32468 69 152 0 33116 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 133080
[startup+702.301 s]
/proc/loadavg: 1.00 1.08 1.19 2/65 19779
/proc/meminfo: memFree=1791424/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=139020 CPUtime=702.36
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 33982 0 0 0 70198 38 0 0 25 0 1 0 97196518 142356480 33961 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 34755 33961 69 152 0 34601 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 139020
[startup+762.305 s]
/proc/loadavg: 1.00 1.06 1.18 2/65 19779
/proc/meminfo: memFree=1784896/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=145224 CPUtime=762.38
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 35576 0 0 0 76197 41 0 0 25 0 1 0 97196518 148709376 35555 1992294400 134512640 135137933 4294956224 18446744073709551615 134548734 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 36306 35555 69 152 0 36152 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 145224
[startup+822.302 s]
/proc/loadavg: 1.00 1.05 1.17 2/65 19779
/proc/meminfo: memFree=1779776/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=150372 CPUtime=822.37
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 36885 0 0 0 82195 42 0 0 25 0 1 0 97196518 153980928 36864 1992294400 134512640 135137933 4294956224 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 37593 36864 69 152 0 37439 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 150372
[startup+882.302 s]
/proc/loadavg: 1.00 1.04 1.15 2/65 19779
/proc/meminfo: memFree=1774208/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=155916 CPUtime=882.39
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 38277 0 0 0 88194 45 0 0 25 0 1 0 97196518 159657984 38256 1992294400 134512640 135137933 4294956224 18446744073709551615 134548908 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 38979 38256 69 152 0 38825 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 155916
[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.14 2/65 19779
/proc/meminfo: memFree=1768000/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=161988 CPUtime=942.39
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 39828 0 0 0 94192 47 0 0 25 0 1 0 97196518 165875712 39807 1992294400 134512640 135137933 4294956224 18446744073709551615 134548664 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 40497 39807 69 152 0 40343 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 161988
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/65 19779
/proc/meminfo: memFree=1763328/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=166476 CPUtime=1002.39
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 40960 0 0 0 100191 48 0 0 25 0 1 0 97196518 170471424 40939 1992294400 134512640 135137933 4294956224 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 41619 40939 69 152 0 41465 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 166476
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/65 19779
/proc/meminfo: memFree=1756352/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=175388 CPUtime=1062.4
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 42713 0 0 0 106189 51 0 0 25 0 1 0 97196518 179597312 42692 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 43847 42692 69 152 0 43693 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 175388
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/65 19779
/proc/meminfo: memFree=1751104/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=180404 CPUtime=1122.41
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 43982 0 0 0 112189 52 0 0 25 0 1 0 97196518 184733696 43961 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 45101 43961 69 152 0 44947 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 180404
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 19779
/proc/meminfo: memFree=1747456/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=184100 CPUtime=1182.42
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 44898 0 0 0 118187 55 0 0 25 0 1 0 97196518 188518400 44877 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 46025 44877 69 152 0 45871 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 184100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 19779
/proc/meminfo: memFree=1746304/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=185156 CPUtime=1200.02
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 45176 0 0 0 119947 55 0 0 25 0 1 0 97196518 189599744 45155 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 46289 45155 69 152 0 46135 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 185156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 19779
/proc/meminfo: memFree=1746304/2055920 swapFree=4181368/4192956
[pid=19776] ppid=19774 vsize=185156 CPUtime=1200.02
/proc/19776/stat : 19776 (picosat) R 19774 19776 19708 0 -1 4194304 45176 0 0 0 119947 55 0 0 25 0 1 0 97196518 189599744 45155 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19776/statm: 46289 45155 69 152 0 46135 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 185156
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.93
CPU time (s): 1200.06
CPU user time (s): 1199.48
CPU system time (s): 0.583911
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 185156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.48
system time used= 0.583911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45176
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= 1057
runsolver used 0.898863 second user time and 2.55661 second system time
The end
Begin job on node16 at 2009-04-25 22:33:51
IDJOB=1724031
IDBENCH=71749
IDSOLVER=506
FILE ID=node16/1724031-1240691630
PBS_JOBID= 9186731
Free space on /tmp= 66300 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT_RACE06/manol-pipe-f10ni.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724031-1240691630/watcher-1724031-1240691630 -o /tmp/evaluation-result-1724031-1240691630/solver-1724031-1240691630 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1724031-1240691630.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b99a5b8844b4e1d2656eb1422e6e888f
RANDOM SEED=1547453440
node16.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.234
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.234
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: 1928224 kB
Buffers: 5700 kB
Cached: 73556 kB
SwapCached: 5404 kB
Active: 40040 kB
Inactive: 47104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1928224 kB
SwapTotal: 4192956 kB
SwapFree: 4181368 kB
Dirty: 20684 kB
Writeback: 0 kB
Mapped: 13528 kB
Slab: 26560 kB
Committed_AS: 352644 kB
PageTables: 1436 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= 66300 MiB
End job on node16 at 2009-04-25 22:53:53