0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278606-1169288997/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.44
0.44 constraints being loaded...
0.52 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1858 maxDegree=24
0.52 maxArity=2
0.52 => wckTime=0.228 cpuTime=0.15 mem=8M860
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.308 cpuTime=0.2 mem=5M532
0.61
0.61 s SATISFIABLE
0.61 o 64
0.61 c 125
0.61 o 71
0.61 c 118
0.61 o 74
0.61 c 115
0.61 o 76
0.61 c 113
0.61 o 79
0.61 c 110
0.62 o 83
0.62 c 106
0.62 o 88
0.62 c 101
0.62 o 91
0.62 c 98
0.62 o 93
0.62 c 96
0.62 o 94
0.62 c 95
0.62 o 97
0.62 c 92
0.62 o 98
0.62 c 91
0.62 o 100
0.62 c 89
0.63 o 103
0.63 c 86
0.63 o 105
0.63 c 84
0.63 o 106
0.63 c 83
0.63 o 107
0.63 c 82
0.63 o 108
0.63 c 81
0.63 o 109
0.63 c 80
0.63 o 110
0.63 c 79
0.63 o 112
0.63 c 77
0.63 o 115
0.63 c 74
0.71 o 116
0.71 c 73
2.39
2.40 search
2.40 run=0 nbConstraintChecks=10600062 nbAssignments=10000
2.40 => wckTime=1.792 cpuTime=1.77 mem=5M532
4.12
4.12 search
4.12 run=1 nbConstraintChecks=21202333 nbAssignments=20000
4.12 => wckTime=3.516 cpuTime=3.47 mem=5M532
5.84
5.84 search
5.84 run=2 nbConstraintChecks=31718546 nbAssignments=30000
5.84 => wckTime=5.237 cpuTime=5.17 mem=5M532
7.57
7.57 search
7.57 run=3 nbConstraintChecks=42348471 nbAssignments=40000
7.57 => wckTime=6.962 cpuTime=6.89 mem=5M532
9.29
9.29 search
9.29 run=4 nbConstraintChecks=52914402 nbAssignments=50000
9.29 => wckTime=8.69 cpuTime=8.6 mem=5M532
11.03
11.04 search
11.04 run=5 nbConstraintChecks=63582290 nbAssignments=60000
11.04 => wckTime=10.432 cpuTime=10.34 mem=5M532
12.78
12.78 search
12.78 run=6 nbConstraintChecks=74158248 nbAssignments=70000
12.78 => wckTime=12.176 cpuTime=12.06 mem=5M532
14.51
14.51 search
14.51 run=7 nbConstraintChecks=84755401 nbAssignments=80000
14.51 => wckTime=13.911 cpuTime=13.79 mem=5M532
16.26
16.26 search
16.26 run=8 nbConstraintChecks=95294218 nbAssignments=90000
16.26 => wckTime=15.66 cpuTime=15.52 mem=5M532
18.00
18.00 search
18.00 run=9 nbConstraintChecks=105908137 nbAssignments=100000
18.00 => wckTime=17.399 cpuTime=17.24 mem=5M532
19.74
19.74 search
19.74 run=10 nbConstraintChecks=116449879 nbAssignments=110000
19.74 => wckTime=19.134 cpuTime=18.97 mem=5M532
21.47
21.47 search
21.47 run=11 nbConstraintChecks=127099533 nbAssignments=120000
21.47 => wckTime=20.863 cpuTime=20.68 mem=5M532
23.20
23.20 search
23.20 run=12 nbConstraintChecks=137682288 nbAssignments=130000
23.20 => wckTime=22.595 cpuTime=22.4 mem=5M532
24.92
24.92 search
24.92 run=13 nbConstraintChecks=148316813 nbAssignments=140000
24.92 => wckTime=24.313 cpuTime=24.1 mem=5M532
26.63
26.63 search
26.63 run=14 nbConstraintChecks=158856868 nbAssignments=150000
26.63 => wckTime=26.026 cpuTime=25.8 mem=5M532
28.36
28.36 search
28.36 run=15 nbConstraintChecks=169439584 nbAssignments=160000
28.36 => wckTime=27.761 cpuTime=27.51 mem=5M532
30.09
30.09 search
30.09 run=16 nbConstraintChecks=180032411 nbAssignments=170000
30.09 => wckTime=29.487 cpuTime=29.22 mem=5M532
30.98
30.98 search
30.98 run=17 nbConstraintChecks=185490469 nbAssignments=175158
30.98 => wckTime=30.381 cpuTime=30.11 mem=5M532
30.99
30.99 global
30.99 nbConstraintChecks=185490469 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.99 solvingWckTime=30.38 solvingCpuTime=30.1 expiredTime=no totalExploration=no nbFoundSolutions=0
30.99 globalCpuTime=30.35
30.99 => wckTime=30.69 cpuTime=30.3 mem=5M532
30.99
30.99 solver IterativeSystematicSolver being built...
31.11 => wckTime=30.816 cpuTime=30.4 mem=16M488
31.12
31.12 preprocessing
31.12 nbConstraintChecks=975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.12 detectedInconsistency=no
31.12 => wckTime=0.0070 cpuTime=0.0 mem=16M488
31.17
31.17 search
31.17 run=0 nbConstraintChecks=81628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
31.17 nbFailedAssignments=26 nbBacktracks=10 nbVisitedNodes=85 nbRestartNogoods=0
31.17 => wckTime=0.061 cpuTime=0.04 mem=16M488
31.23
31.23 search
31.23 run=1 nbConstraintChecks=208988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118
31.23 nbFailedAssignments=69 nbBacktracks=25 nbVisitedNodes=213 nbRestartNogoods=3
31.23 => wckTime=0.114 cpuTime=0.08 mem=16M488
31.27
31.27 search
31.27 run=2 nbConstraintChecks=352026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197
31.27 nbFailedAssignments=114 nbBacktracks=47 nbVisitedNodes=359 nbRestartNogoods=12
31.27 => wckTime=0.153 cpuTime=0.12 mem=16M488
31.33
31.33 search
31.33 run=3 nbConstraintChecks=593321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=324
31.33 nbFailedAssignments=196 nbBacktracks=80 nbVisitedNodes=601 nbRestartNogoods=15
31.33 => wckTime=0.215 cpuTime=0.18 mem=16M488
31.41
31.41 search
31.41 run=4 nbConstraintChecks=946715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=511
31.41 nbFailedAssignments=322 nbBacktracks=130 nbVisitedNodes=964 nbRestartNogoods=20
31.41 => wckTime=0.3 cpuTime=0.26 mem=16M488
31.52
31.52 search
31.52 run=5 nbConstraintChecks=1404009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=745
31.52 nbFailedAssignments=469 nbBacktracks=205 nbVisitedNodes=1420 nbRestartNogoods=26
31.52 => wckTime=0.408 cpuTime=0.37 mem=16M488
31.68
31.68 search
31.68 run=6 nbConstraintChecks=2037882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1077
31.68 nbFailedAssignments=675 nbBacktracks=318 nbVisitedNodes=2071 nbRestartNogoods=35
31.68 => wckTime=0.568 cpuTime=0.52 mem=16M488
31.90
31.90 search
31.90 run=7 nbConstraintChecks=2895967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1515
31.90 nbFailedAssignments=930 nbBacktracks=488 nbVisitedNodes=2934 nbRestartNogoods=39
31.90 => wckTime=0.787 cpuTime=0.72 mem=16M488
32.24
32.24 search
32.24 run=8 nbConstraintChecks=4408519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2316
32.24 nbFailedAssignments=1461 nbBacktracks=744 nbVisitedNodes=4522 nbRestartNogoods=49
32.24 => wckTime=1.13 cpuTime=1.06 mem=16M488
32.71
32.71 search
32.71 run=9 nbConstraintChecks=6447483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3351
32.71 nbFailedAssignments=2096 nbBacktracks=1128 nbVisitedNodes=6576 nbRestartNogoods=56
32.71 => wckTime=1.597 cpuTime=1.52 mem=16M488
33.41
33.41 search
33.41 run=10 nbConstraintChecks=9509964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4944
33.41 nbFailedAssignments=3101 nbBacktracks=1704 nbVisitedNodes=9750 nbRestartNogoods=62
33.41 => wckTime=2.297 cpuTime=2.21 mem=16M488
34.48
34.48 search
34.48 run=11 nbConstraintChecks=14412151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7472
34.48 nbFailedAssignments=4752 nbBacktracks=2568 nbVisitedNodes=14793 nbRestartNogoods=68
34.48 => wckTime=3.364 cpuTime=3.27 mem=16M488
36.32
36.32 search
36.32 run=12 nbConstraintChecks=22594978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11663
36.32 nbFailedAssignments=7635 nbBacktracks=3865 nbVisitedNodes=23164 nbRestartNogoods=73
36.32 => wckTime=5.209 cpuTime=5.1 mem=16M488
39.02
39.02 search
39.02 run=13 nbConstraintChecks=34641837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17745
39.02 nbFailedAssignments=11759 nbBacktracks=5811 nbVisitedNodes=35316 nbRestartNogoods=89
39.02 => wckTime=7.905 cpuTime=7.78 mem=16M488
42.82
42.82 search
42.82 run=14 nbConstraintChecks=51586855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26431
42.82 nbFailedAssignments=17514 nbBacktracks=8730 nbVisitedNodes=52676 nbRestartNogoods=98
42.83 => wckTime=11.712 cpuTime=11.56 mem=16M488
48.06
48.06 search
48.07 run=15 nbConstraintChecks=74673558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38797
48.07 nbFailedAssignments=25491 nbBacktracks=13108 nbVisitedNodes=77397 nbRestartNogoods=111
48.07 => wckTime=16.953 cpuTime=16.75 mem=16M488
55.59
55.59 search
55.59 run=16 nbConstraintChecks=107332645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56254
55.59 nbFailedAssignments=36368 nbBacktracks=19676 nbVisitedNodes=112299 nbRestartNogoods=124
55.59 => wckTime=24.474 cpuTime=24.22 mem=16M488
66.12
66.12 search
66.12 run=17 nbConstraintChecks=153645830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81812
66.12 nbFailedAssignments=52059 nbBacktracks=29529 nbVisitedNodes=163401 nbRestartNogoods=134
66.12 => wckTime=35.01 cpuTime=34.66 mem=16M488
82.45
82.45 search
82.45 run=18 nbConstraintChecks=220928447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117182
82.45 nbFailedAssignments=72642 nbBacktracks=44307 nbVisitedNodes=234132 nbRestartNogoods=147
82.45 => wckTime=51.339 cpuTime=50.87 mem=16M488
106.68
106.68 search
106.68 run=19 nbConstraintChecks=318327901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169733
106.68 nbFailedAssignments=103019 nbBacktracks=66475 nbVisitedNodes=339228 nbRestartNogoods=160
106.68 => wckTime=75.564 cpuTime=74.9 mem=16M488
147.66
147.66 search
147.66 run=20 nbConstraintChecks=482704241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=256662
147.66 nbFailedAssignments=156691 nbBacktracks=99727 nbVisitedNodes=512996 nbRestartNogoods=172
147.66 => wckTime=116.547 cpuTime=115.56 mem=16M488
206.58
206.58 search
206.58 run=21 nbConstraintChecks=717336579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=384095
206.58 nbFailedAssignments=234238 nbBacktracks=149605 nbVisitedNodes=767558 nbRestartNogoods=185
206.58 => wckTime=175.469 cpuTime=174.0 mem=16M488
296.56
296.56 search
296.56 run=22 nbConstraintChecks=1079857614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=587460
296.56 nbFailedAssignments=362777 nbBacktracks=224423 nbVisitedNodes=1170145 nbRestartNogoods=194
296.56 => wckTime=265.447 cpuTime=263.26 mem=16M488
370.62
370.62 search
370.62 run=23 nbConstraintChecks=1381365221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=760943
370.62 nbFailedAssignments=468680 nbBacktracks=292004 nbVisitedNodes=1509356 nbRestartNogoods=210
370.62 => wckTime=339.505 cpuTime=336.78 mem=16M488
370.62
370.62 global
370.62 nbConstraintChecks=1381366196 nbRestartNogoods=210 solvingWckTime=339.507 solvingCpuTime=336.78 expiredTime=no
370.62 totalExploration=yes nbFoundSolutions=0 globalCpuTime=367.23
370.62 => wckTime=370.323 cpuTime=367.18 mem=16M488
370.62
370.62 s OPTIMUM FOUND
370.62 v 4 2 0 3 1 1 2 2 0 4 1 1 3 1 3 0 0 3 1 2 4 4 1 4 2 3 1 3
370.62
370.62 totalWckTime=370.397 totalCpuTime=367.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-278606-1169288997 -o ROOT/results/node34/solver-278606-1169288997 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278606-1169288997/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.07 1.69 1.81 3/80 21773
/proc/meminfo: memFree=951248/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=18540 CPUtime=0
/proc/21772/stat : 21772 (runsolver) R 21770 21772 21654 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 277294100 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 254195330343 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21772/statm: 4635 280 244 17 0 2626 0
[startup+0.108038 s]
/proc/loadavg: 1.07 1.69 1.81 3/80 21773
/proc/meminfo: memFree=951248/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=914988 CPUtime=0.09
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 3067 0 1 0 8 1 0 0 24 0 8 0 277294100 936947712 2813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228747 2813 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516071 s]
/proc/loadavg: 1.07 1.69 1.81 3/80 21773
/proc/meminfo: memFree=951248/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915332 CPUtime=0.48
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 6569 0 1 0 45 3 0 0 25 0 8 0 277294100 937299968 6308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073554514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228833 6308 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33913 s]
/proc/loadavg: 1.07 1.69 1.81 3/87 21780
/proc/meminfo: memFree=933336/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=1.3
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 7152 0 1 0 113 17 0 0 25 0 8 0 277294100 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073721978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 6890 2476 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.12
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 343 0 0 0 12 0 0 0 16 0 8 0 277294108 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98426 s]
/proc/loadavg: 1.07 1.69 1.81 4/87 21780
/proc/meminfo: memFree=933336/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=2.93
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 7155 0 1 0 239 54 0 0 25 0 8 0 277294100 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073721965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 6892 2476 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.12
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 277294108 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26253 s]
/proc/loadavg: 1.15 1.69 1.82 3/87 21780
/proc/meminfo: memFree=933336/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915464 CPUtime=6.19
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 7155 0 1 0 496 123 0 0 25 0 8 0 277294100 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228866 6892 2476 14 0 215336 0
[pid=21772/tid=21774] ppid=21770 vsize=915464 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277294104 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915464 CPUtime=0.12
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7431 s]
/proc/loadavg: 1.21 1.70 1.82 3/87 21780
/proc/meminfo: memFree=933336/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915464 CPUtime=12.62
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 7155 0 1 0 999 263 0 0 25 0 8 0 277294100 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228866 6892 2476 14 0 215336 0
[pid=21772/tid=21774] ppid=21770 vsize=915464 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277294104 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915464 CPUtime=0.12
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 345 0 0 0 12 0 0 0 17 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.5891 s]
/proc/loadavg: 1.39 1.71 1.82 3/87 21780
/proc/meminfo: memFree=926040/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915464 CPUtime=25.37
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 7156 0 1 0 1997 540 0 0 25 0 8 0 277294100 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228866 6893 2476 14 0 215336 0
[pid=21772/tid=21774] ppid=21770 vsize=915464 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277294104 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915464 CPUtime=0.12
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 346 0 0 0 12 0 0 0 16 0 8 0 277294108 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915464 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.2832 s]
/proc/loadavg: 1.60 1.73 1.82 3/87 21780
/proc/meminfo: memFree=918808/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=50.84
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9046 0 1 0 4426 658 0 0 25 0 8 0 277294100 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8779 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460
[startup+102.557 s]
/proc/loadavg: 1.82 1.77 1.83 3/87 21780
/proc/meminfo: memFree=918744/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=101.72
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9054 0 1 0 9513 659 0 0 25 0 8 0 277294100 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8786 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915460
[startup+162.566 s]
/proc/loadavg: 1.93 1.81 1.83 3/87 21780
/proc/meminfo: memFree=918680/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=161.24
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9060 0 1 0 15465 659 0 0 25 0 8 0 277294100 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8791 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 915460
[startup+222.575 s]
/proc/loadavg: 1.97 1.84 1.84 3/87 21780
/proc/meminfo: memFree=918552/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=220.76
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9062 0 1 0 21417 659 0 0 25 0 8 0 277294100 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8793 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.76
Current children cumulated vsize (KiB) 915460
[startup+282.584 s]
/proc/loadavg: 1.99 1.87 1.84 3/87 21780
/proc/meminfo: memFree=918552/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=280.29
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9062 0 1 0 27370 659 0 0 25 0 8 0 277294100 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8793 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.29
Current children cumulated vsize (KiB) 915460
[startup+342.597 s]
/proc/loadavg: 1.99 1.89 1.85 3/87 21780
/proc/meminfo: memFree=918552/2055920 swapFree=4192812/4192956
[pid=21772] ppid=21770 vsize=915460 CPUtime=339.82
/proc/21772/stat : 21772 (java) R 21770 21772 21654 0 -1 0 9065 0 1 0 33323 659 0 0 25 0 8 0 277294100 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21772/statm: 228865 8795 2527 14 0 215335 0
[pid=21772/tid=21774] ppid=21770 vsize=915460 CPUtime=0.02
/proc/21772/task/21774/stat : 21774 (java) S 21770 21772 21654 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277294104 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21775] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21775/stat : 21775 (java) S 21770 21772 21654 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277294105 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21776] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21776/stat : 21776 (java) S 21770 21772 21654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277294105 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21777] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21777/stat : 21777 (java) S 21770 21772 21654 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277294108 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21778] ppid=21770 vsize=915460 CPUtime=0.22
/proc/21772/task/21778/stat : 21778 (java) S 21770 21772 21654 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277294108 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21779] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21779/stat : 21779 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277294108 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21772/tid=21780] ppid=21770 vsize=915460 CPUtime=0
/proc/21772/task/21780/stat : 21780 (java) S 21770 21772 21654 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277294108 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.82
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 370.665
CPU time (s): 367.697
CPU user time (s): 361.087
CPU system time (s): 6.61
CPU usage (%): 99.1993
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 361.087
system time used= 6.60999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9162
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= 8660
involuntary context switches= 24111
runsolver used 0.351946 s user time and 0.975851 s system time
The end
Begin job on node34 on Sat Jan 20 10:29:59 UTC 2007
IDJOB= 278606
IDBENCH= 8512
IDSOLVER= 69
FILE ID= node34/278606-1169288997
PBS_JOBID= 3609678
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-70/kbtree-9-7-3-5-70-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278606-1169288997/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-278606-1169288997 -o ROOT/results/node34/solver-278606-1169288997 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278606-1169288997/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8d5bf3af731ad45bb3e5d60a5ce71fce
RANDOM SEED= 523040290
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.227
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.227
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: 951792 kB
Buffers: 42092 kB
Cached: 950844 kB
SwapCached: 0 kB
Active: 367656 kB
Inactive: 663532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 951792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3648 kB
Writeback: 0 kB
Mapped: 58500 kB
Slab: 58292 kB
Committed_AS: 5363468 kB
PageTables: 1848 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 node34 on Sat Jan 20 10:36:15 UTC 2007