0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208065-1168184497/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=940 maxDegree=25
0.67 maxArity=2
0.67 => wckTime=0.35 cpuTime=0.26 mem=14M786
0.71
0.71 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.56 cpuTime=0.4 mem=15M258
0.93
0.93 preprocessing
0.93 nbConstraintChecks=64226 nbPropagations=773 nbRevisions=8448 nbUselessRevisions=7468 nbSingletonTests=40
0.93 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.05 cpuTime=0.03 mem=15M258
0.96
0.96 search
0.96 run=0 nbConstraintChecks=32749 nbPropagations=1159 nbRevisions=14631 nbUselessRevisions=12849 nbAssignments=23
0.96 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.075 cpuTime=0.05 mem=15M258
0.97
0.97 search
0.97 run=1 nbConstraintChecks=90001 nbPropagations=2931 nbRevisions=40739 nbUselessRevisions=35657 nbAssignments=60
0.97 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.092 cpuTime=0.06 mem=15M258
1.00
1.00 search
1.00 run=2 nbConstraintChecks=159849 nbPropagations=5485 nbRevisions=81844 nbUselessRevisions=71548
1.00 nbAssignments=115 nbFailedAssignments=49 nbBacktracks=51 nbVisitedNodes=197 nbRestartNogoods=3 mapSize=48
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.119 cpuTime=0.08 mem=15M258
1.03
1.03 search
1.03 run=3 nbConstraintChecks=283044 nbPropagations=9291 nbRevisions=148424 nbUselessRevisions=129651
1.03 nbAssignments=194 nbFailedAssignments=89 nbBacktracks=84 nbVisitedNodes=341 nbRestartNogoods=6 mapSize=81
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.148 cpuTime=0.11 mem=15M258
1.06
1.06 search
1.06 run=4 nbConstraintChecks=441314 nbPropagations=14798 nbRevisions=250052 nbUselessRevisions=218342
1.06 nbAssignments=304 nbFailedAssignments=143 nbBacktracks=134 nbVisitedNodes=542 nbRestartNogoods=11 mapSize=131
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.18 cpuTime=0.14 mem=15M258
1.10
1.10 search
1.10 run=5 nbConstraintChecks=635799 nbPropagations=22475 nbRevisions=395926 nbUselessRevisions=345829
1.10 nbAssignments=442 nbFailedAssignments=201 nbBacktracks=209 nbVisitedNodes=791 nbRestartNogoods=13 mapSize=200
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.224 cpuTime=0.18 mem=15M258
1.17
1.17 search
1.17 run=6 nbConstraintChecks=950886 nbPropagations=33600 nbRevisions=612034 nbUselessRevisions=534354
1.17 nbAssignments=679 nbFailedAssignments=320 nbBacktracks=323 nbVisitedNodes=1222 nbRestartNogoods=16 mapSize=314
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.291 cpuTime=0.24 mem=15M258
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1479083 nbPropagations=50229 nbRevisions=945976 nbUselessRevisions=826022
1.27 nbAssignments=1018 nbFailedAssignments=482 nbBacktracks=494 nbVisitedNodes=1856 nbRestartNogoods=18
1.27 mapSize=483 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.388 cpuTime=0.33 mem=15M258
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2198360 nbPropagations=74476 nbRevisions=1442306 nbUselessRevisions=1260179
1.41 nbAssignments=1511 nbFailedAssignments=713 nbBacktracks=750 nbVisitedNodes=2763 nbRestartNogoods=26
1.41 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.533 cpuTime=0.47 mem=15M258
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M258)
1.61
1.61 search
1.61 run=9 nbConstraintChecks=3297872 nbPropagations=110464 nbRevisions=2190887 nbUselessRevisions=1916163
1.61 nbAssignments=2256 nbFailedAssignments=1067 nbBacktracks=1134 nbVisitedNodes=4141 nbRestartNogoods=29
1.61 => wckTime=0.725 cpuTime=0.65 mem=15M258
1.87
1.87 search
1.87 run=10 nbConstraintChecks=4903515 nbPropagations=163778 nbRevisions=3300372 nbUselessRevisions=2887263
1.87 nbAssignments=3391 nbFailedAssignments=1606 nbBacktracks=1713 nbVisitedNodes=6219 nbRestartNogoods=38
1.87 => wckTime=0.994 cpuTime=0.91 mem=15M258
2.27
2.27 search
2.27 run=11 nbConstraintChecks=7366772 nbPropagations=242895 nbRevisions=4964747 nbUselessRevisions=4344673
2.27 nbAssignments=5070 nbFailedAssignments=2415 nbBacktracks=2577 nbVisitedNodes=9334 nbRestartNogoods=44
2.27 => wckTime=1.387 cpuTime=1.29 mem=15M258
2.84
2.84 search
2.84 run=12 nbConstraintChecks=11155718 nbPropagations=360620 nbRevisions=7465121 nbUselessRevisions=6533325
2.84 nbAssignments=7557 nbFailedAssignments=3599 nbBacktracks=3874 nbVisitedNodes=13921 nbRestartNogoods=61
2.84 => wckTime=1.961 cpuTime=1.86 mem=15M258
3.70
3.70 search
3.70 run=13 nbConstraintChecks=16616602 nbPropagations=536048 nbRevisions=11203638 nbUselessRevisions=9808020
3.70 nbAssignments=11299 nbFailedAssignments=5377 nbBacktracks=5820 nbVisitedNodes=20830 nbRestartNogoods=73
3.70 => wckTime=2.821 cpuTime=2.71 mem=15M258
4.98
4.98 search
4.98 run=14 nbConstraintChecks=24863955 nbPropagations=797991 nbRevisions=16787511 nbUselessRevisions=14695639
4.98 nbAssignments=16966 nbFailedAssignments=8120 nbBacktracks=8739 nbVisitedNodes=31335 nbRestartNogoods=82
4.98 => wckTime=4.101 cpuTime=3.98 mem=15M258
6.86
6.86 search
6.86 run=15 nbConstraintChecks=36745026 nbPropagations=1187038 nbRevisions=25060904 nbUselessRevisions=21934655
6.86 nbAssignments=25349 nbFailedAssignments=12119 nbBacktracks=13117 nbVisitedNodes=46823 nbRestartNogoods=90
6.86 => wckTime=5.975 cpuTime=5.83 mem=15M258
9.78
9.78 search
9.78 run=16 nbConstraintChecks=55695362 nbPropagations=1773091 nbRevisions=37604870 nbUselessRevisions=32914517
9.78 nbAssignments=38071 nbFailedAssignments=18268 nbBacktracks=19685 nbVisitedNodes=70449 nbRestartNogoods=98
9.78 => wckTime=8.903 cpuTime=8.74 mem=15M258
14.23
14.23 search
14.23 run=17 nbConstraintChecks=84884670 nbPropagations=2657553 nbRevisions=56634060 nbUselessRevisions=49571588
14.23 nbAssignments=57224 nbFailedAssignments=27565 nbBacktracks=29537 nbVisitedNodes=106061 nbRestartNogoods=113
14.23 => wckTime=13.347 cpuTime=13.14 mem=15M258
20.87
20.87 search
20.87 run=18 nbConstraintChecks=128192588 nbPropagations=3987894 nbRevisions=85338218 nbUselessRevisions=74703374
20.87 nbAssignments=85836 nbFailedAssignments=41393 nbBacktracks=44315 nbVisitedNodes=159197 nbRestartNogoods=129
20.87 => wckTime=19.994 cpuTime=19.72 mem=15M258
30.83
30.83 search
30.83 run=19 nbConstraintChecks=192808441 nbPropagations=5983102 nbRevisions=128493053 nbUselessRevisions=112493123
30.83 nbAssignments=128605 nbFailedAssignments=61988 nbBacktracks=66485 nbVisitedNodes=238668 nbRestartNogoods=147
30.83 => wckTime=29.95 cpuTime=29.58 mem=15M258
45.23
45.23 search
45.23 run=20 nbConstraintChecks=285396614 nbPropagations=8955225 nbRevisions=192638872 nbUselessRevisions=168671998
45.23 nbAssignments=192493 nbFailedAssignments=92618 nbBacktracks=99737 nbVisitedNodes=357085 nbRestartNogoods=159
45.23 => wckTime=44.349 cpuTime=43.85 mem=15M258
67.70
67.70 search
67.70 run=21 nbConstraintChecks=431828834 nbPropagations=13431037 nbRevisions=289488579 nbUselessRevisions=253502063
67.70 nbAssignments=289016 nbFailedAssignments=139245 nbBacktracks=149617 nbVisitedNodes=536436 nbRestartNogoods=172
67.70 => wckTime=66.816 cpuTime=66.11 mem=15M258
100.96
100.96 search
100.96 run=22 nbConstraintChecks=647960574 nbPropagations=20138982 nbRevisions=434671361 nbUselessRevisions=380664572
100.96 nbAssignments=432810 nbFailedAssignments=208215 nbBacktracks=224435 nbVisitedNodes=803376 nbRestartNogoods=185
100.96 => wckTime=100.078 cpuTime=99.07 mem=15M258
151.66
151.66 search
151.66 run=23 nbConstraintChecks=979804989 nbPropagations=30222879 nbRevisions=653596422 nbUselessRevisions=572449186
151.66 nbAssignments=649330 nbFailedAssignments=312502 nbBacktracks=336663 nbVisitedNodes=1205230 nbRestartNogoods=199
151.66 => wckTime=150.783 cpuTime=149.3 mem=15M258
227.96
227.96 search
227.96 run=24 nbConstraintChecks=1477650352 nbPropagations=45391236 nbRevisions=983733189 nbUselessRevisions=861712324
227.96 nbAssignments=976338 nbFailedAssignments=471163 nbBacktracks=505005 nbVisitedNodes=1813372 nbRestartNogoods=225
227.96 => wckTime=227.08 cpuTime=224.91 mem=15M258
342.02
342.02 search
342.02 run=25 nbConstraintChecks=2221791977 nbPropagations=68152975 nbRevisions=1479597904
342.02 nbUselessRevisions=1296239315 nbAssignments=1464674 nbFailedAssignments=706981 nbBacktracks=757517
342.02 nbVisitedNodes=2720298 nbRestartNogoods=241
342.02 => wckTime=341.141 cpuTime=337.92 mem=15M258
513.83
513.83 search
513.83 run=26 nbConstraintChecks=3342567989 nbPropagations=102343617 nbRevisions=2225711383
513.83 nbUselessRevisions=1950207945 nbAssignments=2198991 nbFailedAssignments=1062526 nbBacktracks=1136284
513.83 nbVisitedNodes=4084993 nbRestartNogoods=264
513.83 => wckTime=512.949 cpuTime=508.14 mem=15M258
776.86
776.86 search
776.86 run=27 nbConstraintChecks=5071609276 nbPropagations=153913999 nbRevisions=3355763476
776.86 nbUselessRevisions=2940899471 nbAssignments=3304102 nbFailedAssignments=1599483 nbBacktracks=1704435
776.86 nbVisitedNodes=6140793 nbRestartNogoods=284
776.86 => wckTime=775.979 cpuTime=768.83 mem=15M258
1167.65
1167.65 search
1167.65 run=28 nbConstraintChecks=7687615182 nbPropagations=231595591 nbRevisions=5064542724
1167.65 nbUselessRevisions=4439320093 nbAssignments=4961414 nbFailedAssignments=2404563 nbBacktracks=2556661
1167.65 nbVisitedNodes=9223491 nbRestartNogoods=314
1167.65 => wckTime=1166.771 cpuTime=1159.13 mem=15M258
1363.40
1363.40 search
1363.40 run=29 nbConstraintChecks=9005668925 nbPropagations=322294792 nbRevisions=7064037649
1363.40 nbUselessRevisions=6192865607 nbAssignments=5782824 nbFailedAssignments=2805169 nbBacktracks=2977466
1363.40 nbVisitedNodes=10752334 nbRestartNogoods=328
1363.40 => wckTime=1362.52 cpuTime=1354.67 mem=15M258
1363.40
1363.40 global
1363.40 nbConstraintChecks=9005733151 nbPropagations=322295565 nbRevisions=7064046097 nbUselessRevisions=6192873075
1363.40 nbRestartNogoods=328 solvingWckTime=1362.521 solvingCpuTime=1354.68 expiredTime=no totalExploration=yes
1363.40 nbFoundSolutions=0 globalCpuTime=1355.13
1363.40 => wckTime=1363.084 cpuTime=1355.08 mem=15M258
1363.41
1363.41 s UNSATISFIABLE
1363.41 d NODES 5782824
1363.41 d CHECKS 9005733151
1363.41
1363.41 totalWckTime=1363.168 totalCpuTime=1355.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-208065-1168184497 -o ROOT/results/node2/solver-208065-1168184497 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208065-1168184497/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.99 4/88 10254
/proc/meminfo: memFree=1439224/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=1784 CPUtime=0
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 166845356 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10253/statm: 446 140 106 14 0 91 0
[startup+0.105024 s]
/proc/loadavg: 1.92 1.98 1.99 4/88 10254
/proc/meminfo: memFree=1439224/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=914988 CPUtime=0.08
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 2995 0 1 0 7 1 0 0 20 0 8 0 166845356 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516098 s]
/proc/loadavg: 1.92 1.98 1.99 4/88 10254
/proc/meminfo: memFree=1439224/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915328 CPUtime=0.49
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 6929 0 1 0 46 3 0 0 18 0 8 0 166845356 937295872 6668 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228832 6668 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34425 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1414144/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1.3
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 8984 0 1 0 125 5 0 0 24 0 8 0 166845356 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8722 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.21
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 166845364 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98154 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1414016/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=2.93
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9001 0 1 0 287 6 0 0 25 0 8 0 166845356 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8737 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 166845360 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.28015 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1413888/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=6.2
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9001 0 1 0 614 6 0 0 25 0 8 0 166845356 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8737 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7573 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1413824/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=12.62
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9001 0 1 0 1256 6 0 0 25 0 8 0 166845356 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8737 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.6157 s]
/proc/loadavg: 1.95 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1413184/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=25.36
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9002 0 1 0 2530 6 0 0 25 0 8 0 166845356 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8737 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
[startup+51.2324 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1412608/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=50.73
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 5067 6 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915456
[startup+102.46 s]
/proc/loadavg: 1.98 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1411136/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=101.49
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 10142 7 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915456
[startup+162.522 s]
/proc/loadavg: 1.99 1.98 1.99 3/95 10261
/proc/meminfo: memFree=1408640/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=161
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 16093 7 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 876
Current children cumulated vsize (KiB) 915456
[startup+943.435 s]
/proc/loadavg: 2.03 2.07 2.02 3/95 10261
/proc/meminfo: memFree=1398656/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=935.99
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 93585 14 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 935.99
Current children cumulated vsize (KiB) 915456
[startup+1003.53 s]
/proc/loadavg: 2.01 2.05 2.02 3/95 10261
/proc/meminfo: memFree=1398400/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=996.07
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 99593 14 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 996.07
Current children cumulated vsize (KiB) 915456
[startup+1063.53 s]
/proc/loadavg: 2.00 2.04 2.01 3/95 10261
/proc/meminfo: memFree=1397824/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1056.05
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 105590 15 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.05
Current children cumulated vsize (KiB) 915456
[startup+1123.62 s]
/proc/loadavg: 2.00 2.03 2.00 3/95 10261
/proc/meminfo: memFree=1396672/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1116.13
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 111598 15 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.13
Current children cumulated vsize (KiB) 915456
[startup+1183.73 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10345
/proc/meminfo: memFree=1394680/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1176.12
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 117597 15 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.12
Current children cumulated vsize (KiB) 915456
[startup+1243.75 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10431
/proc/meminfo: memFree=1394512/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1236.03
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 123588 15 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1236.03
Current children cumulated vsize (KiB) 915456
[startup+1303.75 s]
/proc/loadavg: 2.00 2.01 2.00 3/95 10459
/proc/meminfo: memFree=1394496/2055920 swapFree=4191880/4192956
[pid=10253] ppid=10251 vsize=915456 CPUtime=1295.99
/proc/10253/stat : 10253 (java) R 10251 10253 9757 0 -1 0 9003 0 1 0 129583 16 0 0 25 0 8 0 166845356 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10253/statm: 228864 8738 2524 14 0 215334 0
[pid=10253/tid=10255] ppid=10251 vsize=915456 CPUtime=0.03
/proc/10253/task/10255/stat : 10255 (java) S 10251 10253 9757 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166845360 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10256] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10256/stat : 10256 (java) S 10251 10253 9757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10257] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10257/stat : 10257 (java) S 10251 10253 9757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166845361 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10258] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10258/stat : 10258 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10259] ppid=10251 vsize=915456 CPUtime=0.24
/proc/10253/task/10259/stat : 10259 (java) S 10251 10253 9757 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10260] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10260/stat : 10260 (java) S 10251 10253 9757 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10253/tid=10261] ppid=10251 vsize=915456 CPUtime=0
/proc/10253/task/10261/stat : 10261 (java) S 10251 10253 9757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166845364 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.99
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1363.42
CPU time (s): 1355.64
CPU user time (s): 1355.47
CPU system time (s): 0.171973
CPU usage (%): 99.4289
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1355.47
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9011
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= 28703
involuntary context switches= 45690
runsolver used 1.70874 s user time and 4.32534 s system time
The end
Begin job on node2 on Sun Jan 7 15:41:37 UTC 2007
IDJOB= 208065
IDBENCH= 4351
FILE ID= node2/208065-1168184497
PBS_JOBID= 3478927
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208065-1168184497/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-208065-1168184497 -o ROOT/results/node2/solver-208065-1168184497 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208065-1168184497/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a57ec15bafd5ffbff94448e8ac1f288e
RANDOM SEED= 936851027
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.259
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.259
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: 1439704 kB
Buffers: 49888 kB
Cached: 429132 kB
SwapCached: 448 kB
Active: 169096 kB
Inactive: 381092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1439704 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2972 kB
Writeback: 0 kB
Mapped: 90044 kB
Slab: 50740 kB
Committed_AS: 4029868 kB
PageTables: 2412 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= 66330 MiB
End job on node2 on Sun Jan 7 16:04:21 UTC 2007