0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280720-1169307451/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=153 nbDomainTypes=8 minDomainSize=1 maxDomainSize=24
0.43 => wckTime=0.119 cpuTime=0.1 mem=6M887
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.77 nbConstraints=5183 nbRelationTypes=148 nbSingletonDomainVariables=1 nbExtensionStructures=488
0.77 nbSharedExtensionStructures=4695 nbConflictsStructures=488 nbSharedConflictsStructures=4695
0.77 nbSharedBinaryRepresentations=8093 maxDegree=428 maxArity=2
0.77 => wckTime=0.456 cpuTime=0.33 mem=21M531
0.85
0.85 solver LocalSearchSolver being built...
0.89 => wckTime=0.574 cpuTime=0.37 mem=8M258
0.90
0.90 s SATISFIABLE
0.90 o 4783
0.90 c 400
0.90 o 4797
0.90 c 386
0.90 o 4812
0.90 c 371
0.90 o 4826
0.90 c 357
0.90 o 4839
0.90 c 344
0.90 o 4852
0.90 c 331
0.90 o 4862
0.90 c 321
0.90 o 4874
0.90 c 309
0.91 o 4886
0.91 c 297
0.91 o 4898
0.91 c 285
0.91 o 4908
0.91 c 275
0.91 o 4918
0.91 c 265
0.91 o 4927
0.91 c 256
0.91 o 4936
0.91 c 247
0.91 o 4943
0.91 c 240
0.92 o 4950
0.92 c 233
0.92 o 4958
0.92 c 225
0.92 o 4967
0.92 c 216
0.92 o 4975
0.92 c 208
0.92 o 4983
0.92 c 200
0.92 o 4990
0.92 c 193
0.92 o 4997
0.92 c 186
0.92 o 5004
0.92 c 179
0.92 o 5011
0.92 c 172
0.92 o 5018
0.92 c 165
0.92 o 5023
0.92 c 160
0.92 o 5026
0.92 c 157
0.93 o 5032
0.93 c 151
0.93 o 5038
0.93 c 145
0.93 o 5044
0.93 c 139
0.93 o 5050
0.93 c 133
0.93 o 5055
0.93 c 128
0.93 o 5059
0.93 c 124
0.93 o 5065
0.93 c 118
0.93 o 5070
0.93 c 113
0.93 o 5073
0.93 c 110
0.93 o 5078
0.93 c 105
0.93 o 5081
0.93 c 102
0.93 o 5085
0.93 c 98
0.93 o 5089
0.93 c 94
0.93 o 5093
0.93 c 90
0.94 o 5097
0.94 c 86
0.94 o 5098
0.94 c 85
0.94 o 5100
0.94 c 83
0.94 o 5103
0.94 c 80
0.94 o 5106
0.94 c 77
0.94 o 5107
0.94 c 76
0.94 o 5110
0.94 c 73
0.94 o 5113
0.94 c 70
0.94 o 5116
0.94 c 67
0.94 o 5119
0.94 c 64
0.94 o 5122
0.94 c 61
0.94 o 5125
0.94 c 58
0.94 o 5128
0.94 c 55
0.94 o 5130
0.94 c 53
0.94 o 5132
0.94 c 51
0.94 o 5134
0.94 c 49
0.94 o 5136
0.94 c 47
0.94 o 5138
0.94 c 45
0.94 o 5140
0.94 c 43
0.94 o 5141
0.94 c 42
0.94 o 5145
0.94 c 38
0.94 o 5147
0.94 c 36
0.95 o 5149
0.95 c 34
0.95 o 5151
0.95 c 32
0.95 o 5153
0.95 c 30
0.95 o 5155
0.95 c 28
0.95 o 5157
0.95 c 26
0.95 o 5158
0.95 c 25
0.95 o 5160
0.95 c 23
0.95 o 5161
0.95 c 22
0.95 o 5162
0.95 c 21
0.95 o 5163
0.95 c 20
0.95 o 5164
0.95 c 19
0.95 o 5166
0.95 c 17
0.96 o 5168
0.96 c 15
0.96 o 5169
0.96 c 14
0.96 o 5171
0.96 c 12
0.96 o 5173
0.96 c 10
0.96 o 5174
0.96 c 9
0.96 o 5175
0.96 c 8
0.96 o 5176
0.96 c 7
0.98 o 5178
0.98 c 5
0.99 o 5179
0.99 c 4
0.99 o 5180
0.99 c 3
8.34
8.34 search
8.34 run=0 nbConstraintChecks=47242217 nbAssignments=10000
8.34 => wckTime=7.456 cpuTime=7.43 mem=8M258
18.67
18.67 search
18.67 run=1 nbConstraintChecks=116763078 nbAssignments=20000
18.67 => wckTime=17.787 cpuTime=17.75 mem=8M258
25.75
25.75 search
25.75 run=2 nbConstraintChecks=163200669 nbAssignments=30000
25.75 => wckTime=24.865 cpuTime=24.82 mem=8M258
31.02
31.02 search
31.02 run=3 nbConstraintChecks=198349987 nbAssignments=34978
31.02 => wckTime=30.129 cpuTime=30.09 mem=8M258
31.02
31.02 global
31.02 nbConstraintChecks=198349987 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.02 solvingWckTime=30.126 solvingCpuTime=30.09 expiredTime=no totalExploration=no nbFoundSolutions=0
31.02 globalCpuTime=30.5
31.02 => wckTime=30.704 cpuTime=30.46 mem=8M258
31.02
31.02 solver IterativeSystematicSolver being built...
31.16 => wckTime=30.843 cpuTime=30.57 mem=20M240
33.62
33.62 preprocessing
33.62 nbConstraintChecks=5756779 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.62 detectedInconsistency=no
33.62 => wckTime=2.463 cpuTime=2.44 mem=20M240
35.10
35.10 search
35.10 run=0 nbConstraintChecks=2391747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98
35.10 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=126 nbRestartNogoods=0
35.10 => wckTime=3.942 cpuTime=3.91 mem=20M240
37.99
37.99 search
37.99 run=1 nbConstraintChecks=5859193 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198
37.99 nbFailedAssignments=34 nbBacktracks=27 nbVisitedNodes=254 nbRestartNogoods=3
37.99 => wckTime=6.834 cpuTime=6.78 mem=20M240
40.85
40.85 search
40.85 run=2 nbConstraintChecks=9379804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=303
40.85 nbFailedAssignments=52 nbBacktracks=51 nbVisitedNodes=394 nbRestartNogoods=5
40.85 => wckTime=9.689 cpuTime=9.64 mem=20M240
43.40
43.40 search
43.40 run=3 nbConstraintChecks=12822304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=418
43.40 nbFailedAssignments=65 nbBacktracks=84 nbVisitedNodes=541 nbRestartNogoods=8
43.40 => wckTime=12.244 cpuTime=12.19 mem=20M240
50.33
50.33 search
50.33 run=4 nbConstraintChecks=19166451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=594
50.33 nbFailedAssignments=134 nbBacktracks=136 nbVisitedNodes=832 nbRestartNogoods=14
50.33 => wckTime=19.171 cpuTime=19.11 mem=20M240
54.49
54.49 search
54.49 run=5 nbConstraintChecks=22793438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=780
54.49 nbFailedAssignments=180 nbBacktracks=213 nbVisitedNodes=1113 nbRestartNogoods=17
54.49 => wckTime=23.332 cpuTime=23.27 mem=20M240
60.30
60.31 search
60.31 run=6 nbConstraintChecks=29530040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1049
60.31 nbFailedAssignments=271 nbBacktracks=327 nbVisitedNodes=1573 nbRestartNogoods=20
60.31 => wckTime=29.147 cpuTime=29.08 mem=20M240
72.10
72.10 search
72.10 run=7 nbConstraintChecks=41286947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1374
72.10 nbFailedAssignments=363 nbBacktracks=497 nbVisitedNodes=2129 nbRestartNogoods=27
72.10 => wckTime=40.939 cpuTime=40.85 mem=20M240
96.71
96.71 search
96.71 run=8 nbConstraintChecks=64568103 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1951
96.71 nbFailedAssignments=607 nbBacktracks=756 nbVisitedNodes=3159 nbRestartNogoods=33
96.71 => wckTime=65.55 cpuTime=65.45 mem=20M240
134.82
134.82 search
134.82 run=9 nbConstraintChecks=92070250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2965
134.82 nbFailedAssignments=1166 nbBacktracks=1143 nbVisitedNodes=5025 nbRestartNogoods=42
134.82 => wckTime=103.664 cpuTime=103.55 mem=20M240
149.91
149.91 search
149.92 run=10 nbConstraintChecks=109021277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3909
149.92 nbFailedAssignments=1443 nbBacktracks=1722 nbVisitedNodes=6695 nbRestartNogoods=51
149.92 => wckTime=118.757 cpuTime=118.64 mem=20M240
158.62
158.62 search
158.62 run=11 nbConstraintChecks=129124693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5084
158.62 nbFailedAssignments=1627 nbBacktracks=2590 nbVisitedNodes=8810 nbRestartNogoods=58
158.62 => wckTime=127.465 cpuTime=127.34 mem=20M240
185.77
185.77 search
185.77 run=12 nbConstraintChecks=160425906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6916
185.77 nbFailedAssignments=2090 nbBacktracks=3892 nbVisitedNodes=12119 nbRestartNogoods=62
185.77 => wckTime=154.616 cpuTime=154.48 mem=20M240
205.85
205.85 search
205.85 run=13 nbConstraintChecks=200153894 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9408
205.85 nbFailedAssignments=2536 nbBacktracks=5840 nbVisitedNodes=16655 nbRestartNogoods=69
205.85 => wckTime=174.689 cpuTime=174.55 mem=20M240
320.07
320.07 search
320.07 run=14 nbConstraintChecks=253439434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11381
320.07 nbFailedAssignments=2730 nbBacktracks=7620 nbVisitedNodes=20212 nbRestartNogoods=72
320.07 => wckTime=288.911 cpuTime=288.72 mem=20M240
320.07
320.07 global
320.07 nbConstraintChecks=259196213 nbRestartNogoods=72 solvingWckTime=288.912 solvingCpuTime=288.72 expiredTime=no
320.07 totalExploration=yes nbFoundSolutions=0 globalCpuTime=319.33
320.07 => wckTime=319.755 cpuTime=319.29 mem=20M240
320.07
320.07 s OPTIMUM FOUND
320.07 v 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 -1
320.07
320.07 totalWckTime=319.832 totalCpuTime=319.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-280720-1169307451 -o ROOT/results/node33/solver-280720-1169307451 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280720-1169307451/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: 0.93 0.99 1.02 1/65 6033
/proc/meminfo: memFree=1485288/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=1452 CPUtime=0
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 105 0 0 0 0 0 0 0 20 0 1 0 279138948 1486848 77 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6032/statm: 365 89 70 14 0 10 0
[startup+0.102855 s]
/proc/loadavg: 0.93 0.99 1.02 1/65 6033
/proc/meminfo: memFree=1485288/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=912908 CPUtime=0.07
/proc/6032/stat : 6032 (java) S 6030 6032 5237 0 -1 0 2813 0 1 0 6 1 0 0 16 0 8 0 279138948 934817792 2559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228227 2559 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.510939 s]
/proc/loadavg: 0.93 0.99 1.02 1/65 6033
/proc/meminfo: memFree=1485288/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915332 CPUtime=0.46
/proc/6032/stat : 6032 (java) S 6030 6032 5237 0 -1 0 6370 0 1 0 42 4 0 0 16 0 8 0 279138948 937299968 6109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228833 6109 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.3331 s]
/proc/loadavg: 0.93 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451760/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=1.28
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11066 0 1 0 117 11 0 0 17 0 8 0 279138948 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10804 2479 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 846 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.18
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 381 0 0 0 18 0 0 0 15 0 8 0 279138957 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915492
[startup+2.97545 s]
/proc/loadavg: 0.93 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451696/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=2.92
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11070 0 1 0 268 24 0 0 18 0 8 0 279138948 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10807 2479 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 846 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.18
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 384 0 0 0 18 0 0 0 16 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915492
[startup+6.26013 s]
/proc/loadavg: 0.94 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451640/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=6.21
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11070 0 1 0 577 44 0 0 25 0 8 0 279138948 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10807 2479 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 846 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.18
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 384 0 0 0 18 0 0 0 16 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915492
[startup+12.7365 s]
/proc/loadavg: 0.94 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451648/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=12.68
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11073 0 1 0 1195 73 0 0 25 0 8 0 279138948 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10810 2479 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 846 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.19
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 387 0 0 0 19 0 0 0 16 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915492
[startup+25.5662 s]
/proc/loadavg: 0.95 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451712/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=25.5
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11073 0 1 0 2410 140 0 0 25 0 8 0 279138948 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10810 2479 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 846 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.19
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 387 0 0 0 19 0 0 0 16 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915492
[startup+51.2465 s]
/proc/loadavg: 0.97 0.99 1.02 2/72 6040
/proc/meminfo: memFree=1451456/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=51.17
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11238 0 1 0 4951 166 0 0 23 0 8 0 279138948 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10961 2533 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.27
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 441 0 0 0 26 1 0 0 16 0 8 0 279138957 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915492
[startup+102.505 s]
/proc/loadavg: 0.98 0.99 1.01 2/72 6040
/proc/meminfo: memFree=1451392/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=102.41
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11261 0 1 0 10075 166 0 0 25 0 8 0 279138948 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10971 2533 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.29
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 456 0 0 0 28 1 0 0 16 0 8 0 279138957 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915492
[startup+162.589 s]
/proc/loadavg: 0.99 0.99 1.01 2/72 6040
/proc/meminfo: memFree=1451392/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=162.47
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11275 0 1 0 16081 166 0 0 18 0 8 0 279138948 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10975 2533 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.29
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 464 0 0 0 28 1 0 0 16 0 8 0 279138957 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.47
Current children cumulated vsize (KiB) 915492
[startup+222.681 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 6040
/proc/meminfo: memFree=1451392/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=222.55
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11276 0 1 0 22088 167 0 0 25 0 8 0 279138948 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10976 2533 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.3
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 465 0 0 0 29 1 0 0 16 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.55
Current children cumulated vsize (KiB) 915492
[startup+282.766 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 6040
/proc/meminfo: memFree=1451392/2055920 swapFree=4192224/4192956
[pid=6032] ppid=6030 vsize=915492 CPUtime=282.61
/proc/6032/stat : 6032 (java) R 6030 6032 5237 0 -1 0 11276 0 1 0 28094 167 0 0 25 0 8 0 279138948 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228873 10976 2533 14 0 215343 0
[pid=6032/tid=6034] ppid=6030 vsize=915492 CPUtime=0.06
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5237 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138953 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138954 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915492 CPUtime=0.3
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5237 0 -1 64 465 0 0 0 29 1 0 0 16 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915492 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138957 937463808 10976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.61
Current children cumulated vsize (KiB) 915492
Child status: 0
Real time (s): 320.116
CPU time (s): 319.919
CPU user time (s): 318.24
CPU system time (s): 1.67974
CPU usage (%): 99.9385
Max. virtual memory (cumulated for all children) (KiB): 915596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 318.24
system time used= 1.67974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11288
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= 7588
involuntary context switches= 867
runsolver used 0.359945 s user time and 0.78888 s system time
The end
Begin job on node33 on Sat Jan 20 15:37:31 UTC 2007
IDJOB= 280720
IDBENCH= 11927
IDSOLVER= 68
FILE ID= node33/280720-1169307451
PBS_JOBID= 3609893
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/rovers02ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280720-1169307451/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-280720-1169307451 -o ROOT/results/node33/solver-280720-1169307451 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280720-1169307451/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5f2943b448e76146b4533d5d650253e
RANDOM SEED= 793463283
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.281
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.281
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: 1485704 kB
Buffers: 46676 kB
Cached: 438780 kB
SwapCached: 268 kB
Active: 174764 kB
Inactive: 326352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1485704 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 25296 kB
Slab: 55124 kB
Committed_AS: 4694732 kB
PageTables: 1408 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= 66563 MiB
End job on node33 on Sat Jan 20 15:42:51 UTC 2007