0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/283015-1169325178/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=47 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.50 nbConstraints=236 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=235
0.50 nbConflictsStructures=1 nbSharedConflictsStructures=235 nbSharedBinaryRepresentations=3 maxDegree=23 maxArity=2
0.50 => wckTime=0.178 cpuTime=0.14 mem=8M837
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.262 cpuTime=0.18 mem=5M487
0.59
0.59 s SATISFIABLE
0.59 o 156
0.59 c 80
0.59 o 164
0.59 c 72
0.59 o 170
0.59 c 66
0.59 o 173
0.59 c 63
0.59 o 176
0.59 c 60
0.59 o 180
0.59 c 56
0.59 o 181
0.59 c 55
0.59 o 186
0.59 c 50
0.59 o 191
0.59 c 45
0.59 o 195
0.59 c 41
0.60 o 198
0.60 c 38
0.60 o 202
0.60 c 34
0.60 o 206
0.60 c 30
0.60 o 207
0.60 c 29
0.60 o 208
0.60 c 28
0.60 o 209
0.60 c 27
0.60 o 210
0.60 c 26
0.61 o 211
0.61 c 25
0.61 o 212
0.61 c 24
0.61 o 213
0.61 c 23
0.61 o 214
0.61 c 22
0.62 o 217
0.62 c 19
0.62 o 218
0.62 c 18
0.66 o 219
0.66 c 17
0.70 o 220
0.70 c 16
1.70
1.70 search
1.70 run=0 nbConstraintChecks=3515817 nbAssignments=10000
1.70 => wckTime=1.122 cpuTime=1.09 mem=5M487
2.76
2.76 search
2.76 run=1 nbConstraintChecks=7024578 nbAssignments=20000
2.76 => wckTime=2.178 cpuTime=2.13 mem=5M487
3.80
3.80 search
3.80 run=2 nbConstraintChecks=10474208 nbAssignments=30000
3.80 => wckTime=3.219 cpuTime=3.17 mem=5M487
4.87
4.87 search
4.87 run=3 nbConstraintChecks=14120714 nbAssignments=40000
4.87 => wckTime=4.288 cpuTime=4.23 mem=5M487
5.92
5.92 search
5.92 run=4 nbConstraintChecks=17665993 nbAssignments=50000
5.92 => wckTime=5.339 cpuTime=5.26 mem=5M487
6.99
6.99 search
6.99 run=5 nbConstraintChecks=21293388 nbAssignments=60000
6.99 => wckTime=6.407 cpuTime=6.33 mem=5M487
8.03
8.03 search
8.03 run=6 nbConstraintChecks=24721597 nbAssignments=70000
8.03 => wckTime=7.446 cpuTime=7.36 mem=5M487
9.11
9.11 search
9.11 run=7 nbConstraintChecks=28567120 nbAssignments=80000
9.11 => wckTime=8.533 cpuTime=8.44 mem=5M487
10.16
10.16 search
10.16 run=8 nbConstraintChecks=32065485 nbAssignments=90000
10.16 => wckTime=9.578 cpuTime=9.48 mem=5M487
11.24
11.24 search
11.24 run=9 nbConstraintChecks=35714180 nbAssignments=100000
11.24 => wckTime=10.658 cpuTime=10.55 mem=5M487
12.29
12.29 search
12.29 run=10 nbConstraintChecks=39191503 nbAssignments=110000
12.29 => wckTime=11.712 cpuTime=11.59 mem=5M487
13.37
13.37 search
13.37 run=11 nbConstraintChecks=42734009 nbAssignments=120000
13.37 => wckTime=12.785 cpuTime=12.66 mem=5M487
14.42
14.42 search
14.42 run=12 nbConstraintChecks=46165249 nbAssignments=130000
14.42 => wckTime=13.839 cpuTime=13.7 mem=5M487
15.50
15.50 search
15.50 run=13 nbConstraintChecks=49877224 nbAssignments=140000
15.50 => wckTime=14.923 cpuTime=14.78 mem=5M487
16.56
16.56 search
16.56 run=14 nbConstraintChecks=53382880 nbAssignments=150000
16.56 => wckTime=15.983 cpuTime=15.83 mem=5M487
17.64
17.64 search
17.64 run=15 nbConstraintChecks=56942786 nbAssignments=160000
17.64 => wckTime=17.056 cpuTime=16.89 mem=5M487
18.70
18.70 search
18.70 run=16 nbConstraintChecks=60432988 nbAssignments=170000
18.70 => wckTime=18.115 cpuTime=17.94 mem=5M487
19.77
19.77 search
19.78 run=17 nbConstraintChecks=64047184 nbAssignments=180000
19.78 => wckTime=19.194 cpuTime=19.01 mem=5M487
20.82
20.82 search
20.82 run=18 nbConstraintChecks=67489590 nbAssignments=190000
20.82 => wckTime=20.242 cpuTime=20.05 mem=5M487
21.91
21.91 search
21.91 run=19 nbConstraintChecks=71238877 nbAssignments=200000
21.91 => wckTime=21.325 cpuTime=21.12 mem=5M487
22.96
22.96 search
22.96 run=20 nbConstraintChecks=74787679 nbAssignments=210000
22.96 => wckTime=22.38 cpuTime=22.16 mem=5M487
24.01
24.01 search
24.01 run=21 nbConstraintChecks=78232932 nbAssignments=220000
24.01 => wckTime=23.431 cpuTime=23.2 mem=5M487
25.06
25.06 search
25.06 run=22 nbConstraintChecks=81694842 nbAssignments=230000
25.06 => wckTime=24.479 cpuTime=24.25 mem=5M487
26.16
26.16 search
26.16 run=23 nbConstraintChecks=85616133 nbAssignments=240000
26.16 => wckTime=25.574 cpuTime=25.34 mem=5M487
27.21
27.21 search
27.22 run=24 nbConstraintChecks=89196199 nbAssignments=250000
27.22 => wckTime=26.634 cpuTime=26.38 mem=5M487
28.28
28.28 search
28.28 run=25 nbConstraintChecks=92770433 nbAssignments=260000
28.28 => wckTime=27.694 cpuTime=27.44 mem=5M487
29.32
29.32 search
29.32 run=26 nbConstraintChecks=96246015 nbAssignments=270000
29.32 => wckTime=28.738 cpuTime=28.48 mem=5M487
30.40
30.40 search
30.40 run=27 nbConstraintChecks=99938634 nbAssignments=280000
30.40 => wckTime=29.816 cpuTime=29.54 mem=5M487
30.97
30.97 search
30.97 run=28 nbConstraintChecks=101781549 nbAssignments=285443
30.97 => wckTime=30.388 cpuTime=30.11 mem=5M487
30.97
30.97 global
30.97 nbConstraintChecks=101781549 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.385 solvingCpuTime=30.11 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.34
30.97 => wckTime=30.649 cpuTime=30.29 mem=5M487
30.97
30.97 solver IterativeSystematicSolver being built...
31.11 => wckTime=30.783 cpuTime=30.4 mem=16M525
31.15
31.15 preprocessing
31.15 nbConstraintChecks=20804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.15 detectedInconsistency=no
31.15 => wckTime=0.046 cpuTime=0.02 mem=16M525
31.18
31.18 search
31.18 run=0 nbConstraintChecks=27287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42
31.18 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=65 nbRestartNogoods=0
31.18 => wckTime=0.071 cpuTime=0.05 mem=16M525
31.22
31.22 search
31.22 run=1 nbConstraintChecks=67930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102
31.22 nbFailedAssignments=33 nbBacktracks=26 nbVisitedNodes=162 nbRestartNogoods=2
31.22 => wckTime=0.113 cpuTime=0.07 mem=16M525
31.25
31.25 search
31.25 run=2 nbConstraintChecks=120040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172
31.25 nbFailedAssignments=60 nbBacktracks=48 nbVisitedNodes=281 nbRestartNogoods=8
31.25 => wckTime=0.141 cpuTime=0.1 mem=16M525
31.28
31.28 search
31.28 run=3 nbConstraintChecks=197830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268
31.28 nbFailedAssignments=97 nbBacktracks=81 nbVisitedNodes=447 nbRestartNogoods=12
31.28 => wckTime=0.173 cpuTime=0.13 mem=16M525
31.34
31.34 search
31.34 run=4 nbConstraintChecks=322587 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=416
31.34 nbFailedAssignments=181 nbBacktracks=131 nbVisitedNodes=727 nbRestartNogoods=13
31.34 => wckTime=0.232 cpuTime=0.2 mem=16M525
31.42
31.42 search
31.42 run=5 nbConstraintChecks=505519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=632
31.42 nbFailedAssignments=296 nbBacktracks=207 nbVisitedNodes=1134 nbRestartNogoods=14
31.42 => wckTime=0.314 cpuTime=0.28 mem=16M525
31.53
31.53 search
31.53 run=6 nbConstraintChecks=737942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=913
31.53 nbFailedAssignments=450 nbBacktracks=320 nbVisitedNodes=1677 nbRestartNogoods=20
31.53 => wckTime=0.427 cpuTime=0.39 mem=16M525
31.68
31.68 search
31.68 run=7 nbConstraintChecks=1030770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1258
31.68 nbFailedAssignments=609 nbBacktracks=491 nbVisitedNodes=2350 nbRestartNogoods=24
31.68 => wckTime=0.569 cpuTime=0.52 mem=16M525
31.89
31.89 search
31.89 run=8 nbConstraintChecks=1581036 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1828
31.89 nbFailedAssignments=897 nbBacktracks=749 nbVisitedNodes=3460 nbRestartNogoods=25
31.89 => wckTime=0.788 cpuTime=0.72 mem=16M525
32.16
32.16 search
32.16 run=9 nbConstraintChecks=2316386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2614
32.16 nbFailedAssignments=1272 nbBacktracks=1133 nbVisitedNodes=4974 nbRestartNogoods=29
32.16 => wckTime=1.056 cpuTime=0.98 mem=16M525
32.66
32.66 search
32.66 run=10 nbConstraintChecks=3412338 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3895
32.66 nbFailedAssignments=1960 nbBacktracks=1709 nbVisitedNodes=7426 nbRestartNogoods=33
32.66 => wckTime=1.554 cpuTime=1.47 mem=16M525
33.27
33.27 search
33.27 run=11 nbConstraintChecks=5186716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5695
33.27 nbFailedAssignments=2869 nbBacktracks=2575 nbVisitedNodes=10952 nbRestartNogoods=41
33.27 => wckTime=2.165 cpuTime=2.07 mem=16M525
34.28
34.28 search
34.28 run=12 nbConstraintChecks=7540905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8418
34.28 nbFailedAssignments=4278 nbBacktracks=3872 nbVisitedNodes=16210 nbRestartNogoods=45
34.28 => wckTime=3.175 cpuTime=3.07 mem=16M525
35.75
35.75 search
35.75 run=13 nbConstraintChecks=11446256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12541
35.75 nbFailedAssignments=6433 nbBacktracks=5818 nbVisitedNodes=24231 nbRestartNogoods=53
35.75 => wckTime=4.643 cpuTime=4.53 mem=16M525
37.76
37.76 search
37.76 run=14 nbConstraintChecks=16743415 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18323
37.76 nbFailedAssignments=9273 nbBacktracks=8737 nbVisitedNodes=35348 nbRestartNogoods=62
37.76 => wckTime=6.65 cpuTime=6.52 mem=16M525
41.21
41.21 search
41.21 run=15 nbConstraintChecks=23859989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26851
41.21 nbFailedAssignments=13411 nbBacktracks=13115 nbVisitedNodes=51621 nbRestartNogoods=70
41.21 => wckTime=10.099 cpuTime=9.94 mem=16M525
46.09
46.09 search
46.09 run=16 nbConstraintChecks=34056946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39184
46.09 nbFailedAssignments=19165 nbBacktracks=19683 nbVisitedNodes=75666 nbRestartNogoods=80
46.09 => wckTime=14.982 cpuTime=14.78 mem=16M525
52.75
52.75 search
52.75 run=17 nbConstraintChecks=49315145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57434
52.75 nbFailedAssignments=27555 nbBacktracks=29535 nbVisitedNodes=109878 nbRestartNogoods=88
52.75 => wckTime=21.645 cpuTime=21.39 mem=16M525
62.19
62.19 search
62.19 run=18 nbConstraintChecks=70705344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84015
62.19 nbFailedAssignments=39348 nbBacktracks=44315 nbVisitedNodes=157834 nbRestartNogoods=100
62.19 => wckTime=31.08 cpuTime=30.76 mem=16M525
76.84
76.84 search
76.84 run=19 nbConstraintChecks=100452314 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=122676
76.84 nbFailedAssignments=55830 nbBacktracks=66483 nbVisitedNodes=227564 nbRestartNogoods=112
76.84 => wckTime=45.733 cpuTime=45.3 mem=16M525
98.33
98.38 search
98.38 run=20 nbConstraintChecks=141906438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179228
98.38 nbFailedAssignments=79116 nbBacktracks=99735 nbVisitedNodes=329174 nbRestartNogoods=124
98.38 => wckTime=67.22 cpuTime=66.61 mem=16M525
129.68
129.68 search
129.68 run=21 nbConstraintChecks=199156289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261337
129.68 nbFailedAssignments=111333 nbBacktracks=149615 nbVisitedNodes=474215 nbRestartNogoods=131
129.68 => wckTime=98.571 cpuTime=97.72 mem=16M525
174.85
174.85 search
174.85 run=22 nbConstraintChecks=284240920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=383569
174.86 nbFailedAssignments=158735 nbBacktracks=224434 nbVisitedNodes=690530 nbRestartNogoods=142
174.86 => wckTime=143.748 cpuTime=142.53 mem=16M525
242.19
242.19 search
242.19 run=23 nbConstraintChecks=409148579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=563573
242.19 nbFailedAssignments=226498 nbBacktracks=336662 nbVisitedNodes=1006197 nbRestartNogoods=151
242.19 => wckTime=211.084 cpuTime=209.32 mem=16M525
344.85
344.85 search
344.85 run=24 nbConstraintChecks=591226279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=832050
344.85 nbFailedAssignments=326622 nbBacktracks=505004 nbVisitedNodes=1472026 nbRestartNogoods=163
344.85 => wckTime=313.748 cpuTime=311.19 mem=16M525
437.75
437.75 search
437.75 run=25 nbConstraintChecks=752223585 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1072032
437.75 nbFailedAssignments=414804 nbBacktracks=656805 nbVisitedNodes=1885001 nbRestartNogoods=172
437.75 => wckTime=406.644 cpuTime=403.38 mem=16M525
437.75
437.75 global
437.75 nbConstraintChecks=752244389 nbRestartNogoods=172 solvingWckTime=406.645 solvingCpuTime=403.38 expiredTime=no
437.75 totalExploration=yes nbFoundSolutions=0 globalCpuTime=433.83
437.75 => wckTime=437.429 cpuTime=433.78 mem=16M525
437.76
437.76 s OPTIMUM FOUND
437.76 v 0 0 0 0 0 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 2 1 2 0
437.76
437.76 totalWckTime=437.512 totalCpuTime=433.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-283015-1169325178 -o ROOT/results/node48/solver-283015-1169325178 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/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.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=18540 CPUtime=0
/proc/27678/stat : 27678 (runsolver) R 27676 27678 27520 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280916497 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27678/statm: 4635 279 244 17 0 2626 0
[startup+0.107673 s]
/proc/loadavg: 1.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=914988 CPUtime=0.09
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 280916497 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155071742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515713 s]
/proc/loadavg: 1.92 1.97 1.81 4/73 27679
/proc/meminfo: memFree=1374600/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=0.48
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 6524 0 1 0 45 3 0 0 18 0 8 0 280916497 937299968 6262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6262 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33678 s]
/proc/loadavg: 1.92 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357264/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=1.29
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7018 0 1 0 99 30 0 0 25 0 8 0 280916497 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6756 2479 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.1
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915332
[startup+2.97393 s]
/proc/loadavg: 1.92 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357200/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915336 CPUtime=2.92
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7022 0 1 0 200 92 0 0 25 0 8 0 280916497 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228834 6759 2480 14 0 215304 0
[pid=27678/tid=27680] ppid=27676 vsize=915336 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915336 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915336 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937304064 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915336
[startup+6.17522 s]
/proc/loadavg: 1.93 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357264/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=6.09
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7023 0 1 0 400 209 0 0 25 0 8 0 280916497 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6760 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915332
[startup+12.6428 s]
/proc/loadavg: 1.93 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357328/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=12.51
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7023 0 1 0 809 442 0 0 25 0 8 0 280916497 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6760 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915332
[startup+25.504 s]
/proc/loadavg: 1.95 1.97 1.81 3/80 27686
/proc/meminfo: memFree=1357392/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=25.26
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 7024 0 1 0 1611 915 0 0 25 0 8 0 280916497 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 6761 2480 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.11
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 322 0 0 0 11 0 0 0 16 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 6761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915332
[startup+51.1154 s]
/proc/loadavg: 1.96 1.97 1.82 3/80 27686
/proc/meminfo: memFree=1349584/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=50.66
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9051 0 1 0 3945 1121 0 0 25 0 8 0 280916497 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8785 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915332
[startup+102.41 s]
/proc/loadavg: 1.98 1.97 1.82 3/80 27686
/proc/meminfo: memFree=1349584/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=101.56
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9062 0 1 0 9035 1121 0 0 25 0 8 0 280916497 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8794 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915332
[startup+162.445 s]
/proc/loadavg: 1.99 1.97 1.83 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=161.13
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9066 0 1 0 14991 1122 0 0 25 0 8 0 280916497 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8797 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8797 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 915332
[startup+222.482 s]
/proc/loadavg: 1.99 1.97 1.83 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=220.68
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9068 0 1 0 20946 1122 0 0 25 0 8 0 280916497 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8799 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 915332
[startup+282.519 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=280.23
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9071 0 1 0 26901 1122 0 0 25 0 8 0 280916497 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8802 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 915332
[startup+342.558 s]
/proc/loadavg: 1.99 1.97 1.85 3/80 27686
/proc/meminfo: memFree=1349456/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=339.81
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9071 0 1 0 32859 1122 0 0 25 0 8 0 280916497 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8802 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (KiB) 915332
[startup+402.595 s]
/proc/loadavg: 1.99 1.97 1.85 3/80 27686
/proc/meminfo: memFree=1349520/2055920 swapFree=4192812/4192956
[pid=27678] ppid=27676 vsize=915332 CPUtime=399.39
/proc/27678/stat : 27678 (java) R 27676 27678 27520 0 -1 0 9073 0 1 0 38816 1123 0 0 25 0 8 0 280916497 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27678/statm: 228833 8804 2533 14 0 215303 0
[pid=27678/tid=27680] ppid=27676 vsize=915332 CPUtime=0.02
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27520 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280916501 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27681] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280916501 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27682] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280916502 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27683] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27684] ppid=27676 vsize=915332 CPUtime=0.21
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27520 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27685] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27520 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27678/tid=27686] ppid=27676 vsize=915332 CPUtime=0
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27520 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280916505 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.39
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 437.807
CPU time (s): 434.306
CPU user time (s): 423.069
CPU system time (s): 11.2373
CPU usage (%): 99.2003
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.069
system time used= 11.2373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9171
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= 9932
involuntary context switches= 17625
runsolver used 0.451931 s user time and 1.17482 s system time
The end
Begin job on node48 on Sat Jan 20 20:32:58 UTC 2007
IDJOB= 283015
IDBENCH= 12979
IDSOLVER= 68
FILE ID= node48/283015-1169325178
PBS_JOBID= 3610495
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-283015-1169325178 -o ROOT/results/node48/solver-283015-1169325178 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283015-1169325178/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1aedd11c2458b29f711a3b3fe14039f
RANDOM SEED= 589563115
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.218
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.218
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: 1375080 kB
Buffers: 51468 kB
Cached: 520752 kB
SwapCached: 0 kB
Active: 149736 kB
Inactive: 451400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375080 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 40380 kB
Slab: 65068 kB
Committed_AS: 5953912 kB
PageTables: 1704 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 node48 on Sat Jan 20 20:40:16 UTC 2007