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-1772761-1241189051.cnf
0.00/0.00 c found header 'p cnf 217930 1002997'
2.09/2.20 c finished parsing
2.09/2.20 c
2.09/2.20 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.09/2.20 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.09/2.20 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.09/2.20 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.09/2.20 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.09/2.20 c --random=1 --spread=2000 --seed=0 --skip=25
2.09/2.20 c
2.09/2.20 c sizeof vars[0] = 16 alignment = 0 3 MB
2.09/2.20 c sizeof orgs[0] = 8 alignment = 0 2 MB
2.09/2.20 c sizeof occs[0] = 8 alignment = 0 2 MB
2.09/2.20 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
2.09/2.20 c
2.09/2.20 c starting search after 2.2 seconds
2.09/2.20 c no decision limit
2.19/2.25 c
2.19/2.25 c original/binary fixed eliminated learned agility
2.19/2.25 c seconds variables equivalent conflicts height MB
2.19/2.25 c
2.19/2.25 c * 2.3 985541 158813 8206 50911 0 0 0 0.0 0 78
8.68/8.71 c s 8.7 520952 78705 46901 50065 42259 0 0 0.0 0 54
8.68/8.71 c l 8.7 520952 78705 46901 50065 42259 0 229731 0.0 0 54
9.08/9.11 c R 9.1 526272 78229 47371 50071 42259 125 116 55.0 2 56
18.78/18.82 c s 18.8 660807 63378 59332 50374 44846 239 203 97.7 1 62
18.78/18.82 c - 18.8 660807 63378 59332 50374 44846 239 181488 97.7 1 62
22.77/22.81 c B 22.8 711849 61007 61605 50472 44846 1001 898 378.3 2 66
27.77/27.82 c B 27.8 775749 58994 63546 50544 44846 2001 1870 446.9 6 75
31.07/31.17 c R 31.2 849384 57558 64942 50584 44846 2785 2619 419.4 3 79
41.95/42.02 c s 42.0 717646 54656 66974 50654 45646 4261 3758 400.3 1 72
41.95/42.02 c - 42.0 717646 54656 66974 50654 45646 4261 159710 400.3 1 72
56.34/56.43 c B 56.4 941969 52875 68639 50770 45646 8001 7382 384.0 6 88
59.05/59.15 c R 59.1 1001173 52408 69071 50805 45646 8839 8208 380.2 1 92
68.93/69.03 c s 69.0 952643 51190 69954 50879 45907 10252 8653 386.1 8 87
68.93/69.03 c - 69.0 952643 51190 69954 50879 45907 10252 151725 386.1 8 87
106.82/106.94 c s 106.9 1127772 48411 71784 51320 46415 18744 13055 393.5 2 99
106.82/106.94 c - 106.9 1127772 48411 71784 51320 46415 18744 144139 393.5 2 99
128.21/128.34 c B 128.3 1431441 46792 73228 51495 46415 24006 18267 397.8 6 132
152.90/153.04 c s 153.0 1386014 45229 74098 51836 46767 28890 16823 398.0 3 123
152.90/153.04 c
152.90/153.04 c original/binary fixed eliminated learned agility
152.90/153.04 c seconds variables equivalent conflicts height MB
152.90/153.04 c
152.90/153.04 c - 153.0 1386014 45229 74098 51836 46767 28890 132608 398.0 3 123
159.19/159.38 c R 159.3 1441843 44954 74237 51972 46767 30749 18671 396.4 4 130
212.87/213.00 c s 212.9 1510171 41925 75257 52204 48544 43262 16295 393.6 4 128
212.87/213.00 c - 212.9 1510171 41925 75257 52204 48544 43262 127304 393.6 4 128
279.44/279.63 c s 279.5 1713639 37470 78141 53055 49264 60028 18029 387.4 3 137
279.44/279.63 c - 279.5 1713639 37470 78141 53055 49264 60028 117120 387.4 3 137
291.83/292.02 c B 291.9 1782122 36503 78825 53338 49264 64015 22006 386.5 5 149
306.03/306.29 c R 306.1 1818568 36215 79056 53395 49264 68983 26963 385.8 3 159
355.61/355.86 c s 355.7 1871558 33445 80488 54355 49642 81909 28156 384.4 5 156
355.61/355.86 c - 355.7 1871558 33445 80488 54355 49642 81909 110093 384.4 5 156
434.08/434.35 c + 434.1 2178443 32939 80833 54516 49642 110094 121102 376.2 4 220
453.98/454.25 c s 454.0 1866524 30153 80845 54593 52339 113832 7164 375.9 3 138
453.98/454.25 c - 454.0 1866524 30153 80845 54593 52339 113832 118680 375.9 3 138
461.57/461.86 c R 461.6 1889114 30118 80877 54596 52339 117706 11034 373.5 4 144
499.56/499.85 c + 499.6 2014514 29900 81067 54624 52339 134863 130548 366.5 8 173
543.42/543.74 c s 543.5 1907755 29735 81191 54632 52372 150926 41084 360.9 3 178
543.42/543.74 c - 543.5 1907755 29735 81191 54632 52372 150926 126632 360.9 3 178
565.71/566.02 c B 565.7 1963300 29658 81258 54642 52372 160042 50198 358.8 5 196
573.40/573.76 c + 573.5 1977373 29641 81271 54646 52372 163518 139295 357.8 8 202
643.38/643.74 c
643.38/643.74 c original/binary fixed eliminated learned agility
643.38/643.74 c seconds variables equivalent conflicts height MB
643.38/643.74 c
643.38/643.74 c s 643.4 1885626 29023 81431 54678 52798 188913 19188 355.3 3 143
643.38/643.74 c - 643.4 1885626 29023 81431 54678 52798 188913 136510 355.3 3 143
667.57/667.99 c + 667.7 1924965 28980 81469 54683 52798 200308 150161 351.8 3 160
740.44/740.88 c s 740.5 1958214 28865 81557 54694 52814 228832 49789 345.6 2 176
740.44/740.88 c - 740.5 1958214 28865 81557 54694 52814 228832 148660 345.6 2 176
749.53/750.00 c R 749.6 1968205 28840 81582 54694 52814 232456 53411 345.5 4 184
787.52/787.91 c + 787.5 2005296 28809 81612 54695 52814 247882 163526 342.7 6 209
851.59/852.01 c s 851.6 2027594 28735 81679 54697 52819 270979 80626 338.5 2 215
962.84/963.33 c + 962.9 2130171 28480 81887 54744 52819 309850 179878 332.6 6 281
984.33/984.80 c s 984.3 2008478 28217 81899 54774 53040 313630 47734 331.9 5 163
1096.68/1097.20 c s 1096.7 2012137 27979 82045 54865 53041 358510 92241 326.6 2 220
1144.27/1144.80 c R 1144.3 2019204 27956 82065 54868 53041 378426 112155 325.4 3 253
1158.87/1159.45 c B 1158.9 2020982 27942 82079 54868 53041 384102 117829 325.7 7 263
1165.47/1166.06 c + 1165.5 2021031 27942 82079 54868 53041 387313 197865 325.4 8 268
1221.44/1222.07 c s 1221.5 2035168 27928 82091 54870 53041 404593 138246 323.9 3 289
1364.20/1364.81 c s 1364.2 2072279 27709 82149 54896 53176 451722 80906 322.1 5 188
1449.38/1450.05 c + 1449.4 2155800 27537 82301 54916 53176 484140 217651 318.5 6 240
1502.26/1502.96 c s 1502.3 2027382 27424 82349 54948 53209 498737 127845 317.0 3 244
1502.26/1502.96 c - 1502.3 2027382 27424 82349 54948 53209 498737 215475 317.0 3 244
1650.53/1651.25 c
1650.53/1651.25 c original/binary fixed eliminated learned agility
1650.53/1651.25 c seconds variables equivalent conflicts height MB
1650.53/1651.25 c
1650.53/1651.25 c s 1650.6 2017959 27283 82468 54963 53216 544528 173623 315.0 4 308
1818.07/1818.84 c s 1818.1 1987826 27076 82521 54969 53364 591949 111427 311.9 8 204
1835.87/1836.64 c + 1835.9 1991855 27074 82523 54969 53364 599128 237022 311.4 5 219
1951.73/1952.56 c s 1951.8 2005552 27068 82527 54971 53364 639280 158742 311.2 8 272
2119.57/2120.45 c s 2119.6 2020020 27059 82534 54973 53364 688042 207427 308.7 5 341
2301.52/2302.49 c s 2301.6 2013118 26939 82563 54984 53444 737782 150725 305.9 6 249
2332.51/2333.48 c + 2332.6 2029685 26932 82569 54985 53444 748910 260724 305.4 7 272
2462.18/2463.15 c s 2462.2 2024333 26882 82608 54990 53450 785502 188284 303.6 4 297
2622.44/2623.49 c s 2622.5 2038671 26856 82627 54997 53450 834181 236953 302.7 5 364
2798.68/2799.76 c s 2798.7 2037753 26775 82633 55002 53520 885270 184256 302.6 4 297
2832.36/2833.49 c B 2832.5 2039143 26773 82634 55003 53520 896243 195229 302.6 3 322
2958.52/2959.67 c s 2958.6 2038811 26771 82635 55004 53520 932199 231164 302.0 3 363
2971.62/2972.76 c + 2971.7 2039498 26768 82637 55005 53520 936136 286796 301.9 7 376
3049.30/3050.47 c R 3049.4 2045191 26756 82647 55007 53520 961731 260694 302.3 6 420
3130.88/3132.06 c s 3130.9 2031756 26743 82654 55013 53520 983688 282566 302.7 4 440
3327.02/3328.26 c s 3327.1 2005587 26617 82689 55031 53593 1034270 190714 301.7 3 308
3516.46/3517.74 c s 3516.5 2015876 26610 82695 55031 53594 1084374 240786 300.4 11 379
3718.51/3719.80 c s 3718.5 2016488 26575 82697 55032 53626 1135793 237105 299.6 5 362
3846.47/3847.88 c + 3846.6 2018831 26573 82697 55034 53626 1170172 315475 298.4 4 428
3922.25/3923.69 c
3922.25/3923.69 c original/binary fixed eliminated learned agility
3922.25/3923.69 c seconds variables equivalent conflicts height MB
3922.25/3923.69 c
3922.25/3923.69 c s 3922.3 2019135 26573 82697 55034 53626 1187826 289124 298.3 6 436
4134.46/4135.97 c s 4134.5 2047267 26557 82711 55036 53626 1238097 315583 297.9 7 491
4366.16/4367.74 c s 4366.2 2040171 26454 82754 55037 53685 1292692 241505 297.0 9 373
4582.10/4583.71 c s 4582.1 2042201 26426 82775 55042 53687 1344411 293216 296.0 6 449
4795.84/4797.53 c s 4795.9 2042607 26330 82785 55045 53770 1397704 293351 295.5 6 454
5004.17/5005.97 c s 5004.3 2045818 26324 82785 55051 53770 1450541 315588 296.0 5 502
5045.16/5046.93 c + 5045.2 2046093 26323 82786 55051 53770 1462716 347022 296.4 3 521
5237.51/5239.31 c s 5237.5 2037808 26249 82799 55055 53827 1502918 294747 295.9 6 453
5472.93/5474.86 c s 5473.0 2052464 26240 82808 55055 53827 1556616 347252 295.5 5 533
5731.46/5733.46 c s 5731.5 2055401 26193 82820 55056 53861 1611305 228622 294.9 5 343
5921.20/5923.23 c s 5921.2 2061054 26165 82831 55073 53861 1663882 281195 294.8 6 421
6151.54/6153.68 c s 6151.6 2062937 26165 82831 55073 53861 1718812 336119 293.9 6 504
6397.76/6399.94 c s 6397.8 2065606 26110 82838 55075 53907 1775738 297186 293.4 1 445
6601.80/6604.05 c + 6601.9 2080075 26104 82844 55075 53907 1828395 381724 292.8 8 543
6629.99/6632.24 c s 6630.0 2072794 26103 82844 55075 53908 1831098 350027 292.8 4 525
6861.93/6864.22 c s 6862.0 2074798 26077 82846 55079 53928 1887929 376870 292.5 9 574
7094.95/7097.39 c s 7095.1 2080760 26077 82846 55079 53928 1944472 382023 292.9 3 606
7100.15/7102.55 c R 7100.2 2081037 26077 82846 55079 53928 1946376 382008 292.9 5 612
7312.69/7315.18 c s 7312.8 2082813 26077 82846 55079 53928 2001173 381861 294.3 6 629
7492.04/7494.55 c
7492.04/7494.55 c original/binary fixed eliminated learned agility
7492.04/7494.55 c seconds variables equivalent conflicts height MB
7492.04/7494.55 c
7492.04/7494.55 c B 7492.1 2088709 26075 82847 55080 53928 2048544 381980 294.3 6 661
7557.92/7560.41 c s 7557.9 2088812 26060 82847 55080 53943 2060179 329958 294.3 4 525
7788.66/7791.28 c s 7788.7 2089433 26058 82849 55080 53943 2117310 381903 294.3 6 605
8018.68/8021.37 c s 8018.8 2091266 26058 82849 55080 53943 2175465 381991 294.1 3 615
8250.51/8253.28 c s 8250.6 2092044 26058 82849 55080 53943 2233812 382109 294.3 4 624
8464.75/8467.50 c + 8464.8 2093849 26057 82850 55080 53943 2285490 419896 294.5 10 653
8501.34/8504.12 c s 8501.4 2093851 26047 82850 55080 53953 2289065 373239 294.6 5 607
8797.05/8799.93 c s 8797.1 2097276 26047 82850 55080 53953 2348958 420096 294.0 5 682
9092.88/9095.84 c s 9092.9 2100063 26047 82850 55080 53953 2406223 420143 293.4 3 689
9379.79/9382.84 c s 9379.8 2098983 26030 82857 55080 53963 2463849 370321 293.4 5 593
9579.12/9582.23 c R 9579.2 2099384 26030 82857 55080 53963 2510650 417122 293.5 2 690
9656.40/9659.58 c s 9656.5 2099467 26030 82857 55080 53963 2521971 420043 293.5 3 672
9949.12/9952.39 c s 9949.2 2099506 26030 82857 55080 53963 2591544 420095 292.1 3 697
10000.00/10003.20 c
10000.00/10003.20 c *** CAUGHT SIGNAL 15 ***
10000.00/10003.20 c
10000.00/10003.20 c 2601737 conflicts, 10466305 decisions, 5193 random
10000.00/10003.20 c 208 iterations, 6482 restarts, 0 skipped
10000.00/10003.20 c 15 enlarged, 30347 shrunken, 25444 rescored, 619 rebiased
10000.00/10003.20 c 58 simplifications, 0 reductions
10000.00/10003.20 c
10000.00/10003.20 c vars: 82857 fixed, 55080 equiv, 53963 elim, 56906 merged
10000.00/10003.20 c elim: 16494150 resolutions, 52 phases, 21 rounds
10000.00/10003.20 c sbst: 60% substituted, 14.9% nots, 85.1% ands, 0.0% xors, 0.0% ites
10000.00/10003.20 c arty: 3.23 and 0.00 xor average arity
10000.00/10003.20 c prbe: 561644 probed, 4165 phases, 10 rounds
10000.00/10003.20 c prbe: 5538 failed, 6717 lifted, 1093 merged
10000.00/10003.20 c sccs: 287 non trivial, 0 fixed, 905 merged
10000.00/10003.20 c hash: 265 units, 54908 merged
10000.00/10003.20 c mins: 969118045 learned, 23% deleted, 67 strong, 289 depth
10000.00/10003.20 c subs: 116515 forward, 120810 backward, 197281 doms
10000.00/10003.20 c strs: 42824 forward, 217 backward
10000.00/10003.20 c doms: 697381 dominators, 232702 high, 770 low
10000.00/10003.20 c prps: 4811118274 propagations, 0.48 megaprops
10000.00/10003.20 c
10000.00/10003.20 c 10000.0 seconds, 727 MB max, 3353 MB recycled
10000.00/10003.20 c
10000.00/10003.20 c *** CAUGHT SIGNAL 15 ***
10000.00/10003.20 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772761-1241189051/watcher-1772761-1241189051 -o /tmp/evaluation-result-1772761-1241189051/solver-1772761-1241189051 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772761-1241189051.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.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=4196 CPUtime=0
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 924 0 0 0 0 0 0 0 18 0 1 0 146938130 4296704 909 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/25120/statm: 1049 915 58 155 0 892 0
[startup+0.067985 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=19548 CPUtime=0.06
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 4748 0 0 0 4 2 0 0 18 0 1 0 146938130 20017152 4733 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 4887 4733 63 155 0 4730 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19548
[startup+0.101987 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=21656 CPUtime=0.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 5315 0 0 0 7 2 0 0 18 0 1 0 146938130 22175744 5267 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 5414 5268 63 155 0 5257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21656
[startup+0.302009 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=31604 CPUtime=0.29
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 7981 0 0 0 26 3 0 0 19 0 1 0 146938130 32362496 7739 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 7901 7739 63 155 0 7744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31604
[startup+0.701047 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 25120
/proc/meminfo: memFree=1341632/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=43184 CPUtime=0.69
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 11656 0 0 0 64 5 0 0 23 0 1 0 146938130 44220416 10644 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 10796 10645 63 155 0 10639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43184
[startup+1.50113 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1288312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=67872 CPUtime=1.49
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 18840 0 0 0 140 9 0 0 25 0 1 0 146938130 69500928 16803 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 16968 16803 64 155 0 16811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67872
[startup+3.10129 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1253880/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=87036 CPUtime=3.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 26485 0 0 0 296 13 0 0 25 0 1 0 146938130 89124864 21546 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 21759 21546 79 155 0 21602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87036
[startup+6.30161 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1240824/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=101360 CPUtime=6.28
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 32117 0 0 0 612 16 0 0 25 0 1 0 146938130 103792640 25127 1992294400 134512640 135151029 4294956240 18446744073709551615 134697847 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 25340 25127 79 155 0 25183 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 101360
[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1251256/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=91148 CPUtime=12.68
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 33918 0 0 0 1251 17 0 0 25 0 1 0 146938130 93335552 22577 1992294400 134512640 135151029 4294956240 18446744073709551615 134554492 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 22787 22577 79 155 0 22630 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 91148
[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1247352/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=95244 CPUtime=25.48
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 45786 0 0 0 2525 23 0 0 25 0 1 0 146938130 97529856 23603 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 23811 23603 79 155 0 23654 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95244
[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1240568/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=102068 CPUtime=51.05
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 59733 0 0 0 5075 30 0 0 25 0 1 0 146938130 104517632 25297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 25517 25297 79 155 0 25360 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 102068
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1196792/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=129440 CPUtime=102.22
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 85809 0 0 0 10177 45 0 0 25 0 1 0 146938130 132546560 32122 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 32360 32122 79 155 0 32203 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 129440
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1170360/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=172140 CPUtime=162.19
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 128830 0 0 0 16150 69 0 0 25 0 1 0 146938130 176271360 42815 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 43035 42815 79 155 0 42878 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 172140
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1149432/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=192992 CPUtime=222.16
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 154483 0 0 0 22132 84 0 0 25 0 1 0 146938130 197623808 48021 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 48248 48021 79 155 0 48091 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 192992
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1135416/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=206956 CPUtime=282.14
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 178421 0 0 0 28117 97 0 0 25 0 1 0 146938130 211922944 51512 1992294400 134512640 135151029 4294956240 18446744073709551615 134542684 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 51739 51512 79 155 0 51582 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 206956
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1131000/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=211716 CPUtime=342.11
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 179642 0 0 0 34113 98 0 0 25 0 1 0 146938130 216797184 52733 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 52929 52733 79 155 0 52772 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 211716
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1121144/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=221864 CPUtime=402.09
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 202098 0 0 0 40099 110 0 0 25 0 1 0 146938130 227188736 55255 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 55466 55255 79 155 0 55309 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 221864
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088376/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=462.07
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 229887 0 0 0 46080 127 0 0 25 0 1 0 146938130 259997696 63239 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63239 79 155 0 63319 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 253904
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=522.03
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 229895 0 0 0 52076 127 0 0 25 0 1 0 146938130 259997696 63247 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63247 79 155 0 63319 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 253904
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1088248/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=253904 CPUtime=582
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 249461 0 0 0 58064 136 0 0 25 0 1 0 146938130 259997696 63266 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 63476 63266 79 155 0 63319 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 253904
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25121
/proc/meminfo: memFree=1077688/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=264384 CPUtime=641.99
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 269830 0 0 0 64050 149 0 0 25 0 1 0 146938130 270729216 65879 1992294400 134512640 135151029 4294956240 18446744073709551615 134680161 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 66096 65879 79 155 0 65939 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 264384
[startup+702.301 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=572536/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9099.37
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191285 0 0 0 909249 688 0 0 25 0 1 0 146938130 786337792 191299 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191299 79 155 0 191820 0
Current children cumulated CPU time (s) 9099.37
Current children cumulated vsize (KiB) 767908
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=572408/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9159.35
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191349 0 0 0 915247 688 0 0 25 0 1 0 146938130 786337792 191363 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191363 79 155 0 191820 0
Current children cumulated CPU time (s) 9159.35
Current children cumulated vsize (KiB) 767908
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=571704/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=767908 CPUtime=9219.33
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1191540 0 0 0 921245 688 0 0 25 0 1 0 146938130 786337792 191554 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 191977 191554 79 155 0 191820 0
Current children cumulated CPU time (s) 9219.33
Current children cumulated vsize (KiB) 767908
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=569528/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=770232 CPUtime=9279.31
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1192107 0 0 0 927243 688 0 0 25 0 1 0 146938130 788717568 192121 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192558 192121 79 155 0 192401 0
Current children cumulated CPU time (s) 9279.31
Current children cumulated vsize (KiB) 770232
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567352/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=772712 CPUtime=9339.3
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1192617 0 0 0 933241 689 0 0 25 0 1 0 146938130 791257088 192631 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 193178 192631 79 155 0 193021 0
Current children cumulated CPU time (s) 9339.3
Current children cumulated vsize (KiB) 772712
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9399.28
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212333 0 0 0 939229 699 0 0 25 0 1 0 146938130 789790720 192422 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192422 79 155 0 192663 0
Current children cumulated CPU time (s) 9399.28
Current children cumulated vsize (KiB) 771280
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9459.26
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212342 0 0 0 945227 699 0 0 25 0 1 0 146938130 789790720 192431 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192431 79 155 0 192663 0
Current children cumulated CPU time (s) 9459.26
Current children cumulated vsize (KiB) 771280
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9519.24
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212350 0 0 0 951225 699 0 0 25 0 1 0 146938130 789790720 192439 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192439 79 155 0 192663 0
Current children cumulated CPU time (s) 9519.24
Current children cumulated vsize (KiB) 771280
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=567992/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9579.22
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1212355 0 0 0 957223 699 0 0 25 0 1 0 146938130 789790720 192444 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192444 79 155 0 192663 0
Current children cumulated CPU time (s) 9579.22
Current children cumulated vsize (KiB) 771280
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25143
/proc/meminfo: memFree=584312/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=754892 CPUtime=9639.21
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1213215 0 0 0 963221 700 0 0 25 0 1 0 146938130 773009408 188355 1992294400 134512640 135151029 4294956240 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 188723 188355 79 155 0 188566 0
Current children cumulated CPU time (s) 9639.21
Current children cumulated vsize (KiB) 754892
[startup+9702.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9699.19
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231928 0 0 0 969211 708 0 0 25 0 1 0 146938130 789790720 192470 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192470 79 155 0 192663 0
Current children cumulated CPU time (s) 9699.19
Current children cumulated vsize (KiB) 771280
[startup+9762.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9759.17
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231930 0 0 0 975209 708 0 0 25 0 1 0 146938130 789790720 192472 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192472 79 155 0 192663 0
Current children cumulated CPU time (s) 9759.17
Current children cumulated vsize (KiB) 771280
[startup+9822.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9819.16
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231932 0 0 0 981208 708 0 0 25 0 1 0 146938130 789790720 192474 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192474 79 155 0 192663 0
Current children cumulated CPU time (s) 9819.16
Current children cumulated vsize (KiB) 771280
[startup+9882.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567736/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9879.14
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1231937 0 0 0 987206 708 0 0 25 0 1 0 146938130 789790720 192479 1992294400 134512640 135151029 4294956240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192479 79 155 0 192663 0
Current children cumulated CPU time (s) 9879.14
Current children cumulated vsize (KiB) 771280
[startup+9942.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 25143
/proc/meminfo: memFree=583608/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=754892 CPUtime=9939.12
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1232905 0 0 0 993203 709 0 0 25 0 1 0 146938130 773009408 188498 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 188723 188498 79 155 0 188566 0
Current children cumulated CPU time (s) 9939.12
Current children cumulated vsize (KiB) 754892
[startup+10002.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567224/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=9999.1
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1240984 0 0 0 999197 713 0 0 25 0 1 0 146938130 789790720 192604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192604 79 155 0 192663 0
Current children cumulated CPU time (s) 9999.1
Current children cumulated vsize (KiB) 771280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.2 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25143
/proc/meminfo: memFree=567224/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=771280 CPUtime=10000
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4194304 1240984 0 0 0 999287 713 0 0 25 0 1 0 146938130 789790720 192604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 0 0 0
/proc/25120/statm: 192820 192604 79 155 0 192663 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 771280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/66 25144
/proc/meminfo: memFree=1216096/2055920 swapFree=4180900/4192956
[pid=25120] ppid=25118 vsize=0 CPUtime=10000.1
/proc/25120/stat : 25120 (precosat) R 25118 25120 25054 0 -1 4195332 1240984 0 0 0 999287 724 0 0 25 0 1 0 146938130 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/25120/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.3
CPU time (s): 10000.1
CPU user time (s): 9992.88
CPU system time (s): 7.2579
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 779476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9992.88
system time used= 7.2579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1240984
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= 14626
runsolver used 8.50871 second user time and 27.8908 second system time
The end
Begin job on node27 at 2009-05-01 16:44:12
IDJOB=1772761
IDBENCH=20385
IDSOLVER=607
FILE ID=node27/1772761-1241189051
PBS_JOBID= 9224609
Free space on /tmp= 66252 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772761-1241189051/watcher-1772761-1241189051 -o /tmp/evaluation-result-1772761-1241189051/solver-1772761-1241189051 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772761-1241189051.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED=523474937
node27.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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5521.40
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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1342048 kB
Buffers: 66908 kB
Cached: 559604 kB
SwapCached: 5072 kB
Active: 40832 kB
Inactive: 593732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342048 kB
SwapTotal: 4192956 kB
SwapFree: 4180900 kB
Dirty: 18660 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 65168 kB
Committed_AS: 662720 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66252 MiB
End job on node27 at 2009-05-01 19:30:57