0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/225166-1168271148/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.097 cpuTime=0.07 mem=6M951
0.40
0.40 relations being loaded...
0.57
0.57 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.66 => wckTime=0.354 cpuTime=0.3 mem=21M634
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.554 cpuTime=0.42 mem=15M362
0.92
0.92 preprocessing
0.92 nbConstraintChecks=180756 nbPropagations=1026 nbRevisions=3831 nbUselessRevisions=2139 nbSingletonTests=49
0.92 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.052 cpuTime=0.03 mem=15M362
0.94
0.94 search
0.94 run=0 nbConstraintChecks=73016 nbPropagations=1618 nbRevisions=6238 nbUselessRevisions=3391 nbAssignments=22
0.94 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.077 cpuTime=0.05 mem=15M362
0.96
0.96 search
0.96 run=1 nbConstraintChecks=222552 nbPropagations=4356 nbRevisions=17901 nbUselessRevisions=9730 nbAssignments=58
0.96 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.097 cpuTime=0.06 mem=15M362
0.98
0.98 search
0.98 run=2 nbConstraintChecks=362256 nbPropagations=8273 nbRevisions=34862 nbUselessRevisions=18919
0.98 nbAssignments=101 nbFailedAssignments=44 nbBacktracks=50 nbVisitedNodes=175 nbRestartNogoods=2 mapSize=39
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.117 cpuTime=0.08 mem=15M362
1.02
1.02 search
1.02 run=3 nbConstraintChecks=773310 nbPropagations=15101 nbRevisions=65759 nbUselessRevisions=35454
1.02 nbAssignments=213 nbFailedAssignments=117 nbBacktracks=83 nbVisitedNodes=384 nbRestartNogoods=6 mapSize=70
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.156 cpuTime=0.11 mem=15M362
1.07
1.07 search
1.07 run=4 nbConstraintChecks=1223570 nbPropagations=26022 nbRevisions=114589 nbUselessRevisions=61621
1.07 nbAssignments=357 nbFailedAssignments=206 nbBacktracks=133 nbVisitedNodes=653 nbRestartNogoods=13 mapSize=116
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.2 cpuTime=0.16 mem=15M362
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2000878 nbPropagations=42984 nbRevisions=192872 nbUselessRevisions=103818
1.14 nbAssignments=572 nbFailedAssignments=342 nbBacktracks=208 nbVisitedNodes=1057 nbRestartNogoods=17 mapSize=181
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.273 cpuTime=0.22 mem=15M362
1.20
1.20 search
1.20 run=6 nbConstraintChecks=2662232 nbPropagations=65736 nbRevisions=297622 nbUselessRevisions=160132
1.20 nbAssignments=781 nbFailedAssignments=434 nbBacktracks=322 nbVisitedNodes=1414 nbRestartNogoods=28 mapSize=267
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.333 cpuTime=0.28 mem=15M362
1.31
1.31 search
1.31 run=7 nbConstraintChecks=3892315 nbPropagations=98789 nbRevisions=449534 nbUselessRevisions=241815
1.31 nbAssignments=1129 nbFailedAssignments=610 nbBacktracks=492 nbVisitedNodes=2041 nbRestartNogoods=37
1.31 mapSize=403 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.442 cpuTime=0.38 mem=15M362
1.56
1.56 search
1.56 run=8 nbConstraintChecks=7002720 nbPropagations=154712 nbRevisions=713995 nbUselessRevisions=385090
1.56 nbAssignments=2002 nbFailedAssignments=1224 nbBacktracks=749 nbVisitedNodes=3726 nbRestartNogoods=38
1.56 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.698 cpuTime=0.62 mem=15M362
1.78
1.78 search
1.78 run=9 nbConstraintChecks=9488071 nbPropagations=234103 nbRevisions=1084350 nbUselessRevisions=584581
1.78 nbAssignments=2826 nbFailedAssignments=1660 nbBacktracks=1133 nbVisitedNodes=5220 nbRestartNogoods=47
1.78 mapSize=959 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.911 cpuTime=0.83 mem=16M337
1.82
1.82 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M337)
2.19
2.19 search
2.19 run=10 nbConstraintChecks=15087921 nbPropagations=356568 nbRevisions=1662329 nbUselessRevisions=897630
2.19 nbAssignments=4456 nbFailedAssignments=2711 nbBacktracks=1709 nbVisitedNodes=8308 nbRestartNogoods=56
2.19 => wckTime=1.325 cpuTime=1.24 mem=16M337
2.60
2.60 search
2.60 run=11 nbConstraintChecks=20255289 nbPropagations=526773 nbRevisions=2458733 nbUselessRevisions=1327972
2.60 nbAssignments=6233 nbFailedAssignments=3620 nbBacktracks=2574 nbVisitedNodes=11461 nbRestartNogoods=68
2.60 => wckTime=1.736 cpuTime=1.64 mem=16M337
3.39
3.39 search
3.39 run=12 nbConstraintChecks=30874535 nbPropagations=783814 nbRevisions=3675817 nbUselessRevisions=1990886
3.39 nbAssignments=9537 nbFailedAssignments=5621 nbBacktracks=3871 nbVisitedNodes=17606 nbRestartNogoods=81
3.39 => wckTime=2.522 cpuTime=2.43 mem=16M337
4.76
4.76 search
4.76 run=13 nbConstraintChecks=49618134 nbPropagations=1188585 nbRevisions=5616463 nbUselessRevisions=3053752
4.76 nbAssignments=15258 nbFailedAssignments=9393 nbBacktracks=5817 nbVisitedNodes=28416 nbRestartNogoods=93
4.76 => wckTime=3.895 cpuTime=3.79 mem=16M337
6.29
6.29 search
6.29 run=14 nbConstraintChecks=69611111 nbPropagations=1770171 nbRevisions=8368922 nbUselessRevisions=4554577
6.29 nbAssignments=21617 nbFailedAssignments=12825 nbBacktracks=8737 nbVisitedNodes=39881 nbRestartNogoods=106
6.29 => wckTime=5.429 cpuTime=5.32 mem=16M337
8.95
8.95 search
8.95 run=15 nbConstraintChecks=104804249 nbPropagations=2635252 nbRevisions=12456076 nbUselessRevisions=6769588
8.95 nbAssignments=31781 nbFailedAssignments=18607 nbBacktracks=13115 nbVisitedNodes=58415 nbRestartNogoods=108
8.95 => wckTime=8.085 cpuTime=7.94 mem=16M337
10.47
10.47 search
10.47 run=16 nbConstraintChecks=125696810 nbPropagations=3653809 nbRevisions=17277554 nbUselessRevisions=9375256
10.47 nbAssignments=37213 nbFailedAssignments=22077 nbBacktracks=15078 nbVisitedNodes=68561 nbRestartNogoods=115
10.47 => wckTime=9.608 cpuTime=9.46 mem=16M337
10.47
10.47 global
10.47 nbConstraintChecks=125877566 nbPropagations=3654835 nbRevisions=17281385 nbUselessRevisions=9377395
10.47 nbRestartNogoods=115 solvingWckTime=9.609 solvingCpuTime=9.46 expiredTime=no totalExploration=yes
10.48 nbFoundSolutions=0 globalCpuTime=9.94
10.48 => wckTime=10.168 cpuTime=9.89 mem=16M337
10.48
10.48 s UNSATISFIABLE
10.48 d NODES 37213
10.48 d CHECKS 125877566
10.48
10.48 totalWckTime=10.245 totalCpuTime=9.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-225166-1168271148 -o ROOT/results/node24/solver-225166-1168271148 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225166-1168271148/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.92 0.98 1.10 7/86 22493
/proc/meminfo: memFree=545696/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=18540 CPUtime=0
/proc/22492/stat : 22492 (runsolver) R 22487 22492 22380 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175510033 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22492/statm: 4635 279 244 17 0 2626 0
[startup+0.108029 s]
/proc/loadavg: 0.92 0.98 1.10 7/86 22493
/proc/meminfo: memFree=545696/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=914988 CPUtime=0.08
/proc/22492/stat : 22492 (java) D 22487 22492 22380 0 -1 0 2987 0 1 0 6 2 0 0 23 0 8 0 175510033 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22492/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520073 s]
/proc/loadavg: 0.92 0.98 1.10 7/86 22493
/proc/meminfo: memFree=545696/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=915328 CPUtime=0.49
/proc/22492/stat : 22492 (java) R 22487 22492 22380 0 -1 0 7889 0 1 0 45 4 0 0 25 0 8 0 175510033 937295872 7628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22492/statm: 228832 7629 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34917 s]
/proc/loadavg: 0.92 0.98 1.10 3/101 22521
/proc/meminfo: memFree=435752/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=915464 CPUtime=1.31
/proc/22492/stat : 22492 (java) R 22487 22492 22380 0 -1 0 10555 0 1 0 125 6 0 0 25 0 8 0 175510033 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730302 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22492/statm: 228866 10293 2524 14 0 215336 0
[pid=22492/tid=22508] ppid=22487 vsize=915464 CPUtime=0.03
/proc/22492/task/22508/stat : 22508 (java) S 22487 22492 22380 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 175510037 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22509] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22509/stat : 22509 (java) S 22487 22492 22380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175510038 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22510] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22510/stat : 22510 (java) S 22487 22492 22380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175510038 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22514] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22514/stat : 22514 (java) S 22487 22492 22380 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175510041 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22515] ppid=22487 vsize=915464 CPUtime=0.17
/proc/22492/task/22515/stat : 22515 (java) S 22487 22492 22380 0 -1 64 362 0 0 0 17 0 0 0 15 0 8 0 175510041 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22516] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22516/stat : 22516 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175510041 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22517] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22517/stat : 22517 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175510041 937435136 10293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98834 s]
/proc/loadavg: 1.01 1.00 1.10 4/101 22521
/proc/meminfo: memFree=435432/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=915464 CPUtime=2.94
/proc/22492/stat : 22492 (java) R 22487 22492 22380 0 -1 0 10570 0 1 0 288 6 0 0 25 0 8 0 175510033 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22492/statm: 228866 10307 2524 14 0 215336 0
[pid=22492/tid=22508] ppid=22487 vsize=915464 CPUtime=0.03
/proc/22492/task/22508/stat : 22508 (java) S 22487 22492 22380 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 175510037 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22509] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22509/stat : 22509 (java) S 22487 22492 22380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175510038 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22510] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22510/stat : 22510 (java) S 22487 22492 22380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175510038 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22514] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22514/stat : 22514 (java) S 22487 22492 22380 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175510041 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22515] ppid=22487 vsize=915464 CPUtime=0.2
/proc/22492/task/22515/stat : 22515 (java) S 22487 22492 22380 0 -1 64 377 0 0 0 20 0 0 0 15 0 8 0 175510041 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22516] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22516/stat : 22516 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175510041 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22517] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22517/stat : 22517 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175510041 937435136 10307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27469 s]
/proc/loadavg: 1.01 1.00 1.10 3/102 22522
/proc/meminfo: memFree=424608/2055920 swapFree=4192812/4192956
[pid=22492] ppid=22487 vsize=915464 CPUtime=6.22
/proc/22492/stat : 22492 (java) R 22487 22492 22380 0 -1 0 10573 0 1 0 615 7 0 0 25 0 8 0 175510033 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22492/statm: 228866 10308 2524 14 0 215336 0
[pid=22492/tid=22508] ppid=22487 vsize=915464 CPUtime=0.03
/proc/22492/task/22508/stat : 22508 (java) S 22487 22492 22380 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175510037 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22509] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22509/stat : 22509 (java) S 22487 22492 22380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175510038 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22510] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22510/stat : 22510 (java) S 22487 22492 22380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175510038 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22514] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22514/stat : 22514 (java) S 22487 22492 22380 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175510041 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22515] ppid=22487 vsize=915464 CPUtime=0.2
/proc/22492/task/22515/stat : 22515 (java) S 22487 22492 22380 0 -1 64 379 0 0 0 20 0 0 0 15 0 8 0 175510041 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22516] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22516/stat : 22516 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175510041 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22492/tid=22517] ppid=22487 vsize=915464 CPUtime=0
/proc/22492/task/22517/stat : 22517 (java) S 22487 22492 22380 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175510041 937435136 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 10.4981
CPU time (s): 10.3944
CPU user time (s): 10.3144
CPU system time (s): 0.079987
CPU usage (%): 99.0123
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3144
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10580
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= 1297
involuntary context switches= 1830
runsolver used 0.011998 s user time and 0.047992 s system time
The end
Begin job on node24 on Mon Jan 8 15:45:48 UTC 2007
IDJOB= 225166
IDBENCH= 5827
FILE ID= node24/225166-1168271148
PBS_JOBID= 3483195
Free space on /tmp= 66472 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-67_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225166-1168271148/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-225166-1168271148 -o ROOT/results/node24/solver-225166-1168271148 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225166-1168271148/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 810fbae72427e3f1b1fe3fbaf47d03b3
RANDOM SEED= 685517166
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.234
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.234
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: 546672 kB
Buffers: 11536 kB
Cached: 1388856 kB
SwapCached: 0 kB
Active: 822444 kB
Inactive: 635304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 546672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6784 kB
Writeback: 0 kB
Mapped: 76288 kB
Slab: 36408 kB
Committed_AS: 3731328 kB
PageTables: 2280 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= 66472 MiB
End job on node24 on Mon Jan 8 15:45:59 UTC 2007