Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|
AbsconMax 112 pc-w | OPTIMUM | 1 | 30.9193 | 31.2904 |
Diagnostic | Value |
---|---|
CHECKS | 11455 |
NODES | 782 |
Name | csp/aim-50/ normalized-aim-50-1-6-unsat-3_ext.xml |
MD5SUM | d0530cdd76a12b03ca0a89ef830970a7 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.06399 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 70 |
Maximum constraint arity | 3 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 70 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.08 0.00/0.08 Abscon 112 (May, 2008) 0.19/0.23 0.19/0.23 configuration 0.19/0.23 name=mrdac-wdeg.xml 0.29/0.31 0.29/0.31 instance 0.29/0.31 name=HOME/instance-1111157-1215841981.xml 0.29/0.35 0.29/0.35 domains being loaded... 0.29/0.36 0.29/0.36 variables being loaded... 0.29/0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=100 0.29/0.39 => wckTime=0.149 cpuTime=0.11 mem=6M867 0.29/0.39 0.29/0.39 relations being loaded... 0.29/0.39 0.29/0.39 constraints being loaded... 0.39/0.48 nbConstraints=70 nbRelationTypes=16 nbExtensionStructures=16 nbSharedExtensionStructures=54 0.39/0.48 nbConflictsStructures=16 nbSharedConflictsStructures=54 nbSharedBinaryRepresentations=2 minDegree=2 maxDegree=7 0.39/0.48 minArity=2 avgArity=2.99 maxArity=3 0.39/0.48 => wckTime=0.246 cpuTime=0.17 mem=9M831 0.49/0.53 0.49/0.53 solver LocalSearchSolver being built... 0.49/0.57 => wckTime=0.336 cpuTime=0.21 mem=5M455 0.49/0.58 0.49/0.58 s SATISFIABLE 0.49/0.58 o 6 0.49/0.58 o 5 0.49/0.58 o 4 0.49/0.58 o 3 0.49/0.58 o 2 0.49/0.59 o 1 1.17/1.27 1.17/1.27 search 1.17/1.27 run=0 nbConstraintChecks=599974 nbAssignments=10000 1.17/1.27 => wckTime=0.699 cpuTime=0.66 mem=6M446 1.87/1.93 1.87/1.93 search 1.87/1.93 run=1 nbConstraintChecks=1226690 nbAssignments=20000 1.87/1.93 => wckTime=1.359 cpuTime=1.32 mem=6M446 2.46/2.57 2.46/2.57 search 2.46/2.57 run=2 nbConstraintChecks=1801313 nbAssignments=30000 2.46/2.57 => wckTime=2.001 cpuTime=1.95 mem=6M446 3.16/3.21 3.16/3.21 search 3.16/3.21 run=3 nbConstraintChecks=2391181 nbAssignments=40000 3.16/3.21 => wckTime=2.64 cpuTime=2.58 mem=6M446 3.75/3.85 3.75/3.85 search 3.75/3.85 run=4 nbConstraintChecks=3004237 nbAssignments=50000 3.75/3.85 => wckTime=3.283 cpuTime=3.22 mem=6M446 4.44/4.50 4.44/4.50 search 4.44/4.50 run=5 nbConstraintChecks=3633271 nbAssignments=60000 4.44/4.50 => wckTime=3.933 cpuTime=3.87 mem=6M446 5.03/5.14 5.03/5.14 search 5.03/5.14 run=6 nbConstraintChecks=4217689 nbAssignments=70000 5.03/5.14 => wckTime=4.566 cpuTime=4.5 mem=6M446 5.63/5.79 5.63/5.79 search 5.63/5.79 run=7 nbConstraintChecks=4839083 nbAssignments=80000 5.63/5.79 => wckTime=5.216 cpuTime=5.14 mem=6M446 6.33/6.42 6.33/6.42 search 6.33/6.42 run=8 nbConstraintChecks=5432709 nbAssignments=90000 6.33/6.42 => wckTime=5.853 cpuTime=5.77 mem=6M446 6.91/7.08 6.91/7.08 search 6.91/7.08 run=9 nbConstraintChecks=6063380 nbAssignments=100000 6.91/7.08 => wckTime=6.505 cpuTime=6.41 mem=6M446 7.62/7.72 7.62/7.72 search 7.62/7.72 run=10 nbConstraintChecks=6663634 nbAssignments=110000 7.62/7.72 => wckTime=7.151 cpuTime=7.04 mem=6M446 8.21/8.36 8.21/8.36 search 8.21/8.36 run=11 nbConstraintChecks=7275740 nbAssignments=120000 8.21/8.36 => wckTime=7.791 cpuTime=7.69 mem=6M446 8.89/9.01 8.89/9.01 search 8.89/9.01 run=12 nbConstraintChecks=7858195 nbAssignments=130000 8.89/9.01 => wckTime=8.435 cpuTime=8.32 mem=6M446 9.49/9.65 9.49/9.65 search 9.49/9.65 run=13 nbConstraintChecks=8490595 nbAssignments=140000 9.49/9.65 => wckTime=9.078 cpuTime=8.96 mem=6M446 10.08/10.29 10.08/10.29 search 10.08/10.29 run=14 nbConstraintChecks=9079815 nbAssignments=150000 10.08/10.30 => wckTime=9.723 cpuTime=9.6 mem=6M446 10.78/10.94 10.78/10.94 search 10.78/10.94 run=15 nbConstraintChecks=9700589 nbAssignments=160000 10.78/10.94 => wckTime=10.371 cpuTime=10.24 mem=6M446 11.37/11.58 11.37/11.58 search 11.37/11.58 run=16 nbConstraintChecks=10274665 nbAssignments=170000 11.37/11.58 => wckTime=11.009 cpuTime=10.87 mem=6M446 12.07/12.23 12.07/12.23 search 12.07/12.23 run=17 nbConstraintChecks=10907398 nbAssignments=180000 12.07/12.23 => wckTime=11.658 cpuTime=11.51 mem=6M446 12.67/12.86 12.67/12.86 search 12.67/12.86 run=18 nbConstraintChecks=11501657 nbAssignments=190000 12.67/12.86 => wckTime=12.29 cpuTime=12.14 mem=6M446 13.35/13.51 13.35/13.51 search 13.35/13.51 run=19 nbConstraintChecks=12120091 nbAssignments=200000 13.35/13.51 => wckTime=12.936 cpuTime=12.78 mem=6M446 13.95/14.14 13.95/14.14 search 13.95/14.14 run=20 nbConstraintChecks=12735236 nbAssignments=210000 13.95/14.14 => wckTime=13.573 cpuTime=13.42 mem=6M446 14.54/14.79 14.54/14.79 search 14.54/14.79 run=21 nbConstraintChecks=13367229 nbAssignments=220000 14.54/14.79 => wckTime=14.221 cpuTime=14.05 mem=6M446 15.24/15.44 15.24/15.44 search 15.24/15.44 run=22 nbConstraintChecks=13973239 nbAssignments=230000 15.24/15.44 => wckTime=14.864 cpuTime=14.68 mem=6M446 15.83/16.07 15.83/16.07 search 15.83/16.07 run=23 nbConstraintChecks=14605314 nbAssignments=240000 15.83/16.07 => wckTime=15.501 cpuTime=15.32 mem=6M446 16.52/16.71 16.52/16.71 search 16.52/16.71 run=24 nbConstraintChecks=15177835 nbAssignments=250000 16.52/16.71 => wckTime=16.14 cpuTime=15.94 mem=6M446 17.12/17.35 17.12/17.35 search 17.12/17.35 run=25 nbConstraintChecks=15796091 nbAssignments=260000 17.12/17.35 => wckTime=16.776 cpuTime=16.59 mem=6M446 17.71/17.99 17.71/17.99 search 17.71/17.99 run=26 nbConstraintChecks=16387517 nbAssignments=270000 17.71/17.99 => wckTime=17.418 cpuTime=17.22 mem=6M446 18.40/18.63 18.40/18.63 search 18.40/18.63 run=27 nbConstraintChecks=17004995 nbAssignments=280000 18.40/18.63 => wckTime=18.059 cpuTime=17.85 mem=6M446 19.00/19.27 19.00/19.27 search 19.00/19.27 run=28 nbConstraintChecks=17601868 nbAssignments=290000 19.00/19.27 => wckTime=18.697 cpuTime=18.48 mem=6M446 19.70/19.92 19.70/19.92 search 19.70/19.92 run=29 nbConstraintChecks=18240171 nbAssignments=300000 19.70/19.92 => wckTime=19.347 cpuTime=19.12 mem=6M446 20.29/20.55 20.29/20.55 search 20.29/20.55 run=30 nbConstraintChecks=18815813 nbAssignments=310000 20.29/20.55 => wckTime=19.983 cpuTime=19.76 mem=6M446 20.98/21.20 20.98/21.21 search 20.98/21.21 run=31 nbConstraintChecks=19455034 nbAssignments=320000 20.98/21.21 => wckTime=20.634 cpuTime=20.39 mem=6M446 21.57/21.84 21.57/21.84 search 21.57/21.84 run=32 nbConstraintChecks=20029600 nbAssignments=330000 21.57/21.84 => wckTime=21.27 cpuTime=21.03 mem=6M446 22.16/22.49 22.16/22.49 search 22.16/22.49 run=33 nbConstraintChecks=20638727 nbAssignments=340000 22.16/22.49 => wckTime=21.921 cpuTime=21.67 mem=6M446 22.87/23.14 22.87/23.14 search 22.87/23.14 run=34 nbConstraintChecks=21241308 nbAssignments=350000 22.87/23.14 => wckTime=22.57 cpuTime=22.31 mem=6M446 23.45/23.78 23.45/23.78 search 23.45/23.78 run=35 nbConstraintChecks=21836570 nbAssignments=360000 23.45/23.78 => wckTime=23.208 cpuTime=22.94 mem=6M446 24.15/24.43 24.15/24.43 search 24.15/24.43 run=36 nbConstraintChecks=22422626 nbAssignments=370000 24.15/24.43 => wckTime=23.856 cpuTime=23.58 mem=6M446 24.74/25.07 24.74/25.07 search 24.74/25.07 run=37 nbConstraintChecks=23045406 nbAssignments=380000 24.74/25.07 => wckTime=24.499 cpuTime=24.23 mem=6M446 25.44/25.72 25.44/25.72 search 25.44/25.72 run=38 nbConstraintChecks=23632592 nbAssignments=390000 25.44/25.72 => wckTime=25.148 cpuTime=24.86 mem=6M446 26.03/26.36 26.03/26.36 search 26.03/26.36 run=39 nbConstraintChecks=24236956 nbAssignments=400000 26.03/26.36 => wckTime=25.793 cpuTime=25.5 mem=6M446 26.72/27.01 26.72/27.01 search 26.72/27.01 run=40 nbConstraintChecks=24833597 nbAssignments=410000 26.72/27.01 => wckTime=26.438 cpuTime=26.15 mem=6M446 27.32/27.66 27.32/27.66 search 27.32/27.66 run=41 nbConstraintChecks=25431888 nbAssignments=420000 27.32/27.66 => wckTime=27.088 cpuTime=26.78 mem=6M446 28.01/28.30 28.01/28.30 search 28.01/28.30 run=42 nbConstraintChecks=26018187 nbAssignments=430000 28.01/28.30 => wckTime=27.727 cpuTime=27.42 mem=6M446 28.61/28.95 28.61/28.95 search 28.61/28.95 run=43 nbConstraintChecks=26655029 nbAssignments=440000 28.61/28.95 => wckTime=28.382 cpuTime=28.07 mem=6M446 29.30/29.60 29.30/29.60 search 29.30/29.60 run=44 nbConstraintChecks=27271601 nbAssignments=450000 29.30/29.60 => wckTime=29.029 cpuTime=28.71 mem=6M446 29.89/30.25 29.89/30.25 search 29.89/30.25 run=45 nbConstraintChecks=27902560 nbAssignments=460000 29.89/30.25 => wckTime=29.679 cpuTime=29.35 mem=6M446 30.48/30.90 30.48/30.90 search 30.48/30.90 run=46 nbConstraintChecks=28500316 nbAssignments=470000 30.48/30.90 => wckTime=30.328 cpuTime=30.0 mem=6M446 30.59/30.93 30.59/30.93 search 30.59/30.93 run=47 nbConstraintChecks=28526570 nbAssignments=470451 30.59/30.93 => wckTime=30.359 cpuTime=30.02 mem=6M446 30.59/30.93 30.59/30.93 global 30.59/30.93 nbConstraintChecks=28526570 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 30.59/30.93 solvingWckTime=30.357 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0 30.59/30.93 globalCpuTime=30.3 30.59/30.93 => wckTime=30.695 cpuTime=30.24 mem=6M446 30.59/30.93 30.59/30.93 solver DecomposerSolver being built... 30.68/31.05 => wckTime=30.814 cpuTime=30.33 mem=17M325 30.68/31.05 30.68/31.05 preprocessing 30.68/31.05 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 30.68/31.05 detectedInconsistency=no 30.68/31.05 => wckTime=0.0030 cpuTime=0.0 mem=17M325 30.68/31.07 C0(V8,V26) 30.68/31.07 C0(V8,V26) 30.68/31.08 C0(V8,V26) 30.68/31.08 C0(V8,V26) 30.68/31.08 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.68/31.09 C0(V8,V26) 30.79/31.10 C0(V8,V26) 30.79/31.10 C0(V8,V26) 30.79/31.10 C0(V8,V26) 30.79/31.10 C0(V8,V26) 30.79/31.10 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.11 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.12 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.13 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.14 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.15 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.16 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.17 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.18 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.19 C0(V8,V26) 30.79/31.20 C0(V8,V26) 30.79/31.20 C0(V8,V26) 30.79/31.20 C0(V8,V26) 30.79/31.20 C0(V8,V26) 30.88/31.20 C0(V8,V26) 30.88/31.20 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.21 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 C0(V8,V26) 30.88/31.22 30.88/31.22 search 30.88/31.22 run=0 nbConstraintChecks=11455 nbValidityChecks=34015 minDepth=0 maxDepth=42 nbPropagations=0 nbRevisions=0 30.88/31.23 nbUselessRevisions=0 nbAssignments=782 nbFailedAssignments=119 nbBacktracks=664 nbVisitedNodes=1155 30.88/31.23 => wckTime=0.172 cpuTime=0.11 mem=19M308 30.88/31.23 30.88/31.23 global 30.88/31.23 nbConstraintChecks=11455 nbValidityChecks=34015 solvingWckTime=0.175 solvingCpuTime=0.11 expiredTime=no 30.88/31.23 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 30.88/31.23 globalCpuTime=30.51 30.88/31.23 => wckTime=30.99 cpuTime=30.45 mem=19M308 30.88/31.23 30.88/31.23 s OPTIMUM FOUND 30.88/31.23 v 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 30.88/31.23 d NODES 782 30.88/31.23 d CHECKS 11455 30.88/31.23 30.88/31.23 totalWckTime=31.047 totalCpuTime=30.52
OK 1 69 1 unsatisfied constraints, 69 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111157-1215841981/watcher-1111157-1215841981 -o /tmp/evaluation-result-1111157-1215841981/solver-1111157-1215841981 -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-1111157-1215841981.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.05 2.03 2.01 4/81 17598 /proc/meminfo: memFree=1654216/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=10616 CPUtime=0 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 40896009 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 2654 472 209 9 0 1184 0 [pid=17598/tid=17599] ppid=17596 vsize=10616 CPUtime=0 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 40896010 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 12799960 0 0 4096 0 0 0 0 -1 1 0 0 [startup+0.11569 s] /proc/loadavg: 2.05 2.03 2.01 4/81 17598 /proc/meminfo: memFree=1654216/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=865984 CPUtime=0.09 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 3964 0 1 0 7 2 0 0 18 0 9 0 40896009 886767616 3405 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216496 3405 1775 9 0 211051 0 [pid=17598/tid=17599] ppid=17596 vsize=865984 CPUtime=0.09 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 3062 0 1 0 7 2 0 0 18 0 9 0 40896010 886767616 3405 996147200 134512640 134550740 4294955952 18446744073709551615 102879600 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 865984 [startup+0.2027 s] /proc/loadavg: 2.05 2.03 2.01 4/81 17598 /proc/meminfo: memFree=1654216/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866012 CPUtime=0.19 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 4739 0 1 0 15 4 0 0 18 0 9 0 40896009 886796288 4167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216503 4167 1854 9 0 211051 0 [pid=17598/tid=17599] ppid=17596 vsize=866012 CPUtime=0.17 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 3837 0 1 0 14 3 0 0 18 0 9 0 40896010 886796288 4167 996147200 134512640 134550740 4294955952 18446744073709551615 102895262 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 866012 [startup+0.302708 s] /proc/loadavg: 2.05 2.03 2.01 4/81 17598 /proc/meminfo: memFree=1654216/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866156 CPUtime=0.29 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 5624 0 1 0 25 4 0 0 18 0 9 0 40896009 886943744 5039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216539 5039 1906 9 0 211087 0 [pid=17598/tid=17599] ppid=17596 vsize=866156 CPUtime=0.24 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 4670 0 1 0 21 3 0 0 19 0 9 0 40896010 886943744 5039 996147200 134512640 134550740 4294955952 18446744073709551615 11952932 0 2147483391 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 866156 [startup+0.702735 s] /proc/loadavg: 2.05 2.03 2.01 4/81 17598 /proc/meminfo: memFree=1654216/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=0.68 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8337 0 1 0 56 12 0 0 18 0 9 0 40896009 887406592 7504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7504 2632 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=0.54 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6217 0 1 0 43 11 0 0 22 0 9 0 40896010 887406592 7504 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 866608 [startup+1.5018 s] /proc/loadavg: 2.05 2.03 2.01 3/90 17607 /proc/meminfo: memFree=1634368/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866612 CPUtime=1.47 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8346 0 1 0 91 56 0 0 18 0 9 0 40896009 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216653 7513 2633 9 0 211159 0 [pid=17598/tid=17599] ppid=17596 vsize=866612 CPUtime=1.31 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6217 0 1 0 76 55 0 0 25 0 9 0 40896010 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866612 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866612 CPUtime=0.11 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 318 0 0 0 11 0 0 0 16 0 9 0 40896013 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887410688 7513 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) 866612 [startup+3.10193 s] /proc/loadavg: 2.05 2.03 2.01 3/90 17607 /proc/meminfo: memFree=1634176/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866612 CPUtime=3.06 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8347 0 1 0 155 151 0 0 18 0 9 0 40896009 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216653 7513 2633 9 0 211159 0 [pid=17598/tid=17599] ppid=17596 vsize=866612 CPUtime=2.89 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6218 0 1 0 140 149 0 0 25 0 9 0 40896010 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866612 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866612 CPUtime=0.11 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 318 0 0 0 11 0 0 0 16 0 9 0 40896013 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887410688 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887410688 7513 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) 866612 [startup+6.30218 s] /proc/loadavg: 2.04 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1634048/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=6.23 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8348 0 1 0 277 346 0 0 18 0 9 0 40896009 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7513 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=6.06 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 262 344 0 0 25 0 9 0 40896010 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.11 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 318 0 0 0 11 0 0 0 16 0 9 0 40896013 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7513 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) 866608 [startup+12.7017 s] /proc/loadavg: 2.04 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633920/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=12.56 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8350 0 1 0 526 730 0 0 18 0 9 0 40896009 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7515 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=12.4 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 511 729 0 0 25 0 9 0 40896010 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4126648692 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.11 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 320 0 0 0 11 0 0 0 16 0 9 0 40896013 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7515 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) 866608 [startup+25.5027 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633856/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=25.23 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8355 0 1 0 1027 1496 0 0 18 0 9 0 40896009 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7520 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=25.06 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 1011 1495 0 0 25 0 9 0 40896010 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.12 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 325 0 0 0 12 0 0 0 16 0 9 0 40896013 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 866608 Solver just ended. Dumping a history of the last processes samples [startup+25.6027 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633856/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=25.34 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8355 0 1 0 1031 1503 0 0 18 0 9 0 40896009 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7520 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=25.16 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 1015 1501 0 0 25 0 9 0 40896010 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.12 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 325 0 0 0 12 0 0 0 16 0 9 0 40896013 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 866608 [startup+28.802 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633920/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866612 CPUtime=28.5 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8356 0 1 0 1154 1696 0 0 18 0 9 0 40896009 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216653 7521 2633 9 0 211159 0 [pid=17598/tid=17599] ppid=17596 vsize=866612 CPUtime=28.33 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 1138 1695 0 0 25 0 9 0 40896010 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866612 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866612 CPUtime=0.12 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40896013 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866612 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887410688 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 28.5 Current children cumulated vsize (KiB) 866612 [startup+30.4011 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633920/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=30.09 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8356 0 1 0 1213 1796 0 0 18 0 9 0 40896009 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7521 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=29.91 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 1197 1794 0 0 25 0 9 0 40896010 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.12 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40896013 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.09 Current children cumulated vsize (KiB) 866608 [startup+30.8011 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633920/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=30.48 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 8356 0 1 0 1227 1821 0 0 18 0 9 0 40896009 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 7521 2633 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=30.32 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 6219 0 1 0 1212 1820 0 0 25 0 9 0 40896010 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.12 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 326 0 0 0 12 0 0 0 16 0 9 0 40896013 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 7521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.48 Current children cumulated vsize (KiB) 866608 [startup+31.2022 s] /proc/loadavg: 2.03 2.03 2.00 3/90 17607 /proc/meminfo: memFree=1633920/2055920 swapFree=4180240/4192956 [pid=17598] ppid=17596 vsize=866608 CPUtime=30.88 /proc/17598/stat : 17598 (java) S 17596 17598 17121 0 -1 0 10498 0 1 0 1256 1832 0 0 18 0 9 0 40896009 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17598/statm: 216652 9663 2634 9 0 211158 0 [pid=17598/tid=17599] ppid=17596 vsize=866608 CPUtime=30.64 /proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17121 0 -1 64 8330 0 1 0 1234 1830 0 0 25 0 9 0 40896010 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4126804542 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17601] ppid=17596 vsize=866608 CPUtime=0.03 /proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17121 0 -1 64 1116 0 0 0 3 0 0 0 16 0 9 0 40896011 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17602] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17121 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40896012 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17603] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17121 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40896012 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17604] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40896013 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17605] ppid=17596 vsize=866608 CPUtime=0.18 /proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17121 0 -1 64 357 0 0 0 18 0 0 0 15 0 9 0 40896013 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17606] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17121 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40896014 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17598/tid=17607] ppid=17596 vsize=866608 CPUtime=0 /proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17121 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40896014 887406592 9663 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.88 Current children cumulated vsize (KiB) 866608 Child status: 0 Real time (s): 31.2904 CPU time (s): 30.9193 CPU user time (s): 12.5891 CPU system time (s): 18.3302 CPU usage (%): 98.8141 Max. virtual memory (cumulated for all children) (KiB): 866612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5891 system time used= 18.3302 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10611 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= 1397 involuntary context switches= 3170 runsolver used 0.042993 second user time and 0.133979 second system time The end
Begin job on node69 at 2008-07-12 07:53:01 IDJOB=1111157 IDBENCH=61238 IDSOLVER=359 FILE ID=node69/1111157-1215841981 PBS_JOBID= 7903404 Free space on /tmp= 66476 MiB SOLVER NAME= AbsconMax 112 pc-w BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-1-6-unsat-3_ext.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111157-1215841981/watcher-1111157-1215841981 -o /tmp/evaluation-result-1111157-1215841981/solver-1111157-1215841981 -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-1111157-1215841981.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= d0530cdd76a12b03ca0a89ef830970a7 RANDOM SEED=185106234 node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.233 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.233 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1654696 kB Buffers: 62120 kB Cached: 232160 kB SwapCached: 7572 kB Active: 166512 kB Inactive: 168668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1654696 kB SwapTotal: 4192956 kB SwapFree: 4180240 kB Dirty: 2192 kB Writeback: 0 kB Mapped: 55932 kB Slab: 51028 kB Committed_AS: 238936 kB PageTables: 2004 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66476 MiB End job on node69 at 2008-07-12 07:53:32