0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.17/0.24
0.17/0.24 configuration
0.17/0.24 name=mrdac-wdeg.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-1112695-1215872795.xml
0.27/0.37
0.27/0.37 domains being loaded...
0.27/0.38
0.27/0.38 variables being loaded...
0.27/0.40 nbVariables=4 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=16
0.27/0.40 => wckTime=0.147 cpuTime=0.1 mem=7M858
0.27/0.40
0.27/0.40 predicates being loaded...
0.37/0.47
0.37/0.47 constraints being loaded...
0.47/0.51 nbConstraints=8 nbConvertedConstraints=8 nbConvertConstraintsChecks=48 nbExtensionStructures=3
0.47/0.51 nbSharedExtensionStructures=5 nbConflictsStructures=3 nbSharedConflictsStructures=5
0.47/0.51 nbSharedBinaryRepresentations=15 minDegree=4 maxDegree=4 minArity=2 maxArity=2
0.47/0.51 => wckTime=0.261 cpuTime=0.21 mem=11M810
0.47/0.56
0.47/0.56 solver LocalSearchSolver being built...
0.57/0.61 => wckTime=0.36 cpuTime=0.24 mem=6M377
0.57/0.61
0.57/0.61 s SATISFIABLE
0.57/0.61 o 2
0.57/0.61 o 1
1.16/1.24
1.16/1.24 search
1.16/1.24 run=0 nbConstraintChecks=316771 nbAssignments=10000
1.16/1.24 => wckTime=0.633 cpuTime=0.6 mem=7M368
1.76/1.83
1.76/1.83 search
1.76/1.83 run=1 nbConstraintChecks=634006 nbAssignments=20000
1.76/1.83 => wckTime=1.225 cpuTime=1.2 mem=7M368
2.34/2.41
2.34/2.41 search
2.34/2.41 run=2 nbConstraintChecks=949763 nbAssignments=30000
2.34/2.41 => wckTime=1.803 cpuTime=1.76 mem=7M368
2.84/2.98
2.84/2.98 search
2.84/2.98 run=3 nbConstraintChecks=1265662 nbAssignments=40000
2.84/2.98 => wckTime=2.375 cpuTime=2.33 mem=7M368
3.44/3.56
3.44/3.56 search
3.44/3.56 run=4 nbConstraintChecks=1581346 nbAssignments=50000
3.44/3.56 => wckTime=2.955 cpuTime=2.9 mem=7M368
4.03/4.13
4.03/4.13 search
4.03/4.13 run=5 nbConstraintChecks=1897225 nbAssignments=60000
4.03/4.13 => wckTime=3.524 cpuTime=3.47 mem=7M368
4.62/4.71
4.62/4.71 search
4.62/4.71 run=6 nbConstraintChecks=2212946 nbAssignments=70000
4.62/4.71 => wckTime=4.103 cpuTime=4.04 mem=7M368
5.13/5.28
5.13/5.28 search
5.13/5.28 run=7 nbConstraintChecks=2528945 nbAssignments=80000
5.13/5.28 => wckTime=4.672 cpuTime=4.61 mem=7M368
5.72/5.86
5.72/5.86 search
5.72/5.86 run=8 nbConstraintChecks=2844700 nbAssignments=90000
5.72/5.86 => wckTime=5.255 cpuTime=5.17 mem=7M368
6.31/6.44
6.31/6.44 search
6.31/6.44 run=9 nbConstraintChecks=3160612 nbAssignments=100000
6.31/6.44 => wckTime=5.829 cpuTime=5.75 mem=7M368
6.91/7.02
6.91/7.02 search
6.91/7.02 run=10 nbConstraintChecks=3476488 nbAssignments=110000
6.91/7.02 => wckTime=6.411 cpuTime=6.32 mem=7M368
7.41/7.59
7.41/7.59 search
7.41/7.59 run=11 nbConstraintChecks=3792400 nbAssignments=120000
7.41/7.59 => wckTime=6.984 cpuTime=6.9 mem=7M368
7.99/8.18
7.99/8.18 search
7.99/8.18 run=12 nbConstraintChecks=4108175 nbAssignments=130000
7.99/8.18 => wckTime=7.568 cpuTime=7.47 mem=7M368
8.60/8.75
8.60/8.75 search
8.60/8.75 run=13 nbConstraintChecks=4423996 nbAssignments=140000
8.60/8.75 => wckTime=8.147 cpuTime=8.04 mem=7M368
9.19/9.33
9.19/9.33 search
9.19/9.33 run=14 nbConstraintChecks=4739965 nbAssignments=150000
9.19/9.33 => wckTime=8.727 cpuTime=8.62 mem=7M368
9.78/9.91
9.78/9.91 search
9.78/9.91 run=15 nbConstraintChecks=5055763 nbAssignments=160000
9.78/9.92 => wckTime=9.308 cpuTime=9.19 mem=7M368
10.27/10.50
10.27/10.50 search
10.27/10.50 run=16 nbConstraintChecks=5371623 nbAssignments=170000
10.36/10.50 => wckTime=9.889 cpuTime=9.76 mem=7M368
10.87/11.09
10.87/11.09 search
10.87/11.09 run=17 nbConstraintChecks=5687282 nbAssignments=180000
10.87/11.09 => wckTime=10.479 cpuTime=10.34 mem=7M368
11.45/11.67
11.45/11.67 search
11.45/11.67 run=18 nbConstraintChecks=6003052 nbAssignments=190000
11.45/11.67 => wckTime=11.058 cpuTime=10.93 mem=7M368
12.05/12.25
12.05/12.26 search
12.05/12.26 run=19 nbConstraintChecks=6319129 nbAssignments=200000
12.05/12.26 => wckTime=11.647 cpuTime=11.5 mem=7M368
12.65/12.83
12.65/12.84 search
12.65/12.84 run=20 nbConstraintChecks=6634985 nbAssignments=210000
12.65/12.84 => wckTime=12.228 cpuTime=12.08 mem=7M368
13.24/13.42
13.24/13.42 search
13.24/13.42 run=21 nbConstraintChecks=6950824 nbAssignments=220000
13.24/13.42 => wckTime=12.817 cpuTime=12.66 mem=7M368
13.84/14.00
13.84/14.00 search
13.84/14.00 run=22 nbConstraintChecks=7266355 nbAssignments=230000
13.84/14.00 => wckTime=13.397 cpuTime=13.24 mem=7M368
14.32/14.59
14.32/14.59 search
14.32/14.59 run=23 nbConstraintChecks=7582077 nbAssignments=240000
14.32/14.59 => wckTime=13.985 cpuTime=13.82 mem=7M368
14.93/15.17
14.93/15.17 search
14.93/15.17 run=24 nbConstraintChecks=7898010 nbAssignments=250000
14.93/15.17 => wckTime=14.565 cpuTime=14.4 mem=7M368
15.52/15.76
15.52/15.76 search
15.52/15.76 run=25 nbConstraintChecks=8213674 nbAssignments=260000
15.52/15.76 => wckTime=15.154 cpuTime=14.98 mem=7M368
16.12/16.34
16.12/16.34 search
16.12/16.34 run=26 nbConstraintChecks=8529676 nbAssignments=270000
16.12/16.34 => wckTime=15.735 cpuTime=15.56 mem=7M368
16.71/16.93
16.71/16.93 search
16.71/16.93 run=27 nbConstraintChecks=8845233 nbAssignments=280000
16.71/16.93 => wckTime=16.325 cpuTime=16.14 mem=7M368
17.31/17.52
17.31/17.52 search
17.31/17.52 run=28 nbConstraintChecks=9160955 nbAssignments=290000
17.31/17.52 => wckTime=16.909 cpuTime=16.72 mem=7M368
17.89/18.10
17.89/18.10 search
17.89/18.10 run=29 nbConstraintChecks=9476488 nbAssignments=300000
17.89/18.10 => wckTime=17.494 cpuTime=17.3 mem=7M368
18.40/18.69
18.40/18.69 search
18.40/18.69 run=30 nbConstraintChecks=9792161 nbAssignments=310000
18.40/18.69 => wckTime=18.08 cpuTime=17.88 mem=7M368
18.98/19.27
18.98/19.27 search
18.98/19.27 run=31 nbConstraintChecks=10108118 nbAssignments=320000
18.98/19.27 => wckTime=18.665 cpuTime=18.46 mem=7M368
19.58/19.86
19.58/19.86 search
19.58/19.86 run=32 nbConstraintChecks=10423855 nbAssignments=330000
19.58/19.86 => wckTime=19.255 cpuTime=19.04 mem=7M368
20.18/20.44
20.18/20.44 search
20.18/20.44 run=33 nbConstraintChecks=10739808 nbAssignments=340000
20.18/20.44 => wckTime=19.833 cpuTime=19.62 mem=7M368
20.77/21.02
20.77/21.02 search
20.77/21.02 run=34 nbConstraintChecks=11055763 nbAssignments=350000
20.77/21.02 => wckTime=20.418 cpuTime=20.19 mem=7M368
21.36/21.60
21.36/21.60 search
21.36/21.60 run=35 nbConstraintChecks=11371484 nbAssignments=360000
21.36/21.60 => wckTime=20.994 cpuTime=20.76 mem=7M368
21.86/22.19
21.86/22.19 search
21.86/22.19 run=36 nbConstraintChecks=11687240 nbAssignments=370000
21.86/22.19 => wckTime=21.579 cpuTime=21.34 mem=7M368
22.45/22.76
22.45/22.76 search
22.45/22.76 run=37 nbConstraintChecks=12002900 nbAssignments=380000
22.45/22.76 => wckTime=22.155 cpuTime=21.92 mem=7M368
23.04/23.35
23.04/23.35 search
23.04/23.35 run=38 nbConstraintChecks=12318636 nbAssignments=390000
23.04/23.35 => wckTime=22.74 cpuTime=22.49 mem=7M368
23.64/23.92
23.64/23.92 search
23.64/23.92 run=39 nbConstraintChecks=12634446 nbAssignments=400000
23.64/23.92 => wckTime=23.316 cpuTime=23.06 mem=7M368
24.23/24.51
24.23/24.51 search
24.23/24.51 run=40 nbConstraintChecks=12950277 nbAssignments=410000
24.23/24.51 => wckTime=23.901 cpuTime=23.64 mem=7M368
24.73/25.08
24.73/25.08 search
24.73/25.08 run=41 nbConstraintChecks=13266039 nbAssignments=420000
24.73/25.08 => wckTime=24.478 cpuTime=24.21 mem=7M368
25.32/25.67
25.32/25.67 search
25.32/25.67 run=42 nbConstraintChecks=13581775 nbAssignments=430000
25.32/25.67 => wckTime=25.064 cpuTime=24.79 mem=7M368
25.92/26.25
25.92/26.25 search
25.92/26.25 run=43 nbConstraintChecks=13897584 nbAssignments=440000
25.92/26.25 => wckTime=25.64 cpuTime=25.36 mem=7M368
26.51/26.83
26.51/26.83 search
26.51/26.83 run=44 nbConstraintChecks=14213292 nbAssignments=450000
26.51/26.83 => wckTime=26.225 cpuTime=25.94 mem=7M368
27.11/27.41
27.11/27.41 search
27.11/27.41 run=45 nbConstraintChecks=14529116 nbAssignments=460000
27.11/27.41 => wckTime=26.805 cpuTime=26.52 mem=7M368
27.60/27.99
27.60/27.99 search
27.60/27.99 run=46 nbConstraintChecks=14844982 nbAssignments=470000
27.60/27.99 => wckTime=27.386 cpuTime=27.09 mem=7M368
28.20/28.57
28.20/28.57 search
28.20/28.57 run=47 nbConstraintChecks=15160722 nbAssignments=480000
28.20/28.57 => wckTime=27.966 cpuTime=27.66 mem=7M368
28.79/29.15
28.79/29.15 search
28.79/29.16 run=48 nbConstraintChecks=15476421 nbAssignments=490000
28.79/29.16 => wckTime=28.548 cpuTime=28.24 mem=7M368
29.38/29.74
29.38/29.74 search
29.38/29.74 run=49 nbConstraintChecks=15792250 nbAssignments=500000
29.38/29.74 => wckTime=29.132 cpuTime=28.81 mem=7M368
29.98/30.31
29.98/30.31 search
29.98/30.31 run=50 nbConstraintChecks=16108209 nbAssignments=510000
29.98/30.31 => wckTime=29.707 cpuTime=29.38 mem=7M368
30.57/30.90
30.57/30.90 search
30.57/30.90 run=51 nbConstraintChecks=16423882 nbAssignments=520000
30.57/30.90 => wckTime=30.296 cpuTime=29.97 mem=7M368
30.57/30.96
30.57/30.96 search
30.57/30.96 run=52 nbConstraintChecks=16452024 nbAssignments=520892
30.57/30.96 => wckTime=30.348 cpuTime=30.02 mem=7M368
30.57/30.96
30.57/30.96 global
30.57/30.96 nbConstraintChecks=16452024 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/30.96 solvingWckTime=30.347 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.57/30.96 globalCpuTime=30.32
30.57/30.96 => wckTime=30.708 cpuTime=30.26 mem=7M368
30.57/30.96
30.57/30.96 solver DecomposerSolver being built...
30.67/31.04 => wckTime=30.795 cpuTime=30.34 mem=17M268
30.67/31.04 C2(V0,V2)
30.67/31.04 C2(V0,V2)
30.67/31.04 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C6(V1,V3)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C0(V1,V0)
30.67/31.05 C0(V1,V0)
30.67/31.05 C4(V2,V1)
30.67/31.05 C4(V2,V1)
30.67/31.05 C4(V2,V1)
30.67/31.05 C4(V2,V1)
30.67/31.05 C5(V3,V1)
30.67/31.05 C5(V3,V1)
30.67/31.05 C5(V3,V1)
30.67/31.05 C5(V3,V1)
30.67/31.05 C6(V1,V3)
30.67/31.05 C2(V0,V2)
30.67/31.05 C2(V0,V2)
30.67/31.05 C6(V1,V3)
30.67/31.05
30.67/31.05 preprocessing
30.67/31.05 nbConstraintChecks=32 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=7
30.67/31.05 detectedInconsistency=no
30.67/31.05 => wckTime=0.0050 cpuTime=0.0 mem=17M268
30.67/31.06 C3(V3,V0)
30.67/31.06 C3(V3,V0)
30.67/31.06 C5(V3,V1)
30.67/31.06 C6(V1,V3)
30.67/31.06 C7(V3,V2)
30.67/31.06 C7(V3,V2)
30.67/31.06 C7(V3,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C0(V1,V0)
30.67/31.06 C1(V2,V0)
30.67/31.06 C1(V2,V0)
30.67/31.06 C2(V0,V2)
30.67/31.06 C0(V1,V0)
30.67/31.06 C0(V1,V0)
30.67/31.06 C2(V0,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C2(V0,V2)
30.67/31.06 C4(V2,V1)
30.67/31.06 C4(V2,V1)
30.67/31.06 C4(V2,V1)
30.67/31.06 C5(V3,V1)
30.67/31.06 C5(V3,V1)
30.67/31.06 C6(V1,V3)
30.67/31.06 C6(V1,V3)
30.67/31.06 C6(V1,V3)
30.67/31.06
30.67/31.06 search
30.67/31.06 run=0 nbConstraintChecks=28 minDepth=0 maxDepth=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.67/31.06 nbAssignments=1 nbFailedAssignments=1 nbBacktracks=1 nbVisitedNodes=3
30.67/31.06 => wckTime=0.017 cpuTime=0.02 mem=18M276
30.67/31.06
30.67/31.06 global
30.67/31.06 nbConstraintChecks=60 solvingWckTime=0.019 solvingCpuTime=0.02 expiredTime=no totalExploration=yes
30.67/31.06 nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=30.42
30.67/31.06 => wckTime=30.816 cpuTime=30.36 mem=18M276
30.67/31.07
30.67/31.07 s OPTIMUM FOUND
30.67/31.07 v 0 3 2 1
30.67/31.07 d NODES 1
30.67/31.07 d CHECKS 60
30.67/31.07
30.67/31.07 totalWckTime=30.874 totalCpuTime=30.42
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112695-1215872795/watcher-1112695-1215872795 -o /tmp/evaluation-result-1112695-1215872795/solver-1112695-1215872795 -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-wdeg.xml 1 XSax HOME/instance-1112695-1215872795.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: 1.92 1.98 1.99 4/81 19276
/proc/meminfo: memFree=1834188/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=18572 CPUtime=0
/proc/19276/stat : 19276 (runsolver) R 19274 19276 17668 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43982000 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19276/statm: 4643 292 257 25 0 2626 0
[startup+0.0868949 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19276
/proc/meminfo: memFree=1834188/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=865856 CPUtime=0.05
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 3397 0 1 0 4 1 0 0 18 0 9 0 43982000 886636544 2906 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216464 2906 1566 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.102894 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19276
/proc/meminfo: memFree=1834188/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=865984 CPUtime=0.07
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 3681 0 1 0 6 1 0 0 18 0 9 0 43982000 886767616 3156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216496 3156 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.302911 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19276
/proc/meminfo: memFree=1834188/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866156 CPUtime=0.27
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 5594 0 1 0 24 3 0 0 18 0 9 0 43982000 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216539 5009 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156
[startup+0.702933 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 19276
/proc/meminfo: memFree=1834188/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=0.67
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8726 0 1 0 59 8 0 0 18 0 9 0 43982000 887435264 7870 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7870 2630 9 0 211165 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866636
[startup+1.50198 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812932/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=1.45
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8738 0 1 0 85 60 0 0 18 0 9 0 43982000 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7882 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=1.31
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6616 0 1 0 72 59 0 0 25 0 9 0 43982001 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4126636452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 330 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 866636
[startup+3.10109 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812740/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=3.04
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8739 0 1 0 138 166 0 0 18 0 9 0 43982000 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7882 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=2.89
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6617 0 1 0 124 165 0 0 25 0 9 0 43982001 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 330 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866636
[startup+6.3023 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812548/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=6.21
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8740 0 1 0 242 379 0 0 18 0 9 0 43982000 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7882 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=6.07
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 229 378 0 0 25 0 9 0 43982001 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 17 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 330 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7882 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 866636
[startup+12.7017 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812484/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=12.55
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 447 808 0 0 18 0 9 0 43982000 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7883 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=12.4
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 433 807 0 0 25 0 9 0 43982001 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4890609 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 866636
[startup+25.5026 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866640 CPUtime=25.22
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 872 1650 0 0 18 0 9 0 43982000 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216660 7883 2633 9 0 211166 0
[pid=19276/tid=19278] ppid=19274 vsize=866640 CPUtime=25.07
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 858 1649 0 0 25 0 9 0 43982001 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866640 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866640 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 866640
Solver just ended. Dumping a history of the last processes samples
[startup+28.7018 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=28.39
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 976 1863 0 0 18 0 9 0 43982000 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7883 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=28.23
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 961 1862 0 0 25 0 9 0 43982001 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 866636
[startup+30.3019 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866640 CPUtime=29.98
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 1027 1971 0 0 18 0 9 0 43982000 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216660 7883 2633 9 0 211166 0
[pid=19276/tid=19278] ppid=19274 vsize=866640 CPUtime=29.83
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 1013 1970 0 0 25 0 9 0 43982001 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866640 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866640 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (KiB) 866640
[startup+30.7019 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=30.38
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 1042 1996 0 0 18 0 9 0 43982000 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7883 2633 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=30.22
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 1027 1995 0 0 25 0 9 0 43982001 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4126640047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 866636
[startup+30.902 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866640 CPUtime=30.57
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8741 0 1 0 1047 2010 0 0 18 0 9 0 43982000 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216660 7883 2633 9 0 211166 0
[pid=19276/tid=19278] ppid=19274 vsize=866640 CPUtime=30.41
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6618 0 1 0 1033 2008 0 0 25 0 9 0 43982001 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866640 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866640 CPUtime=0.1
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 331 0 0 0 10 0 0 0 16 0 9 0 43982005 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866640 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887439360 7883 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.57
Current children cumulated vsize (KiB) 866640
[startup+31.002 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 19285
/proc/meminfo: memFree=1812356/2055920 swapFree=4192812/4192956
[pid=19276] ppid=19274 vsize=866636 CPUtime=30.67
/proc/19276/stat : 19276 (java) S 19274 19276 17668 0 -1 0 8774 0 1 0 1053 2014 0 0 18 0 9 0 43982000 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19276/statm: 216659 7916 2634 9 0 211165 0
[pid=19276/tid=19278] ppid=19274 vsize=866636 CPUtime=30.51
/proc/19276/task/19278/stat : 19278 (java) R 19274 19276 17668 0 -1 64 6649 0 1 0 1038 2013 0 0 25 0 9 0 43982001 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 103282645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19279] ppid=19274 vsize=866636 CPUtime=0.03
/proc/19276/task/19279/stat : 19279 (java) S 19274 19276 17668 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982003 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19280] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19280/stat : 19280 (java) S 19274 19276 17668 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982003 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19281] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19281/stat : 19281 (java) S 19274 19276 17668 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982003 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19282] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19282/stat : 19282 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43982005 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19283] ppid=19274 vsize=866636 CPUtime=0.11
/proc/19276/task/19283/stat : 19283 (java) S 19274 19276 17668 0 -1 64 333 0 0 0 11 0 0 0 16 0 9 0 43982005 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19284] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19284/stat : 19284 (java) S 19274 19276 17668 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43982006 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19276/tid=19285] ppid=19274 vsize=866636 CPUtime=0
/proc/19276/task/19285/stat : 19285 (java) S 19274 19276 17668 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43982006 887435264 7916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.67
Current children cumulated vsize (KiB) 866636
Child status: 0
Real time (s): 31.0869
CPU time (s): 30.7483
CPU user time (s): 10.5884
CPU system time (s): 20.1599
CPU usage (%): 98.9107
Max. virtual memory (cumulated for all children) (KiB): 866640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5884
system time used= 20.1599
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10394
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= 1130
involuntary context switches= 2636
runsolver used 0.06099 second user time and 0.110983 second system time
The end