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 Resolution PB16 | SAT (TO) | -7539 | 1800.07 | 1771.64 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.opb |
| MD5SUM | b5af46964a63234412542cf27a991a0e |
| 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 | -7539 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 5376 |
| Biggest coefficient in the objective function | 2684 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 542432 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 2684 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 542432 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 5346 |
| Sum of products size (including duplicates) | 17226 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Glucose 2.1 dynamic restart strategy 0.07/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.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-4119462-1467259234.opb 0.07/0.12 c reading problem ... 0.07/0.13 c objective function found 1.15/0.85 c ... done. Wall clock time 0.726s. 1.15/0.85 c declared #vars 30 1.15/0.85 c internal #vars 5376 1.15/0.85 c #constraints 10692 1.15/0.85 c constraints type 1.15/0.85 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5346 1.15/0.85 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5346 1.15/0.85 c 10692 constraints processed. 1.15/0.85 c objective function length is 5376 literals 1.37/0.94 c SATISFIABLE 1.37/0.94 c OPTIMIZING... 1.37/0.94 c Got one! Elapsed wall clock time (in seconds):0.811 1.37/0.94 o 0 1.64/1.01 c Got one! Elapsed wall clock time (in seconds):0.883 1.64/1.01 o -231 1.64/1.06 c Got one! Elapsed wall clock time (in seconds):0.937 1.64/1.06 o -462 1.96/1.11 c Got one! Elapsed wall clock time (in seconds):0.983 1.96/1.11 o -863 1.96/1.17 c Got one! Elapsed wall clock time (in seconds):1.046 1.96/1.17 o -1113 1.96/1.19 c Got one! Elapsed wall clock time (in seconds):1.061 1.96/1.19 o -1264 1.96/1.20 c Got one! Elapsed wall clock time (in seconds):1.072 1.96/1.20 o -1782 2.25/1.22 c Got one! Elapsed wall clock time (in seconds):1.094 2.25/1.22 o -1817 2.25/1.24 c Got one! Elapsed wall clock time (in seconds):1.114 2.25/1.24 o -1970 2.25/1.25 c Got one! Elapsed wall clock time (in seconds):1.125 2.25/1.25 o -2051 2.25/1.26 c Got one! Elapsed wall clock time (in seconds):1.133 2.25/1.26 o -2300 2.25/1.27 c Got one! Elapsed wall clock time (in seconds):1.146 2.25/1.27 o -2890 2.36/1.33 c Got one! Elapsed wall clock time (in seconds):1.207 2.36/1.33 o -2925 2.36/1.39 c Got one! Elapsed wall clock time (in seconds):1.265 2.36/1.39 o -2978 2.45/1.40 c Got one! Elapsed wall clock time (in seconds):1.28 2.45/1.40 o -3182 2.45/1.42 c Got one! Elapsed wall clock time (in seconds):1.298 2.45/1.42 o -3459 2.45/1.44 c Got one! Elapsed wall clock time (in seconds):1.311 2.45/1.44 o -3480 2.45/1.45 c Got one! Elapsed wall clock time (in seconds):1.33 2.45/1.45 o -3886 2.55/1.56 c Got one! Elapsed wall clock time (in seconds):1.431 2.55/1.56 o -3910 2.65/1.60 c Got one! Elapsed wall clock time (in seconds):1.48 2.65/1.60 o -4092 2.65/1.65 c Got one! Elapsed wall clock time (in seconds):1.53 2.65/1.65 o -4232 2.85/1.84 c Got one! Elapsed wall clock time (in seconds):1.712 2.85/1.84 o -4580 2.96/1.97 c Got one! Elapsed wall clock time (in seconds):1.848 2.96/1.97 o -4606 3.07/2.02 c Got one! Elapsed wall clock time (in seconds):1.892 3.07/2.02 o -4632 3.07/2.05 c Got one! Elapsed wall clock time (in seconds):1.92 3.07/2.05 o -5093 3.53/2.48 c Got one! Elapsed wall clock time (in seconds):2.355 3.53/2.48 o -5096 3.73/2.61 c Got one! Elapsed wall clock time (in seconds):2.488 3.73/2.61 o -5097 3.83/2.71 c Got one! Elapsed wall clock time (in seconds):2.582 3.83/2.71 o -5122 3.83/2.75 c Got one! Elapsed wall clock time (in seconds):2.62 3.83/2.75 o -5125 3.83/2.76 c Got one! Elapsed wall clock time (in seconds):2.633 3.83/2.76 o -5316 4.53/3.43 c Got one! Elapsed wall clock time (in seconds):3.301 4.53/3.43 o -5338 4.99/3.83 c Got one! Elapsed wall clock time (in seconds):3.7 4.99/3.83 o -5467 5.19/4.02 c Got one! Elapsed wall clock time (in seconds):3.894 5.19/4.02 o -5494 5.29/4.12 c Got one! Elapsed wall clock time (in seconds):3.999 5.29/4.12 o -5511 5.29/4.18 c Got one! Elapsed wall clock time (in seconds):4.055 5.29/4.18 o -5514 5.39/4.21 c Got one! Elapsed wall clock time (in seconds):4.086 5.39/4.21 o -5785 6.71/5.56 c Got one! Elapsed wall clock time (in seconds):5.436 6.71/5.56 o -5858 7.54/6.24 c Got one! Elapsed wall clock time (in seconds):6.119 7.54/6.24 o -5874 8.14/6.88 c Got one! Elapsed wall clock time (in seconds):6.76 8.14/6.88 o -5886 8.24/6.96 c Got one! Elapsed wall clock time (in seconds):6.839 8.24/6.96 o -6070 10.63/9.10 c cleaning 5519 clauses out of 11037 with flag 6001/11037 11.13/9.69 c Got one! Elapsed wall clock time (in seconds):9.568 11.13/9.69 o -6132 12.54/11.09 c Got one! Elapsed wall clock time (in seconds):10.961 12.54/11.09 o -6151 13.33/11.81 c Got one! Elapsed wall clock time (in seconds):11.69 13.33/11.81 o -6158 13.53/12.00 c Got one! Elapsed wall clock time (in seconds):11.878 13.53/12.00 o -6175 13.53/12.07 c Got one! Elapsed wall clock time (in seconds):11.945 13.53/12.07 o -6181 13.53/12.09 c Got one! Elapsed wall clock time (in seconds):11.969 13.53/12.09 o -6188 13.64/12.11 c Got one! Elapsed wall clock time (in seconds):11.986 13.64/12.11 o -6191 13.74/12.30 c Got one! Elapsed wall clock time (in seconds):12.171 13.74/12.30 o -6220 13.93/12.46 c Got one! Elapsed wall clock time (in seconds):12.335 13.93/12.46 o -6221 13.93/12.48 c Got one! Elapsed wall clock time (in seconds):12.356 13.93/12.48 o -6230 14.03/12.58 c Got one! Elapsed wall clock time (in seconds):12.451 14.03/12.58 o -6354 15.66/14.08 c cleaning 6251 clauses out of 12501 with flag 4001/18020 19.87/18.28 c Got one! Elapsed wall clock time (in seconds):18.154 19.87/18.28 o -6360 21.62/19.83 c Got one! Elapsed wall clock time (in seconds):19.704 21.62/19.83 o -6402 22.41/20.60 c Got one! Elapsed wall clock time (in seconds):20.474 22.41/20.60 o -6410 23.01/21.20 c Got one! Elapsed wall clock time (in seconds):21.072 23.01/21.20 o -6416 23.11/21.31 c Got one! Elapsed wall clock time (in seconds):21.189 23.11/21.31 o -6417 23.11/21.38 c Got one! Elapsed wall clock time (in seconds):21.258 23.11/21.38 o -6479 23.92/22.17 c Got one! Elapsed wall clock time (in seconds):22.042 23.92/22.17 o -6493 24.41/22.67 c Got one! Elapsed wall clock time (in seconds):22.544 24.41/22.67 o -6501 24.61/22.84 c Got one! Elapsed wall clock time (in seconds):22.713 24.61/22.84 o -6525 24.61/22.86 c Got one! Elapsed wall clock time (in seconds):22.739 24.61/22.86 o -6527 24.61/22.87 c Got one! Elapsed wall clock time (in seconds):22.75 24.61/22.87 o -6528 25.80/23.80 c cleaning 9614 clauses out of 19228 with flag 2033/30998 26.01/24.03 c Got one! Elapsed wall clock time (in seconds):23.9 26.01/24.03 o -6543 26.41/24.41 c Got one! Elapsed wall clock time (in seconds):24.286 26.41/24.41 o -6548 26.61/24.67 c Got one! Elapsed wall clock time (in seconds):24.54 26.61/24.67 o -6759 30.21/28.26 c cleaning 7920 clauses out of 15842 with flag 10001/37226 34.48/32.47 c cleaning 6962 clauses out of 13923 with flag 22003/43227 39.25/37.19 c Got one! Elapsed wall clock time (in seconds):37.063 39.25/37.19 o -6774 43.24/40.98 c cleaning 9300 clauses out of 18599 with flag 10146/54865 44.94/42.61 c Got one! Elapsed wall clock time (in seconds):42.487 44.94/42.61 o -6801 47.14/44.80 c cleaning 7278 clauses out of 14555 with flag 6209/60121 47.74/45.40 c Got one! Elapsed wall clock time (in seconds):45.275 47.74/45.40 o -6804 50.27/47.89 c Got one! Elapsed wall clock time (in seconds):47.761 50.27/47.89 o -6832 51.77/49.37 c cleaning 6752 clauses out of 13514 with flag 4001/66358 56.09/53.65 c cleaning 6378 clauses out of 12762 with flag 16001/72358 61.32/58.74 c cleaning 6691 clauses out of 13385 with flag 30003/79359 67.22/64.65 c cleaning 7345 clauses out of 14693 with flag 46001/87358 69.26/66.53 c Got one! Elapsed wall clock time (in seconds):66.405 69.26/66.53 o -6843 71.36/68.66 c cleaning 6467 clauses out of 12933 with flag 6107/92943 72.46/69.75 c Got one! Elapsed wall clock time (in seconds):69.628 72.46/69.75 o -6850 73.86/71.10 c Got one! Elapsed wall clock time (in seconds):70.98 73.86/71.10 o -6853 75.26/72.54 c cleaning 6025 clauses out of 12056 with flag 4004/98533 79.80/76.92 c cleaning 6014 clauses out of 12030 with flag 16002/104532 79.90/77.08 c Got one! Elapsed wall clock time (in seconds):76.959 79.90/77.08 o -6877 82.89/80.03 c Got one! Elapsed wall clock time (in seconds):79.903 82.89/80.03 o -6918 83.59/80.75 c Got one! Elapsed wall clock time (in seconds):80.625 83.59/80.75 o -6933 83.99/81.18 c Got one! Elapsed wall clock time (in seconds):81.058 83.99/81.18 o -6936 84.09/81.24 c Got one! Elapsed wall clock time (in seconds):81.111 84.09/81.24 o -6944 84.40/81.53 c Got one! Elapsed wall clock time (in seconds):81.409 84.40/81.53 o -6955 85.09/82.26 c cleaning 6687 clauses out of 13374 with flag 2005/111890 85.50/82.64 c Got one! Elapsed wall clock time (in seconds):82.518 85.50/82.64 o -6959 85.50/82.67 c Got one! Elapsed wall clock time (in seconds):82.545 85.50/82.67 o -6970 85.89/83.04 c Got one! Elapsed wall clock time (in seconds):82.916 85.89/83.04 o -7031 89.69/86.72 c cleaning 6403 clauses out of 12809 with flag 10003/118012 92.59/89.66 c Got one! Elapsed wall clock time (in seconds):89.539 92.59/89.66 o -7035 93.39/90.41 c cleaning 5812 clauses out of 11632 with flag 2057/123238 93.99/91.06 c Got one! Elapsed wall clock time (in seconds):90.933 93.99/91.06 o -7044 94.59/91.63 c Got one! Elapsed wall clock time (in seconds):91.505 94.59/91.63 o -7050 96.39/93.49 c Got one! Elapsed wall clock time (in seconds):93.37 96.39/93.49 o -7051 96.60/93.68 c Got one! Elapsed wall clock time (in seconds):93.553 96.60/93.68 o -7052 96.69/93.79 c Got one! Elapsed wall clock time (in seconds):93.664 96.69/93.79 o -7061 97.89/94.94 c Got one! Elapsed wall clock time (in seconds):94.815 97.89/94.94 o -7085 99.29/96.34 c cleaning 7094 clauses out of 14197 with flag 4005/131615 103.58/100.54 c cleaning 6545 clauses out of 13101 with flag 16001/137613 108.48/105.40 c cleaning 6776 clauses out of 13556 with flag 30001/144613 114.00/110.97 c cleaning 7389 clauses out of 14781 with flag 46003/152614 120.61/117.47 c cleaning 8190 clauses out of 16392 with flag 64003/161614 127.70/124.58 c cleaning 9098 clauses out of 18201 with flag 84001/171613 135.59/132.38 c cleaning 10050 clauses out of 20104 with flag 106003/182614 143.66/140.40 c Got one! Elapsed wall clock time (in seconds):140.271 143.66/140.40 o -7088 147.88/144.43 c cleaning 13016 clauses out of 26036 with flag 10002/198596 152.38/148.93 c cleaning 9509 clauses out of 19020 with flag 22002/204596 156.43/152.92 c Got one! Elapsed wall clock time (in seconds):152.8 156.43/152.92 o -7120 160.23/156.74 c cleaning 9921 clauses out of 19846 with flag 10005/214931 162.73/159.23 c Got one! Elapsed wall clock time (in seconds):159.108 162.73/159.23 o -7124 164.23/160.75 c cleaning 7709 clauses out of 15420 with flag 4034/220426 165.75/162.27 c Got one! Elapsed wall clock time (in seconds):162.145 165.75/162.27 o -7133 166.05/162.52 c Got one! Elapsed wall clock time (in seconds):162.393 166.05/162.52 o -7134 166.05/162.58 c Got one! Elapsed wall clock time (in seconds):162.458 166.05/162.58 o -7146 166.15/162.61 c Got one! Elapsed wall clock time (in seconds):162.483 166.15/162.61 o -7159 166.15/162.62 c Got one! Elapsed wall clock time (in seconds):162.49 166.15/162.62 o -7161 166.55/163.02 c Got one! Elapsed wall clock time (in seconds):162.892 166.55/163.02 o -7178 168.66/165.20 c cleaning 6874 clauses out of 13755 with flag 6061/226470 168.85/165.33 c Got one! Elapsed wall clock time (in seconds):165.206 168.85/165.33 o -7200 172.35/168.81 c cleaning 6025 clauses out of 12056 with flag 10003/231645 176.39/172.87 c cleaning 6015 clauses out of 12032 with flag 22005/237646 180.65/177.04 c Got one! Elapsed wall clock time (in seconds):176.91 180.65/177.04 o -7201 183.75/180.18 c Got one! Elapsed wall clock time (in seconds):180.06 183.75/180.18 o -7207 184.25/180.60 c Got one! Elapsed wall clock time (in seconds):180.475 184.25/180.60 o -7215 184.35/180.73 c Got one! Elapsed wall clock time (in seconds):180.604 184.35/180.73 o -7220 184.45/180.84 c Got one! Elapsed wall clock time (in seconds):180.714 184.45/180.84 o -7226 184.55/180.95 c Got one! Elapsed wall clock time (in seconds):180.828 184.55/180.95 o -7233 185.25/181.67 c cleaning 9350 clauses out of 18702 with flag 2045/250331 189.33/185.65 c cleaning 7676 clauses out of 15351 with flag 14222/256330 191.43/187.75 c Got one! Elapsed wall clock time (in seconds):187.627 191.43/187.75 o -7343 192.83/189.17 c cleaning 6405 clauses out of 12819 with flag 4001/261474 197.19/193.42 c cleaning 6203 clauses out of 12415 with flag 16003/267475 202.19/198.41 c cleaning 6603 clauses out of 13212 with flag 30003/274475 207.84/204.01 c cleaning 7301 clauses out of 14608 with flag 46001/282474 214.30/210.41 c cleaning 8151 clauses out of 16307 with flag 64001/291474 221.45/217.55 c cleaning 9079 clauses out of 18157 with flag 84003/301475 229.56/225.57 c cleaning 10039 clauses out of 20077 with flag 106001/312474 238.72/234.51 c cleaning 11019 clauses out of 22039 with flag 130003/324475 248.21/243.99 c cleaning 12008 clauses out of 24020 with flag 156003/337475 258.73/254.33 c cleaning 13002 clauses out of 26011 with flag 184001/351474 270.21/265.62 c cleaning 14005 clauses out of 28010 with flag 214003/366475 281.86/277.20 c cleaning 15002 clauses out of 30005 with flag 246003/382475 285.72/280.94 c Got one! Elapsed wall clock time (in seconds):280.811 285.72/280.94 o -7358 289.42/284.69 c cleaning 12773 clauses out of 25552 with flag 10004/393024 293.84/289.09 c cleaning 9384 clauses out of 18779 with flag 22004/399024 299.07/294.22 c cleaning 8193 clauses out of 16394 with flag 36002/406023 304.86/299.98 c cleaning 8098 clauses out of 16201 with flag 52002/414023 311.44/306.42 c cleaning 8549 clauses out of 17103 with flag 70002/423023 318.98/313.81 c cleaning 9272 clauses out of 18554 with flag 90002/433023 326.76/321.58 c cleaning 10140 clauses out of 20282 with flag 112002/444023 333.56/328.23 c Got one! Elapsed wall clock time (in seconds):328.108 333.56/328.23 o -7365 337.57/332.16 c cleaning 12230 clauses out of 24461 with flag 10003/458342 341.99/336.56 c cleaning 9114 clauses out of 18232 with flag 22005/464343 346.82/341.31 c cleaning 8057 clauses out of 16118 with flag 36005/471343 352.31/346.79 c cleaning 8028 clauses out of 16061 with flag 52005/479343 358.60/352.99 c cleaning 8513 clauses out of 17033 with flag 70005/488343 362.54/356.86 c Got one! Elapsed wall clock time (in seconds):356.732 362.54/356.86 o -7372 366.52/360.71 c cleaning 9744 clauses out of 19492 with flag 10147/499315 368.73/362.91 c Got one! Elapsed wall clock time (in seconds):362.787 368.73/362.91 o -7376 370.13/364.38 c cleaning 7423 clauses out of 14848 with flag 4114/504415 374.43/368.60 c cleaning 6709 clauses out of 13424 with flag 16426/510414 379.38/373.43 c cleaning 6858 clauses out of 13716 with flag 30710/517415 380.71/374.77 c Got one! Elapsed wall clock time (in seconds):374.64 380.71/374.77 o -7415 383.43/377.49 c cleaning 6381 clauses out of 12772 with flag 8001/523329 387.67/381.65 c cleaning 6192 clauses out of 12391 with flag 20001/529329 392.77/386.60 c cleaning 6596 clauses out of 13200 with flag 34003/536330 398.47/392.28 c cleaning 7301 clauses out of 14604 with flag 50003/544330 404.97/398.61 c cleaning 8150 clauses out of 16303 with flag 68003/553330 412.09/405.69 c cleaning 9076 clauses out of 18153 with flag 88003/563330 420.03/413.48 c cleaning 10038 clauses out of 20076 with flag 110001/574329 428.93/422.16 c cleaning 11017 clauses out of 22038 with flag 134001/586329 438.71/431.73 c cleaning 12009 clauses out of 24021 with flag 160001/599329 449.12/441.94 c cleaning 13007 clauses out of 26013 with flag 188003/613330 460.60/453.20 c cleaning 14002 clauses out of 28005 with flag 218001/628329 472.84/465.16 c cleaning 15000 clauses out of 30004 with flag 250003/644330 485.71/477.86 c cleaning 15999 clauses out of 32003 with flag 284001/661329 499.58/491.47 c cleaning 17002 clauses out of 34004 with flag 320001/679329 513.98/505.69 c cleaning 17997 clauses out of 36003 with flag 358003/698330 529.35/520.75 c cleaning 19000 clauses out of 38006 with flag 398003/718330 545.98/537.16 c cleaning 20002 clauses out of 40006 with flag 440003/739330 563.15/554.09 c cleaning 21000 clauses out of 42004 with flag 484003/761330 576.57/567.21 c Got one! Elapsed wall clock time (in seconds):567.086 576.57/567.21 o -7416 580.87/571.46 c cleaning 21514 clauses out of 43035 with flag 10004/783361 585.65/576.20 c cleaning 13755 clauses out of 27520 with flag 22002/789360 591.11/581.55 c cleaning 10376 clauses out of 20766 with flag 36004/796361 597.25/587.67 c cleaning 9190 clauses out of 18390 with flag 52004/804361 604.08/594.44 c cleaning 9093 clauses out of 18199 with flag 70002/813360 611.05/601.35 c cleaning 9550 clauses out of 19107 with flag 90004/823361 618.79/608.97 c cleaning 10278 clauses out of 20557 with flag 112004/834361 627.63/617.68 c cleaning 11134 clauses out of 22279 with flag 136004/846361 637.28/627.12 c cleaning 12072 clauses out of 24145 with flag 162004/859361 638.28/628.12 c Got one! Elapsed wall clock time (in seconds):627.994 638.28/628.12 o -7426 641.30/631.11 c cleaning 8711 clauses out of 17427 with flag 8066/864715 645.62/635.43 c cleaning 7351 clauses out of 14716 with flag 20066/870715 650.51/640.24 c cleaning 7178 clauses out of 14365 with flag 34066/877715 656.34/646.01 c cleaning 7589 clauses out of 15187 with flag 50067/885715 656.54/646.24 c Got one! Elapsed wall clock time (in seconds):646.118 656.54/646.24 o -7428 660.16/649.86 c cleaning 6457 clauses out of 12921 with flag 10040/891038 663.27/652.95 c Got one! Elapsed wall clock time (in seconds):652.828 663.27/652.95 o -7431 664.14/653.72 c cleaning 6048 clauses out of 12102 with flag 2050/896676 664.24/653.85 c Got one! Elapsed wall clock time (in seconds):653.725 664.24/653.85 o -7445 664.44/654.04 c Got one! Elapsed wall clock time (in seconds):653.918 664.44/654.04 o -7448 667.97/657.52 c cleaning 5746 clauses out of 11506 with flag 10122/902128 672.21/661.75 c cleaning 5880 clauses out of 11759 with flag 22364/908127 674.24/663.72 c Got one! Elapsed wall clock time (in seconds):663.593 674.24/663.72 o -7456 676.34/665.88 c cleaning 5898 clauses out of 11812 with flag 6005/914060 680.73/670.19 c cleaning 5952 clauses out of 11914 with flag 18005/920060 685.86/675.23 c cleaning 6479 clauses out of 12962 with flag 32005/927060 691.73/681.03 c cleaning 7241 clauses out of 14483 with flag 48005/935060 698.18/687.42 c cleaning 8114 clauses out of 16241 with flag 66003/944059 705.19/694.28 c cleaning 9062 clauses out of 18128 with flag 86005/954060 712.79/701.72 c cleaning 10032 clauses out of 20066 with flag 108005/965060 720.96/709.73 c cleaning 11012 clauses out of 22034 with flag 132005/977060 721.96/710.76 c Got one! Elapsed wall clock time (in seconds):710.631 721.96/710.76 o -7457 725.09/713.80 c cleaning 8281 clauses out of 16568 with flag 8085/982606 729.04/717.78 c cleaning 7140 clauses out of 14287 with flag 20093/988606 733.68/722.36 c cleaning 7071 clauses out of 14147 with flag 34093/995606 738.95/727.59 c cleaning 7534 clauses out of 15075 with flag 50170/1003605 744.95/733.45 c cleaning 8267 clauses out of 16542 with flag 68291/1012606 751.75/740.18 c cleaning 9136 clauses out of 18275 with flag 88362/1022606 758.87/747.18 c cleaning 10070 clauses out of 20139 with flag 110518/1033606 767.21/755.34 c cleaning 11031 clauses out of 22069 with flag 134664/1045606 774.44/762.50 c Got one! Elapsed wall clock time (in seconds):762.37 774.44/762.50 o -7470 778.49/766.42 c cleaning 12655 clauses out of 25314 with flag 10101/1059882 783.18/771.03 c cleaning 9324 clauses out of 18658 with flag 22214/1065881 788.67/776.47 c cleaning 8164 clauses out of 16335 with flag 36306/1072882 794.96/782.62 c cleaning 8083 clauses out of 16171 with flag 52386/1080882 801.85/789.44 c cleaning 8544 clauses out of 17089 with flag 70563/1089883 809.58/797.05 c cleaning 9271 clauses out of 18544 with flag 90734/1099882 811.50/798.96 c Got one! Elapsed wall clock time (in seconds):798.834 811.50/798.96 o -7476 813.65/801.03 c cleaning 7468 clauses out of 14944 with flag 6090/1105553 817.81/805.13 c cleaning 6731 clauses out of 13476 with flag 18090/1111553 822.80/810.03 c cleaning 6870 clauses out of 13745 with flag 32090/1118553 828.55/815.74 c cleaning 7435 clauses out of 14875 with flag 48090/1126553 835.05/822.17 c cleaning 8216 clauses out of 16440 with flag 66090/1135553 842.52/829.42 c cleaning 9111 clauses out of 18225 with flag 86092/1145554 850.65/837.48 c cleaning 10055 clauses out of 20114 with flag 108092/1156554 859.68/846.33 c cleaning 11025 clauses out of 22058 with flag 132090/1168553 869.42/855.98 c cleaning 12017 clauses out of 24033 with flag 158090/1181553 880.15/866.46 c cleaning 13005 clauses out of 26016 with flag 186090/1195553 891.70/877.78 c cleaning 14005 clauses out of 28011 with flag 216090/1210553 904.17/889.91 c cleaning 15004 clauses out of 30007 with flag 248092/1226554 917.25/902.74 c cleaning 15998 clauses out of 32002 with flag 282090/1243553 931.23/916.55 c cleaning 17003 clauses out of 34005 with flag 318092/1261554 946.22/931.33 c cleaning 17998 clauses out of 36002 with flag 356092/1280554 961.91/946.72 c cleaning 18997 clauses out of 38004 with flag 396092/1300554 978.64/963.15 c cleaning 20002 clauses out of 40007 with flag 438092/1321554 995.53/979.72 c cleaning 21002 clauses out of 42004 with flag 482090/1343553 1009.34/993.33 c Got one! Elapsed wall clock time (in seconds):993.202 1009.34/993.33 o -7486 1013.73/997.62 c cleaning 22154 clauses out of 44313 with flag 10002/1366864 1018.52/1002.36 c cleaning 14075 clauses out of 28159 with flag 22002/1372864 1023.64/1007.43 c cleaning 10535 clauses out of 21084 with flag 36002/1379864 1029.68/1013.40 c cleaning 9269 clauses out of 18549 with flag 52002/1387864 1036.02/1019.72 c cleaning 9135 clauses out of 18280 with flag 70002/1396864 1043.02/1026.69 c cleaning 9571 clauses out of 19146 with flag 90004/1406865 1051.13/1034.65 c cleaning 10287 clauses out of 20575 with flag 112004/1417865 1059.03/1042.44 c Got one! Elapsed wall clock time (in seconds):1042.318 1059.03/1042.44 o -7500 1063.01/1046.37 c cleaning 13112 clauses out of 26228 with flag 10003/1433805 1067.55/1050.85 c cleaning 9554 clauses out of 19117 with flag 22005/1439806 1072.69/1055.94 c cleaning 8276 clauses out of 16562 with flag 36003/1446805 1078.42/1061.63 c cleaning 8137 clauses out of 16287 with flag 52005/1454806 1084.60/1067.76 c cleaning 8572 clauses out of 17149 with flag 70003/1463805 1088.12/1071.22 c Got one! Elapsed wall clock time (in seconds):1071.095 1088.12/1071.22 o -7510 1091.97/1075.06 c cleaning 9333 clauses out of 18667 with flag 10295/1473895 1096.40/1079.46 c cleaning 7661 clauses out of 15333 with flag 22473/1479894 1101.37/1084.31 c cleaning 7335 clauses out of 14673 with flag 36540/1486895 1104.81/1087.77 c Got one! Elapsed wall clock time (in seconds):1087.641 1104.81/1087.77 o -7515 1105.51/1088.45 c cleaning 6593 clauses out of 13187 with flag 2009/1492744 1109.06/1091.91 c Got one! Elapsed wall clock time (in seconds):1091.786 1109.06/1091.91 o -7516 1112.72/1095.58 c cleaning 8402 clauses out of 16809 with flag 10005/1502959 1117.12/1099.86 c cleaning 7202 clauses out of 14406 with flag 22003/1508958 1122.04/1104.74 c cleaning 7096 clauses out of 14205 with flag 36005/1515959 1127.50/1110.19 c cleaning 7553 clauses out of 15109 with flag 52005/1523959 1133.87/1116.49 c cleaning 8274 clauses out of 16555 with flag 70003/1532958 1140.85/1123.25 c cleaning 9139 clauses out of 18281 with flag 90003/1542958 1148.24/1130.54 c cleaning 10071 clauses out of 20142 with flag 112003/1553958 1156.58/1138.76 c cleaning 11032 clauses out of 22071 with flag 136003/1565958 1165.48/1147.47 c cleaning 12019 clauses out of 24039 with flag 162003/1578958 1167.10/1149.02 c Got one! Elapsed wall clock time (in seconds):1148.893 1167.10/1149.02 o -7527 1169.35/1151.28 c cleaning 8690 clauses out of 17387 with flag 6191/1584325 1173.59/1155.42 c cleaning 7345 clauses out of 14697 with flag 18410/1590325 1178.35/1160.14 c cleaning 7175 clauses out of 14352 with flag 32594/1597325 1183.75/1165.48 c cleaning 7588 clauses out of 15177 with flag 48594/1605325 1189.96/1171.52 c cleaning 8292 clauses out of 16588 with flag 66704/1614324 1196.85/1178.36 c cleaning 9146 clauses out of 18297 with flag 87340/1624325 1204.52/1185.83 c cleaning 10071 clauses out of 20151 with flag 109457/1635325 1213.27/1194.43 c cleaning 11039 clauses out of 22079 with flag 133455/1647324 1222.50/1203.55 c cleaning 12019 clauses out of 24040 with flag 159455/1660324 1233.00/1213.82 c cleaning 13009 clauses out of 26021 with flag 187455/1674324 1244.31/1224.96 c cleaning 14005 clauses out of 28013 with flag 217457/1689325 1256.90/1237.37 c cleaning 15004 clauses out of 30007 with flag 249455/1705324 1270.21/1250.42 c cleaning 16002 clauses out of 32003 with flag 283455/1722324 1284.05/1263.96 c cleaning 17001 clauses out of 34002 with flag 319457/1740325 1289.75/1269.57 c Got one! Elapsed wall clock time (in seconds):1269.44 1289.75/1269.57 o -7539 1293.55/1273.20 c cleaning 14837 clauses out of 29682 with flag 10126/1753006 1297.79/1277.41 c cleaning 10419 clauses out of 20845 with flag 22407/1759006 1302.74/1282.36 c cleaning 8704 clauses out of 17426 with flag 36639/1766006 1308.47/1288.02 c cleaning 8358 clauses out of 16723 with flag 52993/1774007 1314.56/1294.09 c cleaning 8683 clauses out of 17365 with flag 71348/1783007 1321.34/1300.76 c cleaning 9341 clauses out of 18681 with flag 91790/1793006 1329.24/1308.55 c cleaning 10167 clauses out of 20340 with flag 113997/1804006 1337.64/1316.88 c cleaning 11086 clauses out of 22174 with flag 138312/1816007 1347.38/1326.31 c cleaning 12041 clauses out of 24088 with flag 164607/1829007 1357.37/1336.18 c cleaning 13021 clauses out of 26046 with flag 193013/1843006 1368.65/1347.24 c cleaning 14013 clauses out of 28025 with flag 223796/1858006 1380.17/1358.66 c cleaning 15001 clauses out of 30013 with flag 256257/1874007 1392.81/1371.00 c cleaning 16006 clauses out of 32012 with flag 290671/1891007 1405.47/1383.44 c cleaning 17001 clauses out of 34006 with flag 327057/1909007 1418.17/1395.88 c cleaning 17999 clauses out of 36004 with flag 365055/1928006 1432.11/1409.41 c cleaning 19003 clauses out of 38006 with flag 406066/1948007 1447.93/1424.89 c cleaning 19997 clauses out of 40003 with flag 448305/1969007 1463.81/1440.34 c cleaning 20999 clauses out of 42006 with flag 493167/1991007 1480.44/1456.71 c cleaning 22000 clauses out of 44007 with flag 539983/2014007 1498.45/1474.49 c cleaning 23004 clauses out of 46007 with flag 588885/2038007 1517.85/1493.59 c cleaning 23996 clauses out of 48002 with flag 639901/2063006 1538.22/1513.78 c cleaning 25001 clauses out of 50006 with flag 692932/2089006 1559.65/1534.65 c cleaning 25999 clauses out of 52006 with flag 748087/2116007 1580.89/1555.53 c cleaning 27000 clauses out of 54006 with flag 804944/2144006 1605.57/1579.90 c cleaning 27996 clauses out of 56006 with flag 863426/2173006 1631.48/1605.57 c cleaning 29003 clauses out of 58011 with flag 923794/2203007 1658.93/1632.63 c cleaning 30002 clauses out of 60008 with flag 986110/2234007 1687.21/1660.46 c cleaning 30998 clauses out of 62005 with flag 1050506/2266006 1716.12/1688.90 c cleaning 32001 clauses out of 64007 with flag 1117270/2299006 1746.62/1718.91 c cleaning 33000 clauses out of 66006 with flag 1186023/2333006 1778.36/1750.27 c cleaning 34002 clauses out of 68007 with flag 1257054/2368007 1800.07/1771.60 c starts : 1743 1800.07/1771.60 c conflicts : 2392951 1800.07/1771.60 c decisions : 2436217 1800.07/1771.60 c propagations : 936031694 1800.07/1771.60 c inspects : 7292220540 1800.07/1771.60 c shortcuts : 0 1800.07/1771.60 c learnt literals : 0 1800.07/1771.60 c learnt binary clauses : 0 1800.07/1771.60 c learnt ternary clauses : 6 1800.07/1771.60 c learnt constraints : 2392950 1800.07/1771.60 c ignored constraints : 0 1800.07/1771.60 c root simplifications : 0 1800.07/1771.60 c removed literals (reason simplification) : 0 1800.07/1771.60 c reason swapping (by a shorter reason) : 0 1800.07/1771.60 c Calls to reduceDB : 206 1800.07/1771.60 c Number of update (reduction) of LBD : 820 1800.07/1771.60 c Imported unit clauses : 0 1800.07/1771.60 c number of reductions to clauses (during analyze) : 0 1800.07/1771.60 c number of learned constraints concerned by reduction : 0 1800.07/1771.60 c number of learning phase by resolution : 0 1800.07/1771.60 c number of learning phase by cutting planes : 0 1800.07/1771.60 c speed (assignments/second) : 528614.6439370066 1800.07/1771.60 c non guided choices 0 1800.07/1771.62 c learnt constraints type 1800.07/1771.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58949 1800.07/1771.62 s SATISFIABLE 1800.07/1771.62 c Found 127 solution(s) 1800.07/1771.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 1800.07/1771.63 c objective function=-7539 1800.07/1771.63 c Total wall clock time (in seconds): 1771.5
OK -7539
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-4119462-1467259234/watcher-4119462-1467259234 -o /tmp/evaluation-result-4119462-1467259234/solver-4119462-1467259234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119462-1467259234.opb pid=7576 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.32 2.27 2.23 3/195 7579 /proc/meminfo: memFree=28009860/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/7579/stat : 7579 (runsolver) D 7576 7579 5948 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 4951065 24911872 160 33554432000 4194304 4338465 140733321264384 140733321261576 270329867703 0 0 4096 24578 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/7579/statm: 6082 160 113 36 0 2655 0 [startup+0.10006 s] /proc/loadavg: 2.32 2.27 2.23 3/195 7579 /proc/meminfo: memFree=28009860/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 4018 0 1 0 6 1 0 0 20 0 18 0 4951065 9787879424 5148 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2389619 5148 2046 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200205 s] /proc/loadavg: 2.32 2.27 2.23 3/195 7579 /proc/meminfo: memFree=28009860/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 4621 0 1 0 21 1 0 0 20 0 18 0 4951065 9787879424 6721 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2389619 6721 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300205 s] /proc/loadavg: 2.32 2.27 2.23 3/195 7579 /proc/meminfo: memFree=28009860/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 5564 0 1 0 44 1 0 0 20 0 18 0 4951065 9787879424 7861 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2389619 7861 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700155 s] /proc/loadavg: 2.32 2.27 2.23 3/195 7579 /proc/meminfo: memFree=28009860/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9558476 CPUtime=1.04 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 7011 0 1 0 102 2 0 0 20 0 18 0 4951065 9787879424 11372 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2389619 11372 2242 9 0 2380296 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 9558476 [startup+1.50079 s] /proc/loadavg: 2.32 2.27 2.23 5/214 7598 /proc/meminfo: memFree=27957116/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=2.55 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 12016 0 1 0 252 3 0 0 20 0 19 0 4951065 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 24112 2273 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=1.44 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2443 0 1 0 142 2 0 0 20 0 19 0 4951067 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713306616112 139713156143791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4951069 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 4575 0 0 0 53 1 0 0 20 0 19 0 4951072 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3721 0 0 0 52 0 0 0 20 0 19 0 4951072 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 24112 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.55 Current children cumulated vsize (KiB) 9625040 [startup+3.1008 s] /proc/loadavg: 2.32 2.27 2.23 3/214 7598 /proc/meminfo: memFree=27895180/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 12047 0 1 0 418 4 0 0 20 0 19 0 4951065 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 38449 2273 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2473 0 1 0 301 3 0 0 20 0 19 0 4951067 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713306624384 139713156143696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4951069 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 4575 0 0 0 60 1 0 0 20 0 19 0 4951072 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3721 0 0 0 53 0 0 0 20 0 19 0 4951072 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 38449 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 9625040 [startup+6.30083 s] /proc/loadavg: 2.29 2.26 2.23 3/214 7598 /proc/meminfo: memFree=27814204/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=7.64 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 13372 0 1 0 756 8 0 0 20 0 19 0 4951065 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 50881 2287 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=6.21 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2484 0 1 0 618 3 0 0 20 0 19 0 4951067 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713306624584 139713156319816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4951068 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4951069 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 5810 0 0 0 74 1 0 0 20 0 19 0 4951072 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3721 0 0 0 53 0 0 0 20 0 19 0 4951072 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 50881 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 327799 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1628.28 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.40 2.26 2.20 3/213 7725 /proc/meminfo: memFree=26810376/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=1689.11 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 29033 0 1 0 168590 321 0 0 20 0 19 0 4951065 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 312591 2300 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=1643.83 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2901 0 1 0 164353 30 0 0 20 0 19 0 4951067 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713306615456 139713156187884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=4.45 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 1491 0 0 0 409 36 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=4.42 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 1364 0 0 0 408 34 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=4.4 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 1075 0 0 0 401 39 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=4.53 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 1313 0 0 0 414 39 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=4.6 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 1941 0 0 0 423 37 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=4.43 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 1606 0 0 0 408 35 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=4.61 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 1665 0 0 0 425 36 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=4.2 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 1727 0 0 0 381 39 0 0 20 0 19 0 4951068 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=3.95 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 2952 0 0 0 388 7 0 0 20 0 19 0 4951069 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 5814 0 0 0 78 1 0 0 20 0 19 0 4951072 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3829 0 0 0 62 0 0 0 20 0 19 0 4951072 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 92 0 0 0 15 19 0 0 20 0 19 0 4951072 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 312591 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1689.11 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.50 2.32 2.22 3/213 7726 /proc/meminfo: memFree=26849284/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=1750.05 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 29287 0 1 0 174670 335 0 0 20 0 19 0 4951065 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 299817 2300 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=1703.22 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2912 0 1 0 170291 31 0 0 20 0 19 0 4951067 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713306623152 139713156406814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=4.69 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 1524 0 0 0 431 38 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=4.57 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 1396 0 0 0 421 36 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=4.58 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 1095 0 0 0 418 40 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=4.66 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 1338 0 0 0 426 40 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=4.76 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 1977 0 0 0 437 39 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=4.54 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 1629 0 0 0 418 36 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=4.75 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 1697 0 0 0 438 37 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=4.37 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 1754 0 0 0 397 40 0 0 20 0 19 0 4951068 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=4.04 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 2963 0 0 0 396 8 0 0 20 0 19 0 4951069 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 5814 0 0 0 78 1 0 0 20 0 19 0 4951072 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3829 0 0 0 62 0 0 0 20 0 19 0 4951072 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 96 0 0 0 16 19 0 0 20 0 19 0 4951072 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 299817 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1750.05 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1771.6 s] /proc/loadavg: 2.42 2.33 2.23 3/214 7730 /proc/meminfo: memFree=26962500/32872528 swapFree=1555460/1718980 [pid=7579] ppid=7576 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7 /proc/7579/stat : 7579 (java) S 7576 7579 5948 0 -1 4202496 29411 0 1 0 179671 336 0 0 20 0 19 0 4951065 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 140736591607760 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7579/statm: 2406260 284340 2300 9 0 2396937 0 [pid=7579/tid=7581] ppid=7576 vsize=9625040 CPUtime=1751.78 cores=1,3,5,7 /proc/7579/task/7581/stat : 7581 (java) R 7576 7579 5948 0 -1 4202560 2922 0 1 0 175146 32 0 0 20 0 19 0 4951067 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713306623152 139713156061647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7582] ppid=7576 vsize=9625040 CPUtime=4.81 cores=1,3,5,7 /proc/7579/task/7582/stat : 7582 (java) S 7576 7579 5948 0 -1 4202560 1524 0 0 0 443 38 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713279077032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7583] ppid=7576 vsize=9625040 CPUtime=4.69 cores=1,3,5,7 /proc/7579/task/7583/stat : 7583 (java) S 7576 7579 5948 0 -1 4202560 1396 0 0 0 433 36 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713278024488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7584] ppid=7576 vsize=9625040 CPUtime=4.7 cores=1,3,5,7 /proc/7579/task/7584/stat : 7584 (java) S 7576 7579 5948 0 -1 4202560 1095 0 0 0 429 41 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713276971944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7585] ppid=7576 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/7579/task/7585/stat : 7585 (java) S 7576 7579 5948 0 -1 4202560 1338 0 0 0 440 40 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713275919400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7586] ppid=7576 vsize=9625040 CPUtime=4.92 cores=1,3,5,7 /proc/7579/task/7586/stat : 7586 (java) S 7576 7579 5948 0 -1 4202560 1983 0 0 0 453 39 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713274865832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7587] ppid=7576 vsize=9625040 CPUtime=4.67 cores=1,3,5,7 /proc/7579/task/7587/stat : 7587 (java) S 7576 7579 5948 0 -1 4202560 1638 0 0 0 431 36 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713144465704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7588] ppid=7576 vsize=9625040 CPUtime=4.88 cores=1,3,5,7 /proc/7579/task/7588/stat : 7588 (java) S 7576 7579 5948 0 -1 4202560 1703 0 0 0 451 37 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713143413160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7589] ppid=7576 vsize=9625040 CPUtime=4.49 cores=1,3,5,7 /proc/7579/task/7589/stat : 7589 (java) S 7576 7579 5948 0 -1 4202560 1761 0 0 0 409 40 0 0 20 0 19 0 4951068 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139713142360616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7579/tid=7590] ppid=7576 vsize=9625040 CPUtime=4.34 cores=1,3,5,7 /proc/7579/task/7590/stat : 7590 (java) S 7576 7579 5948 0 -1 4202560 3045 0 0 0 426 8 0 0 20 0 19 0 4951069 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712659413608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7591] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7591/stat : 7591 (java) S 7576 7579 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712658359928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7592] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7592/stat : 7592 (java) S 7576 7579 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4951070 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712657307272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7593] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7593/stat : 7593 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712656256016 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7594] ppid=7576 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/7579/task/7594/stat : 7594 (java) S 7576 7579 5948 0 -1 4202560 5814 0 0 0 78 1 0 0 20 0 19 0 4951072 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712655202360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7595] ppid=7576 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7579/task/7595/stat : 7595 (java) S 7576 7579 5948 0 -1 4202560 3829 0 0 0 62 0 0 0 20 0 19 0 4951072 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712654149816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7579/tid=7596] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7596/stat : 7596 (java) S 7576 7579 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4951072 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712653097464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7579/tid=7597] ppid=7576 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/7579/task/7597/stat : 7597 (java) S 7576 7579 5948 0 -1 4202560 100 0 0 0 17 19 0 0 20 0 19 0 4951072 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712652045128 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7579/tid=7598] ppid=7576 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7579/task/7598/stat : 7598 (java) S 7576 7579 5948 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4951153 9856040960 284340 33554432000 1073741824 1073778376 140736591616624 139712650990888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 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 7579 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 7579 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=349521 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=812420 # CPU time returned by wait4() is 1796.16 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1771.64 CPU time (s): 1800.07 CPU user time (s): 1796.71 CPU system time (s): 3.36 CPU usage (%): 101.605 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.35 system time used= 3.81242 maximum resident set size= 1368944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29450 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51151 involuntary context switches= 52062 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7181 second user time and 16.2345 second system time The end
Begin job on node117 at 2016-06-30 06:00:34 IDJOB=4119462 IDBENCH=111736 IDSOLVER=2546 FILE ID=node117/4119462-1467259234 RUNJOBID= node117-1467250272-6476 PBS_JOBID= 20004471 Free space on /tmp= 71624 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119462-1467259234/watcher-4119462-1467259234 -o /tmp/evaluation-result-4119462-1467259234/solver-4119462-1467259234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6476 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119462-1467259234.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b5af46964a63234412542cf27a991a0e RANDOM SEED=710986886 node117.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.714 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.42 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.714 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.714 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.45 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.714 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.714 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.714 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.714 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.714 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28010232 kB Buffers: 125912 kB Cached: 1775068 kB SwapCached: 0 kB Active: 644216 kB Inactive: 1752012 kB Active(anon): 496340 kB Inactive(anon): 1728 kB Active(file): 147876 kB Inactive(file): 1750284 kB Unevictable: 1718980 kB Mlocked: 1555460 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 2169548 kB Mapped: 22168 kB Shmem: 204 kB Slab: 611772 kB SReclaimable: 55912 kB SUnreclaim: 555860 kB KernelStack: 1768 kB PageTables: 8936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2343740 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 583680 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= 71624 MiB End job on node117 at 2016-06-30 06:30:06