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.44 | 1822.74 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo |
| MD5SUM | 3f56278c0c7f2898f6b9e11f0d13a6fa |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 6.37303 |
| 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 | 5395 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 5394 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1220 |
| 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.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4092316-1466083403.wbo 0.07/0.13 c reading problem ... 0.22/0.20 c ... done. Wall clock time 0.07s. 0.22/0.20 c declared #vars 169 0.22/0.20 c internal #vars 270 0.22/0.20 c #constraints 101 0.22/0.20 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.22/0.20 c constraints type 0.22/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.22/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.22/0.20 c 101 constraints processed. 0.22/0.20 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.22/0.20 c constraints type 0.22/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.22/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.22/0.20 c 101 constraints processed. 0.22/0.20 c objective function length is 101 literals 0.22/0.29 c And the winner is solver0 0.90/0.70 c SATISFIABLE 0.90/0.70 c OPTIMIZING... 0.90/0.70 c Got one! Elapsed wall clock time (in seconds):0.575 0.90/0.70 o 626 0.90/0.74 c And the winner is solver0 1.06/1.21 c Got one! Elapsed wall clock time (in seconds):1.076 1.06/1.21 o 605 1.06/1.24 c And the winner is solver0 1.20/1.71 c Got one! Elapsed wall clock time (in seconds):1.578 1.20/1.71 o 602 2.35/2.03 c cleaning 2926 clauses out of 5870 with flag 14887/5870 2.35/2.04 c And the winner is solver1 2.85/2.21 c Got one! Elapsed wall clock time (in seconds):2.079 2.85/2.21 o 593 2.85/2.21 c And the winner is solver0 3.09/2.71 c Got one! Elapsed wall clock time (in seconds):2.581 3.09/2.71 o 590 3.09/2.72 c And the winner is solver0 3.09/3.21 c Got one! Elapsed wall clock time (in seconds):3.082 3.09/3.21 o 583 3.09/3.21 c And the winner is solver0 3.09/3.71 c Got one! Elapsed wall clock time (in seconds):3.583 3.09/3.71 o 582 3.09/3.73 c And the winner is solver0 3.14/4.21 c Got one! Elapsed wall clock time (in seconds):4.084 3.14/4.21 o 574 3.14/4.22 c And the winner is solver0 3.14/4.71 c Got one! Elapsed wall clock time (in seconds):4.585 3.14/4.71 o 572 3.14/4.72 c And the winner is solver0 3.17/5.22 c Got one! Elapsed wall clock time (in seconds):5.087 3.17/5.22 o 570 3.17/5.23 c And the winner is solver0 3.23/5.72 c Got one! Elapsed wall clock time (in seconds):5.588 3.23/5.72 o 566 3.23/5.72 c And the winner is solver0 3.23/6.22 c Got one! Elapsed wall clock time (in seconds):6.089 3.23/6.22 o 564 3.23/6.25 c And the winner is solver0 3.29/6.72 c Got one! Elapsed wall clock time (in seconds):6.59 3.29/6.72 o 549 3.29/6.73 c And the winner is solver0 3.29/7.22 c Got one! Elapsed wall clock time (in seconds):7.091 3.29/7.22 o 548 3.29/7.23 c And the winner is solver0 3.29/7.72 c Got one! Elapsed wall clock time (in seconds):7.592 3.29/7.72 o 543 3.29/7.74 c And the winner is solver0 3.35/8.22 c Got one! Elapsed wall clock time (in seconds):8.093 3.35/8.22 o 540 3.35/8.23 c And the winner is solver0 3.35/8.72 c Got one! Elapsed wall clock time (in seconds):8.594 3.35/8.72 o 527 3.35/8.75 c And the winner is solver0 3.40/9.22 c Got one! Elapsed wall clock time (in seconds):9.095 3.40/9.22 o 520 3.40/9.25 c And the winner is solver0 3.47/9.73 c Got one! Elapsed wall clock time (in seconds):9.596 3.47/9.73 o 517 3.47/9.73 c And the winner is solver0 3.47/10.23 c Got one! Elapsed wall clock time (in seconds):10.097 3.47/10.23 o 515 3.47/10.23 c And the winner is solver0 3.47/10.73 c Got one! Elapsed wall clock time (in seconds):10.599 3.47/10.73 o 507 3.47/10.74 c And the winner is solver0 3.64/11.23 c Got one! Elapsed wall clock time (in seconds):11.1 3.64/11.23 o 505 3.64/11.23 c And the winner is solver0 3.65/11.73 c Got one! Elapsed wall clock time (in seconds):11.601 3.65/11.73 o 493 3.65/11.74 c And the winner is solver0 3.69/12.23 c Got one! Elapsed wall clock time (in seconds):12.102 3.69/12.23 o 482 3.69/12.24 c And the winner is solver0 3.71/12.73 c Got one! Elapsed wall clock time (in seconds):12.603 3.71/12.73 o 475 3.71/12.76 c And the winner is solver0 3.77/13.23 c Got one! Elapsed wall clock time (in seconds):13.104 3.77/13.23 o 472 3.77/13.24 c And the winner is solver0 3.79/13.73 c Got one! Elapsed wall clock time (in seconds):13.605 3.79/13.73 o 469 3.79/13.75 c And the winner is solver0 3.83/14.23 c Got one! Elapsed wall clock time (in seconds):14.106 3.83/14.23 o 468 3.83/14.25 c And the winner is solver0 3.88/14.74 c Got one! Elapsed wall clock time (in seconds):14.607 3.88/14.74 o 460 3.88/14.77 c And the winner is solver0 3.96/15.24 c Got one! Elapsed wall clock time (in seconds):15.108 3.96/15.24 o 459 3.96/15.25 c And the winner is solver0 4.02/15.74 c Got one! Elapsed wall clock time (in seconds):15.609 4.02/15.74 o 454 4.02/15.75 c And the winner is solver0 4.06/16.24 c Got one! Elapsed wall clock time (in seconds):16.11 4.06/16.24 o 453 4.06/16.26 c And the winner is solver0 4.11/16.74 c Got one! Elapsed wall clock time (in seconds):16.611 4.11/16.74 o 450 4.11/16.78 c And the winner is solver0 4.23/17.24 c Got one! Elapsed wall clock time (in seconds):17.112 4.23/17.24 o 444 4.23/17.26 c And the winner is solver0 4.29/17.74 c Got one! Elapsed wall clock time (in seconds):17.613 4.29/17.74 o 436 4.29/17.75 c And the winner is solver0 4.31/18.24 c Got one! Elapsed wall clock time (in seconds):18.114 4.31/18.24 o 423 4.43/18.30 c And the winner is solver0 4.46/18.75 c Got one! Elapsed wall clock time (in seconds):18.618 4.46/18.75 o 422 4.46/18.75 c And the winner is solver0 4.51/19.25 c Got one! Elapsed wall clock time (in seconds):19.119 4.51/19.25 o 420 4.51/19.28 c And the winner is solver0 4.61/19.75 c Got one! Elapsed wall clock time (in seconds):19.62 4.61/19.75 o 418 4.61/19.76 c And the winner is solver0 4.67/20.25 c Got one! Elapsed wall clock time (in seconds):20.121 4.67/20.25 o 413 4.67/20.27 c And the winner is solver0 4.74/20.75 c Got one! Elapsed wall clock time (in seconds):20.622 4.74/20.75 o 412 4.84/20.82 c And the winner is solver0 4.90/21.25 c Got one! Elapsed wall clock time (in seconds):21.123 4.90/21.25 o 411 4.90/21.28 c And the winner is solver0 4.98/21.75 c Got one! Elapsed wall clock time (in seconds):21.624 4.98/21.75 o 406 4.98/21.78 c And the winner is solver0 5.06/22.25 c Got one! Elapsed wall clock time (in seconds):22.124 5.06/22.25 o 405 5.06/22.27 c And the winner is solver0 5.13/22.75 c Got one! Elapsed wall clock time (in seconds):22.625 5.13/22.75 o 404 5.21/22.82 c And the winner is solver0 5.28/23.26 c Got one! Elapsed wall clock time (in seconds):23.126 5.28/23.26 o 403 5.36/23.33 c And the winner is solver0 5.45/23.76 c Got one! Elapsed wall clock time (in seconds):23.627 5.45/23.76 o 361 5.53/23.83 c cleaning 9301 clauses out of 18613 with flag 3979/21539 5.53/23.83 c And the winner is solver0 5.63/24.26 c Got one! Elapsed wall clock time (in seconds):24.128 5.63/24.26 o 356 5.63/24.30 c And the winner is solver0 5.75/24.76 c Got one! Elapsed wall clock time (in seconds):24.629 5.75/24.76 o 342 5.75/24.78 c And the winner is solver0 5.85/25.26 c Got one! Elapsed wall clock time (in seconds):25.13 5.85/25.26 o 340 5.94/25.34 c And the winner is solver0 6.02/25.76 c Got one! Elapsed wall clock time (in seconds):25.63 6.02/25.76 o 332 6.02/25.77 c And the winner is solver0 6.06/26.26 c Got one! Elapsed wall clock time (in seconds):26.131 6.06/26.26 o 307 6.13/26.35 c And the winner is solver0 6.28/26.76 c Got one! Elapsed wall clock time (in seconds):26.632 6.28/26.76 o 287 6.36/26.87 c And the winner is solver0 6.52/27.26 c Got one! Elapsed wall clock time (in seconds):27.133 6.52/27.26 o 283 6.59/27.38 c cleaning 8888 clauses out of 17778 with flag 7852/30005 6.81/27.40 c And the winner is solver0 6.83/27.76 c Got one! Elapsed wall clock time (in seconds):27.633 6.83/27.76 o 281 6.90/27.83 c And the winner is solver0 6.98/28.26 c Got one! Elapsed wall clock time (in seconds):28.134 6.98/28.26 o 267 7.05/28.37 c And the winner is solver0 7.22/28.76 c Got one! Elapsed wall clock time (in seconds):28.635 7.22/28.76 o 266 7.30/28.89 c cleaning 7372 clauses out of 14752 with flag 8145/35867 7.50/28.91 c And the winner is solver0 7.54/29.27 c Got one! Elapsed wall clock time (in seconds):29.136 7.54/29.27 o 263 7.60/29.35 c And the winner is solver0 7.71/29.77 c Got one! Elapsed wall clock time (in seconds):29.637 7.71/29.77 o 255 7.71/29.79 c And the winner is solver0 7.80/30.27 c Got one! Elapsed wall clock time (in seconds):30.138 7.80/30.27 o 244 7.86/30.31 c And the winner is solver0 7.93/30.77 c Got one! Elapsed wall clock time (in seconds):30.639 7.93/30.77 o 241 8.00/30.87 c And the winner is solver0 8.18/31.27 c Got one! Elapsed wall clock time (in seconds):31.139 8.18/31.27 o 237 8.23/31.38 c And the winner is solver0 8.42/31.77 c Got one! Elapsed wall clock time (in seconds):31.64 8.42/31.77 o 189 8.47/31.80 c And the winner is solver0 8.51/32.27 c Got one! Elapsed wall clock time (in seconds):32.141 8.51/32.27 o 188 8.57/32.33 c And the winner is solver0 8.66/32.77 c Got one! Elapsed wall clock time (in seconds):32.641 8.66/32.77 o 182 8.71/32.82 c And the winner is solver0 8.79/33.27 c Got one! Elapsed wall clock time (in seconds):33.142 8.79/33.27 o 174 8.86/33.35 c cleaning 8964 clauses out of 17931 with flag 3920/46418 8.86/33.40 c And the winner is solver0 9.08/33.77 c Got one! Elapsed wall clock time (in seconds):33.643 9.08/33.77 o 170 9.12/33.80 c And the winner is solver0 9.16/34.27 c Got one! Elapsed wall clock time (in seconds):34.144 9.16/34.27 o 165 9.20/34.30 c And the winner is solver0 9.25/34.77 c Got one! Elapsed wall clock time (in seconds):34.645 9.25/34.77 o 162 9.29/34.87 c And the winner is solver0 9.48/35.27 c Got one! Elapsed wall clock time (in seconds):35.145 9.48/35.27 o 158 9.48/35.28 c And the winner is solver0 9.50/35.78 c Got one! Elapsed wall clock time (in seconds):35.646 9.50/35.78 o 154 9.54/35.81 c And the winner is solver0 9.59/36.28 c Got one! Elapsed wall clock time (in seconds):36.147 9.59/36.28 o 148 9.64/36.37 c And the winner is solver0 9.82/36.78 c Got one! Elapsed wall clock time (in seconds):36.648 9.82/36.78 o 146 9.86/36.80 c And the winner is solver0 9.90/37.28 c Got one! Elapsed wall clock time (in seconds):37.149 9.90/37.28 o 132 9.94/37.31 c And the winner is solver0 9.99/37.78 c Got one! Elapsed wall clock time (in seconds):37.65 9.99/37.78 o 128 10.04/37.82 c And the winner is solver0 10.17/38.28 c Got one! Elapsed wall clock time (in seconds):38.15 10.17/38.28 o 126 10.20/38.37 c And the winner is solver0 10.39/38.78 c Got one! Elapsed wall clock time (in seconds):38.651 10.39/38.78 o 123 10.42/38.81 c And the winner is solver0 10.48/39.28 c Got one! Elapsed wall clock time (in seconds):39.152 10.48/39.28 o 92 10.50/39.31 c And the winner is solver0 10.56/39.78 c Got one! Elapsed wall clock time (in seconds):39.653 10.56/39.78 o 83 10.58/39.81 c And the winner is solver0 10.64/40.28 c Got one! Elapsed wall clock time (in seconds):40.154 10.64/40.28 o 82 10.69/40.30 c And the winner is solver0 10.87/40.78 c Got one! Elapsed wall clock time (in seconds):40.655 10.87/40.78 o 69 10.91/40.89 c cleaning 10134 clauses out of 20270 with flag 3233/57721 12.08/41.23 c cleaning 8063 clauses out of 16136 with flag 24985/63721 12.52/41.40 c And the winner is solver0 12.53/41.79 c Got one! Elapsed wall clock time (in seconds):41.657 12.53/41.79 o 68 12.77/41.92 c cleaning 6827 clauses out of 13686 with flag 8541/69334 13.05/42.02 c And the winner is solver0 13.42/42.29 c Got one! Elapsed wall clock time (in seconds):42.159 13.42/42.29 o 65 13.49/42.31 c And the winner is solver0 13.57/42.79 c Got one! Elapsed wall clock time (in seconds):42.661 13.57/42.79 o 63 13.58/42.85 c And the winner is solver0 13.78/43.29 c Got one! Elapsed wall clock time (in seconds):43.163 13.78/43.29 o 59 13.99/43.40 c cleaning 6441 clauses out of 12887 with flag 7451/75362 14.39/43.68 c cleaning 6215 clauses out of 12445 with flag 29769/81361 14.79/43.89 c And the winner is solver0 15.01/44.29 c Got one! Elapsed wall clock time (in seconds):44.166 15.01/44.29 o 56 15.01/44.35 c cleaning 5967 clauses out of 11952 with flag 4260/87083 15.01/44.36 c And the winner is solver0 15.14/44.80 c Got one! Elapsed wall clock time (in seconds):44.668 15.14/44.80 o 55 15.34/44.95 c And the winner is solver0 15.47/45.30 c Got one! Elapsed wall clock time (in seconds):45.172 15.47/45.30 o 54 15.73/45.42 c cleaning 5867 clauses out of 11746 with flag 9323/92844 16.15/45.65 c And the winner is solver0 16.27/45.81 c Got one! Elapsed wall clock time (in seconds):45.676 16.27/45.81 o 53 16.64/46.01 c And the winner is solver0 16.76/46.31 c Got one! Elapsed wall clock time (in seconds):46.179 16.76/46.31 o 48 16.95/46.44 c cleaning 8615 clauses out of 17235 with flag 9557/104200 16.95/46.46 c And the winner is solver0 17.10/46.82 c Got one! Elapsed wall clock time (in seconds):46.685 17.10/46.82 o 41 17.10/46.83 c And the winner is solver0 17.11/47.32 c Got one! Elapsed wall clock time (in seconds):47.19 17.11/47.32 o 40 17.11/47.33 c And the winner is solver0 17.11/47.83 c Got one! Elapsed wall clock time (in seconds):47.696 17.11/47.83 o 39 17.11/47.84 c And the winner is solver0 17.16/48.33 c Got one! Elapsed wall clock time (in seconds):48.201 17.16/48.33 o 37 17.16/48.35 c And the winner is solver0 17.23/48.84 c Got one! Elapsed wall clock time (in seconds):48.713 17.23/48.84 o 32 17.23/48.85 c And the winner is solver0 442.26/472.37 c Got one! Elapsed wall clock time (in seconds):472.245 442.26/472.37 o 30 442.68/472.63 c cleaning 7621 clauses out of 15248 with flag 19480/110829 443.08/472.85 c cleaning 6810 clauses out of 13626 with flag 39376/116829 443.34/472.92 c And the winner is solver0 447.06/476.56 c Got one! Elapsed wall clock time (in seconds):476.429 447.06/476.56 o 27 447.36/476.75 c cleaning 6210 clauses out of 12419 with flag 14064/122432 447.96/477.01 c cleaning 6099 clauses out of 12207 with flag 36070/128431 448.36/477.21 c And the winner is solver0 451.89/480.74 c Got one! Elapsed wall clock time (in seconds):480.615 451.89/480.74 o 25 452.39/481.01 c cleaning 8204 clauses out of 16409 with flag 18063/138733 452.79/481.25 c cleaning 7097 clauses out of 14205 with flag 40587/144733 452.79/481.26 c And the winner is solver0 456.55/484.98 c Got one! Elapsed wall clock time (in seconds):484.851 456.55/484.98 o 24 457.00/485.21 c cleaning 6145 clauses out of 12306 with flag 19629/149931 457.38/485.45 c cleaning 6080 clauses out of 12166 with flag 42945/155936 457.98/485.75 c cleaning 6538 clauses out of 13081 with flag 70971/162932 458.58/486.09 c cleaning 7264 clauses out of 14541 with flag 102674/170931 459.74/486.53 c cleaning 8137 clauses out of 16278 with flag 137969/179934 460.55/486.98 c And the winner is solver0 462.85/489.17 c Got one! Elapsed wall clock time (in seconds):489.041 462.85/489.17 o 23 463.32/489.48 c cleaning 11466 clauses out of 22931 with flag 20580/194724 463.92/489.74 c cleaning 8730 clauses out of 17464 with flag 46036/200724 464.32/489.90 c And the winner is solver0 467.73/493.36 c Got one! Elapsed wall clock time (in seconds):493.229 467.73/493.36 o 22 467.80/493.45 c cleaning 6918 clauses out of 13840 with flag 4336/205830 468.19/493.69 c cleaning 6456 clauses out of 12923 with flag 28818/211831 468.81/493.97 c cleaning 6727 clauses out of 13464 with flag 56938/218830 469.39/494.29 c cleaning 7363 clauses out of 14737 with flag 89267/226831 470.19/494.68 c cleaning 8180 clauses out of 16371 with flag 127138/235830 471.21/495.13 c cleaning 9086 clauses out of 18191 with flag 169587/245832 471.21/495.19 c And the winner is solver0 473.89/497.79 c Got one! Elapsed wall clock time (in seconds):497.665 473.89/497.79 o 19 474.30/498.01 c cleaning 7335 clauses out of 14683 with flag 18462/251412 474.50/498.13 c And the winner is solver0 478.34/501.98 c Got one! Elapsed wall clock time (in seconds):501.854 478.34/501.98 o 18 478.63/502.15 c cleaning 6633 clauses out of 13281 with flag 13133/257347 478.63/502.16 c And the winner is solver0 478.88/502.52 c Got one! Elapsed wall clock time (in seconds):502.387 478.88/502.52 o 17 479.22/502.75 c cleaning 6044 clauses out of 12094 with flag 20324/262796 479.42/502.86 c And the winner is solver0 483.35/506.71 c Got one! Elapsed wall clock time (in seconds):506.578 483.35/506.71 o 16 483.49/506.83 c cleaning 5683 clauses out of 11382 with flag 8352/268130 483.89/507.06 c cleaning 5845 clauses out of 11696 with flag 33332/274129 484.49/507.34 c cleaning 6422 clauses out of 12848 with flag 63224/281129 484.69/507.44 c And the winner is solver0 488.14/510.90 c Got one! Elapsed wall clock time (in seconds):510.767 488.14/510.90 o 15 488.37/511.08 c cleaning 6037 clauses out of 12081 with flag 13725/286786 488.57/511.13 c And the winner is solver0 488.71/511.43 c Got one! Elapsed wall clock time (in seconds):511.302 488.71/511.43 o 11 488.82/511.57 c And the winner is solver0 489.11/511.97 c Got one! Elapsed wall clock time (in seconds):511.837 489.11/511.97 o 10 489.34/512.10 c And the winner is solver0 489.51/512.50 c Got one! Elapsed wall clock time (in seconds):512.372 489.51/512.50 o 9 489.68/512.61 c cleaning 6582 clauses out of 13172 with flag 5418/293916 489.91/512.75 c And the winner is solver0 490.04/513.04 c Got one! Elapsed wall clock time (in seconds):512.907 490.04/513.04 o 8 490.13/513.17 c And the winner is solver0 490.44/513.57 c Got one! Elapsed wall clock time (in seconds):513.442 490.44/513.57 o 6 490.46/513.62 c And the winner is solver0 1800.00/1822.50 c >>>>>>>>>> Solver number 0 (111 answers) <<<<<<<<<<<<<<<<<< 1800.00/1822.50 c starts : 513 1800.00/1822.50 c conflicts : 299008 1800.00/1822.50 c decisions : 508039 1800.00/1822.50 c propagations : 7802199 1800.00/1822.50 c inspects : 147720562 1800.00/1822.50 c shortcuts : 0 1800.00/1822.50 c learnt literals : 40 1800.00/1822.50 c learnt binary clauses : 35 1800.00/1822.50 c learnt ternary clauses : 613 1800.00/1822.50 c learnt constraints : 298968 1800.00/1822.50 c ignored constraints : 0 1800.00/1822.50 c root simplifications : 0 1800.00/1822.50 c removed literals (reason simplification) : 126635 1800.00/1822.50 c reason swapping (by a shorter reason) : 0 1800.00/1822.50 c Calls to reduceDB : 40 1800.00/1822.50 c Number of update (reduction) of LBD : 80970 1800.00/1822.50 c Imported unit clauses : 0 1800.00/1822.50 c number of reductions to clauses (during analyze) : 0 1800.00/1822.50 c number of learned constraints concerned by reduction : 0 1800.00/1822.50 c number of learning phase by resolution : 0 1800.00/1822.50 c number of learning phase by cutting planes : 0 1800.00/1822.50 c speed (assignments/second) : 4286.23249114291 1800.00/1822.50 c non guided choices 4856 1800.00/1822.51 c learnt constraints type 1800.00/1822.51 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 35 1800.00/1822.51 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11641 1800.00/1822.51 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/1822.51 c starts : 117 1800.00/1822.51 c conflicts : 1063 1800.00/1822.51 c decisions : 15747 1800.00/1822.51 c propagations : 58775 1800.00/1822.51 c inspects : 4883771 1800.00/1822.51 c shortcuts : 0 1800.00/1822.51 c learnt literals : 0 1800.00/1822.51 c learnt binary clauses : 0 1800.00/1822.51 c learnt ternary clauses : 0 1800.00/1822.51 c learnt constraints : 968 1800.00/1822.51 c ignored constraints : 0 1800.00/1822.51 c root simplifications : 0 1800.00/1822.51 c removed literals (reason simplification) : 0 1800.00/1822.51 c reason swapping (by a shorter reason) : 0 1800.00/1822.51 c Calls to reduceDB : 0 1800.00/1822.51 c Number of update (reduction) of LBD : 0 1800.00/1822.51 c Imported unit clauses : 0 1800.00/1822.51 c number of reductions to clauses (during analyze) : 0 1800.00/1822.51 c number of learned constraints concerned by reduction : 0 1800.00/1822.51 c number of learning phase by resolution : 0 1800.00/1822.51 c number of learning phase by cutting planes : 0 1800.00/1822.51 c speed (assignments/second) : 44.90590198403482 1800.00/1822.51 c non guided choices 1879 1800.00/1822.51 c learnt constraints type 1800.00/1822.51 c org.sat4j.pb.constraints.pb.MaxWatchPb => 968 1800.00/1822.51 s SATISFIABLE 1800.00/1822.51 c Found 111 solution(s) 1800.00/1822.51 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.00/1822.60 c objective function=6 1800.00/1822.60 c Total wall clock time (in seconds): 1822.471
OK 5
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-4092316-1466083403/watcher-4092316-1466083403 -o /tmp/evaluation-result-4092316-1466083403/solver-4092316-1466083403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9508 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092316-1466083403.wbo pid=20051 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: 1.86 2.17 2.67 3/196 20054 /proc/meminfo: memFree=29692528/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/20054/stat : 20054 (java) D 20051 20054 6847 0 -1 4202496 159 0 0 0 0 0 0 0 20 0 1 0 10386974 278528 34 33554432000 1073741824 1073778376 140734514590256 140734514587432 270698376487 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 68 34 25 9 0 25 0 [startup+0.100058 s] /proc/loadavg: 1.86 2.17 2.67 3/196 20054 /proc/meminfo: memFree=29692528/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 4323 0 1 0 7 0 0 0 20 0 18 0 10386974 9787879424 5443 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2389619 5443 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200271 s] /proc/loadavg: 1.86 2.17 2.67 3/196 20054 /proc/meminfo: memFree=29692528/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 4680 0 1 0 21 1 0 0 20 0 18 0 10386974 9787879424 7295 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2389619 7295 2206 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300265 s] /proc/loadavg: 1.86 2.17 2.67 3/196 20054 /proc/meminfo: memFree=29692528/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 8198 0 1 0 53 4 0 0 20 0 19 0 10386974 10060525568 10292 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 10292 2248 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824732 [startup+0.70031 s] /proc/loadavg: 1.86 2.17 2.67 3/196 20054 /proc/meminfo: memFree=29692528/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 12986 0 1 0 86 4 0 0 20 0 19 0 10386974 10060525568 12365 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 12365 2252 9 0 2446860 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 1.79 2.16 2.66 2/215 20079 /proc/meminfo: memFree=29647700/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 13102 0 1 0 112 8 0 0 20 0 19 0 10386974 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 14430 2253 9 0 2446860 0 [pid=20054/tid=20056] ppid=20051 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2417 0 1 0 17 0 0 0 20 0 19 0 10386975 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939591701368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386977 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939079891176 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939078837240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939077784840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20068] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20068/stat : 20068 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939076733328 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) S 20051 20054 6847 0 -1 4202560 6056 0 0 0 42 0 0 0 20 0 19 0 10386980 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939075680952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 3284 0 0 0 26 0 0 0 20 0 19 0 10386980 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20072] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20072/stat : 20072 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939072523464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20076] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20076/stat : 20076 (java) S 20051 20054 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10386995 10060525568 14430 33554432000 1073741824 1073778376 140737379339824 139939068212264 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 9824732 [startup+3.1007 s] /proc/loadavg: 1.79 2.16 2.66 4/215 20085 /proc/meminfo: memFree=29571424/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=3.09 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 25938 0 1 0 295 14 0 0 20 0 19 0 10386974 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 35999 2271 9 0 2446860 0 [pid=20054/tid=20056] ppid=20051 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2417 0 1 0 17 0 0 0 20 0 19 0 10386975 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939591701368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386977 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939079891176 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939078837240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939077784840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20068] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20068/stat : 20068 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939076733328 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9824732 CPUtime=1.1 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) S 20051 20054 6847 0 -1 4202560 8945 0 0 0 109 1 0 0 20 0 19 0 10386980 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939075680952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 13173 0 0 0 78 2 0 0 20 0 19 0 10386980 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20072] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20072/stat : 20072 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 35999 33554432000 1073741824 1073778376 140737379339824 139939072523464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9824732 [startup+6.30078 s] /proc/loadavg: 1.79 2.16 2.66 3/215 20106 /proc/meminfo: memFree=29533024/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=3.29 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 26073 0 1 0 310 19 0 0 20 0 19 0 10386974 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 45271 2285 9 0 2446860 0 [pid=20054/tid=20056] ppid=20051 vsize=9824732 CPUtime=0.18 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2419 0 1 0 18 0 0 0 20 0 19 0 10386975 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939591701368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10386976 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) S 20051 20054 6847 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 10386977 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939079891176 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939078837240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 10386978 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939077784840 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20068] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20068/stat : 20068 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939076733328 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) S 20051 20054 6847 0 -1 4202560 8957 0 0 0 115 1 0 0 20 0 19 0 10386980 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939075680952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 13173 0 0 0 78 2 0 0 20 0 19 0 10386980 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20072] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20072/stat : 20072 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10386980 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939072523464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20088] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20088/stat : 20088 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10387195 10060525568 45271 33554432000 1073741824 1073778376 140737379339824 139939068212776 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.29 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=28 pid=1814 uid=0 cmd= ################ # More data... # ################ [startup+1822.5 s] /proc/loadavg: 2.18 2.22 2.26 3/217 20876 /proc/meminfo: memFree=25615696/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9824732 CPUtime=1799.03 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 43558 0 1 0 179624 279 0 0 20 0 21 0 10386974 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2456183 253200 2293 9 0 2446860 0 [pid=20054/tid=20056] ppid=20051 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2435 0 1 0 100 8 0 0 20 0 21 0 10386975 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939591701496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 186 0 0 0 42 6 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9824732 CPUtime=0.41 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 110 0 0 0 34 7 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 38 6 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 383 0 0 0 41 6 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 350 0 0 0 39 7 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 40 5 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 315 0 0 0 42 6 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 114 0 0 0 42 5 0 0 20 0 21 0 10386976 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) S 20051 20054 6847 0 -1 4202560 687 0 0 0 25 9 0 0 20 0 21 0 10386977 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939079891176 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10386978 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939078837272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 21 0 10386978 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939077784872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20068] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20068/stat : 20068 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10386980 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939076733328 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9824732 CPUtime=2.71 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) S 20051 20054 6847 0 -1 4202560 14749 0 0 0 268 3 0 0 20 0 21 0 10386980 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939075680952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 19689 0 0 0 120 4 0 0 20 0 21 0 10386980 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10386980 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20072] ppid=20051 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/20054/task/20072/stat : 20072 (java) S 20051 20054 6847 0 -1 4202560 106 0 0 0 12 14 0 0 20 0 21 0 10386980 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939072523464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20088] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20088/stat : 20088 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10387195 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939068212776 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20420] ppid=20051 vsize=9824732 CPUtime=1304.81 cores=0,2,4,6 /proc/20054/task/20420/stat : 20420 (java) R 20051 20054 6847 0 -1 4202560 30 0 0 0 130460 21 0 0 20 0 21 0 10438335 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939069263712 139939447153213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20421] ppid=20051 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20421/stat : 20421 (java) S 20051 20054 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10438340 10060525568 253200 33554432000 1073741824 1073778376 140737379339824 139939070318120 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.03 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 20054 sig 9 ??? kill -20054 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1822.61 s] /proc/loadavg: 2.18 2.22 2.26 3/217 20876 /proc/meminfo: memFree=25615696/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9891296 CPUtime=1799.27 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 43598 0 1 0 179639 288 0 0 20 0 18 0 10386974 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2472824 253228 2297 9 0 2463501 0 [pid=20054/tid=20056] ppid=20051 vsize=9891296 CPUtime=1.08 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2435 0 1 0 100 8 0 0 20 0 18 0 10386975 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939591701496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9891296 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 186 0 0 0 42 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9891296 CPUtime=0.41 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 110 0 0 0 34 7 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9891296 CPUtime=0.44 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 38 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9891296 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 383 0 0 0 41 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9891296 CPUtime=0.46 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 350 0 0 0 39 7 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9891296 CPUtime=0.45 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 40 5 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9891296 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 315 0 0 0 42 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9891296 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 114 0 0 0 42 5 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9891296 CPUtime=0.42 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) R 20051 20054 6847 0 -1 4202560 688 0 0 0 27 15 0 0 20 0 18 0 10386977 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939079891176 270707494023 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 10386978 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939078837272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 18 0 10386978 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939077784872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9891296 CPUtime=2.72 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) R 20051 20054 6847 0 -1 4202560 14762 0 0 0 269 3 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939075656128 139939595277922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9891296 CPUtime=1.24 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 19689 0 0 0 120 4 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20420] ppid=20051 vsize=9891296 CPUtime=1304.91 cores=0,2,4,6 /proc/20054/task/20420/stat : 20420 (java) R 20051 20054 6847 0 -1 4202560 30 0 0 0 130470 21 0 0 20 0 18 0 10438335 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939069262848 139939447153201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 9891296 [startup+1822.7 s] /proc/loadavg: 2.18 2.22 2.26 4/214 20878 /proc/meminfo: memFree=25615696/32872528 swapFree=1541688/1694988 [pid=20054] ppid=20051 vsize=9891296 CPUtime=1799.47 cores=0,2,4,6 /proc/20054/stat : 20054 (java) S 20051 20054 6847 0 -1 4202496 43599 0 1 0 179650 297 0 0 20 0 18 0 10386974 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 140737379330960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20054/statm: 2472824 253228 2297 9 0 2463501 0 [pid=20054/tid=20056] ppid=20051 vsize=9891296 CPUtime=1.08 cores=0,2,4,6 /proc/20054/task/20056/stat : 20056 (java) S 20051 20054 6847 0 -1 4202560 2435 0 1 0 100 8 0 0 20 0 18 0 10386975 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939591701208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20057] ppid=20051 vsize=9891296 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20057/stat : 20057 (java) S 20051 20054 6847 0 -1 4202560 186 0 0 0 42 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939435555112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20058] ppid=20051 vsize=9891296 CPUtime=0.41 cores=0,2,4,6 /proc/20054/task/20058/stat : 20058 (java) S 20051 20054 6847 0 -1 4202560 110 0 0 0 34 7 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939434502312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20059] ppid=20051 vsize=9891296 CPUtime=0.44 cores=0,2,4,6 /proc/20054/task/20059/stat : 20059 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 38 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939433450024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20060] ppid=20051 vsize=9891296 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20060/stat : 20060 (java) S 20051 20054 6847 0 -1 4202560 383 0 0 0 41 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939432397224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20061] ppid=20051 vsize=9891296 CPUtime=0.46 cores=0,2,4,6 /proc/20054/task/20061/stat : 20061 (java) S 20051 20054 6847 0 -1 4202560 350 0 0 0 39 7 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939431344936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20062] ppid=20051 vsize=9891296 CPUtime=0.45 cores=0,2,4,6 /proc/20054/task/20062/stat : 20062 (java) S 20051 20054 6847 0 -1 4202560 190 0 0 0 40 5 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939094194856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20063] ppid=20051 vsize=9891296 CPUtime=0.48 cores=0,2,4,6 /proc/20054/task/20063/stat : 20063 (java) S 20051 20054 6847 0 -1 4202560 315 0 0 0 42 6 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939093142568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20064] ppid=20051 vsize=9891296 CPUtime=0.47 cores=0,2,4,6 /proc/20054/task/20064/stat : 20064 (java) S 20051 20054 6847 0 -1 4202560 114 0 0 0 42 5 0 0 20 0 18 0 10386976 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939092089768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20065] ppid=20051 vsize=9891296 CPUtime=0.52 cores=0,2,4,6 /proc/20054/task/20065/stat : 20065 (java) R 20051 20054 6847 0 -1 4202560 688 0 0 0 29 23 0 0 20 0 18 0 10386977 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939079891176 270707494023 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20054/tid=20066] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20066/stat : 20066 (java) S 20051 20054 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 10386978 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939078837272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20067] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20067/stat : 20067 (java) S 20051 20054 6847 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 18 0 10386978 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939077784872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20069] ppid=20051 vsize=9891296 CPUtime=2.72 cores=0,2,4,6 /proc/20054/task/20069/stat : 20069 (java) S 20051 20054 6847 0 -1 4202560 14763 0 0 0 269 3 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939075656952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20054/tid=20070] ppid=20051 vsize=9891296 CPUtime=1.24 cores=0,2,4,6 /proc/20054/task/20070/stat : 20070 (java) S 20051 20054 6847 0 -1 4202560 19689 0 0 0 120 4 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939074628152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20071] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20071/stat : 20071 (java) S 20051 20054 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 10386980 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939073576056 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20054/tid=20420] ppid=20051 vsize=9891296 CPUtime=1305.01 cores=0,2,4,6 /proc/20054/task/20420/stat : 20420 (java) R 20051 20054 6847 0 -1 4202560 30 0 0 0 130480 21 0 0 20 0 18 0 10438335 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939069262848 139939447153196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20054/tid=20877] ppid=20051 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/20054/task/20877/stat : 20877 (java) S 20051 20054 6847 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 10569224 10128687104 253228 33554432000 1073741824 1073778376 140737379339824 139939071369736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 9891296 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20054 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=231387 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=370487 # CPU time returned by wait4() is 1796.6 # while last known CPU time is 1799.47 # # 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.970033 # lost CPU user time (s): 1.05001 # lost CPU system time (s): -0.0799999 Real time (s): 1822.74 CPU time (s): 1800.44 CPU user time (s): 1797.55 CPU system time (s): 2.89 CPU usage (%): 98.7764 Max. virtual memory (cumulated for all children) (KiB): 9891296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.23 system time used= 3.37049 maximum resident set size= 1121280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43599 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 79719 involuntary context switches= 39835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.7874 second user time and 11.2703 second system time The end
Begin job on node125 at 2016-06-16 15:23:24 IDJOB=4092316 IDBENCH=79251 IDSOLVER=2552 FILE ID=node125/4092316-1466083403 RUNJOBID= node125-1466075444-9508 PBS_JOBID= 19904014 Free space on /tmp= 71744 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.1111227012--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092316-1466083403/watcher-4092316-1466083403 -o /tmp/evaluation-result-4092316-1466083403/solver-4092316-1466083403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9508 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092316-1466083403.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f56278c0c7f2898f6b9e11f0d13a6fa RANDOM SEED=1508320462 node125.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.683 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.36 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.683 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.683 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.683 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.54 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.683 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.683 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.683 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.683 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: 29693164 kB Buffers: 29768 kB Cached: 64776 kB SwapCached: 2664 kB Active: 711812 kB Inactive: 65904 kB Active(anon): 683684 kB Inactive(anon): 2116 kB Active(file): 28128 kB Inactive(file): 63788 kB Unevictable: 1694988 kB Mlocked: 1541688 kB SwapTotal: 67108856 kB SwapFree: 67096840 kB Dirty: 808 kB Writeback: 16 kB AnonPages: 2331868 kB Mapped: 15436 kB Shmem: 0 kB Slab: 566692 kB SReclaimable: 10352 kB SUnreclaim: 556340 kB KernelStack: 1664 kB PageTables: 9292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2607884 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 774144 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= 71744 MiB End job on node125 at 2016-06-16 15:53:46