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-1773861-1241186950.cnf
0.00/0.00 c found header 'p cnf 200440 599015'
1.09/1.17 c finished parsing
1.09/1.17 c
1.09/1.17 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.09/1.17 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.09/1.17 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.09/1.17 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.09/1.17 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.09/1.17 c --random=1 --spread=2000 --seed=0 --skip=25
1.09/1.17 c
1.09/1.17 c sizeof vars[0] = 16 alignment = 0 3 MB
1.09/1.17 c sizeof orgs[0] = 8 alignment = 0 2 MB
1.09/1.17 c sizeof occs[0] = 8 alignment = 0 2 MB
1.09/1.17 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
1.09/1.17 c
1.09/1.17 c starting search after 1.2 seconds
1.09/1.17 c no decision limit
1.19/1.22 c
1.19/1.22 c original/binary fixed eliminated learned agility
1.19/1.22 c seconds variables equivalent conflicts height MB
1.19/1.22 c
1.19/1.22 c * 1.2 599013 200438 2 0 0 0 0 0.0 0 51
12.99/13.03 c s 13.0 345935 58607 274 2 141557 0 0 0.0 0 42
12.99/13.03 c l 13.0 345935 58607 274 2 141557 0 286342 0.0 0 42
13.59/13.60 c R 13.6 346092 58607 274 2 141557 100 98 332.2 1 45
13.69/13.71 c N 13.7 346092 58607 274 2 141557 200 198 413.4 43 46
13.89/13.96 c R 14.0 346152 58607 274 2 141557 809 807 420.3 19 46
14.19/14.30 c B 14.3 346161 58607 274 2 141557 1001 999 417.2 19 46
15.89/15.94 c B 15.9 353849 58607 274 2 141557 2001 1984 373.5 6 48
16.79/16.80 c R 16.8 371710 58606 274 3 141557 2411 2390 357.3 4 49
29.78/29.84 c s 29.8 470199 58570 274 38 141558 5185 4790 252.1 1 52
35.58/35.61 c R 35.6 503554 58540 274 68 141558 6449 5774 238.0 5 57
37.97/38.08 c B 38.1 529293 58526 274 82 141558 8001 7295 252.8 4 59
50.97/51.08 c s 51.1 583460 58514 274 91 141561 10664 9669 293.0 5 62
65.97/66.09 c R 66.1 631840 58483 274 122 141561 16094 14879 299.1 16 69
80.66/80.76 c s 80.7 654242 58473 274 131 141562 20287 18902 297.3 1 70
102.45/102.50 c B 102.5 699950 58454 274 150 141562 24005 22406 317.1 0 76
114.15/114.21 c s 114.2 713087 58452 274 152 141562 24726 23051 322.2 1 74
150.84/150.99 c s 150.9 757586 58424 274 180 141562 31951 29879 313.4 0 80
175.54/175.67 c R 175.6 803240 58390 274 214 141562 38538 36308 312.3 4 89
193.93/194.02 c
193.93/194.02 c original/binary fixed eliminated learned agility
193.93/194.02 c seconds variables equivalent conflicts height MB
193.93/194.02 c
193.93/194.02 c s 194.0 823017 58369 274 215 141582 43485 40597 312.1 5 93
238.62/238.74 c s 238.7 857306 58295 274 287 141584 53199 49751 319.9 4 99
275.51/275.61 c B 275.5 863449 58206 274 376 141584 64013 60186 327.2 3 111
283.11/283.20 c s 283.1 866976 58183 274 399 141584 64480 60385 327.3 21 107
330.79/330.96 c s 330.9 869856 58092 274 490 141584 75259 70658 339.1 0 112
377.29/377.45 c R 377.3 875307 57949 274 633 141584 89860 84690 342.3 19 125
388.88/389.06 c s 388.9 875040 57948 274 634 141584 93066 87557 345.0 4 123
449.96/450.18 c s 450.1 880587 57863 274 703 141600 114066 107271 348.1 0 132
510.44/510.69 c s 510.5 888355 57634 274 924 141608 130640 122426 344.5 38 138
574.43/574.69 c s 574.5 893267 57473 274 1085 141608 152818 143644 346.8 13 149
591.42/591.64 c B 591.5 895219 57380 274 1178 141608 160026 150517 346.5 6 158
641.41/641.66 c s 641.5 897747 57259 274 1299 141608 176088 165646 345.5 3 168
713.89/714.10 c s 713.9 901566 57064 274 1494 141608 202121 190635 344.2 12 183
720.89/721.19 c R 721.0 901750 57054 274 1504 141608 205288 193739 344.6 11 190
795.67/795.91 c s 795.7 902241 56857 274 1662 141647 230943 215738 340.9 51 196
874.94/875.21 c s 875.0 904067 56716 274 1777 141673 255028 237724 338.9 5 205
961.52/961.89 c s 961.6 905371 56553 275 1939 141673 281772 263258 338.8 2 225
979.01/979.35 c + 979.1 905955 56459 275 2033 141673 286342 314976 337.6 36 234
1050.60/1050.99 c s 1050.7 905957 56266 275 2226 141673 306463 286422 336.3 7 242
1146.97/1147.38 c
1146.97/1147.38 c original/binary fixed eliminated learned agility
1146.97/1147.38 c seconds variables equivalent conflicts height MB
1146.97/1147.38 c
1146.97/1147.38 c s 1147.1 906577 56004 275 2488 141673 336633 315126 334.6 30 262
1208.95/1209.35 c + 1209.0 908024 55805 275 2687 141673 357925 346473 335.7 26 275
1233.75/1234.10 c s 1233.8 906552 55653 275 2778 141734 362850 314503 335.6 18 258
1284.83/1285.29 c B 1284.9 907389 55525 275 2906 141734 384065 335309 338.6 9 284
1321.33/1321.73 c s 1321.4 906421 55357 275 3060 141748 392564 342217 338.4 6 277
1408.50/1408.90 c s 1408.5 905824 55048 275 3369 141748 424649 347097 339.1 7 281
1464.29/1464.79 c + 1464.4 906619 54807 275 3610 141748 447405 381120 341.1 16 297
1503.87/1504.33 c s 1503.9 905229 54676 275 3741 141748 454151 352703 339.4 24 290
1606.05/1606.53 c s 1606.1 905069 54490 276 3926 141748 481578 378898 338.6 2 307
1712.92/1713.45 c s 1713.0 904357 54122 276 4255 141787 505683 376621 338.5 17 307
1812.89/1813.46 c s 1813.0 903966 53906 276 4459 141799 532443 381559 340.1 6 311
1922.17/1922.79 c s 1922.3 903552 53654 277 4710 141799 557847 380386 340.7 20 320
1926.76/1927.31 c + 1926.8 903638 53621 277 4743 141799 559257 419232 340.8 14 326
2038.13/2038.75 c s 2038.2 903256 53345 277 5019 141799 584630 405659 339.5 9 341
2145.80/2146.45 c s 2145.9 903018 53116 277 5248 141799 617108 418639 339.9 26 356
2266.87/2267.52 c s 2266.9 902971 52878 277 5435 141850 650990 416899 341.2 6 358
2389.04/2389.72 c s 2389.1 902793 52620 278 5679 141863 677656 417817 341.8 7 366
2478.31/2479.04 c + 2478.4 903655 52404 278 5895 141863 699076 461155 341.1 24 383
2508.31/2509.09 c s 2508.4 902434 52343 278 5956 141863 704395 426440 341.1 12 373
2626.28/2627.04 c
2626.28/2627.04 c original/binary fixed eliminated learned agility
2626.28/2627.04 c seconds variables equivalent conflicts height MB
2626.28/2627.04 c
2626.28/2627.04 c s 2626.3 902076 52000 278 6299 141863 731997 452488 341.8 20 400
2760.74/2761.58 c s 2760.8 901654 51796 280 6501 141863 759087 459739 341.7 17 417
2891.11/2891.94 c s 2891.2 901063 51530 280 6690 141940 790743 454088 342.4 9 402
3007.06/3007.98 c s 3007.2 900867 51313 280 6892 141955 822778 460029 344.5 27 413
3120.93/3121.81 c s 3121.0 900309 51031 280 7174 141955 856697 462132 347.6 6 426
3179.01/3179.93 c + 3179.1 900626 50945 280 7260 141955 873848 507270 348.2 16 441
3229.10/3230.00 c s 3229.1 899789 50811 280 7394 141955 882732 470685 348.8 2 433
3267.69/3268.64 c B 3267.7 899890 50776 280 7429 141955 896173 484062 349.9 13 457
3346.57/3347.60 c s 3346.7 899235 50617 280 7588 141955 916658 503891 350.3 2 465
3465.34/3466.38 c s 3465.4 898654 50378 280 7790 141992 946047 504273 351.6 15 466
3589.41/3590.47 c s 3589.5 898328 50262 280 7886 142012 982061 506610 354.6 10 481
3713.67/3714.75 c s 3713.7 898146 50146 280 8002 142012 1009637 507889 355.8 1 489
3866.83/3867.95 c s 3866.9 897738 49952 280 8196 142012 1040410 508321 356.6 0 501
4007.39/4008.52 c s 4007.4 897374 49748 281 8399 142012 1068123 506711 355.5 4 499
4124.56/4125.73 c + 4124.6 897674 49663 281 8484 142012 1092311 557997 356.1 1 527
4154.95/4156.13 c s 4155.0 896973 49606 281 8523 142030 1097308 509532 356.5 22 509
4315.71/4316.93 c s 4315.8 896694 49482 282 8628 142048 1129545 537873 356.7 17 541
4479.07/4480.34 c s 4479.1 896512 49348 282 8762 142048 1158263 558837 356.7 14 573
4626.83/4628.14 c s 4626.9 896379 49255 282 8855 142048 1188128 558380 357.7 7 583
4775.09/4776.42 c
4775.09/4776.42 c original/binary fixed eliminated learned agility
4775.09/4776.42 c seconds variables equivalent conflicts height MB
4775.09/4776.42 c
4775.09/4776.42 c s 4775.1 896329 49186 282 8924 142048 1218409 558472 359.1 7 594
4934.05/4935.45 c s 4934.1 895894 48994 282 9101 142063 1244357 553347 358.8 6 579
5095.39/5096.82 c s 5095.4 895439 48827 283 9264 142066 1273134 556473 358.8 4 587
5236.66/5238.13 c s 5236.7 895088 48685 283 9406 142066 1299967 558031 359.2 3 599
5396.92/5398.40 c s 5396.9 894289 48441 286 9647 142066 1329238 558735 358.7 9 600
5559.57/5561.14 c s 5559.6 893918 48314 286 9774 142066 1358636 559150 358.0 15 598
5582.46/5584.00 c + 5582.5 893958 48303 286 9785 142066 1365385 613796 358.1 27 613
5705.53/5707.13 c s 5705.6 893916 48252 286 9828 142074 1388802 581395 359.0 7 627
5848.79/5850.44 c s 5848.8 893927 48220 286 9857 142077 1411946 604087 359.2 2 662
5995.75/5997.48 c s 5995.8 893944 48146 286 9931 142077 1439434 614380 359.6 4 675
6141.01/6142.70 c s 6141.0 893943 48128 286 9949 142077 1463144 614296 360.0 20 683
6318.87/6320.62 c s 6318.9 893704 48027 286 10050 142077 1490430 614084 359.6 17 682
6506.32/6508.10 c s 6506.3 893391 47918 286 10153 142083 1524299 614183 359.4 3 681
6661.47/6663.36 c s 6661.5 893272 47851 287 10218 142084 1549461 612009 359.8 11 681
6839.12/6841.08 c s 6839.2 892727 47625 287 10444 142084 1573525 613669 359.2 24 685
7024.87/7026.87 c s 7024.9 892376 47499 287 10570 142084 1603090 613956 359.7 13 681
7174.23/7176.22 c s 7174.3 892088 47396 287 10673 142084 1634493 614016 359.9 18 686
7323.68/7325.79 c s 7323.8 892020 47377 287 10684 142092 1662771 611382 361.4 15 694
7509.13/7511.29 c s 7509.2 891715 47268 287 10785 142100 1693955 614222 361.2 7 704
7592.11/7594.29 c
7592.11/7594.29 c original/binary fixed eliminated learned agility
7592.11/7594.29 c seconds variables equivalent conflicts height MB
7592.11/7594.29 c
7592.11/7594.29 c + 7592.2 891733 47264 287 10789 142100 1706730 675175 361.3 13 727
7683.69/7685.82 c s 7683.7 891177 47104 287 10949 142100 1716687 623549 360.8 11 722
7867.23/7869.42 c s 7867.3 890447 46847 287 11206 142100 1752669 658571 361.5 3 778
8072.27/8074.59 c s 8072.4 890044 46672 287 11381 142100 1782447 675281 360.9 16 801
8258.32/8260.61 c s 8258.3 889765 46551 287 11499 142103 1814131 672341 360.0 10 776
8424.47/8426.87 c s 8424.6 889757 46539 287 11510 142104 1838249 675563 360.5 7 786
8608.63/8611.09 c s 8608.7 889712 46516 287 11533 142104 1871391 675378 362.0 13 810
8756.88/8759.38 c s 8757.0 889365 46402 287 11647 142104 1894141 675236 361.8 3 813
8920.74/8923.27 c s 8920.8 889392 46384 287 11665 142104 1920674 675471 362.5 6 829
9090.60/9093.14 c s 9090.6 889350 46366 287 11683 142104 1946353 675215 363.0 13 848
9266.95/9269.50 c s 9267.0 889243 46333 287 11712 142108 1980334 675726 363.8 5 862
9316.83/9319.45 c R 9316.9 889249 46332 287 11713 142108 1991045 675903 364.2 10 886
9441.00/9443.62 c s 9441.0 889220 46325 287 11720 142108 2008922 676371 364.5 13 887
9632.05/9634.75 c s 9632.1 889207 46322 287 11723 142108 2038340 675601 365.3 7 908
9700.13/9702.86 c B 9700.2 889209 46320 287 11725 142108 2048446 675757 365.5 15 921
9799.10/9801.86 c s 9799.2 889148 46310 287 11735 142108 2061029 675778 365.5 10 907
9988.74/9991.50 c s 9988.8 889183 46308 287 11736 142109 2087321 675107 366.2 16 923
10000.04/10002.80 c
10000.04/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.04/10002.80 c
10000.04/10002.80 c 2088644 conflicts, 16475215 decisions, 4212 random
10000.04/10002.80 c 11 iterations, 4595 restarts, 445 skipped
10000.04/10002.80 c 9 enlarged, 1154 shrunken, 20424 rescored, 510 rebiased
10000.04/10002.80 c 82 simplifications, 0 reductions
10000.04/10002.80 c
10000.04/10002.80 c vars: 287 fixed, 11736 equiv, 142109 elim, 11736 merged
10000.04/10002.80 c elim: 25636014 resolutions, 82 phases, 17 rounds
10000.04/10002.80 c sbst: 87% substituted, 0.2% nots, 99.4% ands, 0.4% xors, 0.0% ites
10000.04/10002.80 c arty: 2.16 and 2.00 xor average arity
10000.04/10002.80 c prbe: 619052 probed, 3749 phases, 6 rounds
10000.04/10002.80 c prbe: 0 failed, 256 lifted, 439 merged
10000.04/10002.80 c sccs: 729 non trivial, 0 fixed, 1996 merged
10000.04/10002.80 c hash: 0 units, 9301 merged
10000.04/10002.80 c mins: 628384582 learned, 23% deleted, 992 strong, 1000 depth
10000.04/10002.80 c subs: 669 forward, 1571 backward, 2935 doms
10000.04/10002.80 c strs: 1188 forward, 113 backward
10000.04/10002.80 c doms: 241347 dominators, 47279 high, 70 low
10000.04/10002.80 c prps: 4224281460 propagations, 0.42 megaprops
10000.04/10002.80 c
10000.04/10002.80 c 10000.1 seconds, 943 MB max, 1647 MB recycled
10000.04/10002.80 c
10000.04/10002.80 c *** CAUGHT SIGNAL 15 ***
10000.04/10002.80 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773861-1241186950/watcher-1773861-1241186950 -o /tmp/evaluation-result-1773861-1241186950/solver-1773861-1241186950 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773861-1241186950.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.84 0.94 0.90 3/64 17140
/proc/meminfo: memFree=812512/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=5488 CPUtime=0
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 908 0 0 0 0 0 0 0 18 0 1 0 146727683 5619712 894 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/17140/statm: 1372 900 58 155 0 1215 0
[startup+0.013706 s]
/proc/loadavg: 0.84 0.94 0.90 3/64 17140
/proc/meminfo: memFree=812512/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=8624 CPUtime=0
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 1740 0 0 0 0 0 0 0 18 0 1 0 146727683 8830976 1725 1992294400 134512640 135151029 4294956240 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0
/proc/17140/statm: 2156 1725 59 155 0 1999 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8624
[startup+0.101715 s]
/proc/loadavg: 0.84 0.94 0.90 3/64 17140
/proc/meminfo: memFree=812512/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=20252 CPUtime=0.09
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 4940 0 0 0 7 2 0 0 18 0 1 0 146727683 20738048 4892 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 5063 4892 63 155 0 4906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20252
[startup+0.301739 s]
/proc/loadavg: 0.84 0.94 0.90 3/64 17140
/proc/meminfo: memFree=812512/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=28808 CPUtime=0.29
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 7261 0 0 0 26 3 0 0 19 0 1 0 146727683 29499392 7019 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 7202 7019 63 155 0 7045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28808
[startup+0.701785 s]
/proc/loadavg: 0.84 0.94 0.90 3/64 17140
/proc/meminfo: memFree=812512/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=43296 CPUtime=0.69
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 11166 0 0 0 63 6 0 0 22 0 1 0 146727683 44335104 10667 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 10824 10668 63 155 0 10667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43296
[startup+1.50188 s]
/proc/loadavg: 0.84 0.94 0.90 2/65 17141
/proc/meminfo: memFree=759640/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=62568 CPUtime=1.49
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 16426 0 0 0 142 7 0 0 25 0 1 0 146727683 64069632 15413 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 15642 15413 79 155 0 15485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62568
[startup+3.10107 s]
/proc/loadavg: 0.85 0.94 0.90 2/65 17141
/proc/meminfo: memFree=749400/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=65644 CPUtime=3.09
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 17198 0 0 0 301 8 0 0 25 0 1 0 146727683 67219456 16185 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 16411 16185 79 155 0 16254 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65644
[startup+6.30145 s]
/proc/loadavg: 0.85 0.94 0.90 2/65 17141
/proc/meminfo: memFree=737824/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=90296 CPUtime=6.29
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 27688 0 0 0 616 13 0 0 25 0 1 0 146727683 92463104 22302 1992294400 134512640 135151029 4294956240 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 22574 22302 79 155 0 22417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90296
[startup+12.7012 s]
/proc/loadavg: 0.88 0.94 0.90 2/65 17141
/proc/meminfo: memFree=712360/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=88576 CPUtime=12.69
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 30400 0 0 0 1254 15 0 0 25 0 1 0 146727683 90701824 21639 1992294400 134512640 135151029 4294956240 18446744073709551615 134673033 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 22144 21639 79 155 0 21987 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88576
[startup+25.5017 s]
/proc/loadavg: 0.89 0.94 0.90 2/65 17141
/proc/meminfo: memFree=723560/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=90840 CPUtime=25.48
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 30981 0 0 0 2533 15 0 0 25 0 1 0 146727683 93020160 22220 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 22710 22220 79 155 0 22553 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90840
[startup+51.1018 s]
/proc/loadavg: 0.93 0.94 0.90 2/65 17141
/proc/meminfo: memFree=725480/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=92912 CPUtime=51.07
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 41596 0 0 0 5086 21 0 0 25 0 1 0 146727683 95141888 22738 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 23228 22738 79 155 0 23071 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92912
[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.91 2/65 17141
/proc/meminfo: memFree=721384/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=92948 CPUtime=102.26
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 47551 0 0 0 10202 24 0 0 25 0 1 0 146727683 95178752 22747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 23237 22747 79 155 0 23080 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92948
[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/65 17141
/proc/meminfo: memFree=717352/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=97532 CPUtime=162.24
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 62587 0 0 0 16192 32 0 0 25 0 1 0 146727683 99872768 23870 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 24383 23870 79 155 0 24226 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97532
[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.91 2/65 17141
/proc/meminfo: memFree=698984/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=115556 CPUtime=222.22
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 79417 0 0 0 22179 43 0 0 25 0 1 0 146727683 118329344 28379 1992294400 134512640 135151029 4294956240 18446744073709551615 134551504 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 28889 28379 79 155 0 28732 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 115556
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=695592/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=124724 CPUtime=282.21
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 103099 0 0 0 28166 55 0 0 25 0 1 0 146727683 127717376 30687 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 31181 30687 79 155 0 31024 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 124724
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=681640/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=132608 CPUtime=342.19
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 117785 0 0 0 34156 63 0 0 25 0 1 0 146727683 135790592 32627 1992294400 134512640 135151029 4294956240 18446744073709551615 134530766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 33152 32627 79 155 0 32995 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 132608
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=669032/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=145212 CPUtime=402.18
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 132144 0 0 0 40146 72 0 0 25 0 1 0 146727683 148697088 35778 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 36303 35778 79 155 0 36146 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 145212
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=658280/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=155856 CPUtime=462.16
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 146011 0 0 0 46135 81 0 0 25 0 1 0 146727683 159596544 38437 1992294400 134512640 135151029 4294956240 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 38964 38437 79 155 0 38807 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 155856
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=652456/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=161996 CPUtime=522.15
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 158775 0 0 0 52126 89 0 0 25 0 1 0 146727683 165883904 39993 1992294400 134512640 135151029 4294956240 18446744073709551615 134567884 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 40499 39993 79 155 0 40342 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 161996
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=640744/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=173776 CPUtime=582.12
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 172924 0 0 0 58115 97 0 0 25 0 1 0 146727683 177946624 42934 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 43444 42934 79 155 0 43287 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 173776
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17141
/proc/meminfo: memFree=620264/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=193848 CPUtime=642.11
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 189126 0 0 0 64104 107 0 0 25 0 1 0 146727683 198500352 47928 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 48462 47928 79 155 0 48305 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 193848
[startup+702.301 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21352/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=919368 CPUtime=9099.8
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 908927 0 0 0 909426 554 0 0 25 0 1 0 146727683 941432832 229176 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 229842 229176 79 155 0 229685 0
Current children cumulated CPU time (s) 9099.8
Current children cumulated vsize (KiB) 919368
[startup+9162.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=20712/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=919884 CPUtime=9159.78
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 909084 0 0 0 915424 554 0 0 25 0 1 0 146727683 941961216 229333 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 229971 229333 79 155 0 229814 0
Current children cumulated CPU time (s) 9159.78
Current children cumulated vsize (KiB) 919884
[startup+9222.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=15848/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=936860 CPUtime=9219.76
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 913359 0 0 0 921419 557 0 0 25 0 1 0 146727683 959344640 233608 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 234215 233608 79 155 0 234058 0
Current children cumulated CPU time (s) 9219.76
Current children cumulated vsize (KiB) 936860
[startup+9282.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=20968/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=937504 CPUtime=9279.75
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 920894 0 0 0 927414 561 0 0 25 0 1 0 146727683 960004096 233833 1992294400 134512640 135151029 4294956240 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 234376 233833 79 155 0 234219 0
Current children cumulated CPU time (s) 9279.75
Current children cumulated vsize (KiB) 937504
[startup+9342.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=15336/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=949968 CPUtime=9339.73
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 923952 0 0 0 933409 564 0 0 25 0 1 0 146727683 972767232 236891 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 237492 236891 79 155 0 237335 0
Current children cumulated CPU time (s) 9339.73
Current children cumulated vsize (KiB) 949968
[startup+9402.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=14888/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=961316 CPUtime=9399.71
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 926764 0 0 0 939404 567 0 0 25 0 1 0 146727683 984387584 239703 1992294400 134512640 135151029 4294956240 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 240329 239703 79 155 0 240172 0
Current children cumulated CPU time (s) 9399.71
Current children cumulated vsize (KiB) 961316
[startup+9462.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21544/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=962552 CPUtime=9459.69
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 934298 0 0 0 945398 571 0 0 25 0 1 0 146727683 985653248 240026 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 240638 240026 79 155 0 240481 0
Current children cumulated CPU time (s) 9459.69
Current children cumulated vsize (KiB) 962552
[startup+9522.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=15336/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=969604 CPUtime=9519.68
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 936033 0 0 0 951395 573 0 0 25 0 1 0 146727683 992874496 241761 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 242401 241761 79 155 0 242244 0
Current children cumulated CPU time (s) 9519.68
Current children cumulated vsize (KiB) 969604
[startup+9582.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=14952/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=985120 CPUtime=9579.66
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 939886 0 0 0 957388 578 0 0 25 0 1 0 146727683 1008762880 245614 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 246280 245614 79 155 0 246123 0
Current children cumulated CPU time (s) 9579.66
Current children cumulated vsize (KiB) 985120
[startup+9642.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21288/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=988916 CPUtime=9639.64
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 948161 0 0 0 963381 583 0 0 25 0 1 0 146727683 1012649984 246605 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 247229 246605 79 155 0 247072 0
Current children cumulated CPU time (s) 9639.64
Current children cumulated vsize (KiB) 988916
[startup+9702.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21160/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=988916 CPUtime=9699.63
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 948200 0 0 0 969380 583 0 0 25 0 1 0 146727683 1012649984 246644 1992294400 134512640 135151029 4294956240 18446744073709551615 134520461 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 247229 246644 79 155 0 247072 0
Current children cumulated CPU time (s) 9699.63
Current children cumulated vsize (KiB) 988916
[startup+9762.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=18728/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=991592 CPUtime=9759.61
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 948800 0 0 0 975378 583 0 0 25 0 1 0 146727683 1015390208 247244 1992294400 134512640 135151029 4294956240 18446744073709551615 134553013 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 247898 247244 79 155 0 247741 0
Current children cumulated CPU time (s) 9759.61
Current children cumulated vsize (KiB) 991592
[startup+9822.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21224/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=991080 CPUtime=9819.59
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 956099 0 0 0 981372 587 0 0 25 0 1 0 146727683 1014865920 247177 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 247770 247177 79 155 0 247613 0
Current children cumulated CPU time (s) 9819.59
Current children cumulated vsize (KiB) 991080
[startup+9882.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=20840/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=991596 CPUtime=9879.58
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 956180 0 0 0 987371 587 0 0 25 0 1 0 146727683 1015394304 247258 1992294400 134512640 135151029 4294956240 18446744073709551615 134554929 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 247899 247258 79 155 0 247742 0
Current children cumulated CPU time (s) 9879.58
Current children cumulated vsize (KiB) 991596
[startup+9942.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=15272/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=1000640 CPUtime=9939.57
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 958433 0 0 0 993367 590 0 0 25 0 1 0 146727683 1024655360 249511 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 250160 249511 79 155 0 250003 0
Current children cumulated CPU time (s) 9939.57
Current children cumulated vsize (KiB) 1000640
[startup+10002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21288/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=1007516 CPUtime=9999.54
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 967562 0 0 0 999360 594 0 0 25 0 1 0 146727683 1031696384 251282 1992294400 134512640 135151029 4294956240 18446744073709551615 134580752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 251879 251282 79 155 0 251722 0
Current children cumulated CPU time (s) 9999.54
Current children cumulated vsize (KiB) 1007516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21288/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=1007516 CPUtime=10000
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4194304 967562 0 0 0 999410 594 0 0 25 0 1 0 146727683 1031696384 251282 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17140/statm: 251879 251282 79 155 0 251722 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1007516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 17159
/proc/meminfo: memFree=21288/2055920 swapFree=4191900/4192956
[pid=17140] ppid=17138 vsize=0 CPUtime=10000.1
/proc/17140/stat : 17140 (precosat) R 17138 17140 17103 0 -1 4195332 967562 0 0 0 999410 604 0 0 25 0 1 0 146727683 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/17140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003
CPU time (s): 10000.2
CPU user time (s): 9994.11
CPU system time (s): 6.10807
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1012816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9994.11
system time used= 6.10807
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967562
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= 19691
runsolver used 7.28189 second user time and 21.4377 second system time
The end
Begin job on node33 at 2009-05-01 16:09:10
IDJOB=1773861
IDBENCH=70815
IDSOLVER=607
FILE ID=node33/1773861-1241186950
PBS_JOBID= 9224614
Free space on /tmp= 66440 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773861-1241186950/watcher-1773861-1241186950 -o /tmp/evaluation-result-1773861-1241186950/solver-1773861-1241186950 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773861-1241186950.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=540246410
node33.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.212
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.212
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: 812928 kB
Buffers: 71732 kB
Cached: 1061376 kB
SwapCached: 384 kB
Active: 75204 kB
Inactive: 1071236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 812928 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 11384 kB
Writeback: 0 kB
Mapped: 21692 kB
Slab: 82552 kB
Committed_AS: 647524 kB
PageTables: 1388 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= 66440 MiB
End job on node33 at 2009-05-01 18:55:55