0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278660-1169289074/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.56 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1861 maxDegree=27
0.56 maxArity=2
0.56 => wckTime=0.242 cpuTime=0.16 mem=8M860
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.327 cpuTime=0.21 mem=5M532
0.65
0.65 s SATISFIABLE
0.65 o 47
0.65 c 142
0.65 o 51
0.65 c 138
0.65 o 54
0.65 c 135
0.65 o 57
0.65 c 132
0.65 o 61
0.65 c 128
0.65 o 63
0.65 c 126
0.65 o 64
0.66 c 125
0.66 o 65
0.66 c 124
0.66 o 68
0.66 c 121
0.66 o 69
0.66 c 120
0.66 o 70
0.66 c 119
0.66 o 73
0.66 c 116
0.66 o 75
0.66 c 114
0.66 o 76
0.66 c 113
0.66 o 77
0.66 c 112
0.66 o 78
0.66 c 111
0.66 o 82
0.66 c 107
0.67 o 83
0.67 c 106
0.67 o 87
0.67 c 102
0.67 o 88
0.67 c 101
0.67 o 89
0.67 c 100
0.74 o 90
0.74 c 99
0.74 o 91
0.74 c 98
0.74 o 92
0.74 c 97
0.88 o 93
0.88 c 96
2.65
2.65 search
2.65 run=0 nbConstraintChecks=11587093 nbAssignments=10000
2.65 => wckTime=2.005 cpuTime=1.96 mem=5M532
4.58
4.58 search
4.58 run=1 nbConstraintChecks=23220467 nbAssignments=20000
4.58 => wckTime=3.938 cpuTime=3.88 mem=5M532
6.51
6.51 search
6.51 run=2 nbConstraintChecks=34876299 nbAssignments=30000
6.51 => wckTime=5.868 cpuTime=5.79 mem=5M532
8.43
8.43 search
8.43 run=3 nbConstraintChecks=46561314 nbAssignments=40000
8.43 => wckTime=7.791 cpuTime=7.71 mem=5M532
10.35
10.35 search
10.35 run=4 nbConstraintChecks=58189061 nbAssignments=50000
10.35 => wckTime=9.709 cpuTime=9.6 mem=5M532
12.26
12.26 search
12.26 run=5 nbConstraintChecks=69783119 nbAssignments=60000
12.26 => wckTime=11.619 cpuTime=11.51 mem=5M532
14.17
14.17 search
14.17 run=6 nbConstraintChecks=81350214 nbAssignments=70000
14.17 => wckTime=13.527 cpuTime=13.39 mem=5M532
16.10
16.10 search
16.10 run=7 nbConstraintChecks=93041797 nbAssignments=80000
16.10 => wckTime=15.454 cpuTime=15.31 mem=5M532
18.02
18.02 search
18.02 run=8 nbConstraintChecks=104605751 nbAssignments=90000
18.02 => wckTime=17.378 cpuTime=17.22 mem=5M532
19.96
19.96 search
19.96 run=9 nbConstraintChecks=116286661 nbAssignments=100000
19.96 => wckTime=19.315 cpuTime=19.14 mem=5M532
21.89
21.89 search
21.89 run=10 nbConstraintChecks=127899100 nbAssignments=110000
21.89 => wckTime=21.247 cpuTime=21.06 mem=5M532
23.83
23.83 search
23.83 run=11 nbConstraintChecks=139569674 nbAssignments=120000
23.83 => wckTime=23.185 cpuTime=22.98 mem=5M532
25.75
25.76 search
25.76 run=12 nbConstraintChecks=151166719 nbAssignments=130000
25.76 => wckTime=25.113 cpuTime=24.89 mem=5M532
27.67
27.67 search
27.67 run=13 nbConstraintChecks=162762628 nbAssignments=140000
27.67 => wckTime=27.024 cpuTime=26.79 mem=5M532
29.58
29.58 search
29.58 run=14 nbConstraintChecks=174379851 nbAssignments=150000
29.58 => wckTime=28.942 cpuTime=28.69 mem=5M532
31.13
31.13 search
31.13 run=15 nbConstraintChecks=183788344 nbAssignments=158067
31.13 => wckTime=30.486 cpuTime=30.23 mem=5M532
31.13
31.13 global
31.13 nbConstraintChecks=183788344 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.13 solvingWckTime=30.485 solvingCpuTime=30.23 expiredTime=no totalExploration=no nbFoundSolutions=0
31.13 globalCpuTime=30.5
31.13 => wckTime=30.814 cpuTime=30.44 mem=5M532
31.13
31.13 solver IterativeSystematicSolver being built...
31.26 => wckTime=30.945 cpuTime=30.54 mem=16M472
31.27
31.27 preprocessing
31.27 nbConstraintChecks=1775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.27 detectedInconsistency=no
31.27 => wckTime=0.0070 cpuTime=0.01 mem=16M472
31.33
31.33 search
31.33 run=0 nbConstraintChecks=86000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
31.33 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=79 nbRestartNogoods=0
31.33 => wckTime=0.07 cpuTime=0.05 mem=16M472
31.38
31.38 search
31.38 run=1 nbConstraintChecks=189147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102
31.38 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=176 nbRestartNogoods=5
31.38 => wckTime=0.118 cpuTime=0.08 mem=16M472
31.42
31.42 search
31.42 run=2 nbConstraintChecks=323920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172
31.42 nbFailedAssignments=81 nbBacktracks=47 nbVisitedNodes=301 nbRestartNogoods=10
31.42 => wckTime=0.156 cpuTime=0.11 mem=16M472
31.48
31.48 search
31.48 run=3 nbConstraintChecks=537375 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=278
31.48 nbFailedAssignments=141 nbBacktracks=80 nbVisitedNodes=500 nbRestartNogoods=13
31.48 => wckTime=0.213 cpuTime=0.17 mem=16M472
31.55
31.55 search
31.55 run=4 nbConstraintChecks=824350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=420
31.55 nbFailedAssignments=219 nbBacktracks=130 nbVisitedNodes=770 nbRestartNogoods=17
31.55 => wckTime=0.29 cpuTime=0.24 mem=16M472
31.66
31.66 search
31.66 run=5 nbConstraintChecks=1256003 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=629
31.66 nbFailedAssignments=338 nbBacktracks=205 nbVisitedNodes=1173 nbRestartNogoods=21
31.66 => wckTime=0.399 cpuTime=0.35 mem=16M472
31.81
31.81 search
31.81 run=6 nbConstraintChecks=1831224 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=909
31.81 nbFailedAssignments=492 nbBacktracks=318 nbVisitedNodes=1720 nbRestartNogoods=26
31.81 => wckTime=0.546 cpuTime=0.49 mem=16M472
32.01
32.01 search
32.01 run=7 nbConstraintChecks=2645428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1312
32.01 nbFailedAssignments=711 nbBacktracks=488 nbVisitedNodes=2512 nbRestartNogoods=33
32.01 => wckTime=0.752 cpuTime=0.69 mem=16M472
32.32
32.32 search
32.32 run=8 nbConstraintChecks=3880904 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1911
32.32 nbFailedAssignments=1040 nbBacktracks=744 nbVisitedNodes=3696 nbRestartNogoods=39
32.32 => wckTime=1.057 cpuTime=0.98 mem=16M472
32.79
32.79 search
32.79 run=9 nbConstraintChecks=5854354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2855
32.79 nbFailedAssignments=1587 nbBacktracks=1128 nbVisitedNodes=5571 nbRestartNogoods=45
32.79 => wckTime=1.531 cpuTime=1.45 mem=16M472
33.55
33.55 search
33.55 run=10 nbConstraintChecks=9135231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4318
33.55 nbFailedAssignments=2460 nbBacktracks=1705 nbVisitedNodes=8484 nbRestartNogoods=58
33.55 => wckTime=2.291 cpuTime=2.19 mem=16M472
34.51
34.51 search
34.51 run=11 nbConstraintChecks=13303933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6186
34.51 nbFailedAssignments=3453 nbBacktracks=2569 nbVisitedNodes=12209 nbRestartNogoods=66
34.51 => wckTime=3.248 cpuTime=3.15 mem=16M472
36.15
36.15 search
36.15 run=12 nbConstraintChecks=20115133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9417
36.15 nbFailedAssignments=5372 nbBacktracks=3866 nbVisitedNodes=18656 nbRestartNogoods=76
36.15 => wckTime=4.889 cpuTime=4.77 mem=16M472
38.37
38.37 search
38.37 run=13 nbConstraintChecks=29531355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13593
38.37 nbFailedAssignments=7590 nbBacktracks=5813 nbVisitedNodes=26997 nbRestartNogoods=85
38.37 => wckTime=7.107 cpuTime=6.97 mem=16M472
42.04
42.04 search
42.04 run=14 nbConstraintChecks=44325981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21022
42.04 nbFailedAssignments=12089 nbBacktracks=8732 nbVisitedNodes=41844 nbRestartNogoods=91
42.04 => wckTime=10.774 cpuTime=10.62 mem=16M472
47.19
47.19 search
47.19 run=15 nbConstraintChecks=66334768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31361
47.19 nbFailedAssignments=18037 nbBacktracks=13110 nbVisitedNodes=62509 nbRestartNogoods=103
47.19 => wckTime=15.928 cpuTime=15.73 mem=16M472
55.52
55.52 search
55.52 run=16 nbConstraintChecks=100351266 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48119
55.52 nbFailedAssignments=28214 nbBacktracks=19678 nbVisitedNodes=96012 nbRestartNogoods=109
55.52 => wckTime=24.256 cpuTime=23.99 mem=16M472
66.84
66.84 search
66.84 run=17 nbConstraintChecks=148604963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70873
66.84 nbFailedAssignments=41104 nbBacktracks=29530 nbVisitedNodes=141508 nbRestartNogoods=116
66.84 => wckTime=35.58 cpuTime=35.23 mem=16M472
87.20
87.20 search
87.20 run=18 nbConstraintChecks=230094267 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108161
87.20 nbFailedAssignments=63605 nbBacktracks=44308 nbVisitedNodes=216075 nbRestartNogoods=121
87.20 => wckTime=55.935 cpuTime=55.44 mem=16M472
116.04
116.04 search
116.04 run=19 nbConstraintChecks=346999851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=160710
116.04 nbFailedAssignments=93976 nbBacktracks=66476 nbVisitedNodes=321163 nbRestartNogoods=132
116.04 => wckTime=84.778 cpuTime=84.05 mem=16M472
163.54
163.54 search
163.54 run=20 nbConstraintChecks=532756038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246305
163.54 nbFailedAssignments=146312 nbBacktracks=99728 nbVisitedNodes=492346 nbRestartNogoods=139
163.54 => wckTime=132.278 cpuTime=131.2 mem=16M472
225.84
225.84 search
225.84 run=21 nbConstraintChecks=786106093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=365030
225.84 nbFailedAssignments=215149 nbBacktracks=149606 nbVisitedNodes=729778 nbRestartNogoods=148
225.84 => wckTime=194.574 cpuTime=193.02 mem=16M472
321.03
321.03 search
321.03 run=22 nbConstraintChecks=1175930348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=546329
321.03 nbFailedAssignments=321621 nbBacktracks=224424 nbVisitedNodes=1092161 nbRestartNogoods=160
321.03 => wckTime=289.769 cpuTime=287.47 mem=16M472
460.09
460.09 search
460.09 run=23 nbConstraintChecks=1738447945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=812880
460.09 nbFailedAssignments=475939 nbBacktracks=336651 nbVisitedNodes=1623852 nbRestartNogoods=174
460.09 => wckTime=428.825 cpuTime=425.42 mem=16M472
571.86
571.86 search
571.86 run=24 nbConstraintChecks=2203429853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1022142
571.86 nbFailedAssignments=601246 nbBacktracks=420607 nbVisitedNodes=2035252 nbRestartNogoods=184
571.86 => wckTime=540.602 cpuTime=536.3 mem=16M472
571.87
571.87 global
571.87 nbConstraintChecks=2203431628 nbRestartNogoods=184 solvingWckTime=540.604 solvingCpuTime=536.3 expiredTime=no
571.87 totalExploration=yes nbFoundSolutions=0 globalCpuTime=566.9
571.87 => wckTime=571.55 cpuTime=566.84 mem=16M472
571.87
571.87 s OPTIMUM FOUND
571.87 v 0 2 1 3 2 2 1 3 1 4 1 0 0 2 4 3 1 4 4 3 3 3 1 1 2 0 0 2
571.87
571.87 totalWckTime=571.629 totalCpuTime=566.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-278660-1169289074 -o ROOT/results/node59/solver-278660-1169289074 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/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.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=18540 CPUtime=0
/proc/19165/stat : 19165 (runsolver) R 19163 19165 18801 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277305911 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19165/statm: 4635 279 244 17 0 2626 0
[startup+0.107043 s]
/proc/loadavg: 1.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=914988 CPUtime=0.08
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 277305911 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515087 s]
/proc/loadavg: 1.18 1.65 1.86 4/73 19166
/proc/meminfo: memFree=1402064/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915332 CPUtime=0.49
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 6307 0 1 0 45 4 0 0 18 0 8 0 277305911 937299968 6046 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228833 6046 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33617 s]
/proc/loadavg: 1.18 1.65 1.86 4/80 19173
/proc/meminfo: memFree=1384152/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=1.29
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7139 0 1 0 111 18 0 0 24 0 8 0 277305911 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6877 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6877 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) 915460
[startup+2.97735 s]
/proc/loadavg: 1.24 1.65 1.86 3/80 19173
/proc/meminfo: memFree=1384152/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=2.93
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7142 0 1 0 243 50 0 0 25 0 8 0 277305911 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6879 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.18271 s]
/proc/loadavg: 1.24 1.65 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=6.11
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7142 0 1 0 496 115 0 0 25 0 8 0 277305911 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6879 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.6494 s]
/proc/loadavg: 1.36 1.66 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=12.52
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7143 0 1 0 1006 246 0 0 25 0 8 0 277305911 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6880 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 344 0 0 0 13 0 0 0 17 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
[startup+25.5018 s]
/proc/loadavg: 1.46 1.67 1.86 3/80 19173
/proc/meminfo: memFree=1384088/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=25.28
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 7143 0 1 0 2016 512 0 0 25 0 8 0 277305911 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073712058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 6880 2476 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.13
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 344 0 0 0 13 0 0 0 17 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915460
[startup+51.1077 s]
/proc/loadavg: 1.64 1.70 1.87 3/80 19173
/proc/meminfo: memFree=1376664/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=50.68
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9041 0 1 0 4438 630 0 0 25 0 8 0 277305911 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8773 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915460
[startup+102.405 s]
/proc/loadavg: 1.84 1.74 1.87 3/80 19173
/proc/meminfo: memFree=1376600/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=101.6
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9049 0 1 0 9530 630 0 0 25 0 8 0 277305911 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8781 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915460
[startup+162.453 s]
/proc/loadavg: 1.94 1.79 1.88 3/80 19173
/proc/meminfo: memFree=1376600/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=161.19
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9051 0 1 0 15489 630 0 0 25 0 8 0 277305911 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8783 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915460
[startup+222.494 s]
/proc/loadavg: 1.98 1.82 1.88 3/80 19173
/proc/meminfo: memFree=1376536/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=220.77
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9054 0 1 0 21447 630 0 0 25 0 8 0 277305911 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8785 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.77
Current children cumulated vsize (KiB) 915460
[startup+282.535 s]
/proc/loadavg: 1.99 1.85 1.89 3/80 19173
/proc/meminfo: memFree=1376472/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=280.35
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9057 0 1 0 27405 630 0 0 25 0 8 0 277305911 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8788 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.35
Current children cumulated vsize (KiB) 915460
[startup+342.581 s]
/proc/loadavg: 1.99 1.88 1.89 3/80 19173
/proc/meminfo: memFree=1376344/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=339.92
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9060 0 1 0 33362 630 0 0 25 0 8 0 277305911 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8790 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (KiB) 915460
[startup+402.621 s]
/proc/loadavg: 2.14 1.93 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=399.5
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9060 0 1 0 39319 631 0 0 25 0 8 0 277305911 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8790 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.5
Current children cumulated vsize (KiB) 915460
[startup+462.662 s]
/proc/loadavg: 2.05 1.94 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=459.05
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9062 0 1 0 45274 631 0 0 25 0 8 0 277305911 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8792 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.05
Current children cumulated vsize (KiB) 915460
[startup+522.702 s]
/proc/loadavg: 2.02 1.95 1.91 3/80 19173
/proc/meminfo: memFree=1376280/2055920 swapFree=4192680/4192956
[pid=19165] ppid=19163 vsize=915460 CPUtime=518.62
/proc/19165/stat : 19165 (java) R 19163 19165 18801 0 -1 0 9062 0 1 0 51231 631 0 0 25 0 8 0 277305911 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19165/statm: 228865 8792 2527 14 0 215335 0
[pid=19165/tid=19167] ppid=19163 vsize=915460 CPUtime=0.02
/proc/19165/task/19167/stat : 19167 (java) S 19163 19165 18801 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277305915 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19168] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19168/stat : 19168 (java) S 19163 19165 18801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19169] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19169/stat : 19169 (java) S 19163 19165 18801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277305916 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19170] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19170/stat : 19170 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19171] ppid=19163 vsize=915460 CPUtime=0.24
/proc/19165/task/19171/stat : 19171 (java) S 19163 19165 18801 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19172] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19172/stat : 19172 (java) S 19163 19165 18801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19165/tid=19173] ppid=19163 vsize=915460 CPUtime=0
/proc/19165/task/19173/stat : 19173 (java) S 19163 19165 18801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277305919 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 571.915
CPU time (s): 567.411
CPU user time (s): 561.088
CPU system time (s): 6.32304
CPU usage (%): 99.2124
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 561.088
system time used= 6.32304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9159
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= 12723
involuntary context switches= 23492
runsolver used 0.676897 s user time and 1.43178 s system time
The end
Begin job on node59 on Sat Jan 20 10:31:15 UTC 2007
IDJOB= 278660
IDBENCH= 8612
IDSOLVER= 69
FILE ID= node59/278660-1169289074
PBS_JOBID= 3609714
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/kbtree-9-7-3-5-80-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-278660-1169289074 -o ROOT/results/node59/solver-278660-1169289074 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278660-1169289074/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3b8f3e856a96102e387b9b37e43d4bae
RANDOM SEED= 495284605
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: 1402608 kB
Buffers: 48588 kB
Cached: 503164 kB
SwapCached: 0 kB
Active: 121548 kB
Inactive: 456444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1402608 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 1672 kB
Writeback: 0 kB
Mapped: 37820 kB
Slab: 60764 kB
Committed_AS: 5245556 kB
PageTables: 1820 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= 66561 MiB
End job on node59 on Sat Jan 20 10:40:52 UTC 2007