Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | MSAT (TO) | 1801.14 | 1783.84 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo |
| MD5SUM | 125243b279b6e24b77d57dd07a5f7014 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 15.0937 |
| 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 | 937 |
| 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 | 46894 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46893 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 815 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4091953-1466079133.wbo 0.08/0.13 c reading problem ... 0.45/0.34 c ... done. Wall clock time 0.215s. 0.45/0.34 c declared #vars 231 0.45/0.34 c internal #vars 1168 0.45/0.34 c #constraints 2707 0.45/0.35 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.45/0.35 c constraints type 0.45/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524 0.45/0.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 0.45/0.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 160 0.45/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9 0.45/0.35 c 2707 constraints processed. 0.45/0.35 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.45/0.35 c constraints type 0.45/0.35 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 160 0.45/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2524 0.45/0.35 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 0.45/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9 0.45/0.35 c 2707 constraints processed. 0.45/0.35 c objective function length is 937 literals 0.71/0.44 c And the winner is solver0 1.15/0.85 c SATISFIABLE 1.15/0.85 c OPTIMIZING... 1.15/0.85 c Got one! Elapsed wall clock time (in seconds):0.721 1.15/0.85 o 931 1.15/0.88 c And the winner is solver0 1.59/1.36 c Got one! Elapsed wall clock time (in seconds):1.228 1.59/1.36 o 925 1.59/1.37 c And the winner is solver0 1.87/1.86 c Got one! Elapsed wall clock time (in seconds):1.735 1.87/1.86 o 685 1.87/1.88 c And the winner is solver0 2.01/2.37 c Got one! Elapsed wall clock time (in seconds):2.24 2.01/2.37 o 611 2.01/2.38 c And the winner is solver0 2.10/2.87 c Got one! Elapsed wall clock time (in seconds):2.744 2.10/2.87 o 573 2.10/2.88 c And the winner is solver0 2.11/3.38 c Got one! Elapsed wall clock time (in seconds):3.247 2.11/3.38 o 483 2.11/3.40 c And the winner is solver0 2.19/3.88 c Got one! Elapsed wall clock time (in seconds):3.752 2.19/3.88 o 477 2.19/3.88 c And the winner is solver0 2.19/4.38 c Got one! Elapsed wall clock time (in seconds):4.255 2.19/4.38 o 445 2.24/4.40 c And the winner is solver0 2.25/4.89 c Got one! Elapsed wall clock time (in seconds):4.757 2.25/4.89 o 442 2.25/4.90 c And the winner is solver0 2.36/5.39 c Got one! Elapsed wall clock time (in seconds):5.26 2.36/5.39 o 441 2.37/5.41 c And the winner is solver0 2.41/5.89 c Got one! Elapsed wall clock time (in seconds):5.763 2.41/5.89 o 440 2.42/5.90 c And the winner is solver0 2.42/6.39 c Got one! Elapsed wall clock time (in seconds):6.265 2.42/6.39 o 427 2.42/6.40 c And the winner is solver0 2.52/6.90 c Got one! Elapsed wall clock time (in seconds):6.768 2.52/6.90 o 425 2.52/6.90 c And the winner is solver0 2.54/7.40 c Got one! Elapsed wall clock time (in seconds):7.27 2.54/7.40 o 423 2.54/7.41 c And the winner is solver0 2.54/7.90 c Got one! Elapsed wall clock time (in seconds):7.771 2.54/7.90 o 420 2.54/7.92 c And the winner is solver0 2.60/8.40 c Got one! Elapsed wall clock time (in seconds):8.273 2.60/8.40 o 414 2.60/8.41 c And the winner is solver0 2.60/8.90 c Got one! Elapsed wall clock time (in seconds):8.775 2.60/8.90 o 399 2.60/8.91 c And the winner is solver0 2.61/9.41 c Got one! Elapsed wall clock time (in seconds):9.277 2.61/9.41 o 398 2.61/9.41 c And the winner is solver0 2.61/9.91 c Got one! Elapsed wall clock time (in seconds):9.779 2.61/9.91 o 389 2.61/9.92 c And the winner is solver0 2.66/10.41 c Got one! Elapsed wall clock time (in seconds):10.281 2.66/10.41 o 386 2.66/10.45 c And the winner is solver0 2.81/10.91 c Got one! Elapsed wall clock time (in seconds):10.783 2.81/10.91 o 365 2.81/10.92 c And the winner is solver0 2.82/11.41 c Got one! Elapsed wall clock time (in seconds):11.285 2.82/11.41 o 352 2.82/11.42 c And the winner is solver0 2.82/11.91 c Got one! Elapsed wall clock time (in seconds):11.787 2.82/11.91 o 343 2.82/11.93 c And the winner is solver0 2.88/12.42 c Got one! Elapsed wall clock time (in seconds):12.288 2.88/12.42 o 339 2.88/12.42 c And the winner is solver0 2.89/12.92 c Got one! Elapsed wall clock time (in seconds):12.79 2.89/12.92 o 330 2.89/12.95 c And the winner is solver0 3.03/13.42 c Got one! Elapsed wall clock time (in seconds):13.292 3.03/13.42 o 325 3.03/13.45 c And the winner is solver0 3.11/13.92 c Got one! Elapsed wall clock time (in seconds):13.794 3.11/13.92 o 320 3.11/13.93 c And the winner is solver0 3.11/14.42 c Got one! Elapsed wall clock time (in seconds):14.296 3.11/14.42 o 305 3.11/14.44 c And the winner is solver0 3.20/14.93 c Got one! Elapsed wall clock time (in seconds):14.797 3.20/14.93 o 304 3.20/14.93 c And the winner is solver0 3.20/15.43 c Got one! Elapsed wall clock time (in seconds):15.299 3.20/15.43 o 293 3.20/15.45 c And the winner is solver0 3.24/15.93 c Got one! Elapsed wall clock time (in seconds):15.801 3.24/15.93 o 283 3.24/15.96 c And the winner is solver0 3.35/16.43 c Got one! Elapsed wall clock time (in seconds):16.302 3.35/16.43 o 275 3.35/16.44 c And the winner is solver0 3.35/16.93 c Got one! Elapsed wall clock time (in seconds):16.804 3.35/16.93 o 272 3.35/16.97 c And the winner is solver0 3.46/17.43 c Got one! Elapsed wall clock time (in seconds):17.306 3.46/17.43 o 270 3.60/17.50 c And the winner is solver0 3.62/17.94 c Got one! Elapsed wall clock time (in seconds):17.808 3.62/17.94 o 261 3.62/17.98 c And the winner is solver0 3.75/18.44 c Got one! Elapsed wall clock time (in seconds):18.309 3.75/18.44 o 259 3.75/18.47 c And the winner is solver0 3.89/18.94 c Got one! Elapsed wall clock time (in seconds):18.811 3.89/18.94 o 256 3.89/18.96 c And the winner is solver0 3.95/19.44 c Got one! Elapsed wall clock time (in seconds):19.313 3.95/19.44 o 252 4.06/19.52 c And the winner is solver0 4.15/19.94 c Got one! Elapsed wall clock time (in seconds):19.815 4.15/19.94 o 246 4.15/19.96 c And the winner is solver0 4.19/20.44 c Got one! Elapsed wall clock time (in seconds):20.316 4.19/20.44 o 244 4.19/20.46 c And the winner is solver0 4.23/20.95 c Got one! Elapsed wall clock time (in seconds):20.818 4.23/20.95 o 233 4.34/21.01 c And the winner is solver0 4.37/21.45 c Got one! Elapsed wall clock time (in seconds):21.32 4.37/21.45 o 231 4.48/21.54 c And the winner is solver0 4.58/21.95 c Got one! Elapsed wall clock time (in seconds):21.822 4.58/21.95 o 222 4.58/21.96 c And the winner is solver0 4.60/22.45 c Got one! Elapsed wall clock time (in seconds):22.323 4.60/22.45 o 216 6.05/23.15 c cleaning 7462 clauses out of 14932 with flag 40416/14932 6.27/23.24 c And the winner is solver1 6.35/23.45 c Got one! Elapsed wall clock time (in seconds):23.325 6.35/23.45 o 211 6.35/23.47 c And the winner is solver0 6.40/23.96 c Got one! Elapsed wall clock time (in seconds):23.827 6.40/23.96 o 206 6.48/24.09 c And the winner is solver0 6.71/24.46 c Got one! Elapsed wall clock time (in seconds):24.33 6.71/24.46 o 205 6.78/24.51 c And the winner is solver0 6.83/24.96 c Got one! Elapsed wall clock time (in seconds):24.832 6.83/24.96 o 199 6.91/25.03 c And the winner is solver0 7.00/25.46 c Got one! Elapsed wall clock time (in seconds):25.334 7.00/25.46 o 198 7.08/25.59 c And the winner is solver0 7.32/25.96 c Got one! Elapsed wall clock time (in seconds):25.836 7.32/25.96 o 194 7.41/26.00 c And the winner is solver0 7.44/26.47 c Got one! Elapsed wall clock time (in seconds):26.337 7.44/26.47 o 184 7.90/26.71 c And the winner is solver0 7.95/26.97 c Got one! Elapsed wall clock time (in seconds):26.839 7.95/26.97 o 183 8.00/27.07 c And the winner is solver0 8.22/27.47 c Got one! Elapsed wall clock time (in seconds):27.341 8.22/27.47 o 180 8.29/27.51 c And the winner is solver0 8.31/27.97 c Got one! Elapsed wall clock time (in seconds):27.843 8.31/27.97 o 179 8.36/28.02 c And the winner is solver0 8.43/28.47 c Got one! Elapsed wall clock time (in seconds):28.345 8.43/28.47 o 176 8.48/28.56 c And the winner is solver0 8.64/28.97 c Got one! Elapsed wall clock time (in seconds):28.846 8.64/28.97 o 171 8.90/29.17 c cleaning 8670 clauses out of 17339 with flag 9364/24801 8.90/29.19 c And the winner is solver0 9.41/29.48 c Got one! Elapsed wall clock time (in seconds):29.348 9.41/29.48 o 170 9.84/29.63 c And the winner is solver0 9.93/29.98 c Got one! Elapsed wall clock time (in seconds):29.85 9.93/29.98 o 169 9.96/30.04 c And the winner is solver0 10.08/30.48 c Got one! Elapsed wall clock time (in seconds):30.352 10.08/30.48 o 163 10.51/30.71 c And the winner is solver0 10.69/30.98 c Got one! Elapsed wall clock time (in seconds):30.854 10.69/30.98 o 162 10.72/31.02 c And the winner is solver0 10.79/31.48 c Got one! Elapsed wall clock time (in seconds):31.356 10.79/31.48 o 161 10.79/31.49 c And the winner is solver0 10.82/31.99 c Got one! Elapsed wall clock time (in seconds):31.857 10.82/31.99 o 152 10.82/32.00 c And the winner is solver0 10.87/32.49 c Got one! Elapsed wall clock time (in seconds):32.359 10.87/32.49 o 150 11.28/32.75 c cleaning 7762 clauses out of 15551 with flag 17749/31683 11.74/32.91 c And the winner is solver0 11.74/32.99 c Got one! Elapsed wall clock time (in seconds):32.861 11.74/32.99 o 149 12.04/33.16 c And the winner is solver0 12.20/33.49 c Got one! Elapsed wall clock time (in seconds):33.363 12.20/33.49 o 146 12.21/33.53 c And the winner is solver0 12.31/33.99 c Got one! Elapsed wall clock time (in seconds):33.865 12.31/33.99 o 139 12.92/34.37 c cleaning 7114 clauses out of 14252 with flag 30869/38146 14.57/35.13 c And the winner is solver0 14.70/35.50 c Got one! Elapsed wall clock time (in seconds):35.367 14.70/35.50 o 138 14.96/35.62 c And the winner is solver0 15.06/36.00 c Got one! Elapsed wall clock time (in seconds):35.869 15.06/36.00 o 135 15.06/36.01 c And the winner is solver0 15.08/36.50 c Got one! Elapsed wall clock time (in seconds):36.371 15.08/36.50 o 128 15.08/36.54 c And the winner is solver0 15.21/37.00 c Got one! Elapsed wall clock time (in seconds):36.873 15.21/37.00 o 127 15.21/37.09 c And the winner is solver0 15.43/37.50 c Got one! Elapsed wall clock time (in seconds):37.375 15.43/37.50 o 82 15.85/37.71 c And the winner is solver0 15.91/38.00 c Got one! Elapsed wall clock time (in seconds):37.877 15.91/38.00 o 79 16.74/38.44 c cleaning 9770 clauses out of 19544 with flag 36516/50552 17.15/38.66 c And the winner is solver0 17.29/39.01 c Got one! Elapsed wall clock time (in seconds):38.882 17.29/39.01 o 77 17.86/39.37 c And the winner is solver0 18.04/39.52 c Got one! Elapsed wall clock time (in seconds):39.388 18.04/39.52 o 76 18.04/39.60 c And the winner is solver0 18.25/40.02 c Got one! Elapsed wall clock time (in seconds):39.894 18.25/40.02 o 67 18.39/40.17 c cleaning 8240 clauses out of 16481 with flag 12198/57259 18.60/40.24 c And the winner is solver0 18.73/40.53 c Got one! Elapsed wall clock time (in seconds):40.4 18.73/40.53 o 56 19.67/41.08 c cleaning 6920 clauses out of 13851 with flag 54985/62869 20.70/41.54 c And the winner is solver0 20.82/41.60 c Got one! Elapsed wall clock time (in seconds):41.472 20.82/41.60 o 48 21.00/41.71 c cleaning 6090 clauses out of 12196 with flag 10399/68134 21.22/41.85 c And the winner is solver0 21.35/42.11 c Got one! Elapsed wall clock time (in seconds):41.984 21.35/42.11 o 47 21.71/42.37 c And the winner is solver0 21.90/42.62 c Got one! Elapsed wall clock time (in seconds):42.497 21.90/42.63 o 45 22.23/42.83 c cleaning 6108 clauses out of 12242 with flag 17969/74270 22.44/42.92 c And the winner is solver0 22.51/43.14 c Got one! Elapsed wall clock time (in seconds):43.011 22.51/43.14 o 42 22.61/43.29 c And the winner is solver0 22.84/43.65 c Got one! Elapsed wall clock time (in seconds):43.526 22.84/43.65 o 39 23.35/43.97 c cleaning 5752 clauses out of 11524 with flag 30905/79660 23.35/43.98 c And the winner is solver0 23.55/44.19 c Got one! Elapsed wall clock time (in seconds):44.064 23.55/44.19 o 38 23.74/44.37 c And the winner is solver0 23.95/44.71 c Got one! Elapsed wall clock time (in seconds):44.581 23.95/44.71 o 37 23.95/44.79 c And the winner is solver0 24.22/45.23 c Got one! Elapsed wall clock time (in seconds):45.098 24.22/45.23 o 35 24.35/45.40 c And the winner is solver0 24.59/45.74 c Got one! Elapsed wall clock time (in seconds):45.615 24.59/45.74 o 34 24.59/45.79 c And the winner is solver0 24.69/46.26 c Got one! Elapsed wall clock time (in seconds):46.132 24.69/46.26 o 31 24.76/46.36 c And the winner is solver0 24.90/46.78 c Got one! Elapsed wall clock time (in seconds):46.65 24.90/46.78 o 30 25.53/47.13 c cleaning 7131 clauses out of 14264 with flag 35988/88152 26.96/47.82 c cleaning 6565 clauses out of 13131 with flag 105396/94151 28.57/48.64 c cleaning 6782 clauses out of 13566 with flag 195228/101152 30.20/49.44 c And the winner is solver0 30.34/49.80 c Got one! Elapsed wall clock time (in seconds):49.669 30.34/49.80 o 26 30.71/50.03 c And the winner is solver0 30.83/50.32 c Got one! Elapsed wall clock time (in seconds):50.19 30.83/50.32 o 25 31.76/50.85 c And the winner is solver0 31.92/51.34 c Got one! Elapsed wall clock time (in seconds):51.212 31.92/51.34 o 23 32.01/51.47 c cleaning 9575 clauses out of 19166 with flag 6871/113535 32.21/51.59 c And the winner is solver0 32.43/51.86 c Got one! Elapsed wall clock time (in seconds):51.735 32.43/51.86 o 22 33.29/52.36 c cleaning 7439 clauses out of 14885 with flag 43463/118831 33.89/52.68 c And the winner is solver0 34.11/52.89 c Got one! Elapsed wall clock time (in seconds):52.762 34.11/52.89 o 19 34.72/53.28 c cleaning 6711 clauses out of 13435 with flag 31950/124825 34.92/53.36 c And the winner is solver0 35.13/53.42 c Got one! Elapsed wall clock time (in seconds):53.289 35.13/53.42 o 18 35.68/53.70 c And the winner is solver0 35.72/53.94 c Got one! Elapsed wall clock time (in seconds):53.817 35.72/53.94 o 15 35.72/53.98 c And the winner is solver0 157.02/172.84 c cleaning 0 clauses out of 7717 with flag 0/7768 551.26/558.75 c cleaning 0 clauses out of 13716 with flag 0/13767 1337.87/1330.59 c cleaning 0 clauses out of 20716 with flag 0/20767 1800.01/1783.80 c >>>>>>>>>> Solver number 0 (94 answers) <<<<<<<<<<<<<<<<<< 1800.01/1783.80 c starts : 475 1800.01/1783.80 c conflicts : 128700 1800.01/1783.80 c decisions : 317554 1800.01/1783.80 c propagations : 15390008 1800.01/1783.80 c inspects : 159093345 1800.01/1783.80 c shortcuts : 0 1800.01/1783.80 c learnt literals : 22 1800.01/1783.80 c learnt binary clauses : 117 1800.01/1783.80 c learnt ternary clauses : 415 1800.01/1783.80 c learnt constraints : 128678 1800.01/1783.80 c ignored constraints : 0 1800.01/1783.80 c root simplifications : 0 1800.01/1783.80 c removed literals (reason simplification) : 854933 1800.01/1783.80 c reason swapping (by a shorter reason) : 0 1800.01/1783.80 c Calls to reduceDB : 16 1800.01/1783.80 c Number of update (reduction) of LBD : 74879 1800.01/1783.80 c Imported unit clauses : 0 1800.01/1783.80 c number of reductions to clauses (during analyze) : 0 1800.01/1783.80 c number of learned constraints concerned by reduction : 0 1800.01/1783.80 c number of learning phase by resolution : 0 1800.01/1783.80 c number of learning phase by cutting planes : 0 1800.01/1783.80 c speed (assignments/second) : 8742.594077989124 1800.01/1783.80 c non guided choices 9877 1800.01/1783.81 c learnt constraints type 1800.01/1783.81 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 117 1800.01/1783.81 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10470 1800.01/1783.81 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.01/1783.81 c starts : 146 1800.01/1783.81 c conflicts : 23260 1800.01/1783.81 c decisions : 135274 1800.01/1783.81 c propagations : 961403 1800.01/1783.81 c inspects : 1995012741 1800.01/1783.81 c shortcuts : 0 1800.01/1783.81 c learnt literals : 0 1800.01/1783.81 c learnt binary clauses : 0 1800.01/1783.81 c learnt ternary clauses : 0 1800.01/1783.81 c learnt constraints : 23208 1800.01/1783.81 c ignored constraints : 0 1800.01/1783.81 c root simplifications : 0 1800.01/1783.81 c removed literals (reason simplification) : 0 1800.01/1783.81 c reason swapping (by a shorter reason) : 0 1800.01/1783.81 c Calls to reduceDB : 3 1800.01/1783.81 c Number of update (reduction) of LBD : 0 1800.01/1783.81 c Imported unit clauses : 0 1800.01/1783.81 c number of reductions to clauses (during analyze) : 0 1800.01/1783.81 c number of learned constraints concerned by reduction : 0 1800.01/1783.81 c number of learning phase by resolution : 0 1800.01/1783.81 c number of learning phase by cutting planes : 0 1800.01/1783.81 c speed (assignments/second) : 555.7885304659499 1800.01/1783.81 c non guided choices 8861 1800.01/1783.82 c learnt constraints type 1800.01/1783.82 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1199 1800.01/1783.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 37 1800.01/1783.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 21972 1800.01/1783.82 s SATISFIABLE 1800.01/1783.82 c Found 94 solution(s) 1800.01/1783.82 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 1800.01/1783.82 c objective function=15 1800.01/1783.82 c Total wall clock time (in seconds): 1783.694
OK 13
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-4091953-1466079133/watcher-4091953-1466079133 -o /tmp/evaluation-result-4091953-1466079133/solver-4091953-1466079133 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14703 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091953-1466079133.wbo pid=18629 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.67 2.36 2.17 3/196 18632 /proc/meminfo: memFree=31052096/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/18632/stat : 18632 (java) R 18629 18632 11396 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 9958767 9515008 170 33554432000 1073741824 1073778376 140735320178368 140735320175496 211458803255 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/18632/statm: 2323 176 133 9 0 71 0 [startup+0.100058 s] /proc/loadavg: 2.67 2.36 2.17 3/196 18632 /proc/meminfo: memFree=31052096/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 4326 0 1 0 7 1 0 0 20 0 18 0 9958767 9787879424 5437 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2389619 5437 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200221 s] /proc/loadavg: 2.67 2.36 2.17 3/196 18632 /proc/meminfo: memFree=31052096/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 4677 0 1 0 20 2 0 0 20 0 18 0 9958767 9787879424 6789 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2389619 6789 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300218 s] /proc/loadavg: 2.67 2.36 2.17 3/196 18632 /proc/meminfo: memFree=31052096/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 5570 0 1 0 43 2 0 0 20 0 18 0 9958767 9787879424 8367 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2389619 8367 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700325 s] /proc/loadavg: 2.67 2.36 2.17 3/196 18632 /proc/meminfo: memFree=31052096/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 10851 0 1 0 111 4 0 0 20 0 19 0 9958767 10060525568 13089 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 13089 2259 9 0 2446860 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 2.67 2.36 2.17 3/215 18657 /proc/meminfo: memFree=30989992/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 19579 0 1 0 178 9 0 0 20 0 19 0 9958767 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 19271 2259 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2424 0 1 0 31 1 0 0 20 0 19 0 9958768 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753982088056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 6566 0 0 0 50 0 0 0 20 0 19 0 9958774 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9243 0 0 0 70 2 0 0 20 0 19 0 9958774 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18654] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18654/stat : 18654 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958803 10060525568 19271 33554432000 1073741824 1073778376 140737039532352 139753324225832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 2.67 2.36 2.17 3/215 18663 /proc/meminfo: memFree=30978208/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=2.11 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 19610 0 1 0 199 12 0 0 20 0 19 0 9958767 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 22349 2265 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2425 0 1 0 32 1 0 0 20 0 19 0 9958768 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753982088056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 6566 0 0 0 56 0 0 0 20 0 19 0 9958774 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=0.83 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9249 0 0 0 81 2 0 0 20 0 19 0 9958774 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18654] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18654/stat : 18654 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958803 10060525568 22349 33554432000 1073741824 1073778376 140737039532352 139753324225832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=10 pid=1811 uid=0 cmd= [startup+6.30078 s] /proc/loadavg: 2.61 2.35 2.17 2/215 18684 /proc/meminfo: memFree=30942884/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 20403 0 1 0 224 18 0 0 20 0 19 0 9958767 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 31387 2267 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2430 0 1 0 33 2 0 0 20 0 19 0 9958768 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753982088056 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9958770 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958771 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 7283 0 0 0 64 0 0 0 20 0 19 0 9958774 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=0.92 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9251 0 0 0 90 2 0 0 20 0 19 0 9958774 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9958774 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18654] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18654/stat : 18654 (java) S 18629 18632 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9958803 10060525568 31387 33554432000 1073741824 1073778376 140737039532352 139753324225832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 ################ # More data... # ################ [pid=18632/tid=18935] ppid=18629 vsize=9824732 CPUtime=1591.76 cores=1,3,5,7 /proc/18632/task/18935/stat : 18935 (java) R 18629 18632 11396 0 -1 4202560 5090 0 0 0 159131 45 0 0 20 0 21 0 9964164 10060525568 492710 33554432000 1073741824 1073778376 140737039532352 139753325276720 139753824312297 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18936] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18936/stat : 18936 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9964168 10060525568 492710 33554432000 1073741824 1073778376 140737039532352 139753326330920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1676.21 Current children cumulated vsize (KiB) 9824732 [startup+1722.3 s] /proc/loadavg: 2.02 2.07 2.10 3/218 18979 /proc/meminfo: memFree=25728372/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=1737.3 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 42654 0 1 0 173368 362 0 0 20 0 21 0 9958767 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 523974 2296 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=1.67 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2566 0 1 0 132 35 0 0 20 0 21 0 9958768 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753982088120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=5.93 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 559 0 0 0 581 12 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=5.69 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 766 0 0 0 556 13 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=5.67 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 638 0 0 0 555 12 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=5.76 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 519 0 0 0 566 10 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=6 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 728 0 0 0 588 12 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=6.03 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 500 0 0 0 593 10 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=5.83 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 485 0 0 0 572 11 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=5.87 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 624 0 0 0 574 13 0 0 20 0 21 0 9958770 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=3.8 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 1831 0 0 0 361 19 0 0 20 0 21 0 9958771 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 16051 0 0 0 168 3 0 0 20 0 21 0 9958774 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=1.72 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9298 0 0 0 170 2 0 0 20 0 21 0 9958774 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 100 0 0 0 27 45 0 0 20 0 21 0 9958774 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18789] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18789/stat : 18789 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9961113 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753324225960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18935] ppid=18629 vsize=9824732 CPUtime=1651.37 cores=1,3,5,7 /proc/18632/task/18935/stat : 18935 (java) R 18629 18632 11396 0 -1 4202560 5176 0 0 0 165089 48 0 0 20 0 21 0 9964164 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753325276720 139753824197720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18936] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18936/stat : 18936 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9964168 10060525568 523974 33554432000 1073741824 1073778376 140737039532352 139753326330920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1737.3 Current children cumulated vsize (KiB) 9824732 [startup+1782.3 s] /proc/loadavg: 2.29 2.11 2.10 5/218 19353 /proc/meminfo: memFree=29293432/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=1798.51 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 42698 0 1 0 179485 366 0 0 20 0 21 0 9958767 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 522542 2296 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2570 0 1 0 133 37 0 0 20 0 21 0 9958768 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753982088120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=6.1 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 560 0 0 0 598 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=5.85 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 774 0 0 0 572 13 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=5.85 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 647 0 0 0 573 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=6 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 520 0 0 0 590 10 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=6.26 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 729 0 0 0 614 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=6.23 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 501 0 0 0 613 10 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=6.01 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 486 0 0 0 590 11 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=6.08 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 625 0 0 0 595 13 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=3.8 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 1835 0 0 0 361 19 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 16051 0 0 0 168 3 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=1.72 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9298 0 0 0 170 2 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 104 0 0 0 29 46 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18789] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18789/stat : 18789 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9961113 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753324225960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18935] ppid=18629 vsize=9824732 CPUtime=1710.91 cores=1,3,5,7 /proc/18632/task/18935/stat : 18935 (java) R 18629 18632 11396 0 -1 4202560 5185 0 0 0 171042 49 0 0 20 0 21 0 9964164 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753325276368 139753824310180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18936] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18936/stat : 18936 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9964168 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753326330920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.8 s] /proc/loadavg: 2.58 2.17 2.12 5/215 19356 /proc/meminfo: memFree=29252508/32872528 swapFree=496356/529060 [pid=18632] ppid=18629 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7 /proc/18632/stat : 18632 (java) S 18629 18632 11396 0 -1 4202496 42698 0 1 0 179635 366 0 0 20 0 21 0 9958767 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 140737039523488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18632/statm: 2456183 522542 2296 9 0 2446860 0 [pid=18632/tid=18634] ppid=18629 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/18632/task/18634/stat : 18634 (java) S 18629 18632 11396 0 -1 4202560 2570 0 1 0 133 37 0 0 20 0 21 0 9958768 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753982088120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18635] ppid=18629 vsize=9824732 CPUtime=6.1 cores=1,3,5,7 /proc/18632/task/18635/stat : 18635 (java) S 18629 18632 11396 0 -1 4202560 560 0 0 0 598 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753943579688 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18636] ppid=18629 vsize=9824732 CPUtime=5.85 cores=1,3,5,7 /proc/18632/task/18636/stat : 18636 (java) S 18629 18632 11396 0 -1 4202560 774 0 0 0 572 13 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753942526888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18637] ppid=18629 vsize=9824732 CPUtime=5.85 cores=1,3,5,7 /proc/18632/task/18637/stat : 18637 (java) S 18629 18632 11396 0 -1 4202560 647 0 0 0 573 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753823398696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18638] ppid=18629 vsize=9824732 CPUtime=6 cores=1,3,5,7 /proc/18632/task/18638/stat : 18638 (java) S 18629 18632 11396 0 -1 4202560 520 0 0 0 590 10 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753822345896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=18632/tid=18639] ppid=18629 vsize=9824732 CPUtime=6.26 cores=1,3,5,7 /proc/18632/task/18639/stat : 18639 (java) S 18629 18632 11396 0 -1 4202560 729 0 0 0 614 12 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753821293096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18640] ppid=18629 vsize=9824732 CPUtime=6.23 cores=1,3,5,7 /proc/18632/task/18640/stat : 18640 (java) S 18629 18632 11396 0 -1 4202560 501 0 0 0 613 10 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753820240296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18641] ppid=18629 vsize=9824732 CPUtime=6.01 cores=1,3,5,7 /proc/18632/task/18641/stat : 18641 (java) S 18629 18632 11396 0 -1 4202560 486 0 0 0 590 11 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753819187496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18642] ppid=18629 vsize=9824732 CPUtime=6.08 cores=1,3,5,7 /proc/18632/task/18642/stat : 18642 (java) S 18629 18632 11396 0 -1 4202560 625 0 0 0 595 13 0 0 20 0 21 0 9958770 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753818134696 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18643] ppid=18629 vsize=9824732 CPUtime=3.8 cores=1,3,5,7 /proc/18632/task/18643/stat : 18643 (java) S 18629 18632 11396 0 -1 4202560 1835 0 0 0 361 19 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753335806952 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18644] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18644/stat : 18644 (java) S 18629 18632 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753334753016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18645] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18645/stat : 18645 (java) S 18629 18632 11396 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 9958771 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753333700104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18646] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18646/stat : 18646 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753332648592 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18647] ppid=18629 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/18632/task/18647/stat : 18647 (java) S 18629 18632 11396 0 -1 4202560 16051 0 0 0 168 3 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753331595704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18648] ppid=18629 vsize=9824732 CPUtime=1.72 cores=1,3,5,7 /proc/18632/task/18648/stat : 18648 (java) S 18629 18632 11396 0 -1 4202560 9298 0 0 0 170 2 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753330542904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=18632/tid=18649] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18649/stat : 18649 (java) S 18629 18632 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753329490296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18650] ppid=18629 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/18632/task/18650/stat : 18650 (java) S 18629 18632 11396 0 -1 4202560 104 0 0 0 29 46 0 0 20 0 21 0 9958774 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753328437704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18789] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18789/stat : 18789 (java) S 18629 18632 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9961113 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753324225960 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18632/tid=18935] ppid=18629 vsize=9824732 CPUtime=1712.41 cores=1,3,5,7 /proc/18632/task/18935/stat : 18935 (java) R 18629 18632 11396 0 -1 4202560 5185 0 0 0 171192 49 0 0 20 0 21 0 9964164 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753325276368 139753824197737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=18632/tid=18936] ppid=18629 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/18632/task/18936/stat : 18936 (java) S 18629 18632 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 9964168 10060525568 522542 33554432000 1073741824 1073778376 140737039532352 139753326330920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18632 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1783.84 CPU time (s): 1801.14 CPU user time (s): 1796.92 CPU system time (s): 4.22336 CPU usage (%): 100.97 Max. virtual memory (cumulated for all children) (KiB): 9826384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.92 system time used= 4.22336 maximum resident set size= 2097948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42729 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 91855 involuntary context switches= 98603 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.0543 second user time and 14.7508 second system time The end
Begin job on node141 at 2016-06-16 14:12:13 IDJOB=4091953 IDBENCH=78966 IDSOLVER=2552 FILE ID=node141/4091953-1466079133 RUNJOBID= node141-1466075234-14703 PBS_JOBID= 19903999 Free space on /tmp= 71748 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.1900558106--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091953-1466079133/watcher-4091953-1466079133 -o /tmp/evaluation-result-4091953-1466079133/solver-4091953-1466079133 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14703 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091953-1466079133.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014 RANDOM SEED=1658062915 node141.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.547 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.09 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.547 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.547 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.54 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.547 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.547 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.547 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.547 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.547 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: 31052484 kB Buffers: 21648 kB Cached: 51828 kB SwapCached: 2880 kB Active: 534336 kB Inactive: 43856 kB Active(anon): 504788 kB Inactive(anon): 2156 kB Active(file): 29548 kB Inactive(file): 41700 kB Unevictable: 529060 kB Mlocked: 496356 kB SwapTotal: 67108856 kB SwapFree: 67098996 kB Dirty: 488 kB Writeback: 0 kB AnonPages: 1159040 kB Mapped: 15392 kB Shmem: 0 kB Slab: 566436 kB SReclaimable: 10036 kB SUnreclaim: 556400 kB KernelStack: 1800 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1702848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 622592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node141 at 2016-06-16 14:41:57