0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/223489-1168265743/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.57 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4 maxDegree=15 maxArity=2
0.57 => wckTime=0.281 cpuTime=0.21 mem=13M810
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.466 cpuTime=0.34 mem=14M839
0.80
0.80 preprocessing
0.80 nbConstraintChecks=74316 nbPropagations=826 nbRevisions=5182 nbUselessRevisions=3923 nbSingletonTests=55
0.80 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.044 cpuTime=0.02 mem=14M839
0.82
0.82 search
0.82 run=0 nbConstraintChecks=34502 nbPropagations=1374 nbRevisions=9224 nbUselessRevisions=6817 nbAssignments=27
0.82 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.063 cpuTime=0.03 mem=14M839
0.84
0.84 search
0.84 run=1 nbConstraintChecks=68772 nbPropagations=3302 nbRevisions=22480 nbUselessRevisions=16506 nbAssignments=57
0.84 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=89 nbRestartNogoods=4 mapSize=18 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.078 cpuTime=0.04 mem=14M839
0.85
0.85 search
0.85 run=2 nbConstraintChecks=130998 nbPropagations=6216 nbRevisions=43000 nbUselessRevisions=31274
0.85 nbAssignments=103 nbFailedAssignments=34 nbBacktracks=50 nbVisitedNodes=169 nbRestartNogoods=8 mapSize=39
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.094 cpuTime=0.05 mem=14M839
0.87
0.87 search
0.87 run=3 nbConstraintChecks=217127 nbPropagations=10635 nbRevisions=75051 nbUselessRevisions=53966
0.87 nbAssignments=171 nbFailedAssignments=64 nbBacktracks=83 nbVisitedNodes=291 nbRestartNogoods=11 mapSize=70
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.111 cpuTime=0.07 mem=14M839
0.89
0.89 search
0.89 run=4 nbConstraintChecks=348081 nbPropagations=17093 nbRevisions=122560 nbUselessRevisions=87503
0.89 nbAssignments=280 nbFailedAssignments=103 nbBacktracks=135 nbVisitedNodes=454 nbRestartNogoods=15 mapSize=110
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.133 cpuTime=0.09 mem=14M839
0.93
0.93 search
0.93 run=5 nbConstraintChecks=576405 nbPropagations=26946 nbRevisions=196627 nbUselessRevisions=139245
0.93 nbAssignments=433 nbFailedAssignments=175 nbBacktracks=212 nbVisitedNodes=728 nbRestartNogoods=19 mapSize=178
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.168 cpuTime=0.12 mem=14M839
0.96
0.96 search
0.96 run=6 nbConstraintChecks=778202 nbPropagations=40675 nbRevisions=299330 nbUselessRevisions=210937
0.96 nbAssignments=654 nbFailedAssignments=274 nbBacktracks=325 nbVisitedNodes=1109 nbRestartNogoods=23 mapSize=263
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.203 cpuTime=0.16 mem=14M839
1.03
1.03 search
1.03 run=7 nbConstraintChecks=1186106 nbPropagations=60947 nbRevisions=452830 nbUselessRevisions=317763
1.03 nbAssignments=969 nbFailedAssignments=412 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=28 mapSize=399
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.265 cpuTime=0.22 mem=14M839
1.11
1.11 search
1.11 run=8 nbConstraintChecks=1760019 nbPropagations=90622 nbRevisions=677671 nbUselessRevisions=473203
1.11 nbAssignments=1416 nbFailedAssignments=599 nbBacktracks=753 nbVisitedNodes=2443 nbRestartNogoods=31
1.11 mapSize=595 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.352 cpuTime=0.3 mem=14M839
1.24
1.25 search
1.25 run=9 nbConstraintChecks=2527869 nbPropagations=135222 nbRevisions=1014504 nbUselessRevisions=705742
1.25 nbAssignments=2130 nbFailedAssignments=922 nbBacktracks=1140 nbVisitedNodes=3712 nbRestartNogoods=39
1.25 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.484 cpuTime=0.42 mem=14M839
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M839)
1.43
1.43 search
1.43 run=10 nbConstraintChecks=3870362 nbPropagations=201995 nbRevisions=1525773 nbUselessRevisions=1058365
1.43 nbAssignments=3181 nbFailedAssignments=1392 nbBacktracks=1716 nbVisitedNodes=5587 nbRestartNogoods=42
1.43 => wckTime=0.669 cpuTime=0.6 mem=14M839
1.65
1.65 search
1.65 run=11 nbConstraintChecks=5509466 nbPropagations=299584 nbRevisions=2263658 nbUselessRevisions=1567583
1.65 nbAssignments=4725 nbFailedAssignments=2064 nbBacktracks=2581 nbVisitedNodes=8307 nbRestartNogoods=50
1.65 => wckTime=0.89 cpuTime=0.82 mem=14M839
2.04
2.04 search
2.04 run=12 nbConstraintChecks=8605928 nbPropagations=448930 nbRevisions=3409415 nbUselessRevisions=2358624
2.04 nbAssignments=7164 nbFailedAssignments=3199 nbBacktracks=3878 nbVisitedNodes=12647 nbRestartNogoods=53
2.04 => wckTime=1.281 cpuTime=1.21 mem=14M839
2.54
2.54 search
2.54 run=13 nbConstraintChecks=12320967 nbPropagations=668905 nbRevisions=5089265 nbUselessRevisions=3520637
2.54 nbAssignments=10677 nbFailedAssignments=4756 nbBacktracks=5825 nbVisitedNodes=18791 nbRestartNogoods=60
2.54 => wckTime=1.779 cpuTime=1.7 mem=15M815
3.37
3.37 search
3.37 run=14 nbConstraintChecks=19037984 nbPropagations=1000815 nbRevisions=7633217 nbUselessRevisions=5276197
3.37 nbAssignments=15910 nbFailedAssignments=7061 nbBacktracks=8744 nbVisitedNodes=28041 nbRestartNogoods=71
3.37 => wckTime=2.61 cpuTime=2.53 mem=15M815
4.53
4.53 search
4.53 run=15 nbConstraintChecks=28074311 nbPropagations=1495986 nbRevisions=11431691 nbUselessRevisions=7901532
4.53 nbAssignments=23813 nbFailedAssignments=10578 nbBacktracks=13123 nbVisitedNodes=42050 nbRestartNogoods=76
4.53 => wckTime=3.77 cpuTime=3.69 mem=15M815
6.57
6.57 search
6.57 run=16 nbConstraintChecks=44728907 nbPropagations=2261227 nbRevisions=17355479 nbUselessRevisions=11986570
6.57 nbAssignments=36216 nbFailedAssignments=16395 nbBacktracks=19691 nbVisitedNodes=64338 nbRestartNogoods=86
6.57 => wckTime=5.809 cpuTime=5.73 mem=15M815
7.55
7.55 search
7.55 run=17 nbConstraintChecks=52164447 nbPropagations=3164235 nbRevisions=24320194 nbUselessRevisions=16786648
7.55 nbAssignments=43073 nbFailedAssignments=19341 nbBacktracks=23562 nbVisitedNodes=76258 nbRestartNogoods=90
7.55 => wckTime=6.791 cpuTime=6.71 mem=15M815
7.55
7.55 global
7.55 nbConstraintChecks=52238763 nbPropagations=3165061 nbRevisions=24325376 nbUselessRevisions=16790571
7.55 nbRestartNogoods=90 solvingWckTime=6.792 solvingCpuTime=6.71 expiredTime=no totalExploration=no
7.55 nbFoundSolutions=1 globalCpuTime=7.09
7.55 => wckTime=7.261 cpuTime=7.05 mem=15M815
7.56
7.56 s SATISFIABLE
7.56 v 4 1 1 0 23 7 15 16 1 7 18 20 1 22 18 15 1 21 10 8 17 4 11 6 22 6 9 18 15 20 17 6 7 15 6 14 0 22 16 7
7.56 d NODES 43073
7.56 d CHECKS 52238763
7.56
7.56 totalWckTime=7.337 totalCpuTime=7.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-223489-1168265743 -o ROOT/results/node75/solver-223489-1168265743 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223489-1168265743/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.14 0.05 0.21 2/68 23599
/proc/meminfo: memFree=1842896/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=1784 CPUtime=0
/proc/23598/stat : 23598 (java) R 23596 23598 23132 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 174974805 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23598/statm: 446 140 106 14 0 91 0
[startup+0.102605 s]
/proc/loadavg: 0.14 0.05 0.21 2/68 23599
/proc/meminfo: memFree=1842896/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=914988 CPUtime=0.08
/proc/23598/stat : 23598 (java) R 23596 23598 23132 0 -1 0 3035 0 1 0 7 1 0 0 20 0 8 0 174974805 936947712 2781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23598/statm: 228747 2783 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510648 s]
/proc/loadavg: 0.14 0.05 0.21 2/68 23599
/proc/meminfo: memFree=1842896/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=915328 CPUtime=0.49
/proc/23598/stat : 23598 (java) S 23596 23598 23132 0 -1 0 7373 0 1 0 45 4 0 0 16 0 8 0 174974805 937295872 7112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23598/statm: 228832 7112 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33174 s]
/proc/loadavg: 0.14 0.05 0.21 2/75 23614
/proc/meminfo: memFree=1819032/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=915452 CPUtime=1.32
/proc/23598/stat : 23598 (java) R 23596 23598 23132 0 -1 0 8720 0 1 0 125 7 0 0 17 0 8 0 174974805 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23598/statm: 228863 8458 2524 14 0 215333 0
[pid=23598/tid=23608] ppid=23596 vsize=915452 CPUtime=0.02
/proc/23598/task/23608/stat : 23608 (java) S 23596 23598 23132 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 174974809 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23609] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23609/stat : 23609 (java) S 23596 23598 23132 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174974810 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23610] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23610/stat : 23610 (java) S 23596 23598 23132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174974810 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23611] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23611/stat : 23611 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174974813 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23612] ppid=23596 vsize=915452 CPUtime=0.2
/proc/23598/task/23612/stat : 23612 (java) S 23596 23598 23132 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 174974813 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23613] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23613/stat : 23613 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174974813 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23614] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23614/stat : 23614 (java) S 23596 23598 23132 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174974813 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.96893 s]
/proc/loadavg: 0.14 0.05 0.21 2/75 23614
/proc/meminfo: memFree=1818840/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=915452 CPUtime=2.95
/proc/23598/stat : 23598 (java) R 23596 23598 23132 0 -1 0 8735 0 1 0 288 7 0 0 25 0 8 0 174974805 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23598/statm: 228863 8472 2524 14 0 215333 0
[pid=23598/tid=23608] ppid=23596 vsize=915452 CPUtime=0.02
/proc/23598/task/23608/stat : 23608 (java) S 23596 23598 23132 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 174974809 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23609] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23609/stat : 23609 (java) S 23596 23598 23132 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174974810 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23610] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23610/stat : 23610 (java) S 23596 23598 23132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174974810 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23611] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23611/stat : 23611 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174974813 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23612] ppid=23596 vsize=915452 CPUtime=0.2
/proc/23598/task/23612/stat : 23612 (java) S 23596 23598 23132 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 174974813 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23613] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23613/stat : 23613 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174974813 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23614] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23614/stat : 23614 (java) S 23596 23598 23132 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174974813 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.26732 s]
/proc/loadavg: 0.21 0.06 0.21 2/75 23614
/proc/meminfo: memFree=1818776/2055920 swapFree=4184496/4192956
[pid=23598] ppid=23596 vsize=915452 CPUtime=6.24
/proc/23598/stat : 23598 (java) R 23596 23598 23132 0 -1 0 8741 0 1 0 617 7 0 0 25 0 8 0 174974805 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23598/statm: 228863 8477 2524 14 0 215333 0
[pid=23598/tid=23608] ppid=23596 vsize=915452 CPUtime=0.02
/proc/23598/task/23608/stat : 23608 (java) S 23596 23598 23132 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 174974809 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23609] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23609/stat : 23609 (java) S 23596 23598 23132 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174974810 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23610] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23610/stat : 23610 (java) S 23596 23598 23132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174974810 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23611] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23611/stat : 23611 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174974813 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23612] ppid=23596 vsize=915452 CPUtime=0.21
/proc/23598/task/23612/stat : 23612 (java) S 23596 23598 23132 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 174974813 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23613] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23613/stat : 23613 (java) S 23596 23598 23132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174974813 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23598/tid=23614] ppid=23596 vsize=915452 CPUtime=0
/proc/23598/task/23614/stat : 23614 (java) S 23596 23598 23132 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174974813 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 7.57458
CPU time (s): 7.54985
CPU user time (s): 7.47286
CPU system time (s): 0.076988
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.47286
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8835
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= 952
involuntary context switches= 497
runsolver used 0.011998 s user time and 0.023996 s system time
The end
Begin job on node75 on Mon Jan 8 14:15:50 UTC 2007
IDJOB= 223489
IDBENCH= 5647
FILE ID= node75/223489-1168265743
PBS_JOBID= 3482785
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-51_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223489-1168265743/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-223489-1168265743 -o ROOT/results/node75/solver-223489-1168265743 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223489-1168265743/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 09dc3cc0417d573dccdcc383a849edb6
RANDOM SEED= 887802566
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1760936 kB
Buffers: 42188 kB
Cached: 102624 kB
SwapCached: 2680 kB
Active: 164588 kB
Inactive: 76548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760936 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 4820 kB
Writeback: 0 kB
Mapped: 112352 kB
Slab: 38880 kB
Committed_AS: 4814336 kB
PageTables: 2004 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= 66556 MiB
End job on node75 on Mon Jan 8 14:16:03 UTC 2007