0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226080-1168274430/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.43 => wckTime=0.104 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.55
0.55 constraints being loaded...
0.63 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.63 => wckTime=0.308 cpuTime=0.25 mem=15M763
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.512 cpuTime=0.37 mem=14M928
0.89
0.89 preprocessing
0.89 nbConstraintChecks=81284 nbPropagations=830 nbRevisions=3847 nbUselessRevisions=2611 nbSingletonTests=47
0.89 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.048 cpuTime=0.02 mem=14M928
0.91
0.91 search
0.91 run=0 nbConstraintChecks=39819 nbPropagations=1419 nbRevisions=7026 nbUselessRevisions=4522 nbAssignments=24
0.91 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.069 cpuTime=0.04 mem=14M928
0.93
0.93 search
0.93 run=1 nbConstraintChecks=126449 nbPropagations=4048 nbRevisions=21136 nbUselessRevisions=13326
0.93 nbAssignments=72 nbFailedAssignments=36 nbBacktracks=27 nbVisitedNodes=125 nbRestartNogoods=3 mapSize=23
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.093 cpuTime=0.06 mem=14M928
0.95
0.95 search
0.95 run=2 nbConstraintChecks=191050 nbPropagations=7544 nbRevisions=40013 nbUselessRevisions=25140
0.95 nbAssignments=120 nbFailedAssignments=58 nbBacktracks=49 nbVisitedNodes=207 nbRestartNogoods=5 mapSize=39
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.11 cpuTime=0.07 mem=14M928
0.97
0.97 search
0.97 run=3 nbConstraintChecks=309690 nbPropagations=12874 nbRevisions=69783 nbUselessRevisions=43754
0.97 nbAssignments=199 nbFailedAssignments=100 nbBacktracks=82 nbVisitedNodes=348 nbRestartNogoods=8 mapSize=66
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.132 cpuTime=0.09 mem=14M928
1.01
1.01 search
1.01 run=4 nbConstraintChecks=579164 nbPropagations=21485 nbRevisions=119547 nbUselessRevisions=74428
1.01 nbAssignments=321 nbFailedAssignments=169 nbBacktracks=132 nbVisitedNodes=577 nbRestartNogoods=11 mapSize=110
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.17 cpuTime=0.13 mem=14M928
1.06
1.06 search
1.06 run=5 nbConstraintChecks=897338 nbPropagations=34744 nbRevisions=196874 nbUselessRevisions=121808
1.06 nbAssignments=508 nbFailedAssignments=277 nbBacktracks=207 nbVisitedNodes=918 nbRestartNogoods=15 mapSize=178
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.217 cpuTime=0.17 mem=14M928
1.12
1.12 search
1.12 run=6 nbConstraintChecks=1352808 nbPropagations=54382 nbRevisions=311535 nbUselessRevisions=192124
1.12 nbAssignments=777 nbFailedAssignments=429 nbBacktracks=322 nbVisitedNodes=1414 nbRestartNogoods=19 mapSize=283
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.281 cpuTime=0.23 mem=14M928
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1944702 nbPropagations=82864 nbRevisions=478596 nbUselessRevisions=294623
1.21 nbAssignments=1109 nbFailedAssignments=588 nbBacktracks=492 nbVisitedNodes=2016 nbRestartNogoods=26
1.21 mapSize=436 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.374 cpuTime=0.31 mem=14M928
1.37
1.37 search
1.37 run=8 nbConstraintChecks=3058169 nbPropagations=126186 nbRevisions=736920 nbUselessRevisions=452902
1.37 nbAssignments=1681 nbFailedAssignments=901 nbBacktracks=748 nbVisitedNodes=3070 nbRestartNogoods=30
1.37 mapSize=659 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.535 cpuTime=0.47 mem=14M928
1.56
1.56 search
1.56 run=9 nbConstraintChecks=4509920 nbPropagations=189925 nbRevisions=1116159 nbUselessRevisions=685497
1.56 nbAssignments=2507 nbFailedAssignments=1328 nbBacktracks=1133 nbVisitedNodes=4563 nbRestartNogoods=45
1.56 mapSize=998 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.716 cpuTime=0.64 mem=14M928
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=14M928)
1.81
1.81 search
1.81 run=10 nbConstraintChecks=6593908 nbPropagations=283044 nbRevisions=1671156 nbUselessRevisions=1025942
1.81 nbAssignments=3666 nbFailedAssignments=1906 nbBacktracks=1710 nbVisitedNodes=6648 nbRestartNogoods=49
1.81 => wckTime=0.97 cpuTime=0.89 mem=14M928
2.27
2.27 search
2.27 run=11 nbConstraintChecks=10855418 nbPropagations=427310 nbRevisions=2540566 nbUselessRevisions=1556719
2.27 nbAssignments=5628 nbFailedAssignments=3000 nbBacktracks=2575 nbVisitedNodes=10307 nbRestartNogoods=61
2.27 => wckTime=1.43 cpuTime=1.34 mem=14M928
2.87
2.87 search
2.87 run=12 nbConstraintChecks=16205636 nbPropagations=641284 nbRevisions=3828576 nbUselessRevisions=2342362
2.87 nbAssignments=8269 nbFailedAssignments=4337 nbBacktracks=3872 nbVisitedNodes=15126 nbRestartNogoods=72
2.87 => wckTime=2.028 cpuTime=1.93 mem=14M928
3.77
3.77 search
3.77 run=13 nbConstraintChecks=24204454 nbPropagations=961191 nbRevisions=5755975 nbUselessRevisions=3518011
3.77 nbAssignments=12283 nbFailedAssignments=6403 nbBacktracks=5818 nbVisitedNodes=22463 nbRestartNogoods=82
3.77 => wckTime=2.93 cpuTime=2.83 mem=15M904
5.13
5.13 search
5.13 run=14 nbConstraintChecks=36466290 nbPropagations=1441984 nbRevisions=8661191 nbUselessRevisions=5291820
5.13 nbAssignments=18551 nbFailedAssignments=9748 nbBacktracks=8738 nbVisitedNodes=34005 nbRestartNogoods=90
5.13 => wckTime=4.293 cpuTime=4.18 mem=15M904
7.42
7.42 search
7.42 run=15 nbConstraintChecks=57047131 nbPropagations=2184103 nbRevisions=13189078 nbUselessRevisions=8050274
7.42 nbAssignments=28480 nbFailedAssignments=15292 nbBacktracks=13116 nbVisitedNodes=52493 nbRestartNogoods=105
7.42 => wckTime=6.577 cpuTime=6.45 mem=15M904
10.46
10.46 search
10.46 run=16 nbConstraintChecks=83905863 nbPropagations=3290806 nbRevisions=19939154 nbUselessRevisions=12171903
10.46 nbAssignments=42292 nbFailedAssignments=22531 nbBacktracks=19687 nbVisitedNodes=77867 nbRestartNogoods=114
10.46 => wckTime=9.62 cpuTime=9.46 mem=15M904
12.03
12.03 search
12.03 run=17 nbConstraintChecks=97966546 nbPropagations=4584810 nbRevisions=27833269 nbUselessRevisions=16993264
12.03 nbAssignments=49271 nbFailedAssignments=26242 nbBacktracks=22952 nbVisitedNodes=90741 nbRestartNogoods=122
12.03 => wckTime=11.192 cpuTime=11.02 mem=15M904
12.03
12.03 global
12.03 nbConstraintChecks=98047830 nbPropagations=4585640 nbRevisions=27837116 nbUselessRevisions=16995875
12.03 nbRestartNogoods=122 solvingWckTime=11.193 solvingCpuTime=11.02 expiredTime=no totalExploration=yes
12.03 nbFoundSolutions=0 globalCpuTime=11.46
12.03 => wckTime=11.71 cpuTime=11.4 mem=15M904
12.03
12.03 s UNSATISFIABLE
12.03 d NODES 49271
12.04 d CHECKS 98047830
12.04
12.04 totalWckTime=11.791 totalCpuTime=11.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-226080-1168274430 -o ROOT/results/node42/solver-226080-1168274430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226080-1168274430/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.79 1.24 1.08 4/73 27061
/proc/meminfo: memFree=1805912/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=18540 CPUtime=0
/proc/27060/stat : 27060 (runsolver) R 27058 27060 26315 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175842244 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27060/statm: 4635 279 244 17 0 2626 0
[startup+0.10799 s]
/proc/loadavg: 1.79 1.24 1.08 4/73 27061
/proc/meminfo: memFree=1805912/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=914852 CPUtime=0.08
/proc/27060/stat : 27060 (java) R 27058 27060 26315 0 -1 0 2938 0 1 0 6 2 0 0 17 0 8 0 175842244 936808448 2684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072935665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27060/statm: 228713 2684 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.517032 s]
/proc/loadavg: 1.79 1.24 1.08 4/73 27061
/proc/meminfo: memFree=1805912/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=915328 CPUtime=0.49
/proc/27060/stat : 27060 (java) R 27058 27060 26315 0 -1 0 7164 0 1 0 44 5 0 0 18 0 8 0 175842244 937295872 6903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27060/statm: 228832 6903 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34312 s]
/proc/loadavg: 1.79 1.24 1.08 3/80 27068
/proc/meminfo: memFree=1773152/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=915464 CPUtime=1.3
/proc/27060/stat : 27060 (java) R 27058 27060 26315 0 -1 0 9103 0 1 0 122 8 0 0 24 0 8 0 175842244 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27060/statm: 228866 8841 2524 14 0 215336 0
[pid=27060/tid=27062] ppid=27058 vsize=915464 CPUtime=0.03
/proc/27060/task/27062/stat : 27062 (java) S 27058 27060 26315 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175842248 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27063] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27063/stat : 27063 (java) S 27058 27060 26315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175842249 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27064] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27064/stat : 27064 (java) S 27058 27060 26315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175842249 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27065] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27065/stat : 27065 (java) S 27058 27060 26315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175842252 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27066] ppid=27058 vsize=915464 CPUtime=0.2
/proc/27060/task/27066/stat : 27066 (java) S 27058 27060 26315 0 -1 64 370 0 0 0 18 2 0 0 16 0 8 0 175842252 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27067] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27067/stat : 27067 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175842252 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27068] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27068/stat : 27068 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175842252 937435136 8841 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.9863 s]
/proc/loadavg: 1.80 1.26 1.09 3/80 27068
/proc/meminfo: memFree=1765280/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=915464 CPUtime=2.93
/proc/27060/stat : 27060 (java) R 27058 27060 26315 0 -1 0 9114 0 1 0 285 8 0 0 25 0 8 0 175842244 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27060/statm: 228866 8850 2524 14 0 215336 0
[pid=27060/tid=27062] ppid=27058 vsize=915464 CPUtime=0.03
/proc/27060/task/27062/stat : 27062 (java) S 27058 27060 26315 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175842248 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27063] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27063/stat : 27063 (java) S 27058 27060 26315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175842249 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27064] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27064/stat : 27064 (java) S 27058 27060 26315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175842249 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27065] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27065/stat : 27065 (java) S 27058 27060 26315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27066] ppid=27058 vsize=915464 CPUtime=0.22
/proc/27060/task/27066/stat : 27066 (java) S 27058 27060 26315 0 -1 64 379 0 0 0 20 2 0 0 15 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27067] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27067/stat : 27067 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27068] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27068/stat : 27068 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175842252 937435136 8850 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.2657 s]
/proc/loadavg: 1.80 1.26 1.09 3/80 27068
/proc/meminfo: memFree=1744488/2055920 swapFree=4191892/4192956
[pid=27060] ppid=27058 vsize=915464 CPUtime=6.19
/proc/27060/stat : 27060 (java) R 27058 27060 26315 0 -1 0 9114 0 1 0 611 8 0 0 25 0 8 0 175842244 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27060/statm: 228866 8850 2524 14 0 215336 0
[pid=27060/tid=27062] ppid=27058 vsize=915464 CPUtime=0.03
/proc/27060/task/27062/stat : 27062 (java) S 27058 27060 26315 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175842248 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27063] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27063/stat : 27063 (java) S 27058 27060 26315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175842249 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27064] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27064/stat : 27064 (java) S 27058 27060 26315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175842249 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27065] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27065/stat : 27065 (java) S 27058 27060 26315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27066] ppid=27058 vsize=915464 CPUtime=0.22
/proc/27060/task/27066/stat : 27066 (java) S 27058 27060 26315 0 -1 64 379 0 0 0 20 2 0 0 15 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27067] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27067/stat : 27067 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175842252 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27060/tid=27068] ppid=27058 vsize=915464 CPUtime=0
/proc/27060/task/27068/stat : 27068 (java) S 27058 27060 26315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175842252 937435136 8850 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): 12.073
CPU time (s): 11.9242
CPU user time (s): 11.8362
CPU system time (s): 0.087986
CPU usage (%): 98.7673
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8362
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9121
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= 1284
involuntary context switches= 1689
runsolver used 0.029995 s user time and 0.035994 s system time
The end
Begin job on node42 on Mon Jan 8 16:40:30 UTC 2007
IDJOB= 226080
IDBENCH= 5932
FILE ID= node42/226080-1168274430
PBS_JOBID= 3483274
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226080-1168274430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-226080-1168274430 -o ROOT/results/node42/solver-226080-1168274430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226080-1168274430/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 054d03355ebf2b9c54d4b3cc1c321848
RANDOM SEED= 324405411
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.229
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.229
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: 1806456 kB
Buffers: 33492 kB
Cached: 116840 kB
SwapCached: 356 kB
Active: 123284 kB
Inactive: 71816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806456 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 54320 kB
Slab: 39636 kB
Committed_AS: 3826728 kB
PageTables: 1964 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= 66560 MiB
End job on node42 on Mon Jan 8 16:40:42 UTC 2007