0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.17/0.27
0.17/0.27 configuration
0.17/0.27 name=mrdac-ddeg.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-1127130-1216187993.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.38
0.27/0.38 variables being loaded...
0.36/0.42 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.36/0.42 => wckTime=0.141 cpuTime=0.1 mem=7M908
0.36/0.42
0.36/0.42 relations being loaded...
0.36/0.42
0.36/0.42 constraints being loaded...
0.56/0.67 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.56/0.67 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.56/0.67 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.56/0.67 => wckTime=0.393 cpuTime=0.28 mem=14M806
0.65/0.73
0.65/0.73 solver LocalSearchSolver being built...
0.65/0.77 => wckTime=0.497 cpuTime=0.31 mem=6M521
0.65/0.78
0.65/0.78 s SATISFIABLE
0.65/0.78 o 37
0.65/0.78 o 34
0.65/0.78 o 32
0.65/0.79 o 30
0.65/0.79 o 28
0.65/0.79 o 27
0.65/0.79 o 26
0.65/0.79 o 25
0.65/0.79 o 24
0.65/0.79 o 23
0.65/0.79 o 22
0.65/0.79 o 21
0.76/0.80 o 20
0.76/0.80 o 19
0.76/0.80 o 18
0.76/0.80 o 17
0.76/0.80 o 16
0.76/0.80 o 15
0.76/0.81 o 13
0.76/0.82 o 12
0.76/0.82 o 11
0.76/0.82 o 10
0.76/0.82 o 9
0.76/0.82 o 8
0.76/0.83 o 4
0.76/0.83 o 3
0.76/0.84 o 2
0.76/0.87 o 1
0.86/0.93 o 0
0.86/0.93 First solution found
17.08/17.27
17.08/17.27 search
17.08/17.27 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.08/17.27 => wckTime=16.501 cpuTime=16.38 mem=7M562
17.08/17.27
17.08/17.27 search
17.08/17.27 run=0 nbConstraintChecks=115474934 nbAssignments=10000
17.08/17.27 => wckTime=16.501 cpuTime=16.38 mem=7M562
17.08/17.27
17.08/17.27 global
17.08/17.27 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.08/17.27 solvingWckTime=16.499 solvingCpuTime=16.38 expiredTime=no totalExploration=yes nbFoundSolutions=2212
17.08/17.27 firstSolutionCpuTime=0.46 globalCpuTime=16.74
17.08/17.27 => wckTime=16.999 cpuTime=16.69 mem=7M562
17.08/17.27
17.08/17.27 solver DecomposerSolver being built...
17.17/17.38 => wckTime=17.104 cpuTime=16.78 mem=17M608
17.17/17.38 C50(V0,V75)
17.17/17.38 C50(V0,V75)
17.17/17.38 C101(V1,V75)
17.17/17.38 C101(V1,V75)
17.17/17.38 C152(V2,V75)
17.17/17.38 C152(V2,V75)
17.17/17.38 C203(V3,V75)
17.17/17.38 C203(V3,V75)
17.17/17.38 C254(V4,V75)
17.17/17.38 C254(V4,V75)
17.17/17.38 C305(V5,V75)
17.17/17.38 C305(V5,V75)
17.17/17.38 C356(V6,V75)
17.17/17.38 C356(V6,V75)
17.17/17.38 C407(V7,V75)
17.17/17.38 C407(V7,V75)
17.17/17.39 C458(V8,V75)
17.17/17.39 C458(V8,V75)
17.17/17.39 C509(V9,V75)
17.17/17.39 C509(V9,V75)
17.17/17.39 C610(V11,V75)
17.17/17.39 C610(V11,V75)
17.17/17.39 C661(V12,V75)
17.17/17.39 C661(V12,V75)
17.17/17.39 C712(V13,V75)
17.17/17.39 C712(V13,V75)
17.17/17.39 C763(V14,V75)
17.17/17.39 C763(V14,V75)
17.17/17.39 C814(V15,V75)
17.17/17.39 C814(V15,V75)
17.17/17.39 C865(V16,V75)
17.17/17.39 C865(V16,V75)
17.17/17.39 C916(V17,V75)
17.17/17.39 C916(V17,V75)
17.17/17.39 C967(V18,V75)
17.17/17.39 C967(V18,V75)
17.17/17.39 C1018(V19,V75)
17.17/17.39 C1018(V19,V75)
17.17/17.39 C1069(V20,V75)
17.17/17.39 C1069(V20,V75)
17.17/17.39 C1120(V21,V75)
17.17/17.39 C1120(V21,V75)
17.17/17.39 C1171(V22,V75)
17.17/17.39 C1171(V22,V75)
17.17/17.39 C1222(V23,V75)
17.17/17.39 C1222(V23,V75)
17.17/17.39 C1273(V24,V75)
17.17/17.39 C1273(V24,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.39 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40 C1274(V47,V75)
17.17/17.40
17.17/17.40 preprocessing
17.17/17.40 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.17/17.40 detectedInconsistency=yes
17.17/17.40 => wckTime=0.018 cpuTime=0.0 mem=17M608
17.27/17.40
17.27/17.40 global
17.27/17.40 nbConstraintChecks=73 solvingWckTime=0.021 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
17.27/17.40 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.84
17.27/17.40 => wckTime=17.126 cpuTime=16.79 mem=18M616
17.27/17.40
17.27/17.40 s OPTIMUM FOUND
17.27/17.40 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.27/17.40 d NODES 0
17.27/17.40 d CHECKS 73
17.27/17.40
17.27/17.40 totalWckTime=17.197 totalCpuTime=16.84
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127130-1216187993/watcher-1127130-1216187993 -o /tmp/evaluation-result-1127130-1216187993/solver-1127130-1216187993 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1127130-1216187993.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: 3.38 2.69 2.26 4/81 696
/proc/meminfo: memFree=1925552/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=18572 CPUtime=0
/proc/696/stat : 696 (runsolver) R 694 696 31962 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 75497775 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/696/statm: 4643 292 257 25 0 2626 0
[startup+0.067903 s]
/proc/loadavg: 3.38 2.69 2.26 4/81 696
/proc/meminfo: memFree=1925552/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=865856 CPUtime=0.05
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 2955 0 1 0 4 1 0 0 18 0 9 0 75497775 886636544 2481 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216464 2481 1223 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.10191 s]
/proc/loadavg: 3.38 2.69 2.26 4/81 696
/proc/meminfo: memFree=1925552/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=865988 CPUtime=0.09
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 3704 0 1 0 7 2 0 0 18 0 9 0 75497775 886771712 3179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216497 3179 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.30195 s]
/proc/loadavg: 3.38 2.69 2.26 4/81 696
/proc/meminfo: memFree=1925552/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=866280 CPUtime=0.27
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 5597 0 2 0 23 4 0 0 18 0 9 0 75497775 887070720 5019 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216570 5019 1889 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866280
[startup+0.702028 s]
/proc/loadavg: 3.38 2.69 2.26 4/81 696
/proc/meminfo: memFree=1925552/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867040 CPUtime=0.65
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 8777 0 2 0 59 6 0 0 18 0 9 0 75497775 887848960 8079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216760 8079 2090 9 0 211288 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 867040
[startup+1.50117 s]
/proc/loadavg: 3.38 2.69 2.26 3/90 705
/proc/meminfo: memFree=1898280/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=1.44
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10024 0 2 0 136 8 0 0 18 0 9 0 75497775 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9192 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=1.21
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7454 0 2 0 114 7 0 0 25 0 9 0 75497776 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126810720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.17
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 500 0 0 0 17 0 0 0 15 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.44
Current children cumulated vsize (KiB) 867128
[startup+3.10248 s]
/proc/loadavg: 3.38 2.69 2.26 3/90 705
/proc/meminfo: memFree=1898088/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=3.04
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10025 0 2 0 293 11 0 0 18 0 9 0 75497775 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9192 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=2.8
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7455 0 2 0 271 9 0 0 25 0 9 0 75497776 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4126809177 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.17
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 500 0 0 0 17 0 0 0 17 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.04
Current children cumulated vsize (KiB) 867128
[startup+6.30109 s]
/proc/loadavg: 3.27 2.68 2.26 3/90 705
/proc/meminfo: memFree=1897896/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=6.23
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10030 0 2 0 605 18 0 0 18 0 9 0 75497775 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9196 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=5.97
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7456 0 2 0 581 16 0 0 25 0 9 0 75497776 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4126810618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.18
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 504 0 0 0 18 0 0 0 15 0 9 0 75497780 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.7013 s]
/proc/loadavg: 3.17 2.67 2.26 3/90 705
/proc/meminfo: memFree=1897960/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=12.59
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10033 0 2 0 1226 33 0 0 18 0 9 0 75497775 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9199 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=12.34
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7456 0 2 0 1203 31 0 0 25 0 9 0 75497776 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126809246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.19
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.59
Current children cumulated vsize (KiB) 867128
Solver just ended. Dumping a history of the last processes samples
[startup+15.9019 s]
/proc/loadavg: 3.07 2.66 2.26 3/90 705
/proc/meminfo: memFree=1898024/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=15.77
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10033 0 2 0 1537 40 0 0 18 0 9 0 75497775 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9199 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=15.52
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7456 0 2 0 1514 38 0 0 25 0 9 0 75497776 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126810618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.19
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.77
Current children cumulated vsize (KiB) 867128
[startup+16.7011 s]
/proc/loadavg: 3.07 2.66 2.26 3/90 705
/proc/meminfo: memFree=1898088/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=16.57
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10033 0 2 0 1615 42 0 0 18 0 9 0 75497775 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9199 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=16.31
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7456 0 2 0 1591 40 0 0 25 0 9 0 75497776 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126810720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.19
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.57
Current children cumulated vsize (KiB) 867128
[startup+17.1012 s]
/proc/loadavg: 3.07 2.66 2.26 3/90 705
/proc/meminfo: memFree=1898088/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=16.97
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10033 0 2 0 1654 43 0 0 18 0 9 0 75497775 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9199 2634 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=16.71
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7456 0 2 0 1630 41 0 0 25 0 9 0 75497776 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4126810631 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.19
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 507 0 0 0 19 0 0 0 16 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9199 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 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.97
Current children cumulated vsize (KiB) 867128
[startup+17.3012 s]
/proc/loadavg: 3.07 2.66 2.26 3/90 705
/proc/meminfo: memFree=1898088/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=17.17
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10054 0 2 0 1673 44 0 0 18 0 9 0 75497775 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9220 2635 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=16.91
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7475 0 2 0 1649 42 0 0 25 0 9 0 75497776 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 102317192 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.19
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 509 0 0 0 19 0 0 0 16 0 9 0 75497780 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 887939072 9220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.17
Current children cumulated vsize (KiB) 867128
[startup+17.4022 s]
/proc/loadavg: 3.07 2.66 2.26 3/90 705
/proc/meminfo: memFree=1898088/2055920 swapFree=4192812/4192956
[pid=696] ppid=694 vsize=867128 CPUtime=17.27
/proc/696/stat : 696 (java) S 694 696 31962 0 -1 0 10448 0 2 0 1683 44 0 0 18 0 9 0 75497775 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/696/statm: 216782 9614 2635 9 0 211288 0
[pid=696/tid=698] ppid=694 vsize=867128 CPUtime=16.99
/proc/696/task/698/stat : 698 (java) R 694 696 31962 0 -1 64 7861 0 2 0 1657 42 0 0 25 0 9 0 75497776 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4125978068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=699] ppid=694 vsize=867128 CPUtime=0.04
/proc/696/task/699/stat : 699 (java) S 694 696 31962 0 -1 64 1373 0 0 0 4 0 0 0 16 0 9 0 75497778 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=700] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/700/stat : 700 (java) S 694 696 31962 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75497778 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=701] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/701/stat : 701 (java) S 694 696 31962 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75497778 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=702] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/702/stat : 702 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75497780 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=703] ppid=694 vsize=867128 CPUtime=0.21
/proc/696/task/703/stat : 703 (java) S 694 696 31962 0 -1 64 517 0 0 0 21 0 0 0 16 0 9 0 75497780 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=704] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/704/stat : 704 (java) S 694 696 31962 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75497780 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=696/tid=705] ppid=694 vsize=867128 CPUtime=0
/proc/696/task/705/stat : 705 (java) S 694 696 31962 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75497780 887939072 9614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (KiB) 867128
Child status: 0
Real time (s): 17.4454
CPU time (s): 17.2914
CPU user time (s): 16.8394
CPU system time (s): 0.451931
CPU usage (%): 99.1169
Max. virtual memory (cumulated for all children) (KiB): 867132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8394
system time used= 0.451931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10624
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1504
involuntary context switches= 2214
runsolver used 0.029995 second user time and 0.067989 second system time
The end