0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227078-1168277376/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.70 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11882 maxDegree=39
0.70 maxArity=2
0.70 => wckTime=0.385 cpuTime=0.25 mem=11M844
0.75
0.75 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.609 cpuTime=0.39 mem=15M5
0.98
0.98 preprocessing
0.98 nbConstraintChecks=19533 nbPropagations=836 nbRevisions=4423 nbUselessRevisions=3395 nbSingletonTests=47
0.98 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.054 cpuTime=0.02 mem=15M5
1.01
1.01 search
1.01 run=0 nbConstraintChecks=14447 nbPropagations=1174 nbRevisions=8692 nbUselessRevisions=6938 nbAssignments=22
1.01 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.081 cpuTime=0.04 mem=15M5
1.03
1.03 search
1.03 run=1 nbConstraintChecks=34274 nbPropagations=2786 nbRevisions=23434 nbUselessRevisions=18897 nbAssignments=51
1.03 nbFailedAssignments=10 nbBacktracks=25 nbVisitedNodes=81 nbRestartNogoods=3 mapSize=22 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.101 cpuTime=0.06 mem=15M5
1.05
1.05 search
1.05 run=2 nbConstraintChecks=62948 nbPropagations=4993 nbRevisions=47139 nbUselessRevisions=38465 nbAssignments=93
1.05 nbFailedAssignments=22 nbBacktracks=49 nbVisitedNodes=145 nbRestartNogoods=6 mapSize=41 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.118 cpuTime=0.07 mem=15M5
1.07
1.07 search
1.07 run=3 nbConstraintChecks=101317 nbPropagations=7982 nbRevisions=82591 nbUselessRevisions=67909
1.07 nbAssignments=153 nbFailedAssignments=41 nbBacktracks=87 nbVisitedNodes=238 nbRestartNogoods=8 mapSize=69
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.136 cpuTime=0.1 mem=15M5
1.09
1.09 search
1.09 run=4 nbConstraintChecks=148116 nbPropagations=11938 nbRevisions=133220 nbUselessRevisions=110362
1.09 nbAssignments=233 nbFailedAssignments=63 nbBacktracks=138 nbVisitedNodes=364 nbRestartNogoods=9 mapSize=109
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.158 cpuTime=0.12 mem=15M5
1.12
1.12 search
1.12 run=5 nbConstraintChecks=210787 nbPropagations=17147 nbRevisions=204301 nbUselessRevisions=170384
1.12 nbAssignments=347 nbFailedAssignments=95 nbBacktracks=215 nbVisitedNodes=541 nbRestartNogoods=12 mapSize=168
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.189 cpuTime=0.15 mem=15M5
1.17
1.17 search
1.17 run=6 nbConstraintChecks=319895 nbPropagations=24441 nbRevisions=311632 nbUselessRevisions=261676
1.17 nbAssignments=517 nbFailedAssignments=144 nbBacktracks=329 nbVisitedNodes=817 nbRestartNogoods=14 mapSize=262
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.241 cpuTime=0.19 mem=15M5
1.24
1.24 search
1.24 run=7 nbConstraintChecks=489708 nbPropagations=34960 nbRevisions=475257 nbUselessRevisions=400952
1.24 nbAssignments=765 nbFailedAssignments=214 nbBacktracks=504 nbVisitedNodes=1223 nbRestartNogoods=17 mapSize=402
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.308 cpuTime=0.26 mem=15M5
1.34
1.34 search
1.34 run=8 nbConstraintChecks=745840 nbPropagations=50232 nbRevisions=720690 nbUselessRevisions=610062
1.34 nbAssignments=1132 nbFailedAssignments=318 nbBacktracks=761 nbVisitedNodes=1818 nbRestartNogoods=19
1.34 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.409 cpuTime=0.36 mem=15M5
1.51
1.51 search
1.51 run=9 nbConstraintChecks=1161214 nbPropagations=73174 nbRevisions=1098530 nbUselessRevisions=931966
1.51 nbAssignments=1695 nbFailedAssignments=488 nbBacktracks=1148 nbVisitedNodes=2751 nbRestartNogoods=23
1.51 mapSize=936 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.578 cpuTime=0.51 mem=15M5
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=15M5)
1.72
1.72 search
1.72 run=10 nbConstraintChecks=1751645 nbPropagations=107292 nbRevisions=1669246 nbUselessRevisions=1418597
1.72 nbAssignments=2548 nbFailedAssignments=757 nbBacktracks=1725 nbVisitedNodes=4173 nbRestartNogoods=30
1.72 => wckTime=0.792 cpuTime=0.71 mem=15M5
1.99
1.99 search
1.99 run=11 nbConstraintChecks=2569672 nbPropagations=156912 nbRevisions=2514874 nbUselessRevisions=2142259
1.99 nbAssignments=3776 nbFailedAssignments=1109 nbBacktracks=2589 nbVisitedNodes=6164 nbRestartNogoods=37
1.99 => wckTime=1.06 cpuTime=0.97 mem=15M5
2.43
2.43 search
2.43 run=12 nbConstraintChecks=3899545 nbPropagations=230666 nbRevisions=3791438 nbUselessRevisions=3234797
2.43 nbAssignments=5631 nbFailedAssignments=1657 nbBacktracks=3888 nbVisitedNodes=9201 nbRestartNogoods=43
2.43 => wckTime=1.497 cpuTime=1.4 mem=15M5
3.05
3.05 search
3.05 run=13 nbConstraintChecks=5832420 nbPropagations=340360 nbRevisions=5693755 nbUselessRevisions=4862362
3.05 nbAssignments=8421 nbFailedAssignments=2494 nbBacktracks=5835 nbVisitedNodes=13758 nbRestartNogoods=47
3.05 => wckTime=2.123 cpuTime=2.02 mem=15M5
3.98
3.98 search
3.98 run=14 nbConstraintChecks=8692964 nbPropagations=502531 nbRevisions=8542374 nbUselessRevisions=7304629
3.98 nbAssignments=12564 nbFailedAssignments=3710 nbBacktracks=8754 nbVisitedNodes=20506 nbRestartNogoods=51
3.98 => wckTime=3.05 cpuTime=2.94 mem=15M5
5.37
5.37 search
5.37 run=15 nbConstraintChecks=13009917 nbPropagations=745581 nbRevisions=12812455 nbUselessRevisions=10965048
5.38 nbAssignments=18814 nbFailedAssignments=5573 nbBacktracks=13135 nbVisitedNodes=30801 nbRestartNogoods=59
5.38 => wckTime=4.445 cpuTime=4.32 mem=15M5
7.41
7.41 search
7.41 run=16 nbConstraintChecks=19313211 nbPropagations=1105726 nbRevisions=19179552 nbUselessRevisions=16429817
7.41 nbAssignments=28172 nbFailedAssignments=8356 nbBacktracks=19703 nbVisitedNodes=46105 nbRestartNogoods=67
7.41 => wckTime=6.48 cpuTime=6.33 mem=15M5
8.55
8.55 search
8.55 run=17 nbConstraintChecks=22859115 nbPropagations=1531101 nbRevisions=26698174 nbUselessRevisions=22881893
8.55 nbAssignments=33266 nbFailedAssignments=9886 nbBacktracks=23227 nbVisitedNodes=54459 nbRestartNogoods=76
8.55 => wckTime=7.616 cpuTime=7.46 mem=15M5
8.55
8.55 global
8.55 nbConstraintChecks=22878648 nbPropagations=1531937 nbRevisions=26702597 nbUselessRevisions=22885288
8.55 nbRestartNogoods=76 solvingWckTime=7.617 solvingCpuTime=7.46 expiredTime=no totalExploration=no
8.55 nbFoundSolutions=1 globalCpuTime=7.9
8.55 => wckTime=8.229 cpuTime=7.85 mem=15M5
8.55
8.55 s SATISFIABLE
8.55 v 4 0 5 2 6 4 4 6 3 1 5 6 0 6 3 6 4 0 0 2 3 0 0 5 6 2 0 5 7 4 5 0 1 6 6 1 7 4 6 6
8.55 d NODES 33266
8.55 d CHECKS 22878648
8.55
8.55 totalWckTime=8.311 totalCpuTime=7.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-227078-1168277376 -o ROOT/results/node11/solver-227078-1168277376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227078-1168277376/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.09 2.17 2.30 4/94 13673
/proc/meminfo: memFree=1080344/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=1784 CPUtime=0
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 176132627 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/13672/statm: 446 140 106 14 0 91 0
[startup+0.104937 s]
/proc/loadavg: 2.09 2.17 2.30 4/94 13673
/proc/meminfo: memFree=1080344/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=914988 CPUtime=0.08
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 2979 0 1 0 7 1 0 0 20 0 8 0 176132627 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155586335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13672/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517066 s]
/proc/loadavg: 2.09 2.17 2.30 4/94 13673
/proc/meminfo: memFree=1080344/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=915328 CPUtime=0.49
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 6299 0 1 0 45 4 0 0 18 0 8 0 176132627 937295872 6038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073605905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13672/statm: 228832 6038 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33917 s]
/proc/loadavg: 2.16 2.18 2.31 3/101 13680
/proc/meminfo: memFree=1056352/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=915584 CPUtime=1.31
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 8756 0 1 0 124 7 0 0 24 0 8 0 176132627 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13672/statm: 228896 8494 2524 14 0 215366 0
[pid=13672/tid=13674] ppid=13670 vsize=915584 CPUtime=0.03
/proc/13672/task/13674/stat : 13674 (java) S 13670 13672 13521 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176132631 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13675] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13675/stat : 13675 (java) S 13670 13672 13521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176132631 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13676] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13676/stat : 13676 (java) S 13670 13672 13521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176132631 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13677] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13677/stat : 13677 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176132635 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13678] ppid=13670 vsize=915584 CPUtime=0.26
/proc/13672/task/13678/stat : 13678 (java) S 13670 13672 13521 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 176132635 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13679] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13679/stat : 13679 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176132635 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13680] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13680/stat : 13680 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176132635 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.9765 s]
/proc/loadavg: 2.16 2.18 2.31 3/101 13680
/proc/meminfo: memFree=1055968/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=915584 CPUtime=2.92
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 8799 0 1 0 285 7 0 0 25 0 8 0 176132627 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13672/statm: 228896 8536 2524 14 0 215366 0
[pid=13672/tid=13674] ppid=13670 vsize=915584 CPUtime=0.03
/proc/13672/task/13674/stat : 13674 (java) S 13670 13672 13521 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176132631 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13675] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13675/stat : 13675 (java) S 13670 13672 13521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176132631 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13676] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13676/stat : 13676 (java) S 13670 13672 13521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176132631 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13677] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13677/stat : 13677 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176132635 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13678] ppid=13670 vsize=915584 CPUtime=0.3
/proc/13672/task/13678/stat : 13678 (java) S 13670 13672 13521 0 -1 64 421 0 0 0 28 2 0 0 16 0 8 0 176132635 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13679] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13679/stat : 13679 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176132635 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13680] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13680/stat : 13680 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176132635 937558016 8536 18446744073709551615 134512640 134570532 4294956464 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) 915584
[startup+6.27615 s]
/proc/loadavg: 2.15 2.18 2.30 3/101 13680
/proc/meminfo: memFree=1056032/2055920 swapFree=4192812/4192956
[pid=13672] ppid=13670 vsize=915584 CPUtime=6.19
/proc/13672/stat : 13672 (java) R 13670 13672 13521 0 -1 0 8807 0 1 0 612 7 0 0 25 0 8 0 176132627 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13672/statm: 228896 8543 2524 14 0 215366 0
[pid=13672/tid=13674] ppid=13670 vsize=915584 CPUtime=0.03
/proc/13672/task/13674/stat : 13674 (java) S 13670 13672 13521 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 176132631 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13675] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13675/stat : 13675 (java) S 13670 13672 13521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176132631 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13676] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13676/stat : 13676 (java) S 13670 13672 13521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176132631 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13677] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13677/stat : 13677 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176132635 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13678] ppid=13670 vsize=915584 CPUtime=0.3
/proc/13672/task/13678/stat : 13678 (java) S 13670 13672 13521 0 -1 64 421 0 0 0 28 2 0 0 15 0 8 0 176132635 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13679] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13679/stat : 13679 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176132635 937558016 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13672/tid=13680] ppid=13670 vsize=915584 CPUtime=0
/proc/13672/task/13680/stat : 13680 (java) S 13670 13672 13521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176132635 937558016 8543 18446744073709551615 134512640 134570532 4294956464 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) 915584
Child status: 0
Real time (s): 8.57504
CPU time (s): 8.46771
CPU user time (s): 8.38272
CPU system time (s): 0.084987
CPU usage (%): 98.7483
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.38273
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8904
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= 1454
involuntary context switches= 2084
runsolver used 0.017997 s user time and 0.030995 s system time
The end
Begin job on node11 on Mon Jan 8 17:29:36 UTC 2007
IDJOB= 227078
IDBENCH= 6040
FILE ID= node11/227078-1168277376
PBS_JOBID= 3483083
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-59_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227078-1168277376/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-227078-1168277376 -o ROOT/results/node11/solver-227078-1168277376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227078-1168277376/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8be0510af642b9faedc5843520956ee9
RANDOM SEED= 617165266
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 : 5931.00
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: 1080760 kB
Buffers: 61684 kB
Cached: 185360 kB
SwapCached: 0 kB
Active: 797004 kB
Inactive: 120096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1080760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1848 kB
Writeback: 0 kB
Mapped: 695680 kB
Slab: 41348 kB
Committed_AS: 6289228 kB
PageTables: 3636 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= 66341 MiB
End job on node11 on Mon Jan 8 17:29:45 UTC 2007