0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/281576-1169313086/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.43
0.43 constraints being loaded...
0.47 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.47 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1070 maxDegree=9
0.47 maxArity=2
0.47 => wckTime=0.174 cpuTime=0.14 mem=7M950
0.51
0.51 solver LocalSearchSolver being built...
0.55 => wckTime=0.254 cpuTime=0.18 mem=5M428
0.56
0.56 s SATISFIABLE
0.56 o 10
0.56 c 53
0.56 o 13
0.56 c 50
0.56 o 16
0.56 c 47
0.56 o 19
0.56 c 44
0.56 o 22
0.56 c 41
0.56 o 24
0.56 c 39
0.56 o 26
0.56 c 37
0.56 o 28
0.56 c 35
0.56 o 30
0.56 c 33
0.56 o 32
0.56 c 31
0.56 o 33
0.56 c 30
0.57 o 34
0.57 c 29
0.57 o 35
0.57 c 28
0.57 o 36
0.57 c 27
0.57 o 37
0.57 c 26
0.57 o 38
0.57 c 25
0.57 o 39
0.57 c 24
0.57 o 41
0.57 c 22
0.57 o 42
0.57 c 21
0.59 o 43
0.59 c 20
0.65 o 44
0.65 c 19
1.91
1.91 search
1.91 run=0 nbConstraintChecks=6567427 nbAssignments=10000
1.91 => wckTime=1.357 cpuTime=1.33 mem=5M428
3.23
3.23 search
3.23 run=1 nbConstraintChecks=13411856 nbAssignments=20000
3.23 => wckTime=2.68 cpuTime=2.65 mem=5M428
4.53
4.53 search
4.53 run=2 nbConstraintChecks=20099542 nbAssignments=30000
4.53 => wckTime=3.98 cpuTime=3.95 mem=5M428
5.81
5.81 search
5.81 run=3 nbConstraintChecks=26548834 nbAssignments=40000
5.81 => wckTime=5.264 cpuTime=5.23 mem=5M428
7.10
7.10 search
7.10 run=4 nbConstraintChecks=33123741 nbAssignments=50000
7.10 => wckTime=6.55 cpuTime=6.52 mem=5M428
8.39
8.39 search
8.39 run=5 nbConstraintChecks=39749570 nbAssignments=60000
8.39 => wckTime=7.844 cpuTime=7.82 mem=5M428
9.67
9.67 search
9.67 run=6 nbConstraintChecks=46310856 nbAssignments=70000
9.67 => wckTime=9.124 cpuTime=9.1 mem=5M428
10.96
10.96 search
10.96 run=7 nbConstraintChecks=52922887 nbAssignments=80000
10.96 => wckTime=10.408 cpuTime=10.38 mem=5M428
12.25
12.25 search
12.25 run=8 nbConstraintChecks=59636578 nbAssignments=90000
12.25 => wckTime=11.702 cpuTime=11.67 mem=5M428
13.54
13.54 search
13.54 run=9 nbConstraintChecks=66213664 nbAssignments=100000
13.54 => wckTime=12.985 cpuTime=12.95 mem=5M428
14.83
14.83 search
14.83 run=10 nbConstraintChecks=72897577 nbAssignments=110000
14.83 => wckTime=14.277 cpuTime=14.25 mem=5M428
16.13
16.13 search
16.13 run=11 nbConstraintChecks=79613097 nbAssignments=120000
16.13 => wckTime=15.575 cpuTime=15.54 mem=5M428
17.43
17.43 search
17.43 run=12 nbConstraintChecks=86289724 nbAssignments=130000
17.43 => wckTime=16.877 cpuTime=16.85 mem=5M428
18.71
18.71 search
18.71 run=13 nbConstraintChecks=92781992 nbAssignments=140000
18.71 => wckTime=18.162 cpuTime=18.14 mem=5M428
20.01
20.01 search
20.01 run=14 nbConstraintChecks=99407386 nbAssignments=150000
20.01 => wckTime=19.462 cpuTime=19.43 mem=5M428
21.32
21.32 search
21.32 run=15 nbConstraintChecks=106192209 nbAssignments=160000
21.32 => wckTime=20.771 cpuTime=20.74 mem=5M428
22.64
22.64 search
22.64 run=16 nbConstraintChecks=113007002 nbAssignments=170000
22.64 => wckTime=22.092 cpuTime=22.05 mem=5M428
23.93
23.93 search
23.93 run=17 nbConstraintChecks=119554262 nbAssignments=180000
23.93 => wckTime=23.384 cpuTime=23.35 mem=5M428
25.24
25.24 search
25.24 run=18 nbConstraintChecks=126247003 nbAssignments=190000
25.24 => wckTime=24.689 cpuTime=24.65 mem=5M428
26.56
26.56 search
26.56 run=19 nbConstraintChecks=133042423 nbAssignments=200000
26.56 => wckTime=26.004 cpuTime=25.97 mem=5M428
27.83
27.83 search
27.83 run=20 nbConstraintChecks=139524653 nbAssignments=210000
27.83 => wckTime=27.284 cpuTime=27.25 mem=5M428
29.15
29.15 search
29.15 run=21 nbConstraintChecks=146421680 nbAssignments=220000
29.15 => wckTime=28.597 cpuTime=28.56 mem=5M428
30.44
30.44 search
30.44 run=22 nbConstraintChecks=153093513 nbAssignments=230000
30.44 => wckTime=29.892 cpuTime=29.85 mem=5M428
30.68
30.68 search
30.68 run=23 nbConstraintChecks=154323190 nbAssignments=231858
30.68 => wckTime=30.131 cpuTime=30.1 mem=5M428
30.68
30.68 global
30.68 nbConstraintChecks=154323190 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.68 solvingWckTime=30.13 solvingCpuTime=30.1 expiredTime=no totalExploration=no nbFoundSolutions=0
30.68 globalCpuTime=30.33
30.68 => wckTime=30.386 cpuTime=30.28 mem=5M428
30.68
30.68 solver IterativeSystematicSolver being built...
30.81 => wckTime=30.511 cpuTime=30.38 mem=16M434
30.82
30.82 preprocessing
30.82 nbConstraintChecks=1120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.82 detectedInconsistency=no
30.82 => wckTime=0.0050 cpuTime=0.0 mem=16M434
30.88
30.88 search
30.88 run=0 nbConstraintChecks=100932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61
30.88 nbFailedAssignments=44 nbBacktracks=11 nbVisitedNodes=117 nbRestartNogoods=0
30.88 => wckTime=0.07 cpuTime=0.05 mem=16M434
30.91
30.91 search
30.91 run=1 nbConstraintChecks=154298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
30.91 nbFailedAssignments=55 nbBacktracks=26 nbVisitedNodes=176 nbRestartNogoods=15
30.91 => wckTime=0.1 cpuTime=0.07 mem=16M434
30.94
30.94 search
30.94 run=2 nbConstraintChecks=258504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=158
30.94 nbFailedAssignments=90 nbBacktracks=48 nbVisitedNodes=297 nbRestartNogoods=19
30.94 => wckTime=0.127 cpuTime=0.09 mem=16M434
30.98
30.98 search
30.98 run=3 nbConstraintChecks=415211 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=253
30.98 nbFailedAssignments=143 nbBacktracks=82 nbVisitedNodes=477 nbRestartNogoods=28
30.98 => wckTime=0.169 cpuTime=0.14 mem=16M434
31.04
31.04 search
31.04 run=4 nbConstraintChecks=626087 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=372
31.04 nbFailedAssignments=204 nbBacktracks=132 nbVisitedNodes=706 nbRestartNogoods=35
31.04 => wckTime=0.228 cpuTime=0.19 mem=16M434
31.13
31.13 search
31.13 run=5 nbConstraintChecks=982439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=598
31.13 nbFailedAssignments=346 nbBacktracks=208 nbVisitedNodes=1149 nbRestartNogoods=43
31.13 => wckTime=0.316 cpuTime=0.28 mem=16M434
31.32
31.32 search
31.32 run=6 nbConstraintChecks=1693628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1041
31.32 nbFailedAssignments=668 nbBacktracks=322 nbVisitedNodes=2028 nbRestartNogoods=56
31.32 => wckTime=0.506 cpuTime=0.47 mem=16M434
31.57
31.57 search
31.57 run=7 nbConstraintChecks=2611544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1567
31.57 nbFailedAssignments=1017 nbBacktracks=492 nbVisitedNodes=3066 nbRestartNogoods=74
31.57 => wckTime=0.757 cpuTime=0.7 mem=16M434
31.90
31.90 search
31.90 run=8 nbConstraintChecks=4005015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2396
31.90 nbFailedAssignments=1583 nbBacktracks=749 nbVisitedNodes=4707 nbRestartNogoods=92
31.90 => wckTime=1.095 cpuTime=1.03 mem=16M434
32.34
32.34 search
32.34 run=9 nbConstraintChecks=5687495 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3407
32.34 nbFailedAssignments=2203 nbBacktracks=1133 nbVisitedNodes=6710 nbRestartNogoods=105
32.34 => wckTime=1.528 cpuTime=1.47 mem=16M434
33.06
33.06 search
33.06 run=10 nbConstraintChecks=8855576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5319
33.07 nbFailedAssignments=3532 nbBacktracks=1709 nbVisitedNodes=10492 nbRestartNogoods=122
33.07 => wckTime=2.255 cpuTime=2.19 mem=16M434
34.14
34.14 search
34.14 run=11 nbConstraintChecks=13290446 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7950
34.14 nbFailedAssignments=5291 nbBacktracks=2573 nbVisitedNodes=15716 nbRestartNogoods=146
34.14 => wckTime=3.334 cpuTime=3.27 mem=16M434
35.81
35.81 search
35.81 run=12 nbConstraintChecks=20335050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12281
35.81 nbFailedAssignments=8320 nbBacktracks=3870 nbVisitedNodes=24313 nbRestartNogoods=175
35.81 => wckTime=5.003 cpuTime=4.93 mem=16M434
38.43
38.43 search
38.43 run=13 nbConstraintChecks=30532880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18417
38.43 nbFailedAssignments=12502 nbBacktracks=5816 nbVisitedNodes=36520 nbRestartNogoods=186
38.43 => wckTime=7.623 cpuTime=7.55 mem=16M434
41.77
41.77 search
41.77 run=14 nbConstraintChecks=43932804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26919
41.77 nbFailedAssignments=18078 nbBacktracks=8735 nbVisitedNodes=53398 nbRestartNogoods=202
41.77 => wckTime=10.961 cpuTime=10.89 mem=16M434
47.39
47.39 search
47.39 run=15 nbConstraintChecks=66262631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40939
47.39 nbFailedAssignments=27713 nbBacktracks=13113 nbVisitedNodes=81128 nbRestartNogoods=213
47.39 => wckTime=16.584 cpuTime=16.51 mem=16M434
57.05
57.05 search
57.05 run=16 nbConstraintChecks=104774933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66528
57.05 nbFailedAssignments=46729 nbBacktracks=19682 nbVisitedNodes=132217 nbRestartNogoods=247
57.05 => wckTime=26.24 cpuTime=26.16 mem=16M434
70.77
70.77 search
70.77 run=17 nbConstraintChecks=159309383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100849
70.77 nbFailedAssignments=71193 nbBacktracks=29534 nbVisitedNodes=200373 nbRestartNogoods=251
70.77 => wckTime=39.965 cpuTime=39.89 mem=16M434
92.58
92.58 search
92.58 run=18 nbConstraintChecks=244468638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156653
92.58 nbFailedAssignments=112214 nbBacktracks=44312 nbVisitedNodes=311019 nbRestartNogoods=270
92.58 => wckTime=61.767 cpuTime=61.69 mem=16M434
122.81
122.81 search
122.81 run=19 nbConstraintChecks=362126617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=235354
122.81 nbFailedAssignments=168740 nbBacktracks=66480 nbVisitedNodes=466641 nbRestartNogoods=283
122.81 => wckTime=92.001 cpuTime=91.91 mem=16M434
160.49
160.49 search
160.49 run=20 nbConstraintChecks=505420900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=329463
160.49 nbFailedAssignments=229591 nbBacktracks=99732 nbVisitedNodes=652340 nbRestartNogoods=299
160.49 => wckTime=129.68 cpuTime=129.58 mem=16M434
215.68
215.68 search
215.68 run=21 nbConstraintChecks=712878488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469040
215.68 nbFailedAssignments=319285 nbBacktracks=149610 nbVisitedNodes=926484 nbRestartNogoods=317
215.68 => wckTime=184.869 cpuTime=184.76 mem=16M434
302.32
302.32 search
302.32 run=22 nbConstraintChecks=1036880352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=674355
302.32 nbFailedAssignments=449778 nbBacktracks=224428 nbVisitedNodes=1327367 nbRestartNogoods=334
302.32 => wckTime=271.514 cpuTime=271.38 mem=16M434
320.35
320.35 search
320.35 run=23 nbConstraintChecks=1103424833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=718573
320.35 nbFailedAssignments=477644 nbBacktracks=240781 nbVisitedNodes=1413650 nbRestartNogoods=351
320.35 => wckTime=289.538 cpuTime=289.4 mem=16M434
320.35
320.35 global
320.35 nbConstraintChecks=1103425953 nbRestartNogoods=351 solvingWckTime=289.539 solvingCpuTime=289.4 expiredTime=no
320.35 totalExploration=yes nbFoundSolutions=0 globalCpuTime=319.83
320.35 => wckTime=320.051 cpuTime=319.78 mem=16M434
320.35
320.35 s OPTIMUM FOUND
320.35 v 9 9 8 1 8 2 3 3 3 8 2 7 6 4 8 8 6 3 1 4 1 4 3 0 5
320.35
320.35 totalWckTime=320.126 totalCpuTime=319.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-281576-1169313086 -o ROOT/results/node60/solver-281576-1169313086 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281576-1169313086/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: 0.91 0.99 1.12 4/65 31258
/proc/meminfo: memFree=1418904/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=1784 CPUtime=0
/proc/31257/stat : 31257 (java) D 31255 31257 30550 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 279706559 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31257/statm: 446 136 102 14 0 91 0
[startup+0.104348 s]
/proc/loadavg: 0.91 0.99 1.12 4/65 31258
/proc/meminfo: memFree=1418904/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=914988 CPUtime=0.08
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 3038 0 1 0 7 1 0 0 16 0 8 0 279706559 936947712 2784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 228747 2784 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512386 s]
/proc/loadavg: 0.91 0.99 1.12 4/65 31258
/proc/meminfo: memFree=1418904/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=915332 CPUtime=0.5
/proc/31257/stat : 31257 (java) S 31255 31257 30550 0 -1 0 6600 0 1 0 46 4 0 0 16 0 8 0 279706559 937299968 6338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 228833 6338 2168 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33446 s]
/proc/loadavg: 0.91 0.99 1.12 2/72 31265
/proc/meminfo: memFree=1401760/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=915444 CPUtime=1.31
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 6950 0 1 0 104 27 0 0 17 0 8 0 279706559 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 228861 6688 2476 14 0 215331 0
[pid=31257/tid=31259] ppid=31255 vsize=915444 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279706563 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31257/tid=31260] ppid=31255 vsize=915444 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=915444 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=915444 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=915448 CPUtime=0.1
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 279706566 937418752 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=915444 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=915444 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279706566 937414656 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98663 s]
/proc/loadavg: 0.91 0.99 1.12 2/72 31265
/proc/meminfo: memFree=1401760/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916472 CPUtime=2.96
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 6954 0 1 0 220 76 0 0 18 0 8 0 279706559 938467328 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6434066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 6691 2476 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.1
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916472 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938467328 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 6691 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) 916472
[startup+6.26495 s]
/proc/loadavg: 0.91 0.99 1.12 2/72 31265
/proc/meminfo: memFree=1401760/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=6.24
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 6954 0 1 0 453 171 0 0 16 0 8 0 279706559 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 6691 2476 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916472 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938467328 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.1
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916472 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938467328 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916468
[startup+12.7456 s]
/proc/loadavg: 0.92 0.99 1.11 2/72 31265
/proc/meminfo: memFree=1401768/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=12.73
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 6954 0 1 0 900 373 0 0 25 0 8 0 279706559 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 6691 2476 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916472 CPUtime=0.1
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279706566 938467328 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916468
[startup+25.5699 s]
/proc/loadavg: 0.94 0.99 1.11 2/72 31265
/proc/meminfo: memFree=1401832/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=25.54
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 6956 0 1 0 1787 767 0 0 20 0 8 0 279706559 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 6692 2476 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916472 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916472 CPUtime=0.11
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279706566 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916468
[startup+51.2524 s]
/proc/loadavg: 0.96 0.99 1.11 2/72 31265
/proc/meminfo: memFree=1393960/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=51.22
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 8998 0 1 0 4202 920 0 0 23 0 8 0 279706559 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 8730 2527 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.19
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 279706566 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916468
[startup+102.507 s]
/proc/loadavg: 0.98 0.99 1.10 2/72 31265
/proc/meminfo: memFree=1393960/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=102.46
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 9008 0 1 0 9326 920 0 0 25 0 8 0 279706559 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 8738 2527 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.19
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279706566 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916468
[startup+162.592 s]
/proc/loadavg: 0.99 0.99 1.09 2/72 31265
/proc/meminfo: memFree=1393896/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=162.53
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 9014 0 1 0 15333 920 0 0 19 0 8 0 279706559 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 8743 2527 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.19
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279706566 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.53
Current children cumulated vsize (KiB) 916468
[startup+222.678 s]
/proc/loadavg: 0.99 0.99 1.08 2/72 31265
/proc/meminfo: memFree=1393896/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=222.6
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 9016 0 1 0 21340 920 0 0 25 0 8 0 279706559 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 8745 2527 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.19
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.6
Current children cumulated vsize (KiB) 916468
[startup+282.764 s]
/proc/loadavg: 0.99 0.99 1.08 2/72 31265
/proc/meminfo: memFree=1393896/2055920 swapFree=4192812/4192956
[pid=31257] ppid=31255 vsize=916468 CPUtime=282.67
/proc/31257/stat : 31257 (java) R 31255 31257 30550 0 -1 0 9016 0 1 0 27347 920 0 0 25 0 8 0 279706559 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31257/statm: 229117 8745 2527 14 0 215587 0
[pid=31257/tid=31259] ppid=31255 vsize=916468 CPUtime=0.02
/proc/31257/task/31259/stat : 31259 (java) S 31255 31257 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31260] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31260/stat : 31260 (java) S 31255 31257 30550 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31261] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31261/stat : 31261 (java) S 31255 31257 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279706563 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31262] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31262/stat : 31262 (java) S 31255 31257 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31263] ppid=31255 vsize=916468 CPUtime=0.19
/proc/31257/task/31263/stat : 31263 (java) S 31255 31257 30550 0 -1 64 382 0 0 0 19 0 0 0 16 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31264] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31264/stat : 31264 (java) S 31255 31257 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31257/tid=31265] ppid=31255 vsize=916468 CPUtime=0
/proc/31257/task/31265/stat : 31265 (java) S 31255 31257 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279706566 938463232 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.67
Current children cumulated vsize (KiB) 916468
Child status: 0
Real time (s): 320.395
CPU time (s): 320.27
CPU user time (s): 311.054
CPU system time (s): 9.2166
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 916984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.054
system time used= 9.2166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9116
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= 7326
involuntary context switches= 534
runsolver used 0.369943 s user time and 0.777881 s system time
The end
Begin job on node60 on Sat Jan 20 17:11:27 UTC 2007
IDJOB= 281576
IDBENCH= 12218
IDSOLVER= 69
FILE ID= node60/281576-1169313086
PBS_JOBID= 3610244
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281576-1169313086/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-281576-1169313086 -o ROOT/results/node60/solver-281576-1169313086 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281576-1169313086/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 385b2faa50685cb7fac1fae9c937aee3
RANDOM SEED= 498150539
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.236
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.236
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: 1419384 kB
Buffers: 51488 kB
Cached: 494484 kB
SwapCached: 0 kB
Active: 149328 kB
Inactive: 412056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1824 kB
Writeback: 0 kB
Mapped: 25632 kB
Slab: 61184 kB
Committed_AS: 5753316 kB
PageTables: 1464 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 node60 on Sat Jan 20 17:16:47 UTC 2007