0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/226136-1168274596/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.41 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.53
0.53 constraints being loaded...
0.61 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.61 => wckTime=0.303 cpuTime=0.24 mem=15M729
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.505 cpuTime=0.37 mem=14M928
0.87
0.87 preprocessing
0.87 nbConstraintChecks=81864 nbPropagations=844 nbRevisions=3897 nbUselessRevisions=2641 nbSingletonTests=49
0.87 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.047 cpuTime=0.03 mem=14M928
0.89
0.89 search
0.89 run=0 nbConstraintChecks=52991 nbPropagations=1590 nbRevisions=8185 nbUselessRevisions=5303 nbAssignments=32
0.89 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.073 cpuTime=0.05 mem=14M928
0.91
0.91 search
0.91 run=1 nbConstraintChecks=134663 nbPropagations=4286 nbRevisions=21952 nbUselessRevisions=14217
0.91 nbAssignments=75 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=106 nbRestartNogoods=5 mapSize=22
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.091 cpuTime=0.06 mem=14M928
0.93
0.93 search
0.93 run=2 nbConstraintChecks=225631 nbPropagations=8344 nbRevisions=43781 nbUselessRevisions=28176
0.93 nbAssignments=123 nbFailedAssignments=44 nbBacktracks=49 nbVisitedNodes=191 nbRestartNogoods=7 mapSize=43
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.113 cpuTime=0.08 mem=14M928
0.96
0.96 search
0.96 run=3 nbConstraintChecks=374826 nbPropagations=14539 nbRevisions=78218 nbUselessRevisions=49945
0.96 nbAssignments=212 nbFailedAssignments=93 nbBacktracks=82 nbVisitedNodes=355 nbRestartNogoods=15 mapSize=74
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.135 cpuTime=0.1 mem=14M928
0.99
0.99 search
0.99 run=4 nbConstraintChecks=591304 nbPropagations=24256 nbRevisions=131202 nbUselessRevisions=82948
0.99 nbAssignments=343 nbFailedAssignments=158 nbBacktracks=134 nbVisitedNodes=571 nbRestartNogoods=21 mapSize=117
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.17 cpuTime=0.13 mem=14M928
1.04
1.04 search
1.04 run=5 nbConstraintChecks=879237 nbPropagations=37873 nbRevisions=207157 nbUselessRevisions=129734
1.04 nbAssignments=504 nbFailedAssignments=239 nbBacktracks=209 nbVisitedNodes=863 nbRestartNogoods=27 mapSize=182
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.216 cpuTime=0.17 mem=14M928
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1258733 nbPropagations=57847 nbRevisions=319401 nbUselessRevisions=198853
1.09 nbAssignments=777 nbFailedAssignments=395 nbBacktracks=323 nbVisitedNodes=1367 nbRestartNogoods=34 mapSize=282
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.273 cpuTime=0.23 mem=14M928
1.20
1.20 search
1.20 run=7 nbConstraintChecks=2019004 nbPropagations=87437 nbRevisions=489454 nbUselessRevisions=303039
1.20 nbAssignments=1152 nbFailedAssignments=595 nbBacktracks=493 nbVisitedNodes=2056 nbRestartNogoods=37
1.20 mapSize=429 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.378 cpuTime=0.33 mem=14M928
1.34
1.34 search
1.34 run=8 nbConstraintChecks=3016559 nbPropagations=132176 nbRevisions=747455 nbUselessRevisions=460420
1.34 nbAssignments=1745 nbFailedAssignments=914 nbBacktracks=749 nbVisitedNodes=3138 nbRestartNogoods=47
1.34 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.524 cpuTime=0.46 mem=14M928
1.54
1.54 search
1.54 run=9 nbConstraintChecks=4709242 nbPropagations=198027 nbRevisions=1133230 nbUselessRevisions=695463
1.54 nbAssignments=2580 nbFailedAssignments=1360 nbBacktracks=1135 nbVisitedNodes=4667 nbRestartNogoods=58
1.54 mapSize=997 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.72 cpuTime=0.65 mem=14M928
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M928)
1.81
1.81 search
1.81 run=10 nbConstraintChecks=6934543 nbPropagations=296687 nbRevisions=1711510 nbUselessRevisions=1048669
1.81 nbAssignments=3955 nbFailedAssignments=2153 nbBacktracks=1712 nbVisitedNodes=7218 nbRestartNogoods=69
1.81 => wckTime=0.988 cpuTime=0.91 mem=14M928
2.16
2.16 search
2.16 run=11 nbConstraintChecks=9979857 nbPropagations=436890 nbRevisions=2535833 nbUselessRevisions=1550834
2.16 nbAssignments=5614 nbFailedAssignments=2943 nbBacktracks=2577 nbVisitedNodes=10193 nbRestartNogoods=78
2.16 => wckTime=1.336 cpuTime=1.25 mem=14M928
2.75
2.75 search
2.75 run=12 nbConstraintChecks=15178870 nbPropagations=650182 nbRevisions=3796682 nbUselessRevisions=2319141
2.75 nbAssignments=8503 nbFailedAssignments=4523 nbBacktracks=3874 nbVisitedNodes=15517 nbRestartNogoods=87
2.75 => wckTime=1.931 cpuTime=1.84 mem=14M928
3.62
3.62 search
3.62 run=13 nbConstraintChecks=22731345 nbPropagations=970539 nbRevisions=5692183 nbUselessRevisions=3472863
3.62 nbAssignments=12661 nbFailedAssignments=6730 nbBacktracks=5821 nbVisitedNodes=23110 nbRestartNogoods=93
3.62 => wckTime=2.805 cpuTime=2.7 mem=15M904
4.85
4.85 search
4.85 run=14 nbConstraintChecks=33640711 nbPropagations=1440374 nbRevisions=8473682 nbUselessRevisions=5165855
4.85 nbAssignments=18675 nbFailedAssignments=9817 nbBacktracks=8740 nbVisitedNodes=33988 nbRestartNogoods=98
4.85 => wckTime=4.031 cpuTime=3.92 mem=15M904
6.78
6.78 search
6.78 run=15 nbConstraintChecks=50851700 nbPropagations=2141059 nbRevisions=12640326 nbUselessRevisions=7704826
6.78 nbAssignments=27952 nbFailedAssignments=14708 nbBacktracks=13118 nbVisitedNodes=50879 nbRestartNogoods=112
6.78 => wckTime=5.956 cpuTime=5.83 mem=15M904
8.74
8.74 search
8.74 run=16 nbConstraintChecks=68623059 nbPropagations=3073133 nbRevisions=18186839 nbUselessRevisions=11079553
8.74 nbAssignments=36930 nbFailedAssignments=19469 nbBacktracks=17295 nbVisitedNodes=67333 nbRestartNogoods=121
8.74 => wckTime=7.924 cpuTime=7.78 mem=15M904
8.75
8.75 global
8.75 nbConstraintChecks=68704923 nbPropagations=3073977 nbRevisions=18190736 nbUselessRevisions=11082194
8.75 nbRestartNogoods=121 solvingWckTime=7.925 solvingCpuTime=7.78 expiredTime=no totalExploration=no
8.75 nbFoundSolutions=1 globalCpuTime=8.21
8.75 => wckTime=8.435 cpuTime=8.15 mem=15M904
8.75
8.75 s SATISFIABLE
8.75 v 39 37 38 37 31 1 16 30 39 10 7 31 2 16 9 32 13 5 20 14 34 2 21 21 23 8 39 15 2 11 19 12 1 22 35 10 22 20 39 1
8.75 d NODES 36930
8.75 d CHECKS 68704923
8.75
8.75 totalWckTime=8.517 totalCpuTime=8.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-226136-1168274596 -o ROOT/results/node60/solver-226136-1168274596 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226136-1168274596/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: 1.86 1.72 2.04 4/73 12141
/proc/meminfo: memFree=1712912/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=11868 CPUtime=0
/proc/12140/stat : 12140 (java) D 12138 12140 11314 0 -1 0 765 0 1 0 0 0 0 0 16 0 1 0 175857488 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5534500 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12140/statm: 2967 515 425 14 0 1602 0
[startup+0.103606 s]
/proc/loadavg: 1.86 1.72 2.04 4/73 12141
/proc/meminfo: memFree=1712912/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=914988 CPUtime=0.08
/proc/12140/stat : 12140 (java) S 12138 12140 11314 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 175857488 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12140/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511647 s]
/proc/loadavg: 1.86 1.72 2.04 4/73 12141
/proc/meminfo: memFree=1712912/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=915328 CPUtime=0.49
/proc/12140/stat : 12140 (java) R 12138 12140 11314 0 -1 0 7289 0 1 0 44 5 0 0 18 0 8 0 175857488 937295872 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12140/statm: 228832 7028 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33273 s]
/proc/loadavg: 1.86 1.72 2.04 3/80 12148
/proc/meminfo: memFree=1687320/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=915464 CPUtime=1.3
/proc/12140/stat : 12140 (java) R 12138 12140 11314 0 -1 0 9090 0 1 0 123 7 0 0 25 0 8 0 175857488 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12140/statm: 228866 8828 2524 14 0 215336 0
[pid=12140/tid=12142] ppid=12138 vsize=915464 CPUtime=0.03
/proc/12140/task/12142/stat : 12142 (java) S 12138 12140 11314 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175857492 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12143] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175857493 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12144] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175857493 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12145] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175857496 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12146] ppid=12138 vsize=915464 CPUtime=0.2
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11314 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 175857496 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12147] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175857496 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12148] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175857496 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.96988 s]
/proc/loadavg: 1.86 1.72 2.04 3/80 12148
/proc/meminfo: memFree=1688536/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=915464 CPUtime=2.93
/proc/12140/stat : 12140 (java) R 12138 12140 11314 0 -1 0 9100 0 1 0 286 7 0 0 25 0 8 0 175857488 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12140/statm: 228866 8836 2524 14 0 215336 0
[pid=12140/tid=12142] ppid=12138 vsize=915464 CPUtime=0.03
/proc/12140/task/12142/stat : 12142 (java) S 12138 12140 11314 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 175857492 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12143] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175857493 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12144] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175857493 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12145] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12146] ppid=12138 vsize=915464 CPUtime=0.21
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11314 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12147] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12148] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.2582 s]
/proc/loadavg: 1.87 1.73 2.04 3/80 12148
/proc/meminfo: memFree=1687640/2055920 swapFree=4192812/4192956
[pid=12140] ppid=12138 vsize=915464 CPUtime=6.19
/proc/12140/stat : 12140 (java) R 12138 12140 11314 0 -1 0 9100 0 1 0 612 7 0 0 25 0 8 0 175857488 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12140/statm: 228866 8836 2524 14 0 215336 0
[pid=12140/tid=12142] ppid=12138 vsize=915464 CPUtime=0.03
/proc/12140/task/12142/stat : 12142 (java) S 12138 12140 11314 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175857492 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12143] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175857493 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12144] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175857493 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12145] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12146] ppid=12138 vsize=915464 CPUtime=0.21
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11314 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12147] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12140/tid=12148] ppid=12138 vsize=915464 CPUtime=0
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175857496 937435136 8836 18446744073709551615 134512640 134570532 4294956480 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) 915464
Child status: 0
Real time (s): 8.78992
CPU time (s): 8.67968
CPU user time (s): 8.59669
CPU system time (s): 0.082987
CPU usage (%): 98.7458
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.59669
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9107
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= 1229
involuntary context switches= 1562
runsolver used 0.013997 s user time and 0.034994 s system time
The end
Begin job on node60 on Mon Jan 8 16:43:16 UTC 2007
IDJOB= 226136
IDBENCH= 5939
FILE ID= node60/226136-1168274596
PBS_JOBID= 3483279
Free space on /tmp= 66562 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226136-1168274596/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-226136-1168274596 -o ROOT/results/node60/solver-226136-1168274596 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226136-1168274596/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2cf4d4cfd700a1fb74cb3cb5e211c2b2
RANDOM SEED= 933826674
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.236
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.236
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: 1713392 kB
Buffers: 58012 kB
Cached: 203108 kB
SwapCached: 0 kB
Active: 158696 kB
Inactive: 126396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1713392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3000 kB
Writeback: 0 kB
Mapped: 34856 kB
Slab: 42852 kB
Committed_AS: 4323300 kB
PageTables: 1868 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= 66562 MiB
End job on node60 on Mon Jan 8 16:43:25 UTC 2007