0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208093-1168185045/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.62 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=908 maxDegree=25
0.62 maxArity=2
0.62 => wckTime=0.325 cpuTime=0.25 mem=14M786
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.518 cpuTime=0.37 mem=15M258
0.86
0.86 preprocessing
0.87 nbConstraintChecks=63549 nbPropagations=734 nbRevisions=7659 nbUselessRevisions=6767 nbSingletonTests=35
0.87 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.045 cpuTime=0.03 mem=15M258
0.89
0.89 search
0.89 run=0 nbConstraintChecks=38108 nbPropagations=1166 nbRevisions=15391 nbUselessRevisions=13513 nbAssignments=28
0.89 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.069 cpuTime=0.05 mem=15M258
0.91
0.91 search
0.91 run=1 nbConstraintChecks=94711 nbPropagations=2933 nbRevisions=42524 nbUselessRevisions=37180 nbAssignments=65
0.91 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=114 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.086 cpuTime=0.06 mem=15M258
0.93
0.93 search
0.93 run=2 nbConstraintChecks=173955 nbPropagations=5563 nbRevisions=86271 nbUselessRevisions=75316
0.93 nbAssignments=120 nbFailedAssignments=55 nbBacktracks=50 nbVisitedNodes=213 nbRestartNogoods=3 mapSize=48
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.107 cpuTime=0.08 mem=15M258
0.95
0.95 search
0.95 run=3 nbConstraintChecks=297285 nbPropagations=9442 nbRevisions=156209 nbUselessRevisions=136325
0.95 nbAssignments=198 nbFailedAssignments=94 nbBacktracks=84 nbVisitedNodes=356 nbRestartNogoods=7 mapSize=82
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.134 cpuTime=0.1 mem=15M258
0.98
0.98 search
0.98 run=4 nbConstraintChecks=442625 nbPropagations=14876 nbRevisions=257537 nbUselessRevisions=224920
0.98 nbAssignments=297 nbFailedAssignments=136 nbBacktracks=134 nbVisitedNodes=533 nbRestartNogoods=12 mapSize=131
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.16 cpuTime=0.12 mem=15M258
1.02
1.02 search
1.02 run=5 nbConstraintChecks=669014 nbPropagations=22705 nbRevisions=408526 nbUselessRevisions=356969
1.02 nbAssignments=451 nbFailedAssignments=209 nbBacktracks=210 nbVisitedNodes=814 nbRestartNogoods=17 mapSize=206
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.205 cpuTime=0.16 mem=15M258
1.08
1.08 search
1.08 run=6 nbConstraintChecks=1013180 nbPropagations=34223 nbRevisions=637237 nbUselessRevisions=557052
1.08 nbAssignments=689 nbFailedAssignments=327 nbBacktracks=323 nbVisitedNodes=1255 nbRestartNogoods=22 mapSize=317
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.266 cpuTime=0.22 mem=15M258
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1539801 nbPropagations=51229 nbRevisions=982205 nbUselessRevisions=859003
1.18 nbAssignments=1036 nbFailedAssignments=498 nbBacktracks=493 nbVisitedNodes=1898 nbRestartNogoods=29
1.18 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.359 cpuTime=0.31 mem=15M258
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2252692 nbPropagations=75938 nbRevisions=1490770 nbUselessRevisions=1304048
1.31 nbAssignments=1544 nbFailedAssignments=745 nbBacktracks=751 nbVisitedNodes=2839 nbRestartNogoods=35
1.31 mapSize=740 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.494 cpuTime=0.44 mem=15M258
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M258)
1.49
1.49 search
1.49 run=9 nbConstraintChecks=3319020 nbPropagations=111872 nbRevisions=2237233 nbUselessRevisions=1956926
1.49 nbAssignments=2281 nbFailedAssignments=1092 nbBacktracks=1135 nbVisitedNodes=4201 nbRestartNogoods=36
1.49 => wckTime=0.667 cpuTime=0.6 mem=15M258
1.74
1.74 search
1.74 run=10 nbConstraintChecks=4977252 nbPropagations=165221 nbRevisions=3356423 nbUselessRevisions=2935756
1.74 nbAssignments=3406 nbFailedAssignments=1635 nbBacktracks=1712 nbVisitedNodes=6297 nbRestartNogoods=45
1.74 => wckTime=0.919 cpuTime=0.85 mem=15M258
2.08
2.08 search
2.08 run=11 nbConstraintChecks=7342160 nbPropagations=244033 nbRevisions=5014951 nbUselessRevisions=4386667
2.08 nbAssignments=5108 nbFailedAssignments=2467 nbBacktracks=2576 nbVisitedNodes=9441 nbRestartNogoods=54
2.08 => wckTime=1.265 cpuTime=1.19 mem=15M258
2.63
2.63 search
2.63 run=12 nbConstraintChecks=11145252 nbPropagations=362966 nbRevisions=7533080 nbUselessRevisions=6589261
2.63 nbAssignments=7699 nbFailedAssignments=3742 nbBacktracks=3873 nbVisitedNodes=14264 nbRestartNogoods=65
2.63 => wckTime=1.812 cpuTime=1.73 mem=15M258
3.43
3.43 search
3.43 run=13 nbConstraintChecks=16688686 nbPropagations=539876 nbRevisions=11295396 nbUselessRevisions=9880622
3.43 nbAssignments=11470 nbFailedAssignments=5562 nbBacktracks=5819 nbVisitedNodes=21260 nbRestartNogoods=76
3.43 => wckTime=2.613 cpuTime=2.52 mem=15M258
4.65
4.65 search
4.65 run=14 nbConstraintChecks=25296676 nbPropagations=806004 nbRevisions=16981246 nbUselessRevisions=14855250
4.65 nbAssignments=17181 nbFailedAssignments=8348 nbBacktracks=8738 nbVisitedNodes=31935 nbRestartNogoods=88
4.65 => wckTime=3.827 cpuTime=3.73 mem=15M258
6.48
6.48 search
6.48 run=15 nbConstraintChecks=38358742 nbPropagations=1205704 nbRevisions=25575113 nbUselessRevisions=22376359
6.48 nbAssignments=25760 nbFailedAssignments=12543 nbBacktracks=13116 nbVisitedNodes=47891 nbRestartNogoods=103
6.48 => wckTime=5.659 cpuTime=5.55 mem=15M258
9.21
9.21 search
9.21 run=16 nbConstraintChecks=57651581 nbPropagations=1804645 nbRevisions=38479963 nbUselessRevisions=33670974
9.21 nbAssignments=38635 nbFailedAssignments=18844 nbBacktracks=19686 nbVisitedNodes=71878 nbRestartNogoods=119
9.21 => wckTime=8.393 cpuTime=8.27 mem=15M258
13.16
13.16 search
13.16 run=17 nbConstraintChecks=85182621 nbPropagations=2693842 nbRevisions=57587775 nbUselessRevisions=50392446
13.16 nbAssignments=57571 nbFailedAssignments=27923 nbBacktracks=29538 nbVisitedNodes=106982 nbRestartNogoods=133
13.16 => wckTime=12.336 cpuTime=12.2 mem=15M258
19.42
19.42 search
19.42 run=18 nbConstraintChecks=129457684 nbPropagations=4034538 nbRevisions=86510903 nbUselessRevisions=75705201
19.42 nbAssignments=86472 nbFailedAssignments=42041 nbBacktracks=44316 nbVisitedNodes=160710 nbRestartNogoods=155
19.42 => wckTime=18.599 cpuTime=18.42 mem=15M258
28.52
28.52 search
28.52 run=19 nbConstraintChecks=193550877 nbPropagations=6040456 nbRevisions=129828304 nbUselessRevisions=113622835
28.52 nbAssignments=129356 nbFailedAssignments=62749 nbBacktracks=66484 nbVisitedNodes=240513 nbRestartNogoods=171
28.52 => wckTime=27.703 cpuTime=27.48 mem=15M258
42.34
42.34 search
42.34 run=20 nbConstraintChecks=290997363 nbPropagations=9047347 nbRevisions=194820959 nbUselessRevisions=170514043
42.34 nbAssignments=193606 nbFailedAssignments=93740 nbBacktracks=99737 nbVisitedNodes=359816 nbRestartNogoods=182
42.34 => wckTime=41.523 cpuTime=41.22 mem=15M258
63.17
63.17 search
63.17 run=21 nbConstraintChecks=438812630 nbPropagations=13564585 nbRevisions=292721477 nbUselessRevisions=256223502
63.17 nbAssignments=290694 nbFailedAssignments=140944 nbBacktracks=149615 nbVisitedNodes=540384 nbRestartNogoods=196
63.17 => wckTime=62.352 cpuTime=61.95 mem=15M258
94.37
94.37 search
94.37 run=22 nbConstraintChecks=660073447 nbPropagations=20342643 nbRevisions=439971727 nbUselessRevisions=385176477
94.37 nbAssignments=435400 nbFailedAssignments=210825 nbBacktracks=224433 nbVisitedNodes=809443 nbRestartNogoods=217
94.37 => wckTime=93.553 cpuTime=92.97 mem=15M258
142.20
142.20 search
142.20 run=23 nbConstraintChecks=1000275497 nbPropagations=30557386 nbRevisions=662688894 nbUselessRevisions=580230154
142.20 nbAssignments=655094 nbFailedAssignments=318285 nbBacktracks=336661 nbVisitedNodes=1218426 nbRestartNogoods=237
142.20 => wckTime=141.383 cpuTime=140.53 mem=15M258
212.25
212.25 search
212.25 run=24 nbConstraintChecks=1494935797 nbPropagations=45837879 nbRevisions=996036311 nbUselessRevisions=872268953
212.25 nbAssignments=981636 nbFailedAssignments=476479 nbBacktracks=505002 nbVisitedNodes=1825418 nbRestartNogoods=263
212.25 => wckTime=211.427 cpuTime=210.19 mem=15M258
319.93
319.93 search
319.93 run=25 nbConstraintChecks=2252935143 nbPropagations=68818541 nbRevisions=1498175996
319.93 nbUselessRevisions=1312243991 nbAssignments=1473615 nbFailedAssignments=715942 nbBacktracks=757514
319.93 nbVisitedNodes=2740900 nbRestartNogoods=279
319.93 => wckTime=319.111 cpuTime=316.92 mem=15M258
481.40
481.40 search
481.40 run=26 nbConstraintChecks=3392185114 nbPropagations=103324986 nbRevisions=2253467671
481.40 nbUselessRevisions=1974154779 nbAssignments=2209957 nbFailedAssignments=1073503 nbBacktracks=1136282
481.40 nbVisitedNodes=4110579 nbRestartNogoods=294
481.40 => wckTime=480.584 cpuTime=476.87 mem=15M258
727.53
727.53 search
727.53 run=27 nbConstraintChecks=5132181649 nbPropagations=155301334 nbRevisions=3394421125
727.53 nbUselessRevisions=2974199884 nbAssignments=3321896 nbFailedAssignments=1617286 nbBacktracks=1704433
727.53 nbVisitedNodes=6180588 nbRestartNogoods=299
727.53 => wckTime=726.708 cpuTime=720.55 mem=15M258
1097.61
1097.61 search
1097.61 run=28 nbConstraintChecks=7762442869 nbPropagations=233535084 nbRevisions=5117977956
1097.61 nbUselessRevisions=4485351656 nbAssignments=4985201 nbFailedAssignments=2428359 nbBacktracks=2556659
1097.61 nbVisitedNodes=9277982 nbRestartNogoods=316
1097.61 => wckTime=1096.792 cpuTime=1087.1 mem=15M258
1329.96
1329.96 search
1329.96 run=29 nbConstraintChecks=9425574282 nbPropagations=328173094 nbRevisions=7207811090
1329.96 nbUselessRevisions=6317938373 nbAssignments=6019711 nbFailedAssignments=2932993 nbBacktracks=3086536
1329.96 nbVisitedNodes=11203919 nbRestartNogoods=331
1329.96 => wckTime=1329.139 cpuTime=1317.22 mem=15M258
1329.96
1329.96 global
1329.96 nbConstraintChecks=9425637831 nbPropagations=328173828 nbRevisions=7207818749 nbUselessRevisions=6317945140
1329.96 nbRestartNogoods=331 solvingWckTime=1329.141 solvingCpuTime=1317.22 expiredTime=no totalExploration=yes
1329.96 nbFoundSolutions=0 globalCpuTime=1317.64
1329.96 => wckTime=1329.662 cpuTime=1317.59 mem=15M258
1329.96
1329.96 s UNSATISFIABLE
1329.96 d NODES 6019711
1329.96 d CHECKS 9425637831
1329.96
1329.96 totalWckTime=1329.739 totalCpuTime=1317.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-208093-1168185045 -o ROOT/results/node20/solver-208093-1168185045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208093-1168185045/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: 0.92 0.98 1.21 4/81 25074
/proc/meminfo: memFree=1505232/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=1784 CPUtime=0
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 166899031 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/25073/statm: 446 136 102 14 0 91 0
[startup+0.105865 s]
/proc/loadavg: 0.92 0.98 1.21 4/81 25074
/proc/meminfo: memFree=1505232/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=914988 CPUtime=0.08
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 3008 0 1 0 7 1 0 0 23 0 8 0 166899031 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228747 2754 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513912 s]
/proc/loadavg: 0.92 0.98 1.21 4/81 25074
/proc/meminfo: memFree=1505232/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915328 CPUtime=0.49
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 7249 0 1 0 44 5 0 0 25 0 8 0 166899031 937295872 6988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228832 6988 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33601 s]
/proc/loadavg: 0.92 0.98 1.21 3/101 25095
/proc/meminfo: memFree=1469296/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1.3
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 8992 0 1 0 123 7 0 0 25 0 8 0 166899031 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8730 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 17 0 8 0 166899035 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.21
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 166899039 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8730 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+2.98821 s]
/proc/loadavg: 0.92 0.98 1.21 3/101 25095
/proc/meminfo: memFree=1468848/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=2.95
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9000 0 1 0 287 8 0 0 25 0 8 0 166899031 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8737 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 17 0 8 0 166899035 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.2826 s]
/proc/loadavg: 1.01 1.00 1.21 3/101 25095
/proc/meminfo: memFree=1468784/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=6.22
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9001 0 1 0 614 8 0 0 25 0 8 0 166899031 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8737 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7614 s]
/proc/loadavg: 1.09 1.02 1.21 3/101 25095
/proc/meminfo: memFree=1468792/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=12.67
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9001 0 1 0 1259 8 0 0 25 0 8 0 166899031 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8737 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915456
[startup+25.6009 s]
/proc/loadavg: 1.29 1.06 1.23 3/101 25095
/proc/meminfo: memFree=1468792/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=25.45
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9001 0 1 0 2537 8 0 0 25 0 8 0 166899031 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8737 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.301 s]
/proc/loadavg: 1.53 1.14 1.25 3/101 25095
/proc/meminfo: memFree=1468792/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=51
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9003 0 1 0 5091 9 0 0 25 0 8 0 166899031 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8738 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915456
[startup+102.601 s]
/proc/loadavg: 1.87 1.29 1.29 3/101 25095
/proc/meminfo: memFree=1468856/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=102.02
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9003 0 1 0 10193 9 0 0 25 0 8 0 166899031 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8738 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.22
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 915456
[startup+162.636 s]
/proc/loadavg: 1.95 1.41 1.33 3/101 25095
/proc/meminfo: memFree=1468792/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=161.74
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9003 0 1 0 16165 9 0 0 25 0 8 0 166899031 937426944 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.55
Current children cumulated vsize (KiB) 915456
[startup+943.191 s]
/proc/loadavg: 2.11 2.00 1.72 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=935.01
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 93479 22 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800247 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 935.01
Current children cumulated vsize (KiB) 915456
[startup+1003.23 s]
/proc/loadavg: 2.04 2.00 1.73 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=994.5
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 99427 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.5
Current children cumulated vsize (KiB) 915456
[startup+1063.26 s]
/proc/loadavg: 2.01 2.00 1.75 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1053.95
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 105372 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1053.95
Current children cumulated vsize (KiB) 915456
[startup+1123.31 s]
/proc/loadavg: 2.00 2.00 1.76 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1113.41
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 111318 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.41
Current children cumulated vsize (KiB) 915456
[startup+1183.36 s]
/proc/loadavg: 2.00 2.00 1.77 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1172.89
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 117266 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1172.89
Current children cumulated vsize (KiB) 915456
[startup+1243.39 s]
/proc/loadavg: 2.00 2.00 1.78 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1232.35
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 123212 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.35
Current children cumulated vsize (KiB) 915456
[startup+1303.43 s]
/proc/loadavg: 2.00 2.00 1.79 3/101 25293
/proc/meminfo: memFree=1468536/2055920 swapFree=4170192/4192956
[pid=25073] ppid=25070 vsize=915456 CPUtime=1291.79
/proc/25073/stat : 25073 (java) R 25070 25073 24930 0 -1 0 9004 0 1 0 129156 23 0 0 25 0 8 0 166899031 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25073/statm: 228864 8739 2524 14 0 215334 0
[pid=25073/tid=25081] ppid=25070 vsize=915456 CPUtime=0.03
/proc/25073/task/25081/stat : 25081 (java) S 25070 25073 24930 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 166899035 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25083] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25083/stat : 25083 (java) S 25070 25073 24930 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25084] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25084/stat : 25084 (java) S 25070 25073 24930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166899036 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25088] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25088/stat : 25088 (java) S 25070 25073 24930 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25089] ppid=25070 vsize=915456 CPUtime=0.23
/proc/25073/task/25089/stat : 25089 (java) S 25070 25073 24930 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25090] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25090/stat : 25090 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25073/tid=25091] ppid=25070 vsize=915456 CPUtime=0
/proc/25073/task/25091/stat : 25091 (java) S 25070 25073 24930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166899039 937426944 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1291.79
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1330.01
CPU time (s): 1318.13
CPU user time (s): 1317.88
CPU system time (s): 0.244962
CPU usage (%): 99.1064
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1317.88
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9013
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= 28068
involuntary context switches= 74741
runsolver used 1.54076 s user time and 4.07338 s system time
The end
Begin job on node20 on Sun Jan 7 15:50:45 UTC 2007
IDJOB= 208093
IDBENCH= 4352
FILE ID= node20/208093-1168185045
PBS_JOBID= 3479230
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208093-1168185045/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-208093-1168185045 -o ROOT/results/node20/solver-208093-1168185045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208093-1168185045/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0e87c6c27c1f9bb5bfcab323b377dfc4
RANDOM SEED= 841536113
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.216
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.216
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: 1505712 kB
Buffers: 51184 kB
Cached: 406244 kB
SwapCached: 3612 kB
Active: 82452 kB
Inactive: 404776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1505712 kB
SwapTotal: 4192956 kB
SwapFree: 4170192 kB
Dirty: 2700 kB
Writeback: 0 kB
Mapped: 44284 kB
Slab: 47924 kB
Committed_AS: 3334612 kB
PageTables: 2220 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= 66556 MiB
End job on node20 on Sun Jan 7 16:12:55 UTC 2007