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-1784618-1241956454.cnf
0.00/0.00 c found header 'p cnf 528 30728'
0.00/0.03 c finished parsing
0.00/0.03 c
0.00/0.03 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.03 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.03 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.03 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.03 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.03 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.03 c
0.00/0.03 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.03 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.03 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.03 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.03 c
0.00/0.03 c starting search after 0.0 seconds
0.00/0.03 c no decision limit
0.00/0.03 c
0.00/0.03 c original/binary fixed eliminated learned agility
0.00/0.03 c seconds variables equivalent conflicts height MB
0.00/0.03 c
0.00/0.03 c * 0.0 30728 528 0 0 0 0 0 0.0 0 2
0.39/0.40 c s 0.4 30200 506 0 0 22 0 0 0.0 0 2
0.39/0.40 c l 0.4 30200 506 0 0 22 0 2301 0.0 0 2
0.39/0.41 c R 0.4 30200 506 0 0 22 100 100 79.8 4 2
0.39/0.42 c R 0.4 30200 506 0 0 22 200 200 78.1 5 2
0.39/0.46 c R 0.5 30200 506 0 0 22 801 801 68.6 5 3
0.39/0.48 c B 0.5 30200 506 0 0 22 1001 1001 63.7 6 3
0.49/0.54 c B 0.5 30200 506 0 0 22 2002 2002 51.7 6 3
0.49/0.56 c + 0.6 30200 506 0 0 22 2301 2531 48.7 5 3
0.49/0.57 c R 0.6 30200 506 0 0 22 2402 2402 47.7 5 3
0.59/0.60 c + 0.6 30200 506 0 0 22 2876 2784 52.9 5 3
0.59/0.65 c + 0.7 30200 506 0 0 22 3595 3062 53.6 5 3
0.69/0.71 c + 0.7 30200 506 0 0 22 4492 3368 51.5 5 3
0.69/0.78 c + 0.8 30200 506 0 0 22 5615 3704 48.9 6 4
0.79/0.84 c R 0.8 30200 506 0 0 22 6414 3711 52.8 6 4
0.79/0.88 c + 0.9 30200 506 0 0 22 7018 4074 50.6 7 4
0.89/0.94 c B 0.9 30200 506 0 0 22 8005 4081 47.4 6 4
0.89/1.00 c + 1.0 30200 506 0 0 22 8770 4481 46.9 6 4
1.09/1.13 c + 1.1 30200 506 0 0 22 10960 4929 43.3 7 4
1.29/1.35 c
1.29/1.35 c original/binary fixed eliminated learned agility
1.29/1.35 c seconds variables equivalent conflicts height MB
1.29/1.35 c
1.29/1.35 c + 1.4 30200 506 0 0 22 13701 5421 41.8 6 4
1.49/1.51 c R 1.5 30200 506 0 0 22 16036 5426 39.4 6 4
1.49/1.59 c + 1.6 30200 506 0 0 22 17126 5963 38.2 6 4
1.89/1.93 c + 1.9 30200 506 0 0 22 21407 6559 37.8 7 5
2.09/2.12 c B 2.1 30200 506 0 0 22 24010 6564 36.6 6 5
2.29/2.36 c + 2.4 30200 506 0 0 22 26755 7214 37.5 7 5
2.79/2.85 c + 2.9 30200 506 0 0 22 33442 7935 37.2 7 5
3.20/3.27 c R 3.3 30200 506 0 0 22 38489 7948 36.4 8 6
3.49/3.59 c + 3.6 30200 506 0 0 22 41801 8728 35.5 7 6
4.49/4.56 c + 4.6 30200 506 0 0 22 52250 9600 36.1 6 6
5.39/5.50 c B 5.5 30200 506 0 0 22 64020 9612 36.6 7 6
5.59/5.67 c + 5.7 30200 506 0 0 22 65310 10560 36.4 7 6
5.69/5.77 c s 5.8 30201 506 0 0 22 66388 10559 36.2 5 4
7.19/7.29 c + 7.3 30204 506 0 0 22 81638 11616 34.5 6 6
7.39/7.46 c s 7.5 30204 506 0 0 22 83308 11625 34.2 7 5
7.99/8.07 c R 8.1 30204 506 0 0 22 89797 11623 35.1 7 6
9.59/9.60 c + 9.6 30204 506 0 0 22 102048 12777 34.0 6 8
11.58/11.68 c s 11.7 30205 506 0 0 22 117604 12781 36.3 6 6
12.79/12.84 c + 12.8 30205 506 0 0 22 127561 14054 36.7 6 7
16.39/16.40 c
16.39/16.40 c original/binary fixed eliminated learned agility
16.39/16.40 c seconds variables equivalent conflicts height MB
16.39/16.40 c
16.39/16.40 c + 16.4 30205 506 0 0 22 159450 15459 38.8 7 8
16.39/16.47 c B 16.5 30205 506 0 0 22 160062 14672 38.8 6 8
20.98/21.09 c + 21.1 30205 506 0 0 22 199312 17004 41.5 6 10
21.68/21.76 c R 21.8 30205 506 0 0 22 205225 17010 40.9 7 10
21.88/21.99 c s 22.0 30206 506 0 0 22 205225 17009 40.9 7 8
24.68/24.77 c s 24.8 30053 505 1 0 22 224693 16506 41.1 5 7
27.97/28.06 c + 28.1 30053 505 1 0 22 249141 18704 41.3 5 9
29.69/29.76 c s 29.8 30054 505 1 0 22 261686 18703 41.4 5 8
32.58/32.61 c s 32.6 30056 505 1 0 22 280490 18707 41.1 7 7
35.58/35.66 c s 35.7 30057 505 1 0 22 301815 18703 41.2 5 9
37.28/37.35 c + 37.3 30057 505 1 0 22 311427 20574 41.7 6 11
47.37/47.41 c s 47.4 30059 505 1 0 22 371544 20594 41.7 7 7
50.17/50.23 c B 50.2 30059 505 1 0 22 384131 20601 41.7 7 9
50.87/50.91 c + 50.9 30059 505 1 0 22 389280 22631 41.7 6 9
51.87/51.92 c s 51.9 30064 505 1 0 22 396396 22640 41.5 7 7
65.76/65.88 c + 65.9 30064 505 1 0 22 486602 24894 42.3 7 13
68.66/68.75 c s 68.7 30065 505 1 0 22 505387 24902 42.0 7 9
80.46/80.52 c s 80.5 30066 505 1 0 22 579829 24900 41.8 6 9
84.66/84.76 c s 84.7 30067 505 1 0 22 603499 24932 42.4 8 10
85.46/85.53 c
85.46/85.53 c original/binary fixed eliminated learned agility
85.46/85.53 c seconds variables equivalent conflicts height MB
85.46/85.53 c
85.46/85.53 c + 85.5 30067 505 1 0 22 608252 27383 42.5 8 11
97.05/97.12 c R 97.1 30067 505 1 0 22 672133 27391 42.9 6 15
97.35/97.47 c s 97.4 30068 505 1 0 22 672133 27390 42.9 6 10
102.35/102.41 c s 102.4 30069 505 1 0 22 698131 27400 42.2 6 15
108.75/108.90 c s 108.9 30070 505 1 0 22 723529 27403 41.8 6 15
114.95/115.05 c s 115.0 30075 505 1 0 22 748027 27399 42.0 6 10
117.25/117.31 c + 117.3 30075 505 1 0 22 760315 30121 42.2 7 12
136.14/136.30 c s 136.3 30076 505 1 0 22 856658 30122 42.5 5 10
141.04/141.17 c s 141.1 30079 505 1 0 22 884154 30128 42.8 6 11
143.14/143.24 c B 143.2 30079 505 1 0 22 896254 30173 42.9 7 12
145.53/145.68 c s 145.6 30080 505 1 0 22 910259 30127 43.0 5 10
152.43/152.59 c + 152.5 30080 505 1 0 22 950390 33133 43.1 7 14
157.63/157.72 c s 157.7 30087 505 1 0 22 965491 33144 43.3 7 12
170.63/170.78 c s 170.7 30089 505 1 0 22 1022887 33154 43.0 5 10
176.02/176.20 c s 176.1 30093 505 1 0 22 1052941 33142 42.8 7 10
188.52/188.62 c s 188.6 30094 505 1 0 22 1120647 33135 42.8 7 12
202.52/202.61 c + 202.5 30094 505 1 0 22 1187988 36446 42.3 7 19
209.72/209.85 c s 209.8 30095 505 1 0 22 1214891 36446 42.1 8 14
218.21/218.39 c R 218.3 30095 505 1 0 22 1236387 36458 42.0 6 18
227.41/227.54 c
227.41/227.54 c original/binary fixed eliminated learned agility
227.41/227.54 c seconds variables equivalent conflicts height MB
227.41/227.54 c
227.41/227.54 c s 227.5 30096 505 1 0 22 1272260 36449 41.6 8 19
237.61/237.77 c s 237.7 29932 504 2 0 22 1300904 36455 41.8 6 17
246.51/246.67 c s 246.6 29933 504 2 0 22 1329130 36521 41.9 6 14
254.70/254.80 c s 254.7 29935 504 2 0 22 1356640 36481 42.0 6 14
301.98/302.19 c + 302.1 29935 504 2 0 22 1484985 40090 45.3 6 25
310.28/310.47 c s 310.4 29939 504 2 0 22 1514659 40096 44.9 6 18
320.88/321.00 c s 320.9 29941 504 2 0 22 1542874 40177 45.1 4 15
330.98/331.14 c s 331.0 29961 504 2 0 22 1570030 40122 45.2 7 15
342.17/342.39 c s 342.3 29962 504 2 0 22 1601496 40093 45.5 5 16
353.17/353.31 c s 353.2 29982 504 2 0 22 1632275 40109 45.5 7 17
380.96/381.11 c s 381.0 29983 504 2 0 22 1703916 40089 46.4 7 17
392.15/392.36 c s 392.2 29861 503 3 0 22 1733752 38988 46.1 6 16
404.25/404.44 c s 404.3 29537 501 5 0 22 1762061 39568 46.3 6 18
419.54/419.71 c s 419.6 29538 501 5 0 22 1790634 40096 46.6 7 17
432.64/432.89 c s 432.7 29541 501 5 0 22 1820646 40128 46.9 5 17
451.63/451.88 c + 451.7 29541 501 5 0 22 1856230 44099 47.6 5 24
456.63/456.89 c s 456.7 29542 501 5 0 22 1862816 44098 47.7 6 19
546.40/546.62 c B 546.4 29542 501 5 0 22 2048488 44158 49.6 6 29
698.55/698.89 c s 698.6 29543 501 5 0 22 2305097 44118 50.9 6 15
702.45/702.75 c
702.45/702.75 c original/binary fixed eliminated learned agility
702.45/702.75 c seconds variables equivalent conflicts height MB
702.45/702.75 c
702.45/702.75 c + 702.5 29544 501 5 0 22 2320286 48508 50.9 5 18
707.75/708.03 c s 707.8 29544 501 5 0 22 2336962 48523 50.9 6 17
720.34/720.69 c s 720.4 29545 501 5 0 22 2375861 48528 50.7 7 17
757.33/757.63 c s 757.4 29546 501 5 0 22 2466008 48507 51.1 7 19
775.82/776.10 c s 775.8 29547 501 5 0 22 2509815 48509 51.5 6 21
791.12/791.42 c s 791.1 29548 501 5 0 22 2542320 48568 51.6 7 20
806.91/807.30 c s 807.0 29550 501 5 0 22 2574616 48512 51.7 6 20
822.60/822.90 c s 822.6 29559 501 5 0 22 2606828 48528 51.8 6 20
840.10/840.43 c s 840.1 29561 501 5 0 22 2638587 48577 51.9 5 19
891.48/891.86 c s 891.5 29562 501 5 0 22 2735097 48580 52.7 6 21
913.97/914.32 c s 914.0 29568 501 5 0 22 2786297 48521 52.8 8 19
925.07/925.46 c s 925.1 29572 501 5 0 22 2825044 48513 52.5 7 23
938.57/938.91 c s 938.6 29573 501 5 0 22 2860915 48529 52.2 6 25
955.96/956.32 c s 956.0 29434 500 6 0 22 2894316 48562 52.0 8 23
960.76/961.19 c + 960.9 29434 500 6 0 22 2900355 53358 52.1 7 28
979.95/980.35 c s 980.0 29435 500 6 0 22 2931391 53414 52.4 7 22
1000.24/1000.62 c s 1000.3 29436 500 6 0 22 2966202 53382 52.6 9 22
1008.64/1009.05 c 1 1008.7 29437 500 6 0 22 2987021 53368 52.5 7 25
1008.64/1009.05 c
1008.64/1009.05 s SATISFIABLE
1008.64/1009.05 v 1 -2 -3 -4 -5 -6 -7
1008.64/1009.05 v -8 -9 -10 -11 -12 -13 -14 -15
1008.64/1009.05 v -16 -17 -18 -19 -20 -21 -22 -23
1008.64/1009.05 v -24 -25 26 -27 -28 -29 -30 -31
1008.64/1009.05 v -32 -33 -34 -35 -36 -37 -38 -39
1008.64/1009.05 v -40 -41 -42 -43 -44 -45 -46 -47
1008.64/1009.05 v -48 -49 -50 51 -52 -53 -54 -55
1008.64/1009.05 v -56 -57 -58 -59 -60 -61 -62 -63
1008.64/1009.05 v -64 -65 -66 -67 -68 -69 -70 -71
1008.64/1009.05 v -72 -73 -74 -75 76 -77 -78 -79
1008.64/1009.05 v -80 -81 -82 -83 -84 -85 -86 -87
1008.64/1009.05 v -88 -89 -90 -91 -92 -93 -94 -95
1008.64/1009.05 v -96 -97 -98 -99 -100 -101 102 -103
1008.64/1009.05 v -104 -105 -106 -107 -108 -109 -110 -111
1008.64/1009.05 v -112 -113 -114 -115 -116 -117 -118 -119
1008.64/1009.05 v -120 -121 -122 -123 -124 -125 -126 127
1008.64/1009.05 v -128 -129 -130 -131 -132 -133 -134 -135
1008.64/1009.05 v -136 -137 -138 -139 -140 -141 -142 -143
1008.64/1009.05 v -144 -145 -146 -147 -148 -149 -150 -151
1008.64/1009.05 v 152 -153 -154 -155 -156 -157 -158 -159
1008.64/1009.05 v -160 -161 -162 -163 -164 -165 -166 -167
1008.64/1009.05 v -168 -169 -170 -171 -172 -173 -174 -175
1008.64/1009.05 v -176 177 -178 -179 -180 -181 -182 -183
1008.64/1009.05 v -184 -185 -186 -187 -188 -189 -190 -191
1008.64/1009.05 v -192 -193 -194 -195 -196 -197 -198 -199
1008.64/1009.05 v -200 -201 202 -203 -204 -205 -206 -207
1008.64/1009.05 v -208 -209 -210 -211 -212 -213 -214 -215
1008.64/1009.05 v -216 -217 -218 -219 -220 -221 -222 -223
1008.64/1009.05 v -224 -225 -226 227 -228 -229 -230 -231
1008.64/1009.05 v -232 -233 -234 -235 -236 -237 -238 -239
1008.64/1009.05 v -240 -241 -242 -243 -244 -245 -246 -247
1008.64/1009.05 v -248 -249 -250 -251 252 -253 -254 -255
1008.64/1009.05 v -256 -257 -258 -259 -260 -261 -262 -263
1008.64/1009.05 v -264 -265 -266 -267 -268 -269 -270 -271
1008.64/1009.05 v -272 -273 -274 -275 -276 277 -278 -279
1008.64/1009.05 v -280 -281 -282 -283 -284 -285 -286 -287
1008.64/1009.05 v -288 -289 -290 -291 -292 -293 -294 -295
1008.64/1009.05 v -296 -297 -298 -299 -300 -301 302 -303
1008.64/1009.05 v -304 -305 -306 -307 -308 -309 -310 -311
1008.64/1009.05 v -312 -313 -314 -315 -316 -317 -318 -319
1008.64/1009.05 v -320 -321 -322 -323 -324 -325 -326 327
1008.64/1009.05 v -328 -329 -330 -331 -332 -333 -334 -335
1008.64/1009.05 v -336 -337 -338 -339 -340 -341 -342 -343
1008.64/1009.05 v -344 -345 -346 -347 -348 -349 -350 -351
1008.64/1009.05 v 352 -353 -354 -355 -356 -357 -358 -359
1008.64/1009.05 v -360 -361 -362 -363 -364 -365 -366 -367
1008.64/1009.05 v -368 -369 -370 -371 -372 -373 -374 -375
1008.64/1009.05 v -376 377 -378 -379 -380 -381 -382 -383
1008.64/1009.05 v -384 -385 -386 -387 -388 -389 -390 -391
1008.64/1009.05 v -392 -393 -394 -395 -396 -397 -398 -399
1008.64/1009.05 v -400 -401 402 -403 -404 -405 -406 -407
1008.64/1009.05 v -408 -409 -410 -411 -412 -413 -414 -415
1008.64/1009.05 v -416 -417 -418 -419 -420 -421 -422 -423
1008.64/1009.05 v -424 -425 -426 427 -428 -429 -430 -431
1008.64/1009.05 v -432 -433 -434 -435 -436 -437 -438 -439
1008.64/1009.05 v -440 -441 -442 -443 -444 -445 -446 -447
1008.64/1009.05 v -448 -449 -450 -451 452 -453 -454 -455
1008.64/1009.05 v -456 -457 -458 -459 -460 -461 -462 -463
1008.64/1009.05 v -464 -465 -466 -467 -468 -469 -470 -471
1008.64/1009.05 v -472 -473 -474 -475 -476 477 -478 -479
1008.64/1009.05 v -480 -481 -482 -483 -484 -485 -486 -487
1008.64/1009.05 v -488 -489 -490 -491 -492 -493 -494 -495
1008.64/1009.05 v -496 -497 -498 -499 -500 -501 502 -503
1008.64/1009.05 v -504 -505 -506 -507 -508 -509 -510 -511
1008.64/1009.05 v -512 -513 -514 -515 -516 -517 -518 -519
1008.64/1009.05 v -520 -521 -522 -523 -524 -525 -526 527
1008.64/1009.05 v -528
1008.64/1009.05 v 0
1008.64/1009.05 c
1008.64/1009.05 c 2987021 conflicts, 4559232 decisions, 2290 random
1008.64/1009.05 c 4 iterations, 5878 restarts, 0 skipped
1008.64/1009.05 c 33 enlarged, 60 shrunken, 29196 rescored, 722 rebiased
1008.64/1009.05 c 57 simplifications, 3 reductions
1008.64/1009.05 c
1008.64/1009.05 c vars: 6 fixed, 0 equiv, 22 elim, 0 merged
1008.64/1009.05 c elim: 864714 resolutions, 6 phases, 6 rounds
1008.64/1009.05 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
1008.64/1009.05 c arty: 23.00 and 0.00 xor average arity
1008.64/1009.05 c prbe: 215436 probed, 214 phases, 214 rounds
1008.64/1009.05 c prbe: 2 failed, 0 lifted, 0 merged
1008.64/1009.05 c sccs: 0 non trivial, 0 fixed, 0 merged
1008.64/1009.05 c hash: 0 units, 0 merged
1008.64/1009.05 c mins: 245246728 learned, 28% deleted, 0 strong, 12 depth
1008.64/1009.05 c subs: 0 forward, 0 backward, 53 doms
1008.64/1009.05 c strs: 2859 forward, 6 backward
1008.64/1009.05 c doms: 53 dominators, 22 high, 3 low
1008.64/1009.05 c prps: 280000986 propagations, 0.28 megaprops
1008.64/1009.05 c
1008.64/1009.05 c 1008.7 seconds, 40 MB max, 987 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784618-1241956454/watcher-1784618-1241956454 -o /tmp/evaluation-result-1784618-1241956454/solver-1784618-1241956454 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784618-1241956454.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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 1.00 3/65 16153
/proc/meminfo: memFree=1796520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=1192 CPUtime=0
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 188 0 0 0 0 0 0 0 20 0 1 0 223674742 1220608 173 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 298 173 63 155 0 141 0
[startup+0.0811161 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16153
/proc/meminfo: memFree=1796520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=3608 CPUtime=0.07
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1007 0 0 0 7 0 0 0 20 0 1 0 223674742 3694592 805 1992294400 134512640 135151029 4294956240 18446744073709551615 134545784 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 902 805 79 155 0 745 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3608
[startup+0.101118 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16153
/proc/meminfo: memFree=1796520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=3608 CPUtime=0.09
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1020 0 0 0 9 0 0 0 20 0 1 0 223674742 3694592 818 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 902 818 79 155 0 745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3608
[startup+0.301156 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16153
/proc/meminfo: memFree=1796520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=4004 CPUtime=0.29
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1122 0 0 0 29 0 0 0 22 0 1 0 223674742 4100096 920 1992294400 134512640 135151029 4294956240 18446744073709551615 134547929 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 1001 920 79 155 0 844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4004
[startup+0.70123 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16153
/proc/meminfo: memFree=1796520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=4532 CPUtime=0.69
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1243 0 0 0 69 0 0 0 25 0 1 0 223674742 4640768 1041 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 1133 1041 79 155 0 976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4532
[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1792032/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=5324 CPUtime=1.49
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1435 0 0 0 149 0 0 0 25 0 1 0 223674742 5451776 1233 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 1331 1233 79 155 0 1174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5324
[startup+3.10268 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1790752/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=6780 CPUtime=3.09
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 1789 0 0 0 309 0 0 0 25 0 1 0 223674742 6942720 1587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 1695 1587 79 155 0 1538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6780
[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1789472/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=7736 CPUtime=6.29
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 2024 0 0 0 629 0 0 0 25 0 1 0 223674742 7921664 1822 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 1934 1822 79 155 0 1777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7736
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1786400/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=10452 CPUtime=12.68
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 2720 0 0 0 1268 0 0 0 25 0 1 0 223674742 10702848 2518 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 2613 2518 79 155 0 2456 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10452
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1784864/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=11956 CPUtime=25.48
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 3098 0 0 0 2548 0 0 0 25 0 1 0 223674742 12242944 2896 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 2989 2896 79 155 0 2832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11956
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1783520/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=13084 CPUtime=51.07
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 3665 0 0 0 5106 1 0 0 25 0 1 0 223674742 13398016 3191 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 3271 3191 79 155 0 3114 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13084
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1777696/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=19336 CPUtime=102.25
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 5397 0 0 0 10223 2 0 0 25 0 1 0 223674742 19800064 4685 1992294400 134512640 135151029 4294956240 18446744073709551615 134521893 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 4834 4685 79 155 0 4677 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 19336
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1775840/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=20784 CPUtime=162.23
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 5933 0 0 0 16221 2 0 0 25 0 1 0 223674742 21282816 5102 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 5196 5102 79 155 0 5039 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 20784
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1772832/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=23964 CPUtime=222.21
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 7046 0 0 0 22218 3 0 0 25 0 1 0 223674742 24539136 5887 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 5991 5887 79 155 0 5834 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 23964
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1767840/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=28960 CPUtime=282.19
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 8319 0 0 0 28215 4 0 0 25 0 1 0 223674742 29655040 7102 1992294400 134512640 135151029 4294956240 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 7240 7102 79 155 0 7083 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 28960
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1767776/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=28576 CPUtime=342.17
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 8614 0 0 0 34213 4 0 0 25 0 1 0 223674742 29261824 7059 1992294400 134512640 135151029 4294956240 18446744073709551615 134521838 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 7144 7059 79 155 0 6987 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 28576
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16154
/proc/meminfo: memFree=1767776/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=28576 CPUtime=402.15
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 8618 0 0 0 40211 4 0 0 25 0 1 0 223674742 29261824 7063 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 7144 7063 79 155 0 6987 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 28576
[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 16160
/proc/meminfo: memFree=1767648/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=29024 CPUtime=462.13
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 8676 0 0 0 46209 4 0 0 25 0 1 0 223674742 29720576 7121 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 7256 7121 79 155 0 7099 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 29024
[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 16160
/proc/meminfo: memFree=1764768/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=32824 CPUtime=522.1
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 9401 0 0 0 52206 4 0 0 25 0 1 0 223674742 33611776 7846 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 8206 7846 79 155 0 8049 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 32824
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1760928/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=37592 CPUtime=582.08
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 10405 0 0 0 58203 5 0 0 25 0 1 0 223674742 38494208 8850 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 9398 8850 79 155 0 9241 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 37592
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755360/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=642.07
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11741 0 0 0 64200 7 0 0 25 0 1 0 223674742 43646976 10186 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10186 79 155 0 10499 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 42624
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755232/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=702.05
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11768 0 0 0 70198 7 0 0 25 0 1 0 223674742 43646976 10213 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10213 79 155 0 10499 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 42624
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755168/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=762.03
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11768 0 0 0 76196 7 0 0 25 0 1 0 223674742 43646976 10213 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10213 79 155 0 10499 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 42624
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755168/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=822.01
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11769 0 0 0 82194 7 0 0 25 0 1 0 223674742 43646976 10214 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10214 79 155 0 10499 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 42624
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755104/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=881.98
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11774 0 0 0 88191 7 0 0 25 0 1 0 223674742 43646976 10219 1992294400 134512640 135151029 4294956240 18446744073709551615 134551368 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10219 79 155 0 10499 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 42624
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1755040/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=941.96
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11783 0 0 0 94189 7 0 0 25 0 1 0 223674742 43646976 10228 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10228 79 155 0 10499 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 42624
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1001.94
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100187 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 42624
Solver just ended. Dumping a history of the last processes samples
[startup+1004.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1004.34
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100427 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134574212 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1004.34
Current children cumulated vsize (KiB) 42624
[startup+1006.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1005.94
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100587 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134542647 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1005.94
Current children cumulated vsize (KiB) 42624
[startup+1007.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1007.54
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100747 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134576059 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1007.54
Current children cumulated vsize (KiB) 42624
[startup+1008.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1008.35
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100828 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1008.35
Current children cumulated vsize (KiB) 42624
[startup+1008.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1008.54
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100847 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1008.54
Current children cumulated vsize (KiB) 42624
[startup+1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16160
/proc/meminfo: memFree=1754848/2055920 swapFree=4180284/4192956
[pid=16153] ppid=16151 vsize=42624 CPUtime=1008.64
/proc/16153/stat : 16153 (precosat) R 16151 16153 16042 0 -1 4194304 11836 0 0 0 100857 7 0 0 25 0 1 0 223674742 43646976 10281 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16153/statm: 10656 10281 79 155 0 10499 0
Current children cumulated CPU time (s) 1008.64
Current children cumulated vsize (KiB) 42624
Child status: 10
Real time (s): 1009.06
CPU time (s): 1008.71
CPU user time (s): 1008.63
CPU system time (s): 0.076988
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 42624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1008.63
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11837
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= 1622
runsolver used 1.19182 second user time and 2.44263 second system time
The end
Begin job on node82 at 2009-05-10 13:54:14
IDJOB=1784618
IDBENCH=71800
IDSOLVER=607
FILE ID=node82/1784618-1241956454
PBS_JOBID= 9265063
Free space on /tmp= 66204 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-24-193-22-70.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784618-1241956454/watcher-1784618-1241956454 -o /tmp/evaluation-result-1784618-1241956454/solver-1784618-1241956454 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784618-1241956454.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a7df8011edd7a5f3da371261f9b3f8b
RANDOM SEED=1407350646
node82.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.259
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.259
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1796936 kB
Buffers: 52400 kB
Cached: 153544 kB
SwapCached: 6760 kB
Active: 88532 kB
Inactive: 126304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1796936 kB
SwapTotal: 4192956 kB
SwapFree: 4180284 kB
Dirty: 1056 kB
Writeback: 0 kB
Mapped: 13868 kB
Slab: 30096 kB
Committed_AS: 607400 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66204 MiB
End job on node82 at 2009-05-10 14:11:03