0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=mrdac-wdeg.xml
0.19/0.29
0.19/0.30 instance
0.19/0.30 name=HOME/instance-1126865-1216187198.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.29/0.39 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.29/0.39 => wckTime=0.133 cpuTime=0.1 mem=7M908
0.29/0.39
0.29/0.39 relations being loaded...
0.39/0.40
0.39/0.40 constraints being loaded...
0.59/0.65 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.59/0.65 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.59/0.65 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.59/0.65 => wckTime=0.39 cpuTime=0.28 mem=14M806
0.69/0.71
0.69/0.71 solver LocalSearchSolver being built...
0.69/0.75 => wckTime=0.497 cpuTime=0.31 mem=6M521
0.69/0.77
0.69/0.77 s SATISFIABLE
0.69/0.77 o 37
0.69/0.77 o 34
0.69/0.77 o 32
0.69/0.77 o 30
0.69/0.77 o 28
0.69/0.77 o 27
0.69/0.77 o 26
0.69/0.77 o 25
0.69/0.77 o 24
0.69/0.78 o 23
0.69/0.78 o 22
0.69/0.78 o 21
0.69/0.78 o 20
0.69/0.78 o 19
0.69/0.78 o 18
0.69/0.78 o 17
0.69/0.78 o 16
0.69/0.78 o 15
0.69/0.79 o 13
0.79/0.80 o 12
0.79/0.80 o 11
0.79/0.80 o 10
0.79/0.80 o 9
0.79/0.80 o 8
0.79/0.81 o 4
0.79/0.82 o 3
0.79/0.82 o 2
0.79/0.85 o 1
0.88/0.91 o 0
0.88/0.91 First solution found
17.12/17.37
17.12/17.37 search
17.12/17.37 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.12/17.37 => wckTime=16.611 cpuTime=16.41 mem=7M561
17.12/17.37
17.12/17.37 search
17.12/17.37 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.12/17.37 => wckTime=16.611 cpuTime=16.41 mem=7M561
17.12/17.37
17.12/17.37 global
17.12/17.37 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.12/17.37 solvingWckTime=16.61 solvingCpuTime=16.4 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.12/17.37 firstSolutionCpuTime=0.45 globalCpuTime=16.77
17.12/17.37 => wckTime=17.109 cpuTime=16.72 mem=7M561
17.12/17.37
17.12/17.37 solver DecomposerSolver being built...
17.23/17.47 => wckTime=17.216 cpuTime=16.81 mem=17M709
17.23/17.48 C50(V0,V75)
17.23/17.48 C50(V0,V75)
17.23/17.48 C101(V1,V75)
17.23/17.48 C101(V1,V75)
17.23/17.48 C152(V2,V75)
17.23/17.48 C152(V2,V75)
17.23/17.48 C203(V3,V75)
17.23/17.48 C203(V3,V75)
17.23/17.48 C254(V4,V75)
17.23/17.48 C254(V4,V75)
17.23/17.48 C305(V5,V75)
17.23/17.48 C305(V5,V75)
17.23/17.48 C356(V6,V75)
17.23/17.48 C356(V6,V75)
17.23/17.48 C407(V7,V75)
17.23/17.48 C407(V7,V75)
17.23/17.48 C458(V8,V75)
17.23/17.48 C458(V8,V75)
17.23/17.49 C509(V9,V75)
17.23/17.49 C509(V9,V75)
17.23/17.49 C610(V11,V75)
17.23/17.49 C610(V11,V75)
17.23/17.49 C661(V12,V75)
17.23/17.49 C661(V12,V75)
17.23/17.49 C712(V13,V75)
17.23/17.49 C712(V13,V75)
17.23/17.49 C763(V14,V75)
17.23/17.49 C763(V14,V75)
17.23/17.49 C814(V15,V75)
17.23/17.49 C814(V15,V75)
17.23/17.49 C865(V16,V75)
17.23/17.49 C865(V16,V75)
17.23/17.49 C916(V17,V75)
17.23/17.49 C916(V17,V75)
17.23/17.49 C967(V18,V75)
17.23/17.49 C967(V18,V75)
17.23/17.49 C1018(V19,V75)
17.23/17.49 C1018(V19,V75)
17.23/17.49 C1069(V20,V75)
17.23/17.49 C1069(V20,V75)
17.23/17.49 C1120(V21,V75)
17.23/17.49 C1120(V21,V75)
17.23/17.49 C1171(V22,V75)
17.23/17.49 C1171(V22,V75)
17.23/17.49 C1222(V23,V75)
17.23/17.49 C1222(V23,V75)
17.23/17.49 C1273(V24,V75)
17.23/17.49 C1273(V24,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49 C1274(V47,V75)
17.23/17.49
17.23/17.49 preprocessing
17.23/17.49 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.23/17.49 detectedInconsistency=yes
17.23/17.49 => wckTime=0.017 cpuTime=0.01 mem=17M709
17.23/17.50
17.23/17.50 global
17.23/17.50 nbConstraintChecks=73 solvingWckTime=0.02 solvingCpuTime=0.02 expiredTime=no totalExploration=yes
17.23/17.50 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.88
17.23/17.50 => wckTime=17.238 cpuTime=16.83 mem=18M700
17.32/17.50
17.32/17.50 s OPTIMUM FOUND
17.32/17.50 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 -1
17.32/17.50 d NODES 0
17.32/17.50 d CHECKS 73
17.32/17.51
17.32/17.51 totalWckTime=17.316 totalCpuTime=16.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126865-1216187198/watcher-1126865-1216187198 -o /tmp/evaluation-result-1126865-1216187198/solver-1126865-1216187198 -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-1126865-1216187198.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.07 2.02 2.00 4/81 5032
/proc/meminfo: memFree=1899552/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=862848 CPUtime=0.03
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 2403 0 1 0 2 1 0 0 18 0 7 0 75422657 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 215712 1982 910 9 0 210691 0
[pid=5032/tid=5033] ppid=5030 vsize=862848 CPUtime=0.02
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 1687 0 1 0 2 0 0 0 18 0 7 0 75422658 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=862848 CPUtime=0
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 3 0 0 0 0 0 0 0 19 0 7 0 75422659 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=862848 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 9 0 0 0 0 0 0 0 19 0 7 0 75422659 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=862848 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 75422659 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=862848 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 75422661 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=862848 CPUtime=0
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 23 0 0 0 0 0 0 0 19 0 7 0 75422661 883556352 1982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.0553379 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 5032
/proc/meminfo: memFree=1899552/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=863920 CPUtime=0.04
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 2687 0 1 0 3 1 0 0 18 0 9 0 75422657 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 215980 2249 1072 9 0 210937 0
[pid=5032/tid=5033] ppid=5030 vsize=863920 CPUtime=0.03
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 1788 0 1 0 3 0 0 0 20 0 9 0 75422658 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 102825366 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=863920 CPUtime=0
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 75422659 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=863920 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 75422659 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=863920 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 75422659 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=863920 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=863920 CPUtime=0
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 203 0 0 0 0 0 0 0 19 0 9 0 75422661 884654080 2249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863920
[startup+0.102316 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 5032
/proc/meminfo: memFree=1899552/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=865988 CPUtime=0.09
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 3710 0 1 0 7 2 0 0 18 0 9 0 75422657 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216497 3185 1687 9 0 211052 0
[pid=5032/tid=5033] ppid=5030 vsize=865988 CPUtime=0.06
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 2792 0 1 0 5 1 0 0 20 0 9 0 75422658 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 103841040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=865988 CPUtime=0
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 75422659 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=865988 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 75422659 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=865988 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 75422659 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=865988 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=865988 CPUtime=0.01
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 222 0 0 0 1 0 0 0 18 0 9 0 75422661 886771712 3185 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.302338 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 5032
/proc/meminfo: memFree=1899552/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=866360 CPUtime=0.29
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 5795 0 1 0 25 4 0 0 18 0 9 0 75422657 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216590 5170 1953 9 0 211118 0
[pid=5032/tid=5033] ppid=5030 vsize=866360 CPUtime=0.23
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 4824 0 1 0 20 3 0 0 21 0 9 0 75422658 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 104251882 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=866360 CPUtime=0
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 75422659 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=866360 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 75422659 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=866360 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 75422659 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=866360 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=866360 CPUtime=0.04
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 275 0 0 0 4 0 0 0 16 0 9 0 75422661 887152640 5170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866360
[startup+0.702387 s]
/proc/loadavg: 2.07 2.02 2.00 4/81 5032
/proc/meminfo: memFree=1899552/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867040 CPUtime=0.69
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 9735 0 1 0 62 7 0 0 18 0 9 0 75422657 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216760 8905 2607 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867040 CPUtime=0.48
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7400 0 1 0 43 5 0 0 23 0 9 0 75422658 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867040 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) R 5030 5032 2659 0 -1 64 1169 0 0 0 4 0 0 0 16 0 9 0 75422659 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 104182533 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867040 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 75422659 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867040 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 75422659 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867040 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867040 CPUtime=0.14
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 473 0 0 0 14 0 0 0 16 0 9 0 75422661 887848960 8905 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867040
[startup+1.50246 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 5041
/proc/meminfo: memFree=1873048/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=1.47
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10025 0 1 0 138 9 0 0 18 0 9 0 75422657 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9192 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=1.21
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7455 0 1 0 115 6 0 0 25 0 9 0 75422658 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126809136 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.19
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 500 0 0 0 18 1 0 0 15 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9192 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) 867128
[startup+3.10163 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 5041
/proc/meminfo: memFree=1872856/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=3.06
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10026 0 1 0 294 12 0 0 18 0 9 0 75422657 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9192 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=2.81
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7456 0 1 0 271 10 0 0 25 0 9 0 75422658 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.19
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 500 0 0 0 18 1 0 0 17 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867128
[startup+6.30196 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1872728/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=6.23
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10031 0 1 0 602 21 0 0 18 0 9 0 75422657 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9196 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=5.97
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7457 0 1 0 578 19 0 0 25 0 9 0 75422658 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4126810209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.2
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 504 0 0 0 19 1 0 0 15 0 9 0 75422661 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9196 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) 867128
[startup+12.7016 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1872536/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=12.56
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10034 0 1 0 1219 37 0 0 18 0 9 0 75422657 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9199 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=12.3
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7457 0 1 0 1195 35 0 0 25 0 9 0 75422658 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.2
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 507 0 0 0 19 1 0 0 16 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9199 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) 867128
Solver just ended. Dumping a history of the last processes samples
[startup+15.903 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1872664/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=15.74
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10034 0 1 0 1528 46 0 0 18 0 9 0 75422657 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9199 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=15.46
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7457 0 1 0 1503 43 0 0 25 0 9 0 75422658 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126809183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.2
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 507 0 0 0 19 1 0 0 16 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (KiB) 867128
[startup+16.702 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1872664/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=16.53
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10034 0 1 0 1606 47 0 0 18 0 9 0 75422657 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9199 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=16.26
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7457 0 1 0 1581 45 0 0 25 0 9 0 75422658 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126810678 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.2
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 507 0 0 0 19 1 0 0 16 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.53
Current children cumulated vsize (KiB) 867128
[startup+17.1021 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1872664/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=16.93
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10034 0 1 0 1645 48 0 0 18 0 9 0 75422657 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9199 2634 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=16.65
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7457 0 1 0 1620 45 0 0 25 0 9 0 75422658 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126809229 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.2
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 507 0 0 0 19 1 0 0 16 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.93
Current children cumulated vsize (KiB) 867128
[startup+17.5021 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 5041
/proc/meminfo: memFree=1870744/2055920 swapFree=4181012/4192956
[pid=5032] ppid=5030 vsize=867128 CPUtime=17.32
/proc/5032/stat : 5032 (java) S 5030 5032 2659 0 -1 0 10537 0 1 0 1683 49 0 0 18 0 9 0 75422657 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5032/statm: 216782 9702 2635 9 0 211288 0
[pid=5032/tid=5033] ppid=5030 vsize=867128 CPUtime=17.03
/proc/5032/task/5033/stat : 5033 (java) R 5030 5032 2659 0 -1 64 7950 0 1 0 1656 47 0 0 25 0 9 0 75422658 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 103261250 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5034] ppid=5030 vsize=867128 CPUtime=0.04
/proc/5032/task/5034/stat : 5034 (java) S 5030 5032 2659 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75422659 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5035] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5035/stat : 5035 (java) S 5030 5032 2659 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75422659 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5036] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5036/stat : 5036 (java) S 5030 5032 2659 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75422659 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5037] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5037/stat : 5037 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75422661 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5038] ppid=5030 vsize=867128 CPUtime=0.23
/proc/5032/task/5038/stat : 5038 (java) S 5030 5032 2659 0 -1 64 517 0 0 0 22 1 0 0 16 0 9 0 75422661 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5040] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5040/stat : 5040 (java) S 5030 5032 2659 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75422661 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5032/tid=5041] ppid=5030 vsize=867128 CPUtime=0
/proc/5032/task/5041/stat : 5041 (java) S 5030 5032 2659 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75422661 887939072 9702 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.32
Current children cumulated vsize (KiB) 867128
Child status: 0
Real time (s): 17.5591
CPU time (s): 17.3394
CPU user time (s): 16.8374
CPU system time (s): 0.501923
CPU usage (%): 98.7484
Max. virtual memory (cumulated for all children) (KiB): 867128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8374
system time used= 0.501923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10631
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= 1417
involuntary context switches= 2051
runsolver used 0.025996 second user time and 0.074988 second system time
The end