0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-wdeg.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1127153-1216188091.xml
0.27/0.33
0.27/0.33 domains being loaded...
0.27/0.34
0.27/0.34 variables being loaded...
0.27/0.37 nbVariables=13 nbDomainTypes=2 minDomainSize=1 maxDomainSize=6 nbTotalValues=73
0.27/0.37 => wckTime=0.114 cpuTime=0.09 mem=7M858
0.27/0.37
0.27/0.37 relations being loaded...
0.27/0.37
0.27/0.37 constraints being loaded...
0.37/0.42 nbConstraints=15 nbRelationTypes=4 nbSingletonDomainVariables=1 nbExtensionStructures=4
0.37/0.42 nbSharedExtensionStructures=11 nbConflictsStructures=4 nbSharedConflictsStructures=11
0.37/0.42 nbSharedBinaryRepresentations=16 minDegree=2 maxDegree=7 minArity=2 avgArity=2.53 maxArity=3
0.37/0.42 => wckTime=0.166 cpuTime=0.14 mem=9M827
0.37/0.47
0.37/0.47 solver LocalSearchSolver being built...
0.47/0.51 => wckTime=0.257 cpuTime=0.18 mem=5M389
0.47/0.51
0.47/0.51 s SATISFIABLE
0.47/0.51 o 12
0.47/0.52 o 10
0.47/0.52 o 9
0.47/0.52 o 8
0.47/0.52 o 7
0.47/0.52 o 6
0.47/0.52 o 5
0.47/0.52 o 3
0.47/0.52 o 2
0.47/0.52 o 1
1.06/1.15
1.06/1.15 search
1.06/1.15 run=0 nbConstraintChecks=687710 nbAssignments=10000
1.06/1.15 => wckTime=0.643 cpuTime=0.61 mem=6M381
1.65/1.76
1.65/1.76 search
1.65/1.76 run=1 nbConstraintChecks=1376149 nbAssignments=20000
1.65/1.76 => wckTime=1.252 cpuTime=1.21 mem=6M381
2.25/2.35
2.25/2.35 search
2.25/2.35 run=2 nbConstraintChecks=2066103 nbAssignments=30000
2.25/2.35 => wckTime=1.843 cpuTime=1.8 mem=6M381
2.84/2.94
2.84/2.94 search
2.84/2.94 run=3 nbConstraintChecks=2752080 nbAssignments=40000
2.84/2.94 => wckTime=2.435 cpuTime=2.39 mem=6M381
3.43/3.54
3.43/3.54 search
3.43/3.54 run=4 nbConstraintChecks=3436673 nbAssignments=50000
3.43/3.54 => wckTime=3.026 cpuTime=2.96 mem=6M381
4.03/4.13
4.03/4.13 search
4.03/4.13 run=5 nbConstraintChecks=4129063 nbAssignments=60000
4.03/4.13 => wckTime=3.618 cpuTime=3.55 mem=6M381
4.62/4.72
4.62/4.72 search
4.62/4.72 run=6 nbConstraintChecks=4811093 nbAssignments=70000
4.62/4.72 => wckTime=4.215 cpuTime=4.13 mem=6M381
5.21/5.31
5.21/5.31 search
5.21/5.31 run=7 nbConstraintChecks=5503862 nbAssignments=80000
5.21/5.31 => wckTime=4.8 cpuTime=4.71 mem=6M381
5.80/5.91
5.80/5.91 search
5.80/5.91 run=8 nbConstraintChecks=6192373 nbAssignments=90000
5.80/5.91 => wckTime=5.398 cpuTime=5.3 mem=6M381
6.30/6.49
6.30/6.49 search
6.30/6.49 run=9 nbConstraintChecks=6879080 nbAssignments=100000
6.30/6.49 => wckTime=5.983 cpuTime=5.88 mem=6M381
6.88/7.09
6.88/7.09 search
6.88/7.09 run=10 nbConstraintChecks=7561359 nbAssignments=110000
6.88/7.09 => wckTime=6.581 cpuTime=6.47 mem=6M381
7.48/7.68
7.48/7.68 search
7.48/7.68 run=11 nbConstraintChecks=8246802 nbAssignments=120000
7.48/7.68 => wckTime=7.173 cpuTime=7.06 mem=6M381
8.06/8.27
8.06/8.28 search
8.06/8.28 run=12 nbConstraintChecks=8935110 nbAssignments=130000
8.06/8.28 => wckTime=7.766 cpuTime=7.64 mem=6M381
8.66/8.87
8.66/8.87 search
8.66/8.87 run=13 nbConstraintChecks=9627977 nbAssignments=140000
8.66/8.87 => wckTime=8.359 cpuTime=8.23 mem=6M381
9.25/9.46
9.25/9.46 search
9.25/9.46 run=14 nbConstraintChecks=10317254 nbAssignments=150000
9.25/9.46 => wckTime=8.953 cpuTime=8.82 mem=6M381
9.85/10.05
9.85/10.05 search
9.85/10.05 run=15 nbConstraintChecks=11007593 nbAssignments=160000
9.85/10.05 => wckTime=9.541 cpuTime=9.4 mem=6M381
10.44/10.64
10.44/10.64 search
10.44/10.64 run=16 nbConstraintChecks=11683971 nbAssignments=170000
10.44/10.64 => wckTime=10.128 cpuTime=9.97 mem=6M381
11.03/11.23
11.03/11.23 search
11.03/11.23 run=17 nbConstraintChecks=12370099 nbAssignments=180000
11.03/11.23 => wckTime=10.716 cpuTime=10.55 mem=6M381
11.62/11.81
11.62/11.81 search
11.62/11.81 run=18 nbConstraintChecks=13062248 nbAssignments=190000
11.62/11.81 => wckTime=11.304 cpuTime=11.13 mem=6M381
12.21/12.41
12.21/12.41 search
12.21/12.41 run=19 nbConstraintChecks=13751975 nbAssignments=200000
12.21/12.41 => wckTime=11.9 cpuTime=11.72 mem=6M381
12.71/12.99
12.71/12.99 search
12.71/12.99 run=20 nbConstraintChecks=14431227 nbAssignments=210000
12.71/12.99 => wckTime=12.482 cpuTime=12.3 mem=6M381
13.30/13.58
13.30/13.58 search
13.30/13.58 run=21 nbConstraintChecks=15111973 nbAssignments=220000
13.30/13.58 => wckTime=13.075 cpuTime=12.88 mem=6M381
13.89/14.16
13.89/14.16 search
13.89/14.16 run=22 nbConstraintChecks=15799228 nbAssignments=230000
13.89/14.16 => wckTime=13.655 cpuTime=13.46 mem=6M381
14.48/14.76
14.48/14.76 search
14.48/14.76 run=23 nbConstraintChecks=16484402 nbAssignments=240000
14.48/14.76 => wckTime=14.249 cpuTime=14.04 mem=6M381
15.08/15.35
15.08/15.35 search
15.08/15.35 run=24 nbConstraintChecks=17170874 nbAssignments=250000
15.08/15.35 => wckTime=14.838 cpuTime=14.62 mem=6M381
15.67/15.94
15.67/15.94 search
15.67/15.94 run=25 nbConstraintChecks=17862713 nbAssignments=260000
15.67/15.94 => wckTime=15.426 cpuTime=15.21 mem=6M381
16.27/16.52
16.27/16.52 search
16.27/16.52 run=26 nbConstraintChecks=18547072 nbAssignments=270000
16.27/16.52 => wckTime=16.015 cpuTime=15.78 mem=6M381
16.85/17.11
16.85/17.11 search
16.85/17.11 run=27 nbConstraintChecks=19233143 nbAssignments=280000
16.85/17.11 => wckTime=16.603 cpuTime=16.36 mem=6M381
17.44/17.70
17.44/17.70 search
17.44/17.70 run=28 nbConstraintChecks=19917456 nbAssignments=290000
17.44/17.70 => wckTime=17.19 cpuTime=16.94 mem=6M381
17.94/18.29
17.94/18.29 search
17.94/18.29 run=29 nbConstraintChecks=20610264 nbAssignments=300000
17.94/18.29 => wckTime=17.778 cpuTime=17.53 mem=6M381
18.54/18.88
18.54/18.88 search
18.54/18.88 run=30 nbConstraintChecks=21303253 nbAssignments=310000
18.54/18.88 => wckTime=18.366 cpuTime=18.11 mem=6M381
19.13/19.46
19.13/19.46 search
19.13/19.46 run=31 nbConstraintChecks=21996762 nbAssignments=320000
19.13/19.46 => wckTime=18.953 cpuTime=18.69 mem=6M381
19.72/20.05
19.72/20.05 search
19.72/20.05 run=32 nbConstraintChecks=22682598 nbAssignments=330000
19.72/20.05 => wckTime=19.545 cpuTime=19.27 mem=6M381
20.31/20.65
20.31/20.65 search
20.31/20.65 run=33 nbConstraintChecks=23370385 nbAssignments=340000
20.31/20.65 => wckTime=20.136 cpuTime=19.85 mem=6M381
20.91/21.24
20.91/21.24 search
20.91/21.24 run=34 nbConstraintChecks=24054506 nbAssignments=350000
20.91/21.24 => wckTime=20.734 cpuTime=20.44 mem=6M381
21.49/21.83
21.49/21.83 search
21.49/21.83 run=35 nbConstraintChecks=24741900 nbAssignments=360000
21.49/21.83 => wckTime=21.319 cpuTime=21.03 mem=6M381
22.08/22.43
22.08/22.43 search
22.08/22.43 run=36 nbConstraintChecks=25427326 nbAssignments=370000
22.08/22.43 => wckTime=21.919 cpuTime=21.61 mem=6M381
22.68/23.02
22.68/23.02 search
22.68/23.02 run=37 nbConstraintChecks=26118058 nbAssignments=380000
22.68/23.02 => wckTime=22.512 cpuTime=22.2 mem=6M381
23.27/23.61
23.27/23.61 search
23.27/23.61 run=38 nbConstraintChecks=26805788 nbAssignments=390000
23.27/23.61 => wckTime=23.104 cpuTime=22.78 mem=6M381
23.88/24.21
23.88/24.21 search
23.88/24.21 run=39 nbConstraintChecks=27489171 nbAssignments=400000
23.88/24.21 => wckTime=23.697 cpuTime=23.37 mem=6M381
24.46/24.80
24.46/24.80 search
24.46/24.80 run=40 nbConstraintChecks=28178689 nbAssignments=410000
24.46/24.80 => wckTime=24.288 cpuTime=23.95 mem=6M381
24.96/25.39
24.96/25.39 search
24.96/25.39 run=41 nbConstraintChecks=28867874 nbAssignments=420000
24.96/25.39 => wckTime=24.882 cpuTime=24.54 mem=6M381
25.54/25.98
25.54/25.98 search
25.54/25.98 run=42 nbConstraintChecks=29556181 nbAssignments=430000
25.54/25.98 => wckTime=25.474 cpuTime=25.13 mem=6M381
26.14/26.58
26.14/26.58 search
26.14/26.58 run=43 nbConstraintChecks=30250622 nbAssignments=440000
26.14/26.58 => wckTime=26.067 cpuTime=25.71 mem=6M381
26.74/27.17
26.74/27.17 search
26.74/27.17 run=44 nbConstraintChecks=30935751 nbAssignments=450000
26.74/27.17 => wckTime=26.658 cpuTime=26.29 mem=6M381
27.32/27.76
27.32/27.76 search
27.32/27.76 run=45 nbConstraintChecks=31614862 nbAssignments=460000
27.32/27.76 => wckTime=27.25 cpuTime=26.88 mem=6M381
27.92/28.35
27.92/28.35 search
27.92/28.35 run=46 nbConstraintChecks=32302517 nbAssignments=470000
27.92/28.35 => wckTime=27.844 cpuTime=27.46 mem=6M381
28.50/28.96
28.50/28.96 search
28.50/28.96 run=47 nbConstraintChecks=32993897 nbAssignments=480000
28.50/28.96 => wckTime=28.452 cpuTime=28.06 mem=6M381
29.10/29.55
29.10/29.55 search
29.10/29.55 run=48 nbConstraintChecks=33690376 nbAssignments=490000
29.10/29.55 => wckTime=29.039 cpuTime=28.65 mem=6M381
29.68/30.14
29.68/30.14 search
29.68/30.14 run=49 nbConstraintChecks=34380992 nbAssignments=500000
29.68/30.14 => wckTime=29.635 cpuTime=29.23 mem=6M381
30.29/30.73
30.29/30.73 search
30.29/30.73 run=50 nbConstraintChecks=35071474 nbAssignments=510000
30.29/30.73 => wckTime=30.222 cpuTime=29.81 mem=6M381
30.47/30.94
30.47/30.94 search
30.47/30.94 run=51 nbConstraintChecks=35314851 nbAssignments=513526
30.47/30.94 => wckTime=30.427 cpuTime=30.01 mem=6M381
30.47/30.94
30.47/30.94 global
30.47/30.94 nbConstraintChecks=35314851 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.47/30.94 solvingWckTime=30.425 solvingCpuTime=30.01 expiredTime=no totalExploration=no nbFoundSolutions=0
30.47/30.94 globalCpuTime=30.24
30.47/30.94 => wckTime=30.684 cpuTime=30.2 mem=6M381
30.47/30.94
30.47/30.94 solver DecomposerSolver being built...
30.57/31.03 => wckTime=30.779 cpuTime=30.27 mem=16M346
30.57/31.03 C0(V0,V12)
30.57/31.03 C0(V0,V12)
30.57/31.03 C0(V0,V12)
30.57/31.03 C0(V0,V12)
30.57/31.03 C0(V0,V12)
30.57/31.03 C0(V0,V12)
30.57/31.03 C1(V2,V12)
30.57/31.03 C1(V2,V12)
30.57/31.03 C1(V2,V12)
30.57/31.03 C1(V2,V12)
30.57/31.03 C1(V2,V12)
30.57/31.03 C1(V2,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04 C0(V0,V12)
30.57/31.04 C1(V2,V12)
30.57/31.04 C2(V5,V12)
30.57/31.04 C3(V6,V12)
30.57/31.04 C4(V9,V12)
30.57/31.04 C5(V10,V12)
30.57/31.04 C6(V11,V12)
30.57/31.04
30.57/31.04 preprocessing
30.57/31.04 nbConstraintChecks=329 nbValidityChecks=76 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.57/31.04 nbRemovedValues=47 detectedInconsistency=no
30.57/31.04 => wckTime=0.0070 cpuTime=0.01 mem=16M346
30.57/31.05 C5(V10,V12)
30.57/31.05 C6(V11,V12)
30.57/31.05 C0(V0,V12)
30.57/31.05 C1(V2,V12)
30.57/31.05 C2(V5,V12)
30.57/31.05 C3(V6,V12)
30.57/31.05 C4(V9,V12)
30.57/31.05 C0(V0,V12)
30.57/31.05 C1(V2,V12)
30.57/31.05 C2(V5,V12)
30.57/31.05 C3(V6,V12)
30.57/31.05 C4(V9,V12)
30.57/31.05 C5(V10,V12)
30.57/31.05 C6(V11,V12)
30.57/31.05 C0(V0,V12)
30.57/31.05 C1(V2,V12)
30.57/31.05 C2(V5,V12)
30.57/31.05 C3(V6,V12)
30.57/31.05 C4(V9,V12)
30.57/31.05 C5(V10,V12)
30.57/31.05 C6(V11,V12)
30.57/31.05
30.57/31.06 search
30.57/31.06 run=0 nbConstraintChecks=102 nbValidityChecks=200 minDepth=0 maxDepth=4 nbPropagations=0 nbRevisions=0
30.57/31.06 nbUselessRevisions=0 nbAssignments=7 nbFailedAssignments=2 nbBacktracks=6 nbVisitedNodes=10
30.57/31.06 => wckTime=0.021 cpuTime=0.02 mem=17M354
30.57/31.06
30.57/31.06 global
30.57/31.06 nbConstraintChecks=431 nbValidityChecks=276 solvingWckTime=0.023 solvingCpuTime=0.02 expiredTime=no
30.57/31.06 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0
30.57/31.06 globalCpuTime=30.33
30.57/31.06 => wckTime=30.803 cpuTime=30.29 mem=17M354
30.57/31.06
30.57/31.06 s OPTIMUM FOUND
30.57/31.06 v 3 4 3 4 4 3 3 4 3 3 1 4 -1
30.57/31.06 d NODES 7
30.57/31.06 d CHECKS 431
30.57/31.06
30.57/31.06 totalWckTime=30.87 totalCpuTime=30.33
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127153-1216188091/watcher-1127153-1216188091 -o /tmp/evaluation-result-1127153-1216188091/solver-1127153-1216188091 -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-1127153-1216188091.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.00 2.08 2.07 4/112 29488
/proc/meminfo: memFree=1896736/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=18572 CPUtime=0
/proc/29488/stat : 29488 (runsolver) R 29486 29488 28417 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75506297 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 240153849127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29488/statm: 4643 292 257 25 0 2626 0
[startup+0.060056 s]
/proc/loadavg: 2.00 2.08 2.07 4/112 29488
/proc/meminfo: memFree=1896736/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=863916 CPUtime=0.04
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 2676 0 1 0 3 1 0 0 20 0 9 0 75506297 884649984 2234 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 215979 2234 1079 9 0 210936 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863916
[startup+0.102058 s]
/proc/loadavg: 2.00 2.08 2.07 4/112 29488
/proc/meminfo: memFree=1896736/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=865988 CPUtime=0.08
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 3703 0 1 0 6 2 0 0 20 0 9 0 75506297 886771712 3178 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216497 3178 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301081 s]
/proc/loadavg: 2.00 2.08 2.07 4/112 29488
/proc/meminfo: memFree=1896736/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866388 CPUtime=0.27
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 5809 0 1 0 24 3 0 0 20 0 9 0 75506297 887181312 5184 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216597 5184 1953 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866388
[startup+0.701125 s]
/proc/loadavg: 2.00 2.08 2.07 4/112 29488
/proc/meminfo: memFree=1896736/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866632 CPUtime=0.66
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8315 0 1 0 52 14 0 0 20 0 9 0 75506297 887431168 7482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216658 7482 2632 9 0 211164 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 866632
[startup+1.50221 s]
/proc/loadavg: 2.00 2.08 2.07 3/121 29497
/proc/meminfo: memFree=1877016/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=1.46
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8320 0 1 0 83 63 0 0 20 0 9 0 75506297 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7486 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=1.31
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6197 0 1 0 70 61 0 0 25 0 9 0 75506299 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 326 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866628
[startup+3.10139 s]
/proc/loadavg: 2.00 2.08 2.07 3/121 29497
/proc/meminfo: memFree=1876696/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=3.04
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8320 0 1 0 146 158 0 0 20 0 9 0 75506297 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7486 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=2.9
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6197 0 1 0 133 157 0 0 25 0 9 0 75506299 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4126622176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 326 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7486 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866628
[startup+6.30175 s]
/proc/loadavg: 2.00 2.08 2.07 3/121 29497
/proc/meminfo: memFree=1876568/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866632 CPUtime=6.2
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8322 0 1 0 267 353 0 0 20 0 9 0 75506297 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216658 7487 2633 9 0 211164 0
[pid=29488/tid=29490] ppid=29486 vsize=866632 CPUtime=6.05
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 254 351 0 0 25 0 9 0 75506299 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866632 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 17 0 9 0 75506301 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866632 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 327 0 0 0 9 0 0 0 16 0 9 0 75506303 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887431168 7487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 866632
[startup+12.7015 s]
/proc/loadavg: 2.00 2.08 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866632 CPUtime=12.51
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8323 0 1 0 506 745 0 0 20 0 9 0 75506297 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216658 7488 2633 9 0 211164 0
[pid=29488/tid=29490] ppid=29486 vsize=866632 CPUtime=12.37
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 493 744 0 0 25 0 9 0 75506299 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866632 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866632 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 328 0 0 0 9 0 0 0 16 0 9 0 75506303 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866632 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887431168 7488 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 866632
[startup+25.5029 s]
/proc/loadavg: 2.00 2.07 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=25.15
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8324 0 1 0 983 1532 0 0 20 0 9 0 75506297 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7489 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=25.01
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 970 1531 0 0 25 0 9 0 75506299 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 6812227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 329 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 866628
Solver just ended. Dumping a history of the last processes samples
[startup+28.7012 s]
/proc/loadavg: 2.00 2.07 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=28.31
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8324 0 1 0 1097 1734 0 0 20 0 9 0 75506297 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7489 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=28.17
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 1084 1733 0 0 25 0 9 0 75506299 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 6758309 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 329 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.31
Current children cumulated vsize (KiB) 866628
[startup+30.3014 s]
/proc/loadavg: 2.00 2.07 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=29.88
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8324 0 1 0 1156 1832 0 0 20 0 9 0 75506297 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7489 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=29.74
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 1143 1831 0 0 25 0 9 0 75506299 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4126613172 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 329 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (KiB) 866628
[startup+30.7015 s]
/proc/loadavg: 2.00 2.07 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866628 CPUtime=30.29
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 8324 0 1 0 1171 1858 0 0 20 0 9 0 75506297 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216657 7489 2633 9 0 211163 0
[pid=29488/tid=29490] ppid=29486 vsize=866628 CPUtime=30.14
/proc/29488/task/29490/stat : 29490 (java) R 29486 29488 28417 0 -1 64 6198 0 1 0 1158 1856 0 0 25 0 9 0 75506299 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866628 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866628 CPUtime=0.09
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 329 0 0 0 9 0 0 0 16 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866628 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887427072 7489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 866628
[startup+31.1015 s]
/proc/loadavg: 2.00 2.07 2.07 3/121 29497
/proc/meminfo: memFree=1876376/2055920 swapFree=4161980/4192956
[pid=29488] ppid=29486 vsize=866952 CPUtime=30.64
/proc/29488/stat : 29488 (java) S 29486 29488 28417 0 -1 0 10294 0 1 0 1190 1874 0 0 20 0 9 0 75506297 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29488/statm: 216738 9458 2635 9 0 211244 0
[pid=29488/tid=29490] ppid=29486 vsize=866952 CPUtime=30.47
/proc/29488/task/29490/stat : 29490 (java) S 29486 29488 28417 0 -1 64 8155 0 1 0 1175 1872 0 0 25 0 9 0 75506299 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29491] ppid=29486 vsize=866952 CPUtime=0.03
/proc/29488/task/29491/stat : 29491 (java) S 29486 29488 28417 0 -1 64 1100 0 0 0 3 0 0 0 16 0 9 0 75506301 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29492] ppid=29486 vsize=866952 CPUtime=0
/proc/29488/task/29492/stat : 29492 (java) S 29486 29488 28417 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75506301 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29493] ppid=29486 vsize=866952 CPUtime=0
/proc/29488/task/29493/stat : 29493 (java) S 29486 29488 28417 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75506301 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29494] ppid=29486 vsize=866952 CPUtime=0
/proc/29488/task/29494/stat : 29494 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 75506303 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29495] ppid=29486 vsize=866952 CPUtime=0.1
/proc/29488/task/29495/stat : 29495 (java) S 29486 29488 28417 0 -1 64 337 0 0 0 10 0 0 0 16 0 9 0 75506303 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29496] ppid=29486 vsize=866952 CPUtime=0
/proc/29488/task/29496/stat : 29496 (java) S 29486 29488 28417 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 75506303 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29488/tid=29497] ppid=29486 vsize=866952 CPUtime=0
/proc/29488/task/29497/stat : 29497 (java) S 29486 29488 28417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75506303 887758848 9458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.64
Current children cumulated vsize (KiB) 866952
Child status: 0
Real time (s): 31.1184
CPU time (s): 30.6473
CPU user time (s): 11.9012
CPU system time (s): 18.7462
CPU usage (%): 98.4863
Max. virtual memory (cumulated for all children) (KiB): 866952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9012
system time used= 18.7462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10298
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= 1349
involuntary context switches= 2650
runsolver used 0.06399 second user time and 0.148977 second system time
The end