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/223951-1168267218/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2 maxDegree=13 maxArity=2
0.63 => wckTime=0.307 cpuTime=0.24 mem=13M827
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.516 cpuTime=0.37 mem=14M839
0.89
0.89 preprocessing
0.89 nbConstraintChecks=69475 nbPropagations=796 nbRevisions=4886 nbUselessRevisions=3754 nbSingletonTests=50
0.89 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.049 cpuTime=0.03 mem=14M839
0.91
0.91 search
0.91 run=0 nbConstraintChecks=32812 nbPropagations=1313 nbRevisions=8591 nbUselessRevisions=6421 nbAssignments=27
0.91 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.07 cpuTime=0.05 mem=14M839
0.93
0.93 search
0.93 run=1 nbConstraintChecks=83843 nbPropagations=3325 nbRevisions=22512 nbUselessRevisions=16564 nbAssignments=62
0.93 nbFailedAssignments=21 nbBacktracks=29 nbVisitedNodes=102 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.089 cpuTime=0.06 mem=14M839
0.95
0.95 search
0.95 run=2 nbConstraintChecks=135579 nbPropagations=6189 nbRevisions=42752 nbUselessRevisions=31192
0.95 nbAssignments=107 nbFailedAssignments=37 nbBacktracks=52 nbVisitedNodes=178 nbRestartNogoods=5 mapSize=43
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.106 cpuTime=0.07 mem=14M839
0.97
0.97 search
0.97 run=3 nbConstraintChecks=233297 nbPropagations=10621 nbRevisions=74580 nbUselessRevisions=53742
0.97 nbAssignments=177 nbFailedAssignments=70 nbBacktracks=85 nbVisitedNodes=303 nbRestartNogoods=7 mapSize=71
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.125 cpuTime=0.08 mem=14M839
0.99
0.99 search
0.99 run=4 nbConstraintChecks=374668 nbPropagations=17341 nbRevisions=124894 nbUselessRevisions=89197
0.99 nbAssignments=286 nbFailedAssignments=121 nbBacktracks=138 nbVisitedNodes=497 nbRestartNogoods=12 mapSize=117
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.151 cpuTime=0.11 mem=14M839
1.03
1.03 search
1.03 run=5 nbConstraintChecks=579748 nbPropagations=27162 nbRevisions=198436 nbUselessRevisions=140261
1.03 nbAssignments=425 nbFailedAssignments=180 nbBacktracks=213 nbVisitedNodes=742 nbRestartNogoods=15 mapSize=180
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.187 cpuTime=0.14 mem=14M839
1.07
1.07 search
1.07 run=6 nbConstraintChecks=823890 nbPropagations=41206 nbRevisions=302860 nbUselessRevisions=212272
1.07 nbAssignments=627 nbFailedAssignments=263 nbBacktracks=326 nbVisitedNodes=1092 nbRestartNogoods=22 mapSize=266
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.229 cpuTime=0.18 mem=14M839
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1302267 nbPropagations=62871 nbRevisions=466817 nbUselessRevisions=326059
1.15 nbAssignments=983 nbFailedAssignments=432 nbBacktracks=496 nbVisitedNodes=1720 nbRestartNogoods=27 mapSize=417
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.312 cpuTime=0.26 mem=14M839
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1972192 nbPropagations=95006 nbRevisions=711731 nbUselessRevisions=494834
1.26 nbAssignments=1487 nbFailedAssignments=673 nbBacktracks=754 nbVisitedNodes=2614 nbRestartNogoods=34
1.26 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.424 cpuTime=0.36 mem=14M839
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2744847 nbPropagations=140654 nbRevisions=1057581 nbUselessRevisions=732283
1.40 nbAssignments=2155 nbFailedAssignments=951 nbBacktracks=1138 nbVisitedNodes=3750 nbRestartNogoods=41
1.40 mapSize=921 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.557 cpuTime=0.48 mem=14M839
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M839)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=3942346 nbPropagations=206248 nbRevisions=1551938 nbUselessRevisions=1070526
1.58 nbAssignments=3152 nbFailedAssignments=1348 nbBacktracks=1717 nbVisitedNodes=5421 nbRestartNogoods=52
1.58 => wckTime=0.735 cpuTime=0.65 mem=14M839
1.83
1.83 search
1.83 run=11 nbConstraintChecks=5741793 nbPropagations=303235 nbRevisions=2291052 nbUselessRevisions=1580203
1.83 nbAssignments=4671 nbFailedAssignments=1998 nbBacktracks=2582 nbVisitedNodes=8089 nbRestartNogoods=57
1.83 => wckTime=0.987 cpuTime=0.89 mem=14M839
2.21
2.21 search
2.21 run=12 nbConstraintChecks=8501381 nbPropagations=447581 nbRevisions=3385878 nbUselessRevisions=2333121
2.21 nbAssignments=6933 nbFailedAssignments=2954 nbBacktracks=3880 nbVisitedNodes=12028 nbRestartNogoods=65
2.21 => wckTime=1.369 cpuTime=1.27 mem=15M814
2.83
2.83 search
2.83 run=13 nbConstraintChecks=13117315 nbPropagations=667830 nbRevisions=5070713 nbUselessRevisions=3490591
2.83 nbAssignments=10626 nbFailedAssignments=4684 nbBacktracks=5826 nbVisitedNodes=18603 nbRestartNogoods=72
2.83 => wckTime=1.993 cpuTime=1.89 mem=15M814
3.66
3.66 search
3.66 run=14 nbConstraintChecks=19024586 nbPropagations=990427 nbRevisions=7515776 nbUselessRevisions=5165547
3.66 nbAssignments=15549 nbFailedAssignments=6681 nbBacktracks=8747 nbVisitedNodes=27055 nbRestartNogoods=80
3.66 => wckTime=2.816 cpuTime=2.7 mem=15M814
4.93
4.93 search
4.93 run=15 nbConstraintChecks=28486284 nbPropagations=1469074 nbRevisions=11149064 nbUselessRevisions=7653653
4.93 nbAssignments=23111 nbFailedAssignments=9858 nbBacktracks=13126 nbVisitedNodes=40231 nbRestartNogoods=88
4.93 => wckTime=4.087 cpuTime=3.96 mem=15M814
6.87
6.87 search
6.87 run=16 nbConstraintChecks=42953077 nbPropagations=2188169 nbRevisions=16609822 nbUselessRevisions=11389002
6.87 nbAssignments=34724 nbFailedAssignments=14895 nbBacktracks=19695 nbVisitedNodes=60579 nbRestartNogoods=94
6.87 => wckTime=6.032 cpuTime=5.88 mem=15M814
7.92
7.92 search
7.92 run=17 nbConstraintChecks=50651737 nbPropagations=3038354 nbRevisions=23063796 nbUselessRevisions=15804978
7.92 nbAssignments=41008 nbFailedAssignments=17599 nbBacktracks=23235 nbVisitedNodes=71601 nbRestartNogoods=104
7.92 => wckTime=7.072 cpuTime=6.92 mem=15M814
7.92
7.92 global
7.92 nbConstraintChecks=50721212 nbPropagations=3039150 nbRevisions=23068682 nbUselessRevisions=15808732
7.92 nbRestartNogoods=104 solvingWckTime=7.079 solvingCpuTime=6.92 expiredTime=no totalExploration=no
7.92 nbFoundSolutions=1 globalCpuTime=7.34
7.92 => wckTime=7.599 cpuTime=7.29 mem=15M814
7.92
7.92 s SATISFIABLE
7.92 v 3 17 13 20 20 6 19 4 14 24 8 0 2 9 17 1 13 6 5 13 24 5 5 7 6 13 20 3 12 7 4 5 5 17 20 13 21 17 2 1
7.92 d NODES 41008
7.92 d CHECKS 50721212
7.92
7.92 totalWckTime=7.68 totalCpuTime=7.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-223951-1168267218 -o ROOT/results/node12/solver-223951-1168267218 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223951-1168267218/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.00 1.94 1.49 4/88 29392
/proc/meminfo: memFree=1789968/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=9948 CPUtime=0
/proc/29391/stat : 29391 (java) S 29389 29391 28887 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 175116938 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/29391/statm: 2487 472 386 14 0 1142 0
[startup+0.104197 s]
/proc/loadavg: 2.00 1.94 1.49 4/88 29392
/proc/meminfo: memFree=1789968/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=913068 CPUtime=0.08
/proc/29391/stat : 29391 (java) S 29389 29391 28887 0 -1 0 2888 0 1 0 7 1 0 0 17 0 8 0 175116938 934981632 2634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29391/statm: 228267 2634 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.512275 s]
/proc/loadavg: 2.00 1.94 1.49 4/88 29392
/proc/meminfo: memFree=1789968/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=915328 CPUtime=0.49
/proc/29391/stat : 29391 (java) R 29389 29391 28887 0 -1 0 7028 0 1 0 45 4 0 0 18 0 8 0 175116938 937295872 6767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29391/statm: 228832 6767 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33542 s]
/proc/loadavg: 2.00 1.94 1.49 3/95 29399
/proc/meminfo: memFree=1766168/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=915452 CPUtime=1.29
/proc/29391/stat : 29391 (java) R 29389 29391 28887 0 -1 0 8700 0 1 0 124 5 0 0 24 0 8 0 175116938 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29391/statm: 228863 8438 2524 14 0 215333 0
[pid=29391/tid=29393] ppid=29389 vsize=915452 CPUtime=0.03
/proc/29391/task/29393/stat : 29393 (java) S 29389 29391 28887 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175116942 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29394] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29394/stat : 29394 (java) S 29389 29391 28887 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175116943 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29395] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29395/stat : 29395 (java) S 29389 29391 28887 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175116943 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29396] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29396/stat : 29396 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175116946 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29397] ppid=29389 vsize=915452 CPUtime=0.22
/proc/29391/task/29397/stat : 29397 (java) S 29389 29391 28887 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 175116946 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29398] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29398/stat : 29398 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175116946 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29399] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29399/stat : 29399 (java) S 29389 29391 28887 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175116946 937422848 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.98171 s]
/proc/loadavg: 2.00 1.94 1.49 3/95 29399
/proc/meminfo: memFree=1765720/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=915452 CPUtime=2.94
/proc/29391/stat : 29391 (java) R 29389 29391 28887 0 -1 0 8736 0 1 0 288 6 0 0 25 0 8 0 175116938 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29391/statm: 228863 8473 2524 14 0 215333 0
[pid=29391/tid=29393] ppid=29389 vsize=915452 CPUtime=0.03
/proc/29391/task/29393/stat : 29393 (java) S 29389 29391 28887 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175116942 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29394] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29394/stat : 29394 (java) S 29389 29391 28887 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175116943 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29395] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29395/stat : 29395 (java) S 29389 29391 28887 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175116943 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29396] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29396/stat : 29396 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175116946 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29397] ppid=29389 vsize=915452 CPUtime=0.24
/proc/29391/task/29397/stat : 29397 (java) S 29389 29391 28887 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 175116946 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29398] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29398/stat : 29398 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175116946 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29399] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29399/stat : 29399 (java) S 29389 29391 28887 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175116946 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.2693 s]
/proc/loadavg: 2.00 1.94 1.49 3/95 29399
/proc/meminfo: memFree=1765656/2055920 swapFree=4160348/4192956
[pid=29391] ppid=29389 vsize=915452 CPUtime=6.19
/proc/29391/stat : 29391 (java) R 29389 29391 28887 0 -1 0 8742 0 1 0 613 6 0 0 25 0 8 0 175116938 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29391/statm: 228863 8478 2524 14 0 215333 0
[pid=29391/tid=29393] ppid=29389 vsize=915452 CPUtime=0.03
/proc/29391/task/29393/stat : 29393 (java) S 29389 29391 28887 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175116942 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29394] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29394/stat : 29394 (java) S 29389 29391 28887 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175116943 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29395] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29395/stat : 29395 (java) S 29389 29391 28887 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175116943 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29396] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29396/stat : 29396 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175116946 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29397] ppid=29389 vsize=915452 CPUtime=0.24
/proc/29391/task/29397/stat : 29397 (java) S 29389 29391 28887 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 175116946 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29398] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29398/stat : 29398 (java) S 29389 29391 28887 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175116946 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29391/tid=29399] ppid=29389 vsize=915452 CPUtime=0
/proc/29391/task/29399/stat : 29399 (java) S 29389 29391 28887 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175116946 937422848 8478 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) 915452
Child status: 0
Real time (s): 7.96312
CPU time (s): 7.83981
CPU user time (s): 7.77182
CPU system time (s): 0.067989
CPU usage (%): 98.4515
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.77182
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8836
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= 1236
involuntary context switches= 1570
runsolver used 0.016997 s user time and 0.034994 s system time
The end
Begin job on node12 on Mon Jan 8 14:40:19 UTC 2007
IDJOB= 223951
IDBENCH= 5696
FILE ID= node12/223951-1168267218
PBS_JOBID= 3482869
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223951-1168267218/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-223951-1168267218 -o ROOT/results/node12/solver-223951-1168267218 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223951-1168267218/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64424270487e5cc63c69f5d68da22728
RANDOM SEED= 915683851
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.265
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.265
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: 1790384 kB
Buffers: 50356 kB
Cached: 127840 kB
SwapCached: 5132 kB
Active: 130708 kB
Inactive: 84632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1790384 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 47944 kB
Slab: 35212 kB
Committed_AS: 5037948 kB
PageTables: 2104 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= 66326 MiB
End job on node12 on Mon Jan 8 14:40:27 UTC 2007