0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280296-1169304452/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=32 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.42 => wckTime=0.106 cpuTime=0.08 mem=6M903
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.64 nbConstraints=223 nbConvertedConstraints=223 nbConvertConstraintsChecks=201472 nbExtensionStructures=124
0.64 nbSharedExtensionStructures=99 nbConflictsStructures=124 nbSharedConflictsStructures=99
0.64 nbSharedBinaryRepresentations=9067 maxDegree=25 maxArity=2
0.64 => wckTime=0.327 cpuTime=0.25 mem=8M854
0.69
0.69 solver LocalSearchSolver being built...
0.72 => wckTime=0.408 cpuTime=0.3 mem=5M633
0.73
0.73 s SATISFIABLE
0.73 o 142
0.73 c 81
0.74 o 146
0.74 c 77
0.74 o 148
0.74 c 75
0.74 o 149
0.74 c 74
0.74 o 152
0.74 c 71
0.74 o 154
0.74 c 69
0.74 o 155
0.74 c 68
0.75 o 159
0.75 c 64
0.75 o 162
0.75 c 61
0.75 o 165
0.75 c 58
0.75 o 167
0.75 c 56
0.75 o 169
0.75 c 54
0.75 o 173
0.75 c 50
0.75 o 175
0.75 c 48
0.75 o 177
0.75 c 46
0.76 o 178
0.76 c 45
0.77 o 179
0.77 c 44
0.77 o 180
0.77 c 43
0.77 o 182
0.77 c 41
0.77 o 183
0.77 c 40
0.77 o 187
0.77 c 36
0.77 o 189
0.77 c 34
0.77 o 192
0.77 c 31
0.77 o 194
0.77 c 29
0.78 o 197
0.78 c 26
0.78 o 199
0.78 c 24
0.78 o 200
0.78 c 23
0.78 o 204
0.78 c 19
0.78 o 205
0.78 c 18
0.78 o 206
0.78 c 17
0.78 o 208
0.78 c 15
0.78 o 209
0.79 c 14
0.79 o 211
0.79 c 12
0.79 o 212
0.79 c 11
0.79 o 214
0.79 c 9
0.84 o 215
0.84 c 8
0.86 o 216
0.86 c 7
1.31 o 217
1.31 c 6
6.92
6.92 search
6.92 run=0 nbConstraintChecks=54189293 nbAssignments=10000
6.92 => wckTime=6.199 cpuTime=6.11 mem=5M633
13.15
13.15 search
13.15 run=1 nbConstraintChecks=109227890 nbAssignments=20000
13.15 => wckTime=12.423 cpuTime=12.28 mem=5M633
19.21
19.21 search
19.21 run=2 nbConstraintChecks=163198283 nbAssignments=30000
19.21 => wckTime=18.49 cpuTime=18.29 mem=5M633
25.36
25.36 search
25.36 run=3 nbConstraintChecks=217382213 nbAssignments=40000
25.36 => wckTime=24.633 cpuTime=24.37 mem=5M633
31.36
31.36 search
31.36 run=4 nbConstraintChecks=270196600 nbAssignments=50000
31.36 => wckTime=30.641 cpuTime=30.33 mem=5M633
31.61
31.61 search
31.61 run=5 nbConstraintChecks=272344527 nbAssignments=50400
31.61 => wckTime=30.884 cpuTime=30.57 mem=5M633
31.61
31.61 global
31.61 nbConstraintChecks=272344527 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.61 solvingWckTime=30.882 solvingCpuTime=30.57 expiredTime=no totalExploration=no nbFoundSolutions=0
31.61 globalCpuTime=30.93
31.61 => wckTime=31.293 cpuTime=30.87 mem=5M633
31.61
31.61 solver IterativeSystematicSolver being built...
31.75 => wckTime=31.436 cpuTime=30.98 mem=16M615
31.76
31.76 preprocessing
31.76 nbConstraintChecks=1168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.76 detectedInconsistency=no
31.76 => wckTime=0.0090 cpuTime=0.0 mem=16M615
31.86
31.86 search
31.86 run=0 nbConstraintChecks=245280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
31.86 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0
31.86 => wckTime=0.109 cpuTime=0.08 mem=16M615
32.41
32.41 search
32.41 run=1 nbConstraintChecks=2554755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=328
32.41 nbFailedAssignments=290 nbBacktracks=25 nbVisitedNodes=644 nbRestartNogoods=18
32.41 => wckTime=0.656 cpuTime=0.6 mem=16M615
32.98
32.98 search
32.98 run=2 nbConstraintChecks=4837862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=595
32.98 nbFailedAssignments=529 nbBacktracks=48 nbVisitedNodes=1173 nbRestartNogoods=45
32.98 => wckTime=1.225 cpuTime=1.16 mem=16M615
33.55
33.55 search
33.55 run=3 nbConstraintChecks=6559914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=844
33.55 nbFailedAssignments=742 nbBacktracks=81 nbVisitedNodes=1668 nbRestartNogoods=86
33.55 => wckTime=1.799 cpuTime=1.73 mem=16M615
35.84
35.84 search
35.84 run=4 nbConstraintChecks=14231225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1851
35.84 nbFailedAssignments=1695 nbBacktracks=131 nbVisitedNodes=3678 nbRestartNogoods=128
35.84 => wckTime=4.091 cpuTime=3.98 mem=16M615
36.93
36.93 search
36.93 run=5 nbConstraintChecks=18415305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2172
36.93 nbFailedAssignments=1937 nbBacktracks=206 nbVisitedNodes=4315 nbRestartNogoods=147
36.93 => wckTime=5.177 cpuTime=5.05 mem=16M615
38.00
38.00 search
38.00 run=6 nbConstraintChecks=23287634 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2691
38.00 nbFailedAssignments=2334 nbBacktracks=319 nbVisitedNodes=5344 nbRestartNogoods=198
38.00 => wckTime=6.244 cpuTime=6.11 mem=16M615
39.24
39.24 search
39.24 run=7 nbConstraintChecks=28066532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3219
39.24 nbFailedAssignments=2685 nbBacktracks=490 nbVisitedNodes=6394 nbRestartNogoods=215
39.24 => wckTime=7.488 cpuTime=7.34 mem=16M615
40.79
40.79 search
40.79 run=8 nbConstraintChecks=35020019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3992
40.79 nbFailedAssignments=3192 nbBacktracks=747 nbVisitedNodes=7931 nbRestartNogoods=223
40.79 => wckTime=9.039 cpuTime=8.88 mem=16M615
45.94
45.94 search
45.94 run=9 nbConstraintChecks=64591867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7651
45.94 nbFailedAssignments=6455 nbBacktracks=1131 nbVisitedNodes=15237 nbRestartNogoods=246
45.94 => wckTime=14.19 cpuTime=13.98 mem=16M615
51.74
51.74 search
51.74 run=10 nbConstraintChecks=91646826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10145
51.74 nbFailedAssignments=8369 nbBacktracks=1707 nbVisitedNodes=20214 nbRestartNogoods=286
51.74 => wckTime=19.986 cpuTime=19.72 mem=16M615
65.38
65.38 search
65.38 run=11 nbConstraintChecks=156876411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16467
65.38 nbFailedAssignments=13818 nbBacktracks=2571 nbVisitedNodes=32849 nbRestartNogoods=293
65.38 => wckTime=33.63 cpuTime=33.23 mem=16M615
84.87
84.87 search
84.87 run=12 nbConstraintChecks=251744902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25215
84.87 nbFailedAssignments=21256 nbBacktracks=3869 nbVisitedNodes=50333 nbRestartNogoods=380
84.87 => wckTime=53.115 cpuTime=52.55 mem=16M615
91.26
91.26 search
91.26 run=13 nbConstraintChecks=282366289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29309
91.26 nbFailedAssignments=23396 nbBacktracks=5815 nbVisitedNodes=58513 nbRestartNogoods=413
91.26 => wckTime=59.503 cpuTime=58.88 mem=16M615
117.95
117.95 search
117.95 run=14 nbConstraintChecks=407734188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41072
117.95 nbFailedAssignments=32230 nbBacktracks=8734 nbVisitedNodes=82026 nbRestartNogoods=435
117.95 => wckTime=86.194 cpuTime=85.33 mem=16M615
170.64
170.64 search
170.64 run=15 nbConstraintChecks=641123316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68500
170.64 nbFailedAssignments=55277 nbBacktracks=13112 nbVisitedNodes=136836 nbRestartNogoods=490
170.64 => wckTime=138.89 cpuTime=137.54 mem=16M615
233.30
233.30 search
233.30 run=16 nbConstraintChecks=899837429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98909
233.30 nbFailedAssignments=79115 nbBacktracks=19680 nbVisitedNodes=197549 nbRestartNogoods=583
233.30 => wckTime=201.55 cpuTime=199.63 mem=16M615
336.61
336.61 search
336.61 run=17 nbConstraintChecks=1314218163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145957
336.61 nbFailedAssignments=116308 nbBacktracks=29532 nbVisitedNodes=291424 nbRestartNogoods=647
336.61 => wckTime=304.855 cpuTime=301.99 mem=16M615
501.86
501.86 search
501.86 run=18 nbConstraintChecks=1989328096 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=229816
501.86 nbFailedAssignments=185386 nbBacktracks=44310 nbVisitedNodes=458945 nbRestartNogoods=667
501.86 => wckTime=470.106 cpuTime=465.74 mem=16M615
732.50
732.50 search
732.50 run=19 nbConstraintChecks=3010640473 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=357512
732.50 nbFailedAssignments=290911 nbBacktracks=66478 nbVisitedNodes=714065 nbRestartNogoods=712
732.50 => wckTime=700.751 cpuTime=695.31 mem=16M615
1073.08
1073.08 search
1073.08 run=20 nbConstraintChecks=4492279062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=535420
1073.08 nbFailedAssignments=435564 nbBacktracks=99730 nbVisitedNodes=1069368 nbRestartNogoods=763
1073.08 => wckTime=1041.327 cpuTime=1034.19 mem=16M615
1578.52
1578.52 search
1578.52 run=21 nbConstraintChecks=6701446611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=809852
1578.52 nbFailedAssignments=660115 nbBacktracks=149608 nbVisitedNodes=1617413 nbRestartNogoods=780
1578.52 => wckTime=1546.765 cpuTime=1537.25 mem=16M615
1748.72
1748.72 search
1748.72 run=22 nbConstraintChecks=7474771040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=904850
1748.72 nbFailedAssignments=741211 nbBacktracks=163511 nbVisitedNodes=1807235 nbRestartNogoods=830
1748.72 => wckTime=1716.967 cpuTime=1706.65 mem=16M615
1748.72
1748.72 global
1748.72 nbConstraintChecks=7474772208 nbRestartNogoods=830 solvingWckTime=1716.968 solvingCpuTime=1706.65
1748.72 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1737.69
1748.72 => wckTime=1748.404 cpuTime=1737.63 mem=16M615
1748.72
1748.72 s OPTIMUM FOUND
1748.72 v 470 708 394 708 442 680 778 540 764 526 282 44 526 764 352 114 366 128 380 142 470 708 58 296 694 456 310 72 540 778 338 100
1748.72
1748.72 totalWckTime=1748.484 totalCpuTime=1737.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-280296-1169304452 -o ROOT/results/node14/solver-280296-1169304452 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280296-1169304452/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: 2.00 2.00 2.00 4/93 32376
/proc/meminfo: memFree=1261784/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=18540 CPUtime=0
/proc/32375/stat : 32375 (runsolver) R 32373 32375 32259 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278840170 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32375/statm: 4635 279 244 17 0 2626 0
[startup+0.103872 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 32376
/proc/meminfo: memFree=1261784/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=914988 CPUtime=0.07
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 2952 0 1 0 6 1 0 0 17 0 8 0 278840170 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7361012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228747 2698 1412 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511946 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 32376
/proc/meminfo: memFree=1261784/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915332 CPUtime=0.48
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 6345 0 1 0 44 4 0 0 18 0 8 0 278840170 937299968 6084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228833 6084 2151 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33598 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1243424/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1.29
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 7282 0 1 0 119 10 0 0 24 0 8 0 278840170 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 7020 2496 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 186 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.12
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 328 0 0 0 12 0 0 0 16 0 8 0 278840179 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98714 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1243360/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=2.93
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 7288 0 1 0 272 21 0 0 25 0 8 0 278840170 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 7025 2496 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 186 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.13
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.26645 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1243296/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=6.18
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 7288 0 1 0 577 41 0 0 25 0 8 0 278840170 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 7025 2496 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 186 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.13
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 7025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7541 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1243296/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=12.61
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 7290 0 1 0 1179 82 0 0 25 0 8 0 278840170 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 7027 2496 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 186 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.13
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 335 0 0 0 13 0 0 0 16 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.5933 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1243296/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=25.33
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 7290 0 1 0 2365 168 0 0 25 0 8 0 278840170 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 7027 2496 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 186 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.13
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 335 0 0 0 13 0 0 0 16 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464
[startup+51.2057 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 32383
/proc/meminfo: memFree=1236320/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=50.71
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9088 0 1 0 4860 211 0 0 25 0 8 0 278840170 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 8817 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
[startup+102.409 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 32383
/proc/meminfo: memFree=1236256/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=101.44
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9100 0 1 0 9933 211 0 0 25 0 8 0 278840170 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32375/statm: 228866 8829 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) R 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.455 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 32383
/proc/meminfo: memFree=1236256/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=160.94
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9103 0 1 0 15883 211 0 0 25 0 8 0 278840170 937435136 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1295.3
Current children cumulated vsize (KiB) 915464
[startup+1363.86 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 375
/proc/meminfo: memFree=1205856/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1355.12
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9121 0 1 0 135283 229 0 0 25 0 8 0 278840170 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8848 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1355.12
Current children cumulated vsize (KiB) 915464
[startup+1423.95 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 375
/proc/meminfo: memFree=1205792/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1414.94
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9121 0 1 0 141265 229 0 0 25 0 8 0 278840170 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8848 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1414.94
Current children cumulated vsize (KiB) 915464
[startup+1484.04 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 375
/proc/meminfo: memFree=1205856/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1474.73
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9121 0 1 0 147244 229 0 0 25 0 8 0 278840170 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8848 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.73
Current children cumulated vsize (KiB) 915464
[startup+1544.13 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 375
/proc/meminfo: memFree=1205792/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1534.55
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9121 0 1 0 153226 229 0 0 25 0 8 0 278840170 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8848 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.55
Current children cumulated vsize (KiB) 915464
[startup+1604.23 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 375
/proc/meminfo: memFree=1205856/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1594.37
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9124 0 1 0 159208 229 0 0 25 0 8 0 278840170 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8851 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.37
Current children cumulated vsize (KiB) 915464
[startup+1664.33 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 375
/proc/meminfo: memFree=1205856/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1654.17
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9124 0 1 0 165188 229 0 0 25 0 8 0 278840170 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8851 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.17
Current children cumulated vsize (KiB) 915464
[startup+1724.43 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 375
/proc/meminfo: memFree=1205792/2055920 swapFree=4158792/4192956
[pid=32375] ppid=32373 vsize=915464 CPUtime=1713.99
/proc/32375/stat : 32375 (java) R 32373 32375 32259 0 -1 0 9124 0 1 0 171170 229 0 0 25 0 8 0 278840170 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32375/statm: 228866 8851 2545 14 0 215336 0
[pid=32375/tid=32377] ppid=32373 vsize=915464 CPUtime=0.02
/proc/32375/task/32377/stat : 32377 (java) S 32373 32375 32259 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32378] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32378/stat : 32378 (java) S 32373 32375 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32379] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32379/stat : 32379 (java) S 32373 32375 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278840175 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32380] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32380/stat : 32380 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32381] ppid=32373 vsize=915464 CPUtime=0.25
/proc/32375/task/32381/stat : 32381 (java) S 32373 32375 32259 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32382] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32382/stat : 32382 (java) S 32373 32375 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32375/tid=32383] ppid=32373 vsize=915464 CPUtime=0
/proc/32375/task/32383/stat : 32383 (java) S 32373 32375 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278840179 937435136 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.99
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1748.74
CPU time (s): 1738.19
CPU user time (s): 1735.88
CPU system time (s): 2.30465
CPU usage (%): 99.3965
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.88
system time used= 2.30465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9222
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= 36537
involuntary context switches= 57082
runsolver used 2.22666 s user time and 5.52116 s system time
The end
Begin job on node14 on Sat Jan 20 14:47:32 UTC 2007
IDJOB= 280296
IDBENCH= 11072
IDSOLVER= 69
FILE ID= node14/280296-1169304452
PBS_JOBID= 3609910
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen06-sub0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280296-1169304452/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-280296-1169304452 -o ROOT/results/node14/solver-280296-1169304452 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280296-1169304452/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7cdeeef4054c013f703ddee7bf272037
RANDOM SEED= 6681510
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.227
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.227
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: 1262264 kB
Buffers: 53828 kB
Cached: 601632 kB
SwapCached: 9104 kB
Active: 226032 kB
Inactive: 490256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1262264 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 78728 kB
Slab: 62148 kB
Committed_AS: 10215428 kB
PageTables: 2280 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= 66560 MiB
End job on node14 on Sat Jan 20 15:16:41 UTC 2007