0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226956-1168277047/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.62 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.62 => wckTime=0.305 cpuTime=0.26 mem=15M764
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.507 cpuTime=0.38 mem=14M928
0.88
0.88 preprocessing
0.88 nbConstraintChecks=86692 nbPropagations=886 nbRevisions=3981 nbUselessRevisions=2654 nbSingletonTests=50
0.88 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.048 cpuTime=0.02 mem=14M928
0.90
0.90 search
0.90 run=0 nbConstraintChecks=39857 nbPropagations=1485 nbRevisions=7258 nbUselessRevisions=4654 nbAssignments=28
0.90 nbFailedAssignments=12 nbBacktracks=12 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.075 cpuTime=0.04 mem=14M928
0.92
0.92 search
0.92 run=1 nbConstraintChecks=115390 nbPropagations=3941 nbRevisions=20295 nbUselessRevisions=12909
0.92 nbAssignments=70 nbFailedAssignments=33 nbBacktracks=27 nbVisitedNodes=119 nbRestartNogoods=3 mapSize=20
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.095 cpuTime=0.06 mem=14M928
0.94
0.94 search
0.94 run=2 nbConstraintChecks=204575 nbPropagations=7524 nbRevisions=39608 nbUselessRevisions=25087
0.94 nbAssignments=118 nbFailedAssignments=50 nbBacktracks=50 nbVisitedNodes=193 nbRestartNogoods=10 mapSize=40
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.115 cpuTime=0.07 mem=14M928
0.97
0.97 search
0.97 run=3 nbConstraintChecks=362500 nbPropagations=13125 nbRevisions=71499 nbUselessRevisions=44929
0.97 nbAssignments=194 nbFailedAssignments=87 nbBacktracks=84 nbVisitedNodes=333 nbRestartNogoods=13 mapSize=73
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.139 cpuTime=0.09 mem=14M928
1.00
1.00 search
1.00 run=4 nbConstraintChecks=560242 nbPropagations=21466 nbRevisions=118806 nbUselessRevisions=74238
1.00 nbAssignments=306 nbFailedAssignments=132 nbBacktracks=137 nbVisitedNodes=514 nbRestartNogoods=20 mapSize=115
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.169 cpuTime=0.12 mem=14M928
1.04
1.04 search
1.04 run=5 nbConstraintChecks=876264 nbPropagations=33942 nbRevisions=191952 nbUselessRevisions=119566
1.04 nbAssignments=471 nbFailedAssignments=217 nbBacktracks=212 nbVisitedNodes=817 nbRestartNogoods=26 mapSize=183
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.212 cpuTime=0.16 mem=14M928
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1273860 nbPropagations=51947 nbRevisions=296811 nbUselessRevisions=184153
1.09 nbAssignments=694 nbFailedAssignments=310 nbBacktracks=325 nbVisitedNodes=1187 nbRestartNogoods=33 mapSize=273
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.265 cpuTime=0.21 mem=14M928
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1974500 nbPropagations=79498 nbRevisions=458762 nbUselessRevisions=283592
1.19 nbAssignments=1078 nbFailedAssignments=520 nbBacktracks=496 nbVisitedNodes=1893 nbRestartNogoods=39
1.19 mapSize=422 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.366 cpuTime=0.3 mem=14M928
1.32
1.32 search
1.32 run=8 nbConstraintChecks=2882731 nbPropagations=119426 nbRevisions=693074 nbUselessRevisions=426965
1.32 nbAssignments=1564 nbFailedAssignments=745 nbBacktracks=753 nbVisitedNodes=2760 nbRestartNogoods=45
1.32 mapSize=637 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.493 cpuTime=0.41 mem=14M928
1.54
1.54 search
1.54 run=9 nbConstraintChecks=4745619 nbPropagations=181998 nbRevisions=1069239 nbUselessRevisions=656678
1.54 nbAssignments=2441 nbFailedAssignments=1235 nbBacktracks=1137 nbVisitedNodes=4402 nbRestartNogoods=55
1.54 mapSize=1002 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.708 cpuTime=0.62 mem=14M928
1.54
1.54 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=14M928)
1.75
1.75 search
1.75 run=10 nbConstraintChecks=6554851 nbPropagations=270589 nbRevisions=1596197 nbUselessRevisions=979000
1.75 nbAssignments=3506 nbFailedAssignments=1720 nbBacktracks=1713 nbVisitedNodes=6310 nbRestartNogoods=63
1.75 => wckTime=0.927 cpuTime=0.83 mem=14M928
2.15
2.15 search
2.15 run=11 nbConstraintChecks=10154759 nbPropagations=406173 nbRevisions=2406655 nbUselessRevisions=1476085
2.15 nbAssignments=5433 nbFailedAssignments=2778 nbBacktracks=2577 nbVisitedNodes=9875 nbRestartNogoods=74
2.15 => wckTime=1.323 cpuTime=1.21 mem=14M928
2.69
2.69 search
2.69 run=12 nbConstraintChecks=14966618 nbPropagations=606774 nbRevisions=3606662 nbUselessRevisions=2211672
2.69 nbAssignments=8030 nbFailedAssignments=4067 nbBacktracks=3874 nbVisitedNodes=14569 nbRestartNogoods=81
2.69 => wckTime=1.861 cpuTime=1.75 mem=14M928
3.55
3.55 search
3.55 run=13 nbConstraintChecks=22765773 nbPropagations=911356 nbRevisions=5439478 nbUselessRevisions=3338884
3.55 nbAssignments=12150 nbFailedAssignments=6237 nbBacktracks=5820 nbVisitedNodes=22148 nbRestartNogoods=82
3.55 => wckTime=2.725 cpuTime=2.6 mem=15M904
4.78
4.78 search
4.78 run=14 nbConstraintChecks=33940738 nbPropagations=1364215 nbRevisions=8159610 nbUselessRevisions=5012018
4.78 nbAssignments=18241 nbFailedAssignments=9405 nbBacktracks=8739 nbVisitedNodes=33222 nbRestartNogoods=87
4.78 => wckTime=3.949 cpuTime=3.81 mem=15M904
6.59
6.59 search
6.59 run=15 nbConstraintChecks=50658825 nbPropagations=2034631 nbRevisions=12164278 nbUselessRevisions=7471500
6.59 nbAssignments=26860 nbFailedAssignments=13642 nbBacktracks=13118 nbVisitedNodes=48810 nbRestartNogoods=91
6.59 => wckTime=5.761 cpuTime=5.61 mem=15M904
8.65
8.65 search
8.65 run=16 nbConstraintChecks=69580573 nbPropagations=2949454 nbRevisions=17627490 nbUselessRevisions=10818900
8.65 nbAssignments=36431 nbFailedAssignments=18605 nbBacktracks=17719 nbVisitedNodes=66228 nbRestartNogoods=101
8.65 => wckTime=7.823 cpuTime=7.66 mem=15M904
8.65
8.65 global
8.65 nbConstraintChecks=69667265 nbPropagations=2950340 nbRevisions=17631471 nbUselessRevisions=10821554
8.65 nbRestartNogoods=101 solvingWckTime=7.824 solvingCpuTime=7.66 expiredTime=no totalExploration=yes
8.65 nbFoundSolutions=0 globalCpuTime=8.11
8.65 => wckTime=8.336 cpuTime=8.05 mem=15M904
8.65
8.65 s UNSATISFIABLE
8.65 d NODES 36431
8.65 d CHECKS 69667265
8.66
8.66 totalWckTime=8.416 totalCpuTime=8.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-226956-1168277047 -o ROOT/results/node21/solver-226956-1168277047 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226956-1168277047/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.67 1.27 1.57 4/86 26713
/proc/meminfo: memFree=1150856/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=18540 CPUtime=0
/proc/26712/stat : 26712 (runsolver) R 26710 26712 26440 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 176099214 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26712/statm: 4635 279 244 17 0 2626 0
[startup+0.107759 s]
/proc/loadavg: 1.67 1.27 1.57 4/86 26713
/proc/meminfo: memFree=1150856/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=914988 CPUtime=0.08
/proc/26712/stat : 26712 (java) R 26710 26712 26440 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 176099214 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26712/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515837 s]
/proc/loadavg: 1.67 1.27 1.57 4/86 26713
/proc/meminfo: memFree=1150856/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=915328 CPUtime=0.49
/proc/26712/stat : 26712 (java) R 26710 26712 26440 0 -1 0 7257 0 1 0 44 5 0 0 18 0 8 0 176099214 937295872 6996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26712/statm: 228832 6996 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33699 s]
/proc/loadavg: 1.67 1.27 1.57 3/93 26720
/proc/meminfo: memFree=1125008/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=915464 CPUtime=1.3
/proc/26712/stat : 26712 (java) R 26710 26712 26440 0 -1 0 9103 0 1 0 123 7 0 0 24 0 8 0 176099214 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26712/statm: 228866 8841 2524 14 0 215336 0
[pid=26712/tid=26714] ppid=26710 vsize=915464 CPUtime=0.03
/proc/26712/task/26714/stat : 26714 (java) S 26710 26712 26440 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 176099219 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26715] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26715/stat : 26715 (java) S 26710 26712 26440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176099219 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26716] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26716/stat : 26716 (java) S 26710 26712 26440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176099219 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26717] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26717/stat : 26717 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176099222 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26718] ppid=26710 vsize=915464 CPUtime=0.2
/proc/26712/task/26718/stat : 26718 (java) S 26710 26712 26440 0 -1 64 373 0 0 0 19 1 0 0 16 0 8 0 176099222 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26719] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26719/stat : 26719 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176099222 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26720] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26720/stat : 26720 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176099222 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.9803 s]
/proc/loadavg: 1.67 1.27 1.57 3/93 26720
/proc/meminfo: memFree=1124688/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=915464 CPUtime=2.93
/proc/26712/stat : 26712 (java) R 26710 26712 26440 0 -1 0 9110 0 1 0 286 7 0 0 25 0 8 0 176099214 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26712/statm: 228866 8847 2524 14 0 215336 0
[pid=26712/tid=26714] ppid=26710 vsize=915464 CPUtime=0.03
/proc/26712/task/26714/stat : 26714 (java) S 26710 26712 26440 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 176099219 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26715] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26715/stat : 26715 (java) S 26710 26712 26440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176099219 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26716] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26716/stat : 26716 (java) S 26710 26712 26440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176099219 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26717] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26717/stat : 26717 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176099222 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26718] ppid=26710 vsize=915464 CPUtime=0.21
/proc/26712/task/26718/stat : 26718 (java) S 26710 26712 26440 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 176099222 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26719] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26719/stat : 26719 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176099222 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26720] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26720/stat : 26720 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176099222 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.27292 s]
/proc/loadavg: 1.70 1.28 1.57 3/93 26720
/proc/meminfo: memFree=1124880/2055920 swapFree=4156316/4192956
[pid=26712] ppid=26710 vsize=915464 CPUtime=6.19
/proc/26712/stat : 26712 (java) R 26710 26712 26440 0 -1 0 9112 0 1 0 612 7 0 0 25 0 8 0 176099214 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26712/statm: 228866 8848 2524 14 0 215336 0
[pid=26712/tid=26714] ppid=26710 vsize=915464 CPUtime=0.03
/proc/26712/task/26714/stat : 26714 (java) S 26710 26712 26440 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 176099219 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26715] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26715/stat : 26715 (java) S 26710 26712 26440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176099219 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26716] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26716/stat : 26716 (java) S 26710 26712 26440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176099219 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26717] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26717/stat : 26717 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176099222 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26718] ppid=26710 vsize=915464 CPUtime=0.21
/proc/26712/task/26718/stat : 26718 (java) S 26710 26712 26440 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 176099222 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26719] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26719/stat : 26719 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176099222 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26712/tid=26720] ppid=26710 vsize=915464 CPUtime=0
/proc/26712/task/26720/stat : 26720 (java) S 26710 26712 26440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176099222 937435136 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 8.75006
CPU time (s): 8.5777
CPU user time (s): 8.49171
CPU system time (s): 0.085986
CPU usage (%): 98.0301
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.49171
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119
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= 1217
involuntary context switches= 1687
runsolver used 0.013997 s user time and 0.033994 s system time
The end
Begin job on node21 on Mon Jan 8 17:24:07 UTC 2007
IDJOB= 226956
IDBENCH= 6031
FILE ID= node21/226956-1168277047
PBS_JOBID= 3483338
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226956-1168277047/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-226956-1168277047 -o ROOT/results/node21/solver-226956-1168277047 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226956-1168277047/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f896bbcb142225f58ee5784bf80bf256
RANDOM SEED= 290494523
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.261
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.261
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: 1151336 kB
Buffers: 14268 kB
Cached: 807656 kB
SwapCached: 2304 kB
Active: 290980 kB
Inactive: 561260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1151336 kB
SwapTotal: 4192956 kB
SwapFree: 4156316 kB
Dirty: 3180 kB
Writeback: 0 kB
Mapped: 40104 kB
Slab: 37128 kB
Committed_AS: 3636396 kB
PageTables: 2160 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 node21 on Mon Jan 8 17:24:16 UTC 2007