0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278551-1169288941/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.099 cpuTime=0.07 mem=6M887
0.40
0.40 relations being loaded...
0.44
0.44 constraints being loaded...
0.60 nbConstraints=900 nbRelationTypes=225 nbExtensionStructures=225 nbSharedExtensionStructures=675
0.60 nbConflictsStructures=225 nbSharedConflictsStructures=675 nbSharedBinaryRepresentations=13 maxDegree=60
0.60 maxArity=11
0.60 => wckTime=0.3 cpuTime=0.2 mem=11M763
0.65
0.65 solver LocalSearchSolver being built...
0.68 => wckTime=0.387 cpuTime=0.24 mem=6M358
0.69
0.69 s SATISFIABLE
0.69 o 843
0.69 c 57
0.69 o 847
0.69 c 53
0.69 o 850
0.69 c 50
0.70 o 853
0.70 c 47
0.70 o 857
0.70 c 43
0.70 o 861
0.70 c 39
0.70 o 863
0.70 c 37
0.70 o 864
0.70 c 36
0.70 o 868
0.70 c 32
0.70 o 869
0.70 c 31
0.70 o 870
0.70 c 30
0.70 o 872
0.70 c 28
0.71 o 873
0.71 c 27
0.71 o 874
0.71 c 26
0.71 o 876
0.71 c 24
0.71 o 877
0.71 c 23
0.71 o 878
0.71 c 22
0.72 o 879
0.72 c 21
0.72 o 880
0.72 c 20
0.72 o 882
0.72 c 18
0.72 o 884
0.72 c 16
0.72 o 885
0.72 c 15
0.72 o 886
0.72 c 14
0.72 o 887
0.72 c 13
0.72 o 889
0.72 c 11
0.73 o 890
0.73 c 10
0.76 o 891
0.76 c 9
0.76 o 892
0.76 c 8
0.79 o 893
0.79 c 7
0.80 o 894
0.80 c 6
0.80 o 895
0.80 c 5
0.80 o 896
0.80 c 4
0.83 o 897
0.83 c 3
0.95 o 898
0.95 c 2
5.05
5.05 search
5.05 run=0 nbConstraintChecks=13230263 nbAssignments=10000
5.05 => wckTime=4.365 cpuTime=4.32 mem=6M358
9.85
9.85 search
9.85 run=1 nbConstraintChecks=28326887 nbAssignments=20000
9.85 => wckTime=9.163 cpuTime=9.09 mem=6M358
14.14
14.14 search
14.14 run=2 nbConstraintChecks=41587426 nbAssignments=30000
14.14 => wckTime=13.455 cpuTime=13.37 mem=6M358
19.06
19.06 search
19.06 run=3 nbConstraintChecks=57010815 nbAssignments=40000
19.06 => wckTime=18.375 cpuTime=18.27 mem=6M358
23.30
23.30 search
23.30 run=4 nbConstraintChecks=70065230 nbAssignments=50000
23.30 => wckTime=22.619 cpuTime=22.5 mem=6M358
28.14
28.14 search
28.14 run=5 nbConstraintChecks=85240238 nbAssignments=60000
28.14 => wckTime=27.453 cpuTime=27.3 mem=6M358
31.11
31.12 search
31.12 run=6 nbConstraintChecks=94385631 nbAssignments=67442
31.12 => wckTime=30.432 cpuTime=30.26 mem=6M358
31.12
31.12 global
31.12 nbConstraintChecks=94385631 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 solvingWckTime=30.431 solvingCpuTime=30.26 expiredTime=no totalExploration=no nbFoundSolutions=0
31.12 globalCpuTime=30.56
31.12 => wckTime=30.82 cpuTime=30.5 mem=6M358
31.12
31.12 solver IterativeSystematicSolver being built...
31.31 => wckTime=31.011 cpuTime=30.65 mem=25M392
31.51
31.51 preprocessing
31.51 nbConstraintChecks=4431 nbValidityChecks=2220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.51 nbRemovedValues=0 detectedInconsistency=no
31.51 => wckTime=0.199 cpuTime=0.17 mem=25M392
31.63
31.63 search
31.63 run=0 nbConstraintChecks=8373 nbValidityChecks=16925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.63 nbAssignments=64 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0
31.63 => wckTime=0.321 cpuTime=0.29 mem=25M392
31.75
31.75 search
31.75 run=1 nbConstraintChecks=16136 nbValidityChecks=34228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.75 nbAssignments=128 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=162 nbRestartNogoods=10
31.75 => wckTime=0.445 cpuTime=0.4 mem=25M392
31.88
31.88 search
31.88 run=2 nbConstraintChecks=24931 nbValidityChecks=52094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.88 nbAssignments=192 nbFailedAssignments=34 nbBacktracks=48 nbVisitedNodes=250 nbRestartNogoods=19
31.88 => wckTime=0.572 cpuTime=0.52 mem=25M392
32.05
32.05 search
32.05 run=3 nbConstraintChecks=37775 nbValidityChecks=80309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.05 nbAssignments=265 nbFailedAssignments=49 nbBacktracks=82 nbVisitedNodes=361 nbRestartNogoods=21
32.05 => wckTime=0.739 cpuTime=0.68 mem=25M392
32.26
32.26 search
32.26 run=4 nbConstraintChecks=61481 nbValidityChecks=128060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.26 nbAssignments=378 nbFailedAssignments=74 nbBacktracks=139 nbVisitedNodes=540 nbRestartNogoods=22
32.26 => wckTime=0.951 cpuTime=0.9 mem=25M392
32.58
32.58 search
32.58 run=5 nbConstraintChecks=92617 nbValidityChecks=202186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.58 nbAssignments=518 nbFailedAssignments=110 nbBacktracks=215 nbVisitedNodes=767 nbRestartNogoods=25
32.58 => wckTime=1.275 cpuTime=1.22 mem=25M392
33.18
33.18 search
33.18 run=6 nbConstraintChecks=152136 nbValidityChecks=376355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.18 nbAssignments=759 nbFailedAssignments=196 nbBacktracks=328 nbVisitedNodes=1170 nbRestartNogoods=28
33.18 => wckTime=1.866 cpuTime=1.81 mem=25M392
33.93
33.93 search
33.93 run=7 nbConstraintChecks=216907 nbValidityChecks=555128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.93 nbAssignments=1035 nbFailedAssignments=272 nbBacktracks=498 nbVisitedNodes=1648 nbRestartNogoods=36
33.93 => wckTime=2.625 cpuTime=2.56 mem=26M367
35.22
35.22 search
35.22 run=8 nbConstraintChecks=329033 nbValidityChecks=897796 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.22 nbAssignments=1504 nbFailedAssignments=445 nbBacktracks=755 nbVisitedNodes=2453 nbRestartNogoods=40
35.22 => wckTime=3.911 cpuTime=3.82 mem=26M367
36.76
36.76 search
36.76 run=9 nbConstraintChecks=467327 nbValidityChecks=1216360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.76 nbAssignments=2172 nbFailedAssignments=693 nbBacktracks=1142 nbVisitedNodes=3590 nbRestartNogoods=46
36.76 => wckTime=5.451 cpuTime=5.35 mem=26M367
39.00
39.00 search
39.00 run=10 nbConstraintChecks=638570 nbValidityChecks=1525905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.00 nbAssignments=3105 nbFailedAssignments=1007 nbBacktracks=1720 nbVisitedNodes=5195 nbRestartNogoods=54
39.00 => wckTime=7.695 cpuTime=7.58 mem=26M367
42.05
42.06 search
42.06 run=11 nbConstraintChecks=963733 nbValidityChecks=2578394 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.06 nbAssignments=4428 nbFailedAssignments=1428 nbBacktracks=2585 nbVisitedNodes=7445 nbRestartNogoods=66
42.06 => wckTime=10.746 cpuTime=10.62 mem=26M367
46.77
46.77 search
46.77 run=12 nbConstraintChecks=1422244 nbValidityChecks=3725711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.77 nbAssignments=6506 nbFailedAssignments=2170 nbBacktracks=3885 nbVisitedNodes=10986 nbRestartNogoods=77
46.77 => wckTime=15.461 cpuTime=15.31 mem=26M367
53.66
53.66 search
53.66 run=13 nbConstraintChecks=2080775 nbValidityChecks=5288258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.66 nbAssignments=9504 nbFailedAssignments=3190 nbBacktracks=5834 nbVisitedNodes=16031 nbRestartNogoods=85
53.66 => wckTime=22.354 cpuTime=22.18 mem=26M367
63.12
63.12 search
63.12 run=14 nbConstraintChecks=3136998 nbValidityChecks=8133676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
63.12 nbAssignments=13861 nbFailedAssignments=4610 nbBacktracks=8753 nbVisitedNodes=23423 nbRestartNogoods=97
63.12 => wckTime=31.808 cpuTime=31.59 mem=26M367
77.49
77.49 search
77.49 run=15 nbConstraintChecks=4536079 nbValidityChecks=11743143 nbPropagations=0 nbRevisions=0
77.49 nbUselessRevisions=0 nbAssignments=20400 nbFailedAssignments=6739 nbBacktracks=13136 nbVisitedNodes=34163
77.49 nbRestartNogoods=102
77.49 => wckTime=46.183 cpuTime=45.88 mem=26M367
99.44
99.44 search
99.44 run=16 nbConstraintChecks=6964890 nbValidityChecks=18976300 nbPropagations=0 nbRevisions=0
99.44 nbUselessRevisions=0 nbAssignments=29985 nbFailedAssignments=9710 nbBacktracks=19704 nbVisitedNodes=50785
99.44 nbRestartNogoods=108
99.44 => wckTime=68.129 cpuTime=67.75 mem=26M367
129.87
129.87 search
129.87 run=17 nbConstraintChecks=10179691 nbValidityChecks=27856129 nbPropagations=0 nbRevisions=0
129.87 nbUselessRevisions=0 nbAssignments=44418 nbFailedAssignments=14255 nbBacktracks=29556 nbVisitedNodes=74730
129.87 nbRestartNogoods=118
129.87 => wckTime=98.559 cpuTime=98.03 mem=26M367
174.80
174.80 search
174.80 run=18 nbConstraintChecks=14488136 nbValidityChecks=37895866 nbPropagations=0 nbRevisions=0
174.80 nbUselessRevisions=0 nbAssignments=64811 nbFailedAssignments=19833 nbBacktracks=44337 nbVisitedNodes=110015
174.80 nbRestartNogoods=131
174.80 => wckTime=143.488 cpuTime=142.75 mem=26M367
239.54
239.54 search
239.54 run=19 nbConstraintChecks=21476569 nbValidityChecks=54112552 nbPropagations=0 nbRevisions=0
239.54 nbUselessRevisions=0 nbAssignments=95680 nbFailedAssignments=28500 nbBacktracks=66512 nbVisitedNodes=162300
239.54 nbRestartNogoods=140
239.54 => wckTime=208.232 cpuTime=207.22 mem=26M367
334.64
334.65 search
334.65 run=20 nbConstraintChecks=30884680 nbValidityChecks=75387838 nbPropagations=0 nbRevisions=0
334.65 nbUselessRevisions=0 nbAssignments=140902 nbFailedAssignments=40442 nbBacktracks=99765 nbVisitedNodes=238309
334.65 nbRestartNogoods=148
334.65 => wckTime=303.33 cpuTime=301.88 mem=26M367
475.90
475.90 search
475.90 run=21 nbConstraintChecks=45686553 nbValidityChecks=106678141 nbPropagations=0 nbRevisions=0
475.90 nbUselessRevisions=0 nbAssignments=208167 nbFailedAssignments=57779 nbBacktracks=149661 nbVisitedNodes=350780
475.90 nbRestartNogoods=156
475.90 => wckTime=444.588 cpuTime=442.49 mem=26M367
688.60
688.60 search
688.60 run=22 nbConstraintChecks=68600049 nbValidityChecks=159183448 nbPropagations=0 nbRevisions=0
688.60 nbUselessRevisions=0 nbAssignments=310291 nbFailedAssignments=85042 nbBacktracks=224485 nbVisitedNodes=522047
688.60 nbRestartNogoods=167
688.60 => wckTime=657.294 cpuTime=654.26 mem=26M367
975.15
975.15 search
975.15 run=23 nbConstraintChecks=98836443 nbValidityChecks=228939427 nbPropagations=0 nbRevisions=0
975.15 nbUselessRevisions=0 nbAssignments=446235 nbFailedAssignments=121728 nbBacktracks=323744 nbVisitedNodes=751117
975.15 nbRestartNogoods=177
975.15 => wckTime=943.842 cpuTime=939.52 mem=26M367
975.15
975.15 global
975.15 nbConstraintChecks=98840874 nbValidityChecks=228941647 nbRestartNogoods=177 solvingWckTime=943.843
975.15 solvingCpuTime=939.52 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=970.23
975.15 => wckTime=974.855 cpuTime=970.17 mem=26M367
975.16
975.16 s OPTIMUM FOUND
975.16 v 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1
975.16
975.16 totalWckTime=974.933 totalCpuTime=970.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-278551-1169288941 -o ROOT/results/node55/solver-278551-1169288941 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278551-1169288941/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 0.96 1.74 1.84 4/73 14692
/proc/meminfo: memFree=1237896/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=172 CPUtime=0
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 277294552 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6848811 0 0 4096 0 0 0 0 17 0 0 0
/proc/14691/statm: 43 24 18 14 0 3 0
[startup+0.106389 s]
/proc/loadavg: 0.96 1.74 1.84 4/73 14692
/proc/meminfo: memFree=1237896/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=914988 CPUtime=0.09
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 3046 0 1 0 8 1 0 0 22 0 8 0 277294552 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153610245 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51443 s]
/proc/loadavg: 0.96 1.74 1.84 4/73 14692
/proc/meminfo: memFree=1237896/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915332 CPUtime=0.48
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 6592 0 1 0 45 3 0 0 24 0 8 0 277294552 937299968 6331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228833 6331 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3355 s]
/proc/loadavg: 0.96 1.74 1.84 3/87 14706
/proc/meminfo: memFree=1195920/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915432 CPUtime=1.3
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 8036 0 1 0 118 12 0 0 25 0 8 0 277294552 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7748869 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228858 7774 2479 14 0 215328 0
[pid=14691/tid=14696] ppid=14689 vsize=915432 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 367 0 0 0 3 0 0 0 16 0 8 0 277294556 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915432 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915432 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915432 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915432 CPUtime=0.14
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 356 0 0 0 14 0 0 0 16 0 8 0 277294559 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915432 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915432 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937402368 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915432
[startup+2.97266 s]
/proc/loadavg: 0.96 1.74 1.84 4/87 14706
/proc/meminfo: memFree=1195856/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=2.94
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 8037 0 1 0 267 27 0 0 25 0 8 0 277294552 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 7774 2479 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 367 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.14
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 356 0 0 0 14 0 0 0 16 0 8 0 277294559 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915428
[startup+6.17697 s]
/proc/loadavg: 1.04 1.74 1.84 3/87 14706
/proc/meminfo: memFree=1195792/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=6.12
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 8039 0 1 0 562 50 0 0 25 0 8 0 277294552 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 7776 2479 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 367 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.16
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 358 0 0 0 15 1 0 0 16 0 8 0 277294559 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 7776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915428
[startup+12.6396 s]
/proc/loadavg: 1.19 1.75 1.84 3/87 14706
/proc/meminfo: memFree=1195792/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=12.55
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 8040 0 1 0 1151 104 0 0 25 0 8 0 277294552 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 7777 2479 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 367 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.16
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 359 0 0 0 15 1 0 0 16 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915428
[startup+25.4888 s]
/proc/loadavg: 1.31 1.76 1.84 3/87 14706
/proc/meminfo: memFree=1195792/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=25.35
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 8040 0 1 0 2327 208 0 0 25 0 8 0 277294552 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 7777 2479 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 367 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.16
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 359 0 0 0 15 1 0 0 16 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 7777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915428
[startup+51.0933 s]
/proc/loadavg: 1.55 1.77 1.84 3/87 14706
/proc/meminfo: memFree=1169808/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=50.83
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11379 0 1 0 4822 261 0 0 25 0 8 0 277294552 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11109 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.27
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 428 0 0 0 26 1 0 0 16 0 8 0 277294559 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915428
[startup+102.301 s]
/proc/loadavg: 1.89 1.84 1.86 3/87 14706
/proc/meminfo: memFree=1169680/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=101.8
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11392 0 1 0 9919 261 0 0 25 0 8 0 277294552 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11121 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.27
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 429 0 0 0 26 1 0 0 16 0 8 0 277294559 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915428
[startup+162.34 s]
/proc/loadavg: 1.96 1.86 1.86 3/87 14706
/proc/meminfo: memFree=1169616/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=161.56
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11394 0 1 0 15895 261 0 0 25 0 8 0 277294552 937398272 11123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.21
Current children cumulated vsize (KiB) 915428
[startup+582.658 s]
/proc/loadavg: 1.99 1.95 1.90 3/87 14706
/proc/meminfo: memFree=1169360/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=580
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11408 0 1 0 57738 262 0 0 25 0 8 0 277294552 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941219 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11135 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580
Current children cumulated vsize (KiB) 915428
[startup+642.699 s]
/proc/loadavg: 2.06 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169424/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=639.78
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11408 0 1 0 63716 262 0 0 25 0 8 0 277294552 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11135 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 639.78
Current children cumulated vsize (KiB) 915428
[startup+702.741 s]
/proc/loadavg: 2.02 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169360/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=699.53
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11410 0 1 0 69691 262 0 0 25 0 8 0 277294552 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11137 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 699.53
Current children cumulated vsize (KiB) 915428
[startup+762.779 s]
/proc/loadavg: 2.01 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169360/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=759.31
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11410 0 1 0 75668 263 0 0 25 0 8 0 277294552 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11137 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 759.31
Current children cumulated vsize (KiB) 915428
[startup+822.824 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169360/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=819.1
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11410 0 1 0 81647 263 0 0 25 0 8 0 277294552 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11137 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 819.1
Current children cumulated vsize (KiB) 915428
[startup+882.866 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169296/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=878.86
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11410 0 1 0 87623 263 0 0 25 0 8 0 277294552 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11137 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.86
Current children cumulated vsize (KiB) 915428
[startup+942.91 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 14706
/proc/meminfo: memFree=1169296/2055920 swapFree=4192192/4192956
[pid=14691] ppid=14689 vsize=915428 CPUtime=938.64
/proc/14691/stat : 14691 (java) R 14689 14691 14553 0 -1 0 11410 0 1 0 93601 263 0 0 25 0 8 0 277294552 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14691/statm: 228857 11137 2534 14 0 215327 0
[pid=14691/tid=14696] ppid=14689 vsize=915428 CPUtime=0.03
/proc/14691/task/14696/stat : 14696 (java) S 14689 14691 14553 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14697] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14697/stat : 14697 (java) S 14689 14691 14553 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14698] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14698/stat : 14698 (java) S 14689 14691 14553 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294556 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14703] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14703/stat : 14703 (java) S 14689 14691 14553 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14704] ppid=14689 vsize=915428 CPUtime=0.28
/proc/14691/task/14704/stat : 14704 (java) S 14689 14691 14553 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14705] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14705/stat : 14705 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14691/tid=14706] ppid=14689 vsize=915428 CPUtime=0
/proc/14691/task/14706/stat : 14706 (java) S 14689 14691 14553 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277294559 937398272 11137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 938.64
Current children cumulated vsize (KiB) 915428
Child status: 0
Real time (s): 975.189
CPU time (s): 970.755
CPU user time (s): 968.112
CPU system time (s): 2.6436
CPU usage (%): 99.5454
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 968.112
system time used= 2.6436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11507
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= 21132
involuntary context switches= 34285
runsolver used 0.972852 s user time and 2.50462 s system time
The end
Begin job on node55 on Sat Jan 20 10:29:14 UTC 2007
IDJOB= 278551
IDBENCH= 8489
IDSOLVER= 68
FILE ID= node55/278551-1169288941
PBS_JOBID= 3609701
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh308_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278551-1169288941/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-278551-1169288941 -o ROOT/results/node55/solver-278551-1169288941 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278551-1169288941/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 32f8454b076ced86b572a5f7ee11db42
RANDOM SEED= 480675345
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1239872 kB
Buffers: 51876 kB
Cached: 667092 kB
SwapCached: 268 kB
Active: 120624 kB
Inactive: 618140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1239872 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 3544 kB
Writeback: 0 kB
Mapped: 28680 kB
Slab: 62940 kB
Committed_AS: 5257112 kB
PageTables: 1572 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= 66561 MiB
End job on node55 on Sat Jan 20 10:45:38 UTC 2007