0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/208463-1168187751/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.65 nbConstraints=343 nbRelationTypes=343 nbExtensionStructures=343 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=343 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3071 maxDegree=21
0.66 maxArity=2
0.66 => wckTime=0.328 cpuTime=0.23 mem=12M804
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.536 cpuTime=0.37 mem=15M21
0.92
0.92 preprocessing
0.92 nbConstraintChecks=67617 nbPropagations=940 nbRevisions=6845 nbUselessRevisions=5550 nbSingletonTests=50
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.051 cpuTime=0.03 mem=15M21
0.95
0.95 search
0.95 run=0 nbConstraintChecks=44281 nbPropagations=1564 nbRevisions=14422 nbUselessRevisions=11649 nbAssignments=31
0.95 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.081 cpuTime=0.05 mem=15M21
0.96
0.96 search
0.96 run=1 nbConstraintChecks=84177 nbPropagations=3700 nbRevisions=35842 nbUselessRevisions=28978 nbAssignments=65
0.96 nbFailedAssignments=20 nbBacktracks=28 nbVisitedNodes=100 nbRestartNogoods=5 mapSize=21 nbInferences=0
0.96 nbTooLargeKeys=0
0.97 => wckTime=0.098 cpuTime=0.07 mem=15M21
0.98
0.98 search
0.98 run=2 nbConstraintChecks=139642 nbPropagations=6623 nbRevisions=66962 nbUselessRevisions=54068
0.98 nbAssignments=108 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=170 nbRestartNogoods=7 mapSize=42
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.115 cpuTime=0.08 mem=15M21
1.00
1.00 search
1.00 run=3 nbConstraintChecks=231147 nbPropagations=10797 nbRevisions=115132 nbUselessRevisions=93127
1.00 nbAssignments=179 nbFailedAssignments=59 nbBacktracks=85 nbVisitedNodes=289 nbRestartNogoods=9 mapSize=74
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.134 cpuTime=0.1 mem=15M21
1.02
1.02 search
1.02 run=4 nbConstraintChecks=330773 nbPropagations=16386 nbRevisions=181699 nbUselessRevisions=147196
1.02 nbAssignments=266 nbFailedAssignments=86 nbBacktracks=135 nbVisitedNodes=430 nbRestartNogoods=14 mapSize=114
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.157 cpuTime=0.12 mem=15M21
1.06
1.06 search
1.06 run=5 nbConstraintChecks=507311 nbPropagations=24442 nbRevisions=277686 nbUselessRevisions=224979
1.06 nbAssignments=408 nbFailedAssignments=126 nbBacktracks=210 nbVisitedNodes=638 nbRestartNogoods=19 mapSize=179
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.197 cpuTime=0.16 mem=15M21
1.11
1.11 search
1.11 run=6 nbConstraintChecks=738337 nbPropagations=35818 nbRevisions=419352 nbUselessRevisions=340371
1.11 nbAssignments=593 nbFailedAssignments=192 nbBacktracks=323 nbVisitedNodes=953 nbRestartNogoods=23 mapSize=272
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.243 cpuTime=0.21 mem=15M21
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1101994 nbPropagations=52496 nbRevisions=637053 nbUselessRevisions=518130
1.19 nbAssignments=897 nbFailedAssignments=319 nbBacktracks=493 nbVisitedNodes=1488 nbRestartNogoods=27 mapSize=419
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.322 cpuTime=0.28 mem=15M21
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1584938 nbPropagations=75989 nbRevisions=947388 nbUselessRevisions=770237
1.29 nbAssignments=1299 nbFailedAssignments=456 nbBacktracks=750 nbVisitedNodes=2167 nbRestartNogoods=34
1.29 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.422 cpuTime=0.37 mem=15M21
1.45
1.45 search
1.45 run=9 nbConstraintChecks=2322704 nbPropagations=110178 nbRevisions=1406375 nbUselessRevisions=1143887
1.45 nbAssignments=1930 nbFailedAssignments=679 nbBacktracks=1135 nbVisitedNodes=3207 nbRestartNogoods=44
1.45 mapSize=940 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.58 cpuTime=0.51 mem=15M21
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M21)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=3492471 nbPropagations=160941 nbRevisions=2098935 nbUselessRevisions=1708350
1.66 nbAssignments=2866 nbFailedAssignments=1031 nbBacktracks=1712 nbVisitedNodes=4822 nbRestartNogoods=49
1.66 => wckTime=0.795 cpuTime=0.71 mem=15M21
1.94
1.94 search
1.94 run=11 nbConstraintChecks=5088574 nbPropagations=235030 nbRevisions=3123698 nbUselessRevisions=2544630
1.94 nbAssignments=4241 nbFailedAssignments=1532 nbBacktracks=2578 nbVisitedNodes=7170 nbRestartNogoods=52
1.94 => wckTime=1.07 cpuTime=0.98 mem=15M21
2.39
2.39 search
2.39 run=12 nbConstraintChecks=7780479 nbPropagations=346667 nbRevisions=4687542 nbUselessRevisions=3819347
2.39 nbAssignments=6367 nbFailedAssignments=2352 nbBacktracks=3877 nbVisitedNodes=10834 nbRestartNogoods=57
2.39 => wckTime=1.522 cpuTime=1.42 mem=15M21
3.05
3.05 search
3.05 run=13 nbConstraintChecks=11755031 nbPropagations=514372 nbRevisions=7045846 nbUselessRevisions=5741536
3.05 nbAssignments=9545 nbFailedAssignments=3577 nbBacktracks=5823 nbVisitedNodes=16302 nbRestartNogoods=61
3.05 => wckTime=2.188 cpuTime=2.08 mem=15M21
4.08
4.08 search
4.08 run=14 nbConstraintChecks=18059828 nbPropagations=768809 nbRevisions=10595177 nbUselessRevisions=8621869
4.08 nbAssignments=14336 nbFailedAssignments=5443 nbBacktracks=8743 nbVisitedNodes=24575 nbRestartNogoods=67
4.08 => wckTime=3.216 cpuTime=3.1 mem=15M21
5.54
5.54 search
5.54 run=15 nbConstraintChecks=26734721 nbPropagations=1146387 nbRevisions=15899939 nbUselessRevisions=12934471
5.54 nbAssignments=21465 nbFailedAssignments=8184 nbBacktracks=13126 nbVisitedNodes=36815 nbRestartNogoods=76
5.54 => wckTime=4.671 cpuTime=4.55 mem=15M21
7.75
7.75 search
7.75 run=16 nbConstraintChecks=39592532 nbPropagations=1709939 nbRevisions=23861762 nbUselessRevisions=19419657
7.75 nbAssignments=32357 nbFailedAssignments=12497 nbBacktracks=19696 nbVisitedNodes=55636 nbRestartNogoods=83
7.75 => wckTime=6.881 cpuTime=6.74 mem=15M21
11.38
11.39 search
11.39 run=17 nbConstraintChecks=61772158 nbPropagations=2573271 nbRevisions=36113910 nbUselessRevisions=29394155
11.39 nbAssignments=48832 nbFailedAssignments=19109 nbBacktracks=29550 nbVisitedNodes=84337 nbRestartNogoods=94
11.39 => wckTime=10.519 cpuTime=10.34 mem=15M996
16.14
16.14 search
16.14 run=18 nbConstraintChecks=89862872 nbPropagations=3835214 nbRevisions=53984907 nbUselessRevisions=43945403
16.14 nbAssignments=72060 nbFailedAssignments=27512 nbBacktracks=44329 nbVisitedNodes=123757 nbRestartNogoods=106
16.14 => wckTime=15.278 cpuTime=15.05 mem=15M996
23.43
23.43 search
23.43 run=19 nbConstraintChecks=133492929 nbPropagations=5717282 nbRevisions=80522070 nbUselessRevisions=65536001
23.43 nbAssignments=107698 nbFailedAssignments=40972 nbBacktracks=66500 nbVisitedNodes=184932 nbRestartNogoods=111
23.43 => wckTime=22.565 cpuTime=22.27 mem=15M996
35.38
35.38 search
35.38 run=20 nbConstraintChecks=205565960 nbPropagations=8596071 nbRevisions=121334904 nbUselessRevisions=98771939
35.38 nbAssignments=163201 nbFailedAssignments=63215 nbBacktracks=99753 nbVisitedNodes=281525 nbRestartNogoods=121
35.38 => wckTime=34.513 cpuTime=34.1 mem=15M996
51.97
51.97 search
51.97 run=21 nbConstraintChecks=303955862 nbPropagations=12871947 nbRevisions=182006530 nbUselessRevisions=148214492
51.97 nbAssignments=243318 nbFailedAssignments=93448 nbBacktracks=149631 nbVisitedNodes=419192 nbRestartNogoods=138
51.97 => wckTime=51.106 cpuTime=50.53 mem=15M996
78.96
78.96 search
78.96 run=22 nbConstraintChecks=469005376 nbPropagations=19386663 nbRevisions=274577433 nbUselessRevisions=223579976
78.96 nbAssignments=367495 nbFailedAssignments=142800 nbBacktracks=224449 nbVisitedNodes=635051 nbRestartNogoods=152
78.96 => wckTime=78.098 cpuTime=77.16 mem=15M996
117.30
117.31 search
117.31 run=23 nbConstraintChecks=697631317 nbPropagations=29111135 nbRevisions=413307535 nbUselessRevisions=336672967
117.31 nbAssignments=549798 nbFailedAssignments=212868 nbBacktracks=336676 nbVisitedNodes=949382 nbRestartNogoods=167
117.31 => wckTime=116.439 cpuTime=115.02 mem=15M996
174.96
174.96 search
174.96 run=24 nbConstraintChecks=1046051535 nbPropagations=43651365 nbRevisions=620433962 nbUselessRevisions=505404092
174.96 nbAssignments=822858 nbFailedAssignments=317577 nbBacktracks=505021 nbVisitedNodes=1419775 nbRestartNogoods=183
174.96 => wckTime=174.092 cpuTime=171.97 mem=15M996
175.09
175.09 search
175.09 run=25 nbConstraintChecks=1046843755 nbPropagations=58202922 nbRevisions=827720508 nbUselessRevisions=674266476
175.09 nbAssignments=823526 nbFailedAssignments=317807 nbBacktracks=505419 nbVisitedNodes=1420877 nbRestartNogoods=197
175.09 => wckTime=174.228 cpuTime=172.1 mem=15M996
175.10
175.10 global
175.10 nbConstraintChecks=1046911372 nbPropagations=58203862 nbRevisions=827727353 nbUselessRevisions=674272026
175.10 nbRestartNogoods=197 solvingWckTime=174.229 solvingCpuTime=172.1 expiredTime=no totalExploration=no
175.10 nbFoundSolutions=1 globalCpuTime=172.53
175.10 => wckTime=174.769 cpuTime=172.47 mem=15M996
175.10
175.10 s SATISFIABLE
175.10 v 4 5 15 12 11 18 6 7 5 13 0 15 2 9 8 0 17 7 14 1 2 13 4 5 12 14 15 2 17 9 16 1 14 2 12 14 16 2 2 6
175.10 d NODES 823526
175.10 d CHECKS 1046911372
175.10
175.10 totalWckTime=174.855 totalCpuTime=172.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-208463-1168187751 -o ROOT/results/node15/solver-208463-1168187751 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/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.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=906644 CPUtime=0.02
/proc/20275/stat : 20275 (java) S 20273 20275 19387 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 167169952 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 226661 1818 1036 14 0 214244 0
[pid=20275/tid=20277] ppid=20273 vsize=906644 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) R 20273 20275 19387 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 167169955 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102727 s]
/proc/loadavg: 2.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=914988 CPUtime=0.08
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 2974 0 1 0 7 1 0 0 17 0 8 0 167169952 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228747 2720 1421 14 0 215242 0
[pid=20275/tid=20277] ppid=20273 vsize=914988 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167169955 936947712 2720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514799 s]
/proc/loadavg: 2.03 2.01 2.00 4/98 20276
/proc/meminfo: memFree=1543904/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915328 CPUtime=0.49
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 6698 0 1 0 45 4 0 0 18 0 8 0 167169952 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228832 6437 2137 14 0 215302 0
[pid=20275/tid=20277] ppid=20273 vsize=915328 CPUtime=0
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167169955 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34394 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519976/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=1.31
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8734 0 1 0 125 6 0 0 24 0 8 0 167169952 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8472 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.22
/proc/20275/task/20281/stat : 20281 (java) R 20273 20275 19387 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152958166 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98122 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=2.93
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8773 0 1 0 286 7 0 0 25 0 8 0 167169952 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8510 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8510 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) 915456
[startup+6.27678 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519528/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=6.2
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8780 0 1 0 613 7 0 0 25 0 8 0 167169952 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8517 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8517 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7549 s]
/proc/loadavg: 2.03 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=12.61
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8787 0 1 0 1254 7 0 0 25 0 8 0 167169952 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8523 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6051 s]
/proc/loadavg: 2.02 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519720/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=25.35
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8792 0 1 0 2528 7 0 0 25 0 8 0 167169952 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8528 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.236 s]
/proc/loadavg: 2.01 2.01 2.00 3/105 20283
/proc/meminfo: memFree=1519656/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=50.71
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8794 0 1 0 5064 7 0 0 25 0 8 0 167169952 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8530 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456
[startup+102.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 20283
/proc/meminfo: memFree=1450536/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=101.28
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8799 0 1 0 10120 8 0 0 25 0 8 0 167169952 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8535 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 915456
[startup+162.545 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 20283
/proc/meminfo: memFree=1450536/2055920 swapFree=4174172/4192956
[pid=20275] ppid=20273 vsize=915456 CPUtime=160.6
/proc/20275/stat : 20275 (java) R 20273 20275 19387 0 -1 0 8802 0 1 0 16052 8 0 0 25 0 8 0 167169952 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20275/statm: 228864 8538 2524 14 0 215334 0
[pid=20275/tid=20277] ppid=20273 vsize=915456 CPUtime=0.03
/proc/20275/task/20277/stat : 20277 (java) S 20273 20275 19387 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 167169955 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20278] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20278/stat : 20278 (java) S 20273 20275 19387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167169956 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20279] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20279/stat : 20279 (java) S 20273 20275 19387 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167169956 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20280] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20280/stat : 20280 (java) S 20273 20275 19387 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20281] ppid=20273 vsize=915456 CPUtime=0.25
/proc/20275/task/20281/stat : 20281 (java) S 20273 20275 19387 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20282] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20282/stat : 20282 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20275/tid=20283] ppid=20273 vsize=915456 CPUtime=0
/proc/20275/task/20283/stat : 20283 (java) S 20273 20275 19387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167169959 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.6
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 175.158
CPU time (s): 173.057
CPU user time (s): 172.961
CPU system time (s): 0.095985
CPU usage (%): 98.8005
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.961
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 4667
involuntary context switches= 13470
runsolver used 0.421935 s user time and 0.78388 s system time
The end
Begin job on node15 on Sun Jan 7 16:35:51 UTC 2007
IDJOB= 208463
IDBENCH= 4396
FILE ID= node15/208463-1168187751
PBS_JOBID= 3478943
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-208463-1168187751 -o ROOT/results/node15/solver-208463-1168187751 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208463-1168187751/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fec419f8420a70dd65f42166152302ec
RANDOM SEED= 654152642
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.276
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.276
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: 1544320 kB
Buffers: 66640 kB
Cached: 251864 kB
SwapCached: 6400 kB
Active: 239616 kB
Inactive: 214672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1544320 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 155052 kB
Slab: 41452 kB
Committed_AS: 5422332 kB
PageTables: 2632 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 node15 on Sun Jan 7 16:38:46 UTC 2007