0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/207990-1168184016/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.47 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.47
0.47 relations being loaded...
0.59
0.59 constraints being loaded...
0.72 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=941 maxDegree=25
0.72 maxArity=2
0.72 => wckTime=0.346 cpuTime=0.26 mem=14M786
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.549 cpuTime=0.39 mem=15M258
0.97
0.97 preprocessing
0.97 nbConstraintChecks=61461 nbPropagations=722 nbRevisions=7216 nbUselessRevisions=6351 nbSingletonTests=35
0.97 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.051 cpuTime=0.04 mem=15M258
1.00
1.00 search
1.00 run=0 nbConstraintChecks=43044 nbPropagations=1224 nbRevisions=16261 nbUselessRevisions=14277 nbAssignments=26
1.00 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.079 cpuTime=0.06 mem=15M258
1.02
1.02 search
1.03 run=1 nbConstraintChecks=96401 nbPropagations=3005 nbRevisions=42815 nbUselessRevisions=37510 nbAssignments=59
1.03 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=102 nbRestartNogoods=3 mapSize=24 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.102 cpuTime=0.07 mem=15M258
1.05
1.05 search
1.05 run=2 nbConstraintChecks=164671 nbPropagations=5552 nbRevisions=83687 nbUselessRevisions=73207
1.05 nbAssignments=105 nbFailedAssignments=41 nbBacktracks=47 nbVisitedNodes=183 nbRestartNogoods=6 mapSize=45
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.124 cpuTime=0.09 mem=15M258
1.07
1.07 search
1.07 run=3 nbConstraintChecks=272951 nbPropagations=9225 nbRevisions=147178 nbUselessRevisions=128693
1.07 nbAssignments=176 nbFailedAssignments=74 nbBacktracks=80 nbVisitedNodes=311 nbRestartNogoods=9 mapSize=78
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.152 cpuTime=0.12 mem=15M258
1.11
1.11 search
1.11 run=4 nbConstraintChecks=441300 nbPropagations=14668 nbRevisions=247056 nbUselessRevisions=216009
1.11 nbAssignments=290 nbFailedAssignments=131 nbBacktracks=132 nbVisitedNodes=520 nbRestartNogoods=14 mapSize=130
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.185 cpuTime=0.15 mem=15M258
1.16
1.16 search
1.16 run=5 nbConstraintChecks=649752 nbPropagations=22301 nbRevisions=392466 nbUselessRevisions=343144
1.16 nbAssignments=436 nbFailedAssignments=196 nbBacktracks=207 nbVisitedNodes=781 nbRestartNogoods=18 mapSize=199
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.238 cpuTime=0.19 mem=15M258
1.22
1.22 search
1.22 run=6 nbConstraintChecks=960899 nbPropagations=33295 nbRevisions=605833 nbUselessRevisions=529714
1.22 nbAssignments=653 nbFailedAssignments=293 nbBacktracks=321 nbVisitedNodes=1183 nbRestartNogoods=25 mapSize=311
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.3 cpuTime=0.25 mem=15M258
1.32
1.32 search
1.32 run=7 nbConstraintChecks=1500063 nbPropagations=49800 nbRevisions=938425 nbUselessRevisions=820473
1.32 nbAssignments=1001 nbFailedAssignments=465 nbBacktracks=491 nbVisitedNodes=1832 nbRestartNogoods=31
1.32 mapSize=479 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.401 cpuTime=0.35 mem=15M258
1.47
1.47 search
1.47 run=8 nbConstraintChecks=2213576 nbPropagations=73908 nbRevisions=1432686 nbUselessRevisions=1252811
1.47 nbAssignments=1496 nbFailedAssignments=697 nbBacktracks=748 nbVisitedNodes=2743 nbRestartNogoods=37
1.47 mapSize=730 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.545 cpuTime=0.49 mem=15M258
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M258)
1.67
1.67 search
1.67 run=9 nbConstraintChecks=3341526 nbPropagations=109757 nbRevisions=2178174 nbUselessRevisions=1904661
1.67 nbAssignments=2266 nbFailedAssignments=1076 nbBacktracks=1133 nbVisitedNodes=4174 nbRestartNogoods=43
1.67 => wckTime=0.751 cpuTime=0.68 mem=15M258
1.96
1.96 search
1.96 run=10 nbConstraintChecks=5032054 nbPropagations=163009 nbRevisions=3300135 nbUselessRevisions=2886014
1.96 nbAssignments=3388 nbFailedAssignments=1618 nbBacktracks=1710 nbVisitedNodes=6262 nbRestartNogoods=48
1.96 => wckTime=1.033 cpuTime=0.95 mem=15M258
2.37
2.37 search
2.37 run=11 nbConstraintChecks=7641636 nbPropagations=243071 nbRevisions=5006910 nbUselessRevisions=4379896
2.37 nbAssignments=5086 nbFailedAssignments=2447 nbBacktracks=2575 nbVisitedNodes=9423 nbRestartNogoods=53
2.37 => wckTime=1.445 cpuTime=1.35 mem=15M258
2.97
2.97 search
2.97 run=12 nbConstraintChecks=11534687 nbPropagations=362689 nbRevisions=7578133 nbUselessRevisions=6630571
2.98 nbAssignments=7639 nbFailedAssignments=3697 nbBacktracks=3873 nbVisitedNodes=14165 nbRestartNogoods=61
2.98 => wckTime=2.052 cpuTime=1.96 mem=15M258
3.84
3.84 search
3.84 run=13 nbConstraintChecks=17079889 nbPropagations=539866 nbRevisions=11386414 nbUselessRevisions=9963036
3.84 nbAssignments=11375 nbFailedAssignments=5481 nbBacktracks=5821 nbVisitedNodes=21075 nbRestartNogoods=72
3.84 => wckTime=2.918 cpuTime=2.81 mem=15M258
5.20
5.20 search
5.20 run=14 nbConstraintChecks=25702264 nbPropagations=805431 nbRevisions=17113562 nbUselessRevisions=14974692
5.20 nbAssignments=17061 nbFailedAssignments=8243 nbBacktracks=8740 nbVisitedNodes=31614 nbRestartNogoods=81
5.20 => wckTime=4.281 cpuTime=4.16 mem=15M258
7.27
7.27 search
7.27 run=15 nbConstraintChecks=38923388 nbPropagations=1204837 nbRevisions=25754450 nbUselessRevisions=22538099
7.27 nbAssignments=25554 nbFailedAssignments=12352 nbBacktracks=13118 nbVisitedNodes=47424 nbRestartNogoods=97
7.27 => wckTime=6.345 cpuTime=6.21 mem=15M258
10.26
10.26 search
10.26 run=16 nbConstraintChecks=57918578 nbPropagations=1801795 nbRevisions=38690968 nbUselessRevisions=33867425
10.26 nbAssignments=38290 nbFailedAssignments=18513 nbBacktracks=19686 nbVisitedNodes=71119 nbRestartNogoods=108
10.26 => wckTime=9.338 cpuTime=9.17 mem=15M258
14.76
14.76 search
14.76 run=17 nbConstraintChecks=86543386 nbPropagations=2692952 nbRevisions=58045289 nbUselessRevisions=50821136
14.76 nbAssignments=57180 nbFailedAssignments=27545 nbBacktracks=29538 nbVisitedNodes=106210 nbRestartNogoods=124
14.76 => wckTime=13.84 cpuTime=13.63 mem=15M258
21.39
21.39 search
21.39 run=18 nbConstraintChecks=129211280 nbPropagations=4023737 nbRevisions=86971779 nbUselessRevisions=76164332
21.39 nbAssignments=85588 nbFailedAssignments=41169 nbBacktracks=44318 nbVisitedNodes=158862 nbRestartNogoods=136
21.39 => wckTime=20.464 cpuTime=20.2 mem=15M258
31.57
31.57 search
31.57 run=19 nbConstraintChecks=193640994 nbPropagations=6020527 nbRevisions=130344392 nbUselessRevisions=114156990
31.57 nbAssignments=128674 nbFailedAssignments=62081 nbBacktracks=66486 nbVisitedNodes=238907 nbRestartNogoods=148
31.57 => wckTime=30.645 cpuTime=30.29 mem=15M258
46.87
46.88 search
46.88 run=20 nbConstraintChecks=291520055 nbPropagations=9021889 nbRevisions=195585823 nbUselessRevisions=171305520
46.88 nbAssignments=193106 nbFailedAssignments=93257 nbBacktracks=99738 nbVisitedNodes=358711 nbRestartNogoods=165
46.88 => wckTime=45.953 cpuTime=45.46 mem=15M258
69.54
69.54 search
69.54 run=21 nbConstraintChecks=435714352 nbPropagations=13515911 nbRevisions=293311054 nbUselessRevisions=256937408
69.54 nbAssignments=289235 nbFailedAssignments=139502 nbBacktracks=149617 nbVisitedNodes=537393 nbRestartNogoods=173
69.54 => wckTime=68.619 cpuTime=67.92 mem=15M258
103.60
103.60 search
103.60 run=22 nbConstraintChecks=654969374 nbPropagations=20263655 nbRevisions=440069685 nbUselessRevisions=385516738
103.60 nbAssignments=434544 nbFailedAssignments=209988 nbBacktracks=224435 nbVisitedNodes=807422 nbRestartNogoods=192
103.60 => wckTime=102.674 cpuTime=101.69 mem=15M258
155.65
155.65 search
155.65 run=23 nbConstraintChecks=983975384 nbPropagations=30380539 nbRevisions=660352081 nbUselessRevisions=578538125
155.65 nbAssignments=651777 nbFailedAssignments=314988 nbBacktracks=336663 nbVisitedNodes=1210877 nbRestartNogoods=216
155.65 => wckTime=154.725 cpuTime=153.27 mem=15M258
235.70
235.70 search
235.70 run=24 nbConstraintChecks=1491203944 nbPropagations=45634074 nbRevisions=993592259 nbUselessRevisions=870577874
235.71 nbAssignments=980662 nbFailedAssignments=475528 nbBacktracks=505005 nbVisitedNodes=1823188 nbRestartNogoods=237
235.71 => wckTime=234.782 cpuTime=232.58 mem=15M258
355.33
355.33 search
355.33 run=25 nbConstraintChecks=2248139475 nbPropagations=68553063 nbRevisions=1495128812
355.33 nbUselessRevisions=1310193928 nbAssignments=1471604 nbFailedAssignments=713954 nbBacktracks=757517
355.33 nbVisitedNodes=2736030 nbRestartNogoods=251
355.33 => wckTime=354.412 cpuTime=351.04 mem=15M258
535.81
535.82 search
535.82 run=26 nbConstraintChecks=3389035111 nbPropagations=103028131 nbRevisions=2250227711
535.82 nbUselessRevisions=1972052433 nbAssignments=2209383 nbFailedAssignments=1072961 nbBacktracks=1136285
535.82 nbVisitedNodes=4108599 nbRestartNogoods=266
535.82 => wckTime=534.892 cpuTime=529.05 mem=15M258
810.65
810.65 search
810.65 run=27 nbConstraintChecks=5137523539 nbPropagations=155010190 nbRevisions=3392152799
810.65 nbUselessRevisions=2973021269 nbAssignments=3319510 nbFailedAssignments=1614933 nbBacktracks=1704436
810.65 nbVisitedNodes=6175648 nbRestartNogoods=289
810.65 => wckTime=809.73 cpuTime=800.03 mem=15M258
1228.54
1228.54 search
1228.54 run=28 nbConstraintChecks=7792668496 nbPropagations=233353977 nbRevisions=5120308454
1228.54 nbUselessRevisions=4488180708 nbAssignments=4985449 nbFailedAssignments=2428641 nbBacktracks=2556663
1228.54 nbVisitedNodes=9277557 nbRestartNogoods=306
1228.54 => wckTime=1227.616 cpuTime=1213.01 mem=15M258
1352.69
1352.69 search
1352.69 run=29 nbConstraintChecks=8587641664 nbPropagations=319530154 nbRevisions=7023726514
1352.69 nbUselessRevisions=6157149188 nbAssignments=5479114 nbFailedAssignments=2670156 nbBacktracks=2808814
1352.69 nbVisitedNodes=10196473 nbRestartNogoods=331
1352.69 => wckTime=1351.766 cpuTime=1336.46 mem=15M258
1352.69
1352.69 global
1352.69 nbConstraintChecks=8587703125 nbPropagations=319530876 nbRevisions=7023733730 nbUselessRevisions=6157155539
1352.69 nbRestartNogoods=331 solvingWckTime=1351.768 solvingCpuTime=1336.46 expiredTime=no totalExploration=yes
1352.69 nbFoundSolutions=0 globalCpuTime=1336.9
1352.69 => wckTime=1352.32 cpuTime=1336.85 mem=15M258
1352.70
1352.70 s UNSATISFIABLE
1352.70 d NODES 5479114
1352.70 d CHECKS 8587703125
1352.70
1352.70 totalWckTime=1352.403 totalCpuTime=1336.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-207990-1168184016 -o ROOT/results/node7/solver-207990-1168184016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207990-1168184016/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/89 23224
/proc/meminfo: memFree=1537024/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=18540 CPUtime=0
/proc/23223/stat : 23223 (runsolver) R 23221 23223 22692 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166797118 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23223/statm: 4635 279 244 17 0 2626 0
[startup+0.107872 s]
/proc/loadavg: 1.92 1.98 1.99 4/89 23224
/proc/meminfo: memFree=1537024/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=907676 CPUtime=0.03
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 2263 0 1 0 3 0 0 0 17 0 4 0 166797118 929460224 2010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155083485 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 226919 2010 1136 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515913 s]
/proc/loadavg: 1.92 1.98 1.99 4/89 23224
/proc/meminfo: memFree=1537024/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915328 CPUtime=0.43
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 6294 0 1 0 40 3 0 0 18 0 8 0 166797118 937295872 6033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228832 6033 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.337 s]
/proc/loadavg: 1.92 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511944/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1.24
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 8983 0 1 0 119 5 0 0 24 0 8 0 166797118 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8721 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.21
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 166797131 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.97817 s]
/proc/loadavg: 1.92 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511880/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=2.87
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9000 0 1 0 282 5 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.24
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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.87
Current children cumulated vsize (KiB) 915456
[startup+6.18354 s]
/proc/loadavg: 1.93 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511816/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=6.04
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9001 0 1 0 599 5 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.24
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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.04
Current children cumulated vsize (KiB) 915456
[startup+12.6522 s]
/proc/loadavg: 1.93 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511752/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=12.45
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9001 0 1 0 1240 5 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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.45
Current children cumulated vsize (KiB) 915456
[startup+25.5085 s]
/proc/loadavg: 1.95 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511816/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=25.21
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9002 0 1 0 2515 6 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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.21
Current children cumulated vsize (KiB) 915456
[startup+51.1192 s]
/proc/loadavg: 1.96 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511880/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=50.58
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9002 0 1 0 5052 6 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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) 50.58
Current children cumulated vsize (KiB) 915456
[startup+102.33 s]
/proc/loadavg: 1.98 1.98 1.99 3/96 23231
/proc/meminfo: memFree=1511880/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=101.36
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9002 0 1 0 10129 7 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8737 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 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) 101.36
Current children cumulated vsize (KiB) 915456
[startup+162.396 s]
/proc/loadavg: 2.11 2.01 2.00 3/105 23287
/proc/meminfo: memFree=1500224/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=160.88
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9002 0 1 0 16080 8 0 0 25 0 8 0 166797118 937426944 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 872.69
Current children cumulated vsize (KiB) 915456
[startup+943.482 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367872/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=932.17
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 93203 14 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 932.17
Current children cumulated vsize (KiB) 915456
[startup+1003.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367808/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=991.46
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 99132 14 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 991.46
Current children cumulated vsize (KiB) 915456
[startup+1063.67 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367744/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1050.94
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 105080 14 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1050.94
Current children cumulated vsize (KiB) 915456
[startup+1123.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367744/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1110.29
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 111014 15 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1110.29
Current children cumulated vsize (KiB) 915456
[startup+1183.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367680/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1169.79
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 116964 15 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1169.79
Current children cumulated vsize (KiB) 915456
[startup+1243.95 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 23287
/proc/meminfo: memFree=1367616/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1229.15
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 122899 16 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1229.15
Current children cumulated vsize (KiB) 915456
[startup+1304.01 s]
/proc/loadavg: 2.05 2.01 2.00 3/105 23287
/proc/meminfo: memFree=1367552/2055920 swapFree=4192812/4192956
[pid=23223] ppid=23221 vsize=915456 CPUtime=1288.93
/proc/23223/stat : 23223 (java) R 23221 23223 22692 0 -1 0 9003 0 1 0 128877 16 0 0 25 0 8 0 166797118 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23223/statm: 228864 8738 2524 14 0 215334 0
[pid=23223/tid=23225] ppid=23221 vsize=915456 CPUtime=0.03
/proc/23223/task/23225/stat : 23225 (java) S 23221 23223 22692 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166797127 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23226] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22692 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23227] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22692 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166797128 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23228] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23229] ppid=23221 vsize=915456 CPUtime=0.25
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22692 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23230] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22692 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23223/tid=23231] ppid=23221 vsize=915456 CPUtime=0
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22692 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166797131 937426944 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1288.93
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1353
CPU time (s): 1337.4
CPU user time (s): 1337.23
CPU system time (s): 0.175973
CPU usage (%): 98.8473
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1337.23
system time used= 0.175973
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= 28465
involuntary context switches= 57365
runsolver used 2.0037 s user time and 7.2139 s system time
The end
Begin job on node7 on Sun Jan 7 15:33:37 UTC 2007
IDJOB= 207990
IDBENCH= 4348
FILE ID= node7/207990-1168184016
PBS_JOBID= 3478902
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-60021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207990-1168184016/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-207990-1168184016 -o ROOT/results/node7/solver-207990-1168184016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207990-1168184016/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 80893c07fc9c8f130d0db081ff853b98
RANDOM SEED= 935428649
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.220
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.220
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: 1537440 kB
Buffers: 68296 kB
Cached: 260756 kB
SwapCached: 0 kB
Active: 242356 kB
Inactive: 219980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1537440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 153572 kB
Slab: 40740 kB
Committed_AS: 4842004 kB
PageTables: 2488 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= 66550 MiB
End job on node7 on Sun Jan 7 15:56:19 UTC 2007