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 | MSAT (TO) | 1800.04 | 1810.95 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo |
| MD5SUM | 9d79cffbd050edd1a538522b50ef42fc |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 5.68014 |
| 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 | 101 |
| 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 | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1250 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4110249-1466345816.wbo 0.08/0.13 c reading problem ... 0.08/0.19 c ... done. Wall clock time 0.065s. 0.08/0.19 c declared #vars 169 0.08/0.19 c internal #vars 270 0.08/0.19 c #constraints 101 0.23/0.20 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.23/0.20 c constraints type 0.23/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.23/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.23/0.20 c 101 constraints processed. 0.23/0.20 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.23/0.20 c constraints type 0.23/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.23/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.23/0.20 c 101 constraints processed. 0.23/0.20 c objective function length is 101 literals 1.77/0.60 c And the winner is solver0 2.00/0.70 c SATISFIABLE 2.00/0.70 c OPTIMIZING... 2.00/0.70 c Got one! Elapsed wall clock time (in seconds):0.57 2.00/0.70 o 804 2.00/0.70 c And the winner is solver0 2.04/1.20 c Got one! Elapsed wall clock time (in seconds):1.071 2.04/1.20 o 776 2.04/1.20 c And the winner is solver0 2.04/1.70 c Got one! Elapsed wall clock time (in seconds):1.573 2.04/1.70 o 749 2.04/1.71 c And the winner is solver0 2.04/2.20 c Got one! Elapsed wall clock time (in seconds):2.074 2.04/2.20 o 746 2.04/2.21 c And the winner is solver0 2.05/2.70 c Got one! Elapsed wall clock time (in seconds):2.575 2.05/2.70 o 689 2.05/2.71 c And the winner is solver0 2.06/3.20 c Got one! Elapsed wall clock time (in seconds):3.076 2.06/3.20 o 687 2.06/3.21 c And the winner is solver0 2.08/3.71 c Got one! Elapsed wall clock time (in seconds):3.578 2.08/3.71 o 614 2.77/3.92 c cleaning 3006 clauses out of 6033 with flag 13403/6033 2.77/3.96 c And the winner is solver0 3.37/4.21 c Got one! Elapsed wall clock time (in seconds):4.079 3.37/4.21 o 538 3.37/4.21 c And the winner is solver0 3.37/4.71 c Got one! Elapsed wall clock time (in seconds):4.581 3.37/4.71 o 531 3.37/4.71 c And the winner is solver0 3.38/5.21 c Got one! Elapsed wall clock time (in seconds):5.082 3.38/5.21 o 513 3.38/5.22 c And the winner is solver0 3.38/5.71 c Got one! Elapsed wall clock time (in seconds):5.583 3.38/5.71 o 503 3.38/5.72 c And the winner is solver0 3.43/6.21 c Got one! Elapsed wall clock time (in seconds):6.084 3.43/6.21 o 499 3.43/6.21 c And the winner is solver0 3.44/6.71 c Got one! Elapsed wall clock time (in seconds):6.585 3.44/6.71 o 490 3.44/6.72 c And the winner is solver0 3.46/7.21 c Got one! Elapsed wall clock time (in seconds):7.086 3.46/7.21 o 459 3.46/7.22 c And the winner is solver0 3.47/7.72 c Got one! Elapsed wall clock time (in seconds):7.587 3.47/7.72 o 447 3.47/7.72 c And the winner is solver0 3.47/8.22 c Got one! Elapsed wall clock time (in seconds):8.089 3.47/8.22 o 445 3.47/8.23 c And the winner is solver0 3.49/8.72 c Got one! Elapsed wall clock time (in seconds):8.59 3.49/8.72 o 443 3.49/8.72 c And the winner is solver0 3.49/9.22 c Got one! Elapsed wall clock time (in seconds):9.091 3.49/9.22 o 441 3.49/9.23 c And the winner is solver0 3.52/9.72 c Got one! Elapsed wall clock time (in seconds):9.592 3.52/9.72 o 438 3.52/9.72 c And the winner is solver0 3.53/10.22 c Got one! Elapsed wall clock time (in seconds):10.093 3.53/10.22 o 428 3.53/10.24 c And the winner is solver0 3.60/10.72 c Got one! Elapsed wall clock time (in seconds):10.594 3.60/10.72 o 420 3.60/10.73 c And the winner is solver0 3.60/11.22 c Got one! Elapsed wall clock time (in seconds):11.095 3.60/11.22 o 418 3.60/11.24 c And the winner is solver0 3.65/11.72 c Got one! Elapsed wall clock time (in seconds):11.596 3.65/11.72 o 415 3.65/11.74 c And the winner is solver0 3.69/12.22 c Got one! Elapsed wall clock time (in seconds):12.097 3.69/12.22 o 413 3.69/12.23 c And the winner is solver0 3.81/12.73 c Got one! Elapsed wall clock time (in seconds):12.598 3.81/12.73 o 412 3.81/12.73 c And the winner is solver0 3.81/13.23 c Got one! Elapsed wall clock time (in seconds):13.099 3.81/13.23 o 398 3.81/13.23 c And the winner is solver0 3.81/13.73 c Got one! Elapsed wall clock time (in seconds):13.6 3.81/13.73 o 356 3.81/13.75 c And the winner is solver0 3.88/14.23 c Got one! Elapsed wall clock time (in seconds):14.101 3.88/14.23 o 355 3.88/14.23 c And the winner is solver0 3.88/14.73 c Got one! Elapsed wall clock time (in seconds):14.602 3.88/14.73 o 349 3.88/14.74 c And the winner is solver0 3.92/15.23 c Got one! Elapsed wall clock time (in seconds):15.103 3.92/15.23 o 346 3.92/15.29 c And the winner is solver0 4.07/15.73 c Got one! Elapsed wall clock time (in seconds):15.604 4.07/15.73 o 343 4.07/15.74 c And the winner is solver0 4.07/16.23 c Got one! Elapsed wall clock time (in seconds):16.105 4.07/16.23 o 339 4.07/16.25 c And the winner is solver0 4.10/16.73 c Got one! Elapsed wall clock time (in seconds):16.606 4.10/16.73 o 335 4.22/16.85 c And the winner is solver0 4.37/17.23 c Got one! Elapsed wall clock time (in seconds):17.107 4.37/17.23 o 334 4.49/17.35 c cleaning 6600 clauses out of 13200 with flag 8726/16206 4.89/17.53 c And the winner is solver0 4.98/17.74 c Got one! Elapsed wall clock time (in seconds):17.608 4.98/17.74 o 333 5.11/17.84 c cleaning 6230 clauses out of 12469 with flag 7639/22075 5.11/17.85 c And the winner is solver0 5.29/18.24 c Got one! Elapsed wall clock time (in seconds):18.109 5.29/18.24 o 332 5.29/18.24 c And the winner is solver0 5.32/18.74 c Got one! Elapsed wall clock time (in seconds):18.614 5.32/18.74 o 327 5.32/18.77 c And the winner is solver0 5.44/19.24 c Got one! Elapsed wall clock time (in seconds):19.115 5.44/19.24 o 326 5.44/19.25 c And the winner is solver0 5.45/19.74 c Got one! Elapsed wall clock time (in seconds):19.616 5.45/19.74 o 317 5.45/19.76 c And the winner is solver0 5.50/20.24 c Got one! Elapsed wall clock time (in seconds):20.117 5.50/20.24 o 316 5.50/20.25 c And the winner is solver0 5.50/20.75 c Got one! Elapsed wall clock time (in seconds):20.618 5.50/20.75 o 315 5.60/20.81 c And the winner is solver0 5.64/21.25 c Got one! Elapsed wall clock time (in seconds):21.12 5.64/21.25 o 311 5.64/21.30 c And the winner is solver0 5.76/21.75 c Got one! Elapsed wall clock time (in seconds):21.621 5.76/21.75 o 309 5.76/21.76 c And the winner is solver0 5.81/22.25 c Got one! Elapsed wall clock time (in seconds):22.122 5.81/22.25 o 308 5.81/22.28 c And the winner is solver0 5.89/22.75 c Got one! Elapsed wall clock time (in seconds):22.622 5.89/22.75 o 306 5.89/22.76 c And the winner is solver0 5.89/23.25 c Got one! Elapsed wall clock time (in seconds):23.123 5.89/23.25 o 292 5.89/23.27 c And the winner is solver0 5.94/23.75 c Got one! Elapsed wall clock time (in seconds):23.624 5.94/23.75 o 272 6.03/23.82 c And the winner is solver0 6.09/24.25 c Got one! Elapsed wall clock time (in seconds):24.125 6.09/24.25 o 270 6.09/24.26 c And the winner is solver0 6.10/24.75 c Got one! Elapsed wall clock time (in seconds):24.626 6.10/24.75 o 231 6.40/24.91 c cleaning 7757 clauses out of 15547 with flag 13463/31383 6.62/25.09 c And the winner is solver0 6.84/25.25 c Got one! Elapsed wall clock time (in seconds):25.126 6.84/25.25 o 226 6.84/25.29 c And the winner is solver0 6.93/25.76 c Got one! Elapsed wall clock time (in seconds):25.627 6.93/25.76 o 225 7.01/25.88 c cleaning 7027 clauses out of 14063 with flag 8307/37656 7.22/25.93 c And the winner is solver0 7.30/26.26 c Got one! Elapsed wall clock time (in seconds):26.128 7.30/26.26 o 213 7.38/26.31 c And the winner is solver0 7.41/26.76 c Got one! Elapsed wall clock time (in seconds):26.629 7.41/26.76 o 197 7.49/26.80 c And the winner is solver0 7.52/27.26 c Got one! Elapsed wall clock time (in seconds):27.13 7.52/27.26 o 194 7.52/27.27 c And the winner is solver0 7.54/27.76 c Got one! Elapsed wall clock time (in seconds):27.631 7.54/27.76 o 193 7.54/27.79 c And the winner is solver0 7.60/28.26 c Got one! Elapsed wall clock time (in seconds):28.131 7.60/28.26 o 191 7.60/28.29 c And the winner is solver0 7.67/28.76 c Got one! Elapsed wall clock time (in seconds):28.632 7.67/28.76 o 190 7.74/28.87 c And the winner is solver0 7.92/29.26 c Got one! Elapsed wall clock time (in seconds):29.133 7.92/29.26 o 184 7.99/29.32 c cleaning 7238 clauses out of 14484 with flag 3932/45104 7.99/29.33 c And the winner is solver0 8.07/29.76 c Got one! Elapsed wall clock time (in seconds):29.634 8.07/29.76 o 183 8.07/29.79 c And the winner is solver0 8.16/30.26 c Got one! Elapsed wall clock time (in seconds):30.135 8.16/30.26 o 181 8.23/30.31 c And the winner is solver0 8.28/30.76 c Got one! Elapsed wall clock time (in seconds):30.636 8.28/30.76 o 180 8.35/30.80 c And the winner is solver0 8.37/31.26 c Got one! Elapsed wall clock time (in seconds):31.136 8.37/31.26 o 179 8.43/31.30 c And the winner is solver0 8.45/31.77 c Got one! Elapsed wall clock time (in seconds):31.637 8.45/31.77 o 176 8.45/31.80 c And the winner is solver0 8.52/32.27 c Got one! Elapsed wall clock time (in seconds):32.138 8.52/32.27 o 166 8.58/32.39 c And the winner is solver0 8.79/32.77 c Got one! Elapsed wall clock time (in seconds):32.639 8.79/32.77 o 157 8.79/32.79 c And the winner is solver0 8.85/33.27 c Got one! Elapsed wall clock time (in seconds):33.14 8.85/33.27 o 152 8.85/33.29 c And the winner is solver0 8.91/33.77 c Got one! Elapsed wall clock time (in seconds):33.64 8.91/33.77 o 145 8.91/33.79 c And the winner is solver0 8.98/34.27 c Got one! Elapsed wall clock time (in seconds):34.141 8.98/34.27 o 142 8.98/34.28 c And the winner is solver0 9.03/34.77 c Got one! Elapsed wall clock time (in seconds):34.642 9.03/34.77 o 141 9.08/34.85 c And the winner is solver0 9.22/35.27 c Got one! Elapsed wall clock time (in seconds):35.143 9.22/35.27 o 133 9.29/35.32 c And the winner is solver0 9.33/35.77 c Got one! Elapsed wall clock time (in seconds):35.643 9.33/35.77 o 132 9.38/35.88 c And the winner is solver0 9.57/36.27 c Got one! Elapsed wall clock time (in seconds):36.144 9.57/36.27 o 131 9.57/36.29 c And the winner is solver0 9.63/36.77 c Got one! Elapsed wall clock time (in seconds):36.645 9.63/36.77 o 116 9.69/36.83 c And the winner is solver0 9.80/37.27 c Got one! Elapsed wall clock time (in seconds):37.146 9.80/37.27 o 88 9.86/37.40 c cleaning 10306 clauses out of 20617 with flag 3466/58475 11.06/37.75 c cleaning 8152 clauses out of 16311 with flag 27685/64475 11.55/37.98 c And the winner is solver0 11.72/38.27 c Got one! Elapsed wall clock time (in seconds):38.147 11.72/38.27 o 84 11.77/38.35 c cleaning 6833 clauses out of 13681 with flag 4306/69997 12.19/38.53 c And the winner is solver0 12.29/38.78 c Got one! Elapsed wall clock time (in seconds):38.648 12.29/38.78 o 80 12.29/38.80 c And the winner is solver0 12.35/39.28 c Got one! Elapsed wall clock time (in seconds):39.149 12.35/39.28 o 70 12.40/39.33 c And the winner is solver0 12.59/39.78 c Got one! Elapsed wall clock time (in seconds):39.651 12.59/39.78 o 69 12.63/39.89 c cleaning 7048 clauses out of 14100 with flag 7068/77249 12.83/39.97 c And the winner is solver0 13.01/40.28 c Got one! Elapsed wall clock time (in seconds):40.152 13.01/40.28 o 58 13.24/40.44 c And the winner is solver0 13.35/40.78 c Got one! Elapsed wall clock time (in seconds):40.654 13.35/40.78 o 49 13.39/40.84 c cleaning 6685 clauses out of 13384 with flag 3913/83581 13.98/41.10 c cleaning 6346 clauses out of 12701 with flag 25966/89583 14.18/41.22 c And the winner is solver0 14.40/41.43 c Got one! Elapsed wall clock time (in seconds):41.306 14.40/41.43 o 48 14.53/41.52 c cleaning 5728 clauses out of 11456 with flag 6829/94684 14.53/41.55 c And the winner is solver0 14.66/41.94 c Got one! Elapsed wall clock time (in seconds):41.808 14.66/41.94 o 42 14.98/42.15 c cleaning 5842 clauses out of 11685 with flag 18932/100641 15.18/42.21 c And the winner is solver0 15.49/42.54 c Got one! Elapsed wall clock time (in seconds):42.41 15.49/42.54 o 40 15.84/42.70 c cleaning 5666 clauses out of 11354 with flag 14930/106152 16.25/42.94 c cleaning 5844 clauses out of 11688 with flag 36341/112152 16.84/43.23 c cleaning 6412 clauses out of 12845 with flag 60885/119153 17.44/43.58 c cleaning 7206 clauses out of 14433 with flag 87608/127153 18.24/43.98 c cleaning 8108 clauses out of 16225 with flag 117779/136152 19.24/44.49 c cleaning 9052 clauses out of 18116 with flag 151853/146152 19.44/44.57 c And the winner is solver0 19.61/45.04 c Got one! Elapsed wall clock time (in seconds):44.914 19.61/45.04 o 39 19.93/45.22 c cleaning 7375 clauses out of 14758 with flag 13858/151846 19.93/45.25 c And the winner is solver0 20.04/45.54 c Got one! Elapsed wall clock time (in seconds):45.416 20.04/45.54 o 38 20.34/45.78 c cleaning 6641 clauses out of 13310 with flag 24594/157773 20.94/46.06 c cleaning 6328 clauses out of 12670 with flag 51890/163774 21.57/46.39 c cleaning 6669 clauses out of 13342 with flag 81376/170774 22.37/46.78 c cleaning 7333 clauses out of 14672 with flag 116752/178773 23.36/47.22 c cleaning 8170 clauses out of 16339 with flag 152457/187773 23.78/47.46 c And the winner is solver0 24.09/47.70 c Got one! Elapsed wall clock time (in seconds):47.57 24.09/47.70 o 35 24.09/47.79 c And the winner is solver0 24.31/48.20 c Got one! Elapsed wall clock time (in seconds):48.073 24.31/48.20 o 32 24.71/48.41 c cleaning 9497 clauses out of 19004 with flag 14247/198608 25.10/48.66 c cleaning 7752 clauses out of 15508 with flag 37407/204610 25.71/48.99 c cleaning 7372 clauses out of 14754 with flag 64144/211608 26.51/49.35 c cleaning 7684 clauses out of 15384 with flag 93891/219610 27.30/49.77 c cleaning 8350 clauses out of 16700 with flag 126490/228610 28.31/50.29 c cleaning 9167 clauses out of 18347 with flag 167195/238608 29.51/50.84 c cleaning 10083 clauses out of 20179 with flag 211600/249608 29.91/51.01 c And the winner is solver0 32.32/53.46 c Got one! Elapsed wall clock time (in seconds):53.331 32.32/53.46 o 30 32.44/53.56 c cleaning 7871 clauses out of 15759 with flag 8292/255271 32.84/53.71 c And the winner is solver0 32.92/53.96 c Got one! Elapsed wall clock time (in seconds):53.836 32.92/53.96 o 28 32.99/54.07 c cleaning 6934 clauses out of 13878 with flag 7993/261261 32.99/54.08 c And the winner is solver0 33.20/54.47 c Got one! Elapsed wall clock time (in seconds):54.341 33.20/54.47 o 27 33.47/54.68 c cleaning 6096 clauses out of 12200 with flag 18164/266517 34.06/54.93 c cleaning 6051 clauses out of 12106 with flag 40427/272519 34.66/55.20 c cleaning 6525 clauses out of 13054 with flag 65511/279519 35.33/55.54 c cleaning 7259 clauses out of 14527 with flag 96349/287518 36.14/55.95 c cleaning 8121 clauses out of 16267 with flag 131418/296517 37.14/56.44 c cleaning 9070 clauses out of 18146 with flag 173378/306518 37.74/56.79 c And the winner is solver0 38.01/56.97 c Got one! Elapsed wall clock time (in seconds):56.846 38.01/56.97 o 26 38.46/57.24 c cleaning 11108 clauses out of 22221 with flag 19548/319663 38.67/57.33 c And the winner is solver0 38.78/57.48 c Got one! Elapsed wall clock time (in seconds):57.352 38.78/57.48 o 25 39.06/57.64 c cleaning 8165 clauses out of 16338 with flag 12965/324888 39.67/57.91 c cleaning 7084 clauses out of 14172 with flag 37884/330887 40.27/58.20 c cleaning 7040 clauses out of 14089 with flag 65629/337889 40.87/58.54 c cleaning 7524 clauses out of 15047 with flag 97034/345887 41.66/58.94 c cleaning 8253 clauses out of 16522 with flag 131679/354887 42.46/59.40 c cleaning 9131 clauses out of 18269 with flag 170164/364887 43.66/59.95 c cleaning 10061 clauses out of 20138 with flag 213707/375888 44.88/60.58 c cleaning 11037 clauses out of 22076 with flag 261769/387887 45.08/60.66 c And the winner is solver0 45.21/60.99 c Got one! Elapsed wall clock time (in seconds):60.86 45.21/60.99 o 24 45.42/61.18 c cleaning 8498 clauses out of 17006 with flag 14981/393856 46.02/61.43 c cleaning 7250 clauses out of 14507 with flag 37705/399857 46.64/61.72 c cleaning 7120 clauses out of 14256 with flag 64745/406856 47.23/62.06 c cleaning 7560 clauses out of 15135 with flag 95988/414855 47.83/62.32 c And the winner is solver0 47.96/62.49 c Got one! Elapsed wall clock time (in seconds):62.367 47.96/62.49 o 18 48.20/62.66 c And the winner is solver0 48.51/63.00 c Got one! Elapsed wall clock time (in seconds):62.875 48.51/63.00 o 17 48.69/63.12 c cleaning 9706 clauses out of 19434 with flag 8083/426717 49.09/63.39 c cleaning 7859 clauses out of 15729 with flag 31944/432718 49.49/63.56 c And the winner is solver0 49.77/64.01 c Got one! Elapsed wall clock time (in seconds):63.883 49.77/64.01 o 14 49.77/64.08 c cleaning 6614 clauses out of 13244 with flag 4454/438092 50.34/64.31 c cleaning 6304 clauses out of 12626 with flag 28049/444088 50.54/64.42 c And the winner is solver0 50.61/64.52 c Got one! Elapsed wall clock time (in seconds):64.392 50.61/64.52 o 13 50.61/64.59 c And the winner is solver0 50.84/65.03 c Got one! Elapsed wall clock time (in seconds):64.902 50.84/65.03 o 10 50.84/65.08 c And the winner is solver0 50.97/65.55 c Got one! Elapsed wall clock time (in seconds):65.419 50.97/65.55 o 7 50.97/65.58 c And the winner is solver0 51.05/66.06 c Got one! Elapsed wall clock time (in seconds):65.929 51.05/66.06 o 6 51.05/66.07 c And the winner is solver0 200.24/214.06 c Got one! Elapsed wall clock time (in seconds):213.929 200.24/214.06 o 2 200.24/214.12 c And the winner is solver0 1800.04/1810.90 c >>>>>>>>>> Solver number 0 (102 answers) <<<<<<<<<<<<<<<<<< 1800.04/1810.90 c starts : 254 1800.04/1810.90 c conflicts : 449774 1800.04/1810.90 c decisions : 783330 1800.04/1810.90 c propagations : 11939909 1800.04/1810.90 c inspects : 218104890 1800.04/1810.90 c shortcuts : 0 1800.04/1810.90 c learnt literals : 24 1800.04/1810.90 c learnt binary clauses : 26 1800.04/1810.90 c learnt ternary clauses : 822 1800.04/1810.90 c learnt constraints : 449750 1800.04/1810.90 c ignored constraints : 0 1800.04/1810.90 c root simplifications : 0 1800.04/1810.90 c removed literals (reason simplification) : 215411 1800.04/1810.90 c reason swapping (by a shorter reason) : 0 1800.04/1810.90 c Calls to reduceDB : 58 1800.04/1810.90 c Number of update (reduction) of LBD : 128254 1800.04/1810.90 c Imported unit clauses : 0 1800.04/1810.90 c number of reductions to clauses (during analyze) : 0 1800.04/1810.90 c number of learned constraints concerned by reduction : 0 1800.04/1810.90 c number of learning phase by resolution : 0 1800.04/1810.90 c number of learning phase by cutting planes : 0 1800.04/1810.90 c speed (assignments/second) : 6594.073682983902 1800.04/1810.90 c non guided choices 4728 1800.04/1810.91 c learnt constraints type 1800.04/1810.91 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 26 1800.04/1810.91 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11976 1800.04/1810.91 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.04/1810.91 c starts : 109 1800.04/1810.91 c conflicts : 2066 1800.04/1810.91 c decisions : 19853 1800.04/1810.91 c propagations : 91033 1800.04/1810.91 c inspects : 16311963 1800.04/1810.91 c shortcuts : 0 1800.04/1810.91 c learnt literals : 0 1800.04/1810.91 c learnt binary clauses : 0 1800.04/1810.91 c learnt ternary clauses : 0 1800.04/1810.91 c learnt constraints : 1979 1800.04/1810.91 c ignored constraints : 0 1800.04/1810.91 c root simplifications : 0 1800.04/1810.91 c removed literals (reason simplification) : 0 1800.04/1810.91 c reason swapping (by a shorter reason) : 0 1800.04/1810.91 c Calls to reduceDB : 0 1800.04/1810.91 c Number of update (reduction) of LBD : 0 1800.04/1810.91 c Imported unit clauses : 0 1800.04/1810.91 c number of reductions to clauses (during analyze) : 0 1800.04/1810.91 c number of learned constraints concerned by reduction : 0 1800.04/1810.91 c number of learning phase by resolution : 0 1800.04/1810.91 c number of learning phase by cutting planes : 0 1800.04/1810.91 c speed (assignments/second) : 57.01414315007322 1800.04/1810.92 c non guided choices 2233 1800.04/1810.93 c learnt constraints type 1800.04/1810.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1979 1800.04/1810.93 s SATISFIABLE 1800.04/1810.93 c Found 101 solution(s) 1800.04/1810.93 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 1800.04/1810.93 c objective function=2 1800.04/1810.93 c Total wall clock time (in seconds): 1810.805
OK 2
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-4110249-1466345816/watcher-4110249-1466345816 -o /tmp/evaluation-result-4110249-1466345816/solver-4110249-1466345816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29920 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110249-1466345816.wbo pid=1845 running on 4 cores: 0,2,4,6 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: 2.02 2.20 2.18 3/196 1849 /proc/meminfo: memFree=29081248/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/1849/stat : 1849 (java) D 1845 1849 29904 0 -1 4202496 172 0 0 0 0 0 0 0 20 0 1 0 36628466 2560000 47 33554432000 1073741824 1073778376 140736257093824 140736257090952 259103223079 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/1849/statm: 625 47 37 9 0 29 0 [startup+0.100058 s] /proc/loadavg: 2.02 2.20 2.18 3/196 1849 /proc/meminfo: memFree=29081248/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 4363 0 1 0 7 1 0 0 20 0 18 0 36628466 9787879424 4976 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2389619 4981 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200208 s] /proc/loadavg: 2.02 2.20 2.18 3/196 1849 /proc/meminfo: memFree=29081248/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9558476 CPUtime=0.23 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 4803 0 1 0 22 1 0 0 20 0 18 0 36628466 9787879424 6895 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2389619 6895 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.3002 s] /proc/loadavg: 2.02 2.20 2.18 3/196 1849 /proc/meminfo: memFree=29081248/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 7277 0 1 0 56 2 0 0 20 0 22 0 36628466 10060525568 9529 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 9529 2248 9 0 2446860 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 9824732 [startup+0.700229 s] /proc/loadavg: 2.02 2.20 2.18 3/196 1849 /proc/meminfo: memFree=29081248/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 17580 0 1 0 194 6 0 0 20 0 19 0 36628466 10060525568 18054 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 18054 2258 9 0 2446860 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 2.02 2.20 2.18 2/215 1881 /proc/meminfo: memFree=29011400/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 17599 0 1 0 198 6 0 0 20 0 19 0 36628466 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 20615 2258 9 0 2446860 0 [pid=1849/tid=1853] ppid=1845 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/1849/task/1853/stat : 1853 (java) S 1845 1849 29904 0 -1 4202560 2472 0 1 0 15 1 0 0 20 0 19 0 36628468 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140331009627000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1855] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1855/stat : 1855 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330948357032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1857] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1857/stat : 1857 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330947304488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1859] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1859/stat : 1859 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330946251432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1862] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1862/stat : 1862 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330945198888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36628470 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 5927 0 0 0 49 2 0 0 20 0 19 0 36628473 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 7850 0 0 0 50 2 0 0 20 0 19 0 36628473 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36628487 10060525568 20615 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 9824732 [startup+3.10083 s] /proc/loadavg: 2.02 2.20 2.18 2/215 1887 /proc/meminfo: memFree=29002020/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 17628 0 1 0 200 6 0 0 20 0 19 0 36628466 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 24712 2258 9 0 2446860 0 [pid=1849/tid=1853] ppid=1845 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/1849/task/1853/stat : 1853 (java) S 1845 1849 29904 0 -1 4202560 2473 0 1 0 15 1 0 0 20 0 19 0 36628468 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140331009627000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1855] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1855/stat : 1855 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330948357032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1857] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1857/stat : 1857 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330947304488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1859] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1859/stat : 1859 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330946251432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1862] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1862/stat : 1862 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330945198888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36628470 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 5927 0 0 0 50 2 0 0 20 0 19 0 36628473 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 7850 0 0 0 51 2 0 0 20 0 19 0 36628473 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36628487 10060525568 24712 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=28 pid=1815 uid=0 cmd= [startup+6.3008 s] /proc/loadavg: 1.93 2.18 2.18 3/215 1908 /proc/meminfo: memFree=28925328/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=3.44 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 25770 0 1 0 331 13 0 0 20 0 19 0 36628466 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 44964 2286 9 0 2446860 0 [pid=1849/tid=1853] ppid=1845 vsize=9824732 CPUtime=0.18 cores=0,2,4,6 /proc/1849/task/1853/stat : 1853 (java) S 1845 1849 29904 0 -1 4202560 2473 0 1 0 16 2 0 0 20 0 19 0 36628468 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140331009627000 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1855] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1855/stat : 1855 (java) S 1845 1849 29904 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330948357032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1857] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1857/stat : 1857 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330947304488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1859] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1859/stat : 1859 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330946251432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1862] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1862/stat : 1862 (java) S 1845 1849 29904 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330945198888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36628469 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 36628470 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36628471 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 10508 0 0 0 84 2 0 0 20 0 19 0 36628473 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=1.01 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 11268 0 0 0 98 3 0 0 20 0 19 0 36628473 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36628473 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36628487 10060525568 44964 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.44 ################ # More data... # ################ [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0.84 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 243 0 0 0 76 8 0 0 20 0 21 0 36628469 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 135 0 0 0 71 5 0 0 20 0 21 0 36628469 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 244 0 0 0 64 7 0 0 20 0 21 0 36628469 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 233 0 0 0 67 8 0 0 20 0 21 0 36628469 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 867 0 0 0 44 12 0 0 20 0 21 0 36628470 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 15678 0 0 0 180 3 0 0 20 0 21 0 36628473 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 11354 0 0 0 148 3 0 0 20 0 21 0 36628473 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 103 0 0 0 14 16 0 0 20 0 21 0 36628473 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36628487 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=2187] ppid=1845 vsize=9824732 CPUtime=1562.23 cores=0,2,4,6 /proc/1849/task/2187/stat : 2187 (java) R 1845 1849 29904 0 -1 4202560 125 0 0 0 156200 23 0 0 20 0 21 0 36649878 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330825396256 140330950034510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=2188] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/2188/stat : 2188 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36649891 10060525568 215329 33554432000 1073741824 1073778376 140735878645216 140330823292200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1770.97 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1810.9 s] /proc/loadavg: 2.22 2.28 2.24 3/217 2411 /proc/meminfo: memFree=27702452/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=1799.76 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 37575 0 1 0 179712 264 0 0 20 0 21 0 36628466 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 233402 2294 9 0 2446860 0 [pid=1849/tid=1853] ppid=1845 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/1849/task/1853/stat : 1853 (java) S 1845 1849 29904 0 -1 4202560 2504 0 1 0 62 14 0 0 20 0 21 0 36628468 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140331009627128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1855] ppid=1845 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/1849/task/1855/stat : 1855 (java) S 1845 1849 29904 0 -1 4202560 278 0 0 0 65 7 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330948357032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1857] ppid=1845 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/1849/task/1857/stat : 1857 (java) S 1845 1849 29904 0 -1 4202560 161 0 0 0 67 8 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330947304488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1859] ppid=1845 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/1849/task/1859/stat : 1859 (java) S 1845 1849 29904 0 -1 4202560 287 0 0 0 69 8 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330946251432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1862] ppid=1845 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/1849/task/1862/stat : 1862 (java) S 1845 1849 29904 0 -1 4202560 264 0 0 0 69 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330945198888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 263 0 0 0 80 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 143 0 0 0 74 6 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 250 0 0 0 67 7 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 250 0 0 0 70 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 915 0 0 0 45 12 0 0 20 0 21 0 36628470 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 15678 0 0 0 180 3 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 11354 0 0 0 148 3 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 105 0 0 0 15 16 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36628487 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=2187] ppid=1845 vsize=9824732 CPUtime=1590.66 cores=0,2,4,6 /proc/1849/task/2187/stat : 2187 (java) R 1845 1849 29904 0 -1 4202560 245 0 0 0 159041 25 0 0 20 0 21 0 36649878 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330825396256 140330950034538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=2188] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/2188/stat : 2188 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36649891 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330823292200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1849 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1810.9 s] /proc/loadavg: 2.22 2.28 2.24 3/217 2411 /proc/meminfo: memFree=27702452/32872528 swapFree=1498360/1645528 [pid=1849] ppid=1845 vsize=9824732 CPUtime=1799.76 cores=0,2,4,6 /proc/1849/stat : 1849 (java) S 1845 1849 29904 0 -1 4202496 37575 0 1 0 179712 264 0 0 20 0 21 0 36628466 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140735878636352 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1849/statm: 2456183 233402 2294 9 0 2446860 0 [pid=1849/tid=1853] ppid=1845 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/1849/task/1853/stat : 1853 (java) S 1845 1849 29904 0 -1 4202560 2504 0 1 0 62 14 0 0 20 0 21 0 36628468 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140331009627128 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1855] ppid=1845 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/1849/task/1855/stat : 1855 (java) S 1845 1849 29904 0 -1 4202560 278 0 0 0 65 7 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330948357032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1857] ppid=1845 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/1849/task/1857/stat : 1857 (java) S 1845 1849 29904 0 -1 4202560 161 0 0 0 67 8 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330947304488 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1859] ppid=1845 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/1849/task/1859/stat : 1859 (java) S 1845 1849 29904 0 -1 4202560 287 0 0 0 69 8 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330946251432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1862] ppid=1845 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/1849/task/1862/stat : 1862 (java) S 1845 1849 29904 0 -1 4202560 264 0 0 0 69 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330945198888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1863] ppid=1845 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/1849/task/1863/stat : 1863 (java) S 1845 1849 29904 0 -1 4202560 263 0 0 0 80 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330944145832 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1864] ppid=1845 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/1849/task/1864/stat : 1864 (java) S 1845 1849 29904 0 -1 4202560 143 0 0 0 74 6 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330848172584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1865] ppid=1845 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/1849/task/1865/stat : 1865 (java) S 1845 1849 29904 0 -1 4202560 250 0 0 0 67 7 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330847119528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1866] ppid=1845 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/1849/task/1866/stat : 1866 (java) S 1845 1849 29904 0 -1 4202560 250 0 0 0 70 9 0 0 20 0 21 0 36628469 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330846066984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1867] ppid=1845 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/1849/task/1867/stat : 1867 (java) S 1845 1849 29904 0 -1 4202560 915 0 0 0 45 12 0 0 20 0 21 0 36628470 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330833869672 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1868] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1868/stat : 1868 (java) S 1845 1849 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330832815992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1869] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1869/stat : 1869 (java) S 1845 1849 29904 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 21 0 36628471 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330831762824 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1870] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1870/stat : 1870 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330830711568 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1871] ppid=1845 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/1849/task/1871/stat : 1871 (java) S 1845 1849 29904 0 -1 4202560 15678 0 0 0 180 3 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330829658424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1849/tid=1872] ppid=1845 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/1849/task/1872/stat : 1872 (java) S 1845 1849 29904 0 -1 4202560 11354 0 0 0 148 3 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330828605880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1849/tid=1873] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1873/stat : 1873 (java) S 1845 1849 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330827553016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=1874] ppid=1845 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/1849/task/1874/stat : 1874 (java) S 1845 1849 29904 0 -1 4202560 105 0 0 0 15 16 0 0 20 0 21 0 36628473 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330826500680 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1849/tid=1878] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/1878/stat : 1878 (java) S 1845 1849 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36628487 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330822239656 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=2187] ppid=1845 vsize=9824732 CPUtime=1590.66 cores=0,2,4,6 /proc/1849/task/2187/stat : 2187 (java) R 1845 1849 29904 0 -1 4202560 245 0 0 0 159041 25 0 0 20 0 21 0 36649878 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330825396256 140330950034538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1849/tid=2188] ppid=1845 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1849/task/2188/stat : 2188 (java) S 1845 1849 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36649891 10060525568 233402 33554432000 1073741824 1073778376 140735878645216 140330823292200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1849 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=239386 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=89530 # CPU time returned by wait4() is 1796.33 # while last known CPU time is 1799.76 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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.280018 # lost CPU user time (s): 0.340004 # lost CPU system time (s): -0.0599999 Real time (s): 1810.95 CPU time (s): 1800.04 CPU user time (s): 1797.46 CPU system time (s): 2.58 CPU usage (%): 99.3975 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.24 system time used= 3.08953 maximum resident set size= 1295492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37608 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 82447 involuntary context switches= 26249 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9723 second user time and 12.824 second system time The end
Begin job on node124 at 2016-06-19 16:16:56 IDJOB=4110249 IDBENCH=79217 IDSOLVER=2552 FILE ID=node124/4110249-1466345816 RUNJOBID= node124-1466341817-29920 PBS_JOBID= 19922029 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110249-1466345816/watcher-4110249-1466345816 -o /tmp/evaluation-result-4110249-1466345816/solver-4110249-1466345816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29920 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110249-1466345816.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d79cffbd050edd1a538522b50ef42fc RANDOM SEED=800233646 node124.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.791 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.58 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.791 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.55 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.791 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.791 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.791 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.791 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.791 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.54 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.791 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29082156 kB Buffers: 123332 kB Cached: 206024 kB SwapCached: 2816 kB Active: 1179484 kB Inactive: 184560 kB Active(anon): 1033296 kB Inactive(anon): 3592 kB Active(file): 146188 kB Inactive(file): 180968 kB Unevictable: 1645528 kB Mlocked: 1498360 kB SwapTotal: 67108856 kB SwapFree: 67099904 kB Dirty: 496 kB Writeback: 0 kB AnonPages: 2799276 kB Mapped: 17180 kB Shmem: 0 kB Slab: 643932 kB SReclaimable: 87844 kB SUnreclaim: 556088 kB KernelStack: 1800 kB PageTables: 9344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2984004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1263616 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= 71728 MiB End job on node124 at 2016-06-19 16:47:07