0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/233923-1168329201/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=49 nbDomainTypes=49 minDomainSize=389 maxDomainSize=483
0.41 => wckTime=0.108 cpuTime=0.09 mem=7M879
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
14.58 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=54353100 nbExtensionStructures=294
14.58 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
14.58 nbSharedBinaryRepresentations=98136 maxDegree=12 maxArity=2
14.58 => wckTime=14.272 cpuTime=14.03 mem=41M110
14.67
14.67 solver IterativeSystematicSolver being built...
14.83 => wckTime=14.526 cpuTime=14.16 mem=29M791
14.90
14.90 preprocessing
14.90 nbConstraintChecks=1041898 nbPropagations=640 nbRevisions=988 nbUselessRevisions=361 nbSingletonTests=52
14.90 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
14.90 => wckTime=0.063 cpuTime=0.05 mem=29M791
15.07
15.07 search
15.07 run=0 nbConstraintChecks=3082294 nbPropagations=1867 nbRevisions=7258 nbUselessRevisions=3316
15.07 nbAssignments=264 nbFailedAssignments=230 nbBacktracks=10 nbVisitedNodes=505 nbRestartNogoods=0 mapSize=10
15.07 nbInferences=0 nbTooLargeKeys=0
15.07 => wckTime=0.239 cpuTime=0.21 mem=29M791
15.97
15.97 search
15.97 run=1 nbConstraintChecks=40156496 nbPropagations=20257 nbRevisions=51394 nbUselessRevisions=24105
15.97 nbAssignments=1944 nbFailedAssignments=512 nbBacktracks=25 nbVisitedNodes=1110 nbRestartNogoods=57 mapSize=25
15.97 nbInferences=0 nbTooLargeKeys=0
15.97 => wckTime=1.134 cpuTime=1.07 mem=29M791
16.16
16.16 search
16.16 run=2 nbConstraintChecks=47662317 nbPropagations=41651 nbRevisions=106707 nbUselessRevisions=50370
16.16 nbAssignments=2446 nbFailedAssignments=848 nbBacktracks=47 nbVisitedNodes=1852 nbRestartNogoods=94 mapSize=46
16.16 nbInferences=0 nbTooLargeKeys=0
16.16 => wckTime=1.323 cpuTime=1.26 mem=29M791
17.21
17.21 search
17.21 run=3 nbConstraintChecks=95984355 nbPropagations=85518 nbRevisions=230809 nbUselessRevisions=117242
17.21 nbAssignments=4938 nbFailedAssignments=1850 nbBacktracks=80 nbVisitedNodes=3943 nbRestartNogoods=133
17.21 mapSize=78 nbInferences=0 nbTooLargeKeys=0
17.21 => wckTime=2.376 cpuTime=2.29 mem=29M791
18.26
18.26 search
18.26 run=4 nbConstraintChecks=138101701 nbPropagations=151668 nbRevisions=434938 nbUselessRevisions=230484
18.26 nbAssignments=7073 nbFailedAssignments=2735 nbBacktracks=132 nbVisitedNodes=5815 nbRestartNogoods=208
18.26 mapSize=107 nbInferences=0 nbTooLargeKeys=0
18.26 => wckTime=3.427 cpuTime=3.32 mem=30M752
19.49
19.49 search
19.49 run=5 nbConstraintChecks=188579836 nbPropagations=243630 nbRevisions=719223 nbUselessRevisions=391864
19.49 nbAssignments=9459 nbFailedAssignments=2932 nbBacktracks=210 nbVisitedNodes=6348 nbRestartNogoods=277
19.49 mapSize=156 nbInferences=0 nbTooLargeKeys=0
19.49 => wckTime=4.652 cpuTime=4.54 mem=30M752
21.13
21.13 search
21.13 run=6 nbConstraintChecks=266150346 nbPropagations=364000 nbRevisions=1190554 nbUselessRevisions=670914
21.13 nbAssignments=13232 nbFailedAssignments=6514 nbBacktracks=323 nbVisitedNodes=13747 nbRestartNogoods=283
21.13 mapSize=266 nbInferences=0 nbTooLargeKeys=0
21.13 => wckTime=6.299 cpuTime=6.17 mem=30M752
23.95
23.95 search
23.95 run=7 nbConstraintChecks=378231896 nbPropagations=544180 nbRevisions=1844149 nbUselessRevisions=1055375
23.95 nbAssignments=18270 nbFailedAssignments=7341 nbBacktracks=403 nbVisitedNodes=15604 nbRestartNogoods=448
23.95 mapSize=345 nbInferences=0 nbTooLargeKeys=0
23.95 => wckTime=9.116 cpuTime=8.96 mem=30M752
23.95
23.95 global
23.95 nbConstraintChecks=379273794 nbPropagations=544820 nbRevisions=1845137 nbUselessRevisions=1055736
23.95 nbRestartNogoods=448 solvingWckTime=9.117 solvingCpuTime=8.96 expiredTime=no totalExploration=no
23.95 nbFoundSolutions=1 globalCpuTime=23.16
23.95 => wckTime=23.647 cpuTime=23.12 mem=30M752
23.95
23.95 s SATISFIABLE
23.95 v 50 417 150 316 0 192 266 120 0 93 192 389 50 243 181 93 275 430 293 380 0 340 188 427 275 0 477 68 142 188 0 293 50 388 266 194 50 265 136 440 0 398 243 411 132 68 0 329 170
23.95 d NODES 18270
23.95 d CHECKS 379273794
23.95
23.95 totalWckTime=23.723 totalCpuTime=23.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-233923-1168329201 -o ROOT/results/node75/solver-233923-1168329201 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233923-1168329201/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: 2.58 2.26 1.97 5/81 23052
/proc/meminfo: memFree=1442112/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=18540 CPUtime=0
/proc/23051/stat : 23051 (runsolver) R 23049 23051 21934 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 181319541 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23051/statm: 4635 279 244 17 0 2626 0
[startup+0.103942 s]
/proc/loadavg: 2.58 2.26 1.97 5/81 23052
/proc/meminfo: memFree=1442112/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=914988 CPUtime=0.08
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 2965 0 1 0 6 2 0 0 23 0 8 0 181319541 936947712 2711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228747 2711 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511991 s]
/proc/loadavg: 2.58 2.26 1.97 5/81 23052
/proc/meminfo: memFree=1442112/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=0.48
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 6850 0 1 0 43 5 0 0 25 0 8 0 181319541 937295872 6589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153576189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 6589 2156 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33408 s]
/proc/loadavg: 2.58 2.26 1.97 3/88 23059
/proc/meminfo: memFree=1422600/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=915460 CPUtime=1.29
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 7364 0 1 0 124 5 0 0 25 0 8 0 181319541 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228865 7102 2167 14 0 215335 0
[pid=23051/tid=23053] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 21934 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 181319545 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 21934 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181319545 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 21934 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181319545 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23056] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23056/stat : 23056 (java) S 23049 23051 21934 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181319549 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23057] ppid=23049 vsize=915460 CPUtime=0.1
/proc/23051/task/23057/stat : 23057 (java) S 23049 23051 21934 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181319549 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23058] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23058/stat : 23058 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181319549 937431040 7102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23059] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23059/stat : 23059 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181319549 937431040 7102 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) 915460
[startup+2.98628 s]
/proc/loadavg: 2.53 2.25 1.97 3/88 23059
/proc/meminfo: memFree=1420040/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=915460 CPUtime=2.93
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 8333 0 1 0 287 6 0 0 25 0 8 0 181319541 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228865 8071 2167 14 0 215335 0
[pid=23051/tid=23053] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 21934 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181319545 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 21934 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181319545 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 21934 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181319545 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23056] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23056/stat : 23056 (java) S 23049 23051 21934 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181319549 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23057] ppid=23049 vsize=915460 CPUtime=0.1
/proc/23051/task/23057/stat : 23057 (java) S 23049 23051 21934 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181319549 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23058] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23058/stat : 23058 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181319549 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23059] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23059/stat : 23059 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181319549 937431040 8071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27267 s]
/proc/loadavg: 2.53 2.25 1.97 3/88 23059
/proc/meminfo: memFree=1411848/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=915460 CPUtime=6.16
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 10162 0 1 0 609 7 0 0 25 0 8 0 181319541 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228865 9900 2167 14 0 215335 0
[pid=23051/tid=23053] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 21934 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181319545 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 21934 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181319545 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 21934 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181319545 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23056] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23056/stat : 23056 (java) S 23049 23051 21934 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181319549 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23057] ppid=23049 vsize=915460 CPUtime=0.11
/proc/23051/task/23057/stat : 23057 (java) S 23049 23051 21934 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 181319549 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23058] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23058/stat : 23058 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181319549 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23059] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23059/stat : 23059 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181319549 937431040 9900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.7594 s]
/proc/loadavg: 2.45 2.24 1.97 3/88 23059
/proc/meminfo: memFree=1397576/2055920 swapFree=4184508/4192956
[pid=23051] ppid=23049 vsize=915460 CPUtime=12.59
/proc/23051/stat : 23051 (java) R 23049 23051 21934 0 -1 0 13653 0 1 0 1250 9 0 0 25 0 8 0 181319541 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228865 13390 2168 14 0 215335 0
[pid=23051/tid=23053] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 21934 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181319545 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 21934 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 181319545 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 21934 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 181319545 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23056] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23056/stat : 23056 (java) S 23049 23051 21934 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 181319549 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23057] ppid=23049 vsize=915460 CPUtime=0.12
/proc/23051/task/23057/stat : 23057 (java) S 23049 23051 21934 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 181319549 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23058] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23058/stat : 23058 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 181319549 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23059] ppid=23049 vsize=915460 CPUtime=0
/proc/23051/task/23059/stat : 23059 (java) S 23049 23051 21934 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181319549 937431040 13390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 23.9895
CPU time (s): 23.7114
CPU user time (s): 23.5744
CPU system time (s): 0.136979
CPU usage (%): 98.8406
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5744
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18928
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= 1741
involuntary context switches= 2363
runsolver used 0.030995 s user time and 0.074988 s system time
The end
Begin job on node75 on Tue Jan 9 07:53:22 UTC 2007
IDJOB= 233923
IDBENCH= 6647
FILE ID= node75/233923-1168329201
PBS_JOBID= 3503238
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-105-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233923-1168329201/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-233923-1168329201 -o ROOT/results/node75/solver-233923-1168329201 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233923-1168329201/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3bb09a0442152690b841b4ddbc213821
RANDOM SEED= 379208005
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1442592 kB
Buffers: 67284 kB
Cached: 440084 kB
SwapCached: 2700 kB
Active: 201352 kB
Inactive: 353552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1442592 kB
SwapTotal: 4192956 kB
SwapFree: 4184508 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 61436 kB
Slab: 43640 kB
Committed_AS: 4267020 kB
PageTables: 1932 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= 66558 MiB
End job on node75 on Tue Jan 9 07:53:46 UTC 2007