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-1773711-1241186135.cnf
0.00/0.00 c found header 'p cnf 301759 904892'
1.89/1.96 c finished parsing
1.89/1.96 c
1.89/1.96 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.89/1.96 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.89/1.96 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.89/1.96 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.89/1.96 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.89/1.96 c --random=1 --spread=2000 --seed=0 --skip=25
1.89/1.96 c
1.89/1.96 c sizeof vars[0] = 16 alignment = 0 5 MB
1.89/1.96 c sizeof orgs[0] = 8 alignment = 0 2 MB
1.89/1.96 c sizeof occs[0] = 8 alignment = 0 2 MB
1.89/1.96 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
1.89/1.96 c
1.89/1.96 c starting search after 2.0 seconds
1.89/1.96 c no decision limit
1.99/2.02 c
1.99/2.02 c original/binary fixed eliminated learned agility
1.99/2.02 c seconds variables equivalent conflicts height MB
1.99/2.02 c
1.99/2.02 c * 2.0 904890 301757 2 0 0 0 0 0.0 0 79
30.58/30.69 c s 30.7 604241 59385 49405 13009 179960 0 0 0.0 0 76
30.58/30.69 c l 30.7 604241 59385 49405 13009 179960 0 340759 0.0 0 76
32.68/32.76 c R 32.8 612411 59303 49405 13091 179960 100 95 229.1 8 79
32.98/33.03 c R 33.0 612708 58463 50245 13091 179960 332 305 182.5 20 79
36.18/36.22 c R 36.2 631157 58437 50245 13117 179960 936 907 209.1 19 81
36.28/36.35 c B 36.3 631261 58435 50247 13117 179960 1001 958 202.3 3 81
39.97/40.05 c B 40.0 649562 58430 50250 13119 179960 2004 1942 267.8 3 85
64.87/64.92 c s 64.9 673096 55169 53425 13166 179999 7499 6763 238.7 6 82
64.87/64.92 c - 64.9 673096 55169 53425 13166 179999 7499 323722 238.7 6 82
65.27/65.31 c R 65.3 673221 55169 53425 13166 179999 7905 7166 245.0 15 83
65.37/65.47 c B 65.5 673246 55166 53428 13166 179999 8013 7270 244.0 21 83
79.86/79.93 c N 79.9 733988 53455 55108 13197 179999 17311 16517 208.8 26 91
92.86/92.90 c B 92.9 784281 51881 56634 13245 179999 24023 23201 228.0 23 96
105.46/105.53 c s 105.5 711640 51843 56635 13245 180036 28123 26740 222.9 4 88
105.46/105.53 c - 105.5 711640 51843 56635 13245 180036 28123 310774 222.9 4 88
151.84/151.90 c s 151.9 715855 51779 56685 13248 180047 45470 41037 218.4 1 91
199.34/199.48 c s 199.4 720913 51675 56775 13252 180057 62014 57225 220.4 10 95
203.34/203.49 c B 203.4 722113 51675 56775 13252 180057 64032 59242 218.9 28 98
227.23/227.33 c
227.23/227.33 c original/binary fixed eliminated learned agility
227.23/227.33 c seconds variables equivalent conflicts height MB
227.23/227.33 c
227.23/227.33 c R 227.3 751437 51666 56781 13255 180057 75164 70374 229.1 19 106
250.63/250.77 c s 250.7 751931 51625 56803 13255 180076 79469 74404 227.6 9 102
310.31/310.47 c s 310.4 837396 51579 56820 13256 180104 97760 92583 238.4 14 112
372.98/373.14 c s 373.0 844208 51545 56838 13256 180120 113681 108399 237.5 13 117
398.77/398.96 c R 398.9 846742 51536 56842 13261 180120 121027 115741 234.8 19 124
438.68/438.85 c s 438.7 846175 51513 56853 13262 180131 130545 125174 230.3 2 122
508.45/508.60 c s 508.5 844813 51480 56861 13277 180141 149060 143458 227.1 4 127
541.85/542.03 c B 541.9 847035 51478 56863 13277 180141 160053 154448 221.7 5 136
575.04/575.22 c s 575.1 852156 51461 56867 13282 180149 165420 159675 221.6 2 132
646.32/646.56 c s 646.4 858073 51453 56867 13283 180156 190816 184890 218.9 5 138
724.40/724.63 c s 724.4 864185 51447 56872 13283 180157 207491 201129 216.5 2 143
803.58/803.80 c s 803.6 957364 51439 56874 13289 180157 229214 222623 215.9 1 154
892.06/892.35 c s 892.1 792132 50678 56875 13291 180915 248033 160343 212.1 18 117
893.86/894.16 c R 893.9 794035 50678 56875 13291 180915 249980 162290 211.4 9 121
961.85/962.10 c s 961.9 802030 50012 56875 13292 181580 271979 160203 209.7 1 119
1033.43/1033.72 c s 1033.5 805430 49998 56875 13292 181594 299414 187494 205.0 1 125
1071.42/1071.75 c + 1071.5 807938 49998 56875 13292 181594 310774 341851 203.5 23 137
1107.90/1108.26 c s 1108.0 808257 49998 56875 13292 181594 319753 207816 202.6 1 130
1182.79/1183.13 c s 1182.8 820457 49998 56875 13292 181594 342726 230755 200.1 5 138
1221.68/1222.05 c
1221.68/1222.05 c original/binary fixed eliminated learned agility
1221.68/1222.05 c seconds variables equivalent conflicts height MB
1221.68/1222.05 c
1221.68/1222.05 c R 1221.7 821678 49998 56875 13292 181594 365361 253387 198.7 9 151
1257.98/1258.35 c s 1258.0 822315 49998 56875 13292 181594 380983 268973 198.8 5 147
1266.87/1267.29 c B 1267.0 822485 49998 56875 13292 181594 384097 272087 198.6 10 154
1277.17/1277.56 c + 1277.2 822809 49998 56875 13292 181594 388467 376036 198.3 18 158
1337.65/1338.02 c s 1337.7 823499 49998 56875 13292 181594 415485 303454 199.9 18 157
1419.74/1420.19 c s 1419.8 834349 49998 56875 13292 181594 441785 329707 197.6 4 165
1519.21/1519.61 c s 1519.2 830991 49926 56876 13295 181662 474003 349950 194.8 21 166
1568.29/1568.72 c + 1568.3 832215 49926 56876 13295 181662 485582 413639 194.0 28 182
1616.09/1616.56 c s 1616.2 832087 49867 56876 13295 181721 496517 363039 193.7 2 167
1715.36/1715.89 c s 1715.5 853064 49862 56876 13295 181726 524244 390178 192.4 6 178
1831.33/1831.83 c s 1831.4 898007 49856 56877 13300 181726 558698 414238 190.3 15 187
1943.22/1943.74 c s 1943.3 904481 49856 56877 13300 181726 588315 413976 188.8 3 188
1983.70/1984.26 c + 1983.8 922871 49856 56877 13300 181726 606976 455002 187.2 40 202
2051.88/2052.43 c s 2051.9 929385 49855 56878 13300 181726 621102 428412 186.7 3 194
2165.96/2166.52 c s 2166.0 914355 49780 56879 13300 181800 647402 443450 185.9 16 192
2282.03/2282.61 c s 2282.1 914238 49723 56879 13300 181857 673496 450018 186.0 8 193
2414.80/2415.49 c s 2414.9 984523 49710 56880 13303 181866 712630 455337 184.5 21 197
2540.06/2540.76 c s 2540.1 987491 49702 56880 13303 181874 740449 456601 183.4 17 200
2600.85/2601.51 c + 2600.9 987934 49702 56880 13303 181874 758720 500502 183.0 23 216
2676.53/2677.23 c
2676.53/2677.23 c original/binary fixed eliminated learned agility
2676.53/2677.23 c seconds variables equivalent conflicts height MB
2676.53/2677.23 c
2676.53/2677.23 c s 2676.6 964429 49697 56882 13303 181877 777830 474271 181.9 3 205
2814.60/2815.34 c s 2814.7 973315 49697 56882 13303 181877 818232 501634 181.1 28 215
2949.97/2950.70 c s 2950.0 974955 49697 56882 13303 181877 854778 500487 180.5 7 216
3073.44/3074.30 c s 3073.5 990780 49697 56882 13303 181877 884570 500655 179.9 3 218
3113.92/3114.74 c B 3114.0 1003876 49697 56882 13303 181877 896196 501566 179.4 5 233
3211.40/3212.27 c s 3211.5 1007997 49697 56882 13303 181877 934236 501151 178.6 28 220
3211.70/3212.57 c R 3211.8 1007997 49697 56882 13303 181877 934390 500922 178.6 22 221
3244.10/3244.97 c + 3244.2 1008450 49697 56882 13303 181877 948400 550552 178.5 15 233
3354.67/3355.53 c s 3354.7 1009326 49697 56882 13303 181877 989862 543988 177.9 7 233
3500.64/3501.55 c s 3500.7 1015009 49697 56882 13303 181877 1032599 550754 177.3 62 237
3654.60/3655.56 c s 3654.7 969931 49562 56883 13306 182008 1061122 519463 176.2 0 207
3801.77/3802.72 c s 3801.8 970157 49449 56883 13306 182121 1097608 535993 175.3 2 208
3937.93/3938.99 c s 3938.0 976198 49445 56883 13306 182125 1121940 550823 174.7 8 214
4096.99/4098.00 c s 4097.0 1033156 49441 56884 13309 182125 1154819 550568 174.1 0 220
4212.66/4213.78 c + 4212.8 1036442 49441 56884 13309 182125 1185501 605607 173.6 22 242
4250.36/4251.46 c s 4250.4 1036884 49441 56884 13309 182125 1194854 560727 173.4 27 225
4405.71/4406.90 c s 4405.8 1038107 49441 56884 13309 182125 1227475 593321 172.7 17 237
4581.67/4582.82 c s 4581.7 1045374 49295 56885 13312 182267 1258727 584155 172.0 17 226
4748.64/4749.85 c s 4748.7 1048165 49184 56885 13312 182378 1299070 591817 171.4 8 225
4923.90/4925.19 c
4923.90/4925.19 c original/binary fixed eliminated learned agility
4923.90/4925.19 c seconds variables equivalent conflicts height MB
4923.90/4925.19 c
4923.90/4925.19 c s 4924.0 1098274 49155 56886 13315 182403 1335016 603768 170.8 15 231
5107.25/5108.54 c s 5107.3 1120736 49150 56886 13315 182408 1374954 606106 170.3 2 235
5276.61/5277.96 c s 5276.7 1122977 49149 56886 13315 182409 1410587 606293 170.0 12 241
5451.27/5452.64 c s 5451.3 1123599 49149 56886 13315 182409 1459271 607008 169.1 11 243
5535.05/5536.43 c + 5535.1 1129560 49149 56886 13315 182409 1481876 666167 168.9 24 263
5647.22/5648.66 c s 5647.3 1073565 49018 56887 13320 182534 1501171 602260 168.8 22 231
5821.88/5823.38 c s 5822.0 1075875 48909 56887 13320 182643 1533163 617093 168.3 2 233
5992.14/5993.63 c s 5992.2 1078558 48906 56887 13320 182646 1565970 649669 167.8 6 245
6181.50/6183.09 c s 6181.6 1052560 48902 56888 13320 182649 1597897 666453 167.3 1 252
6360.35/6361.90 c s 6360.4 1081761 48896 56889 13323 182651 1628333 665495 166.9 5 256
6545.81/6547.44 c s 6545.9 1083356 48896 56889 13323 182651 1671099 667910 166.3 17 260
6727.16/6728.81 c s 6727.2 1099478 48896 56889 13323 182651 1702144 667388 165.9 10 264
6911.83/6913.53 c s 6911.9 1108560 48896 56889 13323 182651 1740153 667224 165.4 8 268
7113.68/7115.43 c s 7113.7 1111086 48896 56889 13323 182651 1783571 666656 164.9 17 272
7300.43/7302.29 c s 7300.5 1067067 48747 56890 13326 182796 1824471 634628 164.3 6 244
7412.40/7414.28 c + 7412.5 1080455 48747 56890 13326 182796 1852345 732783 163.9 5 274
7472.29/7474.18 c s 7472.4 1079669 48640 56890 13326 182903 1866873 660919 163.7 10 247
7654.74/7656.65 c s 7654.8 1081498 48626 56890 13326 182917 1904041 696613 163.8 16 259
7832.20/7834.10 c s 7832.2 1087414 48626 56890 13326 182917 1937742 730308 163.2 11 272
8031.45/8033.48 c
8031.45/8033.48 c original/binary fixed eliminated learned agility
8031.45/8033.48 c seconds variables equivalent conflicts height MB
8031.45/8033.48 c
8031.45/8033.48 c s 8031.5 1104910 48626 56890 13326 182917 1980210 732981 163.0 24 277
8220.51/8222.52 c s 8220.5 1105730 48626 56890 13326 182917 2017518 734871 163.1 9 282
8332.48/8334.58 c B 8332.6 1105987 48626 56890 13326 182917 2048486 734918 163.1 8 306
8436.25/8438.35 c s 8436.3 1109539 48626 56890 13326 182917 2072429 733696 162.9 4 283
8634.80/8636.99 c s 8634.9 1118789 48626 56890 13326 182917 2112600 734510 162.7 19 288
8827.96/8830.12 c s 8828.0 1119304 48626 56890 13326 182917 2155748 733908 162.3 5 291
9013.11/9015.31 c s 9013.1 1119525 48626 56890 13326 182917 2192540 733491 162.0 5 295
9219.57/9221.83 c s 9219.6 1121658 48626 56890 13326 182917 2241406 732903 162.0 4 299
9427.32/9429.67 c s 9427.4 1122072 48626 56890 13326 182917 2291455 733682 161.9 1 303
9532.79/9535.13 c + 9532.8 1122454 48626 56890 13326 182917 2315430 806061 161.7 30 324
9629.57/9631.90 c s 9629.6 1122791 48626 56890 13326 182917 2330166 748230 161.7 8 309
9848.72/9851.14 c s 9848.8 1135139 48626 56890 13326 182917 2362234 780287 161.5 5 324
10000.08/10002.50 c
10000.08/10002.50 c *** CAUGHT SIGNAL 15 ***
10000.08/10002.50 c
10000.08/10002.50 c 2392025 conflicts, 6746253 decisions, 1661 random
10000.08/10002.50 c 63 iterations, 4428 restarts, 1346 skipped
10000.08/10002.50 c 10 enlarged, 11039 shrunken, 23384 rescored, 547 rebiased
10000.08/10002.50 c 74 simplifications, 0 reductions
10000.08/10002.50 c
10000.08/10002.50 c vars: 56890 fixed, 13326 equiv, 182917 elim, 13510 merged
10000.08/10002.50 c elim: 24561585 resolutions, 56 phases, 9 rounds
10000.08/10002.50 c sbst: 85% substituted, 13.1% nots, 85.7% ands, 1.2% xors, 0.1% ites
10000.08/10002.50 c arty: 2.15 and 2.00 xor average arity
10000.08/10002.50 c prbe: 2407408 probed, 3678 phases, 24 rounds
10000.08/10002.50 c prbe: 262 failed, 51512 lifted, 3425 merged
10000.08/10002.50 c sccs: 116 non trivial, 0 fixed, 1684 merged
10000.08/10002.50 c hash: 634 units, 8401 merged
10000.08/10002.50 c mins: 178030783 learned, 54% deleted, 642 strong, 1000 depth
10000.08/10002.50 c subs: 7432 forward, 525179 backward, 561310 doms
10000.08/10002.50 c strs: 24561 forward, 902 backward
10000.08/10002.50 c doms: 767356 dominators, 574741 high, 802 low
10000.08/10002.50 c prps: 4205513555 propagations, 0.42 megaprops
10000.08/10002.50 c
10000.08/10002.50 c 10000.1 seconds, 362 MB max, 675 MB recycled
10000.08/10002.50 c
10000.08/10002.50 c *** CAUGHT SIGNAL 15 ***
10000.08/10002.50 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773711-1241186135/watcher-1773711-1241186135 -o /tmp/evaluation-result-1773711-1241186135/solver-1773711-1241186135 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773711-1241186135.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: 1.03 1.03 0.96 3/64 16784
/proc/meminfo: memFree=1240560/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=5504 CPUtime=0
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 884 0 0 0 0 0 0 0 18 0 1 0 146647073 5636096 869 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/16784/statm: 1376 876 58 155 0 1219 0
[startup+0.0709709 s]
/proc/loadavg: 1.03 1.03 0.96 3/64 16784
/proc/meminfo: memFree=1240560/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=19356 CPUtime=0.06
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 4176 0 0 0 5 1 0 0 18 0 1 0 146647073 19820544 4162 1992294400 134512640 135151029 4294956240 18446744073709551615 134534799 0 0 4096 0 0 0 0 17 1 0 0
/proc/16784/statm: 4839 4169 59 155 0 4682 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19356
[startup+0.101971 s]
/proc/loadavg: 1.03 1.03 0.96 3/64 16784
/proc/meminfo: memFree=1240560/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=27948 CPUtime=0.09
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 6668 0 0 0 7 2 0 0 18 0 1 0 146647073 28618752 6653 1992294400 134512640 135151029 4294956240 18446744073709551615 134572589 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 6987 6653 63 155 0 6830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27948
[startup+0.301989 s]
/proc/loadavg: 1.03 1.03 0.96 3/64 16784
/proc/meminfo: memFree=1240560/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=36764 CPUtime=0.29
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 9109 0 0 0 25 4 0 0 19 0 1 0 146647073 37646336 8867 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 9191 8868 63 155 0 9034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36764
[startup+0.702022 s]
/proc/loadavg: 1.03 1.03 0.96 3/64 16784
/proc/meminfo: memFree=1240560/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=51516 CPUtime=0.69
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 13046 0 0 0 63 6 0 0 22 0 1 0 146647073 52752384 12547 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 12879 12547 63 155 0 12722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51516
[startup+1.50109 s]
/proc/loadavg: 1.03 1.03 0.96 2/65 16785
/proc/meminfo: memFree=1180392/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=77984 CPUtime=1.49
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 20179 0 0 0 140 9 0 0 25 0 1 0 146647073 79855616 19167 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 19496 19167 63 155 0 19339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77984
[startup+3.10123 s]
/proc/loadavg: 1.03 1.03 0.96 2/65 16785
/proc/meminfo: memFree=1146408/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=112072 CPUtime=3.09
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 29260 0 0 0 296 13 0 0 25 0 1 0 146647073 114761728 27222 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 28018 27223 79 155 0 27861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112072
[startup+6.3015 s]
/proc/loadavg: 1.18 1.06 0.97 2/65 16785
/proc/meminfo: memFree=1104360/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=152096 CPUtime=6.29
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 40843 0 0 0 610 19 0 0 25 0 1 0 146647073 155746304 36756 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 38024 36756 79 155 0 37867 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152096
[startup+12.7011 s]
/proc/loadavg: 1.17 1.06 0.97 2/65 16785
/proc/meminfo: memFree=1068144/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=175812 CPUtime=12.68
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 59886 0 0 0 1240 28 0 0 25 0 1 0 146647073 180031488 42530 1992294400 134512640 135151029 4294956240 18446744073709551615 134680430 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 43953 42530 79 155 0 43796 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 175812
[startup+25.5012 s]
/proc/loadavg: 1.13 1.05 0.97 2/65 16785
/proc/meminfo: memFree=1050480/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=197232 CPUtime=25.49
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 66384 0 0 0 2517 32 0 0 25 0 1 0 146647073 201965568 47490 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 49308 47490 79 155 0 49151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 197232
[startup+51.1014 s]
/proc/loadavg: 1.09 1.05 0.97 2/65 16785
/proc/meminfo: memFree=1069616/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177880 CPUtime=51.07
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 67964 0 0 0 5074 33 0 0 25 0 1 0 146647073 182149120 42666 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44470 42666 79 155 0 44313 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 177880
[startup+102.305 s]
/proc/loadavg: 1.04 1.04 0.97 2/65 16785
/proc/meminfo: memFree=1073648/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=173804 CPUtime=102.26
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 76942 0 0 0 10188 38 0 0 25 0 1 0 146647073 177975296 41647 1992294400 134512640 135151029 4294956240 18446744073709551615 134522244 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 43451 41647 79 155 0 43294 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 173804
[startup+162.302 s]
/proc/loadavg: 1.01 1.03 0.97 2/65 16785
/proc/meminfo: memFree=1069488/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177904 CPUtime=162.24
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 91350 0 0 0 16179 45 0 0 25 0 1 0 146647073 182173696 42673 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44476 42673 79 155 0 44319 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 177904
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/65 16785
/proc/meminfo: memFree=1069488/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177904 CPUtime=222.23
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 99143 0 0 0 22174 49 0 0 25 0 1 0 146647073 182173696 42673 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44476 42673 79 155 0 44319 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 177904
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/65 16785
/proc/meminfo: memFree=1069552/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177908 CPUtime=282.21
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 106937 0 0 0 28168 53 0 0 25 0 1 0 146647073 182177792 42674 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44477 42674 79 155 0 44320 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 177908
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 16791
/proc/meminfo: memFree=1069488/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177908 CPUtime=342.19
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 114731 0 0 0 34162 57 0 0 25 0 1 0 146647073 182177792 42675 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44477 42675 79 155 0 44320 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 177908
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 16791
/proc/meminfo: memFree=1069552/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177916 CPUtime=402.17
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 122526 0 0 0 40157 60 0 0 25 0 1 0 146647073 182185984 42677 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44479 42677 79 155 0 44322 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 177916
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16791
/proc/meminfo: memFree=1069168/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=178956 CPUtime=462.17
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 131094 0 0 0 46152 65 0 0 25 0 1 0 146647073 183250944 42809 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44739 42809 79 155 0 44582 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 178956
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16791
/proc/meminfo: memFree=1069488/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177928 CPUtime=522.15
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 140936 0 0 0 52145 70 0 0 25 0 1 0 146647073 182198272 42680 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44482 42680 79 155 0 44325 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 177928
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16791
/proc/meminfo: memFree=1069488/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=177928 CPUtime=582.13
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 150779 0 0 0 58139 74 0 0 25 0 1 0 146647073 182198272 42681 1992294400 134512640 135151029 4294956240 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 44482 42681 79 155 0 44325 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 177928
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16791
/proc/meminfo: memFree=1059568/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=187980 CPUtime=642.12
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 157034 0 0 0 64135 77 0 0 25 0 1 0 146647073 192491520 45194 1992294400 134512640 135151029 4294956240 18446744073709551615 134548355 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 46995 45194 79 155 0 46838 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 187980
[startup+702.302 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=895344/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=350804 CPUtime=9100.09
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 774590 0 0 0 909604 405 0 0 25 0 1 0 146647073 359223296 85724 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 87701 85724 79 155 0 87544 0
Current children cumulated CPU time (s) 9100.09
Current children cumulated vsize (KiB) 350804
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=891504/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=355244 CPUtime=9160.08
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 775533 0 0 0 915602 406 0 0 25 0 1 0 146647073 363769856 86667 1992294400 134512640 135151029 4294956240 18446744073709551615 134552538 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 88811 86667 79 155 0 88654 0
Current children cumulated CPU time (s) 9160.08
Current children cumulated vsize (KiB) 355244
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=889840/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=356648 CPUtime=9220.07
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 781006 0 0 0 921598 409 0 0 25 0 1 0 146647073 365207552 87037 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89162 87037 79 155 0 89005 0
Current children cumulated CPU time (s) 9220.07
Current children cumulated vsize (KiB) 356648
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=889712/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=356648 CPUtime=9280.05
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 781084 0 0 0 927596 409 0 0 25 0 1 0 146647073 365207552 87115 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89162 87115 79 155 0 89005 0
Current children cumulated CPU time (s) 9280.05
Current children cumulated vsize (KiB) 356648
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=889456/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=356648 CPUtime=9340.04
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 781157 0 0 0 933595 409 0 0 25 0 1 0 146647073 365207552 87188 1992294400 134512640 135151029 4294956240 18446744073709551615 134554760 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89162 87188 79 155 0 89005 0
Current children cumulated CPU time (s) 9340.04
Current children cumulated vsize (KiB) 356648
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=888432/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=358088 CPUtime=9400.02
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 781430 0 0 0 939593 409 0 0 25 0 1 0 146647073 366682112 87461 1992294400 134512640 135151029 4294956240 18446744073709551615 134552590 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89522 87461 79 155 0 89365 0
Current children cumulated CPU time (s) 9400.02
Current children cumulated vsize (KiB) 358088
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=887344/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=358772 CPUtime=9460.01
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 786775 0 0 0 945589 412 0 0 25 0 1 0 146647073 367382528 87695 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89693 87695 79 155 0 89536 0
Current children cumulated CPU time (s) 9460.01
Current children cumulated vsize (KiB) 358772
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=887216/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=358772 CPUtime=9520
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 786821 0 0 0 951588 412 0 0 25 0 1 0 146647073 367382528 87741 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 89693 87741 79 155 0 89536 0
Current children cumulated CPU time (s) 9520
Current children cumulated vsize (KiB) 358772
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=886064/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=360308 CPUtime=9579.98
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 787099 0 0 0 957586 412 0 0 25 0 1 0 146647073 368955392 88019 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 90077 88019 79 155 0 89920 0
Current children cumulated CPU time (s) 9579.98
Current children cumulated vsize (KiB) 360308
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=881584/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=364684 CPUtime=9639.97
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 792963 0 0 0 963581 416 0 0 25 0 1 0 146647073 373436416 89117 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 91171 89117 79 155 0 91014 0
Current children cumulated CPU time (s) 9639.97
Current children cumulated vsize (KiB) 364684
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=881072/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=364684 CPUtime=9699.95
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 793094 0 0 0 969579 416 0 0 25 0 1 0 146647073 373436416 89248 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 91171 89248 79 155 0 91014 0
Current children cumulated CPU time (s) 9699.95
Current children cumulated vsize (KiB) 364684
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16807
/proc/meminfo: memFree=875312/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=371468 CPUtime=9759.94
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 794548 0 0 0 975577 417 0 0 25 0 1 0 146647073 380383232 90702 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 92867 90702 79 155 0 92710 0
Current children cumulated CPU time (s) 9759.94
Current children cumulated vsize (KiB) 371468
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=870704/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=376620 CPUtime=9819.92
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 795692 0 0 0 981573 419 0 0 25 0 1 0 146647073 385658880 91846 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 94155 91846 79 155 0 93998 0
Current children cumulated CPU time (s) 9819.92
Current children cumulated vsize (KiB) 376620
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=867632/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=378580 CPUtime=9879.91
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 801452 0 0 0 987569 422 0 0 25 0 1 0 146647073 387665920 92583 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 94645 92583 79 155 0 94488 0
Current children cumulated CPU time (s) 9879.91
Current children cumulated vsize (KiB) 378580
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=861424/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=385552 CPUtime=9939.89
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 803034 0 0 0 993565 424 0 0 25 0 1 0 146647073 394805248 94165 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 96388 94165 79 155 0 96231 0
Current children cumulated CPU time (s) 9939.89
Current children cumulated vsize (KiB) 385552
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=856112/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=391392 CPUtime=9999.88
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 804343 0 0 0 999563 425 0 0 25 0 1 0 146647073 400785408 95474 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 97848 95474 79 155 0 97691 0
Current children cumulated CPU time (s) 9999.88
Current children cumulated vsize (KiB) 391392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=856112/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=391392 CPUtime=10000.1
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 804343 0 0 0 999583 425 0 0 25 0 1 0 146647073 400785408 95474 1992294400 134512640 135151029 4294956240 18446744073709551615 134542823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 97848 95474 79 155 0 97691 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 391392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16809
/proc/meminfo: memFree=856112/2055920 swapFree=4179760/4192956
[pid=16784] ppid=16782 vsize=391392 CPUtime=10000.1
/proc/16784/stat : 16784 (precosat) R 16782 16784 16712 0 -1 4194304 804343 0 0 0 999583 425 0 0 25 0 1 0 146647073 400785408 95474 1992294400 134512640 135151029 4294956240 18446744073709551615 134542823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16784/statm: 97848 95474 79 155 0 97691 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 391392
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.6
CPU time (s): 10000.2
CPU user time (s): 9995.83
CPU system time (s): 4.31834
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 391392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9995.83
system time used= 4.31834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804343
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= 22871
runsolver used 7.54885 second user time and 21.2778 second system time
The end
Begin job on node15 at 2009-05-01 15:55:37
IDJOB=1773711
IDBENCH=70782
IDSOLVER=607
FILE ID=node15/1773711-1241186135
PBS_JOBID= 9224581
Free space on /tmp= 66520 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773711-1241186135/watcher-1773711-1241186135 -o /tmp/evaluation-result-1773711-1241186135/solver-1773711-1241186135 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773711-1241186135.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED=2006300208
node15.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.220
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 : 5931.00
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.220
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: 1240976 kB
Buffers: 74112 kB
Cached: 648548 kB
SwapCached: 7388 kB
Active: 124268 kB
Inactive: 607880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240976 kB
SwapTotal: 4192956 kB
SwapFree: 4179760 kB
Dirty: 17196 kB
Writeback: 0 kB
Mapped: 14552 kB
Slab: 68716 kB
Committed_AS: 653360 kB
PageTables: 1464 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= 66520 MiB
End job on node15 at 2009-05-01 18:42:21