0.04/12.08
0.04/12.08 Abscon 112 (May, 2008)
0.24/12.24
0.24/12.24 configuration
0.24/12.24 name=mrdac-wdeg.xml
0.33/12.31
0.33/12.31 instance
0.33/12.31 name=HOME/instance-1126737-1216186684.xml
0.33/12.35
0.33/12.35 domains being loaded...
0.33/12.36
0.33/12.36 variables being loaded...
0.33/12.40 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.33/12.40 => wckTime=0.154 cpuTime=0.11 mem=7M908
0.33/12.40
0.33/12.40 relations being loaded...
0.42/12.40
0.42/12.40 constraints being loaded...
0.62/12.64 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.62/12.64 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.62/12.64 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.62/12.64 => wckTime=0.394 cpuTime=0.26 mem=14M806
0.62/12.69
0.62/12.69 solver LocalSearchSolver being built...
0.72/12.74 => wckTime=0.494 cpuTime=0.3 mem=6M521
0.72/12.75
0.72/12.75 s SATISFIABLE
0.72/12.75 o 37
0.72/12.75 o 34
0.72/12.75 o 32
0.72/12.75 o 30
0.72/12.75 o 28
0.72/12.75 o 27
0.72/12.75 o 26
0.72/12.75 o 25
0.72/12.75 o 24
0.72/12.75 o 23
0.72/12.76 o 22
0.72/12.76 o 21
0.72/12.76 o 20
0.72/12.76 o 19
0.72/12.76 o 18
0.72/12.76 o 17
0.72/12.76 o 16
0.72/12.76 o 15
0.72/12.77 o 13
0.72/12.78 o 12
0.72/12.78 o 11
0.72/12.78 o 10
0.72/12.78 o 9
0.72/12.78 o 8
0.72/12.79 o 4
0.72/12.79 o 3
0.72/12.80 o 2
0.82/12.82 o 1
0.82/12.88 o 0
0.82/12.88 First solution found
15.91/28.10
15.91/28.10 search
15.91/28.10 run=0 nbConstraintChecks=115474934 nbAssignments=10000
15.91/28.10 => wckTime=15.362 cpuTime=15.21 mem=7M561
16.00/28.10
16.00/28.10 search
16.00/28.10 run=0 nbConstraintChecks=115474934 nbAssignments=10000
16.00/28.10 => wckTime=15.362 cpuTime=15.21 mem=7M561
16.00/28.10
16.00/28.10 global
16.00/28.10 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
16.00/28.10 solvingWckTime=15.361 solvingCpuTime=15.21 expiredTime=no totalExploration=yes nbFoundSolutions=2212
16.00/28.10 firstSolutionCpuTime=0.44 globalCpuTime=15.55
16.00/28.10 => wckTime=15.858 cpuTime=15.51 mem=7M561
16.00/28.10
16.00/28.10 solver DecomposerSolver being built...
16.11/28.20 => wckTime=15.956 cpuTime=15.59 mem=17M709
16.11/28.20 C50(V0,V75)
16.11/28.20 C50(V0,V75)
16.11/28.20 C101(V1,V75)
16.11/28.20 C101(V1,V75)
16.11/28.20 C152(V2,V75)
16.11/28.20 C152(V2,V75)
16.11/28.20 C203(V3,V75)
16.11/28.20 C203(V3,V75)
16.11/28.20 C254(V4,V75)
16.11/28.20 C254(V4,V75)
16.11/28.20 C305(V5,V75)
16.11/28.20 C305(V5,V75)
16.11/28.20 C356(V6,V75)
16.11/28.20 C356(V6,V75)
16.11/28.20 C407(V7,V75)
16.11/28.20 C407(V7,V75)
16.11/28.21 C458(V8,V75)
16.11/28.21 C458(V8,V75)
16.11/28.21 C509(V9,V75)
16.11/28.21 C509(V9,V75)
16.11/28.21 C610(V11,V75)
16.11/28.21 C610(V11,V75)
16.11/28.21 C661(V12,V75)
16.11/28.21 C661(V12,V75)
16.11/28.21 C712(V13,V75)
16.11/28.21 C712(V13,V75)
16.11/28.21 C763(V14,V75)
16.11/28.21 C763(V14,V75)
16.11/28.21 C814(V15,V75)
16.11/28.21 C814(V15,V75)
16.11/28.21 C865(V16,V75)
16.11/28.21 C865(V16,V75)
16.11/28.21 C916(V17,V75)
16.11/28.21 C916(V17,V75)
16.11/28.21 C967(V18,V75)
16.11/28.21 C967(V18,V75)
16.11/28.21 C1018(V19,V75)
16.11/28.21 C1018(V19,V75)
16.11/28.21 C1069(V20,V75)
16.11/28.21 C1069(V20,V75)
16.11/28.21 C1120(V21,V75)
16.11/28.21 C1120(V21,V75)
16.11/28.21 C1171(V22,V75)
16.11/28.21 C1171(V22,V75)
16.11/28.21 C1222(V23,V75)
16.11/28.21 C1222(V23,V75)
16.11/28.21 C1273(V24,V75)
16.11/28.21 C1273(V24,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.21 C1274(V47,V75)
16.11/28.22 C1274(V47,V75)
16.11/28.22 C1274(V47,V75)
16.11/28.22 C1274(V47,V75)
16.11/28.22 C1274(V47,V75)
16.11/28.22
16.11/28.22 preprocessing
16.11/28.22 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
16.11/28.22 detectedInconsistency=yes
16.11/28.22 => wckTime=0.017 cpuTime=0.01 mem=17M709
16.11/28.22
16.11/28.22 global
16.11/28.22 nbConstraintChecks=73 solvingWckTime=0.019 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
16.11/28.22 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=15.64
16.11/28.22 => wckTime=15.977 cpuTime=15.6 mem=18M700
16.11/28.22
16.11/28.22 s OPTIMUM FOUND
16.11/28.22 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
16.11/28.22 d NODES 0
16.11/28.22 d CHECKS 73
16.11/28.22
16.11/28.22 totalWckTime=16.027 totalCpuTime=15.65
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126737-1216186684/watcher-1126737-1216186684 -o /tmp/evaluation-result-1126737-1216186684/solver-1126737-1216186684 -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-1126737-1216186684.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: 5.67 6.68 7.90 4/111 28184
/proc/meminfo: memFree=1901244/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) R 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
[startup+0.055116 s]
/proc/loadavg: 5.67 6.68 7.90 4/111 28184
/proc/meminfo: memFree=1901244/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+0.101121 s]
/proc/loadavg: 5.67 6.68 7.90 4/111 28184
/proc/meminfo: memFree=1901244/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+0.301156 s]
/proc/loadavg: 5.67 6.68 7.90 4/111 28184
/proc/meminfo: memFree=1901244/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+0.701231 s]
/proc/loadavg: 5.67 6.68 7.90 4/111 28184
/proc/meminfo: memFree=1901244/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+1.50138 s]
/proc/loadavg: 6.01 6.74 7.91 3/114 28187
/proc/meminfo: memFree=1900388/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+3.1019 s]
/proc/loadavg: 6.01 6.74 7.91 2/114 28187
/proc/meminfo: memFree=1900132/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+6.30126 s]
/proc/loadavg: 6.01 6.74 7.91 2/114 28187
/proc/meminfo: memFree=1900132/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=18572 CPUtime=0
/proc/28184/stat : 28184 (runsolver) D 28182 28184 27443 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 75365361 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/28184/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+12.7024 s]
/proc/loadavg: 6.31 6.78 7.91 2/118 28193
/proc/meminfo: memFree=1895748/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867136 CPUtime=0.72
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 9975 0 1 0 62 10 0 0 18 0 9 0 75365361 887947264 9143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216784 9143 2630 9 0 211290 0
[pid=28184/tid=28188] ppid=28182 vsize=867136 CPUtime=0.5
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7433 0 1 0 44 6 0 0 20 0 9 0 75366402 887947264 9143 996147200 134512640 134550740 4294955952 18446744073709551615 103269579 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867136 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887947264 9143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 867136
[startup+25.5018 s]
/proc/loadavg: 5.65 6.62 7.85 3/112 28197
/proc/meminfo: memFree=1873268/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867136 CPUtime=13.42
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 10036 0 1 0 1302 40 0 0 18 0 9 0 75365361 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216784 9201 2634 9 0 211290 0
[pid=28184/tid=28188] ppid=28182 vsize=867136 CPUtime=13.14
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7459 0 1 0 1278 36 0 0 25 0 9 0 75366402 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4126811085 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867136 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28194] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28194/stat : 28194 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28195] ppid=28182 vsize=867136 CPUtime=0.18
/proc/28184/task/28195/stat : 28195 (java) S 28182 28184 27443 0 -1 64 507 0 0 0 18 0 0 0 16 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28196] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28196/stat : 28196 (java) S 28182 28184 27443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28197] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28197/stat : 28197 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 867136
Solver just ended. Dumping a history of the last processes samples
[startup+27.1021 s]
/proc/loadavg: 5.36 6.54 7.81 3/112 28197
/proc/meminfo: memFree=1873268/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867136 CPUtime=15.01
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 10036 0 1 0 1457 44 0 0 18 0 9 0 75365361 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216784 9201 2634 9 0 211290 0
[pid=28184/tid=28188] ppid=28182 vsize=867136 CPUtime=14.74
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7459 0 1 0 1434 40 0 0 25 0 9 0 75366402 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4126809496 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867136 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28194] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28194/stat : 28194 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28195] ppid=28182 vsize=867136 CPUtime=0.18
/proc/28184/task/28195/stat : 28195 (java) S 28182 28184 27443 0 -1 64 507 0 0 0 18 0 0 0 16 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28196] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28196/stat : 28196 (java) S 28182 28184 27443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28197] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28197/stat : 28197 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.01
Current children cumulated vsize (KiB) 867136
[startup+27.9022 s]
/proc/loadavg: 5.36 6.54 7.81 3/112 28197
/proc/meminfo: memFree=1873268/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867136 CPUtime=15.81
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 10036 0 1 0 1535 46 0 0 18 0 9 0 75365361 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216784 9201 2634 9 0 211290 0
[pid=28184/tid=28188] ppid=28182 vsize=867136 CPUtime=15.53
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7459 0 1 0 1511 42 0 0 25 0 9 0 75366402 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4126817463 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867136 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28194] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28194/stat : 28194 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28195] ppid=28182 vsize=867136 CPUtime=0.18
/proc/28184/task/28195/stat : 28195 (java) S 28182 28184 27443 0 -1 64 507 0 0 0 18 0 0 0 16 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28196] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28196/stat : 28196 (java) S 28182 28184 27443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28197] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28197/stat : 28197 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 867136
[startup+28.1023 s]
/proc/loadavg: 5.36 6.54 7.81 3/112 28197
/proc/meminfo: memFree=1873268/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867136 CPUtime=16
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 10036 0 1 0 1554 46 0 0 18 0 9 0 75365361 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216784 9201 2634 9 0 211290 0
[pid=28184/tid=28188] ppid=28182 vsize=867136 CPUtime=15.73
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7459 0 1 0 1531 42 0 0 25 0 9 0 75366402 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4125960885 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867136 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28194] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28194/stat : 28194 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28195] ppid=28182 vsize=867136 CPUtime=0.18
/proc/28184/task/28195/stat : 28195 (java) S 28182 28184 27443 0 -1 64 507 0 0 0 18 0 0 0 16 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28196] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28196/stat : 28196 (java) S 28182 28184 27443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28197] ppid=28182 vsize=867136 CPUtime=0
/proc/28184/task/28197/stat : 28197 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75366564 887947264 9201 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16
Current children cumulated vsize (KiB) 867136
[startup+28.2023 s]
/proc/loadavg: 5.36 6.54 7.81 3/112 28197
/proc/meminfo: memFree=1873268/2055920 swapFree=4152088/4192956
[pid=28184] ppid=28182 vsize=867140 CPUtime=16.11
/proc/28184/stat : 28184 (java) S 28182 28184 27443 0 -1 0 10443 0 1 0 1564 47 0 0 18 0 9 0 75365361 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28184/statm: 216785 9608 2635 9 0 211291 0
[pid=28184/tid=28188] ppid=28182 vsize=867140 CPUtime=15.81
/proc/28184/task/28188/stat : 28188 (java) R 28182 28184 27443 0 -1 64 7857 0 1 0 1538 43 0 0 25 0 9 0 75366402 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28191] ppid=28182 vsize=867140 CPUtime=0.04
/proc/28184/task/28191/stat : 28191 (java) S 28182 28184 27443 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75366546 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28192] ppid=28182 vsize=867140 CPUtime=0
/proc/28184/task/28192/stat : 28192 (java) S 28182 28184 27443 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75366547 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28193] ppid=28182 vsize=867140 CPUtime=0
/proc/28184/task/28193/stat : 28193 (java) S 28182 28184 27443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75366547 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28194] ppid=28182 vsize=867140 CPUtime=0
/proc/28184/task/28194/stat : 28194 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75366564 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28195] ppid=28182 vsize=867140 CPUtime=0.2
/proc/28184/task/28195/stat : 28195 (java) S 28182 28184 27443 0 -1 64 516 0 0 0 20 0 0 0 16 0 9 0 75366564 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28184/tid=28196] ppid=28182 vsize=867140 CPUtime=0
/proc/28184/task/28196/stat : 28196 (java) S 28182 28184 27443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75366564 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28184/tid=28197] ppid=28182 vsize=867140 CPUtime=0
/proc/28184/task/28197/stat : 28197 (java) S 28182 28184 27443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75366564 887951360 9608 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (KiB) 867140
Child status: 0
Real time (s): 28.2548
CPU time (s): 16.1405
CPU user time (s): 15.6606
CPU system time (s): 0.479927
CPU usage (%): 57.1251
Max. virtual memory (cumulated for all children) (KiB): 867140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6606
system time used= 0.479927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10633
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= 1441
involuntary context switches= 1441
runsolver used 0.057991 second user time and 0.170974 second system time
The end