Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 25.0692 | 46.88 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo |
| MD5SUM | 6f22b253a236148adccf262092f666c3 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 78 |
| Best CPU time to get the best result obtained on this benchmark | 22.7725 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 28 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1183 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4109501-1467321253.wbo 0.10/0.11 c reading problem ... 0.10/0.18 c ... done. Wall clock time 0.063s. 0.10/0.18 c declared #vars 169 0.10/0.18 c internal #vars 197 0.10/0.18 c #constraints 101 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 0.10/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 0.10/0.18 c 101 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 28 0.10/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 21 0.10/0.18 c 101 constraints processed. 0.10/0.18 c objective function length is 28 literals 1.85/0.68 c And the winner is solver1 2.24/0.72 c cleaning 2500 clauses out of 5000 with flag 15272/5000 2.24/0.73 c SATISFIABLE 2.24/0.73 c OPTIMIZING... 2.24/0.73 c Got one! Elapsed wall clock time (in seconds):0.618 2.24/0.73 o 1060 2.24/0.74 c And the winner is solver0 2.75/1.23 c Got one! Elapsed wall clock time (in seconds):1.119 2.75/1.23 o 612 3.23/1.40 c cleaning 3827 clauses out of 7653 with flag 15952/10153 3.23/1.42 c And the winner is solver1 3.46/1.73 c Got one! Elapsed wall clock time (in seconds):1.62 3.46/1.73 o 601 3.46/1.80 c And the winner is solver0 3.62/2.23 c Got one! Elapsed wall clock time (in seconds):2.121 3.62/2.23 o 600 3.62/2.24 c And the winner is solver0 3.62/2.73 c Got one! Elapsed wall clock time (in seconds):2.622 3.62/2.73 o 512 3.62/2.74 c And the winner is solver0 3.62/3.23 c Got one! Elapsed wall clock time (in seconds):3.123 3.62/3.23 o 504 3.62/3.25 c And the winner is solver0 3.67/3.74 c Got one! Elapsed wall clock time (in seconds):3.623 3.67/3.74 o 493 3.79/3.81 c And the winner is solver0 3.82/4.24 c Got one! Elapsed wall clock time (in seconds):4.124 3.82/4.24 o 491 3.82/4.28 c cleaning 5321 clauses out of 10649 with flag 3361/16976 3.98/4.34 c And the winner is solver0 4.07/4.74 c Got one! Elapsed wall clock time (in seconds):4.625 4.07/4.74 o 483 4.07/4.75 c And the winner is solver0 4.07/5.24 c Got one! Elapsed wall clock time (in seconds):5.126 4.07/5.24 o 474 4.19/5.36 c cleaning 5342 clauses out of 10683 with flag 10357/22331 4.19/5.38 c And the winner is solver0 4.40/5.74 c Got one! Elapsed wall clock time (in seconds):5.627 4.40/5.74 o 466 4.40/5.74 c And the winner is solver0 4.40/6.24 c Got one! Elapsed wall clock time (in seconds):6.128 4.40/6.24 o 455 4.40/6.28 c And the winner is solver0 4.51/6.74 c Got one! Elapsed wall clock time (in seconds):6.629 4.51/6.74 o 454 4.51/6.79 c And the winner is solver0 4.62/7.24 c Got one! Elapsed wall clock time (in seconds):7.13 4.62/7.24 o 449 4.73/7.35 c cleaning 6126 clauses out of 12260 with flag 11299/29250 4.97/7.44 c And the winner is solver0 5.06/7.74 c Got one! Elapsed wall clock time (in seconds):7.631 5.06/7.74 o 446 5.06/7.76 c And the winner is solver0 5.10/8.24 c Got one! Elapsed wall clock time (in seconds):8.132 5.10/8.24 o 440 5.10/8.29 c And the winner is solver0 5.21/8.75 c Got one! Elapsed wall clock time (in seconds):8.633 5.21/8.75 o 439 5.21/8.78 c And the winner is solver0 5.31/9.25 c Got one! Elapsed wall clock time (in seconds):9.134 5.31/9.25 o 434 5.31/9.28 c And the winner is solver0 5.39/9.75 c Got one! Elapsed wall clock time (in seconds):9.635 5.39/9.75 o 433 5.39/9.79 c cleaning 6872 clauses out of 13750 with flag 4252/36866 5.49/9.80 c And the winner is solver0 5.51/10.25 c Got one! Elapsed wall clock time (in seconds):10.136 5.51/10.25 o 428 5.61/10.38 c And the winner is solver0 5.80/10.75 c Got one! Elapsed wall clock time (in seconds):10.637 5.80/10.75 o 427 5.80/10.76 c And the winner is solver0 5.82/11.25 c Got one! Elapsed wall clock time (in seconds):11.138 5.82/11.25 o 419 5.82/11.26 c And the winner is solver0 5.86/11.75 c Got one! Elapsed wall clock time (in seconds):11.639 5.86/11.75 o 408 5.95/11.80 c And the winner is solver0 5.98/12.25 c Got one! Elapsed wall clock time (in seconds):12.14 5.98/12.25 o 401 5.98/12.26 c And the winner is solver0 6.01/12.75 c Got one! Elapsed wall clock time (in seconds):12.641 6.01/12.75 o 363 6.01/12.80 c cleaning 6965 clauses out of 13930 with flag 4195/43918 6.34/12.94 c And the winner is solver0 6.45/13.25 c Got one! Elapsed wall clock time (in seconds):13.142 6.45/13.25 o 353 6.45/13.26 c And the winner is solver0 6.47/13.75 c Got one! Elapsed wall clock time (in seconds):13.643 6.47/13.75 o 347 6.47/13.79 c And the winner is solver0 6.56/14.26 c Got one! Elapsed wall clock time (in seconds):14.143 6.56/14.26 o 344 6.56/14.30 c And the winner is solver0 6.66/14.76 c Got one! Elapsed wall clock time (in seconds):14.644 6.66/14.76 o 341 6.74/14.80 c cleaning 7172 clauses out of 14352 with flag 4233/51305 6.95/14.93 c And the winner is solver0 7.02/15.26 c Got one! Elapsed wall clock time (in seconds):15.145 7.02/15.26 o 336 7.11/15.30 c And the winner is solver0 7.13/15.76 c Got one! Elapsed wall clock time (in seconds):15.646 7.13/15.76 o 328 7.21/15.80 c cleaning 6364 clauses out of 12738 with flag 4668/56863 7.21/15.81 c And the winner is solver0 7.25/16.26 c Got one! Elapsed wall clock time (in seconds):16.147 7.25/16.26 o 324 7.25/16.26 c And the winner is solver0 7.28/16.76 c Got one! Elapsed wall clock time (in seconds):16.648 7.28/16.76 o 323 7.28/16.79 c And the winner is solver0 7.35/17.26 c Got one! Elapsed wall clock time (in seconds):17.149 7.35/17.26 o 322 7.66/17.46 c And the winner is solver0 7.80/17.76 c Got one! Elapsed wall clock time (in seconds):17.65 7.80/17.76 o 315 7.80/17.79 c And the winner is solver0 7.87/18.26 c Got one! Elapsed wall clock time (in seconds):18.151 7.87/18.26 o 309 7.94/18.31 c cleaning 7218 clauses out of 14440 with flag 4875/64929 7.94/18.31 c And the winner is solver0 7.98/18.76 c Got one! Elapsed wall clock time (in seconds):18.652 7.98/18.76 o 304 7.98/18.77 c And the winner is solver0 7.98/19.26 c Got one! Elapsed wall clock time (in seconds):19.153 7.98/19.26 o 293 7.98/19.29 c And the winner is solver0 8.04/19.77 c Got one! Elapsed wall clock time (in seconds):19.654 8.04/19.77 o 291 8.11/19.86 c And the winner is solver0 8.25/20.27 c Got one! Elapsed wall clock time (in seconds):20.154 8.25/20.27 o 288 8.31/20.35 c And the winner is solver0 8.43/20.77 c Got one! Elapsed wall clock time (in seconds):20.655 8.43/20.77 o 285 8.50/20.82 c cleaning 6808 clauses out of 13618 with flag 5049/71325 8.50/20.84 c And the winner is solver0 8.61/21.27 c Got one! Elapsed wall clock time (in seconds):21.156 8.61/21.27 o 284 8.61/21.28 c And the winner is solver0 8.63/21.77 c Got one! Elapsed wall clock time (in seconds):21.657 8.63/21.77 o 281 8.63/21.79 c And the winner is solver0 8.67/22.27 c Got one! Elapsed wall clock time (in seconds):22.158 8.67/22.27 o 275 8.67/22.28 c And the winner is solver0 8.68/22.77 c Got one! Elapsed wall clock time (in seconds):22.659 8.68/22.77 o 274 8.68/22.79 c And the winner is solver0 8.73/23.27 c Got one! Elapsed wall clock time (in seconds):23.16 8.73/23.27 o 271 8.80/23.31 c And the winner is solver0 8.85/23.77 c Got one! Elapsed wall clock time (in seconds):23.661 8.85/23.77 o 264 8.89/23.80 c And the winner is solver0 8.92/24.27 c Got one! Elapsed wall clock time (in seconds):24.161 8.92/24.27 o 263 8.92/24.29 c And the winner is solver0 8.97/24.77 c Got one! Elapsed wall clock time (in seconds):24.662 8.97/24.77 o 261 9.02/24.80 c And the winner is solver0 9.05/25.27 c Got one! Elapsed wall clock time (in seconds):25.163 9.05/25.27 o 251 9.05/25.28 c And the winner is solver0 9.07/25.78 c Got one! Elapsed wall clock time (in seconds):25.664 9.07/25.78 o 249 9.07/25.78 c And the winner is solver0 9.12/26.28 c Got one! Elapsed wall clock time (in seconds):26.164 9.12/26.28 o 246 9.12/26.28 c And the winner is solver0 9.14/26.78 c Got one! Elapsed wall clock time (in seconds):26.665 9.14/26.78 o 243 9.14/26.79 c And the winner is solver0 9.18/27.28 c Got one! Elapsed wall clock time (in seconds):27.166 9.18/27.28 o 239 9.22/27.30 c And the winner is solver0 9.24/27.78 c Got one! Elapsed wall clock time (in seconds):27.667 9.24/27.78 o 236 9.24/27.79 c And the winner is solver0 9.28/28.28 c Got one! Elapsed wall clock time (in seconds):28.168 9.28/28.28 o 232 9.31/28.31 c And the winner is solver0 9.34/28.78 c Got one! Elapsed wall clock time (in seconds):28.669 9.34/28.78 o 227 9.37/28.87 c And the winner is solver0 9.54/29.28 c Got one! Elapsed wall clock time (in seconds):29.169 9.54/29.28 o 226 9.77/29.41 c cleaning 9195 clauses out of 18397 with flag 12380/82912 9.77/29.41 c And the winner is solver0 9.81/29.78 c Got one! Elapsed wall clock time (in seconds):29.67 9.81/29.78 o 218 9.81/29.79 c And the winner is solver0 9.85/30.28 c Got one! Elapsed wall clock time (in seconds):30.171 9.85/30.28 o 212 9.85/30.29 c And the winner is solver0 9.86/30.78 c Got one! Elapsed wall clock time (in seconds):30.672 9.86/30.78 o 206 9.86/30.80 c And the winner is solver0 9.92/31.28 c Got one! Elapsed wall clock time (in seconds):31.173 9.92/31.28 o 205 9.92/31.30 c And the winner is solver0 9.96/31.79 c Got one! Elapsed wall clock time (in seconds):31.673 9.96/31.79 o 204 9.98/31.83 c And the winner is solver0 10.07/32.29 c Got one! Elapsed wall clock time (in seconds):32.174 10.07/32.29 o 201 10.09/32.39 c And the winner is solver0 10.30/32.79 c Got one! Elapsed wall clock time (in seconds):32.675 10.30/32.79 o 200 10.32/32.80 c And the winner is solver0 10.35/33.29 c Got one! Elapsed wall clock time (in seconds):33.176 10.35/33.29 o 173 10.35/33.29 c And the winner is solver0 10.35/33.79 c Got one! Elapsed wall clock time (in seconds):33.676 10.35/33.79 o 162 10.35/33.79 c And the winner is solver0 10.35/34.29 c Got one! Elapsed wall clock time (in seconds):34.177 10.35/34.29 o 156 10.37/34.35 c cleaning 8146 clauses out of 16307 with flag 4265/90017 10.37/34.35 c And the winner is solver0 10.51/34.79 c Got one! Elapsed wall clock time (in seconds):34.678 10.51/34.79 o 155 10.52/34.81 c And the winner is solver0 10.56/35.29 c Got one! Elapsed wall clock time (in seconds):35.178 10.56/35.29 o 140 10.77/35.41 c And the winner is solver0 10.81/35.79 c Got one! Elapsed wall clock time (in seconds):35.679 10.81/35.79 o 138 10.82/35.88 c cleaning 7359 clauses out of 14723 with flag 8666/96579 10.82/35.89 c And the winner is solver0 11.01/36.29 c Got one! Elapsed wall clock time (in seconds):36.18 11.01/36.29 o 136 11.23/36.49 c cleaning 6257 clauses out of 12530 with flag 21796/101745 11.47/36.56 c And the winner is solver0 11.80/36.79 c Got one! Elapsed wall clock time (in seconds):36.681 11.80/36.79 o 130 12.10/36.91 c cleaning 5715 clauses out of 11434 with flag 14029/106906 12.10/36.91 c And the winner is solver0 12.44/37.29 c Got one! Elapsed wall clock time (in seconds):37.181 12.44/37.29 o 129 12.51/37.32 c And the winner is solver0 12.60/37.79 c Got one! Elapsed wall clock time (in seconds):37.682 12.60/37.79 o 109 12.60/37.86 c And the winner is solver0 12.76/38.29 c Got one! Elapsed wall clock time (in seconds):38.183 12.76/38.29 o 97 12.76/38.30 c And the winner is solver0 12.78/38.80 c Got one! Elapsed wall clock time (in seconds):38.684 12.78/38.80 o 95 12.78/38.81 c And the winner is solver0 12.83/39.30 c Got one! Elapsed wall clock time (in seconds):39.185 12.83/39.30 o 93 13.03/39.41 c cleaning 6235 clauses out of 12473 with flag 13412/113660 13.45/39.63 c cleaning 6118 clauses out of 12241 with flag 41886/119663 13.45/39.69 c And the winner is solver0 13.63/39.80 c Got one! Elapsed wall clock time (in seconds):39.685 13.63/39.80 o 87 13.82/39.90 c And the winner is solver0 13.85/40.30 c Got one! Elapsed wall clock time (in seconds):40.186 13.85/40.30 o 81 13.85/40.34 c And the winner is solver0 13.95/40.80 c Got one! Elapsed wall clock time (in seconds):40.687 13.95/40.80 o 80 13.95/40.85 c cleaning 6397 clauses out of 12794 with flag 4181/126334 14.36/41.07 c cleaning 6200 clauses out of 12400 with flag 30942/132338 15.01/41.32 c cleaning 6592 clauses out of 13196 with flag 62634/139334 15.61/41.62 c cleaning 7298 clauses out of 14604 with flag 98180/147334 16.45/42.00 c cleaning 8147 clauses out of 16306 with flag 142463/156334 17.27/42.42 c cleaning 9077 clauses out of 18158 with flag 191892/166334 18.07/42.88 c cleaning 10040 clauses out of 20082 with flag 245572/177336 19.30/43.44 c cleaning 11018 clauses out of 22040 with flag 304953/189336 20.70/44.14 c cleaning 12007 clauses out of 24019 with flag 378394/202334 20.70/44.18 c And the winner is solver0 20.85/44.30 c Got one! Elapsed wall clock time (in seconds):44.189 20.85/44.30 o 79 21.05/44.49 c cleaning 8591 clauses out of 17182 with flag 21277/207504 21.64/44.72 c cleaning 7294 clauses out of 14589 with flag 51525/213503 22.04/44.91 c And the winner is solver0 22.09/45.30 c Got one! Elapsed wall clock time (in seconds):45.192 22.09/45.30 o 78 22.47/45.53 c cleaning 8779 clauses out of 17576 with flag 24556/223788 22.87/45.77 c cleaning 7395 clauses out of 14795 with flag 52500/229788 23.47/46.02 c cleaning 7195 clauses out of 14397 with flag 83518/236788 24.09/46.32 c cleaning 7598 clauses out of 15201 with flag 121065/244790 24.67/46.69 c cleaning 8295 clauses out of 16589 with flag 165506/253788 24.67/46.70 c And the winner is solver0 24.91/46.87 c >>>>>>>>>> Solver number 0 (82 answers) <<<<<<<<<<<<<<<<<< 24.91/46.87 c starts : 1215 24.91/46.87 c conflicts : 253986 24.91/46.87 c decisions : 389603 24.91/46.87 c propagations : 5468765 24.91/46.87 c inspects : 110619604 24.91/46.87 c shortcuts : 0 24.91/46.87 c learnt literals : 39 24.91/46.87 c learnt binary clauses : 263 24.91/46.87 c learnt ternary clauses : 1100 24.91/46.87 c learnt constraints : 253946 24.91/46.87 c ignored constraints : 0 24.91/46.87 c root simplifications : 0 24.91/46.87 c removed literals (reason simplification) : 3064514 24.91/46.87 c reason swapping (by a shorter reason) : 0 24.91/46.87 c Calls to reduceDB : 34 24.91/46.87 c Number of update (reduction) of LBD : 62758 24.91/46.87 c Imported unit clauses : 0 24.91/46.87 c number of reductions to clauses (during analyze) : 0 24.91/46.87 c number of learned constraints concerned by reduction : 0 24.91/46.87 c number of learning phase by resolution : 0 24.91/46.87 c number of learning phase by cutting planes : 0 24.91/46.87 c speed (assignments/second) : 121161.93282523927 24.91/46.87 c non guided choices 2560 24.91/46.87 c learnt constraints type 24.91/46.87 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 24.91/46.87 c starts : 89 24.91/46.87 c conflicts : 1601 24.91/46.87 c decisions : 10635 24.91/46.87 c propagations : 59922 24.91/46.87 c inspects : 9353282 24.91/46.87 c shortcuts : 0 24.91/46.87 c learnt literals : 0 24.91/46.87 c learnt binary clauses : 0 24.91/46.87 c learnt ternary clauses : 0 24.91/46.87 c learnt constraints : 1550 24.91/46.87 c ignored constraints : 0 24.91/46.87 c root simplifications : 0 24.91/46.87 c removed literals (reason simplification) : 0 24.91/46.87 c reason swapping (by a shorter reason) : 0 24.91/46.87 c Calls to reduceDB : 0 24.91/46.87 c Number of update (reduction) of LBD : 0 24.91/46.87 c Imported unit clauses : 0 24.91/46.87 c number of reductions to clauses (during analyze) : 0 24.91/46.87 c number of learned constraints concerned by reduction : 0 24.91/46.87 c number of learning phase by resolution : 0 24.91/46.87 c number of learning phase by cutting planes : 0 24.91/46.87 c speed (assignments/second) : 38362.35595390525 24.91/46.87 c non guided choices 1166 24.91/46.87 c learnt constraints type 24.91/46.87 s OPTIMUM FOUND 24.91/46.87 c Found 83 solution(s) 24.91/46.87 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 24.91/46.87 c objective function=78 24.91/46.87 c Total wall clock time (in seconds): 46.759
OK 78
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109501-1467321253/watcher-4109501-1467321253 -o /tmp/evaluation-result-4109501-1467321253/solver-4109501-1467321253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467318920-6227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109501-1467321253.wbo pid=13345 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.64 0.94 1.21 2/171 13348 /proc/meminfo: memFree=29883192/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/13348/stat : 13348 (java) D 13345 13348 21085 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 13077880 9515008 185 33554432000 1073741824 1073778376 140733608995056 140733608984120 273896533287 0 0 4096 0 18446744072100756772 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2323 185 143 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 0.64 0.94 1.21 2/171 13348 /proc/meminfo: memFree=29883192/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 4417 0 1 0 9 1 0 0 20 0 18 0 13077880 9787879424 6053 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2389619 6053 2138 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200274 s] /proc/loadavg: 0.64 0.94 1.21 2/171 13348 /proc/meminfo: memFree=29883192/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 4832 0 1 0 24 1 0 0 20 0 22 0 13077880 10060525568 7953 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 7953 2210 9 0 2446860 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9824732 [startup+0.300234 s] /proc/loadavg: 0.64 0.94 1.21 2/171 13348 /proc/meminfo: memFree=29883192/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=0.65 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 8561 0 1 0 63 2 0 0 20 0 22 0 13077880 10060525568 10223 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 10223 2247 9 0 2446860 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 9824732 [startup+0.700198 s] /proc/loadavg: 0.64 0.94 1.21 2/171 13348 /proc/meminfo: memFree=29883192/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 19126 0 1 0 219 5 0 0 20 0 20 0 13077880 10060525568 21549 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 21549 2258 9 0 2446860 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 9824732 [startup+1.50086 s] /proc/loadavg: 0.64 0.94 1.21 1/190 13373 /proc/meminfo: memFree=29798636/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=3.44 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 27367 0 1 0 334 10 0 0 20 0 19 0 13077880 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 37987 2272 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2416 0 1 0 15 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13077882 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 12354 0 0 0 90 2 0 0 20 0 19 0 13077885 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) R 13345 13348 21085 0 -1 4202560 11211 0 0 0 87 2 0 0 20 0 19 0 13077885 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479505468216 140480159845511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 37987 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.44 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 0.64 0.94 1.21 1/190 13379 /proc/meminfo: memFree=29712124/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 27533 0 1 0 350 12 0 0 20 0 19 0 13077880 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 44623 2285 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2416 0 1 0 16 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13077882 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 12354 0 0 0 90 2 0 0 20 0 19 0 13077885 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11313 0 0 0 90 2 0 0 20 0 19 0 13077885 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13078054 10060525568 44623 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 9824732 [startup+6.30086 s] /proc/loadavg: 0.59 0.92 1.20 1/190 13400 /proc/meminfo: memFree=29698564/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=4.51 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 27623 0 1 0 428 23 0 0 20 0 19 0 13077880 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 47941 2286 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2417 0 1 0 16 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13077881 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13077882 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 12357 0 0 0 94 2 0 0 20 0 19 0 13077885 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11313 0 0 0 92 2 0 0 20 0 19 0 13077885 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13078054 10060525568 47941 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.51 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=36 pid=1832 uid=0 cmd= ################ # More data... # ################ /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 20392 0 0 0 180 2 0 0 20 0 22 0 13077885 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11325 0 0 0 103 2 0 0 20 0 22 0 13077885 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13078054 10060525568 86374 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 21.84 Current children cumulated vsize (KiB) 9824732 [startup+45.6008 s] /proc/loadavg: 0.90 0.96 1.20 1/190 13616 /proc/meminfo: memFree=29544424/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=22.67 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 36781 0 1 0 2107 160 0 0 20 0 22 0 13077880 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 97128 2287 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2419 0 1 0 19 1 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 31 0 0 0 8 2 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 39 0 0 0 7 0 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 45 0 0 0 8 2 0 0 20 0 22 0 13077881 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 111 0 0 0 1 8 0 0 20 0 22 0 13077882 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 20392 0 0 0 180 2 0 0 20 0 22 0 13077885 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11325 0 0 0 103 2 0 0 20 0 22 0 13077885 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13078054 10060525568 97128 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 22.67 Current children cumulated vsize (KiB) 9824732 [startup+46.401 s] /proc/loadavg: 0.90 0.96 1.20 4/193 13619 /proc/meminfo: memFree=29476708/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=24.27 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 36847 0 1 0 2266 161 0 0 20 0 22 0 13077880 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 103322 2287 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2419 0 1 0 19 1 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 32 0 0 0 9 2 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 40 0 0 0 7 0 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 33 0 0 0 7 1 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 46 0 0 0 8 2 0 0 20 0 22 0 13077881 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 155 0 0 0 1 9 0 0 20 0 22 0 13077882 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 13077883 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 20392 0 0 0 180 2 0 0 20 0 22 0 13077885 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11325 0 0 0 103 2 0 0 20 0 22 0 13077885 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13077885 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13078054 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13617] ppid=13345 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/13348/task/13617/stat : 13617 (java) R 13345 13348 21085 0 -1 4202560 4 0 0 0 106 0 0 0 20 0 22 0 13082411 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479501254896 140480008972737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13618] ppid=13345 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/13348/task/13618/stat : 13618 (java) R 13345 13348 21085 0 -1 4202560 35 0 0 0 106 0 0 0 20 0 22 0 13082411 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479500201104 140480009040215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13619] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13619/stat : 13619 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13082411 10060525568 103322 33554432000 1073741824 1073778376 140733608995056 140479502309032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 24.27 Current children cumulated vsize (KiB) 9824732 [startup+46.8009 s] /proc/loadavg: 0.90 0.96 1.20 4/193 13619 /proc/meminfo: memFree=29476708/32872528 swapFree=1484672/1662500 [pid=13348] ppid=13345 vsize=9824732 CPUtime=24.91 cores=1,3,5,7 /proc/13348/stat : 13348 (java) S 13345 13348 21085 0 -1 4202496 36867 0 1 0 2327 164 0 0 20 0 19 0 13077880 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140733608986192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13348/statm: 2456183 105374 2287 9 0 2446860 0 [pid=13348/tid=13350] ppid=13345 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/13348/task/13350/stat : 13350 (java) S 13345 13348 21085 0 -1 4202560 2419 0 1 0 19 1 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140480157373304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13351] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13351/stat : 13351 (java) S 13345 13348 21085 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140480129825320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13352] ppid=13345 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/13348/task/13352/stat : 13352 (java) S 13345 13348 21085 0 -1 4202560 46 0 0 0 9 2 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140480128772520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13353] ppid=13345 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/13348/task/13353/stat : 13353 (java) S 13345 13348 21085 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140480127719720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13354] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13354/stat : 13354 (java) S 13345 13348 21085 0 -1 4202560 41 0 0 0 7 1 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479997454504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13348/tid=13355] ppid=13345 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/13348/task/13355/stat : 13355 (java) S 13345 13348 21085 0 -1 4202560 31 0 0 0 9 2 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479996402728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13356] ppid=13345 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/13348/task/13356/stat : 13356 (java) S 13345 13348 21085 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479995349928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13357] ppid=13345 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/13348/task/13357/stat : 13357 (java) S 13345 13348 21085 0 -1 4202560 35 0 0 0 7 1 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479994297128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13358] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13358/stat : 13358 (java) S 13345 13348 21085 0 -1 4202560 46 0 0 0 8 2 0 0 20 0 19 0 13077881 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479993244328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13359] ppid=13345 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/13348/task/13359/stat : 13359 (java) S 13345 13348 21085 0 -1 4202560 155 0 0 0 1 9 0 0 20 0 19 0 13077882 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479510731240 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13360] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13360/stat : 13360 (java) S 13345 13348 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479509677304 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13361] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13361/stat : 13361 (java) S 13345 13348 21085 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 13077883 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479508624392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13362] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13362/stat : 13362 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479507572880 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13363] ppid=13345 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/13348/task/13363/stat : 13363 (java) S 13345 13348 21085 0 -1 4202560 20392 0 0 0 180 2 0 0 20 0 19 0 13077885 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479506521016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13348/tid=13364] ppid=13345 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/13348/task/13364/stat : 13364 (java) S 13345 13348 21085 0 -1 4202560 11325 0 0 0 103 2 0 0 20 0 19 0 13077885 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479505468216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13365] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13365/stat : 13365 (java) S 13345 13348 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479504415608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13348/tid=13366] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13366/stat : 13366 (java) S 13345 13348 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13077885 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479503363016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13348/tid=13379] ppid=13345 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13348/task/13379/stat : 13379 (java) S 13345 13348 21085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13078054 10060525568 105374 33554432000 1073741824 1073778376 140733608995056 140479499151016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 24.91 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 9.53674e-07 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): -0.00999999 Real time (s): 46.88 CPU time (s): 25.0692 CPU user time (s): 23.3285 CPU system time (s): 1.74073 CPU usage (%): 53.4753 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.3185 system time used= 1.75073 maximum resident set size= 421532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36880 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3855 involuntary context switches= 1491 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.284956 second user time and 0.373943 second system time The end
Begin job on node134 at 2016-06-30 23:14:14 IDJOB=4109501 IDBENCH=78831 IDSOLVER=2552 FILE ID=node134/4109501-1467321253 RUNJOBID= node134-1467318920-6227 PBS_JOBID= 20005262 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109501-1467321253/watcher-4109501-1467321253 -o /tmp/evaluation-result-4109501-1467321253/solver-4109501-1467321253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467318920-6227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109501-1467321253.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6f22b253a236148adccf262092f666c3 RANDOM SEED=1880006138 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 7358.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29883836 kB Buffers: 174488 kB Cached: 392672 kB SwapCached: 0 kB Active: 253712 kB Inactive: 328808 kB Active(anon): 11832 kB Inactive(anon): 5960 kB Active(file): 241880 kB Inactive(file): 322848 kB Unevictable: 1662500 kB Mlocked: 1484672 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 660 kB Writeback: 0 kB AnonPages: 1677468 kB Mapped: 13232 kB Shmem: 216 kB Slab: 612532 kB SReclaimable: 56448 kB SUnreclaim: 556084 kB KernelStack: 1416 kB PageTables: 7164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1762104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node134 at 2016-06-30 23:15:00