0.11 c # Sugar v0-40 (/tmp/evaluation/193704-1170090192/sugar-v0-40.jar)
0.11
0.11 c # MAIN BEGIN : /tmp/evaluation/193704-1170090192/unknown.xml [Mon Jan 29 18:03:15 2007]
0.11 c # CONVERT_XML BEGIN : /tmp/evaluation/193704-1170090192/unknown.xml /tmp/evaluation/193704-1170090192/sugar23153.csp [Mon Jan 29 18:03:15 2007]
0.11 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/193704-1170090192/sugar-v0-40.jar -convert /tmp/evaluation/193704-1170090192/unknown.xml /tmp/evaluation/193704-1170090192/sugar23153.csp
0.27 c BEGIN convert /tmp/evaluation/193704-1170090192/unknown.xml
1.10 c END convert (0.829178 seconds)
1.12 c # CONVERT_XML END : /tmp/evaluation/193704-1170090192/sugar23153.csp 3152253 bytes (1 seconds) [Mon Jan 29 18:03:16 2007]
1.12 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.12
1.12 c # GENERATE_SAT BEGIN : /tmp/evaluation/193704-1170090192/sugar23153.bcnf [Mon Jan 29 18:03:16 2007]
1.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/193704-1170090192/sugar-v0-40.jar -bcnf -map /tmp/evaluation/193704-1170090192/sugar23153.map /tmp/evaluation/193704-1170090192/sugar23153.csp /tmp/evaluation/193704-1170090192/sugar23153.bcnf
1.23 c BEGIN parse /tmp/evaluation/193704-1170090192/sugar23153.csp
18.99 c END parse (17.754342 seconds)
18.99 c BEGIN simplify
19.20 c END simplify (0.210007 seconds)
19.20 c BEGIN encode /tmp/evaluation/193704-1170090192/sugar23153.bcnf
20.85 c END encode (1.652857 seconds)
21.85 c # GENERATE_SAT END : 95254 variables 265052 clauses 13021672 bytes (21 seconds) [Mon Jan 29 18:03:37 2007]
21.85 c # GENERATE_SAT CPU : 0.92 = 0.85 + 0.07 + 0 + 0
21.85
21.85 c # SOLVE_SAT BEGIN : /tmp/evaluation/193704-1170090192/sugar23153.bcnf [Mon Jan 29 18:03:37 2007]
21.85 c # CMD : /tmp/evaluation/193704-1170090192/minisat /tmp/evaluation/193704-1170090192/sugar23153.bcnf /tmp/evaluation/193704-1170090192/sugar23153.out
22.19 c ==================================[MINISAT]===================================
22.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
22.19 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
22.19 c ==============================================================================
22.19 c | 0 | 265052 2990354 | 88350 0 0 nan | 0.000 % |
22.32 c | 100 | 264980 2989787 | 97185 95 1458 15.3 | 0.001 % |
22.41 c | 252 | 264984 2989787 | 106903 243 3184 13.1 | 0.001 % |
22.42 c ==============================================================================
22.42 c restarts : 3
22.42 c conflicts : 281 (519 /sec)
22.42 c decisions : 5298 (9776 /sec)
22.42 c propagations : 445270 (821657 /sec)
22.42 c conflict literals : 3300 (24.29 % deleted)
22.42 c Memory used : 26.91 MB
22.42 c CPU time : 0.541917 s
22.42 c
22.42 c UNSATISFIABLE
22.43 c # SOLVE_SAT END : UNSATISFIABLE (0 seconds) [Mon Jan 29 18:03:37 2007]
22.43 c # SOLVE_SAT CPU : 0.58 = 0.01 + 0 + 0.54 + 0.03
22.43
22.43 c # RESULT : UNSATISFIABLE
22.43
22.43 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 18:03:37 2007]
22.43 s UNSATISFIABLE
22.43 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 18:03:37 2007]
22.43 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
22.43
22.43 c # MAIN END : (22 seconds) [Mon Jan 29 18:03:37 2007]
22.43 c # MAIN CPU : 1.51 = 0.86 + 0.08 + 0.54 + 0.03
22.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-193704-1170090192 -o ROOT/results/node13/solver-193704-1170090192 -C 1800 -M 900 /tmp/evaluation/193704-1170090192/solver /tmp/evaluation/193704-1170090192 /tmp/evaluation/193704-1170090192/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: 0.37 0.15 0.05 4/78 23154
/proc/meminfo: memFree=1780168/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=12264 CPUtime=0
/proc/23153/stat : 23153 (sugar) R 23151 23153 22698 0 -1 4194304 547 0 0 0 0 0 0 0 18 0 1 0 28973932 12558336 266 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269774868634 0 0 4224 0 0 0 0 17 1 0 0
/proc/23153/statm: 3067 279 207 3 0 167 0
[startup+0.103156 s]
/proc/loadavg: 0.37 0.15 0.05 4/78 23154
/proc/meminfo: memFree=1780168/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13064 CPUtime=0.01
/proc/23153/stat : 23153 (sugar) R 23151 23153 22698 0 -1 4194304 879 0 0 0 1 0 0 0 18 0 1 0 28973932 13377536 598 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269774697568 0 0 4224 0 0 0 0 17 0 0 0
/proc/23153/statm: 3266 598 316 3 0 366 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13064
[startup+0.511205 s]
/proc/loadavg: 0.37 0.15 0.05 4/78 23154
/proc/meminfo: memFree=1780168/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13724 CPUtime=0.03
/proc/23153/stat : 23153 (sugar) S 23151 23153 22698 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 28973932 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23153/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33232 s]
/proc/loadavg: 0.42 0.16 0.05 3/81 23163
/proc/meminfo: memFree=1774944/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13724 CPUtime=0.04
/proc/23153/stat : 23153 (sugar) S 23151 23153 22698 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28973932 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23153/statm: 3431 808 370 3 0 531 0
[pid=23155] ppid=23153 vsize=0 CPUtime=0.93
/proc/23155/stat : 23155 (java) Z 23153 23153 22698 0 -1 1036 8104 0 1 0 86 7 0 0 16 0 1 0 28973943 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23155/statm: 0 0 0 0 0 0 0
[pid=23163] ppid=23153 vsize=807064 CPUtime=0.18
/proc/23163/stat : 23163 (java) S 23153 23153 22698 0 -1 0 3224 0 1 0 17 1 0 0 16 0 8 0 28974044 826433536 2975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23163/statm: 201766 2975 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 820788
[startup+2.97553 s]
/proc/loadavg: 0.42 0.16 0.05 2/87 23170
/proc/meminfo: memFree=1740272/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13724 CPUtime=0.04
/proc/23153/stat : 23153 (sugar) S 23151 23153 22698 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28973932 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23153/statm: 3431 808 370 3 0 531 0
[pid=23155] ppid=23153 vsize=0 CPUtime=0.93
/proc/23155/stat : 23155 (java) Z 23153 23153 22698 0 -1 1036 8104 0 1 0 86 7 0 0 16 0 1 0 28973943 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23155/statm: 0 0 0 0 0 0 0
[pid=23163] ppid=23153 vsize=807064 CPUtime=1.83
/proc/23163/stat : 23163 (java) R 23153 23153 22698 0 -1 0 13600 0 1 0 177 6 0 0 17 0 8 0 28974044 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23163/statm: 201766 13335 1494 14 0 189044 0
[pid=23163/tid=23164] ppid=23153 vsize=807064 CPUtime=0.48
/proc/23163/task/23164/stat : 23164 (java) S 23153 23153 22698 0 -1 64 7534 0 0 0 45 3 0 0 17 0 8 0 28974047 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23163/tid=23165] ppid=23153 vsize=807064 CPUtime=0
/proc/23163/task/23165/stat : 23165 (java) S 23153 23153 22698 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28974048 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23166] ppid=23153 vsize=807064 CPUtime=0
/proc/23163/task/23166/stat : 23166 (java) S 23153 23153 22698 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28974048 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23167] ppid=23153 vsize=807064 CPUtime=0
/proc/23163/task/23167/stat : 23167 (java) S 23153 23153 22698 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 28974051 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23168] ppid=23153 vsize=807064 CPUtime=0.05
/proc/23163/task/23168/stat : 23168 (java) S 23153 23153 22698 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28974051 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23169] ppid=23153 vsize=807064 CPUtime=0
/proc/23163/task/23169/stat : 23169 (java) S 23153 23153 22698 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 28974051 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23170] ppid=23153 vsize=807064 CPUtime=0
/proc/23163/task/23170/stat : 23170 (java) S 23153 23153 22698 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28974051 826433536 13335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 820788
[startup+6.27597 s]
/proc/loadavg: 0.47 0.17 0.06 2/87 23170
/proc/meminfo: memFree=1687920/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13724 CPUtime=0.04
/proc/23153/stat : 23153 (sugar) S 23151 23153 22698 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28973932 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23153/statm: 3431 808 370 3 0 531 0
[pid=23155] ppid=23153 vsize=0 CPUtime=0.93
/proc/23155/stat : 23155 (java) Z 23153 23153 22698 0 -1 1036 8104 0 1 0 86 7 0 0 16 0 1 0 28973943 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23155/statm: 0 0 0 0 0 0 0
[pid=23163] ppid=23153 vsize=807340 CPUtime=5.13
/proc/23163/stat : 23163 (java) R 23153 23153 22698 0 -1 0 25333 0 1 0 501 12 0 0 16 0 8 0 28974044 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23163/statm: 201835 25023 1506 14 0 189113 0
[pid=23163/tid=23164] ppid=23153 vsize=807340 CPUtime=1.22
/proc/23163/task/23164/stat : 23164 (java) S 23153 23153 22698 0 -1 64 19086 0 0 0 114 8 0 0 16 0 8 0 28974047 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23163/tid=23165] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23165/stat : 23165 (java) S 23153 23153 22698 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28974048 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23166] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23166/stat : 23166 (java) S 23153 23153 22698 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28974048 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23167] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23167/stat : 23167 (java) S 23153 23153 22698 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 28974051 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23168] ppid=23153 vsize=807340 CPUtime=0.13
/proc/23163/task/23168/stat : 23168 (java) S 23153 23153 22698 0 -1 64 404 0 0 0 13 0 0 0 16 0 8 0 28974051 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23169] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23169/stat : 23169 (java) S 23153 23153 22698 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 28974051 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23170] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23170/stat : 23170 (java) S 23153 23153 22698 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28974051 826716160 25023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821064
[startup+12.7698 s]
/proc/loadavg: 0.51 0.19 0.06 2/87 23170
/proc/meminfo: memFree=1606576/2055920 swapFree=4192956/4192956
[pid=23153] ppid=23151 vsize=13724 CPUtime=0.04
/proc/23153/stat : 23153 (sugar) S 23151 23153 22698 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28973932 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23153/statm: 3431 808 370 3 0 531 0
[pid=23155] ppid=23153 vsize=0 CPUtime=0.93
/proc/23155/stat : 23155 (java) Z 23153 23153 22698 0 -1 1036 8104 0 1 0 86 7 0 0 16 0 1 0 28973943 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23155/statm: 0 0 0 0 0 0 0
[pid=23163] ppid=23153 vsize=807340 CPUtime=11.6
/proc/23163/stat : 23163 (java) R 23153 23153 22698 0 -1 0 44823 0 1 0 1139 21 0 0 16 0 8 0 28974044 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23163/statm: 201835 44385 1506 14 0 189113 0
[pid=23163/tid=23164] ppid=23153 vsize=807340 CPUtime=2.39
/proc/23163/task/23164/stat : 23164 (java) S 23153 23153 22698 0 -1 64 38448 0 0 0 222 17 0 0 16 0 8 0 28974047 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23163/tid=23165] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23165/stat : 23165 (java) S 23153 23153 22698 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28974048 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23166] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23166/stat : 23166 (java) S 23153 23153 22698 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28974048 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23167] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23167/stat : 23167 (java) S 23153 23153 22698 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 28974051 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23168] ppid=23153 vsize=807340 CPUtime=0.13
/proc/23163/task/23168/stat : 23168 (java) S 23153 23153 22698 0 -1 64 404 0 0 0 13 0 0 0 16 0 8 0 28974051 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23169] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23169/stat : 23169 (java) S 23153 23153 22698 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 28974051 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23163/tid=23170] ppid=23153 vsize=807340 CPUtime=0
/proc/23163/task/23170/stat : 23170 (java) S 23153 23153 22698 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28974051 826716160 44385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 821064
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23153 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=432782 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=142978
CPU time returned by wait4() is 1.57576
while last known CPU time is 21.59
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 22.4529
CPU time (s): 21.59
CPU user time (s): 21.02
CPU system time (s): 0.57
CPU usage (%): 96.1569
Max. virtual memory (cumulated for all children) (KiB): 823068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43278
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21386
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= 45
involuntary context switches= 42
runsolver used 0.022996 s user time and 0.066989 s system time
The end
Begin job on node13 on Mon Jan 29 17:03:15 UTC 2007
IDJOB= 193704
IDBENCH= 3175
IDSOLVER= 86
FILE ID= node13/193704-1170090192
PBS_JOBID= 3689374
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-60_ext.xml
COMMAND LINE= /tmp/evaluation/193704-1170090192/solver /tmp/evaluation/193704-1170090192 /tmp/evaluation/193704-1170090192/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-193704-1170090192 -o ROOT/results/node13/solver-193704-1170090192 -C 1800 -M 900 /tmp/evaluation/193704-1170090192/solver /tmp/evaluation/193704-1170090192 /tmp/evaluation/193704-1170090192/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 26e7e89f2822cca8d3af8c89a04e95ea
RANDOM SEED= 86661407
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.236
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.236
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: 1780648 kB
Buffers: 40476 kB
Cached: 135848 kB
SwapCached: 0 kB
Active: 179284 kB
Inactive: 51268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1780648 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1208 kB
Writeback: 0 kB
Mapped: 73164 kB
Slab: 30296 kB
Committed_AS: 162804 kB
PageTables: 1740 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= 66561 MiB
End job on node13 on Mon Jan 29 17:03:39 UTC 2007