0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275183-1169218399/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.101 cpuTime=0.07 mem=6M910
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=853 maxDegree=22
0.63 maxArity=2
0.63 => wckTime=0.307 cpuTime=0.21 mem=12M777
0.67
0.67 solver LocalSearchSolver being built...
0.72 => wckTime=0.396 cpuTime=0.26 mem=5M987
0.72
0.72 s SATISFIABLE
0.72 o 203
0.72 c 50
0.72 o 210
0.72 c 43
0.72 o 214
0.72 c 39
0.73 o 217
0.73 c 36
0.73 o 219
0.73 c 34
0.73 o 222
0.73 c 31
0.73 o 224
0.73 c 29
0.73 o 226
0.73 c 27
0.73 o 227
0.73 c 26
0.73 o 228
0.73 c 25
0.73 o 229
0.73 c 24
0.73 o 230
0.73 c 23
0.74 o 232
0.74 c 21
0.74 o 234
0.74 c 19
0.74 o 236
0.74 c 17
0.74 o 237
0.74 c 16
0.74 o 238
0.74 c 15
0.74 o 239
0.74 c 14
0.74 o 240
0.74 c 13
0.74 o 241
0.74 c 12
0.74 o 243
0.74 c 10
0.74 o 244
0.74 c 9
0.74 o 245
0.74 c 8
0.75 o 246
0.75 c 7
0.75 o 247
0.75 c 6
0.75 o 248
0.75 c 5
0.75 o 249
0.75 c 4
0.84 o 250
0.84 c 3
0.94 o 251
0.94 c 2
3.74
3.74 search
3.74 run=0 nbConstraintChecks=20978991 nbAssignments=10000
3.74 => wckTime=3.023 cpuTime=2.97 mem=5M987
6.67
6.67 search
6.67 run=1 nbConstraintChecks=42193388 nbAssignments=20000
6.67 => wckTime=5.955 cpuTime=5.88 mem=5M987
6.74 o 252
6.74 c 1
6.74
6.74 search
6.74 run=2 nbConstraintChecks=42649874 nbAssignments=20298
6.74 => wckTime=6.024 cpuTime=5.95 mem=5M987
6.74
6.74 global
6.74 nbConstraintChecks=42649874 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.74 solvingWckTime=6.022 solvingCpuTime=5.95 expiredTime=no totalExploration=no nbFoundSolutions=0
6.74 globalCpuTime=6.26
6.74 => wckTime=6.421 cpuTime=6.21 mem=5M987
6.74
6.74 solver IterativeSystematicSolver being built...
6.87 => wckTime=6.553 cpuTime=6.31 mem=16M911
6.88
6.88 preprocessing
6.88 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.88 detectedInconsistency=no
6.88 => wckTime=0.0060 cpuTime=0.0 mem=16M911
6.97
6.97 search
6.97 run=0 nbConstraintChecks=170150 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47
6.97 nbFailedAssignments=32 nbBacktracks=10 nbVisitedNodes=90 nbRestartNogoods=0
6.97 => wckTime=0.091 cpuTime=0.06 mem=16M911
7.04
7.04 search
7.04 run=1 nbConstraintChecks=397931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107
7.04 nbFailedAssignments=73 nbBacktracks=25 nbVisitedNodes=206 nbRestartNogoods=22
7.04 => wckTime=0.163 cpuTime=0.12 mem=16M911
7.09
7.09 search
7.09 run=2 nbConstraintChecks=645219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
7.09 nbFailedAssignments=115 nbBacktracks=47 nbVisitedNodes=337 nbRestartNogoods=32
7.09 => wckTime=0.216 cpuTime=0.17 mem=16M911
7.21
7.21 search
7.21 run=3 nbConstraintChecks=1211708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=331
7.21 nbFailedAssignments=235 nbBacktracks=80 nbVisitedNodes=645 nbRestartNogoods=33
7.21 => wckTime=0.338 cpuTime=0.29 mem=16M911
7.35
7.35 search
7.35 run=4 nbConstraintChecks=1875157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=502
7.35 nbFailedAssignments=351 nbBacktracks=131 nbVisitedNodes=980 nbRestartNogoods=38
7.35 => wckTime=0.476 cpuTime=0.42 mem=16M911
7.50
7.50 search
7.50 run=5 nbConstraintChecks=2602117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=695
7.50 nbFailedAssignments=464 nbBacktracks=206 nbVisitedNodes=1338 nbRestartNogoods=47
7.50 => wckTime=0.624 cpuTime=0.57 mem=16M911
7.71
7.71 search
7.71 run=6 nbConstraintChecks=3627893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=985
7.71 nbFailedAssignments=635 nbBacktracks=319 nbVisitedNodes=1888 nbRestartNogoods=60
7.71 => wckTime=0.84 cpuTime=0.79 mem=16M911
8.00
8.00 search
8.00 run=7 nbConstraintChecks=5022992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1351
8.00 nbFailedAssignments=828 nbBacktracks=490 nbVisitedNodes=2529 nbRestartNogoods=67
8.00 => wckTime=1.129 cpuTime=1.06 mem=16M911
8.43
8.43 search
8.43 run=8 nbConstraintChecks=7069030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1880
8.43 nbFailedAssignments=1096 nbBacktracks=746 nbVisitedNodes=3456 nbRestartNogoods=70
8.43 => wckTime=1.555 cpuTime=1.48 mem=16M911
9.02
9.02 search
9.02 run=9 nbConstraintChecks=10030126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2702
9.02 nbFailedAssignments=1528 nbBacktracks=1130 nbVisitedNodes=4882 nbRestartNogoods=77
9.02 => wckTime=2.149 cpuTime=2.07 mem=16M911
9.86
9.86 search
9.86 run=10 nbConstraintChecks=14222776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3848
9.86 nbFailedAssignments=2092 nbBacktracks=1706 nbVisitedNodes=6832 nbRestartNogoods=86
9.86 => wckTime=2.987 cpuTime=2.9 mem=16M911
11.10
11.10 search
11.10 run=11 nbConstraintChecks=20500175 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5537
11.10 nbFailedAssignments=2912 nbBacktracks=2570 nbVisitedNodes=9684 nbRestartNogoods=103
11.10 => wckTime=4.228 cpuTime=4.13 mem=16M911
13.02
13.02 search
13.02 run=12 nbConstraintChecks=30160816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8117
13.02 nbFailedAssignments=4190 nbBacktracks=3868 nbVisitedNodes=14071 nbRestartNogoods=114
13.02 => wckTime=6.146 cpuTime=6.03 mem=16M911
15.86
15.86 search
15.86 run=13 nbConstraintChecks=44505861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11953
15.86 nbFailedAssignments=6075 nbBacktracks=5814 nbVisitedNodes=20581 nbRestartNogoods=124
15.86 => wckTime=8.982 cpuTime=8.84 mem=16M911
20.08
20.08 search
20.08 run=14 nbConstraintChecks=65848955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17613
20.08 nbFailedAssignments=8810 nbBacktracks=8735 nbVisitedNodes=30133 nbRestartNogoods=136
20.08 => wckTime=13.209 cpuTime=13.03 mem=16M911
26.25
26.25 search
26.25 run=15 nbConstraintChecks=97020632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26021
26.25 nbFailedAssignments=12837 nbBacktracks=13113 nbVisitedNodes=44280 nbRestartNogoods=143
26.25 => wckTime=19.377 cpuTime=19.14 mem=16M911
35.55
35.55 search
35.55 run=16 nbConstraintChecks=144296465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38686
35.55 nbFailedAssignments=18929 nbBacktracks=19681 nbVisitedNodes=65527 nbRestartNogoods=156
35.55 => wckTime=28.68 cpuTime=28.37 mem=16M911
49.38
49.38 search
49.38 run=17 nbConstraintChecks=214390890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57465
49.38 nbFailedAssignments=27851 nbBacktracks=29533 nbVisitedNodes=97034 nbRestartNogoods=176
49.38 => wckTime=42.507 cpuTime=42.08 mem=16M911
70.05
70.05 search
70.05 run=18 nbConstraintChecks=319263444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85572
70.05 nbFailedAssignments=41175 nbBacktracks=44312 nbVisitedNodes=144098 nbRestartNogoods=183
70.05 => wckTime=63.18 cpuTime=62.59 mem=16M911
101.62
101.62 search
101.62 run=19 nbConstraintChecks=479458662 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127867
101.62 nbFailedAssignments=61296 nbBacktracks=66481 nbVisitedNodes=215364 nbRestartNogoods=203
101.62 => wckTime=94.744 cpuTime=93.91 mem=16M911
147.99
147.99 search
147.99 run=20 nbConstraintChecks=714146650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191098
147.99 nbFailedAssignments=91270 nbBacktracks=99735 nbVisitedNodes=321548 nbRestartNogoods=213
147.99 => wckTime=141.113 cpuTime=139.88 mem=16M911
218.55
218.55 search
218.55 run=21 nbConstraintChecks=1071753216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=286429
218.55 nbFailedAssignments=136719 nbBacktracks=149613 nbVisitedNodes=482021 nbRestartNogoods=236
218.55 => wckTime=211.673 cpuTime=209.85 mem=16M911
324.97
324.97 search
324.97 run=22 nbConstraintChecks=1611867057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429708
324.97 nbFailedAssignments=205175 nbBacktracks=224431 nbVisitedNodes=723305 nbRestartNogoods=263
324.97 => wckTime=318.099 cpuTime=315.41 mem=16M911
481.90
481.90 search
481.90 run=23 nbConstraintChecks=2407022049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=643198
481.90 nbFailedAssignments=306434 nbBacktracks=336658 nbVisitedNodes=1081242 nbRestartNogoods=282
481.90 => wckTime=475.03 cpuTime=470.95 mem=16M911
657.57
657.57 search
657.57 run=24 nbConstraintChecks=3296387365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=880688
657.57 nbFailedAssignments=419900 nbBacktracks=460683 nbVisitedNodes=1481164 nbRestartNogoods=287
657.57 => wckTime=650.698 cpuTime=645.04 mem=16M911
657.57
657.57 global
657.57 nbConstraintChecks=3296387365 nbRestartNogoods=287 solvingWckTime=650.7 solvingCpuTime=645.04 expiredTime=no
657.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=651.4
657.57 => wckTime=657.253 cpuTime=651.35 mem=16M911
657.58
657.58 s OPTIMUM FOUND
657.58 v 17 1 19 3 17 6 6 21 12 7 8 8 18 5 0 16 1 14 0 9 0 6 12
657.58
657.58 totalWckTime=657.333 totalCpuTime=651.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-275183-1169218399 -o ROOT/results/node40/solver-275183-1169218399 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275183-1169218399/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.01 2.01 1.91 2/73 30430
/proc/meminfo: memFree=1591160/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=18540 CPUtime=0
/proc/30429/stat : 30429 (runsolver) R 30427 30429 29909 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270239265 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30429/statm: 4635 279 244 17 0 2626 0
[startup+0.101645 s]
/proc/loadavg: 2.01 2.01 1.91 2/73 30430
/proc/meminfo: memFree=1591160/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=913228 CPUtime=0.09
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 2919 0 1 0 7 2 0 0 19 0 8 0 270239265 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7370540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913228
[startup+0.509696 s]
/proc/loadavg: 2.01 2.01 1.91 2/73 30430
/proc/meminfo: memFree=1591160/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915332 CPUtime=0.48
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 6751 0 1 0 43 5 0 0 18 0 8 0 270239265 937299968 6490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228833 6490 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3308 s]
/proc/loadavg: 2.01 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1569024/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=1.29
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 8214 0 1 0 115 14 0 0 25 0 8 0 270239265 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 7952 2476 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 274 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.15
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 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.96801 s]
/proc/loadavg: 2.01 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1569024/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=2.92
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 8215 0 1 0 258 34 0 0 25 0 8 0 270239265 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 7952 2476 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 274 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.15
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 7952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.25744 s]
/proc/loadavg: 2.01 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1568960/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915468 CPUtime=6.18
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 8217 0 1 0 539 79 0 0 25 0 8 0 270239265 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228867 7954 2476 14 0 215337 0
[pid=30429/tid=30431] ppid=30427 vsize=915468 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 274 0 0 0 2 0 0 0 16 0 8 0 270239269 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915468 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915468 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915468 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915468 CPUtime=0.15
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 270239273 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915468 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937439232 7954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915468 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937439232 7954 18446744073709551615 134512640 134570532 4294956480 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) 915468
[startup+12.7353 s]
/proc/loadavg: 2.01 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1565448/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=12.6
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9135 0 1 0 1174 86 0 0 25 0 8 0 270239265 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8867 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 17 0 8 0 270239269 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 402 0 0 0 25 1 0 0 15 0 8 0 270239273 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6019 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1565512/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=25.36
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9144 0 1 0 2450 86 0 0 25 0 8 0 270239265 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8874 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 17 0 8 0 270239269 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2073 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1565576/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=50.75
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9153 0 1 0 4989 86 0 0 25 0 8 0 270239265 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8882 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915464
[startup+102.41 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1565512/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=101.55
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9158 0 1 0 10069 86 0 0 25 0 8 0 270239265 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8886 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915464
[startup+162.455 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 30437
/proc/meminfo: memFree=1565576/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=161.09
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9161 0 1 0 16023 86 0 0 25 0 8 0 270239265 937435136 8889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073902424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915464
[startup+282.541 s]
/proc/loadavg: 2.08 2.02 1.92 3/80 30437
/proc/meminfo: memFree=1565512/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=280.2
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9163 0 1 0 27933 87 0 0 25 0 8 0 270239265 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8891 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.2
Current children cumulated vsize (KiB) 915464
[startup+342.583 s]
/proc/loadavg: 2.03 2.01 1.92 3/80 30437
/proc/meminfo: memFree=1565512/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=339.75
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9166 0 1 0 33888 87 0 0 25 0 8 0 270239265 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8894 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 915464
[startup+402.628 s]
/proc/loadavg: 2.01 2.00 1.92 4/80 30437
/proc/meminfo: memFree=1565512/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=399.31
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9166 0 1 0 39844 87 0 0 25 0 8 0 270239265 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8894 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.31
Current children cumulated vsize (KiB) 915464
[startup+462.679 s]
/proc/loadavg: 2.00 2.00 1.92 3/86 30463
/proc/meminfo: memFree=1564184/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=458.84
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9166 0 1 0 45796 88 0 0 25 0 8 0 270239265 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8894 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.84
Current children cumulated vsize (KiB) 915464
[startup+522.747 s]
/proc/loadavg: 2.08 2.02 1.93 3/86 30609
/proc/meminfo: memFree=1564240/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=518.22
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9168 0 1 0 51734 88 0 0 25 0 8 0 270239265 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8896 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.22
Current children cumulated vsize (KiB) 915464
[startup+582.798 s]
/proc/loadavg: 2.06 2.03 1.93 3/80 30635
/proc/meminfo: memFree=1565192/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=577.74
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9168 0 1 0 57686 88 0 0 25 0 8 0 270239265 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8896 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) R 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.74
Current children cumulated vsize (KiB) 915464
[startup+642.837 s]
/proc/loadavg: 2.02 2.02 1.93 3/80 30635
/proc/meminfo: memFree=1565192/2055920 swapFree=4191892/4192956
[pid=30429] ppid=30427 vsize=915464 CPUtime=637.29
/proc/30429/stat : 30429 (java) R 30427 30429 29909 0 -1 0 9168 0 1 0 63641 88 0 0 25 0 8 0 270239265 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30429/statm: 228866 8896 2527 14 0 215336 0
[pid=30429/tid=30431] ppid=30427 vsize=915464 CPUtime=0.02
/proc/30429/task/30431/stat : 30431 (java) S 30427 30429 29909 0 -1 64 275 0 0 0 2 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30432] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30432/stat : 30432 (java) S 30427 30429 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30433] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30433/stat : 30433 (java) S 30427 30429 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270239269 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30434] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30434/stat : 30434 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30435] ppid=30427 vsize=915464 CPUtime=0.26
/proc/30429/task/30435/stat : 30435 (java) S 30427 30429 29909 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30436] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30436/stat : 30436 (java) S 30427 30429 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30429/tid=30437] ppid=30427 vsize=915464 CPUtime=0
/proc/30429/task/30437/stat : 30437 (java) S 30427 30429 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270239273 937435136 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.29
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 657.815
CPU time (s): 651.938
CPU user time (s): 651.041
CPU system time (s): 0.896863
CPU usage (%): 99.1066
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 651.041
system time used= 0.896863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9265
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= 14480
involuntary context switches= 27594
runsolver used 0.895863 s user time and 1.85772 s system time
The end
Begin job on node40 on Fri Jan 19 14:53:19 UTC 2007
IDJOB= 275183
IDBENCH= 3633
IDSOLVER= 69
FILE ID= node40/275183-1169218399
PBS_JOBID= 3589155
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275183-1169218399/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-275183-1169218399 -o ROOT/results/node40/solver-275183-1169218399 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275183-1169218399/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f66f924f2e0721e2592069e4e3d60368
RANDOM SEED= 508155935
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.239
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.239
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: 1591640 kB
Buffers: 40092 kB
Cached: 324460 kB
SwapCached: 268 kB
Active: 109896 kB
Inactive: 277476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591640 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4416 kB
Writeback: 0 kB
Mapped: 33104 kB
Slab: 62432 kB
Committed_AS: 4933172 kB
PageTables: 1736 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 node40 on Fri Jan 19 15:04:17 UTC 2007