0.44
0.44 Abscon 109 (November, 2006)
0.44
0.44 configuration
0.44 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/226618-1168276109/unknown.xml
0.50
0.50 domains being loaded...
0.51
0.51 variables being loaded...
0.55 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.55 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.55
0.55 relations being loaded...
0.67
0.67 constraints being loaded...
0.75 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.75 => wckTime=0.311 cpuTime=0.25 mem=15M744
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.516 cpuTime=0.39 mem=14M928
1.01
1.01 preprocessing
1.01 nbConstraintChecks=83952 nbPropagations=886 nbRevisions=3940 nbUselessRevisions=2559 nbSingletonTests=50
1.01 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.049 cpuTime=0.03 mem=14M928
1.04
1.04 search
1.04 run=0 nbConstraintChecks=52148 nbPropagations=1560 nbRevisions=7756 nbUselessRevisions=4949 nbAssignments=28
1.04 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.075 cpuTime=0.05 mem=14M928
1.05
1.05 search
1.05 run=1 nbConstraintChecks=118721 nbPropagations=3922 nbRevisions=20152 nbUselessRevisions=12761
1.05 nbAssignments=64 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=24
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.091 cpuTime=0.06 mem=14M928
1.08
1.08 search
1.08 run=2 nbConstraintChecks=218326 nbPropagations=7687 nbRevisions=40992 nbUselessRevisions=25786
1.08 nbAssignments=120 nbFailedAssignments=58 nbBacktracks=50 nbVisitedNodes=213 nbRestartNogoods=4 mapSize=44
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.114 cpuTime=0.08 mem=14M928
1.10
1.10 search
1.10 run=3 nbConstraintChecks=354981 nbPropagations=13348 nbRevisions=72582 nbUselessRevisions=45328
1.10 nbAssignments=200 nbFailedAssignments=100 nbBacktracks=83 nbVisitedNodes=356 nbRestartNogoods=8 mapSize=74
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.136 cpuTime=0.1 mem=14M928
1.13
1.13 search
1.13 run=4 nbConstraintChecks=531188 nbPropagations=21119 nbRevisions=116533 nbUselessRevisions=72254
1.13 nbAssignments=284 nbFailedAssignments=132 nbBacktracks=134 nbVisitedNodes=499 nbRestartNogoods=14 mapSize=113
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.16 cpuTime=0.12 mem=14M928
1.18
1.18 search
1.18 run=5 nbConstraintChecks=934566 nbPropagations=33959 nbRevisions=191665 nbUselessRevisions=118072
1.18 nbAssignments=473 nbFailedAssignments=244 nbBacktracks=209 nbVisitedNodes=854 nbRestartNogoods=15 mapSize=182
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.221 cpuTime=0.18 mem=14M928
1.24
1.24 search
1.24 run=6 nbConstraintChecks=1340680 nbPropagations=51936 nbRevisions=296925 nbUselessRevisions=181982
1.24 nbAssignments=675 nbFailedAssignments=329 nbBacktracks=322 nbVisitedNodes=1202 nbRestartNogoods=20 mapSize=270
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.275 cpuTime=0.23 mem=14M928
1.33
1.33 search
1.33 run=7 nbConstraintChecks=2015389 nbPropagations=79015 nbRevisions=454861 nbUselessRevisions=277628
1.33 nbAssignments=1042 nbFailedAssignments=522 nbBacktracks=492 nbVisitedNodes=1879 nbRestartNogoods=26
1.33 mapSize=422 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.367 cpuTime=0.32 mem=14M928
1.48
1.48 search
1.48 run=8 nbConstraintChecks=3021894 nbPropagations=119536 nbRevisions=692199 nbUselessRevisions=421419
1.48 nbAssignments=1571 nbFailedAssignments=769 nbBacktracks=752 nbVisitedNodes=2792 nbRestartNogoods=37
1.48 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.513 cpuTime=0.44 mem=14M928
1.70
1.70 search
1.70 run=9 nbConstraintChecks=4999709 nbPropagations=184009 nbRevisions=1076220 nbUselessRevisions=654094
1.70 nbAssignments=2505 nbFailedAssignments=1317 nbBacktracks=1136 nbVisitedNodes=4565 nbRestartNogoods=42
1.70 mapSize=1010 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.738 cpuTime=0.67 mem=14M928
1.71
1.71 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M928)
1.95
1.95 search
1.95 run=10 nbConstraintChecks=7077759 nbPropagations=277631 nbRevisions=1631655 nbUselessRevisions=991735
1.95 nbAssignments=3634 nbFailedAssignments=1865 nbBacktracks=1712 nbVisitedNodes=6591 nbRestartNogoods=49
1.95 => wckTime=0.989 cpuTime=0.91 mem=14M928
2.41
2.41 search
2.41 run=11 nbConstraintChecks=11089871 nbPropagations=425101 nbRevisions=2517154 nbUselessRevisions=1531108
2.41 nbAssignments=5613 nbFailedAssignments=2972 nbBacktracks=2576 nbVisitedNodes=10289 nbRestartNogoods=60
2.41 => wckTime=1.443 cpuTime=1.36 mem=14M928
2.93
2.93 search
2.93 run=12 nbConstraintChecks=15705880 nbPropagations=636593 nbRevisions=3778783 nbUselessRevisions=2298146
2.93 nbAssignments=8017 nbFailedAssignments=4075 nbBacktracks=3873 nbVisitedNodes=14595 nbRestartNogoods=70
2.93 => wckTime=1.969 cpuTime=1.88 mem=14M928
3.75
3.75 search
3.75 run=13 nbConstraintChecks=22974186 nbPropagations=946509 nbRevisions=5626377 nbUselessRevisions=3421763
3.75 nbAssignments=11966 nbFailedAssignments=6072 nbBacktracks=5819 nbVisitedNodes=21780 nbRestartNogoods=74
3.75 => wckTime=2.782 cpuTime=2.69 mem=15M904
5.03
5.03 search
5.03 run=14 nbConstraintChecks=34544445 nbPropagations=1411233 nbRevisions=8400449 nbUselessRevisions=5109322
5.03 nbAssignments=17760 nbFailedAssignments=8943 nbBacktracks=8740 nbVisitedNodes=32363 nbRestartNogoods=79
5.03 => wckTime=4.066 cpuTime=3.97 mem=15M904
6.76
6.76 search
6.76 run=15 nbConstraintChecks=50152118 nbPropagations=2084699 nbRevisions=12424043 nbUselessRevisions=7560477
6.76 nbAssignments=26351 nbFailedAssignments=13151 nbBacktracks=13118 nbVisitedNodes=47816 nbRestartNogoods=88
6.76 => wckTime=5.796 cpuTime=5.69 mem=15M904
9.54
9.54 search
9.54 run=16 nbConstraintChecks=75952220 nbPropagations=3087431 nbRevisions=18415991 nbUselessRevisions=11211165
9.54 nbAssignments=39341 nbFailedAssignments=19569 nbBacktracks=19686 nbVisitedNodes=71324 nbRestartNogoods=97
9.54 => wckTime=8.573 cpuTime=8.46 mem=15M904
10.41
10.41 search
10.41 run=17 nbConstraintChecks=84098518 nbPropagations=4193185 nbRevisions=25025101 nbUselessRevisions=15237963
10.41 nbAssignments=43465 nbFailedAssignments=21549 nbBacktracks=21790 nbVisitedNodes=78699 nbRestartNogoods=106
10.41 => wckTime=9.444 cpuTime=9.32 mem=15M904
10.41
10.41 global
10.41 nbConstraintChecks=84182470 nbPropagations=4194071 nbRevisions=25029041 nbUselessRevisions=15240522
10.41 nbRestartNogoods=106 solvingWckTime=9.445 solvingCpuTime=9.32 expiredTime=no totalExploration=no
10.41 nbFoundSolutions=1 globalCpuTime=9.77
10.41 => wckTime=9.966 cpuTime=9.71 mem=15M904
10.41
10.41 s SATISFIABLE
10.41 v 37 22 12 35 31 2 27 22 18 17 20 20 6 16 18 20 5 10 25 16 29 35 33 1 2 5 4 21 24 31 27 22 0 1 25 15 3 2 32 35
10.41 d NODES 43465
10.41 d CHECKS 84182470
10.41
10.41 totalWckTime=10.047 totalCpuTime=9.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-226618-1168276109 -o ROOT/results/node17/solver-226618-1168276109 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226618-1168276109/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.98 1.96 2.08 4/87 780
/proc/meminfo: memFree=1557192/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=18540 CPUtime=0
/proc/779/stat : 779 (runsolver) R 777 779 32666 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176005716 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/779/statm: 4635 279 244 17 0 2626 0
[startup+0.107938 s]
/proc/loadavg: 1.98 1.96 2.08 4/87 780
/proc/meminfo: memFree=1557192/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=907808 CPUtime=0.05
/proc/779/stat : 779 (java) D 777 779 32666 0 -1 0 2507 0 1 0 4 1 0 0 17 0 4 0 176005716 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/779/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.51598 s]
/proc/loadavg: 1.98 1.96 2.08 4/87 780
/proc/meminfo: memFree=1557192/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=915328 CPUtime=0.37
/proc/779/stat : 779 (java) R 777 779 32666 0 -1 0 5847 0 1 0 33 4 0 0 18 0 8 0 176005716 937295872 5586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154161317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/779/statm: 228832 5586 2109 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328
[startup+1.33806 s]
/proc/loadavg: 1.98 1.96 2.08 3/94 787
/proc/meminfo: memFree=1531664/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=915464 CPUtime=1.18
/proc/779/stat : 779 (java) R 777 779 32666 0 -1 0 9101 0 1 0 112 6 0 0 24 0 8 0 176005716 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/779/statm: 228866 8839 2524 14 0 215336 0
[pid=779/tid=781] ppid=777 vsize=915464 CPUtime=0.03
/proc/779/task/781/stat : 781 (java) S 777 779 32666 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176005720 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=782] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/782/stat : 782 (java) S 777 779 32666 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176005721 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=783] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/783/stat : 783 (java) S 777 779 32666 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176005721 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=784] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/784/stat : 784 (java) S 777 779 32666 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176005736 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=785] ppid=777 vsize=915464 CPUtime=0.17
/proc/779/task/785/stat : 785 (java) S 777 779 32666 0 -1 64 364 0 0 0 17 0 0 0 15 0 8 0 176005736 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=786] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/786/stat : 786 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176005736 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=787] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/787/stat : 787 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176005736 937435136 8839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915464
[startup+2.97523 s]
/proc/loadavg: 1.98 1.96 2.08 3/94 787
/proc/meminfo: memFree=1531536/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=915464 CPUtime=2.81
/proc/779/stat : 779 (java) R 777 779 32666 0 -1 0 9119 0 1 0 275 6 0 0 25 0 8 0 176005716 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/779/statm: 228866 8855 2524 14 0 215336 0
[pid=779/tid=781] ppid=777 vsize=915464 CPUtime=0.03
/proc/779/task/781/stat : 781 (java) S 777 779 32666 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 176005720 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=782] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/782/stat : 782 (java) S 777 779 32666 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176005721 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=783] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/783/stat : 783 (java) S 777 779 32666 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176005721 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=784] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/784/stat : 784 (java) S 777 779 32666 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=785] ppid=777 vsize=915464 CPUtime=0.21
/proc/779/task/785/stat : 785 (java) S 777 779 32666 0 -1 64 379 0 0 0 21 0 0 0 15 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=786] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/786/stat : 786 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=787] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/787/stat : 787 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915464
[startup+6.17857 s]
/proc/loadavg: 1.98 1.97 2.08 3/94 787
/proc/meminfo: memFree=1531480/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=915464 CPUtime=6
/proc/779/stat : 779 (java) R 777 779 32666 0 -1 0 9119 0 1 0 594 6 0 0 25 0 8 0 176005716 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/779/statm: 228866 8855 2524 14 0 215336 0
[pid=779/tid=781] ppid=777 vsize=915464 CPUtime=0.03
/proc/779/task/781/stat : 781 (java) S 777 779 32666 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176005720 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=782] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/782/stat : 782 (java) S 777 779 32666 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176005721 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=783] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/783/stat : 783 (java) S 777 779 32666 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176005721 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=784] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/784/stat : 784 (java) S 777 779 32666 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=785] ppid=777 vsize=915464 CPUtime=0.21
/proc/779/task/785/stat : 785 (java) S 777 779 32666 0 -1 64 379 0 0 0 21 0 0 0 15 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=786] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/786/stat : 786 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=779/tid=787] ppid=777 vsize=915464 CPUtime=0
/proc/779/task/787/stat : 787 (java) S 777 779 32666 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176005736 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 10.4688
CPU time (s): 10.2324
CPU user time (s): 10.1585
CPU system time (s): 0.073988
CPU usage (%): 97.7427
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1585
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9126
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= 1253
involuntary context switches= 1720
runsolver used 0.019996 s user time and 0.037994 s system time
The end
Begin job on node17 on Mon Jan 8 17:08:29 UTC 2007
IDJOB= 226618
IDBENCH= 5993
FILE ID= node17/226618-1168276109
PBS_JOBID= 3483076
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226618-1168276109/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-226618-1168276109 -o ROOT/results/node17/solver-226618-1168276109 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226618-1168276109/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4b233adc90ef3bb210519cb35324040a
RANDOM SEED= 271758931
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: 1557672 kB
Buffers: 69876 kB
Cached: 260740 kB
SwapCached: 0 kB
Active: 274448 kB
Inactive: 158480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1557672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2180 kB
Writeback: 0 kB
Mapped: 122512 kB
Slab: 50132 kB
Committed_AS: 5209236 kB
PageTables: 2316 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= 66325 MiB
End job on node17 on Mon Jan 8 17:08:40 UTC 2007