0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/229330-1168305830/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.45 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1388 maxDegree=19
0.63 maxArity=2
0.63 => wckTime=0.275 cpuTime=0.2 mem=11M893
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.473 cpuTime=0.33 mem=14M825
0.87
0.87 preprocessing
0.87 nbConstraintChecks=47655 nbPropagations=746 nbRevisions=5261 nbUselessRevisions=4272 nbSingletonTests=47
0.87 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.045 cpuTime=0.03 mem=14M825
0.90
0.90 search
0.90 run=0 nbConstraintChecks=30514 nbPropagations=1296 nbRevisions=10783 nbUselessRevisions=8577 nbAssignments=29
0.90 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.068 cpuTime=0.04 mem=14M825
0.92
0.92 search
0.92 run=1 nbConstraintChecks=72964 nbPropagations=3361 nbRevisions=28349 nbUselessRevisions=22468 nbAssignments=72
0.92 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=95 nbRestartNogoods=4 mapSize=24 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.089 cpuTime=0.06 mem=14M825
0.93
0.93 search
0.93 run=2 nbConstraintChecks=127736 nbPropagations=6380 nbRevisions=56283 nbUselessRevisions=44385
0.93 nbAssignments=128 nbFailedAssignments=42 nbBacktracks=50 nbVisitedNodes=191 nbRestartNogoods=6 mapSize=44
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.106 cpuTime=0.07 mem=14M825
0.95
0.95 search
0.95 run=3 nbConstraintChecks=201493 nbPropagations=10740 nbRevisions=97424 nbUselessRevisions=76595
0.95 nbAssignments=212 nbFailedAssignments=73 nbBacktracks=85 nbVisitedNodes=314 nbRestartNogoods=10 mapSize=76
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.122 cpuTime=0.08 mem=14M825
0.97
0.97 search
0.97 run=4 nbConstraintChecks=277698 nbPropagations=16500 nbRevisions=153325 nbUselessRevisions=120220
0.97 nbAssignments=301 nbFailedAssignments=105 nbBacktracks=138 nbVisitedNodes=461 nbRestartNogoods=13 mapSize=114
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.142 cpuTime=0.1 mem=14M825
1.00
1.00 search
1.00 run=5 nbConstraintChecks=419318 nbPropagations=24988 nbRevisions=238191 nbUselessRevisions=186323
1.00 nbAssignments=443 nbFailedAssignments=166 nbBacktracks=214 nbVisitedNodes=711 nbRestartNogoods=14 mapSize=182
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.174 cpuTime=0.13 mem=14M825
1.04
1.04 search
1.04 run=6 nbConstraintChecks=619902 nbPropagations=37152 nbRevisions=363107 nbUselessRevisions=283186
1.04 nbAssignments=644 nbFailedAssignments=249 nbBacktracks=327 nbVisitedNodes=1068 nbRestartNogoods=18 mapSize=276
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.216 cpuTime=0.17 mem=14M825
1.10
1.10 search
1.10 run=7 nbConstraintChecks=899673 nbPropagations=54491 nbRevisions=542844 nbUselessRevisions=421859
1.10 nbAssignments=931 nbFailedAssignments=359 nbBacktracks=499 nbVisitedNodes=1564 nbRestartNogoods=20 mapSize=416
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.271 cpuTime=0.22 mem=14M825
1.18
1.18 search
1.18 run=8 nbConstraintChecks=1311956 nbPropagations=79399 nbRevisions=803907 nbUselessRevisions=622669
1.18 nbAssignments=1368 nbFailedAssignments=532 nbBacktracks=756 nbVisitedNodes=2311 nbRestartNogoods=22
1.18 mapSize=614 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.357 cpuTime=0.31 mem=14M825
1.32
1.32 search
1.33 run=9 nbConstraintChecks=1963466 nbPropagations=116648 nbRevisions=1197951 nbUselessRevisions=925955
1.33 nbAssignments=2044 nbFailedAssignments=819 nbBacktracks=1140 nbVisitedNodes=3498 nbRestartNogoods=29
1.33 mapSize=952 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.497 cpuTime=0.44 mem=14M825
1.36
1.36 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=14M825)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2749852 nbPropagations=169450 nbRevisions=1755366 nbUselessRevisions=1355368
1.48 nbAssignments=2960 nbFailedAssignments=1153 nbBacktracks=1716 nbVisitedNodes=5044 nbRestartNogoods=34
1.48 => wckTime=0.648 cpuTime=0.57 mem=14M825
1.69
1.70 search
1.70 run=11 nbConstraintChecks=4023041 nbPropagations=247807 nbRevisions=2583481 nbUselessRevisions=1993968
1.70 nbAssignments=4410 nbFailedAssignments=1731 nbBacktracks=2582 nbVisitedNodes=7552 nbRestartNogoods=39
1.70 => wckTime=0.868 cpuTime=0.79 mem=14M825
2.01
2.01 search
2.01 run=12 nbConstraintChecks=5956998 nbPropagations=363428 nbRevisions=3805958 nbUselessRevisions=2937035
2.01 nbAssignments=6560 nbFailedAssignments=2576 nbBacktracks=3879 nbVisitedNodes=11254 nbRestartNogoods=48
2.01 => wckTime=1.184 cpuTime=1.11 mem=14M825
2.54
2.54 search
2.54 run=13 nbConstraintChecks=9217616 nbPropagations=538374 nbRevisions=5680718 nbUselessRevisions=4380671
2.54 nbAssignments=9916 nbFailedAssignments=3980 nbBacktracks=5825 nbVisitedNodes=17109 nbRestartNogoods=55
2.54 => wckTime=1.709 cpuTime=1.63 mem=14M825
3.32
3.32 search
3.32 run=14 nbConstraintChecks=13960783 nbPropagations=804298 nbRevisions=8543705 nbUselessRevisions=6588785
3.32 nbAssignments=14957 nbFailedAssignments=6095 nbBacktracks=8745 nbVisitedNodes=26004 nbRestartNogoods=60
3.32 => wckTime=2.492 cpuTime=2.41 mem=14M825
4.46
4.46 search
4.46 run=15 nbConstraintChecks=21082325 nbPropagations=1201507 nbRevisions=12810406 nbUselessRevisions=9873088
4.46 nbAssignments=22204 nbFailedAssignments=8956 nbBacktracks=13124 nbVisitedNodes=38526 nbRestartNogoods=71
4.46 => wckTime=3.632 cpuTime=3.54 mem=14M825
6.17
6.17 search
6.17 run=16 nbConstraintChecks=31723361 nbPropagations=1794438 nbRevisions=19203281 nbUselessRevisions=14793040
6.17 nbAssignments=33175 nbFailedAssignments=13344 nbBacktracks=19692 nbVisitedNodes=57529 nbRestartNogoods=80
6.17 => wckTime=5.343 cpuTime=5.24 mem=14M825
8.24
8.24 search
8.24 run=17 nbConstraintChecks=44400080 nbPropagations=2627972 nbRevisions=28187857 nbUselessRevisions=21715139
8.24 nbAssignments=46576 nbFailedAssignments=18747 nbBacktracks=27650 nbVisitedNodes=80799 nbRestartNogoods=95
8.24 => wckTime=7.412 cpuTime=7.3 mem=14M825
8.24
8.24 global
8.24 nbConstraintChecks=44447735 nbPropagations=2628718 nbRevisions=28193118 nbUselessRevisions=21719411
8.24 nbRestartNogoods=95 solvingWckTime=7.413 solvingCpuTime=7.3 expiredTime=no totalExploration=no
8.24 nbFoundSolutions=1 globalCpuTime=7.68
8.24 => wckTime=7.889 cpuTime=7.63 mem=14M825
8.24
8.24 s SATISFIABLE
8.24 v 5 13 9 11 3 0 6 5 3 9 2 11 4 4 14 0 0 2 10 12 7 6 5 2 1 1 8 4 14 12 12 4 14 4 15 6 15 2 1 7
8.25 d NODES 46576
8.25 d CHECKS 44447735
8.25
8.25 totalWckTime=7.968 totalCpuTime=7.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-229330-1168305830 -o ROOT/results/node7/solver-229330-1168305830 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229330-1168305830/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.89 1.50 1.37 5/98 8373
/proc/meminfo: memFree=1391736/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=172 CPUtime=0
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 178978437 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/8372/statm: 43 24 18 14 0 3 0
[startup+0.10759 s]
/proc/loadavg: 1.89 1.50 1.37 5/98 8373
/proc/meminfo: memFree=1391736/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=907676 CPUtime=0.04
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 2334 0 1 0 3 1 0 0 20 0 4 0 178978437 929460224 2081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/8372/statm: 226919 2081 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.51563 s]
/proc/loadavg: 1.89 1.50 1.37 5/98 8373
/proc/meminfo: memFree=1391736/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=915328 CPUtime=0.44
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 6485 0 1 0 40 4 0 0 25 0 8 0 178978437 937295872 6224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8372/statm: 228832 6225 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33772 s]
/proc/loadavg: 1.89 1.50 1.37 3/105 8380
/proc/meminfo: memFree=1367936/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=915452 CPUtime=1.25
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 8692 0 1 0 118 7 0 0 25 0 8 0 178978437 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8372/statm: 228863 8430 2524 14 0 215333 0
[pid=8372/tid=8374] ppid=8370 vsize=915452 CPUtime=0.02
/proc/8372/task/8374/stat : 8374 (java) S 8370 8372 6564 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178978445 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8375] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8375/stat : 8375 (java) S 8370 8372 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178978446 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8376] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8376/stat : 8376 (java) S 8370 8372 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178978446 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8377] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8377/stat : 8377 (java) S 8370 8372 6564 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178978450 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8378] ppid=8370 vsize=915452 CPUtime=0.21
/proc/8372/task/8378/stat : 8378 (java) S 8370 8372 6564 0 -1 64 384 0 0 0 20 1 0 0 15 0 8 0 178978450 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8379] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8379/stat : 8379 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178978450 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8380] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8380/stat : 8380 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178978450 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452
[startup+2.99089 s]
/proc/loadavg: 1.89 1.50 1.37 3/105 8380
/proc/meminfo: memFree=1367744/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=915452 CPUtime=2.9
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 8713 0 1 0 283 7 0 0 25 0 8 0 178978437 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8372/statm: 228863 8450 2524 14 0 215333 0
[pid=8372/tid=8374] ppid=8370 vsize=915452 CPUtime=0.02
/proc/8372/task/8374/stat : 8374 (java) S 8370 8372 6564 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178978445 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8375] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8375/stat : 8375 (java) S 8370 8372 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178978446 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8376] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8376/stat : 8376 (java) S 8370 8372 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178978446 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8377] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8377/stat : 8377 (java) S 8370 8372 6564 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178978450 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8378] ppid=8370 vsize=915452 CPUtime=0.22
/proc/8372/task/8378/stat : 8378 (java) S 8370 8372 6564 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178978450 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8379] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8379/stat : 8379 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178978450 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8380] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8380/stat : 8380 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178978450 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
[startup+6.19123 s]
/proc/loadavg: 1.90 1.51 1.37 3/105 8380
/proc/meminfo: memFree=1367552/2055920 swapFree=4192812/4192956
[pid=8372] ppid=8370 vsize=915452 CPUtime=6.08
/proc/8372/stat : 8372 (java) R 8370 8372 6564 0 -1 0 8721 0 1 0 601 7 0 0 25 0 8 0 178978437 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815859 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8372/statm: 228863 8457 2524 14 0 215333 0
[pid=8372/tid=8374] ppid=8370 vsize=915452 CPUtime=0.02
/proc/8372/task/8374/stat : 8374 (java) S 8370 8372 6564 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178978445 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8375] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8375/stat : 8375 (java) S 8370 8372 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178978446 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8376] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8376/stat : 8376 (java) S 8370 8372 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178978446 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8377] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8377/stat : 8377 (java) S 8370 8372 6564 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178978450 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8378] ppid=8370 vsize=915452 CPUtime=0.22
/proc/8372/task/8378/stat : 8378 (java) S 8370 8372 6564 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 178978450 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8379] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8379/stat : 8379 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178978450 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8372/tid=8380] ppid=8370 vsize=915452 CPUtime=0
/proc/8372/task/8380/stat : 8380 (java) S 8370 8372 6564 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178978450 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 8.30518
CPU time (s): 8.14576
CPU user time (s): 8.06077
CPU system time (s): 0.084987
CPU usage (%): 98.0805
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.06077
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8814
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= 1324
involuntary context switches= 1644
runsolver used 0.018997 s user time and 0.034994 s system time
The end
Begin job on node7 on Tue Jan 9 01:23:50 UTC 2007
IDJOB= 229330
IDBENCH= 6297
FILE ID= node7/229330-1168305830
PBS_JOBID= 3502276
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229330-1168305830/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-229330-1168305830 -o ROOT/results/node7/solver-229330-1168305830 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229330-1168305830/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 09cfc332665a0d7ee35db1c748e13164
RANDOM SEED= 695845329
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.220
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.220
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: 1392152 kB
Buffers: 94324 kB
Cached: 344344 kB
SwapCached: 0 kB
Active: 429116 kB
Inactive: 176968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1392152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 196380 kB
Slab: 42068 kB
Committed_AS: 6300696 kB
PageTables: 2620 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 node7 on Tue Jan 9 01:23:58 UTC 2007