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-1784406-1241938150.cnf
0.00/0.00 c found header 'p cnf 760 43649'
0.00/0.05 c finished parsing
0.00/0.05 c
0.00/0.05 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.05 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.05 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.05 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.05 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.05 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.05 c
0.00/0.05 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.05 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.05 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.05 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.05 c
0.00/0.05 c starting search after 0.1 seconds
0.00/0.05 c no decision limit
0.00/0.05 c
0.00/0.05 c original/binary fixed eliminated learned agility
0.00/0.05 c seconds variables equivalent conflicts height MB
0.00/0.05 c
0.00/0.05 c * 0.1 43649 760 0 0 0 0 0 0.0 0 3
0.09/0.13 c - 0.1 43553 758 0 0 2 0 1000 0.0 0 4
0.09/0.16 c - 0.2 43347 750 0 0 10 0 1000 0.0 0 4
0.09/0.17 c - 0.2 43223 745 0 0 15 0 1000 0.0 0 4
0.09/0.19 c - 0.2 42791 729 0 0 31 0 1000 0.0 0 4
0.49/0.55 c s 0.6 42480 720 0 0 40 0 0 0.0 0 3
0.49/0.55 c l 0.6 42480 720 0 0 40 0 3463 0.0 0 3
0.49/0.56 c R 0.6 42480 720 0 0 40 104 104 58.4 4 3
0.49/0.57 c R 0.6 42480 720 0 0 40 204 204 42.5 6 3
0.60/0.61 c R 0.6 42481 720 0 0 40 805 805 32.2 8 3
0.60/0.63 c B 0.6 42481 720 0 0 40 1000 1000 33.0 6 4
0.70/0.70 c B 0.7 42482 720 0 0 40 2003 2002 35.8 6 4
0.70/0.73 c R 0.7 42482 720 0 0 40 2409 2408 35.9 6 4
0.80/0.81 c + 0.8 42482 720 0 0 40 3463 3809 31.3 7 4
0.80/0.88 c + 0.9 42482 720 0 0 40 4326 4189 34.0 5 4
0.90/0.97 c + 1.0 42482 720 0 0 40 5408 4607 33.1 7 4
1.00/1.05 c R 1.1 42482 720 0 0 40 6427 4623 31.8 7 4
1.00/1.08 c + 1.1 42482 720 0 0 40 6763 5067 31.0 7 4
1.10/1.17 c B 1.2 42482 720 0 0 40 8008 5072 29.9 7 5
1.20/1.21 c
1.20/1.21 c original/binary fixed eliminated learned agility
1.20/1.21 c seconds variables equivalent conflicts height MB
1.20/1.21 c
1.20/1.21 c + 1.2 42483 720 0 0 40 8450 5573 30.1 5 5
1.40/1.44 c + 1.4 42492 720 0 0 40 10560 6130 31.7 6 5
1.60/1.68 c + 1.7 42493 720 0 0 40 13200 6743 31.3 5 5
1.80/1.85 c s 1.9 42493 720 0 0 40 14735 6748 32.1 6 4
1.89/1.97 c R 2.0 42510 720 0 0 40 16057 6761 31.3 6 5
1.99/2.01 c + 2.0 42510 720 0 0 40 16502 7417 31.0 7 5
2.39/2.43 c + 2.4 42522 720 0 0 40 20626 8158 29.3 6 5
2.69/2.72 c B 2.7 42523 720 0 0 40 24020 8168 28.6 6 5
2.79/2.87 c + 2.9 42523 720 0 0 40 25780 8973 29.1 7 5
3.39/3.49 c s 3.5 42535 720 0 0 40 31254 8980 28.2 6 5
3.59/3.60 c + 3.6 42535 720 0 0 40 32225 9870 27.9 6 5
4.19/4.20 c R 4.2 42536 720 0 0 40 38500 9887 28.9 7 6
4.40/4.44 c + 4.4 42537 720 0 0 40 40280 10857 28.5 7 6
5.29/5.36 c s 5.4 42549 720 0 0 40 48478 10891 27.9 6 5
5.49/5.56 c + 5.6 42549 720 0 0 40 50352 11942 28.4 6 6
6.79/6.86 c + 6.9 42552 720 0 0 40 62942 13136 28.2 5 6
6.89/6.98 c B 7.0 42552 720 0 0 40 64035 13049 28.1 6 6
7.29/7.37 c s 7.4 42553 720 0 0 40 66184 13141 28.3 5 5
8.79/8.86 c + 8.9 42556 720 0 0 40 78675 14449 28.8 7 7
9.58/9.63 c
9.58/9.63 c original/binary fixed eliminated learned agility
9.58/9.63 c seconds variables equivalent conflicts height MB
9.58/9.63 c
9.58/9.63 c s 9.6 42560 720 0 0 40 84747 14467 28.6 7 6
10.28/10.30 c R 10.3 42566 720 0 0 40 89805 14477 28.1 7 6
11.19/11.25 c + 11.2 42566 720 0 0 40 98340 15893 27.3 7 7
12.10/12.11 c s 12.1 42569 720 0 0 40 103805 15918 27.0 6 6
14.39/14.45 c + 14.4 42579 720 0 0 40 122927 17482 27.7 7 7
14.59/14.60 c s 14.6 42579 720 0 0 40 123588 16561 27.7 6 6
17.19/17.25 c s 17.2 42587 720 0 0 40 142692 17505 28.5 7 7
18.69/18.78 c + 18.8 42592 720 0 0 40 153655 19230 28.8 6 8
19.69/19.70 c B 19.7 42593 720 0 0 40 160068 19234 28.9 6 8
19.99/20.02 c s 20.0 42593 720 0 0 40 162119 19258 29.0 8 7
22.78/22.84 c s 22.8 42604 720 0 0 40 182229 19238 29.5 5 7
24.19/24.27 c + 24.3 42606 720 0 0 40 192068 21153 29.3 6 8
25.78/25.87 c s 25.9 42606 720 0 0 40 202390 21165 28.9 7 7
26.38/26.43 c R 26.4 42607 720 0 0 40 205233 21172 28.9 7 8
28.99/29.07 c s 29.1 42613 720 0 0 40 223034 21185 28.5 6 8
31.69/31.77 c + 31.8 42619 720 0 0 40 240085 23268 28.5 6 9
32.39/32.43 c s 32.4 42619 720 0 0 40 243430 23278 28.6 7 8
35.68/35.73 c s 35.7 42620 720 0 0 40 265039 23283 28.6 6 8
39.28/39.30 c s 39.3 42623 720 0 0 40 286017 23278 28.1 6 8
41.69/41.70 c
41.69/41.70 c original/binary fixed eliminated learned agility
41.69/41.70 c seconds variables equivalent conflicts height MB
41.69/41.70 c
41.69/41.70 c + 41.7 42628 720 0 0 40 300106 25594 28.1 7 9
42.88/42.94 c s 42.9 42629 720 0 0 40 306511 25614 28.0 7 8
46.88/46.91 c s 46.9 42630 720 0 0 40 328566 25632 27.9 7 8
50.77/50.80 c s 50.8 42633 720 0 0 40 349283 25682 28.5 6 9
54.67/54.79 c s 54.8 42635 720 0 0 40 371402 25645 28.7 6 8
55.47/55.56 c + 55.5 42635 720 0 0 40 375133 28153 28.7 7 9
57.27/57.31 c B 57.3 42637 720 0 0 40 384116 28252 28.8 7 11
58.87/58.98 c s 59.0 42638 720 0 0 40 392625 28179 28.9 8 9
63.98/64.04 c s 64.0 42641 720 0 0 40 414647 28187 28.7 7 8
68.18/68.23 c s 68.2 42643 720 0 0 40 435674 28171 28.7 7 8
73.17/73.28 c R 73.3 42643 720 0 0 40 461673 28189 28.4 6 11
73.57/73.61 c s 73.6 42644 720 0 0 40 461673 28189 28.4 6 9
74.67/74.72 c + 74.7 42644 720 0 0 40 468916 30968 28.4 5 10
83.97/84.09 c s 84.1 42645 720 0 0 40 512602 23284 28.7 7 9
87.97/88.01 c s 88.0 42647 720 0 0 40 534144 30973 28.8 6 9
92.36/92.48 c s 92.5 42649 720 0 0 40 558380 30997 28.8 6 10
97.16/97.22 c s 97.2 42650 720 0 0 40 582122 30997 28.6 7 9
97.86/97.99 c + 98.0 42650 720 0 0 40 586146 34064 28.8 6 11
104.17/104.27 c s 104.2 42651 720 0 0 40 615489 34078 28.9 8 11
118.36/118.43 c
118.36/118.43 c original/binary fixed eliminated learned agility
118.36/118.43 c seconds variables equivalent conflicts height MB
118.36/118.43 c
118.36/118.43 c s 118.4 42652 720 0 0 40 679840 34089 29.2 6 10
130.16/130.23 c + 130.2 42652 720 0 0 40 732680 37470 29.1 7 13
142.45/142.59 c s 142.6 42653 720 0 0 40 783678 37482 29.3 6 11
148.65/148.70 c s 148.7 42656 720 0 0 40 807923 37489 29.7 7 11
156.55/156.65 c s 156.6 42657 720 0 0 40 842292 37504 29.7 6 11
170.54/170.63 c B 170.6 42657 720 0 0 40 896232 37505 30.3 6 16
174.44/174.53 c s 174.5 42658 720 0 0 40 910555 37532 30.4 6 12
175.74/175.85 c + 175.8 42660 720 0 0 40 915852 41217 30.5 7 14
181.04/181.15 c s 181.1 42662 720 0 0 40 935355 41240 30.6 6 13
211.73/211.88 c R 211.8 42662 720 0 0 40 1025824 42384 31.4 7 19
212.43/212.59 c s 212.5 42663 720 0 0 40 1025824 42384 31.4 7 13
218.92/219.03 c s 219.0 42664 720 0 0 40 1054635 41241 31.1 7 12
225.23/225.37 c s 225.3 42665 720 0 0 40 1081500 41247 31.0 6 12
231.13/231.25 c s 231.2 42666 720 0 0 40 1108321 41274 30.9 7 12
239.93/240.04 c + 240.0 42666 720 0 0 40 1144815 45338 30.9 6 15
240.83/241.00 c s 240.9 42668 720 0 0 40 1147485 43914 30.9 6 13
263.52/263.62 c s 263.5 42669 720 0 0 40 1236112 45350 31.1 6 13
282.71/282.87 c s 282.8 42670 720 0 0 40 1303481 45397 31.2 8 13
290.11/290.28 c s 290.2 42672 720 0 0 40 1332313 45351 31.1 8 13
298.31/298.40 c
298.31/298.40 c original/binary fixed eliminated learned agility
298.31/298.40 c seconds variables equivalent conflicts height MB
298.31/298.40 c
298.31/298.40 c s 298.3 42673 720 0 0 40 1359719 45373 30.9 5 12
319.30/319.40 c + 319.3 42673 720 0 0 40 1431016 49871 31.4 8 18
324.80/324.91 c s 324.8 42675 720 0 0 40 1449006 49895 31.4 6 15
336.09/336.27 c s 336.2 42677 720 0 0 40 1485687 49898 31.5 6 15
355.29/355.49 c s 355.4 42678 720 0 0 40 1542087 49901 31.7 6 15
371.08/371.22 c s 371.1 42679 720 0 0 40 1590089 49905 31.7 7 14
381.98/382.17 c s 382.1 42680 720 0 0 40 1630391 49918 31.5 6 14
413.67/413.82 c s 413.7 42681 720 0 0 40 1731131 49884 31.5 9 14
431.57/431.73 c + 431.6 42681 720 0 0 40 1788772 54858 31.5 6 18
432.17/432.34 c s 432.2 42682 720 0 0 40 1788856 49975 31.5 6 14
448.96/449.16 c s 449.0 42683 720 0 0 40 1836061 54898 31.6 9 15
528.04/528.20 c B 528.1 42683 720 0 0 40 2048528 54886 32.2 6 23
533.94/534.19 c s 534.0 42684 720 0 0 40 2064657 54874 32.3 6 16
603.62/603.81 c + 603.6 42684 720 0 0 40 2235965 60343 33.0 7 26
611.32/611.53 c R 611.4 42684 720 0 0 40 2256660 60385 33.0 7 27
612.21/612.48 c s 612.3 42685 720 0 0 40 2256660 60385 33.0 7 18
655.80/656.09 c s 655.9 42686 720 0 0 40 2347514 60376 32.7 7 16
697.29/697.59 c s 697.4 42711 720 0 0 40 2461461 60356 32.4 6 17
708.38/708.69 c s 708.5 42714 720 0 0 40 2493319 60362 32.5 6 17
720.07/720.32 c
720.07/720.32 c original/binary fixed eliminated learned agility
720.07/720.32 c seconds variables equivalent conflicts height MB
720.07/720.32 c
720.07/720.32 c s 720.1 42715 720 0 0 40 2524734 60382 32.5 6 17
731.38/731.65 c s 731.4 42716 720 0 0 40 2555562 60362 32.4 7 16
805.76/806.02 c s 805.8 42717 720 0 0 40 2754666 60358 32.7 6 17
816.85/817.13 c s 816.9 42718 720 0 0 40 2786091 60363 32.7 6 16
817.15/817.49 c 1 817.3 42718 720 0 0 40 2787302 60379 32.7 8 17
817.15/817.49 c
817.15/817.49 s SATISFIABLE
817.15/817.49 v -1 -2 -3 -4 -5 -6 -7
817.15/817.49 v -8 -9 10 -11 -12 -13 -14 -15
817.15/817.49 v -16 -17 -18 -19 -20 -21 -22 -23
817.15/817.49 v -24 -25 -26 -27 -28 -29 -30 -31
817.15/817.49 v -32 -33 -34 35 -36 -37 -38 -39
817.15/817.49 v -40 -41 -42 -43 -44 -45 -46 -47
817.15/817.49 v -48 49 -50 -51 -52 -53 -54 -55
817.15/817.49 v -56 -57 -58 -59 -60 -61 -62 -63
817.15/817.49 v -64 -65 66 -67 -68 -69 -70 -71
817.15/817.49 v -72 -73 -74 -75 -76 -77 -78 -79
817.15/817.49 v -80 -81 -82 -83 -84 -85 -86 -87
817.15/817.49 v -88 -89 -90 91 -92 -93 -94 -95
817.15/817.49 v -96 -97 98 -99 -100 -101 -102 -103
817.15/817.49 v -104 -105 -106 -107 -108 -109 -110 -111
817.15/817.49 v -112 -113 -114 -115 -116 -117 -118 -119
817.15/817.49 v -120 -121 -122 -123 -124 -125 -126 -127
817.15/817.49 v -128 -129 130 -131 -132 -133 -134 -135
817.15/817.49 v -136 -137 -138 -139 -140 -141 142 -143
817.15/817.49 v -144 -145 -146 -147 -148 -149 -150 -151
817.15/817.49 v -152 -153 154 -155 -156 -157 -158 -159
817.15/817.49 v -160 -161 -162 -163 -164 -165 -166 -167
817.15/817.49 v -168 -169 -170 -171 -172 -173 174 -175
817.15/817.49 v -176 -177 -178 -179 -180 -181 -182 -183
817.15/817.49 v -184 -185 -186 -187 -188 -189 -190 -191
817.15/817.49 v -192 -193 -194 -195 -196 -197 -198 -199
817.15/817.49 v -200 -201 -202 -203 -204 -205 -206 -207
817.15/817.49 v -208 209 -210 -211 -212 -213 -214 -215
817.15/817.49 v -216 -217 -218 219 -220 -221 -222 -223
817.15/817.49 v -224 -225 -226 -227 -228 -229 -230 231
817.15/817.49 v -232 -233 -234 -235 -236 -237 -238 -239
817.15/817.49 v -240 -241 -242 -243 -244 -245 -246 -247
817.15/817.49 v -248 -249 -250 251 -252 -253 -254 -255
817.15/817.49 v -256 -257 -258 -259 -260 -261 -262 -263
817.15/817.49 v -264 -265 -266 -267 268 -269 -270 -271
817.15/817.49 v -272 -273 -274 -275 -276 -277 -278 -279
817.15/817.49 v -280 -281 -282 -283 -284 -285 -286 -287
817.15/817.49 v -288 -289 -290 -291 -292 -293 -294 -295
817.15/817.49 v 296 -297 -298 -299 -300 -301 -302 -303
817.15/817.49 v -304 -305 -306 -307 -308 -309 -310 -311
817.15/817.49 v -312 -313 -314 -315 316 -317 -318 -319
817.15/817.49 v -320 -321 -322 -323 -324 -325 -326 -327
817.15/817.49 v -328 -329 -330 -331 -332 -333 -334 -335
817.15/817.49 v -336 -337 -338 -339 -340 341 -342 -343
817.15/817.49 v -344 -345 -346 -347 -348 -349 -350 -351
817.15/817.49 v -352 -353 -354 -355 -356 -357 -358 359
817.15/817.49 v -360 -361 -362 -363 -364 365 -366 -367
817.15/817.49 v -368 -369 -370 -371 -372 -373 -374 -375
817.15/817.49 v -376 -377 -378 -379 -380 -381 -382 -383
817.15/817.49 v -384 -385 -386 -387 -388 -389 -390 -391
817.15/817.49 v -392 -393 -394 -395 -396 397 -398 -399
817.15/817.49 v -400 -401 -402 -403 -404 -405 -406 -407
817.15/817.49 v -408 -409 -410 -411 -412 413 -414 -415
817.15/817.49 v -416 -417 -418 -419 -420 -421 -422 -423
817.15/817.49 v -424 -425 -426 -427 -428 -429 -430 -431
817.15/817.49 v -432 -433 434 -435 -436 -437 -438 -439
817.15/817.49 v 440 -441 -442 -443 -444 -445 -446 -447
817.15/817.49 v -448 -449 -450 -451 -452 -453 -454 -455
817.15/817.49 v -456 -457 -458 -459 -460 -461 -462 -463
817.15/817.49 v 464 -465 -466 -467 -468 -469 -470 -471
817.15/817.49 v -472 -473 -474 -475 -476 -477 -478 -479
817.15/817.49 v -480 -481 -482 -483 -484 485 -486 -487
817.15/817.49 v -488 -489 -490 -491 -492 -493 -494 -495
817.15/817.49 v -496 -497 -498 -499 -500 -501 -502 -503
817.15/817.49 v -504 -505 -506 -507 -508 -509 -510 511
817.15/817.49 v -512 -513 -514 -515 -516 -517 -518 -519
817.15/817.49 v -520 -521 -522 -523 -524 -525 -526 -527
817.15/817.49 v -528 -529 530 -531 -532 -533 -534 -535
817.15/817.49 v -536 -537 -538 -539 540 -541 -542 -543
817.15/817.49 v -544 -545 -546 -547 -548 -549 -550 -551
817.15/817.49 v -552 -553 -554 -555 -556 -557 -558 -559
817.15/817.49 v 560 -561 -562 -563 -564 -565 -566 -567
817.15/817.49 v -568 -569 -570 -571 -572 -573 -574 -575
817.15/817.49 v -576 -577 -578 -579 -580 -581 -582 -583
817.15/817.49 v -584 585 -586 -587 -588 -589 -590 -591
817.15/817.49 v -592 -593 -594 -595 -596 -597 -598 -599
817.15/817.49 v -600 -601 -602 603 -604 -605 -606 -607
817.15/817.49 v -608 -609 -610 -611 -612 613 -614 -615
817.15/817.49 v -616 -617 -618 -619 -620 -621 -622 -623
817.15/817.49 v -624 -625 -626 -627 -628 -629 630 -631
817.15/817.49 v -632 -633 -634 -635 -636 -637 -638 -639
817.15/817.49 v -640 -641 -642 -643 -644 -645 -646 -647
817.15/817.49 v -648 -649 -650 -651 -652 -653 -654 -655
817.15/817.49 v -656 -657 -658 -659 -660 -661 -662 -663
817.15/817.49 v -664 665 666 -667 -668 -669 -670 -671
817.15/817.49 v -672 -673 -674 -675 -676 -677 -678 -679
817.15/817.49 v -680 -681 -682 -683 -684 -685 686 -687
817.15/817.49 v -688 -689 -690 -691 -692 -693 -694 -695
817.15/817.49 v -696 -697 -698 -699 -700 -701 -702 -703
817.15/817.49 v -704 -705 -706 -707 -708 -709 -710 -711
817.15/817.49 v -712 -713 -714 715 -716 -717 -718 -719
817.15/817.49 v -720 -721 -722 -723 -724 -725 -726 -727
817.15/817.49 v 728 -729 -730 -731 -732 -733 -734 -735
817.15/817.49 v -736 -737 -738 -739 -740 -741 -742 -743
817.15/817.49 v -744 -745 -746 -747 -748 -749 -750 -751
817.15/817.49 v -752 -753 -754 -755 -756 -757 -758 -759
817.15/817.49 v 760
817.15/817.49 v 0
817.15/817.49 c
817.15/817.49 c 2787302 conflicts, 4316989 decisions, 2170 random
817.15/817.49 c 0 iterations, 4860 restarts, 0 skipped
817.15/817.49 c 30 enlarged, 265 shrunken, 27269 rescored, 655 rebiased
817.15/817.49 c 61 simplifications, 1 reductions
817.15/817.49 c
817.15/817.49 c vars: 0 fixed, 0 equiv, 40 elim, 0 merged
817.15/817.49 c elim: 184818 resolutions, 1 phases, 1 rounds
817.15/817.49 c sbst: 100% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
817.15/817.49 c arty: 18.00 and 0.00 xor average arity
817.15/817.49 c prbe: 324080 probed, 225 phases, 225 rounds
817.15/817.49 c prbe: 0 failed, 0 lifted, 0 merged
817.15/817.49 c sccs: 0 non trivial, 0 fixed, 0 merged
817.15/817.49 c hash: 0 units, 0 merged
817.15/817.49 c mins: 146201736 learned, 48% deleted, 1 strong, 15 depth
817.15/817.49 c subs: 186 forward, 392 backward, 53 doms
817.15/817.49 c strs: 2159 forward, 0 backward
817.15/817.49 c doms: 53 dominators, 29 high, 1 low
817.15/817.49 c prps: 363197129 propagations, 0.44 megaprops
817.15/817.49 c
817.15/817.49 c 817.3 seconds, 27 MB max, 610 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784406-1241938150/watcher-1784406-1241938150 -o /tmp/evaluation-result-1784406-1241938150/solver-1784406-1241938150 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784406-1241938150.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/64 1069
/proc/meminfo: memFree=1757864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=1052 CPUtime=0
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 221842220 1077248 161 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 263 162 63 155 0 106 0
[startup+0.0961879 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1069
/proc/meminfo: memFree=1757864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=3652 CPUtime=0.08
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 1280 0 0 0 8 0 0 0 18 0 1 0 221842220 3739648 820 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 913 827 79 155 0 756 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3652
[startup+0.101187 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1069
/proc/meminfo: memFree=1757864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=4000 CPUtime=0.09
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 1351 0 0 0 9 0 0 0 18 0 1 0 221842220 4096000 891 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1000 891 79 155 0 843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4000
[startup+0.301209 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1069
/proc/meminfo: memFree=1757864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=5572 CPUtime=0.29
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 1746 0 0 0 29 0 0 0 19 0 1 0 221842220 5705728 1286 1992294400 134512640 135151029 4294956240 18446744073709551615 134548078 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1393 1286 79 155 0 1236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5572
[startup+0.701254 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1069
/proc/meminfo: memFree=1757864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=5572 CPUtime=0.7
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 1875 0 0 0 69 1 0 0 22 0 1 0 221842220 5705728 1286 1992294400 134512640 135151029 4294956240 18446744073709551615 134530740 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1393 1286 79 155 0 1236 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5572
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1752864/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=6232 CPUtime=1.5
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 2068 0 0 0 149 1 0 0 25 0 1 0 221842220 6381568 1479 1992294400 134512640 135151029 4294956240 18446744073709551615 134554586 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1558 1479 79 155 0 1401 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 6232
[startup+3.10152 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1751520/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=6920 CPUtime=3.09
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 2356 0 0 0 308 1 0 0 25 0 1 0 221842220 7086080 1638 1992294400 134512640 135151029 4294956240 18446744073709551615 134581752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1730 1638 79 155 0 1573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6920
[startup+6.30288 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1750496/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=7948 CPUtime=6.29
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 2854 0 0 0 628 1 0 0 25 0 1 0 221842220 8138752 1878 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 1987 1878 79 155 0 1830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7948
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1749472/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=8744 CPUtime=12.69
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 3471 0 0 0 1267 2 0 0 25 0 1 0 221842220 8953856 2108 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 2186 2108 79 155 0 2029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8744
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1748000/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=10308 CPUtime=25.48
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 4372 0 0 0 2546 2 0 0 25 0 1 0 221842220 10555392 2493 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 2577 2493 79 155 0 2420 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10308
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1745888/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=12408 CPUtime=51.07
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 6162 0 0 0 5104 3 0 0 25 0 1 0 221842220 12705792 3021 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 3102 3021 79 155 0 2945 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12408
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1739488/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=18796 CPUtime=102.26
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 9237 0 0 0 10221 5 0 0 25 0 1 0 221842220 19247104 4580 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 4699 4580 79 155 0 4542 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18796
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1739360/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=18796 CPUtime=162.24
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 9902 0 0 0 16218 6 0 0 25 0 1 0 221842220 19247104 4600 1992294400 134512640 135151029 4294956240 18446744073709551615 134554933 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 4699 4600 79 155 0 4542 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18796
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1735840/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=22504 CPUtime=222.22
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 11031 0 0 0 22215 7 0 0 25 0 1 0 221842220 23044096 5471 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 5626 5471 79 155 0 5469 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22504
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1735776/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=22504 CPUtime=282.21
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 11047 0 0 0 28213 8 0 0 25 0 1 0 221842220 23044096 5487 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 5626 5487 79 155 0 5469 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 22504
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1735648/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=22504 CPUtime=342.19
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 11064 0 0 0 34211 8 0 0 25 0 1 0 221842220 23044096 5504 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 5626 5504 79 155 0 5469 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22504
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1735584/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=22504 CPUtime=402.17
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 11072 0 0 0 40209 8 0 0 25 0 1 0 221842220 23044096 5512 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 5626 5512 79 155 0 5469 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22504
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1735712/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=22296 CPUtime=462.16
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 11219 0 0 0 46207 9 0 0 25 0 1 0 221842220 22831104 5490 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 5574 5490 79 155 0 5417 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 22296
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1731168/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=27464 CPUtime=522.14
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 12378 0 0 0 52204 10 0 0 25 0 1 0 221842220 28123136 6649 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 6866 6649 79 155 0 6709 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 27464
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1730656/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=27744 CPUtime=582.12
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 12582 0 0 0 58202 10 0 0 25 0 1 0 221842220 28409856 6757 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 6936 6757 79 155 0 6779 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 27744
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1729312/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29344 CPUtime=642.11
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13043 0 0 0 64200 11 0 0 25 0 1 0 221842220 30048256 7056 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7336 7056 79 155 0 7179 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 29344
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1070
/proc/meminfo: memFree=1728480/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=702.09
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13268 0 0 0 70198 11 0 0 25 0 1 0 221842220 30240768 7281 1992294400 134512640 135151029 4294956240 18446744073709551615 134574571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7281 79 155 0 7226 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 29532
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=762.08
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13271 0 0 0 76196 12 0 0 25 0 1 0 221842220 30240768 7284 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7284 79 155 0 7226 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 29532
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=767.67
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13271 0 0 0 76755 12 0 0 25 0 1 0 221842220 30240768 7284 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7284 79 155 0 7226 0
Current children cumulated CPU time (s) 767.67
Current children cumulated vsize (KiB) 29532
[startup+793.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=793.26
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 79314 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 793.26
Current children cumulated vsize (KiB) 29532
[startup+806.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=806.06
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 80594 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 806.06
Current children cumulated vsize (KiB) 29532
[startup+812.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=812.45
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 81233 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134520436 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 812.45
Current children cumulated vsize (KiB) 29532
[startup+815.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=815.65
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 81553 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 815.65
Current children cumulated vsize (KiB) 29532
[startup+816.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=816.45
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 81633 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134577174 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 816.45
Current children cumulated vsize (KiB) 29532
[startup+817.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=29532 CPUtime=816.85
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194304 13273 0 0 0 81673 12 0 0 25 0 1 0 221842220 30240768 7286 1992294400 134512640 135151029 4294956240 18446744073709551615 134578366 0 0 4096 17442 0 0 0 17 1 0 0
/proc/1069/statm: 7383 7286 79 155 0 7226 0
Current children cumulated CPU time (s) 816.85
Current children cumulated vsize (KiB) 29532
[startup+817.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1077
/proc/meminfo: memFree=1728416/2055920 swapFree=4180600/4192956
[pid=1069] ppid=1067 vsize=0 CPUtime=817.25
/proc/1069/stat : 1069 (precosat) R 1067 1069 910 0 -1 4194308 13274 0 0 0 81713 12 0 0 25 0 1 0 221842220 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/1069/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 817.25
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 817.503
CPU time (s): 817.263
CPU user time (s): 817.135
CPU system time (s): 0.12798
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 30320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.135
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13274
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= 2222
runsolver used 0.58591 second user time and 1.68974 second system time
The end
Begin job on node59 at 2009-05-10 08:49:10
IDJOB=1784406
IDBENCH=71396
IDSOLVER=607
FILE ID=node59/1784406-1241938150
PBS_JOBID= 9264984
Free space on /tmp= 66376 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes6.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784406-1241938150/watcher-1784406-1241938150 -o /tmp/evaluation-result-1784406-1241938150/solver-1784406-1241938150 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784406-1241938150.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 678295c947877f01251ebfe072d64bf5
RANDOM SEED=81206154
node59.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.240
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.240
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: 1758344 kB
Buffers: 58680 kB
Cached: 164032 kB
SwapCached: 6788 kB
Active: 117820 kB
Inactive: 115080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1758344 kB
SwapTotal: 4192956 kB
SwapFree: 4180600 kB
Dirty: 1208 kB
Writeback: 0 kB
Mapped: 15084 kB
Slab: 50596 kB
Committed_AS: 783448 kB
PageTables: 1460 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= 66372 MiB
End job on node59 at 2009-05-10 09:02:48