0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224178-1168080499/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3 maxDegree=16 maxArity=2
0.62 => wckTime=0.31 cpuTime=0.24 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.504 cpuTime=0.37 mem=13M749
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0020 cpuTime=0.0 mem=13M749
0.87
0.87 search
0.87 run=0 nbConstraintChecks=34271 nbPropagations=527 nbRevisions=3667 nbUselessRevisions=2523 nbAssignments=27
0.87 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.048 cpuTime=0.02 mem=14M724
0.89
0.89 search
0.89 run=1 nbConstraintChecks=97097 nbPropagations=1915 nbRevisions=14491 nbUselessRevisions=10069 nbAssignments=70
0.89 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=123 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.069 cpuTime=0.03 mem=14M724
0.91
0.91 search
0.91 run=2 nbConstraintChecks=158066 nbPropagations=4194 nbRevisions=32260 nbUselessRevisions=22432
0.91 nbAssignments=115 nbFailedAssignments=54 nbBacktracks=49 nbVisitedNodes=201 nbRestartNogoods=5 mapSize=40
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.085 cpuTime=0.04 mem=14M724
0.93
0.93 search
0.93 run=3 nbConstraintChecks=289603 nbPropagations=8376 nbRevisions=66538 nbUselessRevisions=46438
0.93 nbAssignments=197 nbFailedAssignments=99 nbBacktracks=83 nbVisitedNodes=355 nbRestartNogoods=6 mapSize=73
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.109 cpuTime=0.06 mem=14M724
0.95
0.95 search
0.95 run=4 nbConstraintChecks=422672 nbPropagations=14571 nbRevisions=116356 nbUselessRevisions=81172
0.95 nbAssignments=290 nbFailedAssignments=140 nbBacktracks=133 nbVisitedNodes=519 nbRestartNogoods=7 mapSize=116
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.131 cpuTime=0.08 mem=14M724
0.99
0.99 search
0.99 run=5 nbConstraintChecks=671478 nbPropagations=24414 nbRevisions=195522 nbUselessRevisions=136315
0.99 nbAssignments=449 nbFailedAssignments=219 nbBacktracks=211 nbVisitedNodes=814 nbRestartNogoods=10 mapSize=188
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.169 cpuTime=0.12 mem=14M724
1.03
1.03 search
1.03 run=6 nbConstraintChecks=927555 nbPropagations=38245 nbRevisions=305467 nbUselessRevisions=212629
1.03 nbAssignments=643 nbFailedAssignments=297 nbBacktracks=324 nbVisitedNodes=1146 nbRestartNogoods=12 mapSize=277
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.211 cpuTime=0.16 mem=14M724
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1505704 nbPropagations=60393 nbRevisions=483822 nbUselessRevisions=336091
1.11 nbAssignments=1016 nbFailedAssignments=495 nbBacktracks=496 nbVisitedNodes=1844 nbRestartNogoods=15
1.11 mapSize=432 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.293 cpuTime=0.24 mem=14M724
1.21
1.21 search
1.21 run=8 nbConstraintChecks=2159041 nbPropagations=92401 nbRevisions=737791 nbUselessRevisions=511462
1.21 nbAssignments=1475 nbFailedAssignments=692 nbBacktracks=752 nbVisitedNodes=2648 nbRestartNogoods=18
1.21 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.389 cpuTime=0.33 mem=14M724
1.41
1.41 search
1.41 run=9 nbConstraintChecks=3488510 nbPropagations=143502 nbRevisions=1150811 nbUselessRevisions=796426
1.41 nbAssignments=2333 nbFailedAssignments=1161 nbBacktracks=1137 nbVisitedNodes=4250 nbRestartNogoods=27
1.41 mapSize=1002 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.584 cpuTime=0.51 mem=14M724
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=14M724)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4928700 nbPropagations=216410 nbRevisions=1734472 nbUselessRevisions=1199137
1.60 nbAssignments=3350 nbFailedAssignments=1598 nbBacktracks=1714 nbVisitedNodes=6033 nbRestartNogoods=33
1.60 => wckTime=0.78 cpuTime=0.69 mem=14M724
1.94
1.94 search
1.94 run=11 nbConstraintChecks=7636304 nbPropagations=328035 nbRevisions=2634827 nbUselessRevisions=1820169
1.94 nbAssignments=5114 nbFailedAssignments=2493 nbBacktracks=2579 nbVisitedNodes=9267 nbRestartNogoods=42
1.94 => wckTime=1.118 cpuTime=1.03 mem=14M724
2.39
2.39 search
2.39 run=12 nbConstraintChecks=11194655 nbPropagations=493601 nbRevisions=3961309 nbUselessRevisions=2735736
2.39 nbAssignments=7556 nbFailedAssignments=3633 nbBacktracks=3877 nbVisitedNodes=13687 nbRestartNogoods=51
2.39 => wckTime=1.565 cpuTime=1.47 mem=14M724
3.00
3.00 search
3.00 run=13 nbConstraintChecks=16605981 nbPropagations=736265 nbRevisions=5893457 nbUselessRevisions=4067370
3.00 nbAssignments=11103 nbFailedAssignments=5229 nbBacktracks=5824 nbVisitedNodes=20033 nbRestartNogoods=71
3.00 => wckTime=2.182 cpuTime=2.09 mem=14M724
3.96
3.96 search
3.96 run=14 nbConstraintChecks=24957465 nbPropagations=1099882 nbRevisions=8797728 nbUselessRevisions=6070004
3.96 nbAssignments=16578 nbFailedAssignments=7781 nbBacktracks=8744 nbVisitedNodes=29937 nbRestartNogoods=78
3.96 => wckTime=3.143 cpuTime=3.05 mem=14M724
5.31
5.31 search
5.31 run=15 nbConstraintChecks=36569477 nbPropagations=1633979 nbRevisions=13050512 nbUselessRevisions=8997800
5.31 nbAssignments=24522 nbFailedAssignments=11340 nbBacktracks=13126 nbVisitedNodes=44043 nbRestartNogoods=92
5.31 => wckTime=4.487 cpuTime=4.39 mem=14M724
7.41
7.41 search
7.41 run=16 nbConstraintChecks=54812270 nbPropagations=2437697 nbRevisions=19451574 nbUselessRevisions=13405518
7.41 nbAssignments=36634 nbFailedAssignments=16882 nbBacktracks=19694 nbVisitedNodes=65853 nbRestartNogoods=98
7.41 => wckTime=6.593 cpuTime=6.5 mem=14M724
8.38
8.38 search
8.38 run=17 nbConstraintChecks=63277783 nbPropagations=3364015 nbRevisions=26827269 nbUselessRevisions=18481477
8.38 nbAssignments=42162 nbFailedAssignments=19314 nbBacktracks=22791 nbVisitedNodes=75673 nbRestartNogoods=103
8.38 => wckTime=7.563 cpuTime=7.47 mem=14M724
8.39
8.39 global
8.39 nbConstraintChecks=63277783 nbPropagations=3364055 nbRevisions=26827269 nbUselessRevisions=18481477
8.39 nbRestartNogoods=103 solvingWckTime=7.565 solvingCpuTime=7.47 expiredTime=no totalExploration=yes
8.39 nbFoundSolutions=0 globalCpuTime=7.88
8.39 => wckTime=8.072 cpuTime=7.84 mem=14M724
8.39
8.39 s UNSATISFIABLE
8.39 d NODES 42162
8.39 d CHECKS 63277783
8.39
8.39 totalWckTime=8.151 totalCpuTime=7.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-224178-1168080499 -o ROOT/results/node56/solver-224178-1168080499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224178-1168080499/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.66 0.91 0.96 3/80 7966
/proc/meminfo: memFree=1621872/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=18540 CPUtime=0
/proc/7965/stat : 7965 (runsolver) R 7963 7965 7486 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156448305 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7965/statm: 4635 279 244 17 0 2626 0
[startup+0.107897 s]
/proc/loadavg: 0.66 0.91 0.96 3/80 7966
/proc/meminfo: memFree=1621872/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=914988 CPUtime=0.08
/proc/7965/stat : 7965 (java) S 7963 7965 7486 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 156448305 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7965/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515937 s]
/proc/loadavg: 0.66 0.91 0.96 3/80 7966
/proc/meminfo: memFree=1621872/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=915328 CPUtime=0.49
/proc/7965/stat : 7965 (java) R 7963 7965 7486 0 -1 0 7105 0 1 0 44 5 0 0 18 0 8 0 156448305 937295872 6844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7965/statm: 228832 6844 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33701 s]
/proc/loadavg: 0.66 0.91 0.96 2/75 7973
/proc/meminfo: memFree=1622360/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=915452 CPUtime=1.31
/proc/7965/stat : 7965 (java) R 7963 7965 7486 0 -1 0 8642 0 1 0 124 7 0 0 17 0 8 0 156448305 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7965/statm: 228863 8380 2513 14 0 215333 0
[pid=7965/tid=7967] ppid=7963 vsize=915452 CPUtime=0.02
/proc/7965/task/7967/stat : 7967 (java) S 7963 7965 7486 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156448309 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7968] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7968/stat : 7968 (java) S 7963 7965 7486 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156448309 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7969] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7969/stat : 7969 (java) S 7963 7965 7486 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156448309 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7970] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7970/stat : 7970 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156448313 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7971] ppid=7963 vsize=915452 CPUtime=0.22
/proc/7965/task/7971/stat : 7971 (java) S 7963 7965 7486 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 156448313 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7965/tid=7972] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7972/stat : 7972 (java) S 7963 7965 7486 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156448313 937422848 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7973] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7973/stat : 7973 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156448313 937422848 8380 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+2.97417 s]
/proc/loadavg: 0.69 0.91 0.96 2/75 7973
/proc/meminfo: memFree=1622360/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=915452 CPUtime=2.94
/proc/7965/stat : 7965 (java) R 7963 7965 7486 0 -1 0 8648 0 1 0 287 7 0 0 19 0 8 0 156448305 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7965/statm: 228863 8385 2513 14 0 215333 0
[pid=7965/tid=7967] ppid=7963 vsize=915452 CPUtime=0.02
/proc/7965/task/7967/stat : 7967 (java) S 7963 7965 7486 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7968] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7968/stat : 7968 (java) S 7963 7965 7486 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7969] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7969/stat : 7969 (java) S 7963 7965 7486 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7970] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7970/stat : 7970 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7971] ppid=7963 vsize=915452 CPUtime=0.23
/proc/7965/task/7971/stat : 7971 (java) S 7963 7965 7486 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7965/tid=7972] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7972/stat : 7972 (java) S 7963 7965 7486 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7973] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7973/stat : 7973 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.17548 s]
/proc/loadavg: 0.69 0.91 0.96 2/75 7981
/proc/meminfo: memFree=1622296/2055920 swapFree=4184772/4192956
[pid=7965] ppid=7963 vsize=915452 CPUtime=6.14
/proc/7965/stat : 7965 (java) R 7963 7965 7486 0 -1 0 8649 0 1 0 607 7 0 0 25 0 8 0 156448305 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7965/statm: 228863 8385 2513 14 0 215333 0
[pid=7965/tid=7967] ppid=7963 vsize=915452 CPUtime=0.02
/proc/7965/task/7967/stat : 7967 (java) S 7963 7965 7486 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7968] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7968/stat : 7968 (java) S 7963 7965 7486 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7969] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7969/stat : 7969 (java) S 7963 7965 7486 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156448309 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7970] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7970/stat : 7970 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7971] ppid=7963 vsize=915452 CPUtime=0.23
/proc/7965/task/7971/stat : 7971 (java) S 7963 7965 7486 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7965/tid=7972] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7972/stat : 7972 (java) S 7963 7965 7486 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7965/tid=7973] ppid=7963 vsize=915452 CPUtime=0
/proc/7965/task/7973/stat : 7973 (java) S 7963 7965 7486 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156448313 937422848 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 8.41639
CPU time (s): 8.36973
CPU user time (s): 8.29074
CPU system time (s): 0.078987
CPU usage (%): 99.4456
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.29074
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8725
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= 1091
involuntary context switches= 770
runsolver used 0.013997 s user time and 0.028995 s system time
The end
Begin job on node56 on Sat Jan 6 10:48:20 UTC 2007
IDJOB= 224178
IDBENCH= 5721
FILE ID= node56/224178-1168080499
PBS_JOBID= 3476162
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-59_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224178-1168080499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-224178-1168080499 -o ROOT/results/node56/solver-224178-1168080499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224178-1168080499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ba05193199290b074be623a56c7ad19
RANDOM SEED= 89072736
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.232
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.232
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: 1622288 kB
Buffers: 30136 kB
Cached: 298012 kB
SwapCached: 2060 kB
Active: 89240 kB
Inactive: 277076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1622288 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4104 kB
Writeback: 0 kB
Mapped: 55144 kB
Slab: 52544 kB
Committed_AS: 3574860 kB
PageTables: 1960 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= 66519 MiB
End job on node56 on Sat Jan 6 10:48:33 UTC 2007