0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281575-1169313084/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.50 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1070 maxDegree=9
0.50 maxArity=2
0.50 => wckTime=0.184 cpuTime=0.14 mem=7M879
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.268 cpuTime=0.18 mem=5M428
0.58
0.58 s SATISFIABLE
0.58 o 10
0.58 c 53
0.59 o 13
0.59 c 50
0.59 o 16
0.59 c 47
0.59 o 19
0.59 c 44
0.59 o 22
0.59 c 41
0.59 o 24
0.59 c 39
0.59 o 26
0.59 c 37
0.59 o 28
0.59 c 35
0.59 o 30
0.60 c 33
0.60 o 32
0.60 c 31
0.60 o 33
0.60 c 30
0.60 o 34
0.60 c 29
0.60 o 35
0.60 c 28
0.60 o 36
0.60 c 27
0.60 o 37
0.60 c 26
0.60 o 38
0.60 c 25
0.60 o 39
0.60 c 24
0.60 o 41
0.60 c 22
0.60 o 42
0.60 c 21
0.63 o 43
0.63 c 20
0.68 o 44
0.68 c 19
1.96
1.96 search
1.96 run=0 nbConstraintChecks=6567427 nbAssignments=10000
1.96 => wckTime=1.378 cpuTime=1.34 mem=5M428
3.31
3.31 search
3.31 run=1 nbConstraintChecks=13411856 nbAssignments=20000
3.31 => wckTime=2.73 cpuTime=2.68 mem=5M428
4.64
4.64 search
4.64 run=2 nbConstraintChecks=20099542 nbAssignments=30000
4.64 => wckTime=4.065 cpuTime=4.0 mem=5M428
5.96
5.96 search
5.96 run=3 nbConstraintChecks=26548834 nbAssignments=40000
5.96 => wckTime=5.381 cpuTime=5.31 mem=5M428
7.28
7.28 search
7.28 run=4 nbConstraintChecks=33123741 nbAssignments=50000
7.28 => wckTime=6.704 cpuTime=6.62 mem=5M428
8.62
8.62 search
8.62 run=5 nbConstraintChecks=39749570 nbAssignments=60000
8.62 => wckTime=8.039 cpuTime=7.94 mem=5M428
9.93
9.93 search
9.93 run=6 nbConstraintChecks=46310856 nbAssignments=70000
9.93 => wckTime=9.355 cpuTime=9.25 mem=5M428
11.25
11.25 search
11.25 run=7 nbConstraintChecks=52922887 nbAssignments=80000
11.25 => wckTime=10.669 cpuTime=10.55 mem=5M428
12.58
12.58 search
12.58 run=8 nbConstraintChecks=59636578 nbAssignments=90000
12.58 => wckTime=12.0 cpuTime=11.87 mem=5M428
13.89
13.89 search
13.89 run=9 nbConstraintChecks=66213664 nbAssignments=100000
13.89 => wckTime=13.315 cpuTime=13.17 mem=5M428
15.22
15.22 search
15.22 run=10 nbConstraintChecks=72897577 nbAssignments=110000
15.22 => wckTime=14.641 cpuTime=14.49 mem=5M428
16.55
16.55 search
16.55 run=11 nbConstraintChecks=79613097 nbAssignments=120000
16.55 => wckTime=15.97 cpuTime=15.81 mem=5M428
17.88
17.88 search
17.88 run=12 nbConstraintChecks=86289724 nbAssignments=130000
17.88 => wckTime=17.3 cpuTime=17.12 mem=5M428
19.19
19.19 search
19.19 run=13 nbConstraintChecks=92781992 nbAssignments=140000
19.19 => wckTime=18.61 cpuTime=18.43 mem=5M428
20.53
20.53 search
20.53 run=14 nbConstraintChecks=99407386 nbAssignments=150000
20.53 => wckTime=19.947 cpuTime=19.74 mem=5M428
21.86
21.86 search
21.86 run=15 nbConstraintChecks=106192209 nbAssignments=160000
21.86 => wckTime=21.284 cpuTime=21.08 mem=5M428
23.21
23.21 search
23.21 run=16 nbConstraintChecks=113007002 nbAssignments=170000
23.21 => wckTime=22.633 cpuTime=22.41 mem=5M428
24.54
24.54 search
24.54 run=17 nbConstraintChecks=119554262 nbAssignments=180000
24.54 => wckTime=23.962 cpuTime=23.72 mem=5M428
25.88
25.88 search
25.88 run=18 nbConstraintChecks=126247003 nbAssignments=190000
25.88 => wckTime=25.3 cpuTime=25.05 mem=5M428
27.24
27.24 search
27.24 run=19 nbConstraintChecks=133042423 nbAssignments=200000
27.24 => wckTime=26.655 cpuTime=26.39 mem=5M428
28.55
28.55 search
28.55 run=20 nbConstraintChecks=139524653 nbAssignments=210000
28.55 => wckTime=27.974 cpuTime=27.7 mem=5M428
29.90
29.90 search
29.90 run=21 nbConstraintChecks=146421680 nbAssignments=220000
29.90 => wckTime=29.318 cpuTime=29.03 mem=5M428
30.97
30.97 search
30.97 run=22 nbConstraintChecks=151785101 nbAssignments=228067
30.97 => wckTime=30.386 cpuTime=30.1 mem=5M428
30.97
30.97 global
30.97 nbConstraintChecks=151785101 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.385 solvingCpuTime=30.1 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.33
30.97 => wckTime=30.655 cpuTime=30.28 mem=5M428
30.97
30.97 solver IterativeSystematicSolver being built...
31.10 => wckTime=30.789 cpuTime=30.39 mem=16M417
31.14
31.14 preprocessing
31.14 nbConstraintChecks=35095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.14 detectedInconsistency=no
31.14 => wckTime=0.036 cpuTime=0.02 mem=16M417
31.19
31.19 search
31.19 run=0 nbConstraintChecks=95572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
31.19 nbFailedAssignments=42 nbBacktracks=11 nbVisitedNodes=111 nbRestartNogoods=0
31.19 => wckTime=0.082 cpuTime=0.06 mem=16M417
31.23
31.23 search
31.23 run=1 nbConstraintChecks=210417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=126
31.23 nbFailedAssignments=90 nbBacktracks=26 nbVisitedNodes=243 nbRestartNogoods=2
31.23 => wckTime=0.131 cpuTime=0.1 mem=16M417
31.29
31.29 search
31.29 run=2 nbConstraintChecks=388754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230
31.29 nbFailedAssignments=167 nbBacktracks=48 nbVisitedNodes=446 nbRestartNogoods=6
31.29 => wckTime=0.188 cpuTime=0.15 mem=16M417
31.34
31.34 search
31.34 run=3 nbConstraintChecks=536133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=324
31.34 nbFailedAssignments=220 nbBacktracks=81 nbVisitedNodes=626 nbRestartNogoods=12
31.35 => wckTime=0.242 cpuTime=0.2 mem=16M417
31.42
31.42 search
31.42 run=4 nbConstraintChecks=790777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=477
31.42 nbFailedAssignments=317 nbBacktracks=131 nbVisitedNodes=926 nbRestartNogoods=18
31.42 => wckTime=0.317 cpuTime=0.27 mem=16M417
31.53
31.53 search
31.53 run=5 nbConstraintChecks=1166877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=696
31.53 nbFailedAssignments=450 nbBacktracks=208 nbVisitedNodes=1355 nbRestartNogoods=20
31.53 => wckTime=0.428 cpuTime=0.38 mem=16M417
31.74
31.74 search
31.74 run=6 nbConstraintChecks=1957337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1169
31.74 nbFailedAssignments=805 nbBacktracks=321 nbVisitedNodes=2293 nbRestartNogoods=25
31.74 => wckTime=0.64 cpuTime=0.58 mem=16M417
32.03
32.03 search
32.03 run=7 nbConstraintChecks=2973713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1776
32.03 nbFailedAssignments=1236 nbBacktracks=491 nbVisitedNodes=3501 nbRestartNogoods=32
32.03 => wckTime=0.927 cpuTime=0.85 mem=16M417
32.32
32.32 search
32.32 run=8 nbConstraintChecks=4136626 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2514
32.32 nbFailedAssignments=1710 nbBacktracks=747 nbVisitedNodes=4959 nbRestartNogoods=37
32.32 => wckTime=1.218 cpuTime=1.14 mem=16M417
32.97
32.97 search
32.97 run=9 nbConstraintChecks=6651933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4044
32.97 nbFailedAssignments=2850 nbBacktracks=1131 nbVisitedNodes=8007 nbRestartNogoods=44
32.97 => wckTime=1.868 cpuTime=1.78 mem=16M417
33.73
33.73 search
33.73 run=10 nbConstraintChecks=9732581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6039
33.73 nbFailedAssignments=4260 nbBacktracks=1707 nbVisitedNodes=11988 nbRestartNogoods=54
33.73 => wckTime=2.626 cpuTime=2.53 mem=16M417
34.99
34.99 search
34.99 run=11 nbConstraintChecks=14644402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8970
34.99 nbFailedAssignments=6322 nbBacktracks=2571 nbVisitedNodes=17843 nbRestartNogoods=62
34.99 => wckTime=3.887 cpuTime=3.78 mem=16M417
36.46
36.46 search
36.46 run=12 nbConstraintChecks=19937915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12396
36.46 nbFailedAssignments=8441 nbBacktracks=3868 nbVisitedNodes=24625 nbRestartNogoods=66
36.46 => wckTime=5.356 cpuTime=5.23 mem=16M417
39.58
39.58 search
39.58 run=13 nbConstraintChecks=31048973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19043
39.58 nbFailedAssignments=13137 nbBacktracks=5814 nbVisitedNodes=37726 nbRestartNogoods=84
39.58 => wckTime=8.477 cpuTime=8.33 mem=16M417
43.77
43.77 search
43.77 run=14 nbConstraintChecks=46415676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28106
43.77 nbFailedAssignments=19275 nbBacktracks=8734 nbVisitedNodes=55807 nbRestartNogoods=103
43.77 => wckTime=12.664 cpuTime=12.47 mem=16M417
50.18
50.18 search
50.18 run=15 nbConstraintChecks=70070586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42855
50.18 nbFailedAssignments=29640 nbBacktracks=13112 nbVisitedNodes=85063 nbRestartNogoods=129
50.18 => wckTime=19.078 cpuTime=18.83 mem=16M417
60.01
60.01 search
60.01 run=16 nbConstraintChecks=105328708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64432
60.01 nbFailedAssignments=44643 nbBacktracks=19680 nbVisitedNodes=127594 nbRestartNogoods=141
60.01 => wckTime=28.906 cpuTime=28.57 mem=16M417
75.53
75.53 search
75.53 run=17 nbConstraintChecks=159069321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98244
75.53 nbFailedAssignments=68596 nbBacktracks=29532 nbVisitedNodes=195007 nbRestartNogoods=156
75.53 => wckTime=44.431 cpuTime=43.97 mem=16M417
95.65
95.65 search
95.65 run=18 nbConstraintChecks=228940377 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145631
95.65 nbFailedAssignments=101198 nbBacktracks=44310 nbVisitedNodes=289192 nbRestartNogoods=170
95.65 => wckTime=64.548 cpuTime=63.91 mem=16M417
125.28
125.28 search
125.28 run=19 nbConstraintChecks=331782640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=213099
125.28 nbFailedAssignments=146491 nbBacktracks=66479 nbVisitedNodes=423180 nbRestartNogoods=185
125.28 => wckTime=94.176 cpuTime=93.3 mem=16M417
170.02
170.02 search
170.02 run=20 nbConstraintChecks=488967802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=312053
170.02 nbFailedAssignments=212189 nbBacktracks=99731 nbVisitedNodes=619101 nbRestartNogoods=204
170.02 => wckTime=138.921 cpuTime=137.65 mem=16M417
235.18
235.18 search
235.18 run=21 nbConstraintChecks=710709171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458825
235.18 nbFailedAssignments=309078 nbBacktracks=149609 nbVisitedNodes=909617 nbRestartNogoods=236
235.18 => wckTime=204.079 cpuTime=202.26 mem=16M417
331.96
331.96 search
331.96 run=22 nbConstraintChecks=1041859994 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=671315
331.96 nbFailedAssignments=446744 nbBacktracks=224427 nbVisitedNodes=1330007 nbRestartNogoods=247
331.96 => wckTime=300.855 cpuTime=298.22 mem=16M417
389.69
389.69 search
389.69 run=23 nbConstraintChecks=1243484743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=796918
389.69 nbFailedAssignments=526466 nbBacktracks=270309 nbVisitedNodes=1577860 nbRestartNogoods=275
389.69 => wckTime=358.585 cpuTime=355.46 mem=16M417
389.69
389.69 global
389.69 nbConstraintChecks=1243519838 nbRestartNogoods=275 solvingWckTime=358.585 solvingCpuTime=355.46 expiredTime=no
389.69 totalExploration=yes nbFoundSolutions=0 globalCpuTime=385.9
389.69 => wckTime=389.376 cpuTime=385.85 mem=16M417
389.69
389.69 s OPTIMUM FOUND
389.69 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
389.69
389.69 totalWckTime=389.458 totalCpuTime=385.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-281575-1169313084 -o ROOT/results/node3/solver-281575-1169313084 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281575-1169313084/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.94 2.01 1.99 4/87 5093
/proc/meminfo: memFree=1231680/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=906644 CPUtime=0.02
/proc/5092/stat : 5092 (java) S 5090 5092 4470 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 279704051 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 226661 1818 1036 14 0 214244 0
[pid=5092/tid=5094] ppid=5090 vsize=906644 CPUtime=0
/proc/5092/task/5094/stat : 5094 (java) R 5090 5092 4470 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 279704054 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104776 s]
/proc/loadavg: 1.94 2.01 1.99 4/87 5093
/proc/meminfo: memFree=1231680/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=914988 CPUtime=0.08
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 2999 0 1 0 7 1 0 0 17 0 8 0 279704051 936947712 2745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228747 2745 1428 14 0 215242 0
[pid=5092/tid=5094] ppid=5090 vsize=914988 CPUtime=0
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 279704054 936947712 2745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512846 s]
/proc/loadavg: 1.94 2.01 1.99 4/87 5093
/proc/meminfo: memFree=1231680/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915332 CPUtime=0.5
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6477 0 1 0 46 4 0 0 18 0 8 0 279704051 937299968 6215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228833 6215 2164 14 0 215303 0
[pid=5092/tid=5094] ppid=5090 vsize=915332 CPUtime=0
/proc/5092/task/5094/stat : 5094 (java) R 5090 5092 4470 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 279704054 937299968 6215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215729 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33397 s]
/proc/loadavg: 1.94 2.01 1.99 3/94 5100
/proc/meminfo: memFree=1214472/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915448 CPUtime=1.31
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6957 0 1 0 105 26 0 0 25 0 8 0 279704051 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228862 6695 2479 14 0 215332 0
[pid=5092/tid=5094] ppid=5090 vsize=915448 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279704054 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915448 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915448 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915448 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915448 CPUtime=0.1
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279704058 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915448 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915448 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937418752 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.98224 s]
/proc/loadavg: 1.94 2.00 1.99 3/94 5100
/proc/meminfo: memFree=1214472/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=2.94
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6960 0 1 0 220 74 0 0 25 0 8 0 279704051 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 6697 2479 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.1
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26977 s]
/proc/loadavg: 1.94 2.00 1.99 3/94 5100
/proc/meminfo: memFree=1214408/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=6.19
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6960 0 1 0 448 171 0 0 25 0 8 0 279704051 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 6697 2479 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.1
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7578 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 5100
/proc/meminfo: memFree=1214536/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=12.62
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6960 0 1 0 897 365 0 0 25 0 8 0 279704051 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 6697 2479 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.1
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6109 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 5100
/proc/meminfo: memFree=1214536/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=25.37
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 6962 0 1 0 1800 737 0 0 25 0 8 0 279704051 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11250521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 6698 2479 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.1
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279704058 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2181 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=50.75
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9006 0 1 0 4175 900 0 0 25 0 8 0 279704051 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8736 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915444
[startup+102.426 s]
/proc/loadavg: 2.10 2.03 2.00 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=101.52
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9013 0 1 0 9252 900 0 0 25 0 8 0 279704051 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8743 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444
[startup+162.476 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=161.07
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9017 0 1 0 15206 901 0 0 25 0 8 0 279704051 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8746 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 915444
[startup+222.524 s]
/proc/loadavg: 2.08 2.03 2.00 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=220.61
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9019 0 1 0 21160 901 0 0 25 0 8 0 279704051 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8748 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 915444
[startup+282.568 s]
/proc/loadavg: 2.11 2.05 2.01 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=280.14
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9022 0 1 0 27113 901 0 0 25 0 8 0 279704051 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8751 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 915444
[startup+342.611 s]
/proc/loadavg: 2.04 2.04 2.00 3/94 5100
/proc/meminfo: memFree=1206600/2055920 swapFree=4191880/4192956
[pid=5092] ppid=5090 vsize=915444 CPUtime=339.69
/proc/5092/stat : 5092 (java) R 5090 5092 4470 0 -1 0 9024 0 1 0 33067 902 0 0 25 0 8 0 279704051 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5092/statm: 228861 8753 2532 14 0 215331 0
[pid=5092/tid=5094] ppid=5090 vsize=915444 CPUtime=0.02
/proc/5092/task/5094/stat : 5094 (java) S 5090 5092 4470 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279704054 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5095] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5095/stat : 5095 (java) S 5090 5092 4470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279704055 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5096] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5096/stat : 5096 (java) S 5090 5092 4470 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279704055 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5097] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5097/stat : 5097 (java) S 5090 5092 4470 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279704058 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5098] ppid=5090 vsize=915444 CPUtime=0.21
/proc/5092/task/5098/stat : 5098 (java) S 5090 5092 4470 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 279704058 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5099] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5099/stat : 5099 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279704058 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5092/tid=5100] ppid=5090 vsize=915444 CPUtime=0
/proc/5092/task/5100/stat : 5100 (java) S 5090 5092 4470 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279704058 937414656 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 389.738
CPU time (s): 386.38
CPU user time (s): 377.349
CPU system time (s): 9.03163
CPU usage (%): 99.1385
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 377.349
system time used= 9.03163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9121
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= 8901
involuntary context switches= 24555
runsolver used 0.445932 s user time and 1.3048 s system time
The end
Begin job on node3 on Sat Jan 20 17:11:24 UTC 2007
IDJOB= 281575
IDBENCH= 12218
IDSOLVER= 68
FILE ID= node3/281575-1169313084
PBS_JOBID= 3609991
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/281575-1169313084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-281575-1169313084 -o ROOT/results/node3/solver-281575-1169313084 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281575-1169313084/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 385b2faa50685cb7fac1fae9c937aee3
RANDOM SEED= 679037303
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.279
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.279
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: 1232096 kB
Buffers: 57900 kB
Cached: 570544 kB
SwapCached: 284 kB
Active: 262252 kB
Inactive: 484800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1232096 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1788 kB
Writeback: 0 kB
Mapped: 131412 kB
Slab: 61520 kB
Committed_AS: 8019668 kB
PageTables: 2176 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node3 on Sat Jan 20 17:17:54 UTC 2007