0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275090-1169216478/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M910
0.39
0.39 relations being loaded...
0.42
0.42 constraints being loaded...
0.48 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.49 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.49 => wckTime=0.189 cpuTime=0.15 mem=8M860
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.268 cpuTime=0.19 mem=5M612
0.57
0.57 s SATISFIABLE
0.57 o 129
0.57 c 24
0.57 o 132
0.57 c 21
0.57 o 134
0.57 c 19
0.57 o 136
0.57 c 17
0.57 o 138
0.57 c 15
0.57 o 139
0.58 c 14
0.58 o 140
0.58 c 13
0.58 o 141
0.58 c 12
0.58 o 142
0.58 c 11
0.58 o 143
0.58 c 10
0.58 o 144
0.58 c 9
0.58 o 145
0.58 c 8
0.58 o 146
0.58 c 7
0.58 o 147
0.58 c 6
0.58 o 148
0.58 c 5
0.58 o 149
0.58 c 4
0.59 o 150
0.59 c 3
0.59 o 151
0.59 c 2
0.63 o 152
0.63 c 1
0.63
0.63 search
0.63 run=0 nbConstraintChecks=130251 nbAssignments=301
0.63 => wckTime=0.072 cpuTime=0.06 mem=5M612
0.64
0.64 global
0.64 nbConstraintChecks=130251 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.64 solvingWckTime=0.071 solvingCpuTime=0.06 expiredTime=no totalExploration=no nbFoundSolutions=0
0.64 globalCpuTime=0.28
0.64 => wckTime=0.34 cpuTime=0.25 mem=5M612
0.64
0.64 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.467 cpuTime=0.35 mem=16M697
0.78
0.78 preprocessing
0.78 nbConstraintChecks=261 nbValidityChecks=168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.78 nbRemovedValues=45 detectedInconsistency=no
0.78 => wckTime=0.01 cpuTime=0.01 mem=16M697
0.82
0.82 search
0.82 run=0 nbConstraintChecks=13170 nbValidityChecks=4253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.82 nbAssignments=43 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0
0.82 => wckTime=0.054 cpuTime=0.03 mem=16M697
0.85
0.85 search
0.85 run=1 nbConstraintChecks=36375 nbValidityChecks=11414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.85 nbAssignments=98 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=142 nbRestartNogoods=2
0.85 => wckTime=0.09 cpuTime=0.05 mem=16M697
0.87
0.87 search
0.87 run=2 nbConstraintChecks=60330 nbValidityChecks=17882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.87 nbAssignments=159 nbFailedAssignments=49 nbBacktracks=48 nbVisitedNodes=242 nbRestartNogoods=10
0.87 => wckTime=0.11 cpuTime=0.07 mem=16M697
0.89
0.89 search
0.89 run=3 nbConstraintChecks=91290 nbValidityChecks=26704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.89 nbAssignments=232 nbFailedAssignments=74 nbBacktracks=81 nbVisitedNodes=364 nbRestartNogoods=13
0.89 => wckTime=0.131 cpuTime=0.09 mem=16M697
0.92
0.92 search
0.92 run=4 nbConstraintChecks=122672 nbValidityChecks=34319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.92 nbAssignments=330 nbFailedAssignments=98 nbBacktracks=134 nbVisitedNodes=508 nbRestartNogoods=17
0.92 => wckTime=0.152 cpuTime=0.11 mem=16M697
0.95
0.95 search
0.95 run=5 nbConstraintChecks=175375 nbValidityChecks=45070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.95 nbAssignments=473 nbFailedAssignments=145 nbBacktracks=211 nbVisitedNodes=735 nbRestartNogoods=22
0.95 => wckTime=0.182 cpuTime=0.13 mem=16M697
1.00
1.00 search
1.00 run=6 nbConstraintChecks=266935 nbValidityChecks=72221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.00 nbAssignments=675 nbFailedAssignments=218 nbBacktracks=327 nbVisitedNodes=1077 nbRestartNogoods=28
1.00 => wckTime=0.231 cpuTime=0.18 mem=16M697
1.07
1.07 search
1.07 run=7 nbConstraintChecks=379681 nbValidityChecks=115816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.07 nbAssignments=943 nbFailedAssignments=308 nbBacktracks=497 nbVisitedNodes=1525 nbRestartNogoods=30
1.07 => wckTime=0.306 cpuTime=0.25 mem=16M697
1.20
1.20 search
1.20 run=8 nbConstraintChecks=592011 nbValidityChecks=212236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.20 nbAssignments=1362 nbFailedAssignments=457 nbBacktracks=753 nbVisitedNodes=2218 nbRestartNogoods=33
1.20 => wckTime=0.44 cpuTime=0.38 mem=16M697
1.40
1.40 search
1.40 run=9 nbConstraintChecks=897887 nbValidityChecks=354832 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.40 nbAssignments=1983 nbFailedAssignments=675 nbBacktracks=1139 nbVisitedNodes=3252 nbRestartNogoods=43
1.40 => wckTime=0.64 cpuTime=0.56 mem=16M697
1.62
1.62 search
1.62 run=10 nbConstraintChecks=1303118 nbValidityChecks=483780 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.62 nbAssignments=2920 nbFailedAssignments=1024 nbBacktracks=1717 nbVisitedNodes=4885 nbRestartNogoods=46
1.62 => wckTime=0.859 cpuTime=0.78 mem=16M697
2.00
2.00 search
2.00 run=11 nbConstraintChecks=1990945 nbValidityChecks=744615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.00 nbAssignments=4261 nbFailedAssignments=1495 nbBacktracks=2582 nbVisitedNodes=7150 nbRestartNogoods=52
2.00 => wckTime=1.234 cpuTime=1.15 mem=16M697
2.43
2.43 search
2.43 run=12 nbConstraintChecks=2871389 nbValidityChecks=1012833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.43 nbAssignments=6294 nbFailedAssignments=2219 nbBacktracks=3879 nbVisitedNodes=10315 nbRestartNogoods=53
2.43 => wckTime=1.664 cpuTime=1.58 mem=16M697
3.07
3.07 search
3.07 run=13 nbConstraintChecks=4199388 nbValidityChecks=1421871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.07 nbAssignments=9183 nbFailedAssignments=3147 nbBacktracks=5826 nbVisitedNodes=14907 nbRestartNogoods=64
3.07 => wckTime=2.304 cpuTime=2.22 mem=16M697
4.20
4.20 search
4.20 run=14 nbConstraintChecks=6158460 nbValidityChecks=2283522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.20 nbAssignments=13817 nbFailedAssignments=4847 nbBacktracks=8748 nbVisitedNodes=22792 nbRestartNogoods=74
4.20 => wckTime=3.433 cpuTime=3.35 mem=16M697
5.71
5.71 search
5.71 run=15 nbConstraintChecks=9317357 nbValidityChecks=3255566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.71 nbAssignments=20759 nbFailedAssignments=7395 nbBacktracks=13126 nbVisitedNodes=34416 nbRestartNogoods=83
5.71 => wckTime=4.945 cpuTime=4.86 mem=16M697
8.18
8.18 search
8.18 run=16 nbConstraintChecks=13556143 nbValidityChecks=5159251 nbPropagations=0 nbRevisions=0
8.18 nbUselessRevisions=0 nbAssignments=30729 nbFailedAssignments=10784 nbBacktracks=19695 nbVisitedNodes=50626
8.18 nbRestartNogoods=94
8.18 => wckTime=7.411 cpuTime=7.32 mem=16M697
11.75
11.75 search
11.75 run=17 nbConstraintChecks=20222835 nbValidityChecks=7793729 nbPropagations=0 nbRevisions=0
11.75 nbUselessRevisions=0 nbAssignments=45226 nbFailedAssignments=15417 nbBacktracks=29547 nbVisitedNodes=73539
11.75 nbRestartNogoods=106
11.75 => wckTime=10.988 cpuTime=10.9 mem=16M697
16.97
16.97 search
16.97 run=18 nbConstraintChecks=30645918 nbValidityChecks=11448317 nbPropagations=0 nbRevisions=0
16.97 nbUselessRevisions=0 nbAssignments=68204 nbFailedAssignments=23599 nbBacktracks=44325 nbVisitedNodes=109820
16.97 nbRestartNogoods=114
16.97 => wckTime=16.21 cpuTime=16.11 mem=16M697
24.72
24.72 search
24.72 run=19 nbConstraintChecks=45611127 nbValidityChecks=16771638 nbPropagations=0 nbRevisions=0
24.72 nbUselessRevisions=0 nbAssignments=101471 nbFailedAssignments=34686 nbBacktracks=66496 nbVisitedNodes=163880
24.72 nbRestartNogoods=124
24.72 => wckTime=23.951 cpuTime=23.85 mem=16M697
35.83
35.83 search
35.83 run=20 nbConstraintChecks=66443480 nbValidityChecks=24311530 nbPropagations=0 nbRevisions=0
35.83 nbUselessRevisions=0 nbAssignments=152531 nbFailedAssignments=52481 nbBacktracks=99749 nbVisitedNodes=246610
35.83 nbRestartNogoods=135
35.83 => wckTime=35.062 cpuTime=34.95 mem=16M697
52.53
52.53 search
52.53 run=21 nbConstraintChecks=99004713 nbValidityChecks=35847302 nbPropagations=0 nbRevisions=0
52.53 nbUselessRevisions=0 nbAssignments=226807 nbFailedAssignments=76863 nbBacktracks=149627 nbVisitedNodes=366843
52.53 nbRestartNogoods=146
52.53 => wckTime=51.761 cpuTime=51.62 mem=16M697
78.62
78.62 search
78.62 run=22 nbConstraintChecks=150661169 nbValidityChecks=53754386 nbPropagations=0 nbRevisions=0
78.62 nbUselessRevisions=0 nbAssignments=342007 nbFailedAssignments=117234 nbBacktracks=224446 nbVisitedNodes=552713
78.62 nbRestartNogoods=152
78.62 => wckTime=77.858 cpuTime=77.69 mem=16M697
118.04
118.04 search
118.04 run=23 nbConstraintChecks=224015031 nbValidityChecks=82218916 nbPropagations=0 nbRevisions=0
118.04 nbUselessRevisions=0 nbAssignments=508531 nbFailedAssignments=171517 nbBacktracks=336674 nbVisitedNodes=816907
118.04 nbRestartNogoods=162
118.04 => wckTime=117.28 cpuTime=117.08 mem=16M697
176.75
176.75 search
176.75 run=24 nbConstraintChecks=336622838 nbValidityChecks=121057631 nbPropagations=0 nbRevisions=0
176.75 nbUselessRevisions=0 nbAssignments=766315 nbFailedAssignments=260951 nbBacktracks=505015 nbVisitedNodes=1236163
176.76 nbRestartNogoods=173
176.76 => wckTime=175.99 cpuTime=175.71 mem=16M697
264.02
264.02 search
264.02 run=25 nbConstraintChecks=505846461 nbValidityChecks=177171915 nbPropagations=0 nbRevisions=0
264.02 nbUselessRevisions=0 nbAssignments=1154818 nbFailedAssignments=396928 nbBacktracks=757534
264.02 nbVisitedNodes=1884400 nbRestartNogoods=182
264.02 => wckTime=263.253 cpuTime=262.87 mem=16M697
376.82
376.82 search
376.82 run=26 nbConstraintChecks=721630825 nbValidityChecks=252352603 nbPropagations=0 nbRevisions=0
376.82 nbUselessRevisions=0 nbAssignments=1636084 nbFailedAssignments=563440 nbBacktracks=1072289
376.82 nbVisitedNodes=2683324 nbRestartNogoods=186
376.82 => wckTime=376.052 cpuTime=375.58 mem=16M697
376.82
376.82 global
376.82 nbConstraintChecks=721631086 nbValidityChecks=252352771 nbRestartNogoods=186 solvingWckTime=376.053
376.82 solvingCpuTime=375.58 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=375.96
376.82 => wckTime=376.522 cpuTime=375.93 mem=16M697
376.82
376.82 s OPTIMUM FOUND
376.82 v 4 4 3 4 1 1 1 6 6 0 5 2 0 6 8 7 8 7 7 0 3 3 4 3 7 2 6 8 5 8 0 5 2 5 2 1
376.82
376.82 totalWckTime=376.597 totalCpuTime=375.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-275090-1169216478 -o ROOT/results/node10/solver-275090-1169216478 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275090-1169216478/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.67 1.92 1.80 4/93 9370
/proc/meminfo: memFree=1287864/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=1784 CPUtime=0
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 270043401 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9964096 0 0 4096 0 0 0 0 17 0 0 0
/proc/9369/statm: 446 163 128 14 0 91 0
[startup+0.107368 s]
/proc/loadavg: 1.67 1.92 1.80 4/93 9370
/proc/meminfo: memFree=1287864/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=914988 CPUtime=0.09
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 3009 0 1 0 7 2 0 0 22 0 8 0 270043401 936947712 2755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228747 2755 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515412 s]
/proc/loadavg: 1.67 1.92 1.80 4/93 9370
/proc/meminfo: memFree=1287864/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915332 CPUtime=0.5
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 6671 0 1 0 45 5 0 0 25 0 8 0 270043401 937299968 6409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228833 6409 2164 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33652 s]
/proc/loadavg: 1.70 1.92 1.81 3/100 9377
/proc/meminfo: memFree=1262400/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=1.31
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9135 0 1 0 123 8 0 0 25 0 8 0 270043401 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8872 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.19
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 270043409 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97375 s]
/proc/loadavg: 1.70 1.92 1.81 3/100 9377
/proc/meminfo: memFree=1262272/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=2.94
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9149 0 1 0 286 8 0 0 25 0 8 0 270043401 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8885 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 17 0 8 0 270043406 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8885 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) 915444
[startup+6.17818 s]
/proc/loadavg: 1.72 1.92 1.81 3/100 9377
/proc/meminfo: memFree=1262144/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=6.14
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9159 0 1 0 606 8 0 0 25 0 8 0 270043401 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8893 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 17 0 8 0 270043406 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444
[startup+12.6541 s]
/proc/loadavg: 1.74 1.92 1.81 3/100 9377
/proc/meminfo: memFree=1261824/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=12.62
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9168 0 1 0 1254 8 0 0 25 0 8 0 270043401 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8900 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 270043409 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.5228 s]
/proc/loadavg: 1.78 1.92 1.81 3/100 9377
/proc/meminfo: memFree=1261760/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=25.48
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9174 0 1 0 2540 8 0 0 25 0 8 0 270043401 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8905 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 270043409 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444
[startup+51.1463 s]
/proc/loadavg: 1.87 1.93 1.82 3/100 9377
/proc/meminfo: memFree=1261760/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=51.06
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9177 0 1 0 5098 8 0 0 25 0 8 0 270043401 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8908 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 270043409 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915444
[startup+102.388 s]
/proc/loadavg: 1.94 1.94 1.82 3/100 9379
/proc/meminfo: memFree=1261504/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=102.26
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9182 0 1 0 10217 9 0 0 25 0 8 0 270043401 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8913 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915444
[startup+162.488 s]
/proc/loadavg: 1.98 1.95 1.83 3/100 9379
/proc/meminfo: memFree=1261568/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=162.31
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9184 0 1 0 16222 9 0 0 25 0 8 0 270043401 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8915 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 915444
[startup+222.585 s]
/proc/loadavg: 2.13 1.99 1.84 3/100 9379
/proc/meminfo: memFree=1261568/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=222.32
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9187 0 1 0 22223 9 0 0 25 0 8 0 270043401 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8918 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 915444
[startup+282.683 s]
/proc/loadavg: 2.13 2.00 1.86 3/100 9379
/proc/meminfo: memFree=1261568/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=282.36
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9189 0 1 0 28227 9 0 0 25 0 8 0 270043401 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8920 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 915444
[startup+342.683 s]
/proc/loadavg: 2.17 2.03 1.87 3/100 9379
/proc/meminfo: memFree=1261632/2055920 swapFree=4178232/4192956
[pid=9369] ppid=9367 vsize=915444 CPUtime=342.31
/proc/9369/stat : 9369 (java) R 9367 9369 8928 0 -1 0 9189 0 1 0 34222 9 0 0 25 0 8 0 270043401 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9369/statm: 228861 8920 2530 14 0 215331 0
[pid=9369/tid=9371] ppid=9367 vsize=915444 CPUtime=0.02
/proc/9369/task/9371/stat : 9371 (java) S 9367 9369 8928 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9372] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9372/stat : 9372 (java) S 9367 9369 8928 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9373] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9373/stat : 9373 (java) S 9367 9369 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270043406 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9374] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9374/stat : 9374 (java) S 9367 9369 8928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9375] ppid=9367 vsize=915444 CPUtime=0.2
/proc/9369/task/9375/stat : 9375 (java) S 9367 9369 8928 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9376] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9376/stat : 9376 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9369/tid=9377] ppid=9367 vsize=915444 CPUtime=0
/proc/9369/task/9377/stat : 9377 (java) S 9367 9369 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270043409 937414656 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 376.841
CPU time (s): 376.425
CPU user time (s): 376.321
CPU system time (s): 0.103984
CPU usage (%): 99.8896
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.321
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9289
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= 8682
involuntary context switches= 26065
runsolver used 0.505923 s user time and 1.17482 s system time
The end
Begin job on node10 on Fri Jan 19 14:21:23 UTC 2007
IDJOB= 275090
IDBENCH= 3506
IDSOLVER= 69
FILE ID= node10/275090-1169216478
PBS_JOBID= 3588920
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275090-1169216478/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-275090-1169216478 -o ROOT/results/node10/solver-275090-1169216478 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275090-1169216478/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7cc7e95e3ab2b5c1b2e8d820acd1fe1b
RANDOM SEED= 199787043
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
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.232
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: 1288280 kB
Buffers: 58360 kB
Cached: 560188 kB
SwapCached: 2360 kB
Active: 193320 kB
Inactive: 498380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1288280 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 92576 kB
Slab: 60488 kB
Committed_AS: 7865868 kB
PageTables: 2348 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node10 on Fri Jan 19 14:27:40 UTC 2007