0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-ddeg.xml
0.28/0.33
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1127154-1216188093.xml
0.28/0.37
0.28/0.37 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.38/0.40 nbVariables=13 nbDomainTypes=2 minDomainSize=1 maxDomainSize=6 nbTotalValues=73
0.38/0.40 => wckTime=0.155 cpuTime=0.11 mem=7M858
0.38/0.40
0.38/0.40 relations being loaded...
0.38/0.41
0.38/0.41 constraints being loaded...
0.38/0.46 nbConstraints=15 nbRelationTypes=4 nbSingletonDomainVariables=1 nbExtensionStructures=4
0.38/0.47 nbSharedExtensionStructures=11 nbConflictsStructures=4 nbSharedConflictsStructures=11
0.38/0.47 nbSharedBinaryRepresentations=16 minDegree=2 maxDegree=7 minArity=2 avgArity=2.53 maxArity=3
0.38/0.47 => wckTime=0.218 cpuTime=0.16 mem=9M827
0.48/0.51
0.48/0.51 solver LocalSearchSolver being built...
0.48/0.54 => wckTime=0.296 cpuTime=0.2 mem=5M389
0.48/0.55
0.48/0.55 s SATISFIABLE
0.48/0.55 o 12
0.48/0.55 o 10
0.48/0.55 o 9
0.48/0.55 o 8
0.48/0.55 o 7
0.48/0.55 o 6
0.48/0.55 o 5
0.48/0.55 o 3
0.48/0.55 o 2
0.48/0.57 o 1
1.17/1.25
1.17/1.25 search
1.17/1.25 run=0 nbConstraintChecks=687710 nbAssignments=10000
1.17/1.25 => wckTime=0.709 cpuTime=0.66 mem=6M381
1.87/1.90
1.87/1.90 search
1.87/1.90 run=1 nbConstraintChecks=1376149 nbAssignments=20000
1.87/1.90 => wckTime=1.357 cpuTime=1.3 mem=6M381
2.46/2.53
2.46/2.53 search
2.46/2.53 run=2 nbConstraintChecks=2066103 nbAssignments=30000
2.46/2.53 => wckTime=1.99 cpuTime=1.92 mem=6M381
3.05/3.16
3.05/3.16 search
3.05/3.16 run=3 nbConstraintChecks=2752080 nbAssignments=40000
3.05/3.16 => wckTime=2.62 cpuTime=2.55 mem=6M381
3.65/3.79
3.65/3.79 search
3.65/3.79 run=4 nbConstraintChecks=3436673 nbAssignments=50000
3.65/3.79 => wckTime=3.25 cpuTime=3.17 mem=6M381
4.34/4.43
4.34/4.43 search
4.34/4.43 run=5 nbConstraintChecks=4129063 nbAssignments=60000
4.34/4.43 => wckTime=3.885 cpuTime=3.79 mem=6M381
4.93/5.05
4.93/5.05 search
4.93/5.05 run=6 nbConstraintChecks=4811093 nbAssignments=70000
4.93/5.05 => wckTime=4.508 cpuTime=4.42 mem=6M381
5.52/5.68
5.52/5.68 search
5.52/5.68 run=7 nbConstraintChecks=5503862 nbAssignments=80000
5.52/5.68 => wckTime=5.139 cpuTime=5.04 mem=6M381
6.23/6.30
6.23/6.30 search
6.23/6.30 run=8 nbConstraintChecks=6192373 nbAssignments=90000
6.23/6.30 => wckTime=5.761 cpuTime=5.66 mem=6M381
6.81/6.93
6.81/6.93 search
6.81/6.93 run=9 nbConstraintChecks=6879080 nbAssignments=100000
6.81/6.93 => wckTime=6.392 cpuTime=6.28 mem=6M381
7.41/7.56
7.41/7.56 search
7.41/7.56 run=10 nbConstraintChecks=7561359 nbAssignments=110000
7.41/7.56 => wckTime=7.019 cpuTime=6.9 mem=6M381
8.00/8.19
8.00/8.19 search
8.00/8.19 run=11 nbConstraintChecks=8246802 nbAssignments=120000
8.00/8.19 => wckTime=7.646 cpuTime=7.53 mem=6M381
8.70/8.82
8.70/8.82 search
8.70/8.82 run=12 nbConstraintChecks=8935110 nbAssignments=130000
8.70/8.82 => wckTime=8.277 cpuTime=8.14 mem=6M381
9.29/9.44
9.29/9.44 search
9.29/9.44 run=13 nbConstraintChecks=9627977 nbAssignments=140000
9.29/9.44 => wckTime=8.9 cpuTime=8.77 mem=6M381
9.88/10.07
9.88/10.07 search
9.88/10.07 run=14 nbConstraintChecks=10317254 nbAssignments=150000
9.88/10.07 => wckTime=9.531 cpuTime=9.38 mem=6M381
10.58/10.70
10.58/10.70 search
10.58/10.70 run=15 nbConstraintChecks=11007593 nbAssignments=160000
10.58/10.70 => wckTime=10.157 cpuTime=10.01 mem=6M381
11.17/11.33
11.17/11.33 search
11.17/11.33 run=16 nbConstraintChecks=11683971 nbAssignments=170000
11.17/11.33 => wckTime=10.788 cpuTime=10.63 mem=6M381
11.77/11.96
11.77/11.96 search
11.77/11.96 run=17 nbConstraintChecks=12370099 nbAssignments=180000
11.77/11.96 => wckTime=11.414 cpuTime=11.25 mem=6M381
12.36/12.58
12.36/12.58 search
12.36/12.58 run=18 nbConstraintChecks=13062248 nbAssignments=190000
12.36/12.58 => wckTime=12.041 cpuTime=11.88 mem=6M381
13.06/13.22
13.06/13.22 search
13.06/13.22 run=19 nbConstraintChecks=13751975 nbAssignments=200000
13.06/13.22 => wckTime=12.674 cpuTime=12.5 mem=6M381
13.65/13.84
13.65/13.84 search
13.65/13.84 run=20 nbConstraintChecks=14431227 nbAssignments=210000
13.65/13.84 => wckTime=13.297 cpuTime=13.12 mem=6M381
14.24/14.47
14.24/14.47 search
14.24/14.47 run=21 nbConstraintChecks=15111973 nbAssignments=220000
14.24/14.47 => wckTime=13.928 cpuTime=13.74 mem=6M381
14.84/15.09
14.84/15.09 search
14.84/15.09 run=22 nbConstraintChecks=15799228 nbAssignments=230000
14.84/15.09 => wckTime=14.55 cpuTime=14.36 mem=6M381
15.53/15.73
15.53/15.73 search
15.53/15.73 run=23 nbConstraintChecks=16484402 nbAssignments=240000
15.53/15.73 => wckTime=15.188 cpuTime=14.99 mem=6M381
16.13/16.36
16.13/16.36 search
16.13/16.36 run=24 nbConstraintChecks=17170874 nbAssignments=250000
16.13/16.36 => wckTime=15.82 cpuTime=15.62 mem=6M381
16.72/16.99
16.72/16.99 search
16.72/16.99 run=25 nbConstraintChecks=17862713 nbAssignments=260000
16.72/16.99 => wckTime=16.452 cpuTime=16.24 mem=6M381
17.42/17.63
17.42/17.63 search
17.42/17.63 run=26 nbConstraintChecks=18547072 nbAssignments=270000
17.42/17.63 => wckTime=17.089 cpuTime=16.87 mem=6M381
18.00/18.26
18.00/18.26 search
18.00/18.26 run=27 nbConstraintChecks=19233143 nbAssignments=280000
18.00/18.26 => wckTime=17.717 cpuTime=17.49 mem=6M381
18.59/18.90
18.69/18.90 search
18.69/18.90 run=28 nbConstraintChecks=19917456 nbAssignments=290000
18.69/18.90 => wckTime=18.354 cpuTime=18.12 mem=6M381
19.29/19.52
19.29/19.52 search
19.29/19.53 run=29 nbConstraintChecks=20610264 nbAssignments=300000
19.29/19.53 => wckTime=18.983 cpuTime=18.75 mem=6M381
19.88/20.16
19.88/20.16 search
19.88/20.16 run=30 nbConstraintChecks=21303253 nbAssignments=310000
19.88/20.16 => wckTime=19.621 cpuTime=19.38 mem=6M381
20.48/20.80
20.48/20.80 search
20.48/20.80 run=31 nbConstraintChecks=21996762 nbAssignments=320000
20.48/20.80 => wckTime=20.254 cpuTime=20.01 mem=6M381
21.18/21.43
21.18/21.43 search
21.18/21.43 run=32 nbConstraintChecks=22682598 nbAssignments=330000
21.18/21.43 => wckTime=20.886 cpuTime=20.63 mem=6M381
21.76/22.06
21.76/22.06 search
21.76/22.06 run=33 nbConstraintChecks=23370385 nbAssignments=340000
21.76/22.06 => wckTime=21.522 cpuTime=21.25 mem=6M381
22.36/22.69
22.36/22.69 search
22.36/22.69 run=34 nbConstraintChecks=24054506 nbAssignments=350000
22.36/22.69 => wckTime=22.15 cpuTime=21.88 mem=6M381
23.05/23.33
23.05/23.33 search
23.05/23.33 run=35 nbConstraintChecks=24741900 nbAssignments=360000
23.05/23.33 => wckTime=22.788 cpuTime=22.51 mem=6M381
23.66/23.96
23.66/23.96 search
23.66/23.96 run=36 nbConstraintChecks=25427326 nbAssignments=370000
23.66/23.96 => wckTime=23.421 cpuTime=23.14 mem=6M381
24.24/24.60
24.24/24.60 search
24.24/24.60 run=37 nbConstraintChecks=26118058 nbAssignments=380000
24.24/24.60 => wckTime=24.053 cpuTime=23.76 mem=6M381
24.94/25.23
24.94/25.23 search
24.94/25.23 run=38 nbConstraintChecks=26805788 nbAssignments=390000
24.94/25.23 => wckTime=24.687 cpuTime=24.39 mem=6M381
25.53/25.85
25.53/25.85 search
25.53/25.85 run=39 nbConstraintChecks=27489171 nbAssignments=400000
25.53/25.85 => wckTime=25.309 cpuTime=25.01 mem=6M381
26.12/26.48
26.12/26.48 search
26.12/26.48 run=40 nbConstraintChecks=28178689 nbAssignments=410000
26.12/26.48 => wckTime=25.941 cpuTime=25.63 mem=6M381
26.83/27.11
26.83/27.11 search
26.83/27.11 run=41 nbConstraintChecks=28867874 nbAssignments=420000
26.83/27.11 => wckTime=26.564 cpuTime=26.26 mem=6M381
27.42/27.74
27.42/27.74 search
27.42/27.74 run=42 nbConstraintChecks=29556181 nbAssignments=430000
27.42/27.74 => wckTime=27.194 cpuTime=26.88 mem=6M381
28.01/28.36
28.01/28.36 search
28.01/28.36 run=43 nbConstraintChecks=30250622 nbAssignments=440000
28.01/28.36 => wckTime=27.821 cpuTime=27.49 mem=6M381
28.60/28.99
28.60/28.99 search
28.60/28.99 run=44 nbConstraintChecks=30935751 nbAssignments=450000
28.60/28.99 => wckTime=28.447 cpuTime=28.12 mem=6M381
29.30/29.62
29.30/29.62 search
29.30/29.62 run=45 nbConstraintChecks=31614862 nbAssignments=460000
29.30/29.62 => wckTime=29.077 cpuTime=28.74 mem=6M381
29.89/30.24
29.89/30.24 search
29.89/30.24 run=46 nbConstraintChecks=32302517 nbAssignments=470000
29.89/30.24 => wckTime=29.698 cpuTime=29.36 mem=6M381
30.49/30.87
30.49/30.87 search
30.49/30.87 run=47 nbConstraintChecks=32993897 nbAssignments=480000
30.49/30.87 => wckTime=30.333 cpuTime=29.98 mem=6M381
30.58/30.91
30.58/30.91 search
30.58/30.91 run=48 nbConstraintChecks=33036813 nbAssignments=480623
30.58/30.91 => wckTime=30.372 cpuTime=30.02 mem=6M381
30.58/30.92
30.58/30.92 global
30.58/30.92 nbConstraintChecks=33036813 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.58/30.92 solvingWckTime=30.371 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.58/30.92 globalCpuTime=30.28
30.58/30.92 => wckTime=30.668 cpuTime=30.22 mem=6M381
30.58/30.92
30.58/30.92 solver DecomposerSolver being built...
30.68/31.02 => wckTime=30.772 cpuTime=30.32 mem=16M314
30.68/31.02 C0(V0,V12)
30.68/31.02 C0(V0,V12)
30.68/31.02 C0(V0,V12)
30.68/31.02 C0(V0,V12)
30.68/31.02 C0(V0,V12)
30.68/31.02 C0(V0,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C1(V2,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C2(V5,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C3(V6,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C4(V9,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C5(V10,V12)
30.68/31.02 C6(V11,V12)
30.68/31.02 C6(V11,V12)
30.68/31.02 C6(V11,V12)
30.68/31.02 C6(V11,V12)
30.68/31.02 C6(V11,V12)
30.68/31.03 C6(V11,V12)
30.68/31.03 C0(V0,V12)
30.68/31.03 C1(V2,V12)
30.68/31.03 C2(V5,V12)
30.68/31.03 C3(V6,V12)
30.68/31.03 C4(V9,V12)
30.68/31.03 C5(V10,V12)
30.68/31.03 C6(V11,V12)
30.68/31.03
30.68/31.03 preprocessing
30.68/31.03 nbConstraintChecks=329 nbValidityChecks=76 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.68/31.03 nbRemovedValues=47 detectedInconsistency=no
30.68/31.03 => wckTime=0.0080 cpuTime=0.0 mem=16M314
30.68/31.04 C5(V10,V12)
30.68/31.04 C6(V11,V12)
30.68/31.04 C0(V0,V12)
30.68/31.04 C1(V2,V12)
30.68/31.04 C2(V5,V12)
30.68/31.04 C3(V6,V12)
30.68/31.04 C4(V9,V12)
30.68/31.04
30.68/31.04 search
30.68/31.04 run=0 nbConstraintChecks=73 nbValidityChecks=157 minDepth=0 maxDepth=8 nbPropagations=0 nbRevisions=0
30.68/31.04 nbUselessRevisions=0 nbAssignments=9 nbFailedAssignments=1 nbBacktracks=9 nbVisitedNodes=11
30.68/31.04 => wckTime=0.02 cpuTime=0.01 mem=17M322
30.68/31.04
30.68/31.04 global
30.68/31.04 nbConstraintChecks=402 nbValidityChecks=233 solvingWckTime=0.022 solvingCpuTime=0.02 expiredTime=no
30.68/31.04 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
30.68/31.04 globalCpuTime=30.4
30.68/31.04 => wckTime=30.795 cpuTime=30.34 mem=17M322
30.68/31.04
30.68/31.04 s OPTIMUM FOUND
30.68/31.04 v 3 4 3 4 4 3 3 4 3 3 1 4 -1
30.68/31.04 d NODES 9
30.68/31.04 d CHECKS 402
30.68/31.05
30.68/31.05 totalWckTime=30.853 totalCpuTime=30.4
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127154-1216188093/watcher-1127154-1216188093 -o /tmp/evaluation-result-1127154-1216188093/solver-1127154-1216188093 -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-1127154-1216188093.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.01 2.09 2.16 3/81 31330
/proc/meminfo: memFree=1878688/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=1616 CPUtime=0
/proc/31330/stat : 31330 (java) D 31328 31330 31260 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 75511543 1654784 126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31330/statm: 404 126 100 9 0 46 0
[startup+0.0617221 s]
/proc/loadavg: 2.01 2.09 2.16 3/81 31330
/proc/meminfo: memFree=1878688/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=863832 CPUtime=0.04
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 2611 0 1 0 3 1 0 0 18 0 9 0 75511543 884563968 2178 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 215958 2178 1027 9 0 210937 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863832
[startup+0.10173 s]
/proc/loadavg: 2.01 2.09 2.16 3/81 31330
/proc/meminfo: memFree=1878688/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=865984 CPUtime=0.08
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 75511543 886767616 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216496 3164 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301772 s]
/proc/loadavg: 2.01 2.09 2.16 3/81 31330
/proc/meminfo: memFree=1878688/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866156 CPUtime=0.28
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 5591 0 1 0 24 4 0 0 18 0 9 0 75511543 886943744 5006 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216539 5006 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701846 s]
/proc/loadavg: 2.01 2.09 2.16 3/81 31330
/proc/meminfo: memFree=1878688/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=0.68
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8304 0 1 0 56 12 0 0 18 0 9 0 75511543 887435264 7471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7471 2632 9 0 211165 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866636
[startup+1.503 s]
/proc/loadavg: 2.01 2.09 2.16 3/90 31339
/proc/meminfo: memFree=1858904/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=1.47
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8312 0 1 0 85 62 0 0 18 0 9 0 75511543 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7479 2633 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=1.32
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6194 0 1 0 72 60 0 0 25 0 9 0 75511544 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 7944972 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.09
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 322 0 0 0 9 0 0 0 16 0 9 0 75511548 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866636
[startup+3.10132 s]
/proc/loadavg: 2.01 2.09 2.16 3/90 31339
/proc/meminfo: memFree=1858712/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866640 CPUtime=3.05
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8313 0 1 0 145 160 0 0 18 0 9 0 75511543 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216660 7479 2633 9 0 211166 0
[pid=31330/tid=31331] ppid=31328 vsize=866640 CPUtime=2.91
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6195 0 1 0 132 159 0 0 25 0 9 0 75511544 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866640 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866640 CPUtime=0.09
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 322 0 0 0 9 0 0 0 16 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866640
[startup+6.30295 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1858520/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866640 CPUtime=6.23
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8314 0 1 0 265 358 0 0 18 0 9 0 75511543 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216660 7479 2633 9 0 211166 0
[pid=31330/tid=31331] ppid=31328 vsize=866640 CPUtime=6.07
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 251 356 0 0 25 0 9 0 75511544 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866640 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866640 CPUtime=0.09
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 322 0 0 0 9 0 0 0 16 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) R 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 866640
[startup+12.7022 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1858264/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866640 CPUtime=12.56
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8314 0 1 0 503 753 0 0 18 0 9 0 75511543 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216660 7479 2633 9 0 211166 0
[pid=31330/tid=31331] ppid=31328 vsize=866640 CPUtime=12.41
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 490 751 0 0 25 0 9 0 75511544 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866640 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866640 CPUtime=0.09
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 322 0 0 0 9 0 0 0 16 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887439360 7479 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 866640
[startup+25.5017 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1858008/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=25.23
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8315 0 1 0 980 1543 0 0 18 0 9 0 75511543 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7480 2633 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=25.08
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 966 1542 0 0 25 0 9 0 75511544 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 8039726 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.09
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 323 0 0 0 9 0 0 0 16 0 9 0 75511548 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 7480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 866636
Solver just ended. Dumping a history of the last processes samples
[startup+28.7013 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1857880/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866640 CPUtime=28.4
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8316 0 1 0 1097 1743 0 0 18 0 9 0 75511543 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216660 7481 2633 9 0 211166 0
[pid=31330/tid=31331] ppid=31328 vsize=866640 CPUtime=28.24
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 1083 1741 0 0 25 0 9 0 75511544 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866640 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866640 CPUtime=0.1
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 75511548 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866640 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887439360 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.4
Current children cumulated vsize (KiB) 866640
[startup+30.3017 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1857880/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=29.99
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8316 0 1 0 1158 1841 0 0 18 0 9 0 75511543 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7481 2633 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=29.83
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 1143 1840 0 0 25 0 9 0 75511544 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4126613006 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.1
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (KiB) 866636
[startup+30.7017 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1857880/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=30.38
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8316 0 1 0 1171 1867 0 0 18 0 9 0 75511543 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7481 2633 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=30.23
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 1157 1866 0 0 25 0 9 0 75511544 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4126611666 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.1
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 7481 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.9018 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1857880/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=30.58
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 8316 0 1 0 1179 1879 0 0 18 0 9 0 75511543 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 7481 2633 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=30.43
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 6196 0 1 0 1165 1878 0 0 25 0 9 0 75511544 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.1
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 324 0 0 0 10 0 0 0 16 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 7481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.58
Current children cumulated vsize (KiB) 866636
[startup+31.0028 s]
/proc/loadavg: 2.01 2.08 2.16 3/90 31339
/proc/meminfo: memFree=1857880/2055920 swapFree=4181132/4192956
[pid=31330] ppid=31328 vsize=866636 CPUtime=30.68
/proc/31330/stat : 31330 (java) S 31328 31330 31260 0 -1 0 9406 0 1 0 1188 1880 0 0 18 0 9 0 75511543 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31330/statm: 216659 8571 2634 9 0 211165 0
[pid=31330/tid=31331] ppid=31328 vsize=866636 CPUtime=30.51
/proc/31330/task/31331/stat : 31331 (java) R 31328 31330 31260 0 -1 64 7280 0 1 0 1172 1879 0 0 25 0 9 0 75511544 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4126451141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31333] ppid=31328 vsize=866636 CPUtime=0.03
/proc/31330/task/31333/stat : 31333 (java) S 31328 31330 31260 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75511546 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31334] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31334/stat : 31334 (java) S 31328 31330 31260 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75511546 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31335] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31335/stat : 31335 (java) S 31328 31330 31260 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75511546 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31336] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31336/stat : 31336 (java) S 31328 31330 31260 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75511548 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31337] ppid=31328 vsize=866636 CPUtime=0.11
/proc/31330/task/31337/stat : 31337 (java) S 31328 31330 31260 0 -1 64 330 0 0 0 11 0 0 0 16 0 9 0 75511548 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31338] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31338/stat : 31338 (java) S 31328 31330 31260 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75511548 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31330/tid=31339] ppid=31328 vsize=866636 CPUtime=0
/proc/31330/task/31339/stat : 31339 (java) S 31328 31330 31260 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75511548 887435264 8571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.68
Current children cumulated vsize (KiB) 866636
Child status: 0
Real time (s): 31.0917
CPU time (s): 30.7393
CPU user time (s): 11.9172
CPU system time (s): 18.8221
CPU usage (%): 98.8665
Max. virtual memory (cumulated for all children) (KiB): 866640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9172
system time used= 18.8221
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10202
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= 1020
involuntary context switches= 2649
runsolver used 0.052991 second user time and 0.110983 second system time
The end