0.39
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=pfc.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/280721-1169307459/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.52 nbVariables=153 nbDomainTypes=8 minDomainSize=1 maxDomainSize=24
0.52 => wckTime=0.119 cpuTime=0.09 mem=6M910
0.52
0.52 relations being loaded...
0.54
0.54 constraints being loaded...
0.85 nbConstraints=5183 nbRelationTypes=148 nbSingletonDomainVariables=1 nbExtensionStructures=488
0.85 nbSharedExtensionStructures=4695 nbConflictsStructures=488 nbSharedConflictsStructures=4695
0.85 nbSharedBinaryRepresentations=8093 maxDegree=428 maxArity=2
0.85 => wckTime=0.455 cpuTime=0.33 mem=21M586
0.93
0.93 solver LocalSearchSolver being built...
0.97 => wckTime=0.572 cpuTime=0.37 mem=8M258
0.98
0.98 s SATISFIABLE
0.98 o 4783
0.98 c 400
0.98 o 4797
0.98 c 386
0.98 o 4812
0.98 c 371
0.98 o 4826
0.98 c 357
0.98 o 4839
0.98 c 344
0.98 o 4852
0.98 c 331
0.98 o 4862
0.98 c 321
0.98 o 4874
0.98 c 309
0.98 o 4886
0.98 c 297
0.99 o 4898
0.99 c 285
0.99 o 4908
0.99 c 275
0.99 o 4918
0.99 c 265
0.99 o 4927
0.99 c 256
0.99 o 4936
0.99 c 247
0.99 o 4943
0.99 c 240
0.99 o 4950
0.99 c 233
1.00 o 4958
1.00 c 225
1.00 o 4967
1.00 c 216
1.00 o 4975
1.00 c 208
1.00 o 4983
1.00 c 200
1.00 o 4990
1.00 c 193
1.00 o 4997
1.00 c 186
1.00 o 5004
1.00 c 179
1.00 o 5011
1.00 c 172
1.00 o 5018
1.00 c 165
1.00 o 5023
1.00 c 160
1.00 o 5026
1.00 c 157
1.01 o 5032
1.01 c 151
1.01 o 5038
1.01 c 145
1.01 o 5044
1.01 c 139
1.01 o 5050
1.01 c 133
1.01 o 5055
1.01 c 128
1.01 o 5059
1.01 c 124
1.01 o 5065
1.01 c 118
1.01 o 5070
1.01 c 113
1.01 o 5073
1.01 c 110
1.01 o 5078
1.01 c 105
1.01 o 5081
1.01 c 102
1.01 o 5085
1.01 c 98
1.01 o 5089
1.01 c 94
1.01 o 5093
1.01 c 90
1.01 o 5097
1.01 c 86
1.02 o 5098
1.02 c 85
1.02 o 5100
1.02 c 83
1.02 o 5103
1.02 c 80
1.02 o 5106
1.02 c 77
1.02 o 5107
1.02 c 76
1.02 o 5110
1.02 c 73
1.02 o 5113
1.02 c 70
1.02 o 5116
1.02 c 67
1.02 o 5119
1.02 c 64
1.02 o 5122
1.02 c 61
1.02 o 5125
1.02 c 58
1.02 o 5128
1.02 c 55
1.02 o 5130
1.02 c 53
1.02 o 5132
1.02 c 51
1.02 o 5134
1.02 c 49
1.02 o 5136
1.02 c 47
1.02 o 5138
1.02 c 45
1.02 o 5140
1.02 c 43
1.02 o 5141
1.02 c 42
1.02 o 5145
1.02 c 38
1.02 o 5147
1.02 c 36
1.03 o 5149
1.03 c 34
1.03 o 5151
1.03 c 32
1.03 o 5153
1.03 c 30
1.03 o 5155
1.03 c 28
1.03 o 5157
1.03 c 26
1.03 o 5158
1.03 c 25
1.03 o 5160
1.03 c 23
1.03 o 5161
1.03 c 22
1.03 o 5162
1.03 c 21
1.03 o 5163
1.03 c 20
1.03 o 5164
1.03 c 19
1.03 o 5166
1.03 c 17
1.04 o 5168
1.04 c 15
1.04 o 5169
1.04 c 14
1.04 o 5171
1.04 c 12
1.04 o 5173
1.04 c 10
1.04 o 5174
1.04 c 9
1.04 o 5175
1.04 c 8
1.04 o 5176
1.04 c 7
1.06 o 5178
1.06 c 5
1.07 o 5179
1.07 c 4
1.07 o 5180
1.07 c 3
8.07
8.07 search
8.07 run=0 nbConstraintChecks=47242217 nbAssignments=10000
8.07 => wckTime=7.101 cpuTime=7.07 mem=8M258
18.03
18.03 search
18.03 run=1 nbConstraintChecks=116763078 nbAssignments=20000
18.03 => wckTime=17.066 cpuTime=17.03 mem=8M258
24.92
24.92 search
24.92 run=2 nbConstraintChecks=163200669 nbAssignments=30000
24.92 => wckTime=23.949 cpuTime=23.9 mem=8M258
31.11
31.11 search
31.11 run=3 nbConstraintChecks=206529261 nbAssignments=36188
31.11 => wckTime=30.148 cpuTime=30.1 mem=8M258
31.12
31.12 global
31.12 nbConstraintChecks=206529261 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 solvingWckTime=30.146 solvingCpuTime=30.1 expiredTime=no totalExploration=no nbFoundSolutions=0
31.12 globalCpuTime=30.52
31.12 => wckTime=30.721 cpuTime=30.47 mem=8M258
31.12
31.12 solver IterativeSystematicSolver being built...
31.25 => wckTime=30.859 cpuTime=30.58 mem=20M239
31.29
31.29 preprocessing
31.29 nbConstraintChecks=526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.29 detectedInconsistency=no
31.29 => wckTime=0.031 cpuTime=0.02 mem=20M239
32.53
32.53 search
32.53 run=0 nbConstraintChecks=2348392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
32.53 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=105 nbRestartNogoods=0
32.53 => wckTime=1.269 cpuTime=1.23 mem=20M239
34.18
34.18 search
34.18 run=1 nbConstraintChecks=4975372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
34.18 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=214 nbRestartNogoods=4
34.18 => wckTime=2.924 cpuTime=2.87 mem=20M239
36.43
36.43 search
36.43 run=2 nbConstraintChecks=7953834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=280
36.43 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=356 nbRestartNogoods=5
36.43 => wckTime=5.175 cpuTime=5.11 mem=20M239
39.57
39.57 search
39.57 run=3 nbConstraintChecks=11836813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=402
39.57 nbFailedAssignments=72 nbBacktracks=80 nbVisitedNodes=530 nbRestartNogoods=7
39.57 => wckTime=8.316 cpuTime=8.24 mem=20M239
44.18
44.18 search
44.18 run=4 nbConstraintChecks=16590333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=556
44.18 nbFailedAssignments=116 nbBacktracks=130 nbVisitedNodes=762 nbRestartNogoods=9
44.18 => wckTime=12.924 cpuTime=12.84 mem=20M239
49.65
49.65 search
49.65 run=5 nbConstraintChecks=23072335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=771
49.65 nbFailedAssignments=188 nbBacktracks=205 nbVisitedNodes=1102 nbRestartNogoods=11
49.65 => wckTime=18.392 cpuTime=18.31 mem=20M239
60.67
60.67 search
60.67 run=6 nbConstraintChecks=35453392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1075
60.67 nbFailedAssignments=299 nbBacktracks=318 nbVisitedNodes=1600 nbRestartNogoods=16
60.67 => wckTime=29.412 cpuTime=29.32 mem=20M239
68.23
68.23 search
68.23 run=7 nbConstraintChecks=44208104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1488
68.23 nbFailedAssignments=456 nbBacktracks=492 nbVisitedNodes=2304 nbRestartNogoods=22
68.23 => wckTime=36.978 cpuTime=36.86 mem=20M239
77.29
77.29 search
77.29 run=8 nbConstraintChecks=56465934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2120
77.29 nbFailedAssignments=745 nbBacktracks=751 nbVisitedNodes=3463 nbRestartNogoods=32
77.29 => wckTime=46.036 cpuTime=45.9 mem=20M239
80.67
80.67 search
80.67 run=9 nbConstraintChecks=66670797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2734
80.67 nbFailedAssignments=840 nbBacktracks=1141 nbVisitedNodes=4541 nbRestartNogoods=36
80.67 => wckTime=49.416 cpuTime=49.26 mem=20M239
85.26
85.26 search
85.26 run=10 nbConstraintChecks=79889902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3597
85.26 nbFailedAssignments=1005 nbBacktracks=1717 nbVisitedNodes=6094 nbRestartNogoods=38
85.26 => wckTime=54.008 cpuTime=53.85 mem=20M239
91.71
91.71 search
91.71 run=11 nbConstraintChecks=98251341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4835
91.71 nbFailedAssignments=1253 nbBacktracks=2585 nbVisitedNodes=8390 nbRestartNogoods=41
91.71 => wckTime=60.457 cpuTime=60.29 mem=20M239
186.57
186.57 search
186.57 run=12 nbConstraintChecks=190776609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7500
186.57 nbFailedAssignments=2563 nbBacktracks=3882 nbVisitedNodes=13500 nbRestartNogoods=46
186.57 => wckTime=155.316 cpuTime=155.07 mem=20M239
202.48
202.48 search
202.48 run=13 nbConstraintChecks=223856456 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10012
202.48 nbFailedAssignments=2992 nbBacktracks=5836 nbVisitedNodes=18082 nbRestartNogoods=50
202.48 => wckTime=171.223 cpuTime=170.98 mem=20M239
274.84
274.84 search
274.84 run=14 nbConstraintChecks=312258800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13667
274.84 nbFailedAssignments=3641 nbBacktracks=8759 nbVisitedNodes=24735 nbRestartNogoods=56
274.84 => wckTime=243.585 cpuTime=243.28 mem=20M239
360.70
360.70 search
360.70 run=15 nbConstraintChecks=413235992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19092
360.70 nbFailedAssignments=4590 nbBacktracks=13138 nbVisitedNodes=34142 nbRestartNogoods=61
360.70 => wckTime=329.444 cpuTime=329.07 mem=20M239
372.71
372.71 search
372.71 run=16 nbConstraintChecks=421431312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19397
372.71 nbFailedAssignments=4632 nbBacktracks=13402 nbVisitedNodes=34716 nbRestartNogoods=66
372.71 => wckTime=341.455 cpuTime=341.08 mem=20M239
372.71
372.71 global
372.71 nbConstraintChecks=421431838 nbRestartNogoods=66 solvingWckTime=341.456 solvingCpuTime=341.08 expiredTime=no
372.71 totalExploration=yes nbFoundSolutions=0 globalCpuTime=371.71
372.71 => wckTime=372.317 cpuTime=371.66 mem=20M239
372.71
372.71 s OPTIMUM FOUND
372.71 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
372.71
372.72 totalWckTime=372.391 totalCpuTime=371.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-280721-1169307459 -o ROOT/results/node25/solver-280721-1169307459 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=1784 CPUtime=0
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 279138331 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/26441/statm: 446 136 102 14 0 91 0
[startup+0.107379 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=47976 CPUtime=0
/proc/26441/stat : 26441 (java) D 26439 26441 25567 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 279138331 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/26441/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.515447 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 26442
/proc/meminfo: memFree=1358008/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915332 CPUtime=0.39
/proc/26441/stat : 26441 (java) S 26439 26441 25567 0 -1 0 6181 0 1 0 36 3 0 0 16 0 8 0 279138331 937299968 5920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26441/statm: 228833 5920 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332
[startup+1.34358 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324416/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=1.22
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11058 0 1 0 112 10 0 0 17 0 8 0 279138331 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10796 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.17
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 383 0 0 0 17 0 0 0 15 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915492
[startup+2.98086 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324224/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=2.85
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11062 0 1 0 263 22 0 0 18 0 8 0 279138331 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10799 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 386 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915492
[startup+6.27542 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324232/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=6.14
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11062 0 1 0 575 39 0 0 25 0 8 0 279138331 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10799 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 386 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915492
[startup+12.7485 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324232/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=12.61
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11065 0 1 0 1194 67 0 0 25 0 8 0 279138331 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10802 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 389 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915492
[startup+25.5967 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324360/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=25.45
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11065 0 1 0 2412 133 0 0 25 0 8 0 279138331 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10802 2476 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 847 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.18
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 389 0 0 0 18 0 0 0 16 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915492
[startup+51.1991 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324168/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=51.02
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11219 0 1 0 4941 161 0 0 25 0 8 0 279138331 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10948 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.27
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 440 0 0 0 26 1 0 0 16 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915492
[startup+102.485 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324104/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=102.25
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11240 0 1 0 10064 161 0 0 25 0 8 0 279138331 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10961 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 459 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915492
[startup+162.496 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324104/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=162.22
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 16061 161 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 915492
[startup+222.514 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324040/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=222.19
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 22058 161 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074075732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 915492
[startup+282.541 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1324040/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=282.18
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 28056 162 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 915492
[startup+342.572 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 26449
/proc/meminfo: memFree=1323976/2055920 swapFree=4170284/4192956
[pid=26441] ppid=26439 vsize=915492 CPUtime=342.17
/proc/26441/stat : 26441 (java) R 26439 26441 25567 0 -1 0 11241 0 1 0 34055 162 0 0 25 0 8 0 279138331 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26441/statm: 228873 10962 2528 14 0 215343 0
[pid=26441/tid=26443] ppid=26439 vsize=915492 CPUtime=0.06
/proc/26441/task/26443/stat : 26443 (java) S 26439 26441 25567 0 -1 64 848 0 0 0 6 0 0 0 16 0 8 0 279138344 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26441/tid=26444] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26444/stat : 26444 (java) S 26439 26441 25567 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26445] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26445/stat : 26445 (java) S 26439 26441 25567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279138345 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26446] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26446/stat : 26446 (java) S 26439 26441 25567 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26447] ppid=26439 vsize=915492 CPUtime=0.3
/proc/26441/task/26447/stat : 26447 (java) S 26439 26441 25567 0 -1 64 460 0 0 0 29 1 0 0 16 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26448] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26448/stat : 26448 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26441/tid=26449] ppid=26439 vsize=915492 CPUtime=0
/proc/26441/task/26449/stat : 26449 (java) S 26439 26441 25567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279138348 937463808 10962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 915492
Child status: 0
Real time (s): 372.735
CPU time (s): 372.296
CPU user time (s): 370.67
CPU system time (s): 1.62675
CPU usage (%): 99.8824
Max. virtual memory (cumulated for all children) (KiB): 915496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.67
system time used= 1.62675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11254
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= 8708
involuntary context switches= 13339
runsolver used 0.372943 s user time and 0.971852 s system time
The end
Begin job on node25 on Sat Jan 20 15:37:39 UTC 2007
IDJOB= 280721
IDBENCH= 11927
IDSOLVER= 69
FILE ID= node25/280721-1169307459
PBS_JOBID= 3609896
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-280721-1169307459 -o ROOT/results/node25/solver-280721-1169307459 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280721-1169307459/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5f2943b448e76146b4533d5d650253e
RANDOM SEED= 970985523
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.279
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.279
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: 1358360 kB
Buffers: 45080 kB
Cached: 548152 kB
SwapCached: 8568 kB
Active: 203276 kB
Inactive: 420204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1358360 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 38148 kB
Slab: 59360 kB
Committed_AS: 5161084 kB
PageTables: 1940 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 node25 on Sat Jan 20 15:43:52 UTC 2007