Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|
AbsconMax 112 pc-w | OPTIMUM | 1 | 30.8393 | 30.9082 |
Diagnostic | Value |
---|---|
CHECKS | 11415 |
NODES | 742 |
Name | csp/aim-50/ normalized-aim-50-1-6-unsat-1_ext.xml |
MD5SUM | 400def4ba59ef6cf50e61c5b2b757462 |
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.043993 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 69 |
Maximum constraint arity | 3 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 69 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.03/0.09 0.03/0.09 Abscon 112 (May, 2008) 0.19/0.25 0.19/0.25 configuration 0.19/0.25 name=mrdac-wdeg.xml 0.19/0.29 0.19/0.29 instance 0.19/0.29 name=HOME/instance-1111101-1215841817.xml 0.28/0.32 0.28/0.32 domains being loaded... 0.28/0.33 0.28/0.33 variables being loaded... 0.28/0.36 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=100 0.28/0.36 => wckTime=0.107 cpuTime=0.11 mem=6M867 0.28/0.36 0.28/0.36 relations being loaded... 0.28/0.36 0.28/0.36 constraints being loaded... 0.38/0.45 nbConstraints=69 nbRelationTypes=15 nbExtensionStructures=15 nbSharedExtensionStructures=54 0.38/0.45 nbConflictsStructures=15 nbSharedConflictsStructures=54 nbSharedBinaryRepresentations=2 minDegree=2 maxDegree=7 0.38/0.45 minArity=2 avgArity=2.99 maxArity=3 0.38/0.45 => wckTime=0.195 cpuTime=0.17 mem=9M848 0.38/0.49 0.38/0.50 solver LocalSearchSolver being built... 0.48/0.53 => wckTime=0.285 cpuTime=0.21 mem=5M453 0.48/0.54 0.48/0.54 s SATISFIABLE 0.48/0.54 o 3 0.48/0.54 o 2 0.48/0.54 o 1 1.19/1.23 1.19/1.23 search 1.19/1.23 run=0 nbConstraintChecks=982658 nbAssignments=10000 1.19/1.23 => wckTime=0.699 cpuTime=0.68 mem=6M445 1.88/1.92 1.88/1.92 search 1.88/1.92 run=1 nbConstraintChecks=2103816 nbAssignments=20000 1.88/1.92 => wckTime=1.383 cpuTime=1.36 mem=6M445 2.48/2.56 2.48/2.56 search 2.48/2.56 run=2 nbConstraintChecks=3087129 nbAssignments=30000 2.48/2.56 => wckTime=2.028 cpuTime=2.0 mem=6M445 3.18/3.23 3.18/3.23 search 3.18/3.23 run=3 nbConstraintChecks=4190532 nbAssignments=40000 3.18/3.23 => wckTime=2.694 cpuTime=2.67 mem=6M445 3.78/3.88 3.78/3.88 search 3.78/3.88 run=4 nbConstraintChecks=5242490 nbAssignments=50000 3.78/3.88 => wckTime=3.349 cpuTime=3.32 mem=6M445 4.48/4.55 4.48/4.55 search 4.48/4.55 run=5 nbConstraintChecks=6383330 nbAssignments=60000 4.48/4.55 => wckTime=4.021 cpuTime=4.0 mem=6M445 5.18/5.21 5.18/5.21 search 5.18/5.21 run=6 nbConstraintChecks=7417155 nbAssignments=70000 5.18/5.21 => wckTime=4.675 cpuTime=4.64 mem=6M445 5.78/5.87 5.78/5.87 search 5.78/5.87 run=7 nbConstraintChecks=8492935 nbAssignments=80000 5.78/5.87 => wckTime=5.339 cpuTime=5.31 mem=6M445 6.48/6.53 6.48/6.53 search 6.48/6.53 run=8 nbConstraintChecks=9519530 nbAssignments=90000 6.48/6.53 => wckTime=5.994 cpuTime=5.97 mem=6M445 7.08/7.20 7.08/7.20 search 7.08/7.20 run=9 nbConstraintChecks=10628171 nbAssignments=100000 7.08/7.20 => wckTime=6.663 cpuTime=6.64 mem=6M445 7.78/7.84 7.78/7.84 search 7.78/7.84 run=10 nbConstraintChecks=11601402 nbAssignments=110000 7.78/7.84 => wckTime=7.311 cpuTime=7.28 mem=6M445 8.48/8.52 8.48/8.52 search 8.48/8.52 run=11 nbConstraintChecks=12745759 nbAssignments=120000 8.48/8.52 => wckTime=7.986 cpuTime=7.95 mem=6M445 9.07/9.17 9.07/9.17 search 9.07/9.17 run=12 nbConstraintChecks=13754922 nbAssignments=130000 9.07/9.17 => wckTime=8.641 cpuTime=8.61 mem=6M445 9.78/9.85 9.78/9.85 search 9.78/9.85 run=13 nbConstraintChecks=14874941 nbAssignments=140000 9.78/9.85 => wckTime=9.318 cpuTime=9.29 mem=6M445 10.48/10.50 10.48/10.50 search 10.48/10.50 run=14 nbConstraintChecks=15850469 nbAssignments=150000 10.48/10.50 => wckTime=9.971 cpuTime=9.95 mem=6M445 11.08/11.18 11.08/11.18 search 11.08/11.18 run=15 nbConstraintChecks=16954277 nbAssignments=160000 11.08/11.18 => wckTime=10.646 cpuTime=10.61 mem=6M445 11.77/11.84 11.77/11.84 search 11.77/11.84 run=16 nbConstraintChecks=17960366 nbAssignments=170000 11.77/11.84 => wckTime=11.305 cpuTime=11.27 mem=6M445 12.48/12.52 12.48/12.52 search 12.48/12.52 run=17 nbConstraintChecks=19091717 nbAssignments=180000 12.48/12.52 => wckTime=11.983 cpuTime=11.95 mem=6M445 13.08/13.17 13.08/13.17 search 13.08/13.17 run=18 nbConstraintChecks=20091763 nbAssignments=190000 13.08/13.17 => wckTime=12.64 cpuTime=12.61 mem=6M445 13.77/13.85 13.77/13.85 search 13.77/13.85 run=19 nbConstraintChecks=21223734 nbAssignments=200000 13.77/13.85 => wckTime=13.319 cpuTime=13.29 mem=6M445 14.47/14.51 14.47/14.52 search 14.47/14.52 run=20 nbConstraintChecks=22240312 nbAssignments=210000 14.47/14.52 => wckTime=13.982 cpuTime=13.94 mem=6M445 15.07/15.19 15.07/15.19 search 15.07/15.19 run=21 nbConstraintChecks=23375592 nbAssignments=220000 15.07/15.19 => wckTime=14.661 cpuTime=14.62 mem=6M445 15.77/15.85 15.77/15.85 search 15.77/15.85 run=22 nbConstraintChecks=24384129 nbAssignments=230000 15.77/15.85 => wckTime=15.321 cpuTime=15.28 mem=6M445 16.47/16.53 16.47/16.53 search 16.47/16.53 run=23 nbConstraintChecks=25503376 nbAssignments=240000 16.47/16.53 => wckTime=15.998 cpuTime=15.96 mem=6M445 17.08/17.19 17.08/17.19 search 17.08/17.19 run=24 nbConstraintChecks=26509240 nbAssignments=250000 17.08/17.19 => wckTime=16.656 cpuTime=16.61 mem=6M445 17.78/17.86 17.78/17.86 search 17.78/17.86 run=25 nbConstraintChecks=27618565 nbAssignments=260000 17.78/17.86 => wckTime=17.331 cpuTime=17.29 mem=6M445 18.47/18.52 18.47/18.52 search 18.47/18.52 run=26 nbConstraintChecks=28616848 nbAssignments=270000 18.47/18.52 => wckTime=17.988 cpuTime=17.95 mem=6M445 19.17/19.20 19.17/19.20 search 19.17/19.20 run=27 nbConstraintChecks=29732401 nbAssignments=280000 19.17/19.20 => wckTime=18.664 cpuTime=18.63 mem=6M445 19.77/19.85 19.77/19.85 search 19.77/19.85 run=28 nbConstraintChecks=30722409 nbAssignments=290000 19.77/19.85 => wckTime=19.313 cpuTime=19.27 mem=6M445 20.47/20.52 20.47/20.52 search 20.47/20.52 run=29 nbConstraintChecks=31837525 nbAssignments=300000 20.47/20.52 => wckTime=19.985 cpuTime=19.94 mem=6M445 21.07/21.18 21.07/21.18 search 21.07/21.18 run=30 nbConstraintChecks=32873542 nbAssignments=310000 21.07/21.18 => wckTime=20.647 cpuTime=20.6 mem=6M445 21.77/21.85 21.77/21.85 search 21.77/21.85 run=31 nbConstraintChecks=34018527 nbAssignments=320000 21.77/21.85 => wckTime=21.321 cpuTime=21.28 mem=6M445 22.46/22.50 22.46/22.50 search 22.46/22.50 run=32 nbConstraintChecks=35003133 nbAssignments=330000 22.46/22.50 => wckTime=21.97 cpuTime=21.92 mem=6M445 23.07/23.17 23.07/23.17 search 23.07/23.17 run=33 nbConstraintChecks=36089182 nbAssignments=340000 23.07/23.17 => wckTime=22.636 cpuTime=22.59 mem=6M445 23.76/23.82 23.76/23.82 search 23.76/23.82 run=34 nbConstraintChecks=37089664 nbAssignments=350000 23.76/23.82 => wckTime=23.288 cpuTime=23.24 mem=6M445 24.36/24.49 24.36/24.49 search 24.36/24.49 run=35 nbConstraintChecks=38201576 nbAssignments=360000 24.36/24.49 => wckTime=23.956 cpuTime=23.9 mem=6M445 25.06/25.14 25.06/25.14 search 25.06/25.14 run=36 nbConstraintChecks=39218073 nbAssignments=370000 25.06/25.14 => wckTime=24.611 cpuTime=24.55 mem=6M445 25.76/25.82 25.76/25.82 search 25.76/25.82 run=37 nbConstraintChecks=40344173 nbAssignments=380000 25.76/25.82 => wckTime=25.283 cpuTime=25.23 mem=6M445 26.36/26.47 26.36/26.47 search 26.36/26.47 run=38 nbConstraintChecks=41338521 nbAssignments=390000 26.36/26.47 => wckTime=25.934 cpuTime=25.88 mem=6M445 27.06/27.14 27.06/27.14 search 27.06/27.14 run=39 nbConstraintChecks=42469637 nbAssignments=400000 27.06/27.14 => wckTime=26.605 cpuTime=26.55 mem=6M445 27.66/27.79 27.66/27.79 search 27.66/27.79 run=40 nbConstraintChecks=43465540 nbAssignments=410000 27.66/27.79 => wckTime=27.255 cpuTime=27.19 mem=6M445 28.35/28.46 28.35/28.46 search 28.35/28.46 run=41 nbConstraintChecks=44592458 nbAssignments=420000 28.35/28.46 => wckTime=27.927 cpuTime=27.87 mem=6M445 29.06/29.11 29.06/29.11 search 29.06/29.11 run=42 nbConstraintChecks=45587182 nbAssignments=430000 29.06/29.11 => wckTime=28.578 cpuTime=28.51 mem=6M445 29.66/29.79 29.66/29.79 search 29.66/29.79 run=43 nbConstraintChecks=46732688 nbAssignments=440000 29.66/29.79 => wckTime=29.257 cpuTime=29.2 mem=6M445 30.35/30.46 30.35/30.46 search 30.35/30.46 run=44 nbConstraintChecks=47790872 nbAssignments=450000 30.35/30.46 => wckTime=29.924 cpuTime=29.87 mem=6M445 30.55/30.61 30.55/30.61 search 30.55/30.61 run=45 nbConstraintChecks=48030418 nbAssignments=452238 30.55/30.61 => wckTime=30.074 cpuTime=30.02 mem=6M445 30.55/30.61 30.55/30.61 global 30.55/30.61 nbConstraintChecks=48030418 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 30.55/30.61 solvingWckTime=30.073 solvingCpuTime=30.01 expiredTime=no totalExploration=no nbFoundSolutions=0 30.55/30.61 globalCpuTime=30.25 30.55/30.61 => wckTime=30.36 cpuTime=30.22 mem=6M445 30.55/30.61 30.55/30.61 solver DecomposerSolver being built... 30.66/30.72 => wckTime=30.474 cpuTime=30.31 mem=17M582 30.66/30.73 30.66/30.73 preprocessing 30.66/30.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 30.66/30.73 detectedInconsistency=no 30.66/30.73 => wckTime=0.0020 cpuTime=0.0 mem=17M582 30.66/30.74 C0(V11,V47) 30.66/30.74 C0(V11,V47) 30.66/30.75 C0(V11,V47) 30.66/30.75 C0(V11,V47) 30.66/30.75 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.76 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.77 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.78 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.79 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.66/30.80 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.81 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.83 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.84 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.85 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.86 C0(V11,V47) 30.76/30.87 30.76/30.87 search 30.76/30.87 run=0 nbConstraintChecks=11415 nbValidityChecks=22253 minDepth=0 maxDepth=25 nbPropagations=0 nbRevisions=0 30.76/30.87 nbUselessRevisions=0 nbAssignments=742 nbFailedAssignments=143 nbBacktracks=600 nbVisitedNodes=1103 30.76/30.87 => wckTime=0.144 cpuTime=0.09 mem=18M573 30.76/30.87 30.76/30.87 global 30.76/30.87 nbConstraintChecks=11415 nbValidityChecks=22253 solvingWckTime=0.147 solvingCpuTime=0.11 expiredTime=no 30.76/30.87 totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 30.76/30.87 globalCpuTime=30.45 30.76/30.87 => wckTime=30.622 cpuTime=30.42 mem=18M573 30.76/30.87 30.76/30.87 s OPTIMUM FOUND 30.76/30.87 v 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 30.76/30.87 d NODES 742 30.76/30.87 d CHECKS 11415 30.76/30.88 30.76/30.88 totalWckTime=30.689 totalCpuTime=30.45
OK 1 68 1 unsatisfied constraints, 68 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-1111101-1215841817/watcher-1111101-1215841817 -o /tmp/evaluation-result-1111101-1215841817/solver-1111101-1215841817 -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-1111101-1215841817.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.02 2.01 2.00 3/73 15279 /proc/meminfo: memFree=1346992/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=1616 CPUtime=0 /proc/15279/stat : 15279 (java) R 15277 15279 14405 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 40884658 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/15279/statm: 404 148 122 9 0 46 0 [startup+0.0463709 s] /proc/loadavg: 2.02 2.01 2.00 3/73 15279 /proc/meminfo: memFree=1346992/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=861876 CPUtime=0.03 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 2364 0 1 0 2 1 0 0 18 0 5 0 40884658 882561024 1951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 215469 1951 898 9 0 210448 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 861876 [startup+0.101379 s] /proc/loadavg: 2.02 2.01 2.00 3/73 15279 /proc/meminfo: memFree=1346992/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=865988 CPUtime=0.09 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 3707 0 1 0 7 2 0 0 18 0 9 0 40884658 886771712 3182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216497 3182 1687 9 0 211052 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 865988 [startup+0.301417 s] /proc/loadavg: 2.02 2.01 2.00 3/73 15279 /proc/meminfo: memFree=1346992/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866360 CPUtime=0.28 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 5835 0 1 0 25 3 0 0 18 0 9 0 40884658 887152640 5210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216590 5210 1955 9 0 211118 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 866360 [startup+0.701493 s] /proc/loadavg: 2.02 2.01 2.00 3/73 15279 /proc/meminfo: memFree=1346992/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=0.68 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8341 0 1 0 57 11 0 0 18 0 9 0 40884658 887427072 7508 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 7508 2632 9 0 211163 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 866628 [startup+1.50265 s] /proc/loadavg: 2.02 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1327144/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=1.48 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8347 0 1 0 96 52 0 0 18 0 9 0 40884658 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 7513 2633 9 0 211163 0 [pid=15279/tid=15281] ppid=15277 vsize=866632 CPUtime=1.32 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6201 0 1 0 81 51 0 0 25 0 9 0 40884659 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866632 CPUtime=0.1 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 40884663 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 866628 [startup+3.10196 s] /proc/loadavg: 2.02 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1326952/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866632 CPUtime=3.07 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8347 0 1 0 173 134 0 0 18 0 9 0 40884658 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216658 7513 2633 9 0 211164 0 [pid=15279/tid=15281] ppid=15277 vsize=866628 CPUtime=2.92 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6201 0 1 0 159 133 0 0 25 0 9 0 40884659 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866628 CPUtime=0.1 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 866632 [startup+6.30257 s] /proc/loadavg: 2.02 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1326568/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866632 CPUtime=6.28 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8348 0 1 0 318 310 0 0 18 0 9 0 40884658 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216658 7513 2633 9 0 211164 0 [pid=15279/tid=15281] ppid=15277 vsize=866628 CPUtime=6.11 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6202 0 1 0 303 308 0 0 25 0 9 0 40884659 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866632 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866632 CPUtime=0.1 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 336 0 0 0 10 0 0 0 16 0 9 0 40884663 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887431168 7513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 866632 [startup+12.7028 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1326184/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=12.67 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8350 0 1 0 609 658 0 0 18 0 9 0 40884658 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 7515 2633 9 0 211163 0 [pid=15279/tid=15281] ppid=15277 vsize=866632 CPUtime=12.51 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6202 0 1 0 594 657 0 0 25 0 9 0 40884659 887431168 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866628 CPUtime=0.1 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 338 0 0 0 10 0 0 0 17 0 9 0 40884663 887427072 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887431168 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887431168 7515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 866628 [startup+25.5023 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1325928/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=25.46 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8355 0 1 0 1197 1349 0 0 18 0 9 0 40884658 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 7520 2633 9 0 211163 0 [pid=15279/tid=15281] ppid=15277 vsize=866632 CPUtime=25.29 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6202 0 1 0 1181 1348 0 0 25 0 9 0 40884659 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866628 CPUtime=0.11 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 866628 Solver just ended. Dumping a history of the last processes samples [startup+28.7019 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1325800/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=28.66 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8355 0 1 0 1344 1522 0 0 18 0 9 0 40884658 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216658 7520 2633 9 0 211164 0 [pid=15279/tid=15281] ppid=15277 vsize=866628 CPUtime=28.49 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6202 0 1 0 1328 1521 0 0 25 0 9 0 40884659 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866632 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866632 CPUtime=0.11 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 40884663 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 28.66 Current children cumulated vsize (KiB) 866628 [startup+30.3012 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1325736/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=30.26 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 8355 0 1 0 1417 1609 0 0 18 0 9 0 40884658 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 7520 2633 9 0 211163 0 [pid=15279/tid=15281] ppid=15277 vsize=866628 CPUtime=30.08 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 6202 0 1 0 1401 1607 0 0 25 0 9 0 40884659 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866628 CPUtime=0.11 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866632 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887431168 7520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.26 Current children cumulated vsize (KiB) 866628 [startup+30.7023 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1321000/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866628 CPUtime=30.66 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 9731 0 1 0 1439 1627 0 0 18 0 9 0 40884658 887427072 8896 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216657 8897 2634 9 0 211163 0 [pid=15279/tid=15281] ppid=15277 vsize=866628 CPUtime=30.47 /proc/15279/task/15281/stat : 15281 (java) R 15277 15279 14405 0 -1 64 7572 0 1 0 1422 1625 0 0 25 0 9 0 40884659 887427072 8898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15282] ppid=15277 vsize=866628 CPUtime=0.03 /proc/15279/task/15282/stat : 15282 (java) S 15277 15279 14405 0 -1 64 1115 0 0 0 3 0 0 0 16 0 9 0 40884661 887427072 8898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15283] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15283/stat : 15283 (java) S 15277 15279 14405 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40884661 887427072 8898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15284] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15284/stat : 15284 (java) S 15277 15279 14405 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40884661 887427072 8898 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15285] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15285/stat : 15285 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40884663 887427072 8899 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15286] ppid=15277 vsize=866628 CPUtime=0.13 /proc/15279/task/15286/stat : 15286 (java) S 15277 15279 14405 0 -1 64 351 0 0 0 13 0 0 0 16 0 9 0 40884663 887427072 8899 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15287] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15287/stat : 15287 (java) S 15277 15279 14405 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40884663 887427072 8900 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=15279/tid=15288] ppid=15277 vsize=866628 CPUtime=0 /proc/15279/task/15288/stat : 15288 (java) S 15277 15279 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40884663 887427072 8901 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.66 Current children cumulated vsize (KiB) 866628 [startup+30.9023 s] /proc/loadavg: 2.01 2.01 2.00 3/82 15288 /proc/meminfo: memFree=1321000/2055920 swapFree=4180380/4192956 [pid=15279] ppid=15277 vsize=866952 CPUtime=30.82 /proc/15279/stat : 15279 (java) S 15277 15279 14405 0 -1 0 10588 0 1 0 1454 1628 0 0 18 0 6 0 40884658 887758848 9752 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/15279/statm: 216738 9752 2635 9 0 211244 0 Current children cumulated CPU time (s) 30.82 Current children cumulated vsize (KiB) 866952 Child status: 0 Real time (s): 30.9082 CPU time (s): 30.8393 CPU user time (s): 14.5468 CPU system time (s): 16.2925 CPU usage (%): 99.777 Max. virtual memory (cumulated for all children) (KiB): 866952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5468 system time used= 16.2925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10589 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= 1621 involuntary context switches= 2533 runsolver used 0.065989 second user time and 0.109983 second system time The end
Begin job on node9 at 2008-07-12 07:50:17 IDJOB=1111101 IDBENCH=61231 IDSOLVER=359 FILE ID=node9/1111101-1215841817 PBS_JOBID= 7903357 Free space on /tmp= 66404 MiB SOLVER NAME= AbsconMax 112 pc-w BENCH NAME= CPAI08/csp/aim-50/normalized-aim-50-1-6-unsat-1_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-1111101-1215841817/watcher-1111101-1215841817 -o /tmp/evaluation-result-1111101-1215841817/solver-1111101-1215841817 -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-1111101-1215841817.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 400def4ba59ef6cf50e61c5b2b757462 RANDOM SEED=689954470 node9.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.260 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.260 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: 1347472 kB Buffers: 39496 kB Cached: 240568 kB SwapCached: 6828 kB Active: 576924 kB Inactive: 69888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1347472 kB SwapTotal: 4192956 kB SwapFree: 4180380 kB Dirty: 1952 kB Writeback: 0 kB Mapped: 373512 kB Slab: 46260 kB Committed_AS: 528088 kB PageTables: 2468 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= 66404 MiB End job on node9 at 2008-07-12 07:50:48