0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/209266-1168192169/unknown.xml
0.39
0.39 domains being loaded...
0.42
0.42 variables being loaded...
0.50 nbVariables=300 nbDomainTypes=13 minDomainSize=42 maxDomainSize=250
0.50 => wckTime=0.167 cpuTime=0.13 mem=8M838
0.50
0.50 predicates being loaded...
0.50
0.50 constraints being loaded...
42.96 nbConstraints=2326 nbMergedConstraints=2051 nbConvertedConstraints=2326 nbConvertConstraintsChecks=69398748
42.96 nbExtensionStructures=2077 nbSharedExtensionStructures=249 nbConflictsStructures=2077
42.96 nbSharedConflictsStructures=249 nbSharedBinaryRepresentations=605027 maxDegree=19 maxArity=2
42.96 => wckTime=42.631 cpuTime=41.88 mem=53M636
43.09
43.09 solver IterativeSystematicSolver being built...
43.28 => wckTime=42.95 cpuTime=42.03 mem=36M680
43.30
43.30 preprocessing
43.30 nbConstraintChecks=16341 nbPropagations=7 nbRevisions=132 nbUselessRevisions=59 nbRemovedValues=3574
43.30 detectedInconsistency=yes
43.30 => wckTime=0.015 cpuTime=0.01 mem=36M680
43.30
43.30 global
43.30 nbConstraintChecks=16341 nbPropagations=7 nbRevisions=132 nbUselessRevisions=59 nbRestartNogoods=0
43.30 solvingWckTime=0.017 solvingCpuTime=0.01 expiredTime=no totalExploration=yes nbFoundSolutions=0
43.30 globalCpuTime=42.08
43.30 => wckTime=42.97 cpuTime=42.04 mem=36M680
43.30
43.30 s UNSATISFIABLE
43.30 d NODES 0
43.30 d CHECKS 16341
43.30
43.30 totalWckTime=43.053 totalCpuTime=42.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-209266-1168192169 -o ROOT/results/node34/solver-209266-1168192169 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209266-1168192169/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: 2.03 2.51 2.78 4/74 13029
/proc/meminfo: memFree=1611152/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=47892 CPUtime=0
/proc/13028/stat : 13028 (java) D 13026 13028 12229 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 167610610 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13028/statm: 11973 968 766 14 0 1707 0
[startup+0.103466 s]
/proc/loadavg: 2.03 2.51 2.78 4/74 13029
/proc/meminfo: memFree=1611152/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=912272 CPUtime=0.07
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 2640 0 1 0 6 1 0 0 20 0 8 0 167610610 934166528 2387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155069679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228068 2387 1287 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912272
[startup+0.511499 s]
/proc/loadavg: 2.03 2.51 2.78 4/74 13029
/proc/meminfo: memFree=1611152/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915328 CPUtime=0.47
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 6619 0 1 0 44 3 0 0 18 0 8 0 167610610 937295872 6358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072935728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228832 6358 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33756 s]
/proc/loadavg: 2.03 2.51 2.78 3/81 13036
/proc/meminfo: memFree=1568920/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915628 CPUtime=1.29
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 13071 0 1 0 121 8 0 0 25 0 8 0 167610610 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228907 12809 2169 14 0 215377 0
[pid=13028/tid=13030] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12229 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 167610616 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12229 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 167610617 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12229 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 167610617 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12229 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167610620 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915628 CPUtime=0.17
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12229 0 -1 64 413 0 0 0 17 0 0 0 16 0 8 0 167610620 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167610620 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167610620 937603072 12809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915628
[startup+2.9817 s]
/proc/loadavg: 2.03 2.51 2.78 3/81 13036
/proc/meminfo: memFree=1566168/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915628 CPUtime=2.92
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 14069 0 1 0 283 9 0 0 25 0 8 0 167610610 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228907 13807 2170 14 0 215377 0
[pid=13028/tid=13030] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12229 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167610616 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12229 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 167610617 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12229 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 167610617 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12229 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167610620 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915628 CPUtime=0.18
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12229 0 -1 64 428 0 0 0 18 0 0 0 15 0 8 0 167610620 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167610620 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167610620 937603072 13807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915628
[startup+6.26096 s]
/proc/loadavg: 2.03 2.50 2.78 3/81 13036
/proc/meminfo: memFree=1558040/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915628 CPUtime=6.17
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 15995 0 1 0 607 10 0 0 25 0 8 0 167610610 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228907 15732 2170 14 0 215377 0
[pid=13028/tid=13030] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12229 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 167610616 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12229 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 167610617 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12229 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 167610617 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12229 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167610620 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915628 CPUtime=0.2
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12229 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 167610620 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167610620 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167610620 937603072 15732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915628
[startup+12.7505 s]
/proc/loadavg: 2.02 2.49 2.77 3/81 13036
/proc/meminfo: memFree=1546456/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915628 CPUtime=12.61
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 18549 0 1 0 1247 14 0 0 25 0 8 0 167610610 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228907 18283 2181 14 0 215377 0
[pid=13028/tid=13030] ppid=13026 vsize=915628 CPUtime=0.05
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12229 0 -1 64 1920 0 0 0 5 0 0 0 16 0 8 0 167610616 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167610617 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167610617 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12229 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167610620 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915628 CPUtime=0.21
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12229 0 -1 64 436 0 0 0 20 1 0 0 15 0 8 0 167610620 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167610620 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167610620 937603072 18283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915628
[startup+25.6015 s]
/proc/loadavg: 2.02 2.46 2.76 3/81 13036
/proc/meminfo: memFree=1546520/2055920 swapFree=4192812/4192956
[pid=13028] ppid=13026 vsize=915628 CPUtime=25.36
/proc/13028/stat : 13028 (java) R 13026 13028 12229 0 -1 0 18550 0 1 0 2519 17 0 0 25 0 8 0 167610610 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13028/statm: 228907 18284 2181 14 0 215377 0
[pid=13028/tid=13030] ppid=13026 vsize=915628 CPUtime=0.05
/proc/13028/task/13030/stat : 13030 (java) S 13026 13028 12229 0 -1 64 1920 0 0 0 5 0 0 0 16 0 8 0 167610616 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13031] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13031/stat : 13031 (java) S 13026 13028 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167610617 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13032] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13032/stat : 13032 (java) S 13026 13028 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167610617 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13033] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13033/stat : 13033 (java) S 13026 13028 12229 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167610620 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13034] ppid=13026 vsize=915628 CPUtime=0.21
/proc/13028/task/13034/stat : 13034 (java) S 13026 13028 12229 0 -1 64 437 0 0 0 20 1 0 0 16 0 8 0 167610620 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13035] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13035/stat : 13035 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167610620 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13028/tid=13036] ppid=13026 vsize=915628 CPUtime=0
/proc/13028/task/13036/stat : 13036 (java) S 13026 13028 12229 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167610620 937603072 18284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915628
Child status: 0
Real time (s): 43.3695
CPU time (s): 42.9395
CPU user time (s): 42.6575
CPU system time (s): 0.281957
CPU usage (%): 99.0084
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6575
system time used= 0.281957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25162
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= 2079
involuntary context switches= 2968
runsolver used 0.067989 s user time and 0.132979 s system time
The end
Begin job on node34 on Sun Jan 7 17:49:29 UTC 2007
IDJOB= 209266
IDBENCH= 4506
FILE ID= node34/209266-1168192169
PBS_JOBID= 3479261
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp01-05/fapp03/fapp03-0300-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209266-1168192169/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-209266-1168192169 -o ROOT/results/node34/solver-209266-1168192169 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209266-1168192169/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 57f2fc501d129fbceed52bbb3dbebe77
RANDOM SEED= 344685704
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.227
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.227
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: 1611568 kB
Buffers: 39468 kB
Cached: 297812 kB
SwapCached: 0 kB
Active: 220424 kB
Inactive: 156836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1611568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 51420 kB
Slab: 52392 kB
Committed_AS: 2942940 kB
PageTables: 1776 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= 66541 MiB
End job on node34 on Sun Jan 7 17:50:12 UTC 2007