Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -98 | 1800.11 | 914.654 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
| MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -113 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -131 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12540 |
| Sum of products size (including duplicates) | 25080 |
| Number of different products | 6270 |
| Sum of products size | 12540 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4081732-1465258062.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.56/0.76 c ... done. Wall clock time 0.635s. 1.56/0.76 c declared #vars 1000 1.56/0.76 c internal #vars 7270 1.56/0.76 c #constraints 14042 1.56/0.76 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.56/0.76 c constraints type 1.56/0.76 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6270 1.56/0.76 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.56/0.76 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.56/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270 1.56/0.76 c 14042 constraints processed. 1.56/0.76 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.56/0.76 c constraints type 1.56/0.76 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.56/0.76 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6270 1.56/0.76 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.56/0.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6270 1.56/0.76 c 14042 constraints processed. 1.56/0.76 c objective function length is 500 literals 4.26/1.49 c And the winner is solver1 4.74/1.79 c SATISFIABLE 4.74/1.79 c OPTIMIZING... 4.74/1.79 c Got one! Elapsed wall clock time (in seconds):1.661 4.74/1.79 o -10 5.13/1.91 c And the winner is solver1 5.18/2.29 c Got one! Elapsed wall clock time (in seconds):2.164 5.18/2.29 o -15 5.22/2.33 c And the winner is solver1 5.36/2.79 c Got one! Elapsed wall clock time (in seconds):2.666 5.36/2.79 o -25 5.38/2.85 c And the winner is solver1 5.56/3.29 c Got one! Elapsed wall clock time (in seconds):3.168 5.56/3.29 o -26 5.58/3.34 c And the winner is solver1 5.66/3.80 c Got one! Elapsed wall clock time (in seconds):3.67 5.66/3.80 o -27 5.67/3.84 c And the winner is solver1 5.81/4.30 c Got one! Elapsed wall clock time (in seconds):4.172 5.81/4.30 o -28 5.81/4.37 c And the winner is solver1 6.00/4.80 c Got one! Elapsed wall clock time (in seconds):4.673 6.00/4.80 o -29 6.00/4.86 c And the winner is solver1 6.35/5.30 c Got one! Elapsed wall clock time (in seconds):5.174 6.35/5.30 o -30 6.35/5.36 c And the winner is solver1 6.47/5.80 c Got one! Elapsed wall clock time (in seconds):5.675 6.47/5.80 o -31 6.47/5.85 c And the winner is solver1 6.59/6.30 c Got one! Elapsed wall clock time (in seconds):6.176 6.59/6.30 o -32 6.59/6.35 c And the winner is solver1 6.73/6.80 c Got one! Elapsed wall clock time (in seconds):6.677 6.73/6.80 o -33 6.73/6.86 c And the winner is solver1 6.85/7.30 c Got one! Elapsed wall clock time (in seconds):7.178 6.85/7.30 o -34 6.85/7.35 c And the winner is solver1 6.95/7.80 c Got one! Elapsed wall clock time (in seconds):7.679 6.95/7.80 o -35 6.95/7.87 c And the winner is solver1 7.08/8.31 c Got one! Elapsed wall clock time (in seconds):8.18 7.08/8.31 o -36 7.08/8.35 c And the winner is solver1 7.31/8.81 c Got one! Elapsed wall clock time (in seconds):8.681 7.31/8.81 o -37 7.31/8.88 c And the winner is solver1 7.47/9.31 c Got one! Elapsed wall clock time (in seconds):9.182 7.47/9.31 o -40 7.47/9.34 c And the winner is solver1 7.55/9.81 c Got one! Elapsed wall clock time (in seconds):9.683 7.55/9.81 o -41 7.55/9.85 c And the winner is solver1 7.63/10.31 c Got one! Elapsed wall clock time (in seconds):10.184 7.63/10.31 o -48 7.63/10.36 c And the winner is solver1 7.75/10.81 c Got one! Elapsed wall clock time (in seconds):10.685 7.75/10.81 o -49 7.95/10.93 c And the winner is solver1 8.03/11.31 c Got one! Elapsed wall clock time (in seconds):11.186 8.03/11.31 o -50 8.03/11.36 c And the winner is solver1 8.14/11.81 c Got one! Elapsed wall clock time (in seconds):11.687 8.14/11.81 o -51 8.14/11.88 c And the winner is solver1 8.30/12.31 c Got one! Elapsed wall clock time (in seconds):12.187 8.30/12.31 o -52 8.48/12.40 c And the winner is solver1 8.50/12.81 c Got one! Elapsed wall clock time (in seconds):12.688 8.50/12.81 o -53 8.65/12.91 c And the winner is solver1 8.70/13.31 c Got one! Elapsed wall clock time (in seconds):13.189 8.70/13.31 o -54 8.86/13.40 c And the winner is solver1 8.88/13.81 c Got one! Elapsed wall clock time (in seconds):13.69 8.88/13.81 o -55 8.88/13.89 c And the winner is solver1 9.04/14.32 c Got one! Elapsed wall clock time (in seconds):14.191 9.04/14.32 o -56 9.24/14.48 c And the winner is solver1 9.47/14.82 c Got one! Elapsed wall clock time (in seconds):14.691 9.47/14.82 o -57 9.47/14.87 c And the winner is solver1 9.59/15.32 c Got one! Elapsed wall clock time (in seconds):15.192 9.59/15.32 o -58 9.59/15.38 c And the winner is solver1 9.76/15.82 c Got one! Elapsed wall clock time (in seconds):15.693 9.76/15.82 o -59 9.76/15.87 c And the winner is solver1 9.88/16.32 c Got one! Elapsed wall clock time (in seconds):16.193 9.88/16.32 o -60 9.88/16.36 c And the winner is solver1 9.98/16.82 c Got one! Elapsed wall clock time (in seconds):16.694 9.98/16.82 o -67 9.98/16.88 c And the winner is solver1 10.10/17.32 c Got one! Elapsed wall clock time (in seconds):17.195 10.10/17.32 o -68 10.25/17.43 c And the winner is solver1 10.32/17.82 c Got one! Elapsed wall clock time (in seconds):17.696 10.32/17.82 o -69 10.32/17.89 c And the winner is solver1 10.46/18.32 c Got one! Elapsed wall clock time (in seconds):18.196 10.46/18.32 o -70 10.46/18.37 c And the winner is solver1 10.57/18.82 c Got one! Elapsed wall clock time (in seconds):18.697 10.57/18.82 o -76 11.36/19.24 c And the winner is solver1 11.46/19.32 c Got one! Elapsed wall clock time (in seconds):19.198 11.46/19.32 o -77 13.86/20.58 c And the winner is solver1 14.03/20.82 c Got one! Elapsed wall clock time (in seconds):20.699 14.03/20.82 o -78 14.03/20.90 c And the winner is solver1 14.19/21.32 c Got one! Elapsed wall clock time (in seconds):21.199 14.19/21.32 o -79 20.15/24.27 c cleaning 4785 clauses out of 9570 with flag 38516/9570 29.32/28.73 c cleaning 5386 clauses out of 10786 with flag 96754/15571 39.00/33.56 c And the winner is solver0 39.13/33.83 c Got one! Elapsed wall clock time (in seconds):33.702 39.13/33.83 o -85 45.72/37.16 c cleaning 8386 clauses out of 16779 with flag 20897/26950 52.99/40.79 c And the winner is solver1 53.13/40.83 c Got one! Elapsed wall clock time (in seconds):40.704 53.13/40.83 o -86 60.09/44.30 c cleaning 9219 clauses out of 18446 with flag 46759/37003 68.92/48.75 c cleaning 7612 clauses out of 15227 with flag 104125/43003 76.59/52.59 c cleaning 7305 clauses out of 14614 with flag 168516/50002 85.21/56.87 c cleaning 7633 clauses out of 15313 with flag 243076/58006 95.72/62.10 c cleaning 8326 clauses out of 16677 with flag 323160/67003 107.37/67.84 c cleaning 9133 clauses out of 18352 with flag 422831/77004 121.50/74.90 c cleaning 10109 clauses out of 20217 with flag 508802/88002 135.35/81.71 c cleaning 11029 clauses out of 22120 with flag 631839/100014 145.40/86.76 c And the winner is solver1 145.40/86.86 c Got one! Elapsed wall clock time (in seconds):86.739 145.40/86.86 o -87 155.77/92.07 c cleaning 12601 clauses out of 25202 with flag 52009/114125 165.02/96.69 c cleaning 9293 clauses out of 18602 with flag 112926/120126 174.31/101.30 c cleaning 8152 clauses out of 16309 with flag 180444/127126 181.53/104.89 c cleaning 8072 clauses out of 16157 with flag 262504/135126 191.19/109.64 c cleaning 8521 clauses out of 17089 with flag 358960/144130 203.29/115.64 c cleaning 9240 clauses out of 18564 with flag 456793/154126 216.40/122.16 c cleaning 10165 clauses out of 20329 with flag 557406/165131 224.04/125.98 c And the winner is solver1 224.04/126.40 c Got one! Elapsed wall clock time (in seconds):126.27 224.04/126.40 o -88 233.29/131.03 c cleaning 11159 clauses out of 22319 with flag 60422/177286 242.70/135.73 c cleaning 8574 clauses out of 17160 with flag 129337/183286 250.34/139.59 c cleaning 7778 clauses out of 15586 with flag 201102/190286 259.64/144.14 c cleaning 7907 clauses out of 15813 with flag 279912/198291 269.10/148.83 c cleaning 8346 clauses out of 16901 with flag 370721/207286 280.21/154.37 c cleaning 9151 clauses out of 18555 with flag 447660/217286 292.27/160.34 c cleaning 10109 clauses out of 20407 with flag 543089/228289 308.31/168.55 c cleaning 11148 clauses out of 22295 with flag 671708/240286 328.84/178.76 c cleaning 12028 clauses out of 24147 with flag 874848/253286 345.09/186.87 c And the winner is solver1 345.09/187.02 c Got one! Elapsed wall clock time (in seconds):186.895 345.09/187.02 o -89 356.14/192.53 c cleaning 14832 clauses out of 29664 with flag 59708/270831 363.36/196.19 c cleaning 10409 clauses out of 20831 with flag 124314/276830 371.00/199.91 c cleaning 8575 clauses out of 17424 with flag 198616/283832 378.57/203.64 c cleaning 8398 clauses out of 16850 with flag 261819/291833 387.52/208.04 c cleaning 8736 clauses out of 17472 with flag 348186/300853 397.53/213.00 c cleaning 9372 clauses out of 18744 with flag 451690/310861 399.35/213.92 c And the winner is solver1 399.35/214.03 c Got one! Elapsed wall clock time (in seconds):213.901 399.35/214.03 o -90 405.51/217.15 c cleaning 7606 clauses out of 15218 with flag 51063/316707 412.77/220.76 c cleaning 6780 clauses out of 13612 with flag 118352/322707 420.40/224.53 c cleaning 6871 clauses out of 13833 with flag 192337/329708 428.23/228.46 c cleaning 7478 clauses out of 14966 with flag 268375/337712 437.26/232.90 c cleaning 8146 clauses out of 16484 with flag 357109/346708 447.71/238.10 c cleaning 9170 clauses out of 18340 with flag 440700/356710 458.58/243.58 c cleaning 9947 clauses out of 20167 with flag 528250/367707 470.63/249.52 c cleaning 11126 clauses out of 22251 with flag 626010/379738 483.83/256.34 c cleaning 12050 clauses out of 24099 with flag 738440/392712 498.07/263.47 c cleaning 12966 clauses out of 26044 with flag 882254/406707 513.81/271.22 c cleaning 14035 clauses out of 28078 with flag 1029026/421707 514.61/271.61 c And the winner is solver1 514.61/271.72 c Got one! Elapsed wall clock time (in seconds):271.592 514.61/271.72 o -91 520.36/274.64 c cleaning 9535 clauses out of 19070 with flag 46610/426734 525.80/277.37 c cleaning 7630 clauses out of 15536 with flag 116455/432735 532.62/280.79 c cleaning 7415 clauses out of 14905 with flag 184431/439734 540.62/284.71 c cleaning 7714 clauses out of 15491 with flag 270176/447735 550.07/289.45 c cleaning 8366 clauses out of 16779 with flag 384454/456737 560.92/294.81 c cleaning 9168 clauses out of 18410 with flag 493129/466734 571.15/299.91 c cleaning 10091 clauses out of 20242 with flag 604010/477734 575.55/302.19 c And the winner is solver1 575.60/302.22 c Got one! Elapsed wall clock time (in seconds):302.097 575.60/302.22 o -92 583.78/306.32 c cleaning 10224 clauses out of 20462 with flag 61851/488045 588.78/308.84 c cleaning 8113 clauses out of 16240 with flag 132594/494047 595.41/312.12 c cleaning 7426 clauses out of 15126 with flag 214008/501046 602.84/315.85 c cleaning 7855 clauses out of 15709 with flag 300356/509055 611.68/320.23 c cleaning 8411 clauses out of 16849 with flag 402452/518050 621.36/325.05 c cleaning 9212 clauses out of 18436 with flag 536383/528048 633.38/331.00 c cleaning 10057 clauses out of 20225 with flag 695626/539049 647.67/338.14 c cleaning 11075 clauses out of 22179 with flag 900054/551060 662.16/345.34 c cleaning 12031 clauses out of 24089 with flag 1128947/564045 676.43/352.46 c cleaning 13030 clauses out of 26059 with flag 1281298/578046 695.54/362.26 c cleaning 14004 clauses out of 28056 with flag 1467851/593073 719.67/374.24 c cleaning 15002 clauses out of 30024 with flag 1662157/609045 744.98/386.84 c cleaning 15911 clauses out of 32027 with flag 1940052/626050 765.65/397.16 c cleaning 17026 clauses out of 34111 with flag 2178074/644045 788.13/408.38 c cleaning 17981 clauses out of 36087 with flag 2393634/663047 803.97/416.22 c And the winner is solver1 803.97/416.66 c Got one! Elapsed wall clock time (in seconds):416.533 803.97/416.66 o -93 812.57/420.97 c cleaning 18106 clauses out of 36211 with flag 60847/681152 818.77/424.06 c cleaning 12005 clauses out of 24111 with flag 120474/687158 825.23/427.21 c cleaning 9409 clauses out of 19103 with flag 195623/694155 833.63/431.44 c cleaning 8683 clauses out of 17702 with flag 283076/702163 843.06/436.11 c cleaning 9006 clauses out of 18012 with flag 360241/711156 852.89/441.06 c cleaning 9457 clauses out of 19003 with flag 449835/721153 863.32/446.26 c cleaning 10179 clauses out of 20546 with flag 545611/732153 876.20/452.68 c cleaning 11183 clauses out of 22366 with flag 644420/744152 887.68/458.34 c cleaning 12081 clauses out of 24183 with flag 761993/757152 899.88/464.49 c cleaning 13042 clauses out of 26104 with flag 893413/771154 917.16/473.08 c cleaning 14071 clauses out of 28142 with flag 1059831/786234 928.07/478.49 c cleaning 14984 clauses out of 29989 with flag 1195214/802152 941.61/485.16 c cleaning 15983 clauses out of 32006 with flag 1334224/819153 961.52/495.61 c cleaning 17012 clauses out of 34023 with flag 1523668/837153 980.19/504.98 c cleaning 18009 clauses out of 36017 with flag 1716827/856159 996.45/513.06 c cleaning 18950 clauses out of 38004 with flag 1896468/876155 1003.44/516.57 c And the winner is solver1 1003.44/516.94 c Got one! Elapsed wall clock time (in seconds):516.814 1003.44/516.94 o -94 1009.42/519.97 c cleaning 15187 clauses out of 30374 with flag 58425/887475 1015.42/522.96 c cleaning 10480 clauses out of 21187 with flag 120220/893475 1022.27/526.30 c cleaning 8832 clauses out of 17707 with flag 192405/900475 1029.66/530.04 c cleaning 8425 clauses out of 16876 with flag 274362/908476 1037.86/534.18 c cleaning 8675 clauses out of 17450 with flag 363722/917475 1046.92/538.60 c cleaning 9320 clauses out of 18776 with flag 455499/927476 1053.12/541.75 c And the winner is solver1 1053.12/541.94 c Got one! Elapsed wall clock time (in seconds):541.819 1053.12/541.94 o -95 1058.94/544.83 c cleaning 11605 clauses out of 23209 with flag 62250/941229 1064.13/547.46 c cleaning 8682 clauses out of 17604 with flag 128479/947229 1071.01/550.83 c cleaning 7889 clauses out of 15923 with flag 198962/954230 1077.81/554.23 c cleaning 8012 clauses out of 16033 with flag 272848/962229 1086.89/558.75 c cleaning 8373 clauses out of 17022 with flag 372443/971230 1096.69/563.65 c cleaning 9280 clauses out of 18650 with flag 461140/981231 1107.34/568.96 c cleaning 10180 clauses out of 20369 with flag 563409/992230 1117.21/573.82 c cleaning 11072 clauses out of 22195 with flag 664840/1004236 1130.21/580.36 c cleaning 12030 clauses out of 24116 with flag 797799/1017229 1145.07/587.79 c cleaning 13019 clauses out of 26090 with flag 941304/1031233 1161.34/595.80 c cleaning 13988 clauses out of 28075 with flag 1089596/1046237 1180.02/605.19 c cleaning 14965 clauses out of 30080 with flag 1291371/1062230 1203.76/616.99 c cleaning 16008 clauses out of 32114 with flag 1571426/1079229 1223.05/626.58 c cleaning 17055 clauses out of 34110 with flag 1845002/1097233 1241.54/635.70 c cleaning 18029 clauses out of 36058 with flag 2023121/1116236 1257.62/643.71 c cleaning 18991 clauses out of 38023 with flag 2191997/1136230 1279.10/654.49 c cleaning 20007 clauses out of 40031 with flag 2414430/1157229 1303.11/666.39 c cleaning 0 clauses out of 11581 with flag 0/11581 1306.97/668.16 c cleaning 20962 clauses out of 42024 with flag 2700365/1179229 1331.67/680.47 c cleaning 22012 clauses out of 44062 with flag 2930954/1202229 1362.27/695.64 c cleaning 23018 clauses out of 46050 with flag 3253358/1226229 1395.24/712.56 c cleaning 23973 clauses out of 48032 with flag 3592773/1251229 1427.30/728.50 c cleaning 25005 clauses out of 50059 with flag 3893523/1277229 1455.91/742.77 c cleaning 26036 clauses out of 52071 with flag 4222589/1304246 1496.24/762.84 c cleaning 27032 clauses out of 54063 with flag 4668149/1332274 1536.96/783.13 c cleaning 27855 clauses out of 55986 with flag 5126918/1361229 1542.80/786.03 c And the winner is solver1 1542.80/786.34 c Got one! Elapsed wall clock time (in seconds):786.213 1542.80/786.34 o -96 1544.11/787.01 c cleaning 17037 clauses out of 34073 with flag 12215/1367171 1550.11/790.08 c cleaning 11417 clauses out of 23036 with flag 76933/1373171 1556.77/793.36 c cleaning 9246 clauses out of 18624 with flag 144886/1380176 1563.37/796.60 c cleaning 8674 clauses out of 17376 with flag 218581/1388174 1565.38/797.67 c And the winner is solver1 1565.47/797.84 c Got one! Elapsed wall clock time (in seconds):797.716 1565.47/797.84 o -97 1568.38/799.37 c cleaning 6824 clauses out of 13787 with flag 35153/1393259 1574.44/802.39 c cleaning 6394 clauses out of 12961 with flag 101788/1399257 1581.88/806.03 c cleaning 6785 clauses out of 13569 with flag 174856/1406259 1590.28/810.22 c cleaning 7326 clauses out of 14782 with flag 261362/1414257 1599.13/814.60 c cleaning 8217 clauses out of 16456 with flag 352188/1423257 1608.79/819.49 c cleaning 9120 clauses out of 18239 with flag 454141/1433257 1618.98/824.51 c cleaning 10036 clauses out of 20121 with flag 552506/1444259 1626.44/828.21 c cleaning 11031 clauses out of 22084 with flag 654023/1456258 1634.31/832.12 c cleaning 12016 clauses out of 24052 with flag 764294/1469257 1643.32/836.67 c cleaning 13003 clauses out of 26036 with flag 871910/1483257 1655.40/842.70 c cleaning 14016 clauses out of 28037 with flag 996870/1498261 1668.49/849.12 c cleaning 15010 clauses out of 30019 with flag 1146154/1514259 1680.90/855.36 c cleaning 16004 clauses out of 32009 with flag 1299121/1531259 1696.40/863.00 c cleaning 16999 clauses out of 34003 with flag 1477842/1549257 1696.60/863.18 c And the winner is solver1 1696.60/863.36 c Got one! Elapsed wall clock time (in seconds):863.234 1696.60/863.36 o -98 1702.08/866.03 c cleaning 11291 clauses out of 22582 with flag 59366/1554835 1707.68/868.81 c cleaning 8503 clauses out of 17288 with flag 119023/1560832 1714.08/872.08 c cleaning 7875 clauses out of 15786 with flag 190261/1567833 1721.89/875.82 c cleaning 7828 clauses out of 15910 with flag 269529/1575832 1730.89/880.30 c cleaning 8525 clauses out of 17082 with flag 356945/1584832 1739.46/884.57 c cleaning 9271 clauses out of 18558 with flag 453447/1594833 1744.84/887.24 c cleaning 10135 clauses out of 20286 with flag 546614/1605832 1750.84/890.25 c cleaning 11074 clauses out of 22152 with flag 647169/1617833 1758.80/894.16 c cleaning 12040 clauses out of 24079 with flag 757866/1630834 1769.39/899.32 c cleaning 13016 clauses out of 26037 with flag 880778/1644832 1779.59/904.41 c cleaning 13997 clauses out of 28021 with flag 1009945/1659832 1793.71/911.49 c cleaning 15007 clauses out of 30040 with flag 1165625/1675848 1800.11/914.61 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.11/914.61 c starts : 30303 1800.11/914.61 c conflicts : 1683022 1800.11/914.61 c decisions : 73835354 1800.11/914.61 c propagations : 632379269 1800.11/914.61 c inspects : 4965676073 1800.11/914.61 c shortcuts : 0 1800.11/914.61 c learnt literals : 0 1800.11/914.61 c learnt binary clauses : 36 1800.11/914.61 c learnt ternary clauses : 1458 1800.11/914.61 c learnt constraints : 1683022 1800.11/914.61 c ignored constraints : 0 1800.11/914.61 c root simplifications : 0 1800.11/914.61 c removed literals (reason simplification) : 653753252 1800.11/914.61 c reason swapping (by a shorter reason) : 0 1800.11/914.61 c Calls to reduceDB : 143 1800.11/914.61 c Number of update (reduction) of LBD : 601103 1800.11/914.61 c Imported unit clauses : 0 1800.11/914.61 c number of reductions to clauses (during analyze) : 0 1800.11/914.61 c number of learned constraints concerned by reduction : 0 1800.11/914.61 c number of learning phase by resolution : 0 1800.11/914.61 c number of learning phase by cutting planes : 0 1800.11/914.61 c speed (assignments/second) : 1.2339830019318204E7 1800.11/914.61 c non guided choices 0 1800.11/914.61 c learnt constraints type 1800.11/914.61 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 36 1800.11/914.61 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22171 1800.11/914.62 c >>>>>>>>>> Solver number 1 (51 answers) <<<<<<<<<<<<<<<<<< 1800.11/914.62 c starts : 98 1800.11/914.62 c conflicts : 13276 1800.11/914.62 c decisions : 726085 1800.11/914.62 c propagations : 8669310 1800.11/914.62 c inspects : 1300896777 1800.11/914.62 c shortcuts : 0 1800.11/914.62 c learnt literals : 0 1800.11/914.62 c learnt binary clauses : 0 1800.11/914.62 c learnt ternary clauses : 0 1800.11/914.62 c learnt constraints : 13276 1800.11/914.62 c ignored constraints : 0 1800.11/914.62 c root simplifications : 0 1800.11/914.62 c removed literals (reason simplification) : 0 1800.11/914.62 c reason swapping (by a shorter reason) : 0 1800.11/914.62 c Calls to reduceDB : 1 1800.11/914.62 c Number of update (reduction) of LBD : 0 1800.11/914.62 c Imported unit clauses : 0 1800.11/914.62 c number of reductions to clauses (during analyze) : 0 1800.11/914.62 c number of learned constraints concerned by reduction : 0 1800.11/914.62 c number of learning phase by resolution : 0 1800.11/914.62 c number of learning phase by cutting planes : 0 1800.11/914.62 c speed (assignments/second) : 9842.686143187853 1800.11/914.62 c non guided choices 348 1800.11/914.62 c learnt constraints type 1800.11/914.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 1800.11/914.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 13272 1800.11/914.62 s SATISFIABLE 1800.11/914.62 c Found 52 solution(s) 1800.11/914.62 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 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 x257 x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 x367 x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 x451 x452 -x453 x454 x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 x465 x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 -x529 x530 -x531 -x532 x533 x534 x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 x550 -x551 -x552 x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 x686 x687 x688 x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 x703 -x704 x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 -x728 x729 -x730 x731 -x732 x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 x827 x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 x892 x893 -x894 x895 -x896 x897 -x898 x899 -x900 x901 -x902 -x903 x904 -x905 x906 -x907 -x908 x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 x943 -x944 -x945 -x946 x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 x979 -x980 -x981 -x982 x983 -x984 x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 1800.11/914.62 c objective function=-98 1800.11/914.62 c Total wall clock time (in seconds): 914.499
OK -98
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-4081732-1465258062/watcher-4081732-1465258062 -o /tmp/evaluation-result-4081732-1465258062/solver-4081732-1465258062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081732-1465258062.opb pid=20540 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.15 4.20 4.18 4/197 20543 /proc/meminfo: memFree=27553524/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=20596 CPUtime=0 cores=0,2,4,6 /proc/20543/stat : 20543 (java) R 20540 20543 17726 0 -1 4202496 539 0 0 0 0 0 0 0 20 0 1 0 107738543 21090304 190 33554432000 1073741824 1073778376 140734441503952 140734441493016 213410475303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 5809 197 152 9 0 128 0 [startup+0.100057 s] /proc/loadavg: 4.15 4.20 4.18 4/197 20543 /proc/meminfo: memFree=27553524/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 107738543 9787879424 6026 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2389619 6026 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20027 s] /proc/loadavg: 4.15 4.20 4.18 4/197 20543 /proc/meminfo: memFree=27553524/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 4577 0 1 0 20 1 0 0 20 0 18 0 107738543 9787879424 7213 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2389619 7213 2196 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300287 s] /proc/loadavg: 4.15 4.20 4.18 4/197 20543 /proc/meminfo: memFree=27553524/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9558476 CPUtime=0.44 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 5709 0 1 0 43 1 0 0 20 0 18 0 107738543 9787879424 9093 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2389619 9093 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700224 s] /proc/loadavg: 4.15 4.20 4.18 4/197 20543 /proc/meminfo: memFree=27553524/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9558476 CPUtime=1.56 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 21713 0 1 0 150 6 0 0 20 0 18 0 107738543 9787879424 42046 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2389619 42046 2255 9 0 2380296 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9558476 [startup+1.50085 s] /proc/loadavg: 4.06 4.18 4.17 7/219 20565 /proc/meminfo: memFree=27361768/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9824732 CPUtime=4.64 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 31353 0 1 0 454 10 0 0 20 0 19 0 107738543 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2456183 54309 2283 9 0 2446860 0 [pid=20543/tid=20545] ppid=20540 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/20543/task/20545/stat : 20545 (java) S 20540 20543 17726 0 -1 4202560 2485 0 1 0 70 3 0 0 20 0 19 0 107738544 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343585690488 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20546] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20546/stat : 20546 (java) S 20540 20543 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343563790504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20547] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20547/stat : 20547 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343562737960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20548] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20548/stat : 20548 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343561685416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20549] ppid=20540 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20543/task/20549/stat : 20549 (java) S 20540 20543 17726 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343560632872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20550] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20550/stat : 20550 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343223773864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20551] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) R 20540 20543 17726 0 -1 4202560 15605 0 0 0 117 2 0 0 20 0 19 0 107738550 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343204194344 140343592667478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=1.21 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) R 20540 20543 17726 0 -1 4202560 11819 0 0 0 119 2 0 0 20 0 19 0 107738550 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343203154336 140343588284230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20565] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20565/stat : 20565 (java) S 20540 20543 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107738622 10060525568 54309 33554432000 1073741824 1073778376 140734441503952 140343196837032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 9824732 [startup+3.10086 s] /proc/loadavg: 4.06 4.18 4.17 4/216 20568 /proc/meminfo: memFree=27347928/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9824732 CPUtime=5.56 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 32737 0 1 0 539 17 0 0 20 0 19 0 107738543 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2456183 53173 2285 9 0 2446860 0 [pid=20543/tid=20545] ppid=20540 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/20543/task/20545/stat : 20545 (java) S 20540 20543 17726 0 -1 4202560 2487 0 1 0 71 3 0 0 20 0 19 0 107738544 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343585690488 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20546] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20546/stat : 20546 (java) S 20540 20543 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343563790504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20547] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20547/stat : 20547 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343562737960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20548] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20548/stat : 20548 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343561685416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20549] ppid=20540 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20543/task/20549/stat : 20549 (java) S 20540 20543 17726 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343560632872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20550] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20550/stat : 20550 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343223773864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20551] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.45 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) S 20540 20543 17726 0 -1 4202560 16967 0 0 0 143 2 0 0 20 0 19 0 107738550 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343204207160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) S 20540 20543 17726 0 -1 4202560 11820 0 0 0 133 2 0 0 20 0 19 0 107738550 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343203154616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20565] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20565/stat : 20565 (java) S 20540 20543 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107738622 10060525568 53173 33554432000 1073741824 1073778376 140734441503952 140343196837032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.56 Current children cumulated vsize (KiB) 9824732 [startup+6.30084 s] /proc/loadavg: 3.89 4.14 4.16 4/216 20590 /proc/meminfo: memFree=27368368/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9824732 CPUtime=6.59 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 35815 0 1 0 628 31 0 0 20 0 19 0 107738543 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2456183 55887 2289 9 0 2446860 0 [pid=20543/tid=20545] ppid=20540 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/20543/task/20545/stat : 20545 (java) S 20540 20543 17726 0 -1 4202560 2489 0 1 0 72 3 0 0 20 0 19 0 107738544 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343585690488 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20546] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20546/stat : 20546 (java) S 20540 20543 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343563790504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20547] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20547/stat : 20547 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343562737960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20548] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20548/stat : 20548 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343561685416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20549] ppid=20540 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20543/task/20549/stat : 20549 (java) S 20540 20543 17726 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343560632872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20550] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20550/stat : 20550 (java) S 20540 20543 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343223773864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20551] ppid=20540 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107738546 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) S 20540 20543 17726 0 -1 4202560 19958 0 0 0 158 2 0 0 20 0 19 0 107738550 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343204207160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) S 20540 20543 17726 0 -1 4202560 11825 0 0 0 146 2 0 0 20 0 19 0 107738550 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343203154616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20565] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20565/stat : 20565 (java) S 20540 20543 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107738622 10060525568 55887 33554432000 1073741824 1073778376 140734441503952 140343196837032 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.59 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 581 0 0 0 220 16 0 0 20 0 19 0 107738546 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 505 0 0 0 227 18 0 0 20 0 19 0 107738546 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=2.46 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 503 0 0 0 230 16 0 0 20 0 19 0 107738546 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=3.9 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 2628 0 0 0 375 15 0 0 20 0 19 0 107738547 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 107738547 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) S 20540 20543 17726 0 -1 4202560 19979 0 0 0 194 3 0 0 20 0 19 0 107738550 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343204207160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) S 20540 20543 17726 0 -1 4202560 11847 0 0 0 224 2 0 0 20 0 19 0 107738550 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343203154616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107738550 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 49 0 0 0 13 17 0 0 20 0 19 0 107738550 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20683] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20683/stat : 20683 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107741927 10060525568 814046 33554432000 1073741824 1073778376 140734441503952 140343199994664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1693.88 Current children cumulated vsize (KiB) 9824732 # ############ [startup+882.308 s] /proc/loadavg: 4.32 4.35 4.23 6/219 20945 /proc/meminfo: memFree=23332716/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9824732 CPUtime=1732.18 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 46900 0 1 0 172862 356 0 0 20 0 22 0 107738543 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2456183 878415 2303 9 0 2446860 0 [pid=20543/tid=20545] ppid=20540 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/20543/task/20545/stat : 20545 (java) S 20540 20543 17726 0 -1 4202560 2497 0 1 0 76 5 0 0 20 0 22 0 107738544 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343585690488 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20546] ppid=20540 vsize=9824732 CPUtime=2.57 cores=0,2,4,6 /proc/20543/task/20546/stat : 20546 (java) S 20540 20543 17726 0 -1 4202560 630 0 0 0 235 22 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343563790504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20547] ppid=20540 vsize=9824732 CPUtime=2.56 cores=0,2,4,6 /proc/20543/task/20547/stat : 20547 (java) S 20540 20543 17726 0 -1 4202560 692 0 0 0 235 21 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343562737960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20548] ppid=20540 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/20543/task/20548/stat : 20548 (java) S 20540 20543 17726 0 -1 4202560 639 0 0 0 222 22 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343561685416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20549] ppid=20540 vsize=9824732 CPUtime=2.65 cores=0,2,4,6 /proc/20543/task/20549/stat : 20549 (java) S 20540 20543 17726 0 -1 4202560 626 0 0 0 241 24 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343560632872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20550] ppid=20540 vsize=9824732 CPUtime=2.67 cores=0,2,4,6 /proc/20543/task/20550/stat : 20550 (java) S 20540 20543 17726 0 -1 4202560 724 0 0 0 243 24 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343223773864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20551] ppid=20540 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 734 0 0 0 226 18 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 563 0 0 0 234 21 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 682 0 0 0 239 20 0 0 20 0 22 0 107738546 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=3.91 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 2634 0 0 0 375 16 0 0 20 0 22 0 107738547 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107738547 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 107738547 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107738550 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) S 20540 20543 17726 0 -1 4202560 19979 0 0 0 194 3 0 0 20 0 22 0 107738550 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343204207160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) S 20540 20543 17726 0 -1 4202560 11847 0 0 0 224 2 0 0 20 0 22 0 107738550 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343203154616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107738550 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 107738550 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20683] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20683/stat : 20683 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107741927 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343199994664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20943] ppid=20540 vsize=9824732 CPUtime=18.65 cores=0,2,4,6 /proc/20543/task/20943/stat : 20943 (java) R 20540 20543 17726 0 -1 4202560 3 0 0 0 1865 0 0 0 20 0 22 0 107824880 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343198933264 140343443137004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20944] ppid=20540 vsize=9824732 CPUtime=18.64 cores=0,2,4,6 /proc/20543/task/20944/stat : 20944 (java) R 20540 20543 17726 0 -1 4202560 376 0 0 0 1864 0 0 0 20 0 22 0 107824880 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343197888352 140343443016309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20945] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20945/stat : 20945 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107824880 10060525568 878415 33554432000 1073741824 1073778376 140734441503952 140343196837544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1732.18 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.601 s] /proc/loadavg: 4.25 4.33 4.22 5/218 20945 /proc/meminfo: memFree=23173728/32872528 swapFree=16636/1570076 [pid=20543] ppid=20540 vsize=9824732 CPUtime=1797.39 cores=0,2,4,6 /proc/20543/stat : 20543 (java) S 20540 20543 17726 0 -1 4202496 47204 0 1 0 179369 370 0 0 20 0 22 0 107738543 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140734441495088 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20543/statm: 2456183 915288 2303 9 0 2446860 0 [pid=20543/tid=20545] ppid=20540 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/20543/task/20545/stat : 20545 (java) S 20540 20543 17726 0 -1 4202560 2497 0 1 0 76 5 0 0 20 0 22 0 107738544 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343585690488 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20546] ppid=20540 vsize=9824732 CPUtime=2.68 cores=0,2,4,6 /proc/20543/task/20546/stat : 20546 (java) S 20540 20543 17726 0 -1 4202560 661 0 0 0 245 23 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343563790504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20547] ppid=20540 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/20543/task/20547/stat : 20547 (java) S 20540 20543 17726 0 -1 4202560 744 0 0 0 249 23 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343562737960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20548] ppid=20540 vsize=9824732 CPUtime=2.67 cores=0,2,4,6 /proc/20543/task/20548/stat : 20548 (java) S 20540 20543 17726 0 -1 4202560 687 0 0 0 242 25 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343561685416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20549] ppid=20540 vsize=9824732 CPUtime=2.87 cores=0,2,4,6 /proc/20543/task/20549/stat : 20549 (java) S 20540 20543 17726 0 -1 4202560 674 0 0 0 261 26 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343560632872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20550] ppid=20540 vsize=9824732 CPUtime=2.77 cores=0,2,4,6 /proc/20543/task/20550/stat : 20550 (java) S 20540 20543 17726 0 -1 4202560 743 0 0 0 252 25 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343223773864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20551] ppid=20540 vsize=9824732 CPUtime=2.58 cores=0,2,4,6 /proc/20543/task/20551/stat : 20551 (java) S 20540 20543 17726 0 -1 4202560 760 0 0 0 239 19 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343222721320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20552] ppid=20540 vsize=9824732 CPUtime=2.76 cores=0,2,4,6 /proc/20543/task/20552/stat : 20552 (java) S 20540 20543 17726 0 -1 4202560 600 0 0 0 252 24 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343221668776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20553] ppid=20540 vsize=9824732 CPUtime=2.71 cores=0,2,4,6 /proc/20543/task/20553/stat : 20553 (java) S 20540 20543 17726 0 -1 4202560 717 0 0 0 250 21 0 0 20 0 22 0 107738546 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343220616232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20554] ppid=20540 vsize=9824732 CPUtime=3.91 cores=0,2,4,6 /proc/20543/task/20554/stat : 20554 (java) S 20540 20543 17726 0 -1 4202560 2636 0 0 0 375 16 0 0 20 0 22 0 107738547 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343208417384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20555] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20555/stat : 20555 (java) S 20540 20543 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107738547 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343207363704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20556] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20556/stat : 20556 (java) S 20540 20543 17726 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 107738547 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343206311048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20557] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20557/stat : 20557 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107738550 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343205259792 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20558] ppid=20540 vsize=9824732 CPUtime=1.97 cores=0,2,4,6 /proc/20543/task/20558/stat : 20558 (java) S 20540 20543 17726 0 -1 4202560 19979 0 0 0 194 3 0 0 20 0 22 0 107738550 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343204207160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20559] ppid=20540 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/20543/task/20559/stat : 20559 (java) S 20540 20543 17726 0 -1 4202560 11847 0 0 0 224 2 0 0 20 0 22 0 107738550 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343203154616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20560] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20560/stat : 20560 (java) S 20540 20543 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107738550 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343202102264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20543/tid=20561] ppid=20540 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/20543/task/20561/stat : 20561 (java) S 20540 20543 17726 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 107738550 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343201049928 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20683] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20683/stat : 20683 (java) S 20540 20543 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107741927 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343199994664 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20543/tid=20943] ppid=20540 vsize=9824732 CPUtime=50.52 cores=0,2,4,6 /proc/20543/task/20943/stat : 20943 (java) R 20540 20543 17726 0 -1 4202560 3 0 0 0 5052 0 0 0 20 0 22 0 107824880 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343198933264 140343442459027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20543/tid=20944] ppid=20540 vsize=9824732 CPUtime=50.5 cores=0,2,4,6 /proc/20543/task/20944/stat : 20944 (java) R 20540 20543 17726 0 -1 4202560 380 0 0 0 5050 0 0 0 20 0 22 0 107824880 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343197888368 140343443108940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20543/tid=20945] ppid=20540 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20543/task/20945/stat : 20945 (java) S 20540 20543 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107824880 10060525568 915288 33554432000 1073741824 1073778376 140734441503952 140343196837544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.39 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 20543 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20543 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=437356 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=892408 # CPU time returned by wait4() is 1797.33 # while last known CPU time is 1797.39 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.72023 # lost CPU user time (s): 2.98007 # lost CPU system time (s): -0.26 Real time (s): 914.654 CPU time (s): 1800.11 CPU user time (s): 1796.67 CPU system time (s): 3.44 CPU usage (%): 196.808 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.44 system time used= 3.89241 maximum resident set size= 3667572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47241 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28628 involuntary context switches= 42677 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.00509 second user time and 7.42187 second system time The end
Begin job on node140 at 2016-06-07 02:07:42 IDJOB=4081732 IDBENCH=48268 IDSOLVER=2543 FILE ID=node140/4081732-1465258062 RUNJOBID= node140-1465252001-17742 PBS_JOBID= 19843256 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081732-1465258062/watcher-4081732-1465258062 -o /tmp/evaluation-result-4081732-1465258062/solver-4081732-1465258062 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081732-1465258062.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=1439867438 node140.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.768 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.53 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.768 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27554168 kB Buffers: 67608 kB Cached: 81472 kB SwapCached: 1744 kB Active: 2922736 kB Inactive: 105108 kB Active(anon): 2876740 kB Inactive(anon): 4268 kB Active(file): 45996 kB Inactive(file): 100840 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 4486516 kB Mapped: 15420 kB Shmem: 0 kB Slab: 568516 kB SReclaimable: 12720 kB SUnreclaim: 555796 kB KernelStack: 1808 kB PageTables: 12992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4728032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4403200 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= 71740 MiB End job on node140 at 2016-06-07 02:22:57