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 | 56.7444 | 55.4906 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo |
| MD5SUM | 7129b2638275c1b1b14ce0a3da71735e |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 15.2207 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 927 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 755 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4109897-1466344702.wbo 0.11/0.11 c reading problem ... 0.48/0.32 c ... done. Wall clock time 0.217s. 0.48/0.32 c declared #vars 231 0.48/0.32 c internal #vars 1158 0.48/0.32 c #constraints 2707 0.48/0.33 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.48/0.33 c constraints type 0.48/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528 0.48/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 0.48/0.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 156 0.48/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9 0.48/0.33 c 2707 constraints processed. 0.48/0.33 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.48/0.33 c constraints type 0.48/0.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 156 0.48/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2528 0.48/0.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 0.48/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9 0.48/0.33 c 2707 constraints processed. 0.48/0.33 c objective function length is 927 literals 1.17/0.53 c And the winner is solver0 1.72/0.83 c SATISFIABLE 1.72/0.83 c OPTIMIZING... 1.72/0.83 c Got one! Elapsed wall clock time (in seconds):0.723 1.72/0.83 o 1038 1.72/0.89 c And the winner is solver0 2.04/1.34 c Got one! Elapsed wall clock time (in seconds):1.229 2.04/1.34 o 1037 2.04/1.35 c And the winner is solver0 2.23/1.85 c Got one! Elapsed wall clock time (in seconds):1.747 2.23/1.85 o 569 2.23/1.87 c And the winner is solver0 2.35/2.36 c Got one! Elapsed wall clock time (in seconds):2.252 2.35/2.36 o 563 2.35/2.37 c And the winner is solver0 2.38/2.86 c Got one! Elapsed wall clock time (in seconds):2.755 2.38/2.86 o 534 2.38/2.87 c And the winner is solver0 2.41/3.37 c Got one! Elapsed wall clock time (in seconds):3.259 2.41/3.37 o 520 2.41/3.37 c And the winner is solver0 2.42/3.87 c Got one! Elapsed wall clock time (in seconds):3.762 2.42/3.87 o 441 2.52/3.91 c And the winner is solver0 2.60/4.37 c Got one! Elapsed wall clock time (in seconds):4.266 2.60/4.37 o 440 2.60/4.38 c And the winner is solver0 2.61/4.87 c Got one! Elapsed wall clock time (in seconds):4.768 2.61/4.87 o 433 2.61/4.88 c And the winner is solver0 2.72/5.38 c Got one! Elapsed wall clock time (in seconds):5.271 2.72/5.38 o 427 2.72/5.39 c And the winner is solver0 2.75/5.88 c Got one! Elapsed wall clock time (in seconds):5.774 2.75/5.88 o 415 2.75/5.89 c And the winner is solver0 2.75/6.38 c Got one! Elapsed wall clock time (in seconds):6.276 2.75/6.38 o 391 2.75/6.39 c And the winner is solver0 2.80/6.88 c Got one! Elapsed wall clock time (in seconds):6.778 2.80/6.88 o 374 2.80/6.89 c And the winner is solver0 2.82/7.39 c Got one! Elapsed wall clock time (in seconds):7.28 2.82/7.39 o 371 2.84/7.45 c And the winner is solver0 3.03/7.89 c Got one! Elapsed wall clock time (in seconds):7.782 3.03/7.89 o 369 3.03/7.90 c And the winner is solver0 3.03/8.39 c Got one! Elapsed wall clock time (in seconds):8.285 3.03/8.39 o 347 3.04/8.41 c And the winner is solver0 3.10/8.89 c Got one! Elapsed wall clock time (in seconds):8.786 3.10/8.89 o 339 3.12/8.91 c And the winner is solver0 3.14/9.39 c Got one! Elapsed wall clock time (in seconds):9.288 3.14/9.39 o 323 3.14/9.41 c And the winner is solver0 3.18/9.90 c Got one! Elapsed wall clock time (in seconds):9.79 3.18/9.90 o 319 3.18/9.90 c And the winner is solver0 3.19/10.40 c Got one! Elapsed wall clock time (in seconds):10.291 3.19/10.40 o 309 3.19/10.42 c And the winner is solver0 3.25/10.90 c Got one! Elapsed wall clock time (in seconds):10.793 3.25/10.90 o 304 3.47/11.05 c And the winner is solver0 3.62/11.40 c Got one! Elapsed wall clock time (in seconds):11.295 3.62/11.40 o 296 3.62/11.41 c And the winner is solver0 3.63/11.90 c Got one! Elapsed wall clock time (in seconds):11.796 3.63/11.90 o 293 3.63/11.91 c And the winner is solver0 3.68/12.40 c Got one! Elapsed wall clock time (in seconds):12.298 3.68/12.40 o 278 3.68/12.42 c And the winner is solver0 3.72/12.91 c Got one! Elapsed wall clock time (in seconds):12.8 3.72/12.91 o 269 3.72/12.91 c And the winner is solver0 3.72/13.41 c Got one! Elapsed wall clock time (in seconds):13.302 3.72/13.41 o 258 3.72/13.43 c And the winner is solver0 3.80/13.91 c Got one! Elapsed wall clock time (in seconds):13.803 3.80/13.91 o 235 3.80/13.92 c And the winner is solver0 3.81/14.41 c Got one! Elapsed wall clock time (in seconds):14.305 3.81/14.41 o 234 4.01/14.50 c And the winner is solver0 4.08/14.91 c Got one! Elapsed wall clock time (in seconds):14.807 4.08/14.91 o 227 4.08/14.92 c And the winner is solver0 4.08/15.41 c Got one! Elapsed wall clock time (in seconds):15.308 4.08/15.41 o 222 4.08/15.44 c And the winner is solver0 4.15/15.92 c Got one! Elapsed wall clock time (in seconds):15.81 4.15/15.92 o 210 4.52/16.19 c And the winner is solver0 4.74/16.42 c Got one! Elapsed wall clock time (in seconds):16.312 4.74/16.42 o 207 4.94/16.55 c cleaning 5795 clauses out of 11610 with flag 7682/11610 5.16/16.61 c And the winner is solver0 5.19/16.92 c Got one! Elapsed wall clock time (in seconds):16.814 5.19/16.92 o 190 5.99/17.33 c cleaning 5448 clauses out of 10914 with flag 32927/16709 6.39/17.52 c And the winner is solver0 6.46/17.92 c Got one! Elapsed wall clock time (in seconds):17.816 6.46/17.92 o 185 6.61/18.02 c And the winner is solver0 6.67/18.42 c Got one! Elapsed wall clock time (in seconds):18.317 6.67/18.42 o 184 7.05/18.64 c cleaning 5492 clauses out of 10998 with flag 13217/22241 7.05/18.68 c And the winner is solver0 7.27/18.93 c Got one! Elapsed wall clock time (in seconds):18.819 7.27/18.93 o 183 7.27/18.99 c And the winner is solver0 7.41/19.43 c Got one! Elapsed wall clock time (in seconds):19.321 7.41/19.43 o 180 7.41/19.48 c And the winner is solver0 7.52/19.93 c Got one! Elapsed wall clock time (in seconds):19.823 7.52/19.93 o 178 7.90/20.10 c And the winner is solver0 7.92/20.43 c Got one! Elapsed wall clock time (in seconds):20.325 7.92/20.43 o 173 8.05/20.55 c And the winner is solver0 8.19/20.93 c Got one! Elapsed wall clock time (in seconds):20.827 8.19/20.93 o 168 8.72/21.24 c cleaning 6893 clauses out of 13799 with flag 27697/30534 8.92/21.36 c And the winner is solver0 9.12/21.43 c Got one! Elapsed wall clock time (in seconds):21.328 9.12/21.43 o 160 9.45/21.67 c And the winner is solver0 9.63/21.94 c Got one! Elapsed wall clock time (in seconds):21.83 9.63/21.94 o 156 9.96/22.17 c And the winner is solver0 10.11/22.44 c Got one! Elapsed wall clock time (in seconds):22.332 10.11/22.44 o 147 10.24/22.53 c And the winner is solver0 10.44/22.94 c Got one! Elapsed wall clock time (in seconds):22.834 10.44/22.94 o 134 10.57/23.09 c cleaning 7563 clauses out of 15139 with flag 8436/38767 10.57/23.10 c And the winner is solver0 11.10/23.44 c Got one! Elapsed wall clock time (in seconds):23.336 11.10/23.44 o 133 11.10/23.46 c And the winner is solver0 11.18/23.94 c Got one! Elapsed wall clock time (in seconds):23.837 11.18/23.94 o 130 11.18/23.98 c And the winner is solver0 11.28/24.45 c Got one! Elapsed wall clock time (in seconds):24.339 11.28/24.45 o 124 11.38/24.54 c And the winner is solver0 11.50/24.95 c Got one! Elapsed wall clock time (in seconds):24.841 11.50/24.95 o 118 11.80/25.19 c And the winner is solver0 12.02/25.45 c Got one! Elapsed wall clock time (in seconds):25.343 12.02/25.45 o 114 12.33/25.66 c And the winner is solver0 12.46/25.95 c Got one! Elapsed wall clock time (in seconds):25.845 12.46/25.95 o 109 12.79/26.11 c cleaning 7467 clauses out of 14951 with flag 9155/46142 12.79/26.16 c And the winner is solver0 13.22/26.45 c Got one! Elapsed wall clock time (in seconds):26.347 13.22/26.45 o 106 13.32/26.52 c And the winner is solver0 13.49/26.95 c Got one! Elapsed wall clock time (in seconds):26.849 13.49/26.95 o 100 13.49/26.99 c And the winner is solver0 13.59/27.46 c Got one! Elapsed wall clock time (in seconds):27.351 13.59/27.46 o 99 14.46/27.99 c cleaning 7205 clauses out of 14425 with flag 38807/53083 14.99/28.15 c And the winner is solver0 15.39/28.46 c Got one! Elapsed wall clock time (in seconds):28.353 15.39/28.46 o 94 16.06/28.88 c cleaning 6439 clauses out of 12884 with flag 40635/58747 17.44/29.39 c And the winner is solver0 17.64/29.46 c Got one! Elapsed wall clock time (in seconds):29.356 17.64/29.46 o 87 17.72/29.56 c cleaning 5924 clauses out of 11857 with flag 10411/64159 18.72/30.07 c cleaning 5953 clauses out of 11933 with flag 58465/70159 19.12/30.21 c And the winner is solver0 19.18/30.47 c Got one! Elapsed wall clock time (in seconds):30.359 19.18/30.47 o 69 19.84/30.82 c cleaning 5817 clauses out of 11684 with flag 43212/75863 20.25/31.08 c And the winner is solver0 20.43/31.47 c Got one! Elapsed wall clock time (in seconds):31.364 20.43/31.47 o 65 20.88/31.74 c cleaning 5863 clauses out of 11747 with flag 33366/81743 21.55/32.03 c And the winner is solver0 21.65/32.50 c Got one! Elapsed wall clock time (in seconds):32.391 21.65/32.50 o 64 21.84/32.60 c And the winner is solver0 21.89/33.00 c Got one! Elapsed wall clock time (in seconds):32.899 21.89/33.00 o 61 22.07/33.19 c cleaning 6073 clauses out of 12153 with flag 16597/88012 22.86/33.54 c And the winner is solver0 22.99/34.01 c Got one! Elapsed wall clock time (in seconds):33.907 22.99/34.01 o 48 22.99/34.10 c cleaning 5787 clauses out of 11596 with flag 12703/93528 23.94/34.56 c cleaning 5902 clauses out of 11809 with flag 77131/99528 24.95/35.09 c cleaning 6449 clauses out of 12908 with flag 144427/106529 26.35/35.78 c cleaning 7219 clauses out of 14460 with flag 224338/114530 28.20/36.62 c cleaning 8111 clauses out of 16239 with flag 318147/123528 30.02/37.57 c cleaning 9062 clauses out of 18131 with flag 423125/133531 31.40/38.23 c And the winner is solver0 31.48/38.52 c Got one! Elapsed wall clock time (in seconds):38.417 31.48/38.52 o 41 32.63/39.13 c cleaning 10698 clauses out of 21421 with flag 51253/145884 33.88/39.75 c cleaning 8353 clauses out of 16722 with flag 107916/151883 33.88/39.77 c And the winner is solver0 34.03/40.04 c Got one! Elapsed wall clock time (in seconds):39.929 34.03/40.04 o 40 34.13/40.10 c And the winner is solver0 34.16/40.55 c Got one! Elapsed wall clock time (in seconds):40.445 34.16/40.55 o 36 35.03/41.01 c cleaning 7154 clauses out of 14318 with flag 44447/157832 36.28/41.62 c cleaning 6571 clauses out of 13163 with flag 101797/163831 37.68/42.30 c cleaning 6797 clauses out of 13595 with flag 177171/170834 38.28/42.68 c And the winner is solver0 38.49/43.07 c Got one! Elapsed wall clock time (in seconds):42.961 38.49/43.07 o 35 38.53/43.10 c And the winner is solver0 38.57/43.58 c Got one! Elapsed wall clock time (in seconds):43.477 38.57/43.58 o 34 38.98/43.81 c cleaning 6474 clauses out of 12948 with flag 18316/176985 38.98/43.84 c And the winner is solver0 39.16/44.10 c Got one! Elapsed wall clock time (in seconds):43.993 39.16/44.10 o 24 39.17/44.14 c And the winner is solver0 39.31/44.62 c Got one! Elapsed wall clock time (in seconds):44.51 39.31/44.62 o 21 40.06/45.07 c cleaning 6120 clauses out of 12245 with flag 40506/182756 41.26/45.62 c cleaning 6040 clauses out of 12124 with flag 96811/188756 41.46/45.73 c And the winner is solver0 41.57/46.13 c Got one! Elapsed wall clock time (in seconds):46.029 41.57/46.13 o 18 42.07/46.43 c cleaning 5698 clauses out of 11410 with flag 23622/194082 43.15/46.93 c cleaning 5847 clauses out of 11713 with flag 65268/200083 44.16/47.43 c And the winner is solver0 44.25/47.70 c Got one! Elapsed wall clock time (in seconds):47.593 44.25/47.70 o 17 45.43/48.31 c cleaning 8068 clauses out of 16141 with flag 45140/210358 46.63/48.92 c cleaning 7032 clauses out of 14069 with flag 102567/216355 48.04/49.64 c cleaning 7007 clauses out of 14036 with flag 166221/223356 49.22/50.26 c And the winner is solver0 49.37/50.72 c Got one! Elapsed wall clock time (in seconds):50.615 49.37/50.72 o 15 50.10/51.18 c cleaning 9156 clauses out of 18319 with flag 28157/234646 51.32/51.73 c cleaning 7582 clauses out of 15164 with flag 77967/240648 52.30/52.26 c And the winner is solver0 52.44/52.74 c Got one! Elapsed wall clock time (in seconds):52.638 52.44/52.74 o 13 53.32/53.24 c cleaning 9566 clauses out of 19158 with flag 31627/252227 54.12/53.68 c And the winner is solver0 54.30/53.77 c Got one! Elapsed wall clock time (in seconds):53.664 54.30/53.77 o 12 55.41/54.31 c cleaning 10158 clauses out of 20325 with flag 34286/262960 56.21/54.76 c cleaning 8076 clauses out of 16161 with flag 71337/268954 56.41/54.80 c And the winner is solver0 56.57/55.47 c >>>>>>>>>> Solver number 0 (73 answers) <<<<<<<<<<<<<<<<<< 56.57/55.47 c starts : 174 56.57/55.47 c conflicts : 269766 56.57/55.47 c decisions : 492445 56.57/55.47 c propagations : 25952021 56.57/55.47 c inspects : 297195239 56.57/55.47 c shortcuts : 0 56.57/55.47 c learnt literals : 18 56.57/55.47 c learnt binary clauses : 90 56.57/55.47 c learnt ternary clauses : 507 56.57/55.48 c learnt constraints : 269747 56.57/55.48 c ignored constraints : 0 56.57/55.48 c root simplifications : 0 56.57/55.48 c removed literals (reason simplification) : 1578103 56.57/55.48 c reason swapping (by a shorter reason) : 0 56.57/55.48 c Calls to reduceDB : 37 56.57/55.48 c Number of update (reduction) of LBD : 136952 56.57/55.48 c Imported unit clauses : 0 56.57/55.48 c number of reductions to clauses (during analyze) : 0 56.57/55.48 c number of learned constraints concerned by reduction : 0 56.57/55.48 c number of learning phase by resolution : 0 56.57/55.48 c number of learning phase by cutting planes : 0 56.57/55.48 c speed (assignments/second) : 470648.35603271617 56.57/55.48 c non guided choices 8614 56.57/55.48 c learnt constraints type 56.57/55.48 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 56.57/55.48 c starts : 89 56.57/55.48 c conflicts : 3479 56.57/55.48 c decisions : 77972 56.57/55.48 c propagations : 230852 56.57/55.48 c inspects : 34936658 56.57/55.48 c shortcuts : 0 56.57/55.48 c learnt literals : 0 56.57/55.48 c learnt binary clauses : 0 56.57/55.48 c learnt ternary clauses : 0 56.57/55.48 c learnt constraints : 3436 56.57/55.48 c ignored constraints : 0 56.57/55.48 c root simplifications : 0 56.57/55.48 c removed literals (reason simplification) : 0 56.57/55.48 c reason swapping (by a shorter reason) : 0 56.57/55.48 c Calls to reduceDB : 0 56.57/55.48 c Number of update (reduction) of LBD : 0 56.57/55.48 c Imported unit clauses : 0 56.57/55.48 c number of reductions to clauses (during analyze) : 0 56.57/55.48 c number of learned constraints concerned by reduction : 0 56.57/55.48 c number of learning phase by resolution : 0 56.57/55.48 c number of learning phase by cutting planes : 0 56.57/55.48 c speed (assignments/second) : 143833.0218068536 56.57/55.48 c non guided choices 7233 56.57/55.48 c learnt constraints type 56.57/55.48 s OPTIMUM FOUND 56.57/55.48 c Found 72 solution(s) 56.57/55.48 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 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 56.57/55.48 c objective function=12 56.57/55.48 c Total wall clock time (in seconds): 55.372
OK 12
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-4109897-1466344702/watcher-4109897-1466344702 -o /tmp/evaluation-result-4109897-1466344702/solver-4109897-1466344702 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109897-1466344702.wbo pid=29004 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: 2.57 2.27 2.09 3/196 29007 /proc/meminfo: memFree=27523572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 36518534 98570240 978 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 24065 978 744 9 0 16771 0 [pid=29007/tid=29008] ppid=29004 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) R 29004 29007 24214 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36518534 98570240 978 33554432000 1073741824 1073778376 140734298153776 140452958273064 226084341120 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 2.57 2.27 2.09 3/196 29007 /proc/meminfo: memFree=27523572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 36518534 9787879424 6127 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2389619 6128 2156 9 0 2380296 0 [pid=29007/tid=29008] ppid=29004 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) R 29004 29007 24214 0 -1 4202560 2383 0 1 0 7 0 0 0 20 0 18 0 36518534 9787879424 6128 33554432000 1073741824 1073778376 140734298153776 140452958276984 140452961202688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200276 s] /proc/loadavg: 2.57 2.27 2.09 3/196 29007 /proc/meminfo: memFree=27523572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 4726 0 1 0 24 1 0 0 20 0 18 0 36518534 9787879424 6834 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2389619 6834 2214 9 0 2380296 0 [pid=29007/tid=29008] ppid=29004 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) R 29004 29007 24214 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 36518534 9787879424 6834 33554432000 1073741824 1073778376 140734298153776 140452958276984 140452829354143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300354 s] /proc/loadavg: 2.57 2.27 2.09 3/196 29007 /proc/meminfo: memFree=27523572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9558476 CPUtime=0.48 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 5691 0 1 0 47 1 0 0 20 0 18 0 36518534 9787879424 8422 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2389619 8422 2231 9 0 2380296 0 [pid=29007/tid=29008] ppid=29004 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) R 29004 29007 24214 0 -1 4202560 2401 0 1 0 27 0 0 0 20 0 18 0 36518534 9787879424 8422 33554432000 1073741824 1073778376 140734298153776 140452958277848 140452829455373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.70029 s] /proc/loadavg: 2.57 2.27 2.09 3/196 29007 /proc/meminfo: memFree=27523572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 15796 0 1 0 158 4 0 0 20 0 19 0 36518534 10060525568 16365 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 16376 2260 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2419 0 1 0 31 0 0 0 20 0 19 0 36518534 10060525568 16383 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9824732 [startup+1.50085 s] /proc/loadavg: 2.57 2.27 2.09 2/215 29032 /proc/meminfo: memFree=27460748/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 20202 0 1 0 215 8 0 0 20 0 20 0 36518534 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 19232 2263 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2421 0 1 0 32 0 0 0 20 0 20 0 36518534 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36518535 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 36518536 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 36518536 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36518536 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518538 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 5385 0 0 0 55 0 0 0 20 0 20 0 36518538 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=0.77 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 11045 0 0 0 76 1 0 0 20 0 20 0 36518539 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518539 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36518539 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36518568 10060525568 19232 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9824732 [startup+3.10074 s] /proc/loadavg: 2.57 2.27 2.09 2/215 29037 /proc/meminfo: memFree=27449872/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=2.41 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 20273 0 1 0 232 9 0 0 20 0 19 0 36518534 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 22349 2266 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2422 0 1 0 32 1 0 0 20 0 19 0 36518534 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518538 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 5432 0 0 0 64 0 0 0 20 0 19 0 36518538 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=0.83 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 11045 0 0 0 82 1 0 0 20 0 19 0 36518539 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518539 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518539 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36518568 10060525568 22349 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=29 pid=1814 uid=0 cmd= [startup+6.30075 s] /proc/loadavg: 2.44 2.25 2.09 2/215 29058 /proc/meminfo: memFree=27408572/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 20360 0 1 0 263 12 0 0 20 0 19 0 36518534 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 31511 2269 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2425 0 1 0 33 2 0 0 20 0 19 0 36518534 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36518535 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518538 10060525568 31511 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 ################ # More data... # ################ /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 6737 0 0 0 147 0 0 0 20 0 22 0 36518538 10060525568 471378 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 24458 0 0 0 228 2 0 0 20 0 22 0 36518539 10060525568 471378 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36518539 10060525568 471378 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 4 0 0 0 0 1 0 0 20 0 22 0 36518539 10060525568 471378 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36518568 10060525568 471378 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29239] ppid=29004 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/29007/task/29239/stat : 29239 (java) R 29004 29007 24214 0 -1 4202560 2 0 0 0 2 0 0 0 20 0 22 0 36523811 10060525568 471380 33554432000 1073741824 1073778376 140734298153776 140452773768296 140452829891993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29240] ppid=29004 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/29007/task/29240/stat : 29240 (java) R 29004 29007 24214 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 36523811 10060525568 471380 33554432000 1073741824 1073778376 140734298153776 140452772713880 140452829883277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29241] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29241/stat : 29241 (java) S 29004 29007 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36523815 10060525568 471380 33554432000 1073741824 1073778376 140734298153776 140452771661480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 52.52 Current children cumulated vsize (KiB) 9824732 [startup+54.401 s] /proc/loadavg: 2.04 2.17 2.07 4/218 29244 /proc/meminfo: memFree=25136216/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=55.6 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 38043 0 1 0 5387 173 0 0 20 0 22 0 36518534 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 550905 2289 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.67 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2458 0 1 0 64 3 0 0 20 0 22 0 36518534 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 82 0 0 0 16 4 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 74 0 0 0 13 3 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 83 0 0 0 19 4 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 61 0 0 0 11 3 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 72 0 0 0 15 4 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 80 0 0 0 13 3 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 50 0 0 0 13 3 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 22 0 36518535 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 974 0 0 0 1 5 0 0 20 0 22 0 36518536 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 36518536 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 36518536 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36518538 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 6737 0 0 0 147 0 0 0 20 0 22 0 36518538 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 24458 0 0 0 228 2 0 0 20 0 22 0 36518539 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36518539 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 4 0 0 0 0 1 0 0 20 0 22 0 36518539 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36518568 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29242] ppid=29004 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/29007/task/29242/stat : 29242 (java) R 29004 29007 24214 0 -1 4202560 4 0 0 0 54 0 0 0 20 0 22 0 36523914 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452772703888 140452829912139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29243] ppid=29004 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/29007/task/29243/stat : 29243 (java) R 29004 29007 24214 0 -1 4202560 7 0 0 0 54 0 0 0 20 0 22 0 36523914 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452771660824 140452830260204 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29244] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29244/stat : 29244 (java) S 29004 29007 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36523921 10060525568 550905 33554432000 1073741824 1073778376 140734298153776 140452773766184 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 55.6 Current children cumulated vsize (KiB) 9824732 [startup+55.2008 s] /proc/loadavg: 2.04 2.17 2.07 2/215 29244 /proc/meminfo: memFree=25066576/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=56.46 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 38043 0 1 0 5471 175 0 0 20 0 19 0 36518534 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 550897 2289 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.67 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) S 29004 29007 24214 0 -1 4202560 2458 0 1 0 64 3 0 0 20 0 19 0 36518534 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452958278520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 82 0 0 0 16 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 74 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 83 0 0 0 19 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 61 0 0 0 11 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 72 0 0 0 15 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 80 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 50 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 974 0 0 0 1 5 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518538 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 6737 0 0 0 147 0 0 0 20 0 19 0 36518538 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 24458 0 0 0 228 2 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 4 0 0 0 0 1 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36518568 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 56.46 Current children cumulated vsize (KiB) 9824732 [startup+55.4008 s] /proc/loadavg: 2.04 2.17 2.07 2/215 29244 /proc/meminfo: memFree=25066576/32872528 swapFree=1590544/1721360 [pid=29007] ppid=29004 vsize=9824732 CPUtime=56.56 cores=1,3,5,7 /proc/29007/stat : 29007 (java) S 29004 29007 24214 0 -1 4202496 38043 0 1 0 5481 175 0 0 20 0 19 0 36518534 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140734298144912 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/29007/statm: 2456183 550897 2289 9 0 2446860 0 [pid=29007/tid=29008] ppid=29004 vsize=9824732 CPUtime=0.77 cores=1,3,5,7 /proc/29007/task/29008/stat : 29008 (java) R 29004 29007 24214 0 -1 4202560 2458 0 1 0 74 3 0 0 20 0 19 0 36518534 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452958278200 140452829599670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29010] ppid=29004 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29007/task/29010/stat : 29010 (java) S 29004 29007 24214 0 -1 4202560 82 0 0 0 16 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452801755304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29011] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29011/stat : 29011 (java) S 29004 29007 24214 0 -1 4202560 74 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452800702760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29012] ppid=29004 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/29007/task/29012/stat : 29012 (java) S 29004 29007 24214 0 -1 4202560 83 0 0 0 19 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452799650216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29013] ppid=29004 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/29007/task/29013/stat : 29013 (java) S 29004 29007 24214 0 -1 4202560 61 0 0 0 11 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452798597672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29014] ppid=29004 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/29007/task/29014/stat : 29014 (java) S 29004 29007 24214 0 -1 4202560 72 0 0 0 15 4 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452797545128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29015] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29015/stat : 29015 (java) S 29004 29007 24214 0 -1 4202560 80 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452796492584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29016] ppid=29004 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29007/task/29016/stat : 29016 (java) S 29004 29007 24214 0 -1 4202560 50 0 0 0 13 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452795440040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29017] ppid=29004 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/29007/task/29017/stat : 29017 (java) S 29004 29007 24214 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 19 0 36518535 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452794387496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29018] ppid=29004 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/29007/task/29018/stat : 29018 (java) S 29004 29007 24214 0 -1 4202560 974 0 0 0 1 5 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452782188648 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29019] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29019/stat : 29019 (java) S 29004 29007 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452781134968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29020] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29020/stat : 29020 (java) S 29004 29007 24214 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 36518536 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452780082312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29021] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29021/stat : 29021 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518538 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452779031056 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29022] ppid=29004 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/29007/task/29022/stat : 29022 (java) S 29004 29007 24214 0 -1 4202560 6737 0 0 0 147 0 0 0 20 0 19 0 36518538 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452777978424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29007/tid=29023] ppid=29004 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/29007/task/29023/stat : 29023 (java) S 29004 29007 24214 0 -1 4202560 24458 0 0 0 228 2 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452776925880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29007/tid=29024] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29024/stat : 29024 (java) S 29004 29007 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452775873528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29007/tid=29025] ppid=29004 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/29007/task/29025/stat : 29025 (java) S 29004 29007 24214 0 -1 4202560 4 0 0 0 0 1 0 0 20 0 19 0 36518539 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452774821192 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29007/tid=29029] ppid=29004 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29007/task/29029/stat : 29029 (java) S 29004 29007 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36518568 10060525568 550897 33554432000 1073741824 1073778376 140734298153776 140452770608296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 56.56 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00999999 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0 Real time (s): 55.4906 CPU time (s): 56.7444 CPU user time (s): 54.8727 CPU system time (s): 1.87171 CPU usage (%): 102.259 Max. virtual memory (cumulated for all children) (KiB): 9826336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.8627 system time used= 1.87172 maximum resident set size= 2217344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38049 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= 3595 involuntary context switches= 2806 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.385941 second user time and 0.369943 second system time The end
Begin job on node120 at 2016-06-19 15:58:22 IDJOB=4109897 IDBENCH=78960 IDSOLVER=2552 FILE ID=node120/4109897-1466344702 RUNJOBID= node120-1466341820-24231 PBS_JOBID= 19922033 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109897-1466344702/watcher-4109897-1466344702 -o /tmp/evaluation-result-4109897-1466344702/solver-4109897-1466344702 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109897-1466344702.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e RANDOM SEED=1888494347 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.935 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 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.935 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.935 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.935 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.56 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.935 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.56 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.935 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.56 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.935 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.935 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: 27523564 kB Buffers: 175008 kB Cached: 344132 kB SwapCached: 2280 kB Active: 2474540 kB Inactive: 384292 kB Active(anon): 2336724 kB Inactive(anon): 4928 kB Active(file): 137816 kB Inactive(file): 379364 kB Unevictable: 1721360 kB Mlocked: 1590544 kB SwapTotal: 67108856 kB SwapFree: 67099720 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 4180148 kB Mapped: 16604 kB Shmem: 0 kB Slab: 620164 kB SReclaimable: 64168 kB SUnreclaim: 555996 kB KernelStack: 1800 kB PageTables: 12248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4327108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2535424 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= 71720 MiB End job on node120 at 2016-06-19 15:59:18