0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/247477-1168392789/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.40 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
3.93
3.94 INFO : Contraction of relations, mem = 103M208
6.16
6.16 constraints being loaded...
9.47 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
9.47 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=8
9.47 => wckTime=9.167 cpuTime=7.44 mem=229M637
10.30
10.30 solver IterativeSystematicSolver being built...
10.46 => wckTime=10.162 cpuTime=7.58 mem=143M841
10.51
10.51 preprocessing
10.51 nbConstraintChecks=4402 nbValidityChecks=8261 nbPropagations=55 nbRevisions=1027 nbUselessRevisions=988
10.51 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
10.51 => wckTime=0.046 cpuTime=0.03 mem=143M841
10.57
10.57 search
10.57 run=0 nbConstraintChecks=10542 nbValidityChecks=17664 nbPropagations=197 nbRevisions=3383
10.57 nbUselessRevisions=3047 nbAssignments=31 nbFailedAssignments=11 nbBacktracks=14 nbVisitedNodes=51
10.57 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
10.57 => wckTime=0.101 cpuTime=0.08 mem=143M841
10.62
10.62 search
10.62 run=1 nbConstraintChecks=22872 nbValidityChecks=38915 nbPropagations=573 nbRevisions=9644
10.62 nbUselessRevisions=8562 nbAssignments=66 nbFailedAssignments=24 nbBacktracks=29 nbVisitedNodes=109
10.62 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
10.62 => wckTime=0.154 cpuTime=0.12 mem=143M841
10.71
10.71 search
10.71 run=2 nbConstraintChecks=47838 nbValidityChecks=80946 nbPropagations=1282 nbRevisions=21396
10.71 nbUselessRevisions=18787 nbAssignments=129 nbFailedAssignments=57 nbBacktracks=52 nbVisitedNodes=219
10.71 nbRestartNogoods=3 mapSize=44 nbInferences=0 nbTooLargeKeys=0
10.71 => wckTime=0.248 cpuTime=0.21 mem=143M841
10.83
10.83 search
10.83 run=3 nbConstraintChecks=81160 nbValidityChecks=134134 nbPropagations=2415 nbRevisions=39880
10.83 nbUselessRevisions=34836 nbAssignments=204 nbFailedAssignments=91 nbBacktracks=85 nbVisitedNodes=347
10.83 nbRestartNogoods=6 mapSize=72 nbInferences=0 nbTooLargeKeys=0
10.83 => wckTime=0.361 cpuTime=0.32 mem=143M841
10.99
10.99 search
10.99 run=4 nbConstraintChecks=131327 nbValidityChecks=212679 nbPropagations=4239 nbRevisions=68472
10.99 nbUselessRevisions=59555 nbAssignments=315 nbFailedAssignments=144 nbBacktracks=136 nbVisitedNodes=546
10.99 nbRestartNogoods=10 mapSize=117 nbInferences=0 nbTooLargeKeys=0
10.99 => wckTime=0.525 cpuTime=0.48 mem=143M841
11.19
11.19 search
11.19 run=5 nbConstraintChecks=191603 nbValidityChecks=314422 nbPropagations=6889 nbRevisions=110735
11.19 nbUselessRevisions=96218 nbAssignments=477 nbFailedAssignments=209 nbBacktracks=211 nbVisitedNodes=801
11.19 nbRestartNogoods=17 mapSize=173 nbInferences=0 nbTooLargeKeys=0
11.19 => wckTime=0.727 cpuTime=0.68 mem=143M841
11.49
11.49 search
11.49 run=6 nbConstraintChecks=283486 nbValidityChecks=466897 nbPropagations=10855 nbRevisions=173506
11.49 nbUselessRevisions=150314 nbAssignments=719 nbFailedAssignments=331 nbBacktracks=324 nbVisitedNodes=1229
11.49 nbRestartNogoods=21 mapSize=264 nbInferences=0 nbTooLargeKeys=0
11.49 => wckTime=1.02 cpuTime=0.96 mem=143M841
11.86
11.86 search
11.86 run=7 nbConstraintChecks=405159 nbValidityChecks=678383 nbPropagations=16613 nbRevisions=266866
11.86 nbUselessRevisions=230968 nbAssignments=1048 nbFailedAssignments=483 nbBacktracks=496 nbVisitedNodes=1794
11.86 nbRestartNogoods=26 mapSize=397 nbInferences=0 nbTooLargeKeys=0
11.86 => wckTime=1.399 cpuTime=1.34 mem=143M841
12.51
12.51 search
12.51 run=8 nbConstraintChecks=605999 nbValidityChecks=1011467 nbPropagations=25226 nbRevisions=405693
12.51 nbUselessRevisions=350973 nbAssignments=1531 nbFailedAssignments=703 nbBacktracks=752 nbVisitedNodes=2642
12.51 nbRestartNogoods=30 mapSize=606 nbInferences=0 nbTooLargeKeys=0
12.51 => wckTime=2.042 cpuTime=1.96 mem=143M841
13.47
13.47 search
13.47 run=9 nbConstraintChecks=915653 nbValidityChecks=1529941 nbPropagations=38399 nbRevisions=615678
13.47 nbUselessRevisions=532356 nbAssignments=2267 nbFailedAssignments=1035 nbBacktracks=1137 nbVisitedNodes=3932
13.47 nbRestartNogoods=38 mapSize=931 nbInferences=0 nbTooLargeKeys=0
13.47 => wckTime=3.009 cpuTime=2.92 mem=143M841
13.75
13.75 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=143M841)
14.80
14.80 search
14.80 run=10 nbConstraintChecks=1334104 nbValidityChecks=2235501 nbPropagations=57891 nbRevisions=923469
14.80 nbUselessRevisions=798136 nbAssignments=3340 nbFailedAssignments=1524 nbBacktracks=1714 nbVisitedNodes=5809
14.80 nbRestartNogoods=40
14.80 => wckTime=4.338 cpuTime=4.23 mem=143M841
16.81
16.81 search
16.81 run=11 nbConstraintChecks=2017025 nbValidityChecks=3355435 nbPropagations=87230 nbRevisions=1383398
16.81 nbUselessRevisions=1194941 nbAssignments=5002 nbFailedAssignments=2315 nbBacktracks=2578 nbVisitedNodes=8756
16.81 nbRestartNogoods=50
16.81 => wckTime=6.343 cpuTime=6.24 mem=143M841
19.86
19.86 search
19.86 run=12 nbConstraintChecks=3061784 nbValidityChecks=5070186 nbPropagations=131520 nbRevisions=2074474
19.86 nbUselessRevisions=1790472 nbAssignments=7535 nbFailedAssignments=3542 nbBacktracks=3875 nbVisitedNodes=13253
19.86 nbRestartNogoods=60
19.86 => wckTime=9.39 cpuTime=9.29 mem=143M841
24.80
24.80 search
24.80 run=13 nbConstraintChecks=4759101 nbValidityChecks=7845925 nbPropagations=199417 nbRevisions=3136701
24.80 nbUselessRevisions=2704865 nbAssignments=11487 nbFailedAssignments=5540 nbBacktracks=5822 nbVisitedNodes=20358
24.80 nbRestartNogoods=71
24.80 => wckTime=14.334 cpuTime=14.23 mem=143M841
32.13
32.13 search
32.13 run=14 nbConstraintChecks=7229338 nbValidityChecks=11912206 nbPropagations=302299 nbRevisions=4750635
32.13 nbUselessRevisions=4095047 nbAssignments=17275 nbFailedAssignments=8402 nbBacktracks=8741 nbVisitedNodes=30731
32.13 nbRestartNogoods=80
32.13 => wckTime=21.667 cpuTime=21.55 mem=143M841
42.70
42.70 search
42.70 run=15 nbConstraintChecks=10814161 nbValidityChecks=17823299 nbPropagations=456688 nbRevisions=7170141
42.70 nbUselessRevisions=6178985 nbAssignments=25758 nbFailedAssignments=12499 nbBacktracks=13120
42.70 nbVisitedNodes=45878 nbRestartNogoods=90
42.70 => wckTime=32.231 cpuTime=32.11 mem=144M505
58.52
58.52 search
58.52 run=16 nbConstraintChecks=16261925 nbValidityChecks=26687809 nbPropagations=687412 nbRevisions=10770584
58.52 nbUselessRevisions=9276661 nbAssignments=38626 nbFailedAssignments=18791 nbBacktracks=19688
58.52 nbVisitedNodes=68848 nbRestartNogoods=104
58.52 => wckTime=48.053 cpuTime=47.92 mem=144M505
82.69
82.69 search
82.69 run=17 nbConstraintChecks=24506308 nbValidityChecks=40172545 nbPropagations=1035009 nbRevisions=16187774
82.69 nbUselessRevisions=13937208 nbAssignments=57824 nbFailedAssignments=28132 nbBacktracks=29540
82.69 nbVisitedNodes=103271 nbRestartNogoods=117
82.69 => wckTime=72.229 cpuTime=72.08 mem=144M505
118.33
118.33 search
118.33 run=18 nbConstraintChecks=36841838 nbValidityChecks=60163887 nbPropagations=1551030 nbRevisions=24252290
118.33 nbUselessRevisions=20872756 nbAssignments=87035 nbFailedAssignments=42557 nbBacktracks=44318
118.33 nbVisitedNodes=155269 nbRestartNogoods=126
118.33 => wckTime=107.863 cpuTime=107.7 mem=144M505
174.47
174.47 search
174.47 run=19 nbConstraintChecks=56106266 nbValidityChecks=91497511 nbPropagations=2339355 nbRevisions=36539402
174.47 nbUselessRevisions=31434785 nbAssignments=130727 nbFailedAssignments=64074 nbBacktracks=66486
174.47 nbVisitedNodes=233999 nbRestartNogoods=141
174.47 => wckTime=164.0 cpuTime=163.79 mem=144M505
257.35
257.35 search
257.35 run=20 nbConstraintChecks=84407736 nbValidityChecks=137623510 nbPropagations=3522855 nbRevisions=54998992
257.35 nbUselessRevisions=47303005 nbAssignments=196634 nbFailedAssignments=96722 nbBacktracks=99739
257.35 nbVisitedNodes=351977 nbRestartNogoods=150
257.35 => wckTime=246.887 cpuTime=246.63 mem=144M505
283.96
283.96 search
283.96 run=21 nbConstraintChecks=93364330 nbValidityChecks=152381060 nbPropagations=4834877 nbRevisions=75468507
283.96 nbUselessRevisions=64902887 nbAssignments=217455 nbFailedAssignments=106956 nbBacktracks=110306
283.96 nbVisitedNodes=389396 nbRestartNogoods=158
283.96 => wckTime=273.497 cpuTime=273.21 mem=144M505
283.96
283.96 global
283.96 nbConstraintChecks=93368732 nbValidityChecks=152389321 nbPropagations=4834932 nbRevisions=75469534
283.96 nbUselessRevisions=64903875 nbRestartNogoods=158 solvingWckTime=273.498 solvingCpuTime=273.21 expiredTime=no
283.96 totalExploration=no nbFoundSolutions=1 globalCpuTime=280.84
283.96 => wckTime=283.662 cpuTime=280.79 mem=144M505
283.97
283.97 s SATISFIABLE
283.97 v 1 0 2 2 3 2 4 1 2 4 3 3 1 3 0 1 0 2 4 2
283.97 d NODES 217455
283.97 d CHECKS 93368732
283.97
283.97 totalWckTime=283.738 totalCpuTime=280.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-247477-1168392789 -o ROOT/results/node15/solver-247477-1168392789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/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.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=18540 CPUtime=0
/proc/18200/stat : 18200 (runsolver) R 18198 18200 17678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187673825 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18200/statm: 4635 279 244 17 0 2626 0
[startup+0.103579 s]
/proc/loadavg: 1.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=914988 CPUtime=0.08
/proc/18200/stat : 18200 (java) S 18198 18200 17678 0 -1 0 2997 0 1 0 7 1 0 0 23 0 8 0 187673825 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511642 s]
/proc/loadavg: 1.03 1.65 1.86 3/78 18201
/proc/meminfo: memFree=1703312/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=0.47
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 9862 0 1 0 42 5 0 0 17 0 8 0 187673825 937295872 9601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 9602 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33278 s]
/proc/loadavg: 1.03 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1632984/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=1.29
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 19898 0 1 0 120 9 0 0 19 0 8 0 187673825 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 19636 2147 14 0 215302 0
[pid=18200/tid=18202] ppid=18198 vsize=915328 CPUtime=0.03
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 3487 0 0 0 3 0 0 0 17 0 8 0 187673829 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187673830 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187673830 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915328 CPUtime=0.06
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937295872 19636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.98407 s]
/proc/loadavg: 1.03 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1609624/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915328 CPUtime=2.94
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 30341 0 1 0 280 14 0 0 18 0 8 0 187673825 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228832 30075 2147 14 0 215302 0
[pid=18200/tid=18202] ppid=18198 vsize=915328 CPUtime=0.21
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 13924 0 0 0 16 5 0 0 16 0 8 0 187673829 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 9 0 0 0 0 0 0 0 21 0 8 0 187673830 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 187673830 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915328 CPUtime=0.06
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 306 0 0 0 6 0 0 0 16 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915328 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937295872 30075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915328
[startup+6.27483 s]
/proc/loadavg: 1.11 1.66 1.86 2/85 18208
/proc/meminfo: memFree=1556376/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=6.23
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 40793 0 1 0 603 20 0 0 16 0 8 0 187673825 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18200/statm: 228850 38946 2160 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=0.92
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 24338 0 0 0 83 9 0 0 16 0 8 0 187673829 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.08
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 315 0 0 0 8 0 0 0 16 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 38946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915400
[startup+12.7699 s]
/proc/loadavg: 1.10 1.65 1.86 2/85 18208
/proc/meminfo: memFree=1462560/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=12.7
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64503 0 1 0 1240 30 0 0 17 0 8 0 187673825 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62647 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 17 0 8 0 187673829 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.19
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 383 0 0 0 19 0 0 0 15 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915400
[startup+25.6051 s]
/proc/loadavg: 1.08 1.62 1.84 2/85 18208
/proc/meminfo: memFree=1462560/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=25.53
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 2522 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915400
[startup+51.3015 s]
/proc/loadavg: 1.12 1.58 1.83 2/85 18208
/proc/meminfo: memFree=1462368/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=51.2
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 5089 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915400
[startup+102.585 s]
/proc/loadavg: 1.05 1.49 1.78 2/85 18208
/proc/meminfo: memFree=1462432/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=102.46
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 10215 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915400
[startup+162.604 s]
/proc/loadavg: 1.02 1.40 1.73 2/85 18208
/proc/meminfo: memFree=1462432/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=162.44
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 16213 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915400
[startup+222.626 s]
/proc/loadavg: 1.00 1.32 1.68 2/85 18208
/proc/meminfo: memFree=1462368/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=222.42
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 22211 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 915400
[startup+282.652 s]
/proc/loadavg: 1.00 1.26 1.63 2/85 18208
/proc/meminfo: memFree=1462304/2055920 swapFree=4174172/4192956
[pid=18200] ppid=18198 vsize=915400 CPUtime=282.4
/proc/18200/stat : 18200 (java) R 18198 18200 17678 0 -1 0 64512 0 1 0 28209 31 0 0 25 0 8 0 187673825 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18200/statm: 228850 62653 2532 14 0 215320 0
[pid=18200/tid=18202] ppid=18198 vsize=915400 CPUtime=2.47
/proc/18200/task/18202/stat : 18202 (java) S 18198 18200 17678 0 -1 64 47524 0 0 0 228 19 0 0 16 0 8 0 187673829 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18203] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18203/stat : 18203 (java) S 18198 18200 17678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18204] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18204/stat : 18204 (java) S 18198 18200 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187673830 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18205] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18205/stat : 18205 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18206] ppid=18198 vsize=915400 CPUtime=0.2
/proc/18200/task/18206/stat : 18206 (java) S 18198 18200 17678 0 -1 64 390 0 0 0 20 0 0 0 16 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18207] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18207/stat : 18207 (java) S 18198 18200 17678 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18200/tid=18208] ppid=18198 vsize=915400 CPUtime=0
/proc/18200/task/18208/stat : 18208 (java) S 18198 18200 17678 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 187673833 937369600 62653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 284.013
CPU time (s): 283.768
CPU user time (s): 283.412
CPU system time (s): 0.355945
CPU usage (%): 99.9136
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.412
system time used= 0.355945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64520
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= 6660
involuntary context switches= 11456
runsolver used 0.365944 s user time and 0.6559 s system time
The end
Begin job on node15 on Wed Jan 10 01:33:10 UTC 2007
IDJOB= 247477
IDBENCH= 11130
FILE ID= node15/247477-1168392789
PBS_JOBID= 3522782
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-247477-1168392789 -o ROOT/results/node15/solver-247477-1168392789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247477-1168392789/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6c2ec320160e3910acae4606bd2d6fff
RANDOM SEED= 526667056
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.276
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.276
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1703792 kB
Buffers: 40484 kB
Cached: 226092 kB
SwapCached: 5900 kB
Active: 195136 kB
Inactive: 101980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703792 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 23748 kB
Writeback: 0 kB
Mapped: 40388 kB
Slab: 40364 kB
Committed_AS: 6405928 kB
PageTables: 2000 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= 66541 MiB
End job on node15 on Wed Jan 10 01:37:54 UTC 2007