0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-ddeg.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1112696-1215872811.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=4 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=16
0.28/0.35 => wckTime=0.103 cpuTime=0.09 mem=7M858
0.28/0.35
0.28/0.35 predicates being loaded...
0.39/0.41
0.39/0.41 constraints being loaded...
0.39/0.45 nbConstraints=8 nbConvertedConstraints=8 nbConvertConstraintsChecks=48 nbExtensionStructures=3
0.39/0.45 nbSharedExtensionStructures=5 nbConflictsStructures=3 nbSharedConflictsStructures=5
0.39/0.45 nbSharedBinaryRepresentations=15 minDegree=4 maxDegree=4 minArity=2 maxArity=2
0.39/0.45 => wckTime=0.204 cpuTime=0.17 mem=11M810
0.48/0.50
0.48/0.50 solver LocalSearchSolver being built...
0.48/0.54 => wckTime=0.298 cpuTime=0.21 mem=6M377
0.48/0.54
0.48/0.54 s SATISFIABLE
0.48/0.54 o 2
0.48/0.54 o 1
1.08/1.13
1.08/1.13 search
1.08/1.13 run=0 nbConstraintChecks=316771 nbAssignments=10000
1.08/1.13 => wckTime=0.586 cpuTime=0.56 mem=7M368
1.57/1.68
1.57/1.68 search
1.57/1.68 run=1 nbConstraintChecks=634006 nbAssignments=20000
1.57/1.68 => wckTime=1.138 cpuTime=1.1 mem=7M368
2.18/2.21
2.18/2.21 search
2.18/2.21 run=2 nbConstraintChecks=949763 nbAssignments=30000
2.18/2.21 => wckTime=1.673 cpuTime=1.64 mem=7M368
2.66/2.74
2.66/2.74 search
2.66/2.74 run=3 nbConstraintChecks=1265662 nbAssignments=40000
2.66/2.74 => wckTime=2.204 cpuTime=2.17 mem=7M368
3.17/3.28
3.17/3.28 search
3.17/3.28 run=4 nbConstraintChecks=1581346 nbAssignments=50000
3.17/3.28 => wckTime=2.74 cpuTime=2.7 mem=7M368
3.76/3.81
3.76/3.81 search
3.76/3.81 run=5 nbConstraintChecks=1897225 nbAssignments=60000
3.76/3.81 => wckTime=3.272 cpuTime=3.23 mem=7M368
4.26/4.35
4.26/4.35 search
4.26/4.35 run=6 nbConstraintChecks=2212946 nbAssignments=70000
4.26/4.35 => wckTime=3.808 cpuTime=3.76 mem=7M368
4.76/4.88
4.76/4.88 search
4.76/4.88 run=7 nbConstraintChecks=2528945 nbAssignments=80000
4.76/4.88 => wckTime=4.339 cpuTime=4.29 mem=7M368
5.36/5.41
5.36/5.41 search
5.36/5.42 run=8 nbConstraintChecks=2844700 nbAssignments=90000
5.36/5.42 => wckTime=4.875 cpuTime=4.83 mem=7M368
5.85/5.95
5.85/5.95 search
5.85/5.95 run=9 nbConstraintChecks=3160612 nbAssignments=100000
5.85/5.95 => wckTime=5.411 cpuTime=5.36 mem=7M368
6.36/6.49
6.36/6.49 search
6.36/6.49 run=10 nbConstraintChecks=3476488 nbAssignments=110000
6.36/6.49 => wckTime=5.949 cpuTime=5.9 mem=7M368
6.95/7.03
6.95/7.03 search
6.95/7.03 run=11 nbConstraintChecks=3792400 nbAssignments=120000
6.95/7.03 => wckTime=6.491 cpuTime=6.44 mem=7M368
7.45/7.57
7.45/7.57 search
7.45/7.57 run=12 nbConstraintChecks=4108175 nbAssignments=130000
7.45/7.57 => wckTime=7.028 cpuTime=6.97 mem=7M368
8.05/8.11
8.05/8.11 search
8.05/8.11 run=13 nbConstraintChecks=4423996 nbAssignments=140000
8.05/8.11 => wckTime=7.57 cpuTime=7.51 mem=7M368
8.55/8.65
8.55/8.65 search
8.55/8.65 run=14 nbConstraintChecks=4739965 nbAssignments=150000
8.55/8.65 => wckTime=8.107 cpuTime=8.05 mem=7M368
9.04/9.19
9.04/9.19 search
9.04/9.19 run=15 nbConstraintChecks=5055763 nbAssignments=160000
9.04/9.19 => wckTime=8.649 cpuTime=8.59 mem=7M368
9.64/9.73
9.64/9.73 search
9.64/9.73 run=16 nbConstraintChecks=5371623 nbAssignments=170000
9.64/9.73 => wckTime=9.186 cpuTime=9.12 mem=7M368
10.13/10.27
10.13/10.27 search
10.13/10.27 run=17 nbConstraintChecks=5687282 nbAssignments=180000
10.13/10.27 => wckTime=9.728 cpuTime=9.66 mem=7M368
10.73/10.81
10.73/10.81 search
10.73/10.81 run=18 nbConstraintChecks=6003052 nbAssignments=190000
10.73/10.81 => wckTime=10.266 cpuTime=10.2 mem=7M368
11.23/11.35
11.23/11.35 search
11.23/11.35 run=19 nbConstraintChecks=6319129 nbAssignments=200000
11.23/11.35 => wckTime=10.808 cpuTime=10.73 mem=7M368
11.73/11.89
11.73/11.89 search
11.73/11.89 run=20 nbConstraintChecks=6634985 nbAssignments=210000
11.73/11.89 => wckTime=11.346 cpuTime=11.27 mem=7M368
12.33/12.43
12.33/12.43 search
12.33/12.43 run=21 nbConstraintChecks=6950824 nbAssignments=220000
12.33/12.43 => wckTime=11.888 cpuTime=11.81 mem=7M368
12.82/12.97
12.82/12.97 search
12.82/12.97 run=22 nbConstraintChecks=7266355 nbAssignments=230000
12.82/12.97 => wckTime=12.426 cpuTime=12.35 mem=7M368
13.43/13.51
13.43/13.51 search
13.43/13.51 run=23 nbConstraintChecks=7582077 nbAssignments=240000
13.43/13.51 => wckTime=12.969 cpuTime=12.89 mem=7M368
13.92/14.05
13.92/14.05 search
13.92/14.05 run=24 nbConstraintChecks=7898010 nbAssignments=250000
13.92/14.05 => wckTime=13.511 cpuTime=13.43 mem=7M368
14.41/14.59
14.41/14.59 search
14.41/14.59 run=25 nbConstraintChecks=8213674 nbAssignments=260000
14.41/14.59 => wckTime=14.053 cpuTime=13.96 mem=7M368
15.02/15.13
15.02/15.13 search
15.02/15.13 run=26 nbConstraintChecks=8529676 nbAssignments=270000
15.02/15.13 => wckTime=14.59 cpuTime=14.5 mem=7M368
15.51/15.67
15.51/15.67 search
15.51/15.67 run=27 nbConstraintChecks=8845233 nbAssignments=280000
15.51/15.67 => wckTime=15.131 cpuTime=15.03 mem=7M368
16.11/16.20
16.11/16.21 search
16.11/16.21 run=28 nbConstraintChecks=9160955 nbAssignments=290000
16.11/16.21 => wckTime=15.665 cpuTime=15.57 mem=7M368
16.61/16.74
16.61/16.74 search
16.61/16.74 run=29 nbConstraintChecks=9476488 nbAssignments=300000
16.61/16.74 => wckTime=16.204 cpuTime=16.1 mem=7M368
17.10/17.28
17.10/17.28 search
17.10/17.28 run=30 nbConstraintChecks=9792161 nbAssignments=310000
17.10/17.28 => wckTime=16.738 cpuTime=16.64 mem=7M368
17.70/17.82
17.70/17.82 search
17.70/17.82 run=31 nbConstraintChecks=10108118 nbAssignments=320000
17.70/17.82 => wckTime=17.277 cpuTime=17.18 mem=7M368
18.20/18.35
18.20/18.35 search
18.20/18.35 run=32 nbConstraintChecks=10423855 nbAssignments=330000
18.20/18.35 => wckTime=17.811 cpuTime=17.7 mem=7M368
18.70/18.89
18.70/18.89 search
18.70/18.89 run=33 nbConstraintChecks=10739808 nbAssignments=340000
18.70/18.89 => wckTime=18.348 cpuTime=18.24 mem=7M368
19.30/19.42
19.30/19.42 search
19.30/19.42 run=34 nbConstraintChecks=11055763 nbAssignments=350000
19.30/19.42 => wckTime=18.882 cpuTime=18.77 mem=7M368
19.79/19.96
19.79/19.96 search
19.79/19.96 run=35 nbConstraintChecks=11371484 nbAssignments=360000
19.79/19.96 => wckTime=19.42 cpuTime=19.31 mem=7M368
20.29/20.49
20.29/20.49 search
20.29/20.49 run=36 nbConstraintChecks=11687240 nbAssignments=370000
20.29/20.49 => wckTime=19.955 cpuTime=19.84 mem=7M368
20.89/21.03
20.89/21.03 search
20.89/21.03 run=37 nbConstraintChecks=12002900 nbAssignments=380000
20.89/21.03 => wckTime=20.493 cpuTime=20.37 mem=7M368
21.38/21.57
21.38/21.57 search
21.38/21.57 run=38 nbConstraintChecks=12318636 nbAssignments=390000
21.38/21.57 => wckTime=21.027 cpuTime=20.91 mem=7M368
21.98/22.10
21.98/22.10 search
21.98/22.10 run=39 nbConstraintChecks=12634446 nbAssignments=400000
21.98/22.10 => wckTime=21.564 cpuTime=21.44 mem=7M368
22.48/22.64
22.48/22.64 search
22.48/22.64 run=40 nbConstraintChecks=12950277 nbAssignments=410000
22.48/22.64 => wckTime=22.098 cpuTime=21.97 mem=7M368
22.99/23.18
22.99/23.18 search
22.99/23.18 run=41 nbConstraintChecks=13266039 nbAssignments=420000
22.99/23.18 => wckTime=22.636 cpuTime=22.51 mem=7M368
23.58/23.71
23.58/23.71 search
23.58/23.71 run=42 nbConstraintChecks=13581775 nbAssignments=430000
23.58/23.71 => wckTime=23.169 cpuTime=23.04 mem=7M368
24.08/24.25
24.08/24.25 search
24.08/24.25 run=43 nbConstraintChecks=13897584 nbAssignments=440000
24.08/24.25 => wckTime=23.706 cpuTime=23.57 mem=7M368
24.57/24.78
24.57/24.78 search
24.57/24.78 run=44 nbConstraintChecks=14213292 nbAssignments=450000
24.57/24.78 => wckTime=24.239 cpuTime=24.1 mem=7M368
25.17/25.32
25.17/25.32 search
25.17/25.32 run=45 nbConstraintChecks=14529116 nbAssignments=460000
25.17/25.32 => wckTime=24.777 cpuTime=24.64 mem=7M368
25.67/25.85
25.67/25.85 search
25.67/25.85 run=46 nbConstraintChecks=14844982 nbAssignments=470000
25.67/25.85 => wckTime=25.312 cpuTime=25.17 mem=7M368
26.17/26.39
26.17/26.39 search
26.17/26.39 run=47 nbConstraintChecks=15160722 nbAssignments=480000
26.17/26.39 => wckTime=25.854 cpuTime=25.71 mem=7M368
26.76/26.93
26.76/26.93 search
26.76/26.93 run=48 nbConstraintChecks=15476421 nbAssignments=490000
26.76/26.93 => wckTime=26.392 cpuTime=26.24 mem=7M368
27.26/27.47
27.26/27.47 search
27.26/27.47 run=49 nbConstraintChecks=15792250 nbAssignments=500000
27.26/27.47 => wckTime=26.933 cpuTime=26.78 mem=7M368
27.85/28.01
27.85/28.01 search
27.85/28.01 run=50 nbConstraintChecks=16108209 nbAssignments=510000
27.85/28.01 => wckTime=27.471 cpuTime=27.32 mem=7M368
28.36/28.55
28.36/28.55 search
28.36/28.55 run=51 nbConstraintChecks=16423882 nbAssignments=520000
28.36/28.55 => wckTime=28.014 cpuTime=27.86 mem=7M368
28.86/29.09
28.86/29.09 search
28.86/29.09 run=52 nbConstraintChecks=16739653 nbAssignments=530000
28.86/29.09 => wckTime=28.551 cpuTime=28.4 mem=7M368
29.45/29.63
29.45/29.63 search
29.45/29.63 run=53 nbConstraintChecks=17055504 nbAssignments=540000
29.45/29.63 => wckTime=29.092 cpuTime=28.93 mem=7M368
29.95/30.17
29.95/30.17 search
29.95/30.17 run=54 nbConstraintChecks=17371380 nbAssignments=550000
29.95/30.17 => wckTime=29.629 cpuTime=29.47 mem=7M368
30.55/30.71
30.55/30.71 search
30.55/30.71 run=55 nbConstraintChecks=17687314 nbAssignments=560000
30.55/30.71 => wckTime=30.17 cpuTime=30.0 mem=7M368
30.55/30.71
30.55/30.71 search
30.55/30.71 run=56 nbConstraintChecks=17687805 nbAssignments=560015
30.55/30.71 => wckTime=30.171 cpuTime=30.01 mem=7M368
30.55/30.71
30.55/30.71 global
30.55/30.71 nbConstraintChecks=17687805 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.55/30.71 solvingWckTime=30.169 solvingCpuTime=30.01 expiredTime=no totalExploration=no nbFoundSolutions=0
30.55/30.71 globalCpuTime=30.27
30.55/30.71 => wckTime=30.468 cpuTime=30.22 mem=7M368
30.55/30.71
30.55/30.71 solver DecomposerSolver being built...
30.55/30.79 => wckTime=30.55 cpuTime=30.3 mem=17M253
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C6(V1,V3)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C0(V1,V0)
30.55/30.80 C0(V1,V0)
30.55/30.80 C4(V2,V1)
30.55/30.80 C4(V2,V1)
30.55/30.80 C4(V2,V1)
30.55/30.80 C4(V2,V1)
30.55/30.80 C5(V3,V1)
30.55/30.80 C5(V3,V1)
30.55/30.80 C5(V3,V1)
30.55/30.80 C5(V3,V1)
30.55/30.80 C6(V1,V3)
30.55/30.80 C2(V0,V2)
30.55/30.80 C2(V0,V2)
30.55/30.80 C6(V1,V3)
30.55/30.80
30.55/30.80 preprocessing
30.55/30.80 nbConstraintChecks=32 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=7
30.55/30.80 detectedInconsistency=no
30.55/30.80 => wckTime=0.0050 cpuTime=0.0 mem=17M253
30.65/30.81 C3(V3,V0)
30.65/30.81 C3(V3,V0)
30.65/30.81 C5(V3,V1)
30.65/30.81 C6(V1,V3)
30.65/30.81 C7(V3,V2)
30.65/30.81 C7(V3,V2)
30.65/30.81 C7(V3,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C0(V1,V0)
30.65/30.81 C1(V2,V0)
30.65/30.81 C1(V2,V0)
30.65/30.81 C2(V0,V2)
30.65/30.81 C0(V1,V0)
30.65/30.81 C0(V1,V0)
30.65/30.81 C2(V0,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C2(V0,V2)
30.65/30.81 C4(V2,V1)
30.65/30.81 C4(V2,V1)
30.65/30.81 C4(V2,V1)
30.65/30.81 C5(V3,V1)
30.65/30.81 C5(V3,V1)
30.65/30.81 C6(V1,V3)
30.65/30.81 C6(V1,V3)
30.65/30.81 C6(V1,V3)
30.65/30.81
30.65/30.81 search
30.65/30.81 run=0 nbConstraintChecks=28 minDepth=0 maxDepth=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.65/30.81 nbAssignments=1 nbFailedAssignments=1 nbBacktracks=1 nbVisitedNodes=3
30.65/30.81 => wckTime=0.016 cpuTime=0.01 mem=17M253
30.65/30.81
30.65/30.81 global
30.65/30.81 nbConstraintChecks=60 solvingWckTime=0.018 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
30.65/30.81 nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=30.36
30.65/30.81 => wckTime=30.569 cpuTime=30.31 mem=17M253
30.65/30.81
30.65/30.81 s OPTIMUM FOUND
30.65/30.81 v 0 3 2 1
30.65/30.81 d NODES 1
30.65/30.81 d CHECKS 60
30.65/30.82
30.65/30.82 totalWckTime=30.635 totalCpuTime=30.36
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112696-1215872811/watcher-1112696-1215872811 -o /tmp/evaluation-result-1112696-1215872811/solver-1112696-1215872811 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112696-1215872811.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=18572 CPUtime=0
/proc/15962/stat : 15962 (runsolver) R 15960 15962 15324 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43982792 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15962/statm: 4643 292 257 25 0 2626 0
[startup+0.0276481 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=861228 CPUtime=0
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 1708 0 1 0 0 0 0 0 18 0 3 0 43982792 881897472 1405 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 215307 1405 563 9 0 210286 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 861228
[startup+0.102 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=865988 CPUtime=0.08
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 3718 0 1 0 6 2 0 0 18 0 9 0 43982792 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216497 3191 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.302014 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866388 CPUtime=0.28
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 5886 0 1 0 24 4 0 0 18 0 9 0 43982792 887181312 5261 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216597 5261 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388
[startup+0.701031 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=0.68
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8736 0 1 0 55 13 0 0 18 0 9 0 43982792 887422976 7880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7880 2632 9 0 211162 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866624
[startup+1.50108 s]
/proc/loadavg: 2.92 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1767368/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=1.47
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8741 0 1 0 81 66 0 0 18 0 9 0 43982792 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7884 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=1.33
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6608 0 1 0 68 65 0 0 25 0 9 0 43982793 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4455299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866624
[startup+3.10119 s]
/proc/loadavg: 2.92 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1767112/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=3.07
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8741 0 1 0 140 167 0 0 18 0 9 0 43982792 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7884 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=2.92
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6608 0 1 0 127 165 0 0 25 0 9 0 43982793 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866628
[startup+6.30238 s]
/proc/loadavg: 2.93 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1766920/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=6.25
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8742 0 1 0 249 376 0 0 18 0 9 0 43982792 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7884 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=6.11
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 236 375 0 0 25 0 9 0 43982793 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 5028991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 866628
[startup+12.7028 s]
/proc/loadavg: 2.93 3.12 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=12.63
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 461 802 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=12.48
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 447 801 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4554657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 866624
[startup+25.5016 s]
/proc/loadavg: 2.87 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=25.37
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 899 1638 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=25.22
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 885 1637 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 17 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 866628
Solver just ended. Dumping a history of the last processes samples
[startup+28.7028 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=28.55
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1003 1852 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=28.41
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 990 1851 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (KiB) 866628
[startup+29.5028 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=29.36
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1029 1907 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=29.21
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1015 1906 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.36
Current children cumulated vsize (KiB) 866628
[startup+30.3029 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.15
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1055 1960 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1041 1959 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960145 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.15
Current children cumulated vsize (KiB) 866624
[startup+30.7029 s]
/proc/loadavg: 2.88 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.55
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1067 1988 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30.4
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1053 1987 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.55
Current children cumulated vsize (KiB) 866624
[startup+30.8069 s]
/proc/loadavg: 2.88 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.65
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 10083 0 1 0 1076 1989 0 0 18 0 9 0 43982792 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 9225 2634 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30.49
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 7944 0 1 0 1061 1988 0 0 25 0 9 0 43982793 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4125978165 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.1
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 346 0 0 0 10 0 0 0 16 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.65
Current children cumulated vsize (KiB) 866624
Child status: 0
Real time (s): 30.8632
CPU time (s): 30.6743
CPU user time (s): 10.7704
CPU system time (s): 19.904
CPU usage (%): 99.3879
Max. virtual memory (cumulated for all children) (KiB): 866628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7704
system time used= 19.904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10315
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= 1303
involuntary context switches= 2934
runsolver used 0.044993 second user time and 0.097985 second system time
The end