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 | 268.723 | 288.088 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo |
| MD5SUM | 9aae741b51a1836a01c8daeb1bffcdf7 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 12.1871 |
| 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 | 69 |
| 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 | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1228 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 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.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4091981-1467319139.wbo 0.11/0.11 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.066s. 0.11/0.17 c declared #vars 169 0.11/0.17 c internal #vars 238 0.11/0.17 c #constraints 101 0.11/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.11/0.17 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.11/0.17 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.11/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.11/0.17 c 101 constraints processed. 0.11/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.11/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.11/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.11/0.18 c 101 constraints processed. 0.11/0.18 c objective function length is 69 literals 0.67/0.38 c And the winner is solver0 1.30/0.68 c SATISFIABLE 1.30/0.68 c OPTIMIZING... 1.30/0.68 c Got one! Elapsed wall clock time (in seconds):0.571 1.30/0.68 o 674 1.30/0.68 c And the winner is solver0 1.31/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 1.31/1.18 o 673 1.38/1.21 c And the winner is solver0 1.59/1.68 c Got one! Elapsed wall clock time (in seconds):1.573 1.59/1.68 o 659 1.59/1.69 c And the winner is solver0 1.60/2.18 c Got one! Elapsed wall clock time (in seconds):2.074 1.60/2.18 o 656 1.60/2.19 c And the winner is solver0 1.64/2.68 c Got one! Elapsed wall clock time (in seconds):2.575 1.64/2.68 o 632 1.68/2.72 c And the winner is solver0 1.77/3.18 c Got one! Elapsed wall clock time (in seconds):3.077 1.77/3.18 o 631 1.82/3.21 c And the winner is solver0 1.90/3.68 c Got one! Elapsed wall clock time (in seconds):3.578 1.90/3.68 o 627 1.90/3.69 c And the winner is solver0 1.90/4.18 c Got one! Elapsed wall clock time (in seconds):4.079 1.90/4.18 o 625 1.90/4.19 c And the winner is solver0 1.90/4.69 c Got one! Elapsed wall clock time (in seconds):4.58 1.90/4.69 o 611 1.90/4.69 c And the winner is solver0 1.93/5.19 c Got one! Elapsed wall clock time (in seconds):5.081 1.93/5.19 o 610 1.95/5.20 c And the winner is solver0 1.98/5.69 c Got one! Elapsed wall clock time (in seconds):5.582 1.98/5.69 o 607 1.98/5.70 c And the winner is solver0 2.00/6.19 c Got one! Elapsed wall clock time (in seconds):6.084 2.00/6.19 o 606 2.01/6.21 c And the winner is solver0 2.11/6.69 c Got one! Elapsed wall clock time (in seconds):6.585 2.11/6.69 o 604 2.73/6.90 c cleaning 4198 clauses out of 8414 with flag 11728/8414 2.73/6.97 c And the winner is solver1 2.93/7.19 c Got one! Elapsed wall clock time (in seconds):7.086 2.93/7.19 o 603 2.94/7.20 c And the winner is solver0 2.94/7.69 c Got one! Elapsed wall clock time (in seconds):7.587 2.94/7.69 o 561 2.94/7.69 c And the winner is solver0 3.51/8.24 c Got one! Elapsed wall clock time (in seconds):8.138 3.51/8.24 o 532 3.51/8.25 c And the winner is solver0 3.52/8.74 c Got one! Elapsed wall clock time (in seconds):8.639 3.52/8.74 o 531 3.52/8.75 c And the winner is solver0 3.53/9.25 c Got one! Elapsed wall clock time (in seconds):9.14 3.53/9.25 o 528 3.53/9.25 c And the winner is solver0 3.53/9.75 c Got one! Elapsed wall clock time (in seconds):9.641 3.53/9.75 o 527 3.53/9.75 c And the winner is solver0 3.54/10.25 c Got one! Elapsed wall clock time (in seconds):10.142 3.54/10.25 o 486 3.54/10.25 c And the winner is solver0 3.54/10.75 c Got one! Elapsed wall clock time (in seconds):10.643 3.54/10.75 o 478 3.54/10.75 c And the winner is solver0 3.56/11.25 c Got one! Elapsed wall clock time (in seconds):11.143 3.56/11.25 o 476 3.56/11.25 c And the winner is solver0 3.56/11.75 c Got one! Elapsed wall clock time (in seconds):11.644 3.56/11.75 o 462 3.56/11.75 c And the winner is solver0 3.57/12.25 c Got one! Elapsed wall clock time (in seconds):12.145 3.57/12.25 o 455 3.57/12.26 c And the winner is solver0 3.59/12.75 c Got one! Elapsed wall clock time (in seconds):12.646 3.59/12.75 o 448 3.59/12.75 c And the winner is solver0 3.59/13.25 c Got one! Elapsed wall clock time (in seconds):13.147 3.59/13.25 o 440 3.59/13.27 c And the winner is solver0 3.63/13.75 c Got one! Elapsed wall clock time (in seconds):13.648 3.63/13.75 o 439 3.63/13.76 c And the winner is solver0 3.64/14.25 c Got one! Elapsed wall clock time (in seconds):14.149 3.64/14.25 o 429 3.64/14.28 c And the winner is solver0 3.69/14.76 c Got one! Elapsed wall clock time (in seconds):14.65 3.69/14.76 o 428 3.69/14.76 c And the winner is solver0 3.69/15.26 c Got one! Elapsed wall clock time (in seconds):15.151 3.69/15.26 o 420 3.69/15.26 c And the winner is solver0 3.69/15.76 c Got one! Elapsed wall clock time (in seconds):15.652 3.69/15.76 o 419 3.69/15.76 c And the winner is solver0 3.69/16.26 c Got one! Elapsed wall clock time (in seconds):16.153 3.69/16.26 o 418 3.69/16.26 c And the winner is solver0 3.70/16.76 c Got one! Elapsed wall clock time (in seconds):16.654 3.70/16.76 o 410 3.70/16.76 c And the winner is solver0 3.70/17.26 c Got one! Elapsed wall clock time (in seconds):17.155 3.70/17.26 o 401 3.70/17.27 c And the winner is solver0 3.70/17.76 c Got one! Elapsed wall clock time (in seconds):17.656 3.70/17.76 o 398 3.70/17.77 c And the winner is solver0 3.72/18.26 c Got one! Elapsed wall clock time (in seconds):18.156 3.72/18.26 o 397 3.72/18.27 c And the winner is solver0 3.72/18.76 c Got one! Elapsed wall clock time (in seconds):18.657 3.72/18.76 o 396 3.72/18.77 c And the winner is solver0 3.72/19.26 c Got one! Elapsed wall clock time (in seconds):19.158 3.72/19.26 o 359 3.72/19.27 c And the winner is solver0 3.73/19.76 c Got one! Elapsed wall clock time (in seconds):19.659 3.73/19.76 o 349 3.73/19.77 c And the winner is solver0 3.73/20.27 c Got one! Elapsed wall clock time (in seconds):20.16 3.73/20.27 o 347 3.73/20.28 c And the winner is solver0 3.78/20.77 c Got one! Elapsed wall clock time (in seconds):20.661 3.78/20.77 o 346 3.78/20.79 c And the winner is solver0 4.00/21.27 c Got one! Elapsed wall clock time (in seconds):21.162 4.00/21.27 o 344 4.00/21.27 c And the winner is solver0 4.00/21.77 c Got one! Elapsed wall clock time (in seconds):21.662 4.00/21.77 o 342 4.00/21.77 c And the winner is solver0 4.00/22.27 c Got one! Elapsed wall clock time (in seconds):22.163 4.00/22.27 o 340 4.00/22.29 c And the winner is solver0 4.10/22.77 c Got one! Elapsed wall clock time (in seconds):22.664 4.10/22.77 o 339 4.10/22.78 c And the winner is solver0 4.10/23.27 c Got one! Elapsed wall clock time (in seconds):23.165 4.10/23.27 o 338 4.10/23.27 c And the winner is solver0 4.10/23.77 c Got one! Elapsed wall clock time (in seconds):23.666 4.10/23.77 o 332 4.10/23.78 c And the winner is solver0 4.10/24.27 c Got one! Elapsed wall clock time (in seconds):24.167 4.10/24.27 o 327 4.18/24.31 c And the winner is solver0 4.22/24.77 c Got one! Elapsed wall clock time (in seconds):24.668 4.22/24.77 o 304 4.22/24.79 c And the winner is solver0 4.26/25.27 c Got one! Elapsed wall clock time (in seconds):25.169 4.26/25.27 o 297 4.26/25.29 c And the winner is solver0 4.31/25.78 c Got one! Elapsed wall clock time (in seconds):25.67 4.31/25.78 o 296 4.31/25.79 c And the winner is solver0 4.35/26.28 c Got one! Elapsed wall clock time (in seconds):26.171 4.35/26.28 o 294 4.35/26.30 c And the winner is solver0 4.41/26.78 c Got one! Elapsed wall clock time (in seconds):26.672 4.41/26.78 o 292 4.41/26.78 c And the winner is solver0 4.41/27.28 c Got one! Elapsed wall clock time (in seconds):27.173 4.41/27.28 o 290 4.46/27.31 c And the winner is solver0 4.50/27.78 c Got one! Elapsed wall clock time (in seconds):27.673 4.50/27.78 o 289 4.53/27.80 c And the winner is solver0 4.56/28.28 c Got one! Elapsed wall clock time (in seconds):28.174 4.56/28.28 o 262 4.56/28.30 c And the winner is solver0 4.60/28.78 c Got one! Elapsed wall clock time (in seconds):28.675 4.60/28.78 o 260 4.60/28.79 c And the winner is solver0 4.64/29.28 c Got one! Elapsed wall clock time (in seconds):29.176 4.64/29.28 o 259 4.67/29.30 c And the winner is solver0 4.69/29.78 c Got one! Elapsed wall clock time (in seconds):29.677 4.69/29.78 o 258 4.69/29.80 c And the winner is solver0 4.76/30.28 c Got one! Elapsed wall clock time (in seconds):30.178 4.76/30.28 o 255 4.80/30.32 c And the winner is solver0 4.87/30.78 c Got one! Elapsed wall clock time (in seconds):30.679 4.87/30.78 o 246 4.91/30.81 c And the winner is solver0 4.94/31.28 c Got one! Elapsed wall clock time (in seconds):31.179 4.94/31.28 o 245 4.97/31.31 c And the winner is solver0 5.01/31.79 c Got one! Elapsed wall clock time (in seconds):31.68 5.01/31.79 o 244 5.02/31.80 c And the winner is solver0 5.05/32.29 c Got one! Elapsed wall clock time (in seconds):32.181 5.05/32.29 o 242 5.07/32.32 c And the winner is solver0 5.13/32.79 c Got one! Elapsed wall clock time (in seconds):32.682 5.13/32.79 o 233 5.15/32.80 c And the winner is solver0 5.18/33.29 c Got one! Elapsed wall clock time (in seconds):33.183 5.18/33.29 o 227 5.19/33.30 c And the winner is solver0 5.23/33.79 c Got one! Elapsed wall clock time (in seconds):33.683 5.23/33.79 o 220 5.24/33.80 c And the winner is solver0 5.28/34.29 c Got one! Elapsed wall clock time (in seconds):34.184 5.28/34.29 o 202 5.29/34.32 c And the winner is solver0 5.37/34.79 c Got one! Elapsed wall clock time (in seconds):34.685 5.37/34.79 o 200 5.38/34.81 c And the winner is solver0 5.43/35.29 c Got one! Elapsed wall clock time (in seconds):35.186 5.43/35.29 o 192 5.50/35.35 c And the winner is solver0 5.59/35.79 c Got one! Elapsed wall clock time (in seconds):35.686 5.59/35.79 o 191 5.60/35.81 c And the winner is solver0 5.66/36.29 c Got one! Elapsed wall clock time (in seconds):36.187 5.66/36.29 o 173 5.68/36.32 c And the winner is solver0 5.73/36.79 c Got one! Elapsed wall clock time (in seconds):36.688 5.73/36.79 o 164 5.74/36.81 c And the winner is solver0 5.79/37.29 c Got one! Elapsed wall clock time (in seconds):37.188 5.79/37.29 o 163 5.80/37.31 c And the winner is solver0 5.84/37.79 c Got one! Elapsed wall clock time (in seconds):37.689 5.84/37.79 o 162 5.84/37.84 c And the winner is solver0 5.96/38.30 c Got one! Elapsed wall clock time (in seconds):38.19 5.96/38.30 o 160 5.96/38.32 c And the winner is solver0 6.03/38.80 c Got one! Elapsed wall clock time (in seconds):38.69 6.03/38.80 o 159 6.03/38.83 c And the winner is solver0 6.12/39.30 c Got one! Elapsed wall clock time (in seconds):39.191 6.12/39.30 o 142 6.12/39.35 c And the winner is solver0 6.27/39.80 c Got one! Elapsed wall clock time (in seconds):39.692 6.27/39.80 o 126 6.27/39.82 c And the winner is solver0 6.34/40.30 c Got one! Elapsed wall clock time (in seconds):40.193 6.34/40.30 o 118 6.34/40.32 c And the winner is solver0 6.40/40.80 c Got one! Elapsed wall clock time (in seconds):40.693 6.40/40.80 o 114 6.40/40.83 c And the winner is solver0 6.49/41.30 c Got one! Elapsed wall clock time (in seconds):41.194 6.49/41.30 o 111 6.49/41.39 c And the winner is solver0 6.68/41.80 c Got one! Elapsed wall clock time (in seconds):41.695 6.68/41.80 o 108 6.68/41.82 c And the winner is solver0 6.73/42.30 c Got one! Elapsed wall clock time (in seconds):42.196 6.73/42.30 o 101 6.73/42.34 c And the winner is solver0 6.82/42.80 c Got one! Elapsed wall clock time (in seconds):42.696 6.82/42.80 o 98 7.30/43.03 c cleaning 13553 clauses out of 27105 with flag 7672/31303 7.30/43.05 c And the winner is solver0 7.65/43.30 c Got one! Elapsed wall clock time (in seconds):43.197 7.65/43.30 o 92 7.65/43.38 c And the winner is solver0 7.82/43.80 c Got one! Elapsed wall clock time (in seconds):43.698 7.82/43.80 o 90 7.82/43.83 c And the winner is solver0 7.90/44.30 c Got one! Elapsed wall clock time (in seconds):44.199 7.90/44.30 o 88 7.90/44.37 c And the winner is solver0 8.06/44.81 c Got one! Elapsed wall clock time (in seconds):44.7 8.06/44.81 o 87 8.06/44.84 c And the winner is solver0 8.15/45.31 c Got one! Elapsed wall clock time (in seconds):45.201 8.15/45.31 o 81 8.33/45.41 c And the winner is solver0 8.43/45.81 c Got one! Elapsed wall clock time (in seconds):45.703 8.43/45.81 o 73 8.43/45.83 c And the winner is solver0 8.49/46.31 c Got one! Elapsed wall clock time (in seconds):46.204 8.49/46.31 o 71 8.67/46.45 c cleaning 11001 clauses out of 22001 with flag 7200/39752 9.56/46.75 c cleaning 8500 clauses out of 17000 with flag 28151/45752 10.26/47.06 c cleaning 7749 clauses out of 15500 with flag 53843/52752 11.10/47.44 c cleaning 7872 clauses out of 15752 with flag 87766/60753 11.88/47.83 c cleaning 8431 clauses out of 16879 with flag 121671/69752 12.93/48.34 c cleaning 9224 clauses out of 18448 with flag 169560/79752 14.13/48.91 c cleaning 10111 clauses out of 20226 with flag 222806/90754 15.34/49.56 c cleaning 11057 clauses out of 22115 with flag 277579/102754 16.75/50.28 c cleaning 12031 clauses out of 24061 with flag 334239/115757 16.95/50.38 c And the winner is solver1 17.11/50.81 c Got one! Elapsed wall clock time (in seconds):50.707 17.11/50.81 o 70 17.28/50.97 c cleaning 8649 clauses out of 17298 with flag 13976/121025 17.68/51.17 c And the winner is solver0 18.26/51.67 c Got one! Elapsed wall clock time (in seconds):51.56 18.26/51.67 o 61 18.40/51.72 c cleaning 7130 clauses out of 14262 with flag 4193/126638 18.79/51.97 c cleaning 6559 clauses out of 13132 with flag 29985/132638 18.99/52.06 c And the winner is solver0 19.16/52.17 c Got one! Elapsed wall clock time (in seconds):52.064 19.16/52.17 o 59 19.46/52.32 c cleaning 6095 clauses out of 12198 with flag 13502/138263 19.86/52.57 c cleaning 6044 clauses out of 12106 with flag 39967/144266 20.47/52.86 c cleaning 6524 clauses out of 13059 with flag 70589/151263 21.25/53.20 c cleaning 7267 clauses out of 14535 with flag 104547/159263 21.45/53.38 c And the winner is solver0 21.70/53.67 c Got one! Elapsed wall clock time (in seconds):53.569 21.70/53.67 o 58 21.74/53.73 c cleaning 6434 clauses out of 12875 with flag 4278/164870 22.15/53.99 c cleaning 6220 clauses out of 12442 with flag 32316/170871 22.74/54.29 c cleaning 6609 clauses out of 13223 with flag 63931/177872 22.94/54.34 c And the winner is solver0 23.14/54.68 c Got one! Elapsed wall clock time (in seconds):54.573 23.14/54.68 o 53 23.38/54.86 c cleaning 6029 clauses out of 12061 with flag 17956/183319 23.82/55.09 c cleaning 6010 clauses out of 12028 with flag 44032/189315 24.41/55.37 c cleaning 6507 clauses out of 13020 with flag 74611/196317 25.21/55.71 c cleaning 7255 clauses out of 14514 with flag 108648/204318 25.81/56.10 c cleaning 8123 clauses out of 16256 with flag 151615/213315 26.61/56.47 c And the winner is solver0 26.98/56.73 c Got one! Elapsed wall clock time (in seconds):56.627 26.98/56.73 o 52 27.52/57.00 c cleaning 10978 clauses out of 21959 with flag 24120/227141 27.92/57.27 c cleaning 8492 clauses out of 16984 with flag 54382/233144 28.51/57.57 c cleaning 7739 clauses out of 15488 with flag 85648/240140 28.71/57.63 c And the winner is solver0 28.82/57.74 c Got one! Elapsed wall clock time (in seconds):57.632 28.82/57.74 o 46 29.13/57.92 c cleaning 6680 clauses out of 13371 with flag 18774/245762 29.53/58.17 c cleaning 6337 clauses out of 12690 with flag 47340/251761 29.94/58.30 c And the winner is solver0 30.11/58.74 c Got one! Elapsed wall clock time (in seconds):58.637 30.11/58.74 o 44 30.21/58.83 c cleaning 5986 clauses out of 11978 with flag 8597/257386 30.61/59.07 c cleaning 5995 clauses out of 11992 with flag 33096/263386 31.21/59.34 c cleaning 6495 clauses out of 12997 with flag 63696/270386 31.81/59.68 c cleaning 7251 clauses out of 14503 with flag 100173/278387 32.61/60.07 c cleaning 8125 clauses out of 16254 with flag 140047/287389 33.63/60.51 c cleaning 9061 clauses out of 18126 with flag 183178/297386 34.61/61.03 c cleaning 10032 clauses out of 20066 with flag 234823/308387 35.83/61.62 c cleaning 11014 clauses out of 22033 with flag 289865/320386 37.02/62.26 c cleaning 12010 clauses out of 24019 with flag 344972/333387 38.42/62.96 c cleaning 13004 clauses out of 26008 with flag 406403/347387 40.24/63.81 c cleaning 13997 clauses out of 28002 with flag 476234/362386 41.22/64.31 c And the winner is solver0 41.83/65.00 c Got one! Elapsed wall clock time (in seconds):64.894 41.83/65.00 o 42 42.49/65.34 c cleaning 14472 clauses out of 28954 with flag 21881/377336 43.09/65.64 c cleaning 10236 clauses out of 20482 with flag 47769/383336 43.69/65.96 c cleaning 8620 clauses out of 17244 with flag 76015/390337 44.49/66.30 c cleaning 8307 clauses out of 16622 with flag 105888/398336 45.29/66.70 c cleaning 8655 clauses out of 17313 with flag 143150/407336 46.10/67.14 c cleaning 9327 clauses out of 18655 with flag 182037/417339 46.30/67.27 c And the winner is solver0 46.76/67.66 c Got one! Elapsed wall clock time (in seconds):67.55 46.76/67.66 o 36 46.89/67.75 c cleaning 7288 clauses out of 14582 with flag 7566/422597 46.89/67.76 c And the winner is solver0 47.64/68.41 c Got one! Elapsed wall clock time (in seconds):68.305 47.64/68.41 o 35 47.64/68.49 c And the winner is solver0 48.39/69.17 c Got one! Elapsed wall clock time (in seconds):69.063 48.39/69.17 o 34 48.39/69.18 c And the winner is solver0 68.14/88.67 c Got one! Elapsed wall clock time (in seconds):88.557 68.14/88.67 o 33 68.14/88.68 c And the winner is solver0 70.41/90.98 c Got one! Elapsed wall clock time (in seconds):90.877 70.41/90.98 o 29 70.50/91.01 c And the winner is solver0 75.71/96.16 c Got one! Elapsed wall clock time (in seconds):96.055 75.71/96.16 o 28 75.81/96.20 c And the winner is solver0 84.79/105.16 c Got one! Elapsed wall clock time (in seconds):105.052 84.79/105.16 o 27 84.84/105.21 c And the winner is solver0 126.38/146.58 c Got one! Elapsed wall clock time (in seconds):146.474 126.38/146.58 o 26 126.38/146.63 c And the winner is solver0 129.93/150.14 c Got one! Elapsed wall clock time (in seconds):150.03 129.93/150.14 o 25 129.93/150.19 c And the winner is solver0 268.53/288.07 c >>>>>>>>>> Solver number 0 (109 answers) <<<<<<<<<<<<<<<<<< 268.53/288.07 c starts : 5444 268.53/288.08 c conflicts : 426477 268.53/288.08 c decisions : 816094 268.53/288.08 c propagations : 12806384 268.53/288.08 c inspects : 216709573 268.53/288.08 c shortcuts : 0 268.53/288.08 c learnt literals : 31 268.53/288.08 c learnt binary clauses : 138 268.53/288.08 c learnt ternary clauses : 1809 268.53/288.08 c learnt constraints : 426445 268.53/288.08 c ignored constraints : 0 268.53/288.08 c root simplifications : 0 268.53/288.08 c removed literals (reason simplification) : 1802258 268.53/288.08 c reason swapping (by a shorter reason) : 0 268.53/288.08 c Calls to reduceDB : 49 268.53/288.08 c Number of update (reduction) of LBD : 136152 268.53/288.08 c Imported unit clauses : 0 268.53/288.08 c number of reductions to clauses (during analyze) : 0 268.53/288.08 c number of learned constraints concerned by reduction : 0 268.53/288.08 c number of learning phase by resolution : 0 268.53/288.08 c number of learning phase by cutting planes : 0 268.53/288.08 c speed (assignments/second) : 53977.07118049701 268.53/288.08 c non guided choices 4563 268.53/288.08 c learnt constraints type 268.53/288.08 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 268.53/288.08 c starts : 129 268.53/288.08 c conflicts : 2833 268.53/288.08 c decisions : 22778 268.53/288.08 c propagations : 116041 268.53/288.08 c inspects : 32128189 268.53/288.08 c shortcuts : 0 268.53/288.08 c learnt literals : 0 268.53/288.08 c learnt binary clauses : 0 268.53/288.08 c learnt ternary clauses : 0 268.53/288.08 c learnt constraints : 2768 268.53/288.08 c ignored constraints : 0 268.53/288.08 c root simplifications : 0 268.53/288.08 c removed literals (reason simplification) : 0 268.53/288.08 c reason swapping (by a shorter reason) : 0 268.53/288.08 c Calls to reduceDB : 0 268.53/288.08 c Number of update (reduction) of LBD : 0 268.53/288.08 c Imported unit clauses : 0 268.53/288.08 c number of reductions to clauses (during analyze) : 0 268.53/288.08 c number of learned constraints concerned by reduction : 0 268.53/288.08 c number of learning phase by resolution : 0 268.53/288.08 c number of learning phase by cutting planes : 0 268.53/288.08 c speed (assignments/second) : 842.1339100396243 268.53/288.08 c non guided choices 2094 268.53/288.08 c learnt constraints type 268.53/288.08 s OPTIMUM FOUND 268.53/288.08 c Found 110 solution(s) 268.53/288.08 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 268.53/288.08 c objective function=25 268.53/288.08 c Total wall clock time (in seconds): 287.967
OK 25
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-4091981-1467319139/watcher-4091981-1467319139 -o /tmp/evaluation-result-4091981-1467319139/solver-4091981-1467319139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467318784-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091981-1467319139.wbo pid=24837 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: 1.03 1.20 1.45 2/194 24840 /proc/meminfo: memFree=28256136/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 12872428 98570240 977 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 24065 977 743 9 0 16771 0 [pid=24840/tid=24841] ppid=24837 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24840 13693 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 12872429 98570240 977 33554432000 1073741824 1073778376 140737172815952 140340566224424 226084341120 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100159 s] /proc/loadavg: 1.03 1.20 1.45 2/194 24840 /proc/meminfo: memFree=28256136/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 12872428 9787879424 6122 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2389619 6122 2158 9 0 2380296 0 [pid=24840/tid=24841] ppid=24837 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24840 13693 0 -1 4202560 2386 0 1 0 6 2 0 0 20 0 18 0 12872429 9787879424 6123 33554432000 1073741824 1073778376 140737172815952 140340566227872 140340422108147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200284 s] /proc/loadavg: 1.03 1.20 1.45 2/194 24840 /proc/meminfo: memFree=28256136/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 4794 0 1 0 25 1 0 0 20 0 22 0 12872428 10060525568 7919 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 7919 2220 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2415 0 1 0 14 2 0 0 20 0 22 0 12872429 10060525568 7919 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9824732 [startup+0.300277 s] /proc/loadavg: 1.03 1.20 1.45 2/194 24840 /proc/meminfo: memFree=28256136/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=0.67 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 7710 0 1 0 64 3 0 0 20 0 22 0 12872428 10060525568 9996 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 9996 2248 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2415 0 1 0 14 2 0 0 20 0 22 0 12872429 10060525568 9996 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9824732 [startup+0.700325 s] /proc/loadavg: 1.03 1.20 1.45 2/194 24840 /proc/meminfo: memFree=28256136/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 13452 0 1 0 126 5 0 0 20 0 19 0 12872428 10060525568 14923 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 14923 2258 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2415 0 1 0 14 2 0 0 20 0 19 0 12872429 10060525568 14923 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 9824732 [startup+1.50076 s] /proc/loadavg: 1.03 1.20 1.45 1/213 24871 /proc/meminfo: memFree=28190468/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 14328 0 1 0 152 7 0 0 20 0 19 0 12872428 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 17060 2258 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2416 0 1 0 14 2 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12872430 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24852] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24840 13693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12872431 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340187465464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24853] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24840 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12872431 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340186412552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24854] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340185361040 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24855] ppid=24837 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24840 13693 0 -1 4202560 4466 0 0 0 45 0 0 0 20 0 19 0 12872433 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340184308152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24856] ppid=24837 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 6097 0 0 0 44 2 0 0 20 0 19 0 12872433 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24861] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24861/stat : 24861 (java) S 24837 24840 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12872447 10060525568 17060 33554432000 1073741824 1073778376 140737172815952 140340177991080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 1.03 1.20 1.44 1/213 24886 /proc/meminfo: memFree=28164948/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 14359 0 1 0 166 11 0 0 20 0 19 0 12872428 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 21159 2261 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12872429 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12872430 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24852] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24840 13693 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12872431 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340187465464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24853] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24840 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12872431 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340186412552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24854] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340185361040 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24855] ppid=24837 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24840 13693 0 -1 4202560 4466 0 0 0 48 0 0 0 20 0 19 0 12872433 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340184308152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24856] ppid=24837 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 6100 0 0 0 48 2 0 0 20 0 19 0 12872433 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12872433 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24861] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24861/stat : 24861 (java) S 24837 24840 13693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12872447 10060525568 21159 33554432000 1073741824 1073778376 140737172815952 140340177991080 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.77 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=28 pid=1797 uid=0 cmd= ############ # WARNING: # current cumulated CPU time (1.99 s) is less than in the last sample (2 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+5.70082 s] /proc/loadavg: 1.03 1.20 1.44 1/213 24925 /proc/meminfo: memFree=28114548/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=2 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 14792 0 1 0 187 13 0 0 20 0 22 0 12872428 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 29063 2269 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2419 0 1 0 15 2 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12872429 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 12872430 10060525568 29063 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 7416 0 0 0 109 2 0 0 20 0 21 0 12872433 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 12872433 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 18 0 0 0 2 3 0 0 20 0 21 0 12872433 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=25543] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/25543/stat : 25543 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12877510 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340180096552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=26222] ppid=24837 vsize=9824732 CPUtime=135.44 cores=1,3,5,7 /proc/24840/task/26222/stat : 26222 (java) R 24837 24840 13693 0 -1 4202560 36 0 0 0 13541 3 0 0 20 0 21 0 12887447 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340177988704 140340422864881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=26223] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/26223/stat : 26223 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12887456 10060525568 322158 33554432000 1073741824 1073778376 140737172815952 140340179043496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 266.91 Current children cumulated vsize (KiB) 9824732 [startup+287.208 s] /proc/loadavg: 2.12 1.72 1.59 2/215 27107 /proc/meminfo: memFree=27027024/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=267.74 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 27575 0 1 0 26561 213 0 0 20 0 21 0 12872428 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 322508 2288 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2435 0 1 0 43 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 105 0 0 0 30 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 101 0 0 0 29 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 93 0 0 0 29 4 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 117 0 0 0 30 6 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 116 0 0 0 32 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 104 0 0 0 27 7 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 120 0 0 0 35 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 126 0 0 0 33 7 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 625 0 0 0 1 7 0 0 20 0 21 0 12872430 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24852] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24840 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 12872431 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340187465464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24853] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24840 13693 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 21 0 12872431 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340186412552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24854] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340185361040 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24855] ppid=24837 vsize=9824732 CPUtime=1.58 cores=1,3,5,7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24840 13693 0 -1 4202560 12660 0 0 0 156 2 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340184308152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24856] ppid=24837 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 7416 0 0 0 109 2 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 18 0 0 0 2 3 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=25543] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/25543/stat : 25543 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12877510 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340180096552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=26222] ppid=24837 vsize=9824732 CPUtime=136.22 cores=1,3,5,7 /proc/24840/task/26222/stat : 26222 (java) R 24837 24840 13693 0 -1 4202560 37 0 0 0 13619 3 0 0 20 0 21 0 12887447 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340177989136 140340422598224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=26223] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/26223/stat : 26223 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12887456 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340179043496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 267.74 Current children cumulated vsize (KiB) 9824732 [startup+287.601 s] /proc/loadavg: 2.12 1.72 1.59 2/215 27107 /proc/meminfo: memFree=27027024/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=268.13 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 27575 0 1 0 26600 213 0 0 20 0 21 0 12872428 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 322508 2288 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) S 24837 24840 13693 0 -1 4202560 2435 0 1 0 43 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340566229880 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 105 0 0 0 30 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 101 0 0 0 29 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 93 0 0 0 29 4 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 117 0 0 0 30 6 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 116 0 0 0 32 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 104 0 0 0 27 7 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 120 0 0 0 35 5 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 126 0 0 0 33 7 0 0 20 0 21 0 12872429 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 625 0 0 0 1 7 0 0 20 0 21 0 12872430 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24852] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24840 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 12872431 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340187465464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24853] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24840 13693 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 21 0 12872431 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340186412552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24854] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340185361040 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24855] ppid=24837 vsize=9824732 CPUtime=1.58 cores=1,3,5,7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24840 13693 0 -1 4202560 12660 0 0 0 156 2 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340184308152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24856] ppid=24837 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 7416 0 0 0 109 2 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 18 0 0 0 2 3 0 0 20 0 21 0 12872433 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=25543] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/25543/stat : 25543 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12877510 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340180096552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=26222] ppid=24837 vsize=9824732 CPUtime=136.62 cores=1,3,5,7 /proc/24840/task/26222/stat : 26222 (java) R 24837 24840 13693 0 -1 4202560 37 0 0 0 13659 3 0 0 20 0 21 0 12887447 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340177989136 140340422614148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=26223] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/26223/stat : 26223 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 12887456 10060525568 322508 33554432000 1073741824 1073778376 140737172815952 140340179043496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 268.13 Current children cumulated vsize (KiB) 9824732 [startup+288.001 s] /proc/loadavg: 2.12 1.72 1.59 2/215 27107 /proc/meminfo: memFree=27027024/32872528 swapFree=1590004/1720820 [pid=24840] ppid=24837 vsize=9824732 CPUtime=268.23 cores=1,3,5,7 /proc/24840/stat : 24840 (java) S 24837 24840 13693 0 -1 4202496 27578 0 1 0 26607 216 0 0 20 0 20 0 12872428 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140737172807088 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24840/statm: 2456183 322569 2288 9 0 2446860 0 [pid=24840/tid=24841] ppid=24837 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24840 13693 0 -1 4202560 2435 0 1 0 59 5 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340566229544 140340422252482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24843] ppid=24837 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24840 13693 0 -1 4202560 105 0 0 0 30 5 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340544330792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24844] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24840 13693 0 -1 4202560 101 0 0 0 29 5 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340543277992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24845] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24840 13693 0 -1 4202560 93 0 0 0 30 4 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340542225192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24846] ppid=24837 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24840 13693 0 -1 4202560 117 0 0 0 30 6 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340541172392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24847] ppid=24837 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24840 13693 0 -1 4202560 116 0 0 0 33 5 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340203874856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24848] ppid=24837 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24840 13693 0 -1 4202560 104 0 0 0 27 7 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340202822056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24849] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24840 13693 0 -1 4202560 120 0 0 0 35 5 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340201769256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24850] ppid=24837 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24840 13693 0 -1 4202560 127 0 0 0 33 7 0 0 20 0 20 0 12872429 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340200716456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24851] ppid=24837 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24840 13693 0 -1 4202560 625 0 0 0 1 7 0 0 20 0 20 0 12872430 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340188519400 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24852] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24840 13693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 12872431 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340187465464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24853] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24840 13693 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 20 0 12872431 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340186412552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=24854] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 12872433 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340185361040 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24855] ppid=24837 vsize=9824732 CPUtime=1.6 cores=1,3,5,7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24840 13693 0 -1 4202560 12660 0 0 0 158 2 0 0 20 0 20 0 12872433 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340184308152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24840/tid=24856] ppid=24837 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24840 13693 0 -1 4202560 7417 0 0 0 110 2 0 0 20 0 20 0 12872433 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340183255352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=24857] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24840 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 12872433 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340182202744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24840/tid=24858] ppid=24837 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24840 13693 0 -1 4202560 18 0 0 0 2 3 0 0 20 0 20 0 12872433 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340181150152 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24840/tid=25543] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/25543/stat : 25543 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 12877510 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340180096552 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24840/tid=26223] ppid=24837 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/24840/task/26223/stat : 26223 (java) S 24837 24840 13693 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 12887456 10060525568 322569 33554432000 1073741824 1073778376 140737172815952 140340179043496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 268.23 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): 0.299992 # lost CPU user time (s): 0.339975 # lost CPU system time (s): -0.04 Real time (s): 288.088 CPU time (s): 268.723 CPU user time (s): 266.442 CPU system time (s): 2.28165 CPU usage (%): 93.2781 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 266.102 system time used= 2.32165 maximum resident set size= 1292728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27590 page faults= 1 swaps= 0 block input operations= 0 block output operations= 352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15422 involuntary context switches= 9908 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.70374 second user time and 2.26565 second system time The end
Begin job on node120 at 2016-06-30 22:38:59 IDJOB=4091981 IDBENCH=78850 IDSOLVER=2552 FILE ID=node120/4091981-1467319139 RUNJOBID= node120-1467318784-20067 PBS_JOBID= 20005266 Free space on /tmp= 71672 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.1110971363--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091981-1467319139/watcher-4091981-1467319139 -o /tmp/evaluation-result-4091981-1467319139/solver-4091981-1467319139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467318784-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091981-1467319139.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9aae741b51a1836a01c8daeb1bffcdf7 RANDOM SEED=160762963 node120.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.669 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.33 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.669 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 : 5332.56 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.669 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.56 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.669 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.669 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.55 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.669 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.54 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.669 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.669 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28256664 kB Buffers: 174292 kB Cached: 1852036 kB SwapCached: 0 kB Active: 380504 kB Inactive: 1767816 kB Active(anon): 124792 kB Inactive(anon): 0 kB Active(file): 255712 kB Inactive(file): 1767816 kB Unevictable: 1720820 kB Mlocked: 1590004 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1776 kB Writeback: 0 kB AnonPages: 1951400 kB Mapped: 22204 kB Shmem: 204 kB Slab: 612292 kB SReclaimable: 55860 kB SUnreclaim: 556432 kB KernelStack: 1760 kB PageTables: 8240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2413352 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 323584 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= 71672 MiB End job on node120 at 2016-06-30 22:43:47