0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/217856-1168249675/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=36 nbDomainTypes=2 minDomainSize=34 maxDomainSize=35
0.44 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
0.68 nbConstraints=434 nbConvertedConstraints=406 nbConvertConstraintsChecks=44031 nbExtensionStructures=2
0.68 nbSharedExtensionStructures=404 nbConflictsStructures=3 nbSharedConflictsStructures=431
0.68 nbSharedBinaryRepresentations=36 nbEvaluationManagers=1 nbSharedEvaluationManagers=27 maxDegree=28 maxArity=3
0.68 => wckTime=0.347 cpuTime=0.26 mem=8M902
0.72
0.72 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.563 cpuTime=0.4 mem=14M625
16.07
16.07 preprocessing
16.07 nbConstraintChecks=50010828 nbValidityChecks=2507811 nbPropagations=33210 nbRevisions=250025
16.07 nbUselessRevisions=170670 nbSingletonTests=1032 nbEffectiveSingletonTests=63 nbESACBranches=310
16.08 nbRemovedValues=279 detectedInconsistency=no
16.08 => wckTime=15.175 cpuTime=15.06 mem=14M625
16.15
16.15 search
16.15 run=0 nbConstraintChecks=176868 nbValidityChecks=10281 nbPropagations=33606 nbRevisions=253105
16.15 nbUselessRevisions=173074 nbAssignments=28 nbFailedAssignments=5 nbBacktracks=16 nbVisitedNodes=37
16.15 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
16.15 => wckTime=15.246 cpuTime=15.12 mem=14M625
16.18
16.18 search
16.18 run=1 nbConstraintChecks=247919 nbValidityChecks=17658 nbPropagations=67616 nbRevisions=508888
16.18 nbUselessRevisions=348121 nbAssignments=61 nbFailedAssignments=13 nbBacktracks=34 nbVisitedNodes=81
16.18 nbRestartNogoods=3 mapSize=6 nbInferences=0 nbTooLargeKeys=0
16.18 => wckTime=15.284 cpuTime=15.15 mem=14M625
16.22
16.22 search
16.22 run=2 nbConstraintChecks=337949 nbValidityChecks=28494 nbPropagations=102250 nbRevisions=769038
16.22 nbUselessRevisions=526487 nbAssignments=100 nbFailedAssignments=21 nbBacktracks=58 nbVisitedNodes=136
16.22 nbRestartNogoods=6 mapSize=14 nbInferences=0 nbTooLargeKeys=0
16.22 => wckTime=15.318 cpuTime=15.18 mem=14M625
16.32
16.32 search
16.32 run=3 nbConstraintChecks=645798 nbValidityChecks=57823 nbPropagations=138415 nbRevisions=1040689
16.32 nbUselessRevisions=713699 nbAssignments=183 nbFailedAssignments=50 nbBacktracks=97 nbVisitedNodes=250
16.32 nbRestartNogoods=12 mapSize=29 nbInferences=0 nbTooLargeKeys=0
16.32 => wckTime=15.423 cpuTime=15.29 mem=14M625
16.44
16.44 search
16.44 run=4 nbConstraintChecks=994483 nbValidityChecks=93406 nbPropagations=176477 nbRevisions=1326832
16.44 nbUselessRevisions=911712 nbAssignments=280 nbFailedAssignments=83 nbBacktracks=148 nbVisitedNodes=391
16.44 nbRestartNogoods=17 mapSize=50 nbInferences=0 nbTooLargeKeys=0
16.44 => wckTime=15.539 cpuTime=15.4 mem=14M625
16.62
16.62 search
16.62 run=5 nbConstraintChecks=1510519 nbValidityChecks=153495 nbPropagations=217733 nbRevisions=1639065
16.62 nbUselessRevisions=1128624 nbAssignments=437 nbFailedAssignments=153 nbBacktracks=227 nbVisitedNodes=639
16.62 nbRestartNogoods=24 mapSize=87 nbInferences=0 nbTooLargeKeys=0
16.62 => wckTime=15.717 cpuTime=15.58 mem=14M625
16.91
16.91 search
16.91 run=6 nbConstraintChecks=2380393 nbValidityChecks=222718 nbPropagations=262572 nbRevisions=1979848
16.91 nbUselessRevisions=1367189 nbAssignments=622 nbFailedAssignments=218 nbBacktracks=341 nbVisitedNodes=928
16.91 nbRestartNogoods=25 mapSize=135 nbInferences=0 nbTooLargeKeys=0
16.91 => wckTime=16.011 cpuTime=15.87 mem=14M625
17.02
17.02 search
17.02 run=7 nbConstraintChecks=2638177 nbValidityChecks=261496 nbPropagations=310110 nbRevisions=2341952
17.02 nbUselessRevisions=1621278 nbAssignments=795 nbFailedAssignments=279 nbBacktracks=417 nbVisitedNodes=1193
17.02 nbRestartNogoods=26 mapSize=170 nbInferences=0 nbTooLargeKeys=0
17.02 => wckTime=16.121 cpuTime=15.97 mem=14M625
17.02
17.02 global
17.02 nbConstraintChecks=52649005 nbValidityChecks=2769307 nbPropagations=343320 nbRevisions=2591977
17.02 nbUselessRevisions=1791948 nbRestartNogoods=26 solvingWckTime=16.122 solvingCpuTime=15.97 expiredTime=no
17.02 totalExploration=no nbFoundSolutions=1 globalCpuTime=16.42
17.02 => wckTime=16.688 cpuTime=16.37 mem=14M625
17.02
17.02 s SATISFIABLE
17.02 v 0 1 4 9 15 22 32 34 1 4 9 15 22 32 34 3 8 14 21 31 33 5 11 18 28 30 6 13 23 25 7 17 19 10 12 2
17.02 d NODES 795
17.02 d CHECKS 52649005
17.02
17.03 totalWckTime=16.773 totalCpuTime=16.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-217856-1168249675 -o ROOT/results/node48/solver-217856-1168249675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217856-1168249675/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 0.99 3/68 28444
/proc/meminfo: memFree=1880320/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=0 CPUtime=0
/proc/28443/stat : 28443 (runsolver) R 28436 28443 28309 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173366186 0 0 18446744073709551615 0 0 0 18446744073709551615 255539604775 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28443/statm: 0 0 0 0 0 0 0
[startup+0.103831 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 28444
/proc/meminfo: memFree=1880320/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=911488 CPUtime=0.06
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 2635 0 1 0 5 1 0 0 24 0 8 0 173366186 933363712 2382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072935123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28443/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511869 s]
/proc/loadavg: 0.92 0.98 0.99 3/68 28444
/proc/meminfo: memFree=1880320/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=915328 CPUtime=0.46
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 6271 0 1 0 41 5 0 0 18 0 8 0 173366186 937295872 6010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28443/statm: 228832 6011 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33394 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 28477
/proc/meminfo: memFree=1814368/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=916484 CPUtime=1.27
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 8568 0 1 0 118 9 0 0 23 0 8 0 173366186 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073670711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28443/statm: 229121 8306 2542 14 0 215591 0
[pid=28443/tid=28452] ppid=28436 vsize=916484 CPUtime=0.02
/proc/28443/task/28452/stat : 28452 (java) S 28436 28443 28309 0 -1 64 175 0 0 0 2 0 0 0 17 0 8 0 173366192 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28454] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28454/stat : 28454 (java) S 28436 28443 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28455] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28455/stat : 28455 (java) S 28436 28443 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28459] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28459/stat : 28459 (java) S 28436 28443 28309 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173366195 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28460] ppid=28436 vsize=916484 CPUtime=0.19
/proc/28443/task/28460/stat : 28460 (java) S 28436 28443 28309 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 173366195 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28461] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28461/stat : 28461 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173366195 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28463] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28463/stat : 28463 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173366195 938479616 8306 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 916484
[startup+2.9861 s]
/proc/loadavg: 0.92 0.98 0.99 3/89 28478
/proc/meminfo: memFree=1807896/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=916484 CPUtime=2.92
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 8577 0 1 0 282 10 0 0 25 0 8 0 173366186 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073669766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28443/statm: 229121 8313 2542 14 0 215591 0
[pid=28443/tid=28452] ppid=28436 vsize=916484 CPUtime=0.02
/proc/28443/task/28452/stat : 28452 (java) S 28436 28443 28309 0 -1 64 175 0 0 0 2 0 0 0 17 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28454] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28454/stat : 28454 (java) S 28436 28443 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28455] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28455/stat : 28455 (java) S 28436 28443 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28459] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28459/stat : 28459 (java) S 28436 28443 28309 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28460] ppid=28436 vsize=916484 CPUtime=0.2
/proc/28443/task/28460/stat : 28460 (java) S 28436 28443 28309 0 -1 64 379 0 0 0 19 1 0 0 15 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28461] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28461/stat : 28461 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28463] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28463/stat : 28463 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916484
[startup+6.2844 s]
/proc/loadavg: 1.01 1.00 1.00 4/89 28478
/proc/meminfo: memFree=1807768/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=916484 CPUtime=6.2
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 8577 0 1 0 610 10 0 0 25 0 8 0 173366186 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28443/statm: 229121 8313 2542 14 0 215591 0
[pid=28443/tid=28452] ppid=28436 vsize=916484 CPUtime=0.02
/proc/28443/task/28452/stat : 28452 (java) S 28436 28443 28309 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28454] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28454/stat : 28454 (java) S 28436 28443 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28455] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28455/stat : 28455 (java) S 28436 28443 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28459] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28459/stat : 28459 (java) S 28436 28443 28309 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28460] ppid=28436 vsize=916484 CPUtime=0.2
/proc/28443/task/28460/stat : 28460 (java) S 28436 28443 28309 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28461] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28461/stat : 28461 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28463] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28463/stat : 28463 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173366195 938479616 8313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 916484
[startup+12.77 s]
/proc/loadavg: 1.09 1.02 1.01 3/89 28478
/proc/meminfo: memFree=1807840/2055920 swapFree=4192812/4192956
[pid=28443] ppid=28436 vsize=916484 CPUtime=12.66
/proc/28443/stat : 28443 (java) R 28436 28443 28309 0 -1 0 8581 0 1 0 1255 11 0 0 25 0 8 0 173366186 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073667623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28443/statm: 229121 8316 2542 14 0 215591 0
[pid=28443/tid=28452] ppid=28436 vsize=916484 CPUtime=0.02
/proc/28443/task/28452/stat : 28452 (java) S 28436 28443 28309 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 173366192 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28454] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28454/stat : 28454 (java) S 28436 28443 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28455] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28455/stat : 28455 (java) S 28436 28443 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173366192 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28459] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28459/stat : 28459 (java) S 28436 28443 28309 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173366195 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28460] ppid=28436 vsize=916484 CPUtime=0.2
/proc/28443/task/28460/stat : 28460 (java) S 28436 28443 28309 0 -1 64 382 0 0 0 19 1 0 0 15 0 8 0 173366195 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28443/tid=28461] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28461/stat : 28461 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173366195 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28443/tid=28463] ppid=28436 vsize=916484 CPUtime=0
/proc/28443/task/28463/stat : 28463 (java) S 28436 28443 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173366195 938479616 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 17.0759
CPU time (s): 16.9094
CPU user time (s): 16.7814
CPU system time (s): 0.12798
CPU usage (%): 99.0251
Max. virtual memory (cumulated for all children) (KiB): 916484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7814
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8818
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= 1496
involuntary context switches= 1728
runsolver used 0.019996 s user time and 0.068989 s system time
The end
Begin job on node48 on Mon Jan 8 09:47:55 UTC 2007
IDJOB= 217856
IDBENCH= 5176
FILE ID= node48/217856-1168249675
PBS_JOBID= 3481910
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-34-8-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217856-1168249675/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-217856-1168249675 -o ROOT/results/node48/solver-217856-1168249675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217856-1168249675/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d838c6d71a7a724592b2484a28d650c6
RANDOM SEED= 811178379
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.218
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.218
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: 1880536 kB
Buffers: 35212 kB
Cached: 65360 kB
SwapCached: 0 kB
Active: 63124 kB
Inactive: 57520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1880536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5408 kB
Writeback: 0 kB
Mapped: 30256 kB
Slab: 40316 kB
Committed_AS: 3974892 kB
PageTables: 1668 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= 66560 MiB
End job on node48 on Mon Jan 8 09:48:12 UTC 2007