Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 24.8282 | 47.0154 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo |
| MD5SUM | 6809fb2fcff82744047966c4438af278 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 3.56446 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1221 |
| 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.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-4092295-1467321872.wbo 0.09/0.12 c reading problem ... 0.09/0.19 c ... done. Wall clock time 0.065s. 0.09/0.19 c declared #vars 169 0.09/0.19 c internal #vars 270 0.09/0.19 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 => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 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.OriginalHTClausePB => 30 0.09/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.09/0.19 c 101 constraints processed. 0.09/0.19 c objective function length is 101 literals 0.62/0.37 c And the winner is solver0 1.24/0.69 c SATISFIABLE 1.24/0.69 c OPTIMIZING... 1.24/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.24/0.69 o 694 1.24/0.69 c And the winner is solver0 1.24/1.19 c Got one! Elapsed wall clock time (in seconds):1.072 1.24/1.19 o 679 1.27/1.21 c And the winner is solver0 1.41/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.41/1.69 o 665 1.42/1.72 c And the winner is solver0 1.52/2.19 c Got one! Elapsed wall clock time (in seconds):2.075 1.52/2.19 o 612 1.52/2.20 c And the winner is solver0 1.54/2.70 c Got one! Elapsed wall clock time (in seconds):2.576 1.54/2.70 o 572 1.54/2.70 c And the winner is solver0 1.55/3.20 c Got one! Elapsed wall clock time (in seconds):3.077 1.55/3.20 o 544 1.56/3.23 c And the winner is solver0 1.63/3.70 c Got one! Elapsed wall clock time (in seconds):3.579 1.63/3.70 o 529 1.63/3.76 c And the winner is solver0 1.89/4.20 c Got one! Elapsed wall clock time (in seconds):4.08 1.89/4.20 o 472 1.89/4.21 c And the winner is solver0 1.90/4.70 c Got one! Elapsed wall clock time (in seconds):4.581 1.90/4.70 o 467 1.90/4.71 c And the winner is solver0 1.91/5.20 c Got one! Elapsed wall clock time (in seconds):5.083 1.91/5.20 o 448 1.91/5.27 c And the winner is solver0 2.07/5.70 c Got one! Elapsed wall clock time (in seconds):5.584 2.07/5.70 o 447 2.07/5.72 c And the winner is solver0 2.11/6.21 c Got one! Elapsed wall clock time (in seconds):6.085 2.11/6.21 o 446 2.11/6.21 c And the winner is solver0 2.11/6.71 c Got one! Elapsed wall clock time (in seconds):6.587 2.11/6.71 o 442 2.11/6.73 c And the winner is solver0 2.28/7.21 c Got one! Elapsed wall clock time (in seconds):7.088 2.28/7.21 o 432 2.28/7.23 c And the winner is solver0 2.31/7.71 c Got one! Elapsed wall clock time (in seconds):7.59 2.31/7.71 o 431 2.31/7.73 c And the winner is solver0 2.36/8.21 c Got one! Elapsed wall clock time (in seconds):8.091 2.36/8.21 o 427 2.36/8.27 c And the winner is solver0 2.55/8.71 c Got one! Elapsed wall clock time (in seconds):8.592 2.55/8.71 o 424 2.55/8.72 c And the winner is solver0 2.55/9.21 c Got one! Elapsed wall clock time (in seconds):9.093 2.55/9.21 o 414 2.55/9.22 c And the winner is solver0 2.56/9.71 c Got one! Elapsed wall clock time (in seconds):9.594 2.56/9.71 o 396 2.56/9.72 c And the winner is solver0 2.56/10.22 c Got one! Elapsed wall clock time (in seconds):10.096 2.56/10.22 o 392 2.56/10.22 c And the winner is solver0 2.58/10.72 c Got one! Elapsed wall clock time (in seconds):10.597 2.58/10.72 o 373 2.58/10.73 c And the winner is solver0 2.70/11.22 c Got one! Elapsed wall clock time (in seconds):11.098 2.70/11.22 o 365 2.70/11.22 c And the winner is solver0 2.70/11.72 c Got one! Elapsed wall clock time (in seconds):11.599 2.70/11.72 o 352 2.70/11.73 c And the winner is solver0 2.71/12.22 c Got one! Elapsed wall clock time (in seconds):12.1 2.71/12.22 o 344 2.71/12.23 c And the winner is solver0 2.71/12.72 c Got one! Elapsed wall clock time (in seconds):12.601 2.71/12.72 o 343 2.71/12.73 c And the winner is solver0 2.73/13.22 c Got one! Elapsed wall clock time (in seconds):13.102 2.73/13.22 o 337 2.73/13.25 c And the winner is solver0 2.80/13.72 c Got one! Elapsed wall clock time (in seconds):13.603 2.80/13.72 o 332 2.80/13.74 c And the winner is solver0 2.84/14.22 c Got one! Elapsed wall clock time (in seconds):14.104 2.84/14.22 o 331 2.84/14.27 c And the winner is solver0 3.04/14.73 c Got one! Elapsed wall clock time (in seconds):14.606 3.04/14.73 o 330 3.04/14.74 c And the winner is solver0 3.04/15.23 c Got one! Elapsed wall clock time (in seconds):15.107 3.04/15.23 o 282 3.04/15.29 c And the winner is solver0 3.18/15.73 c Got one! Elapsed wall clock time (in seconds):15.608 3.18/15.73 o 280 3.36/15.83 c cleaning 6385 clauses out of 12770 with flag 3456/12770 3.36/15.85 c And the winner is solver0 3.54/16.23 c Got one! Elapsed wall clock time (in seconds):16.109 3.54/16.23 o 258 3.54/16.29 c And the winner is solver0 3.67/16.73 c Got one! Elapsed wall clock time (in seconds):16.61 3.67/16.73 o 255 3.67/16.76 c And the winner is solver0 3.74/17.23 c Got one! Elapsed wall clock time (in seconds):17.111 3.74/17.23 o 253 4.08/17.41 c And the winner is solver0 4.12/17.73 c Got one! Elapsed wall clock time (in seconds):17.612 4.12/17.73 o 250 4.12/17.75 c And the winner is solver0 4.17/18.23 c Got one! Elapsed wall clock time (in seconds):18.113 4.17/18.23 o 246 4.17/18.26 c And the winner is solver0 4.27/18.73 c Got one! Elapsed wall clock time (in seconds):18.614 4.27/18.73 o 244 4.27/18.76 c And the winner is solver0 4.39/19.24 c Got one! Elapsed wall clock time (in seconds):19.115 4.39/19.24 o 187 4.39/19.28 c And the winner is solver0 4.50/19.74 c Got one! Elapsed wall clock time (in seconds):19.616 4.50/19.74 o 173 4.50/19.77 c And the winner is solver0 4.58/20.24 c Got one! Elapsed wall clock time (in seconds):20.117 4.58/20.24 o 172 4.69/20.31 c cleaning 8090 clauses out of 16187 with flag 3230/22572 4.69/20.33 c And the winner is solver0 4.78/20.74 c Got one! Elapsed wall clock time (in seconds):20.618 4.78/20.74 o 170 5.13/20.97 c And the winner is solver0 5.28/21.24 c Got one! Elapsed wall clock time (in seconds):21.119 5.28/21.24 o 168 5.40/21.30 c cleaning 6812 clauses out of 13632 with flag 3721/28107 5.40/21.36 c And the winner is solver0 5.55/21.74 c Got one! Elapsed wall clock time (in seconds):21.62 5.55/21.74 o 164 5.55/21.75 c And the winner is solver0 5.57/22.24 c Got one! Elapsed wall clock time (in seconds):22.121 5.57/22.24 o 156 5.57/22.29 c And the winner is solver0 5.71/22.74 c Got one! Elapsed wall clock time (in seconds):22.622 5.71/22.74 o 155 5.71/22.79 c And the winner is solver0 5.85/23.24 c Got one! Elapsed wall clock time (in seconds):23.123 5.85/23.24 o 154 5.95/23.33 c And the winner is solver0 6.05/23.74 c Got one! Elapsed wall clock time (in seconds):23.624 6.05/23.74 o 153 6.14/23.86 c cleaning 7154 clauses out of 14307 with flag 7871/35594 6.35/23.92 c And the winner is solver0 6.44/24.24 c Got one! Elapsed wall clock time (in seconds):24.125 6.44/24.24 o 148 6.44/24.27 c And the winner is solver0 6.54/24.75 c Got one! Elapsed wall clock time (in seconds):24.626 6.54/24.75 o 147 6.70/24.81 c And the winner is solver0 6.78/25.25 c Got one! Elapsed wall clock time (in seconds):25.127 6.78/25.25 o 146 7.11/25.42 c And the winner is solver0 7.17/25.75 c Got one! Elapsed wall clock time (in seconds):25.628 7.17/25.75 o 143 7.27/25.83 c cleaning 6951 clauses out of 13907 with flag 4212/42348 7.57/25.90 c And the winner is solver0 7.90/26.25 c Got one! Elapsed wall clock time (in seconds):26.129 7.90/26.25 o 141 7.90/26.28 c And the winner is solver0 8.00/26.75 c Got one! Elapsed wall clock time (in seconds):26.63 8.00/26.75 o 140 8.12/26.81 c And the winner is solver0 8.17/27.25 c Got one! Elapsed wall clock time (in seconds):27.131 8.17/27.25 o 138 8.26/27.31 c And the winner is solver0 8.32/27.75 c Got one! Elapsed wall clock time (in seconds):27.632 8.32/27.75 o 137 8.32/27.76 c And the winner is solver0 8.34/28.25 c Got one! Elapsed wall clock time (in seconds):28.133 8.34/28.25 o 135 8.34/28.29 c And the winner is solver0 8.47/28.75 c Got one! Elapsed wall clock time (in seconds):28.634 8.47/28.75 o 129 8.55/28.84 c And the winner is solver0 8.66/29.25 c Got one! Elapsed wall clock time (in seconds):29.135 8.66/29.25 o 108 8.66/29.28 c And the winner is solver0 8.73/29.76 c Got one! Elapsed wall clock time (in seconds):29.636 8.73/29.76 o 106 8.84/29.80 c And the winner is solver0 8.93/30.26 c Got one! Elapsed wall clock time (in seconds):30.137 8.93/30.26 o 102 8.93/30.28 c And the winner is solver0 9.01/30.76 c Got one! Elapsed wall clock time (in seconds):30.638 9.01/30.76 o 89 9.10/30.83 c And the winner is solver0 9.18/31.26 c Got one! Elapsed wall clock time (in seconds):31.139 9.18/31.26 o 85 9.25/31.34 c cleaning 8617 clauses out of 17237 with flag 4461/52629 9.25/31.36 c And the winner is solver0 9.40/31.76 c Got one! Elapsed wall clock time (in seconds):31.641 9.40/31.76 o 79 9.40/31.77 c And the winner is solver0 9.44/32.26 c Got one! Elapsed wall clock time (in seconds):32.142 9.44/32.26 o 78 9.44/32.28 c And the winner is solver0 9.50/32.76 c Got one! Elapsed wall clock time (in seconds):32.645 9.50/32.76 o 77 9.50/32.77 c And the winner is solver0 9.50/33.27 c Got one! Elapsed wall clock time (in seconds):33.147 9.50/33.27 o 73 9.57/33.31 c And the winner is solver0 9.59/33.77 c Got one! Elapsed wall clock time (in seconds):33.649 9.59/33.77 o 61 9.65/33.89 c And the winner is solver0 9.85/34.27 c Got one! Elapsed wall clock time (in seconds):34.152 9.85/34.27 o 51 9.89/34.34 c And the winner is solver0 10.01/34.78 c Got one! Elapsed wall clock time (in seconds):34.656 10.01/34.78 o 43 10.05/34.81 c And the winner is solver0 10.14/35.28 c Got one! Elapsed wall clock time (in seconds):35.16 10.14/35.28 o 42 10.18/35.39 c cleaning 8877 clauses out of 17774 with flag 6593/61783 10.79/35.66 c cleaning 7447 clauses out of 14897 with flag 26193/67783 10.99/35.75 c And the winner is solver0 10.99/35.78 c Got one! Elapsed wall clock time (in seconds):35.664 10.99/35.78 o 39 11.13/35.81 c And the winner is solver0 11.17/36.29 c Got one! Elapsed wall clock time (in seconds):36.168 11.17/36.29 o 37 11.20/36.34 c And the winner is solver0 11.31/36.79 c Got one! Elapsed wall clock time (in seconds):36.673 11.31/36.79 o 36 11.52/36.90 c cleaning 6910 clauses out of 13819 with flag 6288/74152 11.72/37.06 c And the winner is solver0 11.87/37.30 c Got one! Elapsed wall clock time (in seconds):37.178 11.87/37.30 o 33 11.87/37.35 c cleaning 6134 clauses out of 12271 with flag 3558/79514 11.87/37.36 c And the winner is solver0 12.00/37.80 c Got one! Elapsed wall clock time (in seconds):37.684 12.00/37.80 o 25 12.38/38.00 c cleaning 5639 clauses out of 11294 with flag 19238/84671 12.80/38.25 c cleaning 5823 clauses out of 11655 with flag 42615/90671 13.42/38.55 c cleaning 6415 clauses out of 12833 with flag 71752/97672 14.02/38.85 c cleaning 7207 clauses out of 14416 with flag 98683/105670 14.83/39.25 c cleaning 8103 clauses out of 16209 with flag 130621/114670 14.83/39.25 c And the winner is solver0 14.97/39.31 c Got one! Elapsed wall clock time (in seconds):39.189 14.97/39.31 o 24 14.97/39.38 c And the winner is solver0 15.14/39.82 c Got one! Elapsed wall clock time (in seconds):39.698 15.14/39.82 o 23 15.49/40.01 c cleaning 6904 clauses out of 13818 with flag 16346/120382 15.89/40.21 c And the winner is solver0 15.95/40.33 c Got one! Elapsed wall clock time (in seconds):40.206 15.95/40.33 o 14 15.95/40.35 c And the winner is solver0 16.00/40.83 c Got one! Elapsed wall clock time (in seconds):40.715 16.00/40.83 o 12 16.00/40.87 c And the winner is solver0 16.08/41.34 c Got one! Elapsed wall clock time (in seconds):41.224 16.08/41.34 o 11 16.17/41.48 c And the winner is solver0 16.36/41.85 c Got one! Elapsed wall clock time (in seconds):41.734 16.36/41.85 o 10 16.65/42.01 c And the winner is solver0 16.68/42.37 c Got one! Elapsed wall clock time (in seconds):42.249 16.68/42.37 o 8 16.73/42.45 c cleaning 10192 clauses out of 20390 with flag 4297/133858 17.33/42.73 c cleaning 8096 clauses out of 16199 with flag 34119/139859 17.94/43.02 c cleaning 7546 clauses out of 15100 with flag 64567/146858 18.53/43.36 c cleaning 7773 clauses out of 15553 with flag 98942/154859 19.35/43.77 c cleaning 8385 clauses out of 16777 with flag 135939/163858 20.41/44.22 c cleaning 9191 clauses out of 18390 with flag 181533/173859 21.42/44.75 c cleaning 10094 clauses out of 20196 with flag 232324/184858 22.04/45.10 c And the winner is solver0 22.27/45.38 c Got one! Elapsed wall clock time (in seconds):45.26 22.27/45.38 o 3 22.69/45.68 c cleaning 11303 clauses out of 22614 with flag 22708/197372 23.29/45.99 c cleaning 8647 clauses out of 17308 with flag 50402/203373 23.70/46.12 c And the winner is solver0 23.83/46.39 c Got one! Elapsed wall clock time (in seconds):46.273 23.83/46.39 o 1 24.02/46.51 c cleaning 6914 clauses out of 13831 with flag 10363/208544 24.42/46.72 c And the winner is solver0 24.73/47.00 c >>>>>>>>>> Solver number 0 (85 answers) <<<<<<<<<<<<<<<<<< 24.73/47.00 c starts : 197 24.73/47.00 c conflicts : 213884 24.73/47.00 c decisions : 369743 24.73/47.00 c propagations : 5805741 24.73/47.01 c inspects : 111536033 24.73/47.01 c shortcuts : 0 24.73/47.01 c learnt literals : 39 24.73/47.01 c learnt binary clauses : 29 24.73/47.01 c learnt ternary clauses : 385 24.73/47.01 c learnt constraints : 213844 24.73/47.01 c ignored constraints : 0 24.73/47.01 c root simplifications : 0 24.73/47.01 c removed literals (reason simplification) : 136412 24.73/47.01 c reason swapping (by a shorter reason) : 0 24.73/47.01 c Calls to reduceDB : 26 24.73/47.01 c Number of update (reduction) of LBD : 61402 24.73/47.01 c Imported unit clauses : 0 24.73/47.01 c number of reductions to clauses (during analyze) : 0 24.73/47.01 c number of learned constraints concerned by reduction : 0 24.73/47.01 c number of learning phase by resolution : 0 24.73/47.01 c number of learning phase by cutting planes : 0 24.73/47.01 c speed (assignments/second) : 124019.84491487406 24.73/47.01 c non guided choices 3621 24.73/47.01 c learnt constraints type 24.73/47.01 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 24.73/47.01 c starts : 85 24.73/47.01 c conflicts : 771 24.73/47.01 c decisions : 12735 24.73/47.01 c propagations : 41387 24.73/47.01 c inspects : 3048863 24.73/47.01 c shortcuts : 0 24.73/47.01 c learnt literals : 0 24.73/47.01 c learnt binary clauses : 0 24.73/47.01 c learnt ternary clauses : 0 24.73/47.01 c learnt constraints : 711 24.73/47.01 c ignored constraints : 0 24.73/47.01 c root simplifications : 0 24.73/47.01 c removed literals (reason simplification) : 0 24.73/47.01 c reason swapping (by a shorter reason) : 0 24.73/47.01 c Calls to reduceDB : 0 24.73/47.01 c Number of update (reduction) of LBD : 0 24.73/47.01 c Imported unit clauses : 0 24.73/47.01 c number of reductions to clauses (during analyze) : 0 24.73/47.01 c number of learned constraints concerned by reduction : 0 24.73/47.01 c number of learning phase by resolution : 0 24.73/47.01 c number of learning phase by cutting planes : 0 24.73/47.01 c speed (assignments/second) : 72481.6112084063 24.73/47.01 c non guided choices 1540 24.73/47.01 c learnt constraints type 24.73/47.01 s OPTIMUM FOUND 24.73/47.01 c Found 84 solution(s) 24.73/47.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 24.73/47.01 c objective function=1 24.73/47.01 c Total wall clock time (in seconds): 46.887
OK 1
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-4092295-1467321872/watcher-4092295-1467321872 -o /tmp/evaluation-result-4092295-1467321872/solver-4092295-1467321872 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092295-1467321872.wbo pid=32547 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.74 1.06 1.17 2/169 32550 /proc/meminfo: memFree=28996340/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/32550/stat : 32550 (java) R 32547 32550 22681 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 13138417 2560000 46 33554432000 1073741824 1073778376 140735420949808 140735782471848 239863950631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 0.74 1.06 1.17 2/169 32550 /proc/meminfo: memFree=28996340/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 13138417 9787879424 6038 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2389619 6038 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 0.74 1.06 1.17 2/169 32550 /proc/meminfo: memFree=28996340/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 4827 0 1 0 22 1 0 0 20 0 22 0 13138417 10060525568 7905 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 7906 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9824732 [startup+0.300227 s] /proc/loadavg: 0.74 1.06 1.17 2/169 32550 /proc/meminfo: memFree=28996340/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 7695 0 1 0 60 2 0 0 20 0 22 0 13138417 10060525568 9748 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 9748 2245 9 0 2446860 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 9824732 [startup+0.700211 s] /proc/loadavg: 0.74 1.06 1.17 2/169 32550 /proc/meminfo: memFree=28996340/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=1.24 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 15724 0 1 0 118 6 0 0 20 0 19 0 13138417 10060525568 15975 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 15975 2253 9 0 2446860 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 0.74 1.06 1.17 1/188 32575 /proc/meminfo: memFree=28940908/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 16023 0 1 0 134 7 0 0 20 0 19 0 13138417 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 17626 2253 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) S 32547 32550 22681 0 -1 4202560 2416 0 1 0 14 2 0 0 20 0 19 0 13138418 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509376254840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 4976 0 0 0 40 2 0 0 20 0 19 0 13138423 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 7283 0 0 0 40 2 0 0 20 0 19 0 13138423 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138437 10060525568 17626 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 0.68 1.04 1.16 3/190 32583 /proc/meminfo: memFree=28923532/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 16058 0 1 0 146 9 0 0 20 0 19 0 13138417 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 21728 2259 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) S 32547 32550 22681 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 19 0 13138418 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509376254840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 4982 0 0 0 45 2 0 0 20 0 19 0 13138423 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 7283 0 0 0 43 2 0 0 20 0 19 0 13138423 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138437 10060525568 21728 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=33 pid=1810 uid=0 cmd= [startup+6.30081 s] /proc/loadavg: 0.68 1.04 1.16 1/188 32602 /proc/meminfo: memFree=28864900/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=2.11 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 16613 0 1 0 194 17 0 0 20 0 19 0 13138417 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 38849 2267 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) S 32547 32550 22681 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 19 0 13138418 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509376254840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13138419 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 4983 0 0 0 50 2 0 0 20 0 19 0 13138423 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 7737 0 0 0 57 2 0 0 20 0 19 0 13138423 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138437 10060525568 38849 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.11 ################ # More data... # ################ [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 22 0 13138419 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 13138419 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 22 0 13138419 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 78 0 0 0 1 10 0 0 20 0 22 0 13138421 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13138421 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 13138421 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13138423 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 5003 0 0 0 80 2 0 0 20 0 22 0 13138423 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 16454 0 0 0 152 2 0 0 20 0 22 0 13138423 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13138423 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13138423 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13138437 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=348] ppid=32547 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/32550/task/348/stat : 348 (java) R 32547 32550 22681 0 -1 4202560 7 0 0 0 237 0 0 0 20 0 22 0 13142656 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509188138216 140509201965583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=349] ppid=32547 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/32550/task/349/stat : 349 (java) R 32547 32550 22681 0 -1 4202560 34 0 0 0 238 0 0 0 20 0 22 0 13142656 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509191294360 140509201350516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=350] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/350/stat : 350 (java) S 32547 32550 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13142657 10060525568 84168 33554432000 1073741824 1073778376 140735420949808 140509190243112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 21.64 Current children cumulated vsize (KiB) 9824732 [startup+46.4008 s] /proc/loadavg: 0.52 0.95 1.13 3/189 353 /proc/meminfo: memFree=28654176/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=23.84 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 26794 0 1 0 2227 157 0 0 20 0 19 0 13138417 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 87283 2286 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) R 32547 32550 22681 0 -1 4202560 2425 0 1 0 31 2 0 0 20 0 19 0 13138418 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509376246064 140509201912522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 121 0 0 0 1 10 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 5003 0 0 0 80 2 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 16454 0 0 0 152 2 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138437 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 23.84 Current children cumulated vsize (KiB) 9824732 [startup+46.8007 s] /proc/loadavg: 0.52 0.95 1.13 3/189 353 /proc/meminfo: memFree=28654176/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=24.55 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 26800 0 1 0 2297 158 0 0 20 0 20 0 13138417 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 87285 2286 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) S 32547 32550 22681 0 -1 4202560 2425 0 1 0 32 2 0 0 20 0 20 0 13138418 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509376254840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 20 0 13138419 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 121 0 0 0 1 10 0 0 20 0 20 0 13138421 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13138421 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 13138421 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13138423 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 5003 0 0 0 80 2 0 0 20 0 20 0 13138423 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=1.54 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 16454 0 0 0 152 2 0 0 20 0 20 0 13138423 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13138423 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 13138423 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13138437 10060525568 87285 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 24.55 Current children cumulated vsize (KiB) 9824732 [startup+47.0007 s] /proc/loadavg: 0.52 0.95 1.13 3/189 353 /proc/meminfo: memFree=28654176/32872528 swapFree=1459604/1655828 [pid=32550] ppid=32547 vsize=9824732 CPUtime=24.73 cores=1,3,5,7 /proc/32550/stat : 32550 (java) S 32547 32550 22681 0 -1 4202496 26800 0 1 0 2314 159 0 0 20 0 19 0 13138417 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140735420940944 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32550/statm: 2456183 87283 2286 9 0 2446860 0 [pid=32550/tid=32552] ppid=32547 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/32550/task/32552/stat : 32552 (java) R 32547 32550 22681 0 -1 4202560 2425 0 1 0 36 2 0 0 20 0 19 0 13138418 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509376254600 140509201045442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32553] ppid=32547 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32550/task/32553/stat : 32553 (java) S 32547 32550 22681 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509337745704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32554] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32554/stat : 32554 (java) S 32547 32550 22681 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509336692904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32555] ppid=32547 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/32550/task/32555/stat : 32555 (java) S 32547 32550 22681 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509335640616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32556] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32556/stat : 32556 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509334587816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32557] ppid=32547 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32550/task/32557/stat : 32557 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509333535528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32558] ppid=32547 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/32550/task/32558/stat : 32558 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509332482728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32559] ppid=32547 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/32550/task/32559/stat : 32559 (java) S 32547 32550 22681 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509331430440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32560] ppid=32547 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32550/task/32560/stat : 32560 (java) S 32547 32550 22681 0 -1 4202560 39 0 0 0 8 2 0 0 20 0 19 0 13138419 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509330377640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32550/tid=32561] ppid=32547 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32550/task/32561/stat : 32561 (java) S 32547 32550 22681 0 -1 4202560 121 0 0 0 1 10 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509199718632 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32562] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32562/stat : 32562 (java) S 32547 32550 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509198664696 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32563] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32563/stat : 32563 (java) S 32547 32550 22681 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 13138421 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509197612296 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32564] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32564/stat : 32564 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509196560784 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32565] ppid=32547 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/32550/task/32565/stat : 32565 (java) S 32547 32550 22681 0 -1 4202560 5003 0 0 0 82 2 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509195508408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32550/tid=32566] ppid=32547 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/32550/task/32566/stat : 32566 (java) S 32547 32550 22681 0 -1 4202560 16454 0 0 0 153 2 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509194455608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32567] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32567/stat : 32567 (java) S 32547 32550 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509193403512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32550/tid=32568] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32568/stat : 32568 (java) S 32547 32550 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13138423 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509192350920 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32550/tid=32571] ppid=32547 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32550/task/32571/stat : 32571 (java) S 32547 32550 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13138437 10060525568 87283 33554432000 1073741824 1073778376 140735420949808 140509189190824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 24.73 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 47.0154 CPU time (s): 24.8282 CPU user time (s): 23.1075 CPU system time (s): 1.72074 CPU usage (%): 52.8088 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.1075 system time used= 1.72074 maximum resident set size= 349156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26813 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3765 involuntary context switches= 1517 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.274958 second user time and 0.384941 second system time The end
Begin job on node136 at 2016-06-30 23:24:32 IDJOB=4092295 IDBENCH=79222 IDSOLVER=2552 FILE ID=node136/4092295-1467321872 RUNJOBID= node136-1467318739-25000 PBS_JOBID= 20005289 Free space on /tmp= 71648 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.1110972154--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092295-1467321872/watcher-4092295-1467321872 -o /tmp/evaluation-result-4092295-1467321872/solver-4092295-1467321872 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092295-1467321872.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6809fb2fcff82744047966c4438af278 RANDOM SEED=676381763 node136.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.182 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 : 5332.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.182 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.182 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.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 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.182 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.182 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.182 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28996876 kB Buffers: 106112 kB Cached: 1342324 kB SwapCached: 0 kB Active: 235320 kB Inactive: 1239768 kB Active(anon): 6156 kB Inactive(anon): 22644 kB Active(file): 229164 kB Inactive(file): 1217124 kB Unevictable: 1655828 kB Mlocked: 1459604 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 456 kB Writeback: 0 kB AnonPages: 1802380 kB Mapped: 13972 kB Shmem: 204 kB Slab: 613244 kB SReclaimable: 57452 kB SUnreclaim: 555792 kB KernelStack: 1568 kB PageTables: 7088 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1766988 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 331776 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= 71644 MiB End job on node136 at 2016-06-30 23:25:20