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.01 | 1806.02 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo |
| MD5SUM | 5e3a3bcb6963f7a006c35c648aafeea1 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3.63045 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4109645-1466342710.wbo 0.09/0.12 c reading problem ... 0.09/0.18 c ... done. Wall clock time 0.066s. 0.09/0.18 c declared #vars 169 0.09/0.18 c internal #vars 238 0.09/0.18 c #constraints 101 0.09/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.09/0.19 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.09/0.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.09/0.19 c 101 constraints processed. 0.09/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.19 c constraints type 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.09/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.09/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 69 literals 0.99/0.40 c And the winner is solver0 1.33/0.69 c SATISFIABLE 1.33/0.69 c OPTIMIZING... 1.33/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.33/0.69 o 1473 1.34/0.73 c And the winner is solver0 1.49/1.19 c Got one! Elapsed wall clock time (in seconds):1.071 1.49/1.19 o 712 1.49/1.20 c And the winner is solver0 1.56/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.56/1.69 o 693 1.58/1.77 c And the winner is solver0 1.92/2.19 c Got one! Elapsed wall clock time (in seconds):2.074 1.92/2.19 o 685 1.92/2.20 c And the winner is solver0 1.92/2.69 c Got one! Elapsed wall clock time (in seconds):2.575 1.92/2.69 o 679 1.93/2.70 c And the winner is solver0 1.96/3.19 c Got one! Elapsed wall clock time (in seconds):3.076 1.96/3.19 o 678 2.29/3.39 c cleaning 3959 clauses out of 7930 with flag 13157/7930 2.61/3.42 c And the winner is solver0 2.79/3.70 c Got one! Elapsed wall clock time (in seconds):3.577 2.79/3.70 o 565 2.79/3.70 c And the winner is solver0 2.79/4.20 c Got one! Elapsed wall clock time (in seconds):4.078 2.79/4.20 o 525 2.79/4.20 c And the winner is solver0 2.79/4.70 c Got one! Elapsed wall clock time (in seconds):4.579 2.79/4.70 o 517 2.79/4.73 c And the winner is solver0 2.85/5.20 c Got one! Elapsed wall clock time (in seconds):5.08 2.85/5.20 o 507 2.85/5.21 c And the winner is solver0 2.85/5.70 c Got one! Elapsed wall clock time (in seconds):5.581 2.85/5.70 o 502 2.85/5.70 c And the winner is solver0 2.85/6.20 c Got one! Elapsed wall clock time (in seconds):6.082 2.85/6.20 o 494 2.85/6.23 c And the winner is solver0 2.94/6.70 c Got one! Elapsed wall clock time (in seconds):6.583 2.94/6.70 o 493 2.94/6.71 c And the winner is solver0 2.98/7.20 c Got one! Elapsed wall clock time (in seconds):7.084 2.98/7.20 o 489 2.98/7.23 c And the winner is solver0 3.06/7.70 c Got one! Elapsed wall clock time (in seconds):7.585 3.06/7.70 o 380 3.06/7.76 c And the winner is solver0 3.18/8.20 c Got one! Elapsed wall clock time (in seconds):8.086 3.18/8.20 o 379 3.18/8.22 c And the winner is solver0 3.19/8.71 c Got one! Elapsed wall clock time (in seconds):8.587 3.19/8.71 o 375 3.19/8.72 c And the winner is solver0 3.23/9.21 c Got one! Elapsed wall clock time (in seconds):9.088 3.23/9.21 o 369 3.23/9.22 c And the winner is solver0 3.28/9.71 c Got one! Elapsed wall clock time (in seconds):9.589 3.28/9.71 o 363 3.28/9.72 c And the winner is solver0 3.31/10.21 c Got one! Elapsed wall clock time (in seconds):10.09 3.31/10.21 o 353 3.31/10.25 c And the winner is solver0 3.39/10.71 c Got one! Elapsed wall clock time (in seconds):10.591 3.39/10.71 o 333 3.39/10.71 c And the winner is solver0 3.40/11.21 c Got one! Elapsed wall clock time (in seconds):11.094 3.40/11.21 o 330 3.40/11.22 c And the winner is solver0 3.40/11.71 c Got one! Elapsed wall clock time (in seconds):11.595 3.40/11.71 o 301 3.40/11.72 c And the winner is solver0 3.41/12.21 c Got one! Elapsed wall clock time (in seconds):12.096 3.41/12.21 o 298 3.41/12.27 c And the winner is solver0 3.55/12.72 c Got one! Elapsed wall clock time (in seconds):12.597 3.55/12.72 o 289 3.55/12.74 c And the winner is solver0 3.61/13.22 c Got one! Elapsed wall clock time (in seconds):13.098 3.61/13.22 o 283 3.61/13.24 c And the winner is solver0 3.68/13.72 c Got one! Elapsed wall clock time (in seconds):13.599 3.68/13.72 o 281 3.68/13.72 c And the winner is solver0 3.68/14.22 c Got one! Elapsed wall clock time (in seconds):14.1 3.68/14.22 o 254 3.68/14.23 c And the winner is solver0 3.74/14.72 c Got one! Elapsed wall clock time (in seconds):14.601 3.74/14.72 o 253 3.90/14.86 c And the winner is solver0 4.04/15.22 c Got one! Elapsed wall clock time (in seconds):15.102 4.04/15.22 o 235 4.04/15.23 c And the winner is solver0 4.04/15.72 c Got one! Elapsed wall clock time (in seconds):15.603 4.04/15.72 o 234 4.04/15.74 c And the winner is solver0 4.09/16.22 c Got one! Elapsed wall clock time (in seconds):16.104 4.09/16.22 o 228 4.09/16.25 c And the winner is solver0 4.15/16.72 c Got one! Elapsed wall clock time (in seconds):16.605 4.15/16.72 o 221 4.15/16.78 c And the winner is solver0 4.29/17.22 c Got one! Elapsed wall clock time (in seconds):17.106 4.29/17.22 o 206 4.29/17.29 c cleaning 8872 clauses out of 17754 with flag 3679/21713 4.29/17.29 c And the winner is solver0 4.45/17.72 c Got one! Elapsed wall clock time (in seconds):17.606 4.45/17.72 o 193 4.45/17.75 c And the winner is solver0 4.52/18.23 c Got one! Elapsed wall clock time (in seconds):18.107 4.52/18.23 o 192 4.66/18.35 c And the winner is solver0 4.80/18.73 c Got one! Elapsed wall clock time (in seconds):18.608 4.80/18.73 o 190 4.80/18.75 c And the winner is solver0 4.87/19.23 c Got one! Elapsed wall clock time (in seconds):19.109 4.87/19.23 o 184 5.01/19.30 c And the winner is solver0 5.03/19.73 c Got one! Elapsed wall clock time (in seconds):19.61 5.03/19.73 o 183 5.19/19.85 c cleaning 8331 clauses out of 16690 with flag 7451/29521 5.60/20.06 c And the winner is solver0 5.75/20.23 c Got one! Elapsed wall clock time (in seconds):20.111 5.75/20.23 o 179 5.75/20.28 c cleaning 7155 clauses out of 14316 with flag 4111/35478 5.89/20.35 c And the winner is solver0 6.02/20.73 c Got one! Elapsed wall clock time (in seconds):20.612 6.02/20.73 o 177 6.02/20.78 c And the winner is solver0 6.26/21.23 c Got one! Elapsed wall clock time (in seconds):21.113 6.26/21.23 o 170 6.26/21.25 c And the winner is solver0 6.36/21.73 c Got one! Elapsed wall clock time (in seconds):21.614 6.36/21.73 o 169 6.49/21.87 c cleaning 6598 clauses out of 13195 with flag 14395/41512 6.49/21.87 c And the winner is solver0 6.76/22.23 c Got one! Elapsed wall clock time (in seconds):22.115 6.76/22.23 o 145 6.76/22.24 c And the winner is solver0 6.76/22.73 c Got one! Elapsed wall clock time (in seconds):22.616 6.76/22.73 o 131 7.09/22.98 c cleaning 5845 clauses out of 11690 with flag 24154/46605 7.29/23.05 c And the winner is solver0 7.49/23.24 c Got one! Elapsed wall clock time (in seconds):23.117 7.49/23.24 o 129 7.61/23.32 c And the winner is solver0 7.76/23.74 c Got one! Elapsed wall clock time (in seconds):23.618 7.76/23.74 o 123 7.91/23.88 c And the winner is solver0 8.13/24.24 c Got one! Elapsed wall clock time (in seconds):24.119 8.13/24.24 o 122 8.27/24.33 c cleaning 6631 clauses out of 13275 with flag 3935/54035 9.19/24.64 c cleaning 6314 clauses out of 12645 with flag 28050/60036 9.19/24.67 c And the winner is solver0 9.44/24.79 c Got one! Elapsed wall clock time (in seconds):24.67 9.44/24.79 o 111 9.54/24.80 c And the winner is solver0 9.61/25.29 c Got one! Elapsed wall clock time (in seconds):25.171 9.61/25.29 o 107 9.63/25.33 c And the winner is solver0 9.72/25.79 c Got one! Elapsed wall clock time (in seconds):25.672 9.72/25.79 o 105 9.73/25.88 c And the winner is solver0 10.03/26.29 c Got one! Elapsed wall clock time (in seconds):26.173 10.03/26.29 o 101 10.04/26.35 c And the winner is solver0 10.27/26.79 c Got one! Elapsed wall clock time (in seconds):26.674 10.27/26.79 o 100 10.29/26.84 c cleaning 6480 clauses out of 12966 with flag 3833/66671 10.89/27.11 c cleaning 6243 clauses out of 12486 with flag 29850/72671 11.49/27.40 c cleaning 6614 clauses out of 13246 with flag 57220/79674 11.49/27.42 c And the winner is solver0 11.54/27.79 c Got one! Elapsed wall clock time (in seconds):27.675 11.54/27.79 o 99 11.58/27.83 c And the winner is solver0 11.66/28.29 c Got one! Elapsed wall clock time (in seconds):28.175 11.66/28.29 o 95 11.66/28.31 c And the winner is solver0 11.71/28.79 c Got one! Elapsed wall clock time (in seconds):28.676 11.71/28.79 o 91 11.93/28.99 c cleaning 6201 clauses out of 12417 with flag 16329/85459 12.53/29.24 c cleaning 6107 clauses out of 12217 with flag 39969/91460 12.53/29.26 c And the winner is solver0 12.69/29.35 c Got one! Elapsed wall clock time (in seconds):29.227 12.69/29.35 o 90 12.69/29.39 c And the winner is solver0 12.98/29.85 c Got one! Elapsed wall clock time (in seconds):29.728 12.98/29.85 o 80 13.08/29.95 c And the winner is solver0 13.27/30.35 c Got one! Elapsed wall clock time (in seconds):30.229 13.27/30.35 o 79 13.38/30.45 c cleaning 6208 clauses out of 12417 with flag 8377/97767 13.58/30.52 c And the winner is solver0 13.65/30.85 c Got one! Elapsed wall clock time (in seconds):30.734 13.65/30.85 o 59 13.75/30.98 c cleaning 5636 clauses out of 11271 with flag 11778/102829 14.35/31.22 c cleaning 5816 clauses out of 11636 with flag 33681/108830 14.35/31.24 c And the winner is solver0 14.45/31.35 c Got one! Elapsed wall clock time (in seconds):31.236 14.45/31.35 o 57 14.73/31.56 c cleaning 5683 clauses out of 11378 with flag 19471/114388 15.33/31.80 c cleaning 5848 clauses out of 11695 with flag 42244/120388 15.75/32.07 c cleaning 6421 clauses out of 12846 with flag 67481/127388 16.13/32.30 c And the winner is solver0 16.74/32.76 c Got one! Elapsed wall clock time (in seconds):32.639 16.74/32.76 o 55 16.74/32.78 c And the winner is solver0 17.03/33.26 c Got one! Elapsed wall clock time (in seconds):33.142 17.03/33.26 o 52 17.51/33.52 c cleaning 8696 clauses out of 17395 with flag 20246/138358 17.91/33.78 c cleaning 7352 clauses out of 14703 with flag 43861/144362 18.51/34.08 c cleaning 7170 clauses out of 14347 with flag 69375/151358 18.92/34.22 c And the winner is solver0 19.34/34.66 c Got one! Elapsed wall clock time (in seconds):34.545 19.34/34.66 o 48 19.46/34.75 c cleaning 6280 clauses out of 12572 with flag 7935/156754 19.86/34.97 c cleaning 6141 clauses out of 12292 with flag 29768/162754 20.47/35.23 c cleaning 6573 clauses out of 13150 with flag 54440/169754 20.86/35.44 c And the winner is solver0 21.00/35.67 c Got one! Elapsed wall clock time (in seconds):35.548 21.00/35.67 o 47 21.25/35.89 c cleaning 8369 clauses out of 16739 with flag 19193/179916 21.85/36.15 c cleaning 7179 clauses out of 14370 with flag 44278/185916 22.47/36.44 c cleaning 7092 clauses out of 14192 with flag 73001/192917 23.25/36.81 c cleaning 7539 clauses out of 15099 with flag 111156/200916 24.06/37.21 c cleaning 8280 clauses out of 16561 with flag 149673/209918 24.06/37.26 c And the winner is solver0 24.30/37.67 c Got one! Elapsed wall clock time (in seconds):37.551 24.30/37.67 o 45 24.54/37.86 c cleaning 6795 clauses out of 13602 with flag 17192/215239 25.15/38.11 c cleaning 6401 clauses out of 12806 with flag 42156/221238 25.75/38.40 c cleaning 6699 clauses out of 13406 with flag 70837/228239 26.35/38.74 c cleaning 7350 clauses out of 14707 with flag 104465/236239 26.35/38.75 c And the winner is solver0 26.72/39.17 c Got one! Elapsed wall clock time (in seconds):39.054 26.72/39.17 o 44 26.97/39.37 c cleaning 6352 clauses out of 12712 with flag 19928/241595 27.37/39.59 c cleaning 6173 clauses out of 12362 with flag 44254/247597 27.97/39.83 c And the winner is solver0 28.21/40.18 c Got one! Elapsed wall clock time (in seconds):40.057 28.21/40.18 o 42 28.45/40.39 c And the winner is solver0 29.24/41.03 c Got one! Elapsed wall clock time (in seconds):40.91 29.24/41.03 o 38 29.24/41.09 c cleaning 9166 clauses out of 18334 with flag 4864/259742 29.78/41.34 c cleaning 7579 clauses out of 15167 with flag 28792/265742 29.98/41.40 c And the winner is solver0 30.40/41.88 c Got one! Elapsed wall clock time (in seconds):41.764 30.40/41.88 o 34 30.68/42.03 c cleaning 6512 clauses out of 13030 with flag 14840/271185 30.68/42.06 c And the winner is solver0 30.84/42.39 c Got one! Elapsed wall clock time (in seconds):42.267 30.84/42.39 o 30 31.07/42.55 c cleaning 5779 clauses out of 11565 with flag 15886/276232 31.27/42.60 c And the winner is solver0 31.88/43.24 c Got one! Elapsed wall clock time (in seconds):43.121 31.88/43.24 o 29 32.00/43.39 c cleaning 5666 clauses out of 11336 with flag 14291/281782 32.60/43.61 c cleaning 5829 clauses out of 11669 with flag 35170/287781 33.00/43.87 c cleaning 6412 clauses out of 12839 with flag 60379/294781 33.20/43.91 c And the winner is solver0 33.38/44.25 c Got one! Elapsed wall clock time (in seconds):44.125 33.38/44.25 o 24 33.68/44.41 c cleaning 5928 clauses out of 11870 with flag 14767/300224 34.08/44.63 c cleaning 5964 clauses out of 11943 with flag 36189/306225 34.08/44.66 c And the winner is solver0 34.55/45.10 c Got one! Elapsed wall clock time (in seconds):44.98 34.55/45.10 o 23 34.83/45.29 c cleaning 5913 clauses out of 11834 with flag 18366/312081 35.41/45.50 c cleaning 5950 clauses out of 11919 with flag 38727/318079 35.41/45.58 c And the winner is solver0 35.91/45.95 c Got one! Elapsed wall clock time (in seconds):45.834 35.91/45.95 o 15 36.02/46.07 c cleaning 5721 clauses out of 11458 with flag 11604/323568 36.43/46.29 c cleaning 5861 clauses out of 11739 with flag 34920/329570 37.02/46.54 c cleaning 6435 clauses out of 12874 with flag 60183/336569 37.62/46.83 c cleaning 7214 clauses out of 14438 with flag 91247/344570 38.02/47.04 c And the winner is solver0 38.37/47.46 c Got one! Elapsed wall clock time (in seconds):47.338 38.37/47.46 o 14 38.64/47.69 c cleaning 8951 clauses out of 17910 with flag 19414/355257 39.24/47.92 c And the winner is solver0 39.67/48.31 c Got one! Elapsed wall clock time (in seconds):48.193 39.67/48.31 o 13 39.84/48.42 c And the winner is solver0 39.98/48.82 c Got one! Elapsed wall clock time (in seconds):48.698 39.98/48.82 o 12 40.14/48.98 c cleaning 10000 clauses out of 20007 with flag 13662/366306 40.74/49.25 c cleaning 7999 clauses out of 16005 with flag 38441/372307 40.94/49.36 c And the winner is solver0 41.34/49.82 c Got one! Elapsed wall clock time (in seconds):49.702 41.34/49.82 o 3 41.49/49.92 c cleaning 6596 clauses out of 13197 with flag 8359/377499 41.89/50.11 c And the winner is solver0 42.41/50.68 c Got one! Elapsed wall clock time (in seconds):50.557 42.41/50.68 o 2 42.41/50.68 c And the winner is solver0 1800.01/1806.00 c >>>>>>>>>> Solver number 0 (81 answers) <<<<<<<<<<<<<<<<<< 1800.01/1806.00 c starts : 194 1800.01/1806.00 c conflicts : 382726 1800.01/1806.00 c decisions : 637674 1800.01/1806.00 c propagations : 10238748 1800.01/1806.00 c inspects : 164183879 1800.01/1806.00 c shortcuts : 0 1800.01/1806.00 c learnt literals : 20 1800.01/1806.00 c learnt binary clauses : 41 1800.01/1806.00 c learnt ternary clauses : 1080 1800.01/1806.00 c learnt constraints : 382706 1800.01/1806.00 c ignored constraints : 0 1800.01/1806.00 c root simplifications : 0 1800.01/1806.00 c removed literals (reason simplification) : 1703737 1800.01/1806.00 c reason swapping (by a shorter reason) : 0 1800.01/1806.00 c Calls to reduceDB : 55 1800.01/1806.00 c Number of update (reduction) of LBD : 107042 1800.01/1806.00 c Imported unit clauses : 0 1800.01/1806.00 c number of reductions to clauses (during analyze) : 0 1800.01/1806.00 c number of learned constraints concerned by reduction : 0 1800.01/1806.00 c number of learning phase by resolution : 0 1800.01/1806.00 c number of learning phase by cutting planes : 0 1800.01/1806.00 c speed (assignments/second) : 5669.885901743925 1800.01/1806.00 c non guided choices 3292 1800.01/1806.01 c learnt constraints type 1800.01/1806.01 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41 1800.01/1806.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11787 1800.01/1806.01 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.01/1806.01 c starts : 81 1800.01/1806.01 c conflicts : 736 1800.01/1806.01 c decisions : 8807 1800.01/1806.01 c propagations : 37602 1800.01/1806.01 c inspects : 2599110 1800.01/1806.01 c shortcuts : 0 1800.01/1806.01 c learnt literals : 0 1800.01/1806.01 c learnt binary clauses : 0 1800.01/1806.01 c learnt ternary clauses : 0 1800.01/1806.01 c learnt constraints : 671 1800.01/1806.01 c ignored constraints : 0 1800.01/1806.01 c root simplifications : 0 1800.01/1806.01 c removed literals (reason simplification) : 0 1800.01/1806.01 c reason swapping (by a shorter reason) : 0 1800.01/1806.01 c Calls to reduceDB : 0 1800.01/1806.01 c Number of update (reduction) of LBD : 0 1800.01/1806.01 c Imported unit clauses : 0 1800.01/1806.01 c number of reductions to clauses (during analyze) : 0 1800.01/1806.01 c number of learned constraints concerned by reduction : 0 1800.01/1806.01 c number of learning phase by resolution : 0 1800.01/1806.01 c number of learning phase by cutting planes : 0 1800.01/1806.01 c speed (assignments/second) : 21.42177167998715 1800.01/1806.01 c non guided choices 1459 1800.01/1806.01 c learnt constraints type 1800.01/1806.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 671 1800.01/1806.01 s SATISFIABLE 1800.01/1806.01 c Found 80 solution(s) 1800.01/1806.01 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.01/1806.01 c objective function=2 1800.01/1806.01 c Total wall clock time (in seconds): 1805.893
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-4109645-1466342710/watcher-4109645-1466342710 -o /tmp/evaluation-result-4109645-1466342710/solver-4109645-1466342710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466341826-28147 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109645-1466342710.wbo pid=1297 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.08 1.75 1.07 3/196 1300 /proc/meminfo: memFree=30480012/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/1300/stat : 1300 (java) D 1297 1300 28131 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 36321414 9515008 175 33554432000 1073741824 1073778376 140734100197552 140734100180280 247064249232 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/1300/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.08 1.75 1.07 3/196 1300 /proc/meminfo: memFree=30480012/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 36321414 9787879424 6041 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2389619 6041 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200215 s] /proc/loadavg: 2.08 1.75 1.07 3/196 1300 /proc/meminfo: memFree=30480012/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 4752 0 1 0 22 1 0 0 20 0 22 0 36321414 10060525568 7889 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 7889 2208 9 0 2446860 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9824732 [startup+0.300207 s] /proc/loadavg: 2.08 1.75 1.07 3/196 1300 /proc/meminfo: memFree=30480012/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 7574 0 1 0 58 1 0 0 20 0 22 0 36321414 10060525568 9915 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 9915 2248 9 0 2446860 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9824732 [startup+0.700289 s] /proc/loadavg: 2.08 1.75 1.07 3/196 1300 /proc/meminfo: memFree=30480012/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=1.34 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 15912 0 1 0 129 5 0 0 20 0 22 0 36321414 10060525568 15585 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 15585 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9824732 [startup+1.50075 s] /proc/loadavg: 2.08 1.75 1.07 2/215 1325 /proc/meminfo: memFree=30421780/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 15982 0 1 0 149 7 0 0 20 0 19 0 36321414 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 17686 2255 9 0 2446860 0 [pid=1300/tid=1302] ppid=1297 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2419 0 1 0 14 2 0 0 20 0 19 0 36321415 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988931675000 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 4803 0 0 0 44 0 0 0 20 0 19 0 36321420 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7406 0 0 0 43 1 0 0 20 0 19 0 36321420 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321433 10060525568 17686 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9824732 [startup+3.10079 s] /proc/loadavg: 2.08 1.75 1.07 4/218 1334 /proc/meminfo: memFree=30396584/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 16099 0 1 0 187 9 0 0 20 0 19 0 36321414 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 23914 2267 9 0 2446860 0 [pid=1300/tid=1302] ppid=1297 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 19 0 36321415 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988931675000 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 4808 0 0 0 50 0 0 0 20 0 19 0 36321420 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7484 0 0 0 59 1 0 0 20 0 19 0 36321420 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321433 10060525568 23914 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30085 s] /proc/loadavg: 2.08 1.75 1.08 3/215 1354 /proc/meminfo: memFree=30309532/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=2.94 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 20772 0 1 0 280 14 0 0 20 0 19 0 36321414 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 43634 2285 9 0 2446860 0 [pid=1300/tid=1302] ppid=1297 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2422 0 1 0 15 2 0 0 20 0 19 0 36321415 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988931675000 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36321416 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36321417 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 9347 0 0 0 76 2 0 0 20 0 19 0 36321420 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7484 0 0 0 72 1 0 0 20 0 19 0 36321420 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36321420 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36321433 10060525568 43634 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2434 0 1 0 42 8 0 0 20 0 21 0 36321415 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988931675128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 166 0 0 0 31 5 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 205 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 60 0 0 0 36 4 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 116 0 0 0 40 6 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 141 0 0 0 37 5 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 142 0 0 0 37 6 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 60 0 0 0 32 4 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 284 0 0 0 38 5 0 0 20 0 21 0 36321416 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 178 0 0 0 2 8 0 0 20 0 21 0 36321417 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 17915 0 0 0 160 3 0 0 20 0 21 0 36321420 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7488 0 0 0 84 1 0 0 20 0 21 0 36321420 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 100 0 0 0 7 12 0 0 20 0 21 0 36321420 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36321433 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1596] ppid=1297 vsize=9824732 CPUtime=1666.14 cores=0,2,4,6 /proc/1300/task/1596/stat : 1596 (java) R 1297 1300 28131 0 -1 4202560 968 0 0 0 166586 28 0 0 20 0 21 0 36326482 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988273409424 139988772492531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1597] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1597/stat : 1597 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36326483 10060525568 111810 33554432000 1073741824 1073778376 140737094699824 139988275516328 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1716.19 Current children cumulated vsize (KiB) 9824732 [startup+1782.3 s] /proc/loadavg: 2.03 2.07 1.88 3/217 2709 /proc/meminfo: memFree=27374556/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=1776.3 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 32324 0 1 0 177432 198 0 0 20 0 21 0 36321414 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 111552 2288 9 0 2446860 0 [pid=1300/tid=1302] ppid=1297 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2436 0 1 0 43 8 0 0 20 0 21 0 36321415 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988931675128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 167 0 0 0 33 5 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 206 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 62 0 0 0 38 4 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 117 0 0 0 42 6 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 142 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 144 0 0 0 39 6 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 60 0 0 0 33 4 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 286 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 180 0 0 0 2 8 0 0 20 0 21 0 36321417 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 17915 0 0 0 160 3 0 0 20 0 21 0 36321420 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7488 0 0 0 84 1 0 0 20 0 21 0 36321420 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 104 0 0 0 7 12 0 0 20 0 21 0 36321420 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36321433 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1596] ppid=1297 vsize=9824732 CPUtime=1725.93 cores=0,2,4,6 /proc/1300/task/1596/stat : 1596 (java) R 1297 1300 28131 0 -1 4202560 971 0 0 0 172564 29 0 0 20 0 21 0 36326482 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988273409024 139988772164977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1597] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1597/stat : 1597 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36326483 10060525568 111552 33554432000 1073741824 1073778376 140737094699824 139988275516328 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1776.3 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1806 s] /proc/loadavg: 2.10 2.08 1.89 3/217 2710 /proc/meminfo: memFree=27335460/32872528 swapFree=249320/249320 [pid=1300] ppid=1297 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6 /proc/1300/stat : 1300 (java) S 1297 1300 28131 0 -1 4202496 32329 0 1 0 179802 199 0 0 20 0 21 0 36321414 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 140737094690960 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1300/statm: 2456183 111855 2288 9 0 2446860 0 [pid=1300/tid=1302] ppid=1297 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/1300/task/1302/stat : 1302 (java) S 1297 1300 28131 0 -1 4202560 2436 0 1 0 43 8 0 0 20 0 21 0 36321415 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988931675128 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1303] ppid=1297 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/1300/task/1303/stat : 1303 (java) S 1297 1300 28131 0 -1 4202560 167 0 0 0 33 5 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988893166120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1304] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1304/stat : 1304 (java) S 1297 1300 28131 0 -1 4202560 206 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988892113320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1305] ppid=1297 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/1300/task/1305/stat : 1305 (java) S 1297 1300 28131 0 -1 4202560 62 0 0 0 38 4 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988891060520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1306] ppid=1297 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/1300/task/1306/stat : 1306 (java) S 1297 1300 28131 0 -1 4202560 117 0 0 0 42 6 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988771530920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1307] ppid=1297 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/1300/task/1307/stat : 1307 (java) S 1297 1300 28131 0 -1 4202560 143 0 0 0 40 5 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988770479144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1308] ppid=1297 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/1300/task/1308/stat : 1308 (java) S 1297 1300 28131 0 -1 4202560 144 0 0 0 39 6 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988769426344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1309] ppid=1297 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/1300/task/1309/stat : 1309 (java) S 1297 1300 28131 0 -1 4202560 61 0 0 0 34 4 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988768373544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1300/tid=1310] ppid=1297 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/1300/task/1310/stat : 1310 (java) S 1297 1300 28131 0 -1 4202560 286 0 0 0 39 5 0 0 20 0 21 0 36321416 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988767320744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1300/tid=1311] ppid=1297 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/1300/task/1311/stat : 1311 (java) S 1297 1300 28131 0 -1 4202560 182 0 0 0 2 8 0 0 20 0 21 0 36321417 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988284991976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1312] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1312/stat : 1312 (java) S 1297 1300 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988283938040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1313] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1313/stat : 1313 (java) S 1297 1300 28131 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36321417 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988282885128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1314] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1314/stat : 1314 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988281833616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1315] ppid=1297 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/1300/task/1315/stat : 1315 (java) S 1297 1300 28131 0 -1 4202560 17915 0 0 0 160 3 0 0 20 0 21 0 36321420 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988280781752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1316] ppid=1297 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/1300/task/1316/stat : 1316 (java) S 1297 1300 28131 0 -1 4202560 7488 0 0 0 84 1 0 0 20 0 21 0 36321420 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988279728952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1317] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1317/stat : 1317 (java) S 1297 1300 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36321420 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988278676344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1318] ppid=1297 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/1300/task/1318/stat : 1318 (java) S 1297 1300 28131 0 -1 4202560 104 0 0 0 8 12 0 0 20 0 21 0 36321420 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988277623752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1300/tid=1321] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1321/stat : 1321 (java) S 1297 1300 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36321433 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988274463656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1596] ppid=1297 vsize=9824732 CPUtime=1749.57 cores=0,2,4,6 /proc/1300/task/1596/stat : 1596 (java) R 1297 1300 28131 0 -1 4202560 972 0 0 0 174928 29 0 0 20 0 21 0 36326482 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988273408688 139988772401800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1300/tid=1597] ppid=1297 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/1300/task/1597/stat : 1597 (java) S 1297 1300 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36326483 10060525568 111855 33554432000 1073741824 1073778376 140737094699824 139988275516328 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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 1300 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1300 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=578334 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=431630 # CPU time returned by wait4() is 1796.01 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1806.02 CPU time (s): 1800.01 CPU user time (s): 1798.02 CPU system time (s): 1.99 CPU usage (%): 99.6674 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.58 system time used= 2.43163 maximum resident set size= 449288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32355 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 80146 involuntary context switches= 41857 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.6339 second user time and 9.47156 second system time The end
Begin job on node103 at 2016-06-19 15:25:10 IDJOB=4109645 IDBENCH=78879 IDSOLVER=2552 FILE ID=node103/4109645-1466342710 RUNJOBID= node103-1466341826-28147 PBS_JOBID= 19922045 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225122--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109645-1466342710/watcher-4109645-1466342710 -o /tmp/evaluation-result-4109645-1466342710/solver-4109645-1466342710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466341826-28147 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109645-1466342710.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5e3a3bcb6963f7a006c35c648aafeea1 RANDOM SEED=1955998647 node103.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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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: 30480284 kB Buffers: 167160 kB Cached: 327040 kB SwapCached: 2492 kB Active: 1026780 kB Inactive: 355320 kB Active(anon): 886688 kB Inactive(anon): 3408 kB Active(file): 140092 kB Inactive(file): 351912 kB Unevictable: 249320 kB Mlocked: 249320 kB SwapTotal: 67108856 kB SwapFree: 67099656 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 1143604 kB Mapped: 16644 kB Shmem: 0 kB Slab: 617168 kB SReclaimable: 61080 kB SUnreclaim: 556088 kB KernelStack: 1776 kB PageTables: 6336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1499992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 880640 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= 71732 MiB End job on node103 at 2016-06-19 15:55:16