0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/279839-1169298899/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.37 nbVariables=30 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.37 => wckTime=0.085 cpuTime=0.08 mem=6M910
0.37
0.37 relations being loaded...
0.38
0.38 constraints being loaded...
0.49 nbConstraints=350 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=349
0.49 nbConflictsStructures=1 nbSharedConflictsStructures=349 nbSharedBinaryRepresentations=2 maxDegree=27 maxArity=2
0.49 => wckTime=0.197 cpuTime=0.15 mem=7M918
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.272 cpuTime=0.19 mem=5M528
0.56
0.56 s SATISFIABLE
0.56 o 182
0.56 c 168
0.57 o 184
0.57 c 166
0.57 o 188
0.57 c 162
0.57 o 190
0.57 c 160
0.57 o 193
0.57 c 157
0.57 o 194
0.57 c 156
0.57 o 195
0.57 c 155
0.57 o 196
0.57 c 154
0.57 o 197
0.57 c 153
0.58 o 199
0.58 c 151
0.59 o 200
0.59 c 150
0.61 o 201
0.61 c 149
1.93
1.93 search
1.93 run=0 nbConstraintChecks=5948314 nbAssignments=10000
1.93 => wckTime=1.373 cpuTime=1.36 mem=5M528
3.25
3.25 search
3.25 run=1 nbConstraintChecks=11929171 nbAssignments=20000
3.25 => wckTime=2.691 cpuTime=2.67 mem=5M528
4.56
4.56 search
4.56 run=2 nbConstraintChecks=17876356 nbAssignments=30000
4.56 => wckTime=4.003 cpuTime=3.98 mem=5M528
5.88
5.88 search
5.88 run=3 nbConstraintChecks=23861674 nbAssignments=40000
5.88 => wckTime=5.32 cpuTime=5.3 mem=5M528
7.23
7.23 search
7.23 run=4 nbConstraintChecks=29808362 nbAssignments=50000
7.23 => wckTime=6.667 cpuTime=6.61 mem=5M528
8.55
8.55 search
8.55 run=5 nbConstraintChecks=35792136 nbAssignments=60000
8.55 => wckTime=7.994 cpuTime=7.94 mem=5M528
9.88
9.88 search
9.88 run=6 nbConstraintChecks=41738458 nbAssignments=70000
9.88 => wckTime=9.318 cpuTime=9.27 mem=5M528
11.21
11.21 search
11.21 run=7 nbConstraintChecks=47722118 nbAssignments=80000
11.21 => wckTime=10.649 cpuTime=10.59 mem=5M528
12.53
12.53 search
12.53 run=8 nbConstraintChecks=53667548 nbAssignments=90000
12.53 => wckTime=11.974 cpuTime=11.92 mem=5M528
13.86
13.86 search
13.86 run=9 nbConstraintChecks=59653150 nbAssignments=100000
13.86 => wckTime=13.303 cpuTime=13.24 mem=5M528
15.19
15.19 search
15.19 run=10 nbConstraintChecks=65597889 nbAssignments=110000
15.19 => wckTime=14.628 cpuTime=14.57 mem=5M528
16.52
16.52 search
16.52 run=11 nbConstraintChecks=71584670 nbAssignments=120000
16.52 => wckTime=15.959 cpuTime=15.9 mem=5M528
17.84
17.84 search
17.84 run=12 nbConstraintChecks=77532175 nbAssignments=130000
17.84 => wckTime=17.277 cpuTime=17.22 mem=5M528
19.16
19.16 search
19.16 run=13 nbConstraintChecks=83513363 nbAssignments=140000
19.16 => wckTime=18.596 cpuTime=18.54 mem=5M528
20.47
20.47 search
20.47 run=14 nbConstraintChecks=89456585 nbAssignments=150000
20.47 => wckTime=19.908 cpuTime=19.84 mem=5M528
21.78
21.78 search
21.78 run=15 nbConstraintChecks=95438269 nbAssignments=160000
21.78 => wckTime=21.223 cpuTime=21.16 mem=5M528
23.09
23.09 search
23.09 run=16 nbConstraintChecks=101386398 nbAssignments=170000
23.09 => wckTime=22.535 cpuTime=22.47 mem=5M528
24.41
24.41 search
24.41 run=17 nbConstraintChecks=107367964 nbAssignments=180000
24.41 => wckTime=23.853 cpuTime=23.8 mem=5M528
25.73
25.73 search
25.73 run=18 nbConstraintChecks=113314963 nbAssignments=190000
25.73 => wckTime=25.167 cpuTime=25.11 mem=5M528
27.05
27.05 search
27.05 run=19 nbConstraintChecks=119300148 nbAssignments=200000
27.05 => wckTime=26.489 cpuTime=26.42 mem=5M528
28.37
28.37 search
28.37 run=20 nbConstraintChecks=125249042 nbAssignments=210000
28.37 => wckTime=27.811 cpuTime=27.74 mem=5M528
29.69
29.69 search
29.69 run=21 nbConstraintChecks=131228499 nbAssignments=220000
29.69 => wckTime=29.135 cpuTime=29.08 mem=5M528
30.67
30.67 search
30.67 run=22 nbConstraintChecks=135595861 nbAssignments=227360
30.67 => wckTime=30.106 cpuTime=30.05 mem=5M528
30.67
30.67 global
30.67 nbConstraintChecks=135595861 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.67 solvingWckTime=30.105 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.67 globalCpuTime=30.27
30.67 => wckTime=30.379 cpuTime=30.23 mem=5M528
30.67
30.67 solver IterativeSystematicSolver being built...
30.80 => wckTime=30.512 cpuTime=30.34 mem=16M612
30.81
30.81 preprocessing
30.81 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.81 detectedInconsistency=no
30.81 => wckTime=0.0050 cpuTime=0.0 mem=16M612
30.85
30.85 search
30.85 run=0 nbConstraintChecks=23879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
30.85 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0
30.85 => wckTime=0.046 cpuTime=0.02 mem=16M612
30.88
30.88 search
30.88 run=1 nbConstraintChecks=58182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83
30.88 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=130 nbRestartNogoods=2
30.88 => wckTime=0.078 cpuTime=0.04 mem=16M612
30.90
30.90 search
30.90 run=2 nbConstraintChecks=101062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=138
30.90 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=223 nbRestartNogoods=4
30.90 => wckTime=0.102 cpuTime=0.06 mem=16M612
30.93
30.93 search
30.93 run=3 nbConstraintChecks=174638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=224
30.93 nbFailedAssignments=71 nbBacktracks=81 nbVisitedNodes=377 nbRestartNogoods=5
30.93 => wckTime=0.13 cpuTime=0.09 mem=16M612
30.97
30.97 search
30.97 run=4 nbConstraintChecks=280582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=346
30.97 nbFailedAssignments=123 nbBacktracks=131 nbVisitedNodes=601 nbRestartNogoods=7
30.97 => wckTime=0.17 cpuTime=0.13 mem=16M612
31.03
31.03 search
31.03 run=5 nbConstraintChecks=424667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=502
31.03 nbFailedAssignments=189 nbBacktracks=206 nbVisitedNodes=898 nbRestartNogoods=9
31.03 => wckTime=0.225 cpuTime=0.18 mem=16M612
31.11
31.11 search
31.11 run=6 nbConstraintChecks=648985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=737
31.11 nbFailedAssignments=296 nbBacktracks=319 nbVisitedNodes=1353 nbRestartNogoods=15
31.11 => wckTime=0.311 cpuTime=0.27 mem=16M612
31.23
31.23 search
31.23 run=7 nbConstraintChecks=964050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1059
31.23 nbFailedAssignments=434 nbBacktracks=489 nbVisitedNodes=1983 nbRestartNogoods=18
31.23 => wckTime=0.432 cpuTime=0.38 mem=16M612
31.41
31.41 search
31.41 run=8 nbConstraintChecks=1432056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1541
31.41 nbFailedAssignments=645 nbBacktracks=745 nbVisitedNodes=2932 nbRestartNogoods=22
31.41 => wckTime=0.611 cpuTime=0.55 mem=16M612
31.67
31.67 search
31.67 run=9 nbConstraintChecks=2170935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2278
31.67 nbFailedAssignments=984 nbBacktracks=1129 nbVisitedNodes=4392 nbRestartNogoods=27
31.67 => wckTime=0.873 cpuTime=0.8 mem=16M612
32.08
32.08 search
32.08 run=10 nbConstraintChecks=3346783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3455
32.08 nbFailedAssignments=1569 nbBacktracks=1705 nbVisitedNodes=6730 nbRestartNogoods=31
32.08 => wckTime=1.281 cpuTime=1.2 mem=16M612
32.68
32.68 search
32.68 run=11 nbConstraintChecks=5090501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5188
32.68 nbFailedAssignments=2422 nbBacktracks=2569 nbVisitedNodes=10180 nbRestartNogoods=36
32.68 => wckTime=1.881 cpuTime=1.8 mem=16M612
33.58
33.58 search
33.58 run=12 nbConstraintChecks=7659299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7752
33.58 nbFailedAssignments=3676 nbBacktracks=3866 nbVisitedNodes=15295 nbRestartNogoods=40
33.58 => wckTime=2.777 cpuTime=2.7 mem=16M612
34.96
34.96 search
34.96 run=13 nbConstraintChecks=11656073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11662
34.96 nbFailedAssignments=5623 nbBacktracks=5813 nbVisitedNodes=23099 nbRestartNogoods=48
34.96 => wckTime=4.161 cpuTime=4.08 mem=16M612
36.94
36.94 search
36.94 run=14 nbConstraintChecks=17433772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17342
36.94 nbFailedAssignments=8368 nbBacktracks=8733 nbVisitedNodes=34444 nbRestartNogoods=52
36.94 => wckTime=6.143 cpuTime=6.06 mem=16M612
39.93
39.93 search
39.93 run=15 nbConstraintChecks=26139285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25976
39.93 nbFailedAssignments=12609 nbBacktracks=13111 nbVisitedNodes=51697 nbRestartNogoods=57
39.93 => wckTime=9.129 cpuTime=9.05 mem=16M612
44.55
44.55 search
44.55 run=16 nbConstraintChecks=39316720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39004
44.55 nbFailedAssignments=19058 nbBacktracks=19679 nbVisitedNodes=77742 nbRestartNogoods=62
44.55 => wckTime=13.744 cpuTime=13.66 mem=16M612
51.59
51.59 search
51.59 run=17 nbConstraintChecks=59163486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58442
51.59 nbFailedAssignments=28628 nbBacktracks=29532 nbVisitedNodes=116603 nbRestartNogoods=72
51.59 => wckTime=20.786 cpuTime=20.7 mem=16M612
62.49
62.49 search
62.49 run=18 nbConstraintChecks=89469248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87864
62.49 nbFailedAssignments=43259 nbBacktracks=44311 nbVisitedNodes=175435 nbRestartNogoods=76
62.49 => wckTime=31.689 cpuTime=31.58 mem=16M612
79.39
79.39 search
79.39 run=19 nbConstraintChecks=136037749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132698
79.39 nbFailedAssignments=65913 nbBacktracks=66479 nbVisitedNodes=265087 nbRestartNogoods=81
79.39 => wckTime=48.591 cpuTime=48.48 mem=16M612
104.08
104.08 search
104.08 run=20 nbConstraintChecks=203939156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198835
104.08 nbFailedAssignments=98786 nbBacktracks=99731 nbVisitedNodes=397306 nbRestartNogoods=88
104.08 => wckTime=73.279 cpuTime=73.12 mem=16M612
141.15
141.15 search
141.15 run=21 nbConstraintChecks=305165663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298270
141.15 nbFailedAssignments=148333 nbBacktracks=149609 nbVisitedNodes=595809 nbRestartNogoods=94
141.15 => wckTime=110.344 cpuTime=110.18 mem=16M612
192.74
192.74 search
192.74 run=22 nbConstraintChecks=451820241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=445306
192.74 nbFailedAssignments=220535 nbBacktracks=224427 nbVisitedNodes=889239 nbRestartNogoods=105
192.74 => wckTime=161.942 cpuTime=161.69 mem=16M612
267.12
267.12 search
267.12 run=23 nbConstraintChecks=667504256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=665843
267.12 nbFailedAssignments=328831 nbBacktracks=336654 nbVisitedNodes=1326452 nbRestartNogoods=110
267.12 => wckTime=236.319 cpuTime=236.01 mem=16M612
365.24
365.24 search
365.24 run=24 nbConstraintChecks=967885995 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=980799
365.24 nbFailedAssignments=475429 nbBacktracks=504995 nbVisitedNodes=1938182 nbRestartNogoods=116
365.24 => wckTime=334.442 cpuTime=334.04 mem=16M612
485.72
485.72 search
485.72 run=25 nbConstraintChecks=1356515671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1411897
485.72 nbFailedAssignments=653998 nbBacktracks=757507 nbVisitedNodes=2727180 nbRestartNogoods=123
485.72 => wckTime=454.916 cpuTime=454.38 mem=16M612
622.94
622.94 search
622.94 run=26 nbConstraintChecks=1821827879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1984856
622.94 nbFailedAssignments=848170 nbBacktracks=1136276 nbVisitedNodes=3673579 nbRestartNogoods=132
622.94 => wckTime=592.141 cpuTime=591.47 mem=16M612
814.91
814.91 search
814.91 run=27 nbConstraintChecks=2463711981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2773901
814.91 nbFailedAssignments=1112480 nbBacktracks=1661012 nbVisitedNodes=4968055 nbRestartNogoods=143
814.91 => wckTime=784.107 cpuTime=783.26 mem=16M612
814.91
814.91 global
814.91 nbConstraintChecks=2463711981 nbRestartNogoods=143 solvingWckTime=784.109 solvingCpuTime=783.26 expiredTime=no
814.91 totalExploration=yes nbFoundSolutions=0 globalCpuTime=813.64
814.91 => wckTime=814.622 cpuTime=813.6 mem=16M612
814.91
814.91 s OPTIMUM FOUND
814.91 v 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0
814.91
814.91 totalWckTime=814.696 totalCpuTime=813.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-279839-1169298899 -o ROOT/results/node65/solver-279839-1169298899 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279839-1169298899/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.96 2.01 1.95 4/74 4028
/proc/meminfo: memFree=1457364/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=172 CPUtime=0
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 77387222 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5686052 0 0 4096 0 0 0 0 17 0 0 0
/proc/4027/statm: 43 24 18 14 0 3 0
[startup+0.107553 s]
/proc/loadavg: 1.96 2.01 1.95 4/74 4028
/proc/meminfo: memFree=1457364/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=914988 CPUtime=0.09
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 3077 0 1 0 8 1 0 0 22 0 8 0 77387222 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515621 s]
/proc/loadavg: 1.96 2.01 1.95 4/74 4028
/proc/meminfo: memFree=1457364/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915332 CPUtime=0.5
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 6509 0 1 0 46 4 0 0 25 0 8 0 77387222 937299968 6247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228833 6247 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33876 s]
/proc/loadavg: 1.96 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1439964/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=1.32
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 7008 0 1 0 109 23 0 0 25 0 8 0 77387222 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 6746 2476 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 160 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937418752 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.11
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 328 0 0 0 10 1 0 0 16 0 8 0 77387229 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 6746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.98103 s]
/proc/loadavg: 1.96 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1439964/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=2.96
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 7011 0 1 0 227 69 0 0 25 0 8 0 77387222 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 6748 2476 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 160 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915448 CPUtime=0.12
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 330 0 0 0 11 1 0 0 17 0 8 0 77387229 937418752 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 6748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.27257 s]
/proc/loadavg: 1.96 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1439908/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915448 CPUtime=6.25
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 7012 0 1 0 464 161 0 0 25 0 8 0 77387222 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 6749 2476 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 160 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915448 CPUtime=0.12
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 331 0 0 0 11 1 0 0 16 0 8 0 77387229 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915448
[startup+12.7536 s]
/proc/loadavg: 1.96 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1439908/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=12.7
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 7012 0 1 0 932 338 0 0 25 0 8 0 77387222 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 6749 2476 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 160 0 0 0 2 0 0 0 17 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.12
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 331 0 0 0 11 1 0 0 16 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.5978 s]
/proc/loadavg: 1.97 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1439908/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=25.53
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 7012 0 1 0 1858 695 0 0 25 0 8 0 77387222 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 6749 2476 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915448 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 160 0 0 0 2 0 0 0 16 0 8 0 77387226 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.12
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 331 0 0 0 11 1 0 0 16 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915448 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937418752 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915444
[startup+51.2 s]
/proc/loadavg: 1.98 2.01 1.95 3/81 4035
/proc/meminfo: memFree=1431844/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=51.13
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9117 0 1 0 4271 842 0 0 25 0 8 0 77387222 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8852 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915444
[startup+102.5 s]
/proc/loadavg: 1.95 1.99 1.95 3/87 4107
/proc/meminfo: memFree=1407668/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=102.36
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9126 0 1 0 9393 843 0 0 25 0 8 0 77387222 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8860 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915444
[startup+162.529 s]
/proc/loadavg: 1.98 1.99 1.95 3/87 4107
/proc/meminfo: memFree=1407604/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=162.34
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9132 0 1 0 15391 843 0 0 25 0 8 0 77387222 937414656 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 915444
[startup+402.684 s]
/proc/loadavg: 2.08 2.02 1.96 3/87 4109
/proc/meminfo: memFree=1407476/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=402.25
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9140 0 1 0 39382 843 0 0 25 0 8 0 77387222 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8873 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 915444
[startup+462.71 s]
/proc/loadavg: 2.03 2.01 1.96 3/87 4109
/proc/meminfo: memFree=1407540/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=462.21
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9140 0 1 0 45378 843 0 0 25 0 8 0 77387222 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8873 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 915444
[startup+522.746 s]
/proc/loadavg: 2.01 2.00 1.96 3/87 4109
/proc/meminfo: memFree=1407476/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=522.19
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9143 0 1 0 51376 843 0 0 25 0 8 0 77387222 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8876 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 915444
[startup+582.786 s]
/proc/loadavg: 2.03 2.02 1.96 3/87 4109
/proc/meminfo: memFree=1407476/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=582.17
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9143 0 1 0 57374 843 0 0 25 0 8 0 77387222 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8876 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 915444
[startup+642.823 s]
/proc/loadavg: 2.07 2.03 1.97 3/87 4109
/proc/meminfo: memFree=1407412/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=642.14
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9145 0 1 0 63371 843 0 0 25 0 8 0 77387222 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8878 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 915444
[startup+702.86 s]
/proc/loadavg: 2.02 2.02 1.97 3/87 4109
/proc/meminfo: memFree=1407476/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=702.12
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9145 0 1 0 69369 843 0 0 25 0 8 0 77387222 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8878 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 915444
[startup+762.875 s]
/proc/loadavg: 1.75 1.95 1.95 2/72 4124
/proc/meminfo: memFree=1441700/2055920 swapFree=4191892/4192956
[pid=4027] ppid=4025 vsize=915444 CPUtime=762.08
/proc/4027/stat : 4027 (java) R 4025 4027 2937 0 -1 0 9145 0 1 0 75364 844 0 0 25 0 8 0 77387222 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4027/statm: 228861 8878 2527 14 0 215331 0
[pid=4027/tid=4029] ppid=4025 vsize=915444 CPUtime=0.02
/proc/4027/task/4029/stat : 4029 (java) S 4025 4027 2937 0 -1 64 161 0 0 0 2 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4030] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4030/stat : 4030 (java) S 4025 4027 2937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4031] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4031/stat : 4031 (java) S 4025 4027 2937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77387226 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4032] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4032/stat : 4032 (java) S 4025 4027 2937 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4033] ppid=4025 vsize=915444 CPUtime=0.21
/proc/4027/task/4033/stat : 4033 (java) S 4025 4027 2937 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4034] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4034/stat : 4034 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4027/tid=4035] ppid=4025 vsize=915444 CPUtime=0
/proc/4027/task/4035/stat : 4035 (java) S 4025 4027 2937 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77387229 937414656 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 814.928
CPU time (s): 814.106
CPU user time (s): 805.649
CPU system time (s): 8.45671
CPU usage (%): 99.8991
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.65
system time used= 8.45671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9241
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= 17651
involuntary context switches= 20904
runsolver used 0.764883 s user time and 2.25866 s system time
The end
Begin job on node65 on Sat Jan 20 13:15:00 UTC 2007
IDJOB= 279839
IDBENCH= 10465
IDSOLVER= 69
FILE ID= node65/279839-1169298899
PBS_JOBID= 3609807
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxcut/maxcut-30/maxcut-30-350-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279839-1169298899/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-279839-1169298899 -o ROOT/results/node65/solver-279839-1169298899 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279839-1169298899/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 652edeca1c29a0853e785a25f2540afb
RANDOM SEED= 548785445
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.263
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.263
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: 1457780 kB
Buffers: 49012 kB
Cached: 456512 kB
SwapCached: 396 kB
Active: 119888 kB
Inactive: 408268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1457780 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4308 kB
Writeback: 0 kB
Mapped: 33468 kB
Slab: 55400 kB
Committed_AS: 1065248 kB
PageTables: 1864 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node65 on Sat Jan 20 13:28:35 UTC 2007