0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/225034-1168270619/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.70 => wckTime=0.378 cpuTime=0.32 mem=21M600
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.585 cpuTime=0.46 mem=15M362
0.96
0.96 preprocessing
0.96 nbConstraintChecks=191362 nbPropagations=1150 nbRevisions=4272 nbUselessRevisions=2377 nbSingletonTests=51
0.96 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.056 cpuTime=0.03 mem=15M362
1.00
1.00 search
1.00 run=0 nbConstraintChecks=116652 nbPropagations=2063 nbRevisions=8382 nbUselessRevisions=4493 nbAssignments=28
1.00 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.092 cpuTime=0.05 mem=15M362
1.02
1.02 search
1.02 run=1 nbConstraintChecks=280555 nbPropagations=5246 nbRevisions=21486 nbUselessRevisions=11449
1.02 nbAssignments=69 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=6 mapSize=21
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.116 cpuTime=0.07 mem=15M362
1.07
1.07 search
1.07 run=2 nbConstraintChecks=692111 nbPropagations=11115 nbRevisions=46500 nbUselessRevisions=24494
1.07 nbAssignments=162 nbFailedAssignments=89 nbBacktracks=48 nbVisitedNodes=267 nbRestartNogoods=12 mapSize=39
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.161 cpuTime=0.11 mem=15M362
1.10
1.10 search
1.10 run=3 nbConstraintChecks=1006536 nbPropagations=19306 nbRevisions=81636 nbUselessRevisions=42928
1.10 nbAssignments=239 nbFailedAssignments=129 nbBacktracks=81 nbVisitedNodes=404 nbRestartNogoods=14 mapSize=69
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.189 cpuTime=0.14 mem=15M362
1.17
1.17 search
1.17 run=4 nbConstraintChecks=1674106 nbPropagations=32544 nbRevisions=140759 nbUselessRevisions=73756
1.17 nbAssignments=407 nbFailedAssignments=240 nbBacktracks=131 nbVisitedNodes=719 nbRestartNogoods=19 mapSize=115
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.259 cpuTime=0.2 mem=15M362
1.23
1.23 search
1.23 run=5 nbConstraintChecks=2429757 nbPropagations=51227 nbRevisions=224201 nbUselessRevisions=117312
1.23 nbAssignments=586 nbFailedAssignments=340 nbBacktracks=207 nbVisitedNodes=1044 nbRestartNogoods=26 mapSize=176
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.326 cpuTime=0.27 mem=15M362
1.34
1.34 search
1.34 run=6 nbConstraintChecks=3707389 nbPropagations=79181 nbRevisions=349074 nbUselessRevisions=183146
1.34 nbAssignments=880 nbFailedAssignments=507 nbBacktracks=321 nbVisitedNodes=1570 nbRestartNogoods=35 mapSize=278
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.436 cpuTime=0.37 mem=15M362
1.51
1.51 search
1.51 run=7 nbConstraintChecks=5530481 nbPropagations=121315 nbRevisions=539519 nbUselessRevisions=283081
1.51 nbAssignments=1357 nbFailedAssignments=812 nbBacktracks=491 nbVisitedNodes=2470 nbRestartNogoods=37
1.51 mapSize=420 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.608 cpuTime=0.54 mem=15M362
1.75
1.75 search
1.75 run=8 nbConstraintChecks=8150244 nbPropagations=182185 nbRevisions=815049 nbUselessRevisions=428145
1.75 nbAssignments=1950 nbFailedAssignments=1140 nbBacktracks=749 nbVisitedNodes=3565 nbRestartNogoods=51
1.75 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.839 cpuTime=0.76 mem=15M362
2.27
2.27 search
2.27 run=9 nbConstraintChecks=14923053 nbPropagations=283902 nbRevisions=1287361 nbUselessRevisions=674971
2.27 nbAssignments=3319 nbFailedAssignments=2118 nbBacktracks=1134 nbVisitedNodes=6218 nbRestartNogoods=58
2.27 mapSize=988 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.363 cpuTime=1.26 mem=16M337
2.29
2.29 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=16M337)
2.77
2.77 search
2.77 run=10 nbConstraintChecks=21322113 nbPropagations=431102 nbRevisions=1969431 nbUselessRevisions=1032364
2.77 nbAssignments=4774 nbFailedAssignments=2985 nbBacktracks=1710 nbVisitedNodes=8943 nbRestartNogoods=81
2.77 => wckTime=1.865 cpuTime=1.76 mem=16M337
3.43
3.43 search
3.43 run=11 nbConstraintChecks=29788549 nbPropagations=640560 nbRevisions=2937867 nbUselessRevisions=1540234
3.43 nbAssignments=6806 nbFailedAssignments=4150 nbBacktracks=2574 nbVisitedNodes=12717 nbRestartNogoods=87
3.43 => wckTime=2.524 cpuTime=2.41 mem=16M337
4.45
4.45 search
4.45 run=12 nbConstraintChecks=42893864 nbPropagations=948498 nbRevisions=4359275 nbUselessRevisions=2286012
4.45 nbAssignments=10067 nbFailedAssignments=6112 nbBacktracks=3872 nbVisitedNodes=18800 nbRestartNogoods=96
4.45 => wckTime=3.546 cpuTime=3.42 mem=16M337
6.11
6.11 search
6.11 run=13 nbConstraintChecks=64536546 nbPropagations=1411986 nbRevisions=6499988 nbUselessRevisions=3407813
6.11 nbAssignments=14880 nbFailedAssignments=8977 nbBacktracks=5818 nbVisitedNodes=27865 nbRestartNogoods=97
6.11 => wckTime=5.203 cpuTime=5.06 mem=16M337
8.79
8.79 search
8.79 run=14 nbConstraintChecks=100104672 nbPropagations=2120023 nbRevisions=9790510 nbUselessRevisions=5134047
8.79 nbAssignments=22682 nbFailedAssignments=13857 nbBacktracks=8737 nbVisitedNodes=42638 nbRestartNogoods=100
8.79 => wckTime=7.883 cpuTime=7.72 mem=16M337
12.35
12.35 search
12.35 run=15 nbConstraintChecks=149046412 nbPropagations=3137925 nbRevisions=14548130 nbUselessRevisions=7640705
12.35 nbAssignments=32763 nbFailedAssignments=20218 nbBacktracks=12458 nbVisitedNodes=61666 nbRestartNogoods=108
12.35 => wckTime=11.439 cpuTime=11.24 mem=16M337
12.35
12.35 global
12.35 nbConstraintChecks=149237774 nbPropagations=3139075 nbRevisions=14552402 nbUselessRevisions=7643082
12.35 nbRestartNogoods=108 solvingWckTime=11.44 solvingCpuTime=11.24 expiredTime=no totalExploration=yes
12.35 nbFoundSolutions=0 globalCpuTime=11.77
12.35 => wckTime=12.03 cpuTime=11.71 mem=16M337
12.35
12.35 s UNSATISFIABLE
12.35 d NODES 32763
12.35 d CHECKS 149237774
12.35
12.35 totalWckTime=12.11 totalCpuTime=11.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-225034-1168270619 -o ROOT/results/node13/solver-225034-1168270619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225034-1168270619/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.98 2.35 2.41 4/86 13168
/proc/meminfo: memFree=1660960/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=18540 CPUtime=0
/proc/13167/stat : 13167 (runsolver) R 13165 13167 12855 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175456943 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13167/statm: 4635 279 244 17 0 2626 0
[startup+0.103055 s]
/proc/loadavg: 1.98 2.35 2.41 4/86 13168
/proc/meminfo: memFree=1660960/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=914988 CPUtime=0.08
/proc/13167/stat : 13167 (java) R 13165 13167 12855 0 -1 0 2953 0 1 0 7 1 0 0 17 0 8 0 175456943 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153648313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13167/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515108 s]
/proc/loadavg: 1.98 2.35 2.41 4/86 13168
/proc/meminfo: memFree=1660960/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=915328 CPUtime=0.49
/proc/13167/stat : 13167 (java) R 13165 13167 12855 0 -1 0 7306 0 1 0 45 4 0 0 18 0 8 0 175456943 937295872 7045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13167/statm: 228832 7045 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34426 s]
/proc/loadavg: 1.98 2.35 2.41 3/93 13175
/proc/meminfo: memFree=1621480/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=915464 CPUtime=1.3
/proc/13167/stat : 13167 (java) R 13165 13167 12855 0 -1 0 10543 0 1 0 124 6 0 0 24 0 8 0 175456943 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072933107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13167/statm: 228866 10281 2524 14 0 215336 0
[pid=13167/tid=13169] ppid=13165 vsize=915464 CPUtime=0.03
/proc/13167/task/13169/stat : 13169 (java) S 13165 13167 12855 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175456947 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13170] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13170/stat : 13170 (java) S 13165 13167 12855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175456947 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13171] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13171/stat : 13171 (java) S 13165 13167 12855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175456948 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13172] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13172/stat : 13172 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175456951 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13173] ppid=13165 vsize=915464 CPUtime=0.17
/proc/13167/task/13173/stat : 13173 (java) S 13165 13167 12855 0 -1 64 361 0 0 0 16 1 0 0 15 0 8 0 175456951 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13174] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13174/stat : 13174 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175456951 937435136 10281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13175] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13175/stat : 13175 (java) S 13165 13167 12855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175456951 937435136 10281 18446744073709551615 134512640 134570532 4294956464 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.98443 s]
/proc/loadavg: 1.98 2.35 2.41 3/93 13175
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=915464 CPUtime=2.93
/proc/13167/stat : 13167 (java) R 13165 13167 12855 0 -1 0 10561 0 1 0 286 7 0 0 25 0 8 0 175456943 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13167/statm: 228866 10297 2524 14 0 215336 0
[pid=13167/tid=13169] ppid=13165 vsize=915464 CPUtime=0.03
/proc/13167/task/13169/stat : 13169 (java) S 13165 13167 12855 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 175456947 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13170] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13170/stat : 13170 (java) S 13165 13167 12855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175456947 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13171] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13171/stat : 13171 (java) S 13165 13167 12855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175456948 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13172] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13172/stat : 13172 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175456951 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13173] ppid=13165 vsize=915464 CPUtime=0.2
/proc/13167/task/13173/stat : 13173 (java) S 13165 13167 12855 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 175456951 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13174] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13174/stat : 13174 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175456951 937435136 10297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13175] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13175/stat : 13175 (java) S 13165 13167 12855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175456951 937435136 10297 18446744073709551615 134512640 134570532 4294956464 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.26387 s]
/proc/loadavg: 1.98 2.35 2.40 3/93 13175
/proc/meminfo: memFree=1629864/2055920 swapFree=4192812/4192956
[pid=13167] ppid=13165 vsize=915464 CPUtime=6.18
/proc/13167/stat : 13167 (java) R 13165 13167 12855 0 -1 0 10562 0 1 0 611 7 0 0 25 0 8 0 175456943 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13167/statm: 228866 10298 2524 14 0 215336 0
[pid=13167/tid=13169] ppid=13165 vsize=915464 CPUtime=0.03
/proc/13167/task/13169/stat : 13169 (java) S 13165 13167 12855 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175456947 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13170] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13170/stat : 13170 (java) S 13165 13167 12855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175456947 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13171] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13171/stat : 13171 (java) S 13165 13167 12855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175456948 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13172] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13172/stat : 13172 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175456951 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13173] ppid=13165 vsize=915464 CPUtime=0.2
/proc/13167/task/13173/stat : 13173 (java) S 13165 13167 12855 0 -1 64 378 0 0 0 19 1 0 0 16 0 8 0 175456951 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13174] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13174/stat : 13174 (java) S 13165 13167 12855 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175456951 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13167/tid=13175] ppid=13165 vsize=915464 CPUtime=0
/proc/13167/task/13175/stat : 13175 (java) S 13165 13167 12855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175456951 937435136 10298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 12.3813
CPU time (s): 12.2341
CPU user time (s): 12.1522
CPU system time (s): 0.081987
CPU usage (%): 98.8113
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1522
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10569
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= 1281
involuntary context switches= 1920
runsolver used 0.020996 s user time and 0.044993 s system time
The end
Begin job on node13 on Mon Jan 8 15:37:00 UTC 2007
IDJOB= 225034
IDBENCH= 5811
FILE ID= node13/225034-1168270619
PBS_JOBID= 3482993
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225034-1168270619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-225034-1168270619 -o ROOT/results/node13/solver-225034-1168270619 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225034-1168270619/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 761a72438b2a8fbe130ab06441196921
RANDOM SEED= 876168057
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.247
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.247
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: 1661760 kB
Buffers: 58316 kB
Cached: 220688 kB
SwapCached: 0 kB
Active: 155640 kB
Inactive: 178956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1661760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2540 kB
Writeback: 0 kB
Mapped: 75200 kB
Slab: 44224 kB
Committed_AS: 4714360 kB
PageTables: 2436 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 node13 on Mon Jan 8 15:37:12 UTC 2007