0.04 c # Sugar v0-40 (/tmp/evaluation/247683-1170109822/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/247683-1170109822/unknown.xml [Mon Jan 29 23:30:22 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/247683-1170109822/unknown.xml /tmp/evaluation/247683-1170109822/sugar26677.csp [Mon Jan 29 23:30:22 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247683-1170109822/sugar-v0-40.jar -convert /tmp/evaluation/247683-1170109822/unknown.xml /tmp/evaluation/247683-1170109822/sugar26677.csp
0.17 c BEGIN convert /tmp/evaluation/247683-1170109822/unknown.xml
0.55 c END convert (0.382194 seconds)
0.60 c # CONVERT_XML END : /tmp/evaluation/247683-1170109822/sugar26677.csp 589594 bytes (1 seconds) [Mon Jan 29 23:30:23 2007]
0.60 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.60
0.60 c # GENERATE_SAT BEGIN : /tmp/evaluation/247683-1170109822/sugar26677.bcnf [Mon Jan 29 23:30:23 2007]
0.60 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247683-1170109822/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247683-1170109822/sugar26677.map /tmp/evaluation/247683-1170109822/sugar26677.csp /tmp/evaluation/247683-1170109822/sugar26677.bcnf
0.72 c BEGIN parse /tmp/evaluation/247683-1170109822/sugar26677.csp
3.24 c END parse (2.520824 seconds)
3.24 c BEGIN simplify
3.26 c END simplify (0.017716 seconds)
3.26 c BEGIN encode /tmp/evaluation/247683-1170109822/sugar26677.bcnf
3.41 c END encode (0.153899 seconds)
3.45 c # GENERATE_SAT END : 2156 variables 21241 clauses 526396 bytes (3 seconds) [Mon Jan 29 23:30:26 2007]
3.50 c # GENERATE_SAT CPU : 2.81 = 0.01 + 0 + 2.72 + 0.08
3.50
3.50 c # SOLVE_SAT BEGIN : /tmp/evaluation/247683-1170109822/sugar26677.bcnf [Mon Jan 29 23:30:26 2007]
3.50 c # CMD : /tmp/evaluation/247683-1170109822/minisat /tmp/evaluation/247683-1170109822/sugar26677.bcnf /tmp/evaluation/247683-1170109822/sugar26677.out
3.50 c ==================================[MINISAT]===================================
3.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.50 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.50 c ==============================================================================
3.50 c | 0 | 21241 110352 | 7080 0 0 nan | 0.000 % |
3.50 c | 100 | 21242 110352 | 7788 99 1426 14.4 | 0.000 % |
3.50 c | 250 | 21243 110352 | 8566 248 4338 17.5 | 0.000 % |
3.51 c | 476 | 21245 110352 | 9423 472 9636 20.4 | 0.005 % |
3.53 c | 813 | 21246 110352 | 10365 808 16712 20.7 | 0.000 % |
3.58 c | 1319 | 21211 110349 | 11402 1310 31990 24.4 | 1.258 % |
3.66 c | 2078 | 21211 110349 | 12542 2066 55784 27.0 | 2.226 % |
3.82 c | 3218 | 20687 108309 | 13796 3201 94825 29.6 | 2.227 % |
4.12 c | 4926 | 20170 106309 | 15176 4904 147393 30.1 | 3.718 % |
4.63 c | 7488 | 20173 106309 | 16694 7463 218461 29.3 | 3.720 % |
5.38 c | 11333 | 20144 106306 | 18363 11302 350283 31.0 | 3.994 % |
6.76 c | 17099 | 20117 106303 | 20200 17062 508567 29.8 | 5.528 % |
9.14 c | 25750 | 18993 101765 | 22220 16493 540638 32.8 | 8.302 % |
12.64 c | 38725 | 18056 98459 | 24442 13817 484936 35.1 | 11.740 % |
18.51 c | 58186 | 17085 94793 | 26886 20997 820170 39.1 | 13.358 % |
28.48 c | 87379 | 15816 89655 | 29574 16375 521930 31.9 | 17.579 % |
35.14 c ==============================================================================
35.14 c restarts : 16
35.14 c conflicts : 108622 (3437 /sec)
35.14 c decisions : 611735 (19354 /sec)
35.14 c propagations : 23889108 (755812 /sec)
35.14 c conflict literals : 3685632 (53.79 % deleted)
35.14 c Memory used : 7.71 MB
35.14 c CPU time : 31.6072 s
35.14 c
35.14 c UNSATISFIABLE
35.15 c # SOLVE_SAT END : UNSATISFIABLE (31 seconds) [Mon Jan 29 23:30:57 2007]
35.15 c # SOLVE_SAT CPU : 31.63 = 0 + 0 + 31.61 + 0.02
35.15
35.15 c # RESULT : UNSATISFIABLE
35.15
35.15 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 23:30:57 2007]
35.15 s UNSATISFIABLE
35.15 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 23:30:57 2007]
35.15 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
35.15
35.15 c # MAIN END : (35 seconds) [Mon Jan 29 23:30:57 2007]
35.15 c # MAIN CPU : 34.45 = 0.01 + 0.01 + 34.33 + 0.1
35.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-247683-1170109822 -o ROOT/results/node43/solver-247683-1170109822 -C 1800 -M 900 /tmp/evaluation/247683-1170109822/solver /tmp/evaluation/247683-1170109822 /tmp/evaluation/247683-1170109822/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.08 1.61 2.10 5/70 26678
/proc/meminfo: memFree=1884064/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=12268 CPUtime=0
/proc/26677/stat : 26677 (sugar) R 26673 26677 26548 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 30938254 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858147838 0 0 4224 0 0 0 0 17 1 0 0
/proc/26677/statm: 3067 315 241 3 0 167 0
[startup+0.106952 s]
/proc/loadavg: 1.08 1.61 2.10 5/70 26678
/proc/meminfo: memFree=1884064/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=13724 CPUtime=0.03
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30938254 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515025 s]
/proc/loadavg: 1.08 1.61 2.10 5/70 26678
/proc/meminfo: memFree=1884064/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=13724 CPUtime=0.03
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30938254 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33816 s]
/proc/loadavg: 1.08 1.61 2.10 4/90 26713
/proc/meminfo: memFree=1831616/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=13724 CPUtime=0.03
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30938254 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3431 808 370 3 0 531 0
[pid=26682] ppid=26677 vsize=0 CPUtime=0.49
/proc/26682/stat : 26682 (java) Z 26677 26677 26548 0 -1 1036 6752 0 1 0 44 5 0 0 16 0 1 0 30938259 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26682/statm: 0 0 0 0 0 0 0
[pid=26699] ppid=26677 vsize=807064 CPUtime=0.72
/proc/26699/stat : 26699 (java) R 26677 26677 26548 0 -1 0 8157 0 1 0 68 4 0 0 23 0 8 0 30938314 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26699/statm: 201766 7904 1494 14 0 189044 0
[pid=26699/tid=26701] ppid=26677 vsize=807064 CPUtime=0.12
/proc/26699/task/26701/stat : 26701 (java) S 26677 26677 26548 0 -1 64 2103 0 0 0 12 0 0 0 16 0 8 0 30938318 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26704] ppid=26677 vsize=807064 CPUtime=0
/proc/26699/task/26704/stat : 26704 (java) S 26677 26677 26548 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30938318 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26705] ppid=26677 vsize=807064 CPUtime=0
/proc/26699/task/26705/stat : 26705 (java) S 26677 26677 26548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30938318 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26710] ppid=26677 vsize=807064 CPUtime=0
/proc/26699/task/26710/stat : 26710 (java) S 26677 26677 26548 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30938321 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26711] ppid=26677 vsize=807064 CPUtime=0.05
/proc/26699/task/26711/stat : 26711 (java) S 26677 26677 26548 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30938322 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26712] ppid=26677 vsize=807064 CPUtime=0
/proc/26699/task/26712/stat : 26712 (java) S 26677 26677 26548 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30938322 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26713] ppid=26677 vsize=807064 CPUtime=0
/proc/26699/task/26713/stat : 26713 (java) S 26677 26677 26548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30938322 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.99143 s]
/proc/loadavg: 1.08 1.61 2.10 3/90 26713
/proc/meminfo: memFree=1794496/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=13724 CPUtime=0.03
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30938254 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3431 808 370 3 0 531 0
[pid=26682] ppid=26677 vsize=0 CPUtime=0.49
/proc/26682/stat : 26682 (java) Z 26677 26677 26548 0 -1 1036 6752 0 1 0 44 5 0 0 16 0 1 0 30938259 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26682/statm: 0 0 0 0 0 0 0
[pid=26699] ppid=26677 vsize=807332 CPUtime=2.38
/proc/26699/stat : 26699 (java) R 26677 26677 26548 0 -1 0 11859 0 1 0 231 7 0 0 25 0 8 0 30938314 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26699/statm: 201833 11591 1506 14 0 189111 0
[pid=26699/tid=26701] ppid=26677 vsize=807332 CPUtime=0.35
/proc/26699/task/26701/stat : 26701 (java) S 26677 26677 26548 0 -1 64 5654 0 0 0 33 2 0 0 16 0 8 0 30938318 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26704] ppid=26677 vsize=807332 CPUtime=0
/proc/26699/task/26704/stat : 26704 (java) S 26677 26677 26548 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30938318 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26705] ppid=26677 vsize=807332 CPUtime=0
/proc/26699/task/26705/stat : 26705 (java) S 26677 26677 26548 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30938318 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26710] ppid=26677 vsize=807332 CPUtime=0
/proc/26699/task/26710/stat : 26710 (java) S 26677 26677 26548 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30938321 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26711] ppid=26677 vsize=807332 CPUtime=0.13
/proc/26699/task/26711/stat : 26711 (java) S 26677 26677 26548 0 -1 64 399 0 0 0 13 0 0 0 16 0 8 0 30938322 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26712] ppid=26677 vsize=807332 CPUtime=0
/proc/26699/task/26712/stat : 26712 (java) S 26677 26677 26548 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30938322 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26699/tid=26713] ppid=26677 vsize=807332 CPUtime=0
/proc/26699/task/26713/stat : 26713 (java) S 26677 26677 26548 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30938322 826707968 11591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821056
[startup+6.22798 s]
/proc/loadavg: 1.16 1.61 2.10 4/83 26714
/proc/meminfo: memFree=1692152/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=14384 CPUtime=2.84
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1460 13940 0 1 4 0 272 8 15 0 1 0 30938254 14729216 971 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3596 971 373 3 0 696 0
[pid=26682] ppid=26677 vsize=0 CPUtime=0.49
/proc/26682/stat : 26682 (java) Z 26677 26677 26548 0 -1 1036 6752 0 1 0 44 5 0 0 16 0 1 0 30938259 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26682/statm: 0 0 0 0 0 0 0
[pid=26714] ppid=26677 vsize=4996 CPUtime=2.76
/proc/26714/stat : 26714 (minisat) R 26677 26677 26548 0 -1 0 1058 0 0 0 276 0 0 0 25 0 1 0 30938600 5115904 914 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134521286 0 0 4096 3 0 0 0 17 1 0 0
/proc/26714/statm: 1249 914 52 112 0 1133 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 19380
[startup+12.692 s]
/proc/loadavg: 1.23 1.62 2.10 3/83 26714
/proc/meminfo: memFree=1660856/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=14384 CPUtime=2.84
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1460 13940 0 1 4 0 272 8 16 0 1 0 30938254 14729216 971 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3596 971 373 3 0 696 0
[pid=26682] ppid=26677 vsize=0 CPUtime=0.49
/proc/26682/stat : 26682 (java) Z 26677 26677 26548 0 -1 1036 6752 0 1 0 44 5 0 0 16 0 1 0 30938259 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26682/statm: 0 0 0 0 0 0 0
[pid=26714] ppid=26677 vsize=6944 CPUtime=9.22
/proc/26714/stat : 26714 (minisat) R 26677 26677 26548 0 -1 0 1537 0 0 0 921 1 0 0 25 0 1 0 30938600 7110656 1393 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527289 0 0 4096 3 0 0 0 17 1 0 0
/proc/26714/statm: 1736 1393 52 112 0 1620 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 21328
[startup+25.5042 s]
/proc/loadavg: 1.61 1.68 2.11 3/83 26714
/proc/meminfo: memFree=1660024/2055920 swapFree=4192812/4192956
[pid=26677] ppid=26673 vsize=14384 CPUtime=2.84
/proc/26677/stat : 26677 (sugar) S 26673 26677 26548 0 -1 4194304 1460 13940 0 1 4 0 272 8 16 0 1 0 30938254 14729216 971 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26677/statm: 3596 971 373 3 0 696 0
[pid=26682] ppid=26677 vsize=0 CPUtime=0.49
/proc/26682/stat : 26682 (java) Z 26677 26677 26548 0 -1 1036 6752 0 1 0 44 5 0 0 16 0 1 0 30938259 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26682/statm: 0 0 0 0 0 0 0
[pid=26714] ppid=26677 vsize=7888 CPUtime=22.02
/proc/26714/stat : 26714 (minisat) R 26677 26677 26548 0 -1 0 1769 0 0 0 2201 1 0 0 25 0 1 0 30938600 8077312 1625 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525907 0 0 4096 3 0 0 0 17 1 0 0
/proc/26714/statm: 1972 1625 52 112 0 1856 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 22272
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26677 and gives childrusage.ru_utime.tv_sec=34 childrusage.ru_utime.tv_usec=384772 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=122981
CPU time returned by wait4() is 34.5078
while last known CPU time is 34.85
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 35.1523
CPU time (s): 34.85
CPU user time (s): 34.71
CPU system time (s): 0.14
CPU usage (%): 99.1399
Max. virtual memory (cumulated for all children) (KiB): 821056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3848
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17266
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 834
involuntary context switches= 952
runsolver used 0.051992 s user time and 0.112982 s system time
The end
Begin job on node43 on Mon Jan 29 22:30:22 UTC 2007
IDJOB= 247683
IDBENCH= 11649
IDSOLVER= 86
FILE ID= node43/247683-1170109822
PBS_JOBID= 3690252
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/langford/langford-3-11-ext.xml
COMMAND LINE= /tmp/evaluation/247683-1170109822/solver /tmp/evaluation/247683-1170109822 /tmp/evaluation/247683-1170109822/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-247683-1170109822 -o ROOT/results/node43/solver-247683-1170109822 -C 1800 -M 900 /tmp/evaluation/247683-1170109822/solver /tmp/evaluation/247683-1170109822 /tmp/evaluation/247683-1170109822/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f047fc038009e372113925ae5ca60f88
RANDOM SEED= 433826590
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.281
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.281
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: 1885000 kB
Buffers: 35800 kB
Cached: 65588 kB
SwapCached: 0 kB
Active: 55212 kB
Inactive: 66264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1885000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 30260 kB
Slab: 35224 kB
Committed_AS: 349220 kB
PageTables: 1592 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= 66562 MiB
End job on node43 on Mon Jan 29 22:30:57 UTC 2007