0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/227823-1168278890/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.68 nbConstraints=753 nbRelationTypes=753 nbExtensionStructures=753 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=753 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11915 maxDegree=39
0.68 maxArity=2
0.68 => wckTime=0.37 cpuTime=0.23 mem=11M844
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.572 cpuTime=0.36 mem=15M7
0.94
0.94 preprocessing
0.94 nbConstraintChecks=25047 nbPropagations=934 nbRevisions=5619 nbUselessRevisions=4419 nbSingletonTests=53
0.94 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.058 cpuTime=0.04 mem=15M7
0.96
0.96 search
0.96 run=0 nbConstraintChecks=11010 nbPropagations=1225 nbRevisions=8928 nbUselessRevisions=7217 nbAssignments=21
0.96 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.079 cpuTime=0.07 mem=15M7
0.98
0.98 search
0.98 run=1 nbConstraintChecks=34884 nbPropagations=2953 nbRevisions=24941 nbUselessRevisions=20333 nbAssignments=55
0.98 nbFailedAssignments=12 nbBacktracks=29 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.099 cpuTime=0.08 mem=15M7
0.99
0.99 search
0.99 run=2 nbConstraintChecks=62582 nbPropagations=5257 nbRevisions=49772 nbUselessRevisions=41013 nbAssignments=98
0.99 nbFailedAssignments=23 nbBacktracks=55 nbVisitedNodes=152 nbRestartNogoods=3 mapSize=45 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.116 cpuTime=0.09 mem=15M7
1.01
1.01 search
1.01 run=3 nbConstraintChecks=100626 nbPropagations=8338 nbRevisions=86060 nbUselessRevisions=71228
1.01 nbAssignments=157 nbFailedAssignments=40 nbBacktracks=90 nbVisitedNodes=247 nbRestartNogoods=5 mapSize=75
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.133 cpuTime=0.11 mem=15M7
1.04
1.04 search
1.04 run=4 nbConstraintChecks=156497 nbPropagations=12516 nbRevisions=140650 nbUselessRevisions=117140
1.04 nbAssignments=238 nbFailedAssignments=63 nbBacktracks=140 nbVisitedNodes=377 nbRestartNogoods=9 mapSize=116
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.155 cpuTime=0.13 mem=15M7
1.07
1.07 search
1.07 run=5 nbConstraintChecks=243949 nbPropagations=18337 nbRevisions=222029 nbUselessRevisions=185688
1.07 nbAssignments=355 nbFailedAssignments=98 nbBacktracks=215 nbVisitedNodes=569 nbRestartNogoods=14 mapSize=177
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.195 cpuTime=0.17 mem=15M7
1.12
1.12 search
1.12 run=6 nbConstraintChecks=367589 nbPropagations=26525 nbRevisions=342707 nbUselessRevisions=287558
1.12 nbAssignments=528 nbFailedAssignments=152 nbBacktracks=328 nbVisitedNodes=853 nbRestartNogoods=18 mapSize=274
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.242 cpuTime=0.22 mem=15M7
1.19
1.19 search
1.19 run=7 nbConstraintChecks=550802 nbPropagations=38208 nbRevisions=521156 nbUselessRevisions=438672
1.19 nbAssignments=791 nbFailedAssignments=238 nbBacktracks=498 nbVisitedNodes=1277 nbRestartNogoods=20 mapSize=418
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.316 cpuTime=0.28 mem=15M7
1.29
1.29 search
1.29 run=8 nbConstraintChecks=815186 nbPropagations=54859 nbRevisions=785560 nbUselessRevisions=663363
1.29 nbAssignments=1165 nbFailedAssignments=349 nbBacktracks=755 nbVisitedNodes=1887 nbRestartNogoods=25
1.29 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.414 cpuTime=0.38 mem=15M7
1.45
1.45 search
1.45 run=9 nbConstraintChecks=1197768 nbPropagations=78695 nbRevisions=1171734 nbUselessRevisions=991817
1.45 nbAssignments=1713 nbFailedAssignments=505 nbBacktracks=1139 nbVisitedNodes=2781 nbRestartNogoods=30
1.45 mapSize=939 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.567 cpuTime=0.51 mem=15M7
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M7)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=1814984 nbPropagations=113923 nbRevisions=1751576 nbUselessRevisions=1484986
1.65 nbAssignments=2565 nbFailedAssignments=773 nbBacktracks=1717 nbVisitedNodes=4181 nbRestartNogoods=34
1.65 => wckTime=0.776 cpuTime=0.71 mem=15M7
1.95
1.95 search
1.95 run=11 nbConstraintChecks=2762794 nbPropagations=166503 nbRevisions=2633544 nbUselessRevisions=2235893
1.95 nbAssignments=3825 nbFailedAssignments=1162 nbBacktracks=2581 nbVisitedNodes=6272 nbRestartNogoods=38
1.95 => wckTime=1.072 cpuTime=1.0 mem=15M7
2.38
2.38 search
2.38 run=12 nbConstraintChecks=4124955 nbPropagations=243936 nbRevisions=3954727 nbUselessRevisions=3362400
2.38 nbAssignments=5709 nbFailedAssignments=1741 nbBacktracks=3882 nbVisitedNodes=9380 nbRestartNogoods=44
2.38 => wckTime=1.498 cpuTime=1.41 mem=15M7
3.00
3.00 search
3.00 run=13 nbConstraintChecks=6168846 nbPropagations=358961 nbRevisions=5929200 nbUselessRevisions=5046776
3.00 nbAssignments=8532 nbFailedAssignments=2608 nbBacktracks=5833 nbVisitedNodes=14027 nbRestartNogoods=51
3.00 => wckTime=2.125 cpuTime=2.04 mem=15M7
3.95
3.95 search
3.95 run=14 nbConstraintChecks=9264215 nbPropagations=530651 nbRevisions=8891679 nbUselessRevisions=7574480
3.95 nbAssignments=12778 nbFailedAssignments=3929 nbBacktracks=8752 nbVisitedNodes=21034 nbRestartNogoods=59
3.95 => wckTime=3.068 cpuTime=2.97 mem=15M7
5.37
5.37 search
5.37 run=15 nbConstraintChecks=13863409 nbPropagations=786671 nbRevisions=13338392 nbUselessRevisions=11371181
5.37 nbAssignments=19145 nbFailedAssignments=5909 nbBacktracks=13133 nbVisitedNodes=31560 nbRestartNogoods=67
5.37 => wckTime=4.488 cpuTime=4.38 mem=15M7
7.53
7.53 search
7.53 run=16 nbConstraintChecks=20942927 nbPropagations=1171585 nbRevisions=20031757 nbUselessRevisions=17082356
7.53 nbAssignments=28634 nbFailedAssignments=8825 nbBacktracks=19702 nbVisitedNodes=47290 nbRestartNogoods=70
7.53 => wckTime=6.65 cpuTime=6.52 mem=15M7
10.77
10.77 search
10.77 run=17 nbConstraintChecks=31619335 nbPropagations=1750199 nbRevisions=30110220 nbUselessRevisions=25678380
10.77 nbAssignments=42926 nbFailedAssignments=13257 nbBacktracks=29555 nbVisitedNodes=70970 nbRestartNogoods=77
10.77 => wckTime=9.895 cpuTime=9.75 mem=15M7
12.29
12.29 search
12.29 run=18 nbConstraintChecks=36592829 nbPropagations=2419084 nbRevisions=41753217 nbUselessRevisions=35606188
12.29 nbAssignments=49533 nbFailedAssignments=15304 nbBacktracks=34116 nbVisitedNodes=81917 nbRestartNogoods=84
12.29 => wckTime=11.411 cpuTime=11.25 mem=15M7
12.29
12.29 global
12.29 nbConstraintChecks=36617876 nbPropagations=2420018 nbRevisions=41758836 nbUselessRevisions=35610607
12.29 nbRestartNogoods=84 solvingWckTime=11.412 solvingCpuTime=11.25 expiredTime=no totalExploration=yes
12.29 nbFoundSolutions=0 globalCpuTime=11.67
12.29 => wckTime=11.986 cpuTime=11.61 mem=15M7
12.29
12.29 s UNSATISFIABLE
12.29 d NODES 49533
12.29 d CHECKS 36617876
12.29
12.29 totalWckTime=12.062 totalCpuTime=11.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-227823-1168278890 -o ROOT/results/node39/solver-227823-1168278890 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227823-1168278890/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.56 1.60 1.50 4/85 25151
/proc/meminfo: memFree=538672/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=18540 CPUtime=0
/proc/25150/stat : 25150 (runsolver) R 25148 25150 25083 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 176289192 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25150/statm: 4635 279 244 17 0 2626 0
[startup+0.104301 s]
/proc/loadavg: 1.56 1.60 1.50 4/85 25151
/proc/meminfo: memFree=538672/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=914988 CPUtime=0.07
/proc/25150/stat : 25150 (java) R 25148 25150 25083 0 -1 0 2986 0 1 0 6 1 0 0 25 0 8 0 176289192 936947712 2732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25150/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515345 s]
/proc/loadavg: 1.56 1.60 1.50 4/85 25151
/proc/meminfo: memFree=538672/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=915328 CPUtime=0.49
/proc/25150/stat : 25150 (java) R 25148 25150 25083 0 -1 0 6416 0 1 0 44 5 0 0 25 0 8 0 176289192 937295872 6155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25150/statm: 228832 6155 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33641 s]
/proc/loadavg: 1.56 1.60 1.50 4/92 25158
/proc/meminfo: memFree=514488/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=915584 CPUtime=1.29
/proc/25150/stat : 25150 (java) R 25148 25150 25083 0 -1 0 8764 0 1 0 122 7 0 0 25 0 8 0 176289192 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25150/statm: 228896 8502 2524 14 0 215366 0
[pid=25150/tid=25152] ppid=25148 vsize=915584 CPUtime=0.03
/proc/25150/task/25152/stat : 25152 (java) S 25148 25150 25083 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176289196 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25153] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25153/stat : 25153 (java) S 25148 25150 25083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176289196 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25154] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25154/stat : 25154 (java) S 25148 25150 25083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176289196 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25155] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25155/stat : 25155 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 176289200 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25156] ppid=25148 vsize=915584 CPUtime=0.24
/proc/25150/task/25156/stat : 25156 (java) S 25148 25150 25083 0 -1 64 407 0 0 0 23 1 0 0 15 0 8 0 176289200 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25157] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25157/stat : 25157 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 176289200 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25158] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25158/stat : 25158 (java) S 25148 25150 25083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176289200 937558016 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915584
[startup+2.97356 s]
/proc/loadavg: 1.56 1.60 1.50 3/92 25158
/proc/meminfo: memFree=514168/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=915584 CPUtime=2.92
/proc/25150/stat : 25150 (java) R 25148 25150 25083 0 -1 0 8799 0 1 0 284 8 0 0 25 0 8 0 176289192 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25150/statm: 228896 8536 2524 14 0 215366 0
[pid=25150/tid=25152] ppid=25148 vsize=915584 CPUtime=0.03
/proc/25150/task/25152/stat : 25152 (java) S 25148 25150 25083 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176289196 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25153] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25153/stat : 25153 (java) S 25148 25150 25083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176289196 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25154] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25154/stat : 25154 (java) S 25148 25150 25083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176289196 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25155] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25155/stat : 25155 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 176289200 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25156] ppid=25148 vsize=915584 CPUtime=0.26
/proc/25150/task/25156/stat : 25156 (java) S 25148 25150 25083 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 176289200 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25157] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25157/stat : 25157 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 176289200 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25158] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25158/stat : 25158 (java) S 25148 25150 25083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176289200 937558016 8536 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) 915584
[startup+6.25786 s]
/proc/loadavg: 1.59 1.60 1.50 3/92 25158
/proc/meminfo: memFree=514176/2055920 swapFree=4187312/4192956
[pid=25150] ppid=25148 vsize=915584 CPUtime=6.18
/proc/25150/stat : 25150 (java) R 25148 25150 25083 0 -1 0 8807 0 1 0 610 8 0 0 25 0 8 0 176289192 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25150/statm: 228896 8543 2524 14 0 215366 0
[pid=25150/tid=25152] ppid=25148 vsize=915584 CPUtime=0.03
/proc/25150/task/25152/stat : 25152 (java) S 25148 25150 25083 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 176289196 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25153] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25153/stat : 25153 (java) S 25148 25150 25083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176289196 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25154] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25154/stat : 25154 (java) S 25148 25150 25083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176289196 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25155] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25155/stat : 25155 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 176289200 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25156] ppid=25148 vsize=915584 CPUtime=0.26
/proc/25150/task/25156/stat : 25156 (java) S 25148 25150 25083 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 176289200 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25157] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25157/stat : 25157 (java) S 25148 25150 25083 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 176289200 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25150/tid=25158] ppid=25148 vsize=915584 CPUtime=0
/proc/25150/task/25158/stat : 25158 (java) S 25148 25150 25083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176289200 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 12.3258
CPU time (s): 12.1831
CPU user time (s): 12.0922
CPU system time (s): 0.090986
CPU usage (%): 98.8424
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0922
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8905
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= 1563
involuntary context switches= 2013
runsolver used 0.015997 s user time and 0.038994 s system time
The end
Begin job on node39 on Mon Jan 8 17:54:53 UTC 2007
IDJOB= 227823
IDBENCH= 6121
FILE ID= node39/227823-1168278890
PBS_JOBID= 3483393
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227823-1168278890/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-227823-1168278890 -o ROOT/results/node39/solver-227823-1168278890 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227823-1168278890/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 315b1c9e9b5d13b94e8cd888b1b730c1
RANDOM SEED= 904871807
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: 539288 kB
Buffers: 9072 kB
Cached: 1323640 kB
SwapCached: 904 kB
Active: 935464 kB
Inactive: 529220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 539288 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 149636 kB
Slab: 37116 kB
Committed_AS: 4484072 kB
PageTables: 2052 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= 66559 MiB
End job on node39 on Mon Jan 8 17:55:10 UTC 2007