0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=pfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/276689-1169244314/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.46 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.46
0.46 relations being loaded...
0.57
0.57 constraints being loaded...
0.65 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.65 => wckTime=0.29 cpuTime=0.23 mem=15M703
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.375 cpuTime=0.28 mem=5M927
0.74
0.74 s SATISFIABLE
0.74 o 50
0.74 c 85
0.74 o 56
0.74 c 79
0.75 o 61
0.75 c 74
0.75 o 65
0.75 c 70
0.75 o 69
0.75 c 66
0.75 o 74
0.75 c 61
0.75 o 78
0.75 c 57
0.75 o 82
0.75 c 53
0.75 o 86
0.75 c 49
0.75 o 88
0.75 c 47
0.75 o 91
0.75 c 44
0.75 o 93
0.75 c 42
0.75 o 96
0.75 c 39
0.75 o 98
0.75 c 37
0.76 o 99
0.76 c 36
0.76 o 100
0.76 c 35
0.76 o 102
0.76 c 33
0.76 o 104
0.76 c 31
0.76 o 106
0.76 c 29
0.76 o 109
0.76 c 26
0.76 o 110
0.76 c 25
0.76 o 112
0.76 c 23
0.76 o 113
0.76 c 22
0.76 o 116
0.76 c 19
0.76 o 117
0.76 c 18
0.76 o 118
0.76 c 17
0.77 o 119
0.77 c 16
0.77 o 120
0.77 c 15
0.77 o 122
0.77 c 13
0.77 o 123
0.77 c 12
0.77 o 125
0.77 c 10
0.80 o 126
0.80 c 9
0.81 o 127
0.81 c 8
0.81 o 128
0.81 c 7
0.84 o 129
0.84 c 6
0.84 o 130
0.84 c 5
1.10 o 131
1.10 c 4
4.14
4.14 search
4.14 run=0 nbConstraintChecks=25722874 nbAssignments=10000
4.14 => wckTime=3.403 cpuTime=3.35 mem=5M927
7.68
7.68 search
7.68 run=1 nbConstraintChecks=52766882 nbAssignments=20000
7.68 => wckTime=6.951 cpuTime=6.89 mem=5M927
7.90 o 132
7.90 c 3
10.92
10.92 search
10.92 run=2 nbConstraintChecks=77064391 nbAssignments=30000
10.92 => wckTime=10.191 cpuTime=10.12 mem=5M927
14.55
14.55 search
14.55 run=3 nbConstraintChecks=105045542 nbAssignments=40000
14.55 => wckTime=13.822 cpuTime=13.76 mem=5M927
17.83
17.83 search
17.83 run=4 nbConstraintChecks=129886558 nbAssignments=50000
17.83 => wckTime=17.099 cpuTime=17.04 mem=5M927
21.50
21.50 search
21.50 run=5 nbConstraintChecks=158346284 nbAssignments=60000
21.50 => wckTime=20.77 cpuTime=20.71 mem=5M927
24.89
24.90 search
24.90 run=6 nbConstraintChecks=184078691 nbAssignments=70000
24.90 => wckTime=24.163 cpuTime=24.1 mem=5M927
27.90
27.90 search
27.90 run=7 nbConstraintChecks=206247641 nbAssignments=80000
27.90 => wckTime=27.17 cpuTime=27.1 mem=5M927
31.38
31.38 search
31.38 run=8 nbConstraintChecks=232771317 nbAssignments=90000
31.38 => wckTime=30.649 cpuTime=30.58 mem=5M927
34.78
34.78 search
34.78 run=9 nbConstraintChecks=258622999 nbAssignments=100000
34.78 => wckTime=34.045 cpuTime=33.97 mem=5M927
37.80 o 133
37.80 c 2
37.96
37.96 search
37.96 run=10 nbConstraintChecks=282614494 nbAssignments=110000
37.96 => wckTime=37.229 cpuTime=37.15 mem=5M927
41.33
41.33 search
41.33 run=11 nbConstraintChecks=308112110 nbAssignments=120000
41.33 => wckTime=40.601 cpuTime=40.53 mem=5M927
44.64
44.64 search
44.64 run=12 nbConstraintChecks=332868043 nbAssignments=130000
44.64 => wckTime=43.904 cpuTime=43.83 mem=5M927
48.29
48.29 search
48.29 run=13 nbConstraintChecks=360526876 nbAssignments=140000
48.29 => wckTime=47.557 cpuTime=47.46 mem=5M927
51.68
51.68 search
51.68 run=14 nbConstraintChecks=386139705 nbAssignments=150000
51.68 => wckTime=50.948 cpuTime=50.84 mem=5M927
55.35
55.35 search
55.35 run=15 nbConstraintChecks=414520712 nbAssignments=160000
55.35 => wckTime=54.614 cpuTime=54.5 mem=5M927
58.79
58.79 search
58.79 run=16 nbConstraintChecks=440966815 nbAssignments=170000
58.79 => wckTime=58.053 cpuTime=57.94 mem=5M927
62.21
62.21 search
62.21 run=17 nbConstraintChecks=467035362 nbAssignments=180000
62.21 => wckTime=61.476 cpuTime=61.36 mem=5M927
65.47
65.47 search
65.47 run=18 nbConstraintChecks=491489190 nbAssignments=190000
65.47 => wckTime=64.739 cpuTime=64.62 mem=5M927
67.85
67.85 search
67.85 run=19 nbConstraintChecks=509461617 nbAssignments=196951
67.85 => wckTime=67.115 cpuTime=67.0 mem=5M927
67.85
67.85 global
67.85 nbConstraintChecks=509461617 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
67.85 solvingWckTime=67.112 solvingCpuTime=67.0 expiredTime=no totalExploration=no nbFoundSolutions=0
67.85 globalCpuTime=67.32
67.85 => wckTime=67.491 cpuTime=67.28 mem=5M927
67.85
67.85 solver IterativeSystematicSolver being built...
67.97 => wckTime=67.61 cpuTime=67.38 mem=16M932
67.98
67.98 preprocessing
67.98 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
67.98 detectedInconsistency=no
67.98 => wckTime=0.0060 cpuTime=0.0 mem=16M932
68.14
68.14 search
68.14 run=0 nbConstraintChecks=364749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
68.14 nbFailedAssignments=37 nbBacktracks=10 nbVisitedNodes=105 nbRestartNogoods=0
68.14 => wckTime=0.167 cpuTime=0.14 mem=16M932
68.26
68.26 search
68.26 run=1 nbConstraintChecks=908324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=147
68.26 nbFailedAssignments=102 nbBacktracks=25 nbVisitedNodes=275 nbRestartNogoods=19
68.26 => wckTime=0.292 cpuTime=0.26 mem=16M932
68.43
68.43 search
68.43 run=2 nbConstraintChecks=1461347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230
68.43 nbFailedAssignments=153 nbBacktracks=47 nbVisitedNodes=431 nbRestartNogoods=52
68.43 => wckTime=0.457 cpuTime=0.42 mem=16M932
68.77
68.77 search
68.77 run=3 nbConstraintChecks=3558246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=598
68.77 nbFailedAssignments=476 nbBacktracks=81 nbVisitedNodes=1156 nbRestartNogoods=58
68.77 => wckTime=0.796 cpuTime=0.76 mem=16M932
69.46
69.46 search
69.46 run=4 nbConstraintChecks=7536519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1333
69.46 nbFailedAssignments=1151 nbBacktracks=131 nbVisitedNodes=2616 nbRestartNogoods=133
69.46 => wckTime=1.487 cpuTime=1.44 mem=16M932
69.92
69.92 search
69.92 run=5 nbConstraintChecks=9837362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1808
69.92 nbFailedAssignments=1539 nbBacktracks=206 nbVisitedNodes=3554 nbRestartNogoods=157
69.92 => wckTime=1.948 cpuTime=1.89 mem=16M932
71.28
71.28 search
71.28 run=6 nbConstraintChecks=16831660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3068
71.28 nbFailedAssignments=2673 nbBacktracks=319 nbVisitedNodes=6061 nbRestartNogoods=209
71.28 => wckTime=3.314 cpuTime=3.25 mem=16M932
73.13
73.13 search
73.13 run=7 nbConstraintChecks=25968227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5028
73.13 nbFailedAssignments=4450 nbBacktracks=489 nbVisitedNodes=9968 nbRestartNogoods=243
73.13 => wckTime=5.162 cpuTime=5.09 mem=16M932
76.84
76.84 search
76.84 run=8 nbConstraintChecks=45424313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7883
76.84 nbFailedAssignments=7037 nbBacktracks=745 nbVisitedNodes=15665 nbRestartNogoods=310
76.84 => wckTime=8.867 cpuTime=8.8 mem=16M932
81.68
81.68 search
81.68 run=9 nbConstraintChecks=73313073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13475
81.68 nbFailedAssignments=12233 nbBacktracks=1129 nbVisitedNodes=26836 nbRestartNogoods=362
81.68 => wckTime=13.71 cpuTime=13.64 mem=16M932
86.86
86.86 search
86.86 run=10 nbConstraintChecks=99077828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17733
86.86 nbFailedAssignments=15905 nbBacktracks=1705 nbVisitedNodes=35342 nbRestartNogoods=392
86.86 => wckTime=18.886 cpuTime=18.81 mem=16M932
92.96
92.96 search
92.96 run=11 nbConstraintChecks=133935894 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25613
92.96 nbFailedAssignments=22908 nbBacktracks=2569 nbVisitedNodes=51081 nbRestartNogoods=426
92.96 => wckTime=24.989 cpuTime=24.89 mem=16M932
103.68
103.68 search
103.68 run=12 nbConstraintChecks=195196573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36412
103.68 nbFailedAssignments=32396 nbBacktracks=3866 nbVisitedNodes=72663 nbRestartNogoods=492
103.68 => wckTime=35.705 cpuTime=35.59 mem=16M932
117.02
117.02 search
117.02 run=13 nbConstraintChecks=260666898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49587
117.02 nbFailedAssignments=43612 nbBacktracks=5812 nbVisitedNodes=98987 nbRestartNogoods=516
117.02 => wckTime=49.048 cpuTime=48.93 mem=16M932
127.54
127.54 search
127.54 run=14 nbConstraintChecks=304921383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59085
127.54 nbFailedAssignments=50179 nbBacktracks=8731 nbVisitedNodes=117915 nbRestartNogoods=556
127.54 => wckTime=59.566 cpuTime=59.44 mem=16M932
138.38
138.38 search
138.38 run=15 nbConstraintChecks=351856038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70478
138.38 nbFailedAssignments=57173 nbBacktracks=13109 nbVisitedNodes=140595 nbRestartNogoods=580
138.38 => wckTime=70.409 cpuTime=70.26 mem=16M932
159.04
159.04 search
159.04 run=16 nbConstraintChecks=434371563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89819
159.04 nbFailedAssignments=69940 nbBacktracks=19677 nbVisitedNodes=178854 nbRestartNogoods=624
159.04 => wckTime=91.072 cpuTime=90.9 mem=16M932
197.01
197.01 search
197.01 run=17 nbConstraintChecks=579068615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116642
197.01 nbFailedAssignments=86903 nbBacktracks=29529 nbVisitedNodes=230249 nbRestartNogoods=651
197.01 => wckTime=129.043 cpuTime=128.83 mem=16M932
260.38
260.38 search
260.38 run=18 nbConstraintChecks=819328314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152989
260.38 nbFailedAssignments=108464 nbBacktracks=44307 nbVisitedNodes=300940 nbRestartNogoods=666
260.38 => wckTime=192.407 cpuTime=192.14 mem=16M932
344.80
344.80 search
344.80 run=19 nbConstraintChecks=1133262919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=204806
344.80 nbFailedAssignments=138107 nbBacktracks=66476 nbVisitedNodes=398249 nbRestartNogoods=709
344.80 => wckTime=276.83 cpuTime=276.48 mem=16M932
483.28
483.28 search
483.28 run=20 nbConstraintChecks=1643559673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=284122
483.28 nbFailedAssignments=184162 nbBacktracks=99729 nbVisitedNodes=551249 nbRestartNogoods=728
483.28 => wckTime=415.314 cpuTime=414.82 mem=16M932
489.55 o 134
489.55 c 1
540.60
540.60 search
540.60 run=21 nbConstraintChecks=1835726313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327776
540.60 nbFailedAssignments=202277 nbBacktracks=125268 nbVisitedNodes=619296 nbRestartNogoods=768
540.60 => wckTime=472.626 cpuTime=472.08 mem=16M932
540.60
540.60 global
540.60 nbConstraintChecks=1835726313 nbRestartNogoods=768 solvingWckTime=472.627 solvingCpuTime=472.08 expiredTime=no
540.60 totalExploration=yes nbFoundSolutions=1 globalCpuTime=539.5
540.60 => wckTime=540.238 cpuTime=539.46 mem=16M932
540.60
540.60 s OPTIMUM FOUND
540.60 v 5 31 0 17 24 0 1 0 18 2 7 5 24 2 4 35 28 8 29 12 16 13 13 1 24 19 6 8 36 23 27 0 15 13 28 37 29 6 9 5
540.60
540.60 totalWckTime=540.313 totalCpuTime=539.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-276689-1169244314 -o ROOT/results/node9/solver-276689-1169244314 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/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.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=172 CPUtime=0
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272826534 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 0 0 0
/proc/28558/statm: 73 31 25 14 0 3 0
[startup+0.107432 s]
/proc/loadavg: 1.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=906644 CPUtime=0.01
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 2102 0 1 0 1 0 0 0 19 0 2 0 272826534 928403456 1851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 226661 1851 1057 14 0 214244 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906644
[startup+0.515475 s]
/proc/loadavg: 1.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915332 CPUtime=0.42
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 6656 0 1 0 37 5 0 0 25 0 8 0 272826534 937299968 6395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073571054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228833 6395 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33657 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251744/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=1.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8981 0 1 0 112 12 0 0 25 0 8 0 272826534 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8719 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915448 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937418752 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444
[startup+2.97375 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251680/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=2.86
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8982 0 1 0 255 31 0 0 25 0 8 0 272826534 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8719 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937418752 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915444
[startup+6.26813 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251680/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=6.14
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 550 64 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444
[startup+12.7429 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251688/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=12.61
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 1123 138 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937418752 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+25.6153 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251752/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=25.48
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 2270 278 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937418752 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444
[startup+51.2282 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251752/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=51.05
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8986 0 1 0 4540 565 0 0 25 0 8 0 272826534 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8723 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 338 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915444
[startup+102.444 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 28566
/proc/meminfo: memFree=1251496/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=102.21
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9166 0 1 0 9478 743 0 0 25 0 8 0 272826534 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8897 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.2
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 392 0 0 0 20 0 0 0 16 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915444
[startup+162.504 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251432/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=162.22
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9179 0 1 0 15479 743 0 0 25 0 8 0 272826534 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8910 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.2
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 392 0 0 0 20 0 0 0 16 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+222.572 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251432/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=222.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9183 0 1 0 21481 743 0 0 25 0 8 0 272826534 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8914 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 915444
[startup+282.631 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251368/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=282.21
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9187 0 1 0 27478 743 0 0 25 0 8 0 272826534 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8916 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 915444
[startup+342.691 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251368/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=342.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9187 0 1 0 33479 744 0 0 25 0 8 0 272826534 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8916 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 915444
[startup+402.75 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251304/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=402.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9190 0 1 0 39480 744 0 0 25 0 8 0 272826534 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8919 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 915444
[startup+462.812 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251304/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=462.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9190 0 1 0 45479 744 0 0 25 0 8 0 272826534 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8919 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 915444
[startup+522.875 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251240/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=522.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9193 0 1 0 51479 744 0 0 25 0 8 0 272826534 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8922 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 540.65
CPU time (s): 539.963
CPU user time (s): 532.515
CPU system time (s): 7.44787
CPU usage (%): 99.8729
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.515
system time used= 7.44787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9288
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= 12144
involuntary context switches= 26851
runsolver used 0.773882 s user time and 1.63375 s system time
The end
Begin job on node9 on Fri Jan 19 22:05:14 UTC 2007
IDJOB= 276689
IDBENCH= 5955
IDSOLVER= 69
FILE ID= node9/276689-1169244314
PBS_JOBID= 3589027
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-276689-1169244314 -o ROOT/results/node9/solver-276689-1169244314 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 894a922de2e82381bcde1a85406b08e1
RANDOM SEED= 320765057
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.231
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.231
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: 1277496 kB
Buffers: 58296 kB
Cached: 583356 kB
SwapCached: 268 kB
Active: 285520 kB
Inactive: 408844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1277496 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 65776 kB
Slab: 68904 kB
Committed_AS: 7966304 kB
PageTables: 2256 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 node9 on Fri Jan 19 22:14:15 UTC 2007