0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1088176-1215245845.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.38/0.45 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=32 nbTotalValues=19868
0.38/0.45 => wckTime=0.196 cpuTime=0.15 mem=9M805
0.38/0.45
0.38/0.45 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
2.05/2.18 nbConstraints=4215 nbGlobalConstraints=112 nbConvertedConstraints=4103 nbConvertConstraintsChecks=1461477
2.05/2.18 nbExtensionStructures=1633 nbSharedExtensionStructures=4053 nbConflictsStructures=1663
2.05/2.18 nbSharedConflictsStructures=4053 nbSharedBinaryRepresentations=96954 minDegree=1 maxDegree=63 minArity=2
2.05/2.18 avgArity=2.11 maxArity=20 nbGenerators=38 nbFusions=36 symmetryWckTime=0.398 symmetryCpuTime=0.23
2.05/2.18 nbCliques=74
2.05/2.18 => wckTime=1.928 cpuTime=1.54 mem=48M758
2.26/2.32
2.26/2.32 solver IterativeSystematicSolver being built...
2.26/2.39
2.26/2.39 INFO : Forward propagation technique limited
2.35/2.49 => wckTime=2.234 cpuTime=1.68 mem=28M810
2.45/2.55
2.45/2.55 preprocessing
2.45/2.55 nbConstraintChecks=15780 nbPropagations=654 nbRevisions=636 nbUselessRevisions=117 nbRemovedValues=4285
2.45/2.55 nbRemovedTuples=1844 detectedInconsistency=yes
2.45/2.55 => wckTime=0.066 cpuTime=0.06 mem=29M775
2.45/2.56
2.45/2.56 global
2.45/2.56 nbConstraintChecks=15780 nbPropagations=654 nbRevisions=636 nbUselessRevisions=117 nbRestartNogoods=0
2.45/2.56 solvingWckTime=0.069 solvingCpuTime=0.07 expiredTime=no totalExploration=yes nbFoundSolutions=0
2.45/2.56 globalCpuTime=1.78
2.45/2.56 => wckTime=2.306 cpuTime=1.75 mem=29M775
2.45/2.56
2.45/2.56 s UNSATISFIABLE
2.45/2.56 d NODES 0
2.45/2.56 d CHECKS 15780
2.45/2.56
2.45/2.56 totalWckTime=2.378 totalCpuTime=1.78
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088176-1215245845/watcher-1088176-1215245845 -o /tmp/evaluation-result-1088176-1215245845/solver-1088176-1215245845 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1088176-1215245845.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.44 2.86 2.61 4/79 5093
/proc/meminfo: memFree=1499660/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=152 CPUtime=0
/proc/5093/stat : 5093 (java) R 5091 5093 1466 0 -1 0 205 0 0 0 0 0 0 0 20 0 1 0 680311040 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 10260779 0 0 4096 0 0 0 0 17 0 0 0
/proc/5093/statm: 38 26 19 9 0 4 0
[startup+0.104112 s]
/proc/loadavg: 3.44 2.86 2.61 4/79 5093
/proc/meminfo: memFree=1499660/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=865884 CPUtime=0.09
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 3793 0 1 0 7 2 0 0 20 0 9 0 680311040 886665216 3244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216471 3244 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.201123 s]
/proc/loadavg: 3.44 2.86 2.61 4/79 5093
/proc/meminfo: memFree=1499660/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=866044 CPUtime=0.18
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 4682 0 1 0 16 2 0 0 20 0 9 0 680311040 886829056 4109 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216511 4109 1861 9 0 211059 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.30113 s]
/proc/loadavg: 3.44 2.86 2.61 4/79 5093
/proc/meminfo: memFree=1499660/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=866284 CPUtime=0.28
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 5856 0 1 0 25 3 0 0 20 0 9 0 680311040 887074816 5230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216571 5230 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701175 s]
/proc/loadavg: 3.44 2.86 2.61 4/79 5093
/proc/meminfo: memFree=1499660/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=867676 CPUtime=0.68
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 8927 0 1 0 63 5 0 0 20 0 9 0 680311040 888500224 8287 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216919 8287 2011 9 0 211425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867676
[startup+1.50126 s]
/proc/loadavg: 3.32 2.85 2.61 3/88 5102
/proc/meminfo: memFree=1463108/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=867680 CPUtime=1.47
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 13550 0 1 0 130 17 0 0 20 0 9 0 680311040 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216920 12907 2014 9 0 211426 0
[pid=5093/tid=5095] ppid=5091 vsize=867680 CPUtime=1.22
/proc/5093/task/5095/stat : 5095 (java) R 5091 5093 1466 0 -1 64 12131 0 1 0 106 16 0 0 25 0 9 0 680311042 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5096] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5096/stat : 5096 (java) S 5091 5093 1466 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680311043 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5097] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5097/stat : 5097 (java) S 5091 5093 1466 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 680311043 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5098] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5098/stat : 5098 (java) S 5091 5093 1466 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 680311043 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5099] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5099/stat : 5099 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 680311045 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5100] ppid=5091 vsize=867680 CPUtime=0.23
/proc/5093/task/5100/stat : 5100 (java) S 5091 5093 1466 0 -1 64 721 0 0 0 23 0 0 0 16 0 9 0 680311045 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5101] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5101/stat : 5101 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 680311045 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5102] ppid=5091 vsize=867680 CPUtime=0
/proc/5093/task/5102/stat : 5102 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680311045 888504320 12907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867680
Solver just ended. Dumping a history of the last processes samples
[startup+1.60227 s]
/proc/loadavg: 3.32 2.85 2.61 3/88 5102
/proc/meminfo: memFree=1463108/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=867676 CPUtime=1.57
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 14140 0 1 0 137 20 0 0 20 0 9 0 680311040 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 216919 13497 2014 9 0 211425 0
[pid=5093/tid=5095] ppid=5091 vsize=867676 CPUtime=1.32
/proc/5093/task/5095/stat : 5095 (java) R 5091 5093 1466 0 -1 64 12721 0 1 0 113 19 0 0 25 0 9 0 680311042 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4126881706 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5096] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5096/stat : 5096 (java) S 5091 5093 1466 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 680311043 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5097] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5097/stat : 5097 (java) S 5091 5093 1466 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 680311043 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5098] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5098/stat : 5098 (java) S 5091 5093 1466 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 680311043 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5099] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5099/stat : 5099 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 680311045 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5100] ppid=5091 vsize=867676 CPUtime=0.23
/proc/5093/task/5100/stat : 5100 (java) S 5091 5093 1466 0 -1 64 721 0 0 0 23 0 0 0 16 0 9 0 680311045 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5101] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5101/stat : 5101 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 680311045 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5102] ppid=5091 vsize=867676 CPUtime=0
/proc/5093/task/5102/stat : 5102 (java) S 5091 5093 1466 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 680311045 888500224 13497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 867676
[startup+2.40235 s]
/proc/loadavg: 3.32 2.85 2.61 4/88 5106
/proc/meminfo: memFree=1442692/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=869152 CPUtime=2.35
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 28978 534 1 0 196 29 10 0 20 0 9 0 680311040 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 217288 18416 2631 9 0 211794 0
[pid=5093/tid=5095] ppid=5091 vsize=869152 CPUtime=1.89
/proc/5093/task/5095/stat : 5095 (java) R 5091 5093 1466 0 -1 64 20887 534 1 0 154 25 10 0 18 0 9 0 680311042 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 104454904 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5096] ppid=5091 vsize=869152 CPUtime=0.23
/proc/5093/task/5096/stat : 5096 (java) S 5091 5093 1466 0 -1 64 6315 534 0 0 12 1 10 0 17 0 9 0 680311043 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5097] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5097/stat : 5097 (java) S 5091 5093 1466 0 -1 64 16 534 0 0 0 0 10 0 17 0 9 0 680311043 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5098] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5098/stat : 5098 (java) S 5091 5093 1466 0 -1 64 13 534 0 0 0 0 10 0 16 0 9 0 680311043 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5099] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5099/stat : 5099 (java) S 5091 5093 1466 0 -1 64 1 534 0 0 0 0 10 0 18 0 9 0 680311045 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5100] ppid=5091 vsize=869152 CPUtime=0.4
/proc/5093/task/5100/stat : 5100 (java) S 5091 5093 1466 0 -1 64 936 534 0 0 30 0 10 0 15 0 9 0 680311045 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5101] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5101/stat : 5101 (java) S 5091 5093 1466 0 -1 64 1 534 0 0 0 0 10 0 19 0 9 0 680311045 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5102] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5102/stat : 5102 (java) S 5091 5093 1466 0 -1 64 7 534 0 0 0 0 10 0 15 0 9 0 680311045 890011648 18416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 869152
[startup+2.60237 s]
/proc/loadavg: 3.32 2.85 2.61 4/88 5106
/proc/meminfo: memFree=1442692/2055920 swapFree=4147308/4192956
[pid=5093] ppid=5091 vsize=869152 CPUtime=2.51
/proc/5093/stat : 5093 (java) S 5091 5093 1466 0 -1 0 29815 534 1 0 212 29 10 0 20 0 9 0 680311040 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5093/statm: 217288 18462 2633 9 0 211794 0
[pid=5093/tid=5095] ppid=5091 vsize=869152 CPUtime=2.03
/proc/5093/task/5095/stat : 5095 (java) S 5091 5093 1466 0 -1 64 21708 534 1 0 167 26 10 0 19 0 9 0 680311042 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5096] ppid=5091 vsize=869152 CPUtime=0.23
/proc/5093/task/5096/stat : 5096 (java) S 5091 5093 1466 0 -1 64 6315 534 0 0 12 1 10 0 17 0 9 0 680311043 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5097] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5097/stat : 5097 (java) S 5091 5093 1466 0 -1 64 16 534 0 0 0 0 10 0 17 0 9 0 680311043 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5098] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5098/stat : 5098 (java) S 5091 5093 1466 0 -1 64 13 534 0 0 0 0 10 0 16 0 9 0 680311043 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5099] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5099/stat : 5099 (java) S 5091 5093 1466 0 -1 64 1 534 0 0 0 0 10 0 18 0 9 0 680311045 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5100] ppid=5091 vsize=869152 CPUtime=0.42
/proc/5093/task/5100/stat : 5100 (java) S 5091 5093 1466 0 -1 64 952 534 0 0 32 0 10 0 16 0 9 0 680311045 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5093/tid=5101] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5101/stat : 5101 (java) S 5091 5093 1466 0 -1 64 1 534 0 0 0 0 10 0 19 0 9 0 680311045 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5093/tid=5102] ppid=5091 vsize=869152 CPUtime=0.1
/proc/5093/task/5102/stat : 5102 (java) S 5091 5093 1466 0 -1 64 7 534 0 0 0 0 10 0 15 0 9 0 680311045 890011648 18462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 869152
Child status: 0
Real time (s): 2.61599
CPU time (s): 2.55361
CPU user time (s): 2.23366
CPU system time (s): 0.319951
CPU usage (%): 97.6153
Max. virtual memory (cumulated for all children) (KiB): 869152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.23366
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30377
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= 1689
involuntary context switches= 1735
runsolver used 0.003999 second user time and 0.017997 second system time
The end
Begin job on node90 at 2008-07-05 10:17:25
IDJOB=1088176
IDBENCH=58069
IDSOLVER=363
FILE ID=node90/1088176-1215245845
PBS_JOBID= 7881833
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088176-1215245845/watcher-1088176-1215245845 -o /tmp/evaluation-result-1088176-1215245845/solver-1088176-1215245845 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1088176-1215245845.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 923ef4c26cd9096899ec03d5df91c70b
RANDOM SEED=1652464817
node90.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.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1500140 kB
Buffers: 15036 kB
Cached: 128344 kB
SwapCached: 37024 kB
Active: 476692 kB
Inactive: 23592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1500140 kB
SwapTotal: 4192956 kB
SwapFree: 4147308 kB
Dirty: 3228 kB
Writeback: 0 kB
Mapped: 364872 kB
Slab: 39604 kB
Committed_AS: 1355676 kB
PageTables: 2948 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= 66552 MiB
End job on node90 at 2008-07-05 10:17:27