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-1773061-1241182107.cnf
0.00/0.00 c found header 'p cnf 892 3006'
0.00/0.00 c finished parsing
0.00/0.00 c
0.00/0.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00 c
0.00/0.00 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.00 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.00 c
0.00/0.00 c starting search after 0.0 seconds
0.00/0.00 c no decision limit
0.00/0.00 c
0.00/0.00 c original/binary fixed eliminated learned agility
0.00/0.00 c seconds variables equivalent conflicts height MB
0.00/0.00 c
0.00/0.00 c * 0.0 3003 889 3 0 0 0 0 0.0 0 0
0.00/0.03 c s 0.0 2696 536 10 6 340 0 0 0.0 0 0
0.00/0.03 c l 0.0 2696 536 10 6 340 0 1995 0.0 0 0
0.00/0.04 c N 0.0 2709 535 11 6 340 145 142 35.1 35 0
0.04/0.05 c N 0.1 2709 535 11 6 340 246 243 29.1 41 0
0.10/0.10 c s 0.1 2693 535 11 6 340 727 716 21.6 39 0
0.10/0.11 c N 0.1 2693 535 11 6 340 848 837 21.6 41 0
0.10/0.12 c B 0.1 2693 535 11 6 340 1002 991 21.6 41 0
0.10/0.18 c s 0.2 2695 535 11 6 340 1778 1767 20.5 39 1
0.19/0.20 c + 0.2 2699 535 11 6 340 1996 2194 20.3 38 1
0.19/0.21 c B 0.2 2699 535 11 6 340 2003 1991 20.3 38 1
0.19/0.25 c N 0.3 2701 535 11 6 340 2453 2202 19.9 42 1
0.19/0.25 c + 0.3 2701 535 11 6 340 2495 2413 20.0 42 1
0.29/0.30 c + 0.3 2702 535 11 6 340 3116 2654 19.1 39 1
0.29/0.31 c s 0.3 2702 535 11 6 340 3129 2440 19.1 39 1
0.29/0.38 c + 0.4 2707 535 11 6 340 3896 2919 19.8 42 1
0.39/0.47 c + 0.5 2708 535 11 6 340 4871 3210 20.4 34 1
0.39/0.48 c s 0.5 2708 535 11 6 340 4923 2997 20.5 35 1
0.49/0.57 c + 0.6 2714 535 11 6 340 6085 3531 19.6 36 1
0.59/0.61 c
0.59/0.61 c original/binary fixed eliminated learned agility
0.59/0.61 c seconds variables equivalent conflicts height MB
0.59/0.61 c
0.59/0.61 c N 0.6 2714 535 11 6 340 6465 3557 19.4 36 1
0.59/0.65 c s 0.7 2714 535 11 6 340 6797 3543 19.1 33 1
0.69/0.73 c + 0.7 2719 535 11 6 340 7605 3884 19.0 39 1
0.69/0.77 c B 0.8 2745 535 11 6 340 8005 3893 19.1 39 1
0.79/0.83 c s 0.8 2745 535 11 6 340 8615 3897 18.8 39 1
0.89/0.90 c + 0.9 2746 535 11 6 340 9506 4272 18.6 43 1
1.00/1.08 c s 1.1 2746 535 11 6 340 11438 4289 17.9 41 1
1.10/1.13 c + 1.1 2746 535 11 6 340 11880 4699 17.9 40 1
1.39/1.44 c + 1.4 2746 535 11 6 340 14850 5168 17.4 35 1
1.49/1.59 c N 1.6 2746 535 11 6 340 16083 5179 17.1 38 1
1.79/1.87 c + 1.9 2746 535 11 6 340 18560 5684 16.7 38 1
2.39/2.44 c + 2.4 2746 535 11 6 340 23200 6252 15.8 42 1
2.49/2.53 c B 2.5 2746 535 11 6 340 24011 6284 15.8 38 1
3.09/3.11 c + 3.1 2746 535 11 6 340 29001 6877 15.5 41 1
3.99/4.06 c + 4.1 2746 535 11 6 340 36251 7564 15.2 40 2
4.30/4.35 c N 4.4 2746 535 11 6 340 38522 7592 15.1 39 2
5.09/5.19 c + 5.2 2746 535 11 6 340 45310 8320 14.6 45 2
6.69/6.71 c + 6.7 2746 535 11 6 340 56635 9152 13.8 46 2
7.69/7.74 c B 7.7 2746 535 11 6 340 64022 9186 13.8 42 2
8.59/8.67 c
8.59/8.67 c original/binary fixed eliminated learned agility
8.59/8.67 c seconds variables equivalent conflicts height MB
8.59/8.67 c
8.59/8.67 c + 8.7 2746 535 11 6 340 70792 10067 13.6 40 2
10.39/10.43 c s 10.4 2730 531 11 6 344 82776 10069 13.4 43 1
10.79/10.89 c s 10.9 2732 531 11 6 344 86170 10078 13.4 39 1
11.09/11.15 c + 11.1 2732 531 11 6 344 88492 11073 13.7 41 2
11.19/11.28 c N 11.3 2732 531 11 6 344 89809 11097 13.9 38 2
14.39/14.43 c + 14.4 2732 531 11 6 344 110616 12180 14.1 44 3
18.88/18.92 c + 18.9 2732 531 11 6 344 138273 13398 13.8 43 3
22.38/22.40 c B 22.4 2732 531 11 6 344 160035 13430 13.6 42 3
24.48/24.54 c + 24.5 2732 531 11 6 344 172840 14737 13.5 42 3
28.88/28.91 c s 28.9 2733 531 11 6 344 195944 14777 13.5 44 2
29.68/29.73 c s 29.7 2735 531 11 6 344 201328 14764 13.6 40 2
30.28/30.33 c N 30.3 2735 531 11 6 344 205225 14776 13.6 37 2
32.08/32.15 c + 32.1 2735 531 11 6 344 216051 16210 13.5 38 3
40.98/41.04 c + 41.0 2735 531 11 6 344 270060 17831 13.1 35 3
46.87/46.91 c s 46.9 2736 531 11 6 344 303721 17863 12.8 39 2
47.87/47.92 c s 47.9 2725 525 14 8 345 310621 17262 12.8 41 2
51.97/52.07 c + 52.1 2725 525 14 8 345 337576 19614 12.8 42 3
56.67/56.77 c s 56.8 2726 525 14 8 345 364778 19634 12.7 41 3
57.87/57.98 c s 58.0 2737 525 14 8 345 372332 19631 12.9 42 3
60.26/60.32 c
60.26/60.32 c original/binary fixed eliminated learned agility
60.26/60.32 c seconds variables equivalent conflicts height MB
60.26/60.32 c
60.26/60.32 c B 60.3 2737 525 14 8 345 384077 19629 12.9 37 4
67.37/67.42 c + 67.4 2737 525 14 8 345 421970 21575 12.9 43 4
68.27/68.35 c s 68.3 2738 525 14 8 345 426694 21591 12.8 40 3
69.67/69.76 c s 69.7 2767 525 14 8 345 435839 21601 12.9 41 3
71.07/71.15 c s 71.1 2763 524 15 8 345 444706 16101 12.8 37 2
82.06/82.17 c s 82.1 2762 523 15 9 345 499937 21234 12.6 36 3
83.36/83.44 c s 83.4 2862 521 16 10 345 507180 21589 12.7 39 3
87.16/87.24 c + 87.2 2862 521 16 10 345 527460 23732 12.6 37 4
88.06/88.15 c s 88.1 2863 521 16 10 345 532444 23773 12.6 41 3
89.76/89.87 c s 89.8 2873 521 16 10 345 540689 23745 12.5 39 3
91.46/91.59 c s 91.6 2789 518 16 10 348 549150 23450 12.5 37 3
93.06/93.13 c s 93.1 2837 517 16 11 348 557115 23761 12.5 36 3
94.66/94.71 c s 94.7 2839 517 16 11 348 565464 23762 12.5 35 3
96.16/96.24 c s 96.2 2846 517 16 11 348 573852 23758 12.4 43 3
97.86/97.91 c s 97.9 2859 517 16 11 348 582949 23762 12.4 39 3
99.65/99.71 c s 99.7 2862 517 16 11 348 590660 23758 12.4 38 3
101.25/101.39 c s 101.4 2866 516 16 11 349 597820 23708 12.3 37 3
102.85/102.92 c 0 102.9 18486 274 192 77 349 605105 23731 12.3 36 4
102.85/102.92 c
102.85/102.92 s UNSATISFIABLE
102.85/102.92 c
102.85/102.92 c 605105 conflicts, 721995 decisions, 1 random
102.85/102.92 c 12 iterations, 0 restarts, 1467 skipped
102.85/102.92 c 26 enlarged, 74 shrunken, 5916 rescored, 188 rebiased
102.85/102.92 c 30 simplifications, 0 reductions
102.85/102.92 c
102.85/102.92 c vars: 192 fixed, 77 equiv, 349 elim, 114 merged
102.85/102.92 c elim: 64535 resolutions, 7 phases, 7 rounds
102.85/102.92 c sbst: 100% substituted, 0.0% nots, 90.2% ands, 9.5% xors, 0.3% ites
102.85/102.92 c arty: 2.02 and 2.00 xor average arity
102.85/102.92 c prbe: 25133 probed, 18 phases, 22 rounds
102.85/102.92 c prbe: 3 failed, 4 lifted, 0 merged
102.85/102.92 c sccs: 0 non trivial, 0 fixed, 0 merged
102.85/102.92 c hash: 4 units, 114 merged
102.85/102.92 c mins: 13098471 learned, 54% deleted, 263 strong, 39 depth
102.85/102.92 c subs: 135 forward, 92 backward, 16498 doms
102.85/102.92 c strs: 130 forward, 9 backward
102.85/102.92 c doms: 16608 dominators, 16398 high, 76 low
102.85/102.92 c prps: 80285285 propagations, 0.78 megaprops
102.85/102.92 c
102.85/102.92 c 102.9 seconds, 4 MB max, 62 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773061-1241182107/watcher-1773061-1241182107 -o /tmp/evaluation-result-1773061-1241182107/solver-1773061-1241182107 -C 10000 -W 6000 -M 1800 HOME/precosat HOME/instance-1773061-1241182107.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): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29678
/proc/meminfo: memFree=1218232/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1048 CPUtime=0
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 169 0 0 0 0 0 0 0 18 0 1 0 146244701 1073152 153 1992294400 134512640 135151029 4294956240 18446744073709551615 134615082 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 262 154 75 155 0 105 0
[startup+0.0517689 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29678
/proc/meminfo: memFree=1218232/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1276 CPUtime=0.04
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 237 0 0 0 4 0 0 0 18 0 1 0 146244701 1306624 221 1992294400 134512640 135151029 4294956240 18446744073709551615 134551371 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 319 221 79 155 0 162 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1276
[startup+0.102778 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29678
/proc/meminfo: memFree=1218232/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1276 CPUtime=0.1
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 237 0 0 0 10 0 0 0 18 0 1 0 146244701 1306624 221 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 319 221 79 155 0 162 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1276
[startup+0.301813 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29678
/proc/meminfo: memFree=1218232/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1408 CPUtime=0.29
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 290 0 0 0 29 0 0 0 19 0 1 0 146244701 1441792 274 1992294400 134512640 135151029 4294956240 18446744073709551615 134551895 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 352 274 79 155 0 195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1408
[startup+0.701883 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29678
/proc/meminfo: memFree=1218232/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1800 CPUtime=0.69
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 369 0 0 0 69 0 0 0 22 0 1 0 146244701 1843200 353 1992294400 134512640 135151029 4294956240 18446744073709551615 134552239 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 450 353 79 155 0 293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1800
[startup+1.50202 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1217072/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=1932 CPUtime=1.49
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 412 0 0 0 149 0 0 0 25 0 1 0 146244701 1978368 396 1992294400 134512640 135151029 4294956240 18446744073709551615 134554325 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 483 396 79 155 0 326 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1932
[startup+3.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1216688/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=2328 CPUtime=3.09
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 498 0 0 0 309 0 0 0 25 0 1 0 146244701 2383872 482 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 582 482 79 155 0 425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2328
[startup+6.30186 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1215984/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=2860 CPUtime=6.29
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 637 0 0 0 629 0 0 0 25 0 1 0 146244701 2928640 621 1992294400 134512640 135151029 4294956240 18446744073709551615 134551371 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 715 621 79 155 0 558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2860
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1215216/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=3488 CPUtime=12.69
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 788 0 0 0 1269 0 0 0 25 0 1 0 146244701 3571712 772 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 872 772 79 155 0 715 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3488
[startup+25.5022 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1214064/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=4588 CPUtime=25.48
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 1053 0 0 0 2548 0 0 0 25 0 1 0 146244701 4698112 1037 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 1147 1037 79 155 0 990 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4588
[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1213808/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=4628 CPUtime=51.07
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 1241 0 0 0 5107 0 0 0 25 0 1 0 146244701 4739072 1074 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 1157 1074 79 155 0 1000 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 4628
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1213360/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=4976 CPUtime=102.26
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 1557 0 0 0 10225 1 0 0 25 0 1 0 146244701 5095424 1167 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 1244 1167 79 155 0 1087 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 4976
Solver just ended. Dumping a history of the last processes samples
[startup+102.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1213360/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=5112 CPUtime=102.65
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 1567 0 0 0 10264 1 0 0 25 0 1 0 146244701 5234688 1177 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 1278 1177 79 155 0 1121 0
Current children cumulated CPU time (s) 102.65
Current children cumulated vsize (KiB) 5112
[startup+102.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29679
/proc/meminfo: memFree=1213360/2055920 swapFree=4180136/4192956
[pid=29678] ppid=29676 vsize=5376 CPUtime=102.85
/proc/29678/stat : 29678 (precosat) R 29676 29678 29560 0 -1 4194304 1642 0 0 0 10284 1 0 0 25 0 1 0 146244701 5505024 1252 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29678/statm: 1344 1252 79 155 0 1187 0
Current children cumulated CPU time (s) 102.85
Current children cumulated vsize (KiB) 5376
Child status: 20
Real time (s): 102.922
CPU time (s): 102.884
CPU user time (s): 102.868
CPU system time (s): 0.015997
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 5632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.868
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1654
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= 314
runsolver used 0.097985 second user time and 0.197969 second system time
The end
Begin job on node4 at 2009-05-01 14:48:27
IDJOB=1773061
IDBENCH=20471
IDSOLVER=607
FILE ID=node4/1773061-1241182107
PBS_JOBID= 9224578
Free space on /tmp= 66388 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773061-1241182107/watcher-1773061-1241182107 -o /tmp/evaluation-result-1773061-1241182107/solver-1773061-1241182107 -C 10000 -W 6000 -M 1800 HOME/precosat HOME/instance-1773061-1241182107.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 738c5d916b76338511b77dbd47cdbc16
RANDOM SEED=1896778680
node4.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.265
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.265
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: 1218648 kB
Buffers: 69288 kB
Cached: 693976 kB
SwapCached: 7244 kB
Active: 232848 kB
Inactive: 539648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1218648 kB
SwapTotal: 4192956 kB
SwapFree: 4180136 kB
Dirty: 776 kB
Writeback: 0 kB
Mapped: 13572 kB
Slab: 50664 kB
Committed_AS: 851752 kB
PageTables: 1480 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= 66384 MiB
End job on node4 at 2009-05-01 14:50:10