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) | -3661 | 1800.06 | 1770.56 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb |
| MD5SUM | 16ff716fa738654c81b01a12ed160a6a |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -3661 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| 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 | 3040 |
| Total number of constraints | 6030 |
| Number of constraints which are clauses | 3015 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3015 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 3040 |
| Biggest coefficient in the objective function | 1528 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 254268 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1528 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 254268 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4118146-1467224092.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.50/0.37 c ... done. Wall clock time 0.254s. 0.50/0.37 c declared #vars 3040 0.50/0.37 c #constraints 6030 0.50/0.37 c constraints type 0.50/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3015 0.50/0.37 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3015 0.50/0.37 c 6030 constraints processed. 0.50/0.37 c objective function length is 3040 literals 0.77/0.42 c SATISFIABLE 0.77/0.42 c OPTIMIZING... 0.77/0.42 c Got one! Elapsed wall clock time (in seconds):0.301 0.77/0.42 o 0 0.77/0.47 c Got one! Elapsed wall clock time (in seconds):0.359 0.77/0.47 o -153 1.08/0.52 c Got one! Elapsed wall clock time (in seconds):0.407 1.08/0.52 o -306 1.08/0.55 c Got one! Elapsed wall clock time (in seconds):0.437 1.08/0.55 o -563 1.08/0.58 c Got one! Elapsed wall clock time (in seconds):0.465 1.08/0.58 o -731 1.38/0.60 c Got one! Elapsed wall clock time (in seconds):0.486 1.38/0.60 o -820 1.38/0.61 c Got one! Elapsed wall clock time (in seconds):0.499 1.38/0.61 o -1140 1.38/0.64 c Got one! Elapsed wall clock time (in seconds):0.526 1.38/0.64 o -1197 1.38/0.66 c Got one! Elapsed wall clock time (in seconds):0.547 1.38/0.66 o -1288 1.38/0.67 c Got one! Elapsed wall clock time (in seconds):0.557 1.38/0.67 o -1323 1.38/0.68 c Got one! Elapsed wall clock time (in seconds):0.563 1.38/0.68 o -1460 1.38/0.69 c Got one! Elapsed wall clock time (in seconds):0.572 1.38/0.69 o -1810 1.67/0.71 c Got one! Elapsed wall clock time (in seconds):0.594 1.67/0.71 o -1819 1.67/0.73 c Got one! Elapsed wall clock time (in seconds):0.62 1.67/0.73 o -2013 1.67/0.76 c Got one! Elapsed wall clock time (in seconds):0.649 1.67/0.76 o -2135 1.67/0.79 c Got one! Elapsed wall clock time (in seconds):0.675 1.67/0.79 o -2144 1.78/0.80 c Got one! Elapsed wall clock time (in seconds):0.683 1.78/0.80 o -2443 1.78/0.89 c Got one! Elapsed wall clock time (in seconds):0.772 1.78/0.89 o -2451 1.96/0.93 c Got one! Elapsed wall clock time (in seconds):0.821 1.96/0.93 o -2650 2.08/1.09 c Got one! Elapsed wall clock time (in seconds):0.981 2.08/1.09 o -2667 2.19/1.14 c Got one! Elapsed wall clock time (in seconds):1.024 2.19/1.14 o -2675 2.19/1.16 c Got one! Elapsed wall clock time (in seconds):1.048 2.19/1.16 o -2680 2.19/1.18 c Got one! Elapsed wall clock time (in seconds):1.064 2.19/1.18 o -2688 2.19/1.19 c Got one! Elapsed wall clock time (in seconds):1.073 2.19/1.19 o -2764 2.48/1.40 c Got one! Elapsed wall clock time (in seconds):1.285 2.48/1.40 o -2830 2.48/1.46 c Got one! Elapsed wall clock time (in seconds):1.345 2.48/1.46 o -2836 2.59/1.52 c Got one! Elapsed wall clock time (in seconds):1.402 2.59/1.52 o -2871 2.59/1.55 c Got one! Elapsed wall clock time (in seconds):1.436 2.59/1.55 o -2881 2.59/1.57 c Got one! Elapsed wall clock time (in seconds):1.454 2.59/1.57 o -2885 2.59/1.58 c Got one! Elapsed wall clock time (in seconds):1.469 2.59/1.58 o -2889 2.69/1.63 c Got one! Elapsed wall clock time (in seconds):1.511 2.69/1.63 o -2894 2.69/1.64 c Got one! Elapsed wall clock time (in seconds):1.522 2.69/1.64 o -2907 2.69/1.65 c Got one! Elapsed wall clock time (in seconds):1.532 2.69/1.65 o -2987 3.10/2.08 c Got one! Elapsed wall clock time (in seconds):1.97 3.10/2.08 o -3001 3.31/2.22 c Got one! Elapsed wall clock time (in seconds):2.106 3.31/2.22 o -3007 3.31/2.27 c Got one! Elapsed wall clock time (in seconds):2.158 3.31/2.27 o -3023 3.41/2.32 c Got one! Elapsed wall clock time (in seconds):2.206 3.41/2.32 o -3031 3.41/2.33 c Got one! Elapsed wall clock time (in seconds):2.218 3.41/2.33 o -3051 3.50/2.45 c Got one! Elapsed wall clock time (in seconds):2.336 3.50/2.45 o -3086 3.60/2.56 c Got one! Elapsed wall clock time (in seconds):2.444 3.60/2.56 o -3094 4.10/3.02 c Got one! Elapsed wall clock time (in seconds):2.907 4.10/3.02 o -3148 4.35/3.26 c Got one! Elapsed wall clock time (in seconds):3.143 4.35/3.26 o -3153 4.46/3.38 c Got one! Elapsed wall clock time (in seconds):3.263 4.46/3.38 o -3155 4.56/3.41 c Got one! Elapsed wall clock time (in seconds):3.292 4.56/3.41 o -3161 4.56/3.43 c Got one! Elapsed wall clock time (in seconds):3.32 4.56/3.43 o -3180 4.56/3.44 c Got one! Elapsed wall clock time (in seconds):3.33 4.56/3.44 o -3185 4.56/3.45 c Got one! Elapsed wall clock time (in seconds):3.334 4.56/3.45 o -3191 4.56/3.48 c Got one! Elapsed wall clock time (in seconds):3.361 4.56/3.48 o -3197 4.69/3.53 c Got one! Elapsed wall clock time (in seconds):3.413 4.69/3.53 o -3201 4.69/3.56 c Got one! Elapsed wall clock time (in seconds):3.444 4.69/3.56 o -3220 5.39/4.22 c Got one! Elapsed wall clock time (in seconds):4.106 5.39/4.22 o -3230 5.39/4.26 c Got one! Elapsed wall clock time (in seconds):4.145 5.39/4.26 o -3236 5.39/4.27 c Got one! Elapsed wall clock time (in seconds):4.153 5.39/4.27 o -3248 5.39/4.27 c Got one! Elapsed wall clock time (in seconds):4.158 5.39/4.27 o -3250 5.39/4.28 c Got one! Elapsed wall clock time (in seconds):4.161 5.39/4.28 o -3257 5.60/4.43 c Got one! Elapsed wall clock time (in seconds):4.313 5.60/4.43 o -3267 6.51/5.33 c cleaning 5131 clauses out of 10266 with flag 4003/10266 7.44/6.22 c Got one! Elapsed wall clock time (in seconds):6.105 7.44/6.22 o -3283 7.84/6.68 c Got one! Elapsed wall clock time (in seconds):6.563 7.84/6.68 o -3337 8.14/6.93 c Got one! Elapsed wall clock time (in seconds):6.813 8.14/6.93 o -3350 8.24/7.06 c Got one! Elapsed wall clock time (in seconds):6.95 8.24/7.06 o -3353 8.24/7.10 c Got one! Elapsed wall clock time (in seconds):6.981 8.24/7.10 o -3365 8.34/7.13 c Got one! Elapsed wall clock time (in seconds):7.013 8.34/7.13 o -3382 9.05/7.84 c Got one! Elapsed wall clock time (in seconds):7.722 9.05/7.84 o -3388 9.26/8.03 c Got one! Elapsed wall clock time (in seconds):7.915 9.26/8.03 o -3395 9.90/8.53 c cleaning 6180 clauses out of 12363 with flag 2003/17494 11.20/9.85 c Got one! Elapsed wall clock time (in seconds):9.739 11.20/9.85 o -3430 12.10/10.75 c cleaning 5627 clauses out of 11253 with flag 4002/22564 12.10/10.79 c Got one! Elapsed wall clock time (in seconds):10.675 12.10/10.79 o -3433 12.64/11.23 c Got one! Elapsed wall clock time (in seconds):11.118 12.64/11.23 o -3439 12.74/11.30 c Got one! Elapsed wall clock time (in seconds):11.188 12.74/11.30 o -3446 12.74/11.32 c Got one! Elapsed wall clock time (in seconds):11.206 12.74/11.32 o -3452 12.74/11.36 c Got one! Elapsed wall clock time (in seconds):11.247 12.74/11.36 o -3455 12.84/11.49 c Got one! Elapsed wall clock time (in seconds):11.378 12.84/11.49 o -3468 13.04/11.61 c Got one! Elapsed wall clock time (in seconds):11.501 13.04/11.61 o -3474 13.04/11.62 c Got one! Elapsed wall clock time (in seconds):11.504 13.04/11.62 o -3483 13.04/11.62 c Got one! Elapsed wall clock time (in seconds):11.509 13.04/11.62 o -3485 13.04/11.63 c Got one! Elapsed wall clock time (in seconds):11.512 13.04/11.63 o -3486 13.14/11.70 c Got one! Elapsed wall clock time (in seconds):11.587 13.14/11.70 o -3489 14.96/13.43 c cleaning 5904 clauses out of 11808 with flag 8004/28746 14.96/13.48 c Got one! Elapsed wall clock time (in seconds):13.368 14.96/13.48 o -3491 15.66/14.16 c Got one! Elapsed wall clock time (in seconds):14.044 15.66/14.16 o -3497 16.16/14.63 c Got one! Elapsed wall clock time (in seconds):14.518 16.16/14.63 o -3503 16.26/14.78 c Got one! Elapsed wall clock time (in seconds):14.662 16.26/14.78 o -3506 16.76/15.22 c Got one! Elapsed wall clock time (in seconds):15.108 16.76/15.22 o -3519 17.66/16.13 c cleaning 6085 clauses out of 12176 with flag 4003/35018 20.27/18.73 c cleaning 6046 clauses out of 12091 with flag 16003/41018 23.33/21.75 c cleaning 6522 clauses out of 13044 with flag 30001/48017 24.03/22.43 c Got one! Elapsed wall clock time (in seconds):22.319 24.03/22.43 o -3531 25.84/24.26 c cleaning 6029 clauses out of 12064 with flag 8044/53559 25.94/24.37 c Got one! Elapsed wall clock time (in seconds):24.257 25.94/24.37 o -3549 27.43/25.73 c Got one! Elapsed wall clock time (in seconds):25.618 27.43/25.73 o -3554 27.73/26.01 c Got one! Elapsed wall clock time (in seconds):25.895 27.73/26.01 o -3556 27.73/26.03 c Got one! Elapsed wall clock time (in seconds):25.917 27.73/26.03 o -3559 28.23/26.52 c Got one! Elapsed wall clock time (in seconds):26.408 28.23/26.52 o -3560 28.63/26.96 c cleaning 6033 clauses out of 12072 with flag 2051/59596 30.03/28.38 c Got one! Elapsed wall clock time (in seconds):28.263 30.03/28.38 o -3561 30.23/28.50 c Got one! Elapsed wall clock time (in seconds):28.39 30.23/28.50 o -3573 31.03/29.38 c cleaning 5896 clauses out of 11791 with flag 4260/65348 32.20/30.49 c Got one! Elapsed wall clock time (in seconds):30.373 32.20/30.49 o -3574 33.60/31.88 c cleaning 5694 clauses out of 11393 with flag 6034/70846 36.50/34.77 c cleaning 5845 clauses out of 11698 with flag 18117/76845 39.67/37.82 c cleaning 6425 clauses out of 12853 with flag 32207/83845 41.17/39.38 c Got one! Elapsed wall clock time (in seconds):39.268 41.17/39.38 o -3579 42.07/40.26 c cleaning 6032 clauses out of 12069 with flag 4021/89486 43.24/41.36 c Got one! Elapsed wall clock time (in seconds):41.249 43.24/41.36 o -3587 44.64/42.75 c cleaning 5728 clauses out of 11457 with flag 6310/94906 46.84/44.91 c Got one! Elapsed wall clock time (in seconds):44.793 46.84/44.91 o -3592 47.24/45.37 c cleaning 5794 clauses out of 11589 with flag 2002/100766 50.11/48.13 c cleaning 5895 clauses out of 11795 with flag 14071/106766 50.31/48.35 c Got one! Elapsed wall clock time (in seconds):48.234 50.31/48.35 o -3593 50.71/48.72 c Got one! Elapsed wall clock time (in seconds):48.606 50.71/48.72 o -3594 52.41/50.44 c Got one! Elapsed wall clock time (in seconds):50.325 52.41/50.44 o -3597 52.62/50.63 c Got one! Elapsed wall clock time (in seconds):50.513 52.62/50.63 o -3600 53.72/51.62 c cleaning 6740 clauses out of 13484 with flag 4092/114350 54.42/52.34 c Got one! Elapsed wall clock time (in seconds):52.231 54.42/52.34 o -3606 56.32/54.21 c cleaning 6322 clauses out of 12648 with flag 8048/120254 56.62/54.55 c Got one! Elapsed wall clock time (in seconds):54.436 56.62/54.55 o -3609 56.82/54.77 c Got one! Elapsed wall clock time (in seconds):54.652 56.82/54.77 o -3611 56.92/54.85 c Got one! Elapsed wall clock time (in seconds):54.734 56.92/54.85 o -3624 59.09/56.97 c cleaning 6411 clauses out of 12822 with flag 10237/126750 61.69/59.54 c cleaning 6202 clauses out of 12411 with flag 22408/132750 65.03/62.86 c cleaning 6600 clauses out of 13209 with flag 36408/139750 67.92/65.74 c Got one! Elapsed wall clock time (in seconds):65.63 67.92/65.74 o -3627 70.28/68.01 c cleaning 9007 clauses out of 18013 with flag 10006/151154 73.10/70.75 c cleaning 7503 clauses out of 15007 with flag 22024/157155 76.20/73.86 c cleaning 7247 clauses out of 14504 with flag 36032/164155 79.81/77.48 c cleaning 7624 clauses out of 15256 with flag 52038/172154 83.75/81.38 c cleaning 8310 clauses out of 16632 with flag 70038/181154 88.11/85.63 c cleaning 9160 clauses out of 18322 with flag 90038/191154 93.18/90.63 c cleaning 10082 clauses out of 20163 with flag 112076/202155 97.45/94.85 c Got one! Elapsed wall clock time (in seconds):94.736 97.45/94.85 o -3629 100.01/97.31 c cleaning 12404 clauses out of 24813 with flag 10013/216887 102.71/100.01 c cleaning 9201 clauses out of 18409 with flag 22020/222887 105.77/103.08 c cleaning 8100 clauses out of 16209 with flag 36043/229888 109.10/106.32 c cleaning 8052 clauses out of 16109 with flag 52044/237888 112.95/110.16 c cleaning 8524 clauses out of 17057 with flag 70097/246888 117.26/114.44 c cleaning 9265 clauses out of 18532 with flag 90124/256887 121.68/118.90 c cleaning 10130 clauses out of 20268 with flag 112126/267888 127.08/124.18 c cleaning 11069 clauses out of 22137 with flag 136235/279887 133.71/130.60 c cleaning 12031 clauses out of 24069 with flag 162438/292888 140.28/137.15 c cleaning 13018 clauses out of 26037 with flag 190436/306887 141.28/138.19 c Got one! Elapsed wall clock time (in seconds):138.076 141.28/138.19 o -3632 142.68/139.54 c cleaning 9197 clauses out of 18404 with flag 6025/312272 145.39/142.21 c cleaning 7600 clauses out of 15206 with flag 18064/318271 148.42/145.29 c cleaning 7303 clauses out of 14607 with flag 32082/325272 152.05/148.89 c cleaning 7651 clauses out of 15304 with flag 48082/333272 156.08/152.90 c cleaning 8322 clauses out of 16652 with flag 66112/342271 160.58/157.24 c cleaning 9163 clauses out of 18331 with flag 86114/352272 165.50/162.15 c cleaning 10082 clauses out of 20167 with flag 108176/363271 170.98/167.59 c cleaning 11040 clauses out of 22086 with flag 132203/375272 176.78/173.14 c cleaning 12018 clauses out of 24046 with flag 158232/388272 183.17/179.41 c cleaning 13012 clauses out of 26027 with flag 186230/402271 190.19/186.32 c cleaning 14008 clauses out of 28016 with flag 216257/417272 197.67/193.74 c cleaning 15001 clauses out of 30008 with flag 248324/433272 206.05/201.98 c cleaning 16000 clauses out of 32006 with flag 282776/450271 214.89/210.66 c cleaning 17002 clauses out of 34007 with flag 318901/468272 218.32/214.00 c Got one! Elapsed wall clock time (in seconds):213.885 218.32/214.00 o -3634 220.67/216.35 c cleaning 14632 clauses out of 29267 with flag 10101/480534 223.29/218.90 c cleaning 10314 clauses out of 20635 with flag 22166/486534 225.40/221.02 c Got one! Elapsed wall clock time (in seconds):220.908 225.40/221.02 o -3641 225.93/221.50 c cleaning 8133 clauses out of 16278 with flag 2005/492491 228.45/224.09 c cleaning 7069 clauses out of 14146 with flag 14023/498492 231.41/226.93 c cleaning 7037 clauses out of 14076 with flag 28046/505491 234.66/230.14 c cleaning 7516 clauses out of 15039 with flag 44116/513491 238.26/233.61 c cleaning 8262 clauses out of 16523 with flag 62163/522491 242.52/237.84 c cleaning 9129 clauses out of 18262 with flag 82249/532492 246.96/242.24 c cleaning 10064 clauses out of 20132 with flag 104287/543491 252.06/247.21 c cleaning 11029 clauses out of 22068 with flag 128340/555491 257.72/252.88 c cleaning 12017 clauses out of 24039 with flag 154376/568491 263.74/258.79 c cleaning 13011 clauses out of 26023 with flag 182378/582492 270.30/265.16 c cleaning 14004 clauses out of 28012 with flag 212378/597492 277.80/272.53 c cleaning 15000 clauses out of 30008 with flag 244761/613492 286.44/281.02 c cleaning 16003 clauses out of 32007 with flag 279326/630491 295.45/289.98 c cleaning 17000 clauses out of 34005 with flag 315876/648492 299.41/293.89 c Got one! Elapsed wall clock time (in seconds):293.781 299.41/293.89 o -3643 302.16/296.52 c cleaning 15757 clauses out of 31518 with flag 10220/663005 304.98/299.35 c cleaning 10877 clauses out of 21761 with flag 22414/669005 308.44/302.71 c cleaning 8937 clauses out of 17885 with flag 36447/676006 312.28/306.53 c cleaning 8466 clauses out of 16948 with flag 52628/684006 316.43/310.64 c cleaning 8735 clauses out of 17482 with flag 70645/693006 321.08/315.26 c cleaning 9369 clauses out of 18746 with flag 90643/703005 326.21/320.26 c cleaning 10186 clauses out of 20377 with flag 112826/714005 331.79/325.75 c Got one! Elapsed wall clock time (in seconds):325.633 331.79/325.75 o -3645 334.13/328.07 c cleaning 13463 clauses out of 26930 with flag 10071/730744 336.88/330.73 c cleaning 9731 clauses out of 19467 with flag 22105/736744 340.01/333.87 c cleaning 8364 clauses out of 16736 with flag 36211/743744 343.63/337.42 c cleaning 8182 clauses out of 16371 with flag 52467/751743 347.69/341.48 c cleaning 8591 clauses out of 17189 with flag 70553/760743 352.32/346.05 c cleaning 9300 clauses out of 18599 with flag 90711/770744 357.30/350.99 c cleaning 10148 clauses out of 20298 with flag 112802/781743 362.69/356.22 c cleaning 11071 clauses out of 22150 with flag 136997/793743 368.59/362.03 c cleaning 12038 clauses out of 24079 with flag 163301/806743 374.84/368.13 c cleaning 13018 clauses out of 26042 with flag 191456/820744 381.71/374.81 c cleaning 14007 clauses out of 28024 with flag 221668/835744 389.17/382.13 c cleaning 15005 clauses out of 30017 with flag 253992/851744 397.48/390.34 c cleaning 16004 clauses out of 32011 with flag 288412/868743 405.84/398.53 c cleaning 17002 clauses out of 34007 with flag 324573/886743 415.40/407.90 c cleaning 17999 clauses out of 36006 with flag 362639/905744 424.13/416.56 c cleaning 19003 clauses out of 38007 with flag 402923/925744 433.65/425.81 c cleaning 20001 clauses out of 40004 with flag 445163/946744 443.82/435.83 c cleaning 21002 clauses out of 42003 with flag 489309/968744 455.87/447.76 c cleaning 21995 clauses out of 44000 with flag 536139/991743 469.03/460.62 c cleaning 23001 clauses out of 46005 with flag 584958/1015743 482.59/474.08 c cleaning 24001 clauses out of 48005 with flag 636106/1040744 497.05/488.24 c cleaning 24997 clauses out of 50003 with flag 688811/1066743 511.34/502.36 c cleaning 26002 clauses out of 52007 with flag 742926/1093744 527.26/518.09 c cleaning 27001 clauses out of 54005 with flag 799284/1121744 542.99/533.58 c cleaning 27999 clauses out of 56003 with flag 858572/1150743 560.12/550.40 c cleaning 29001 clauses out of 58005 with flag 919237/1180744 566.02/556.29 c Got one! Elapsed wall clock time (in seconds):556.175 566.02/556.29 o -3647 568.90/559.02 c cleaning 22737 clauses out of 45484 with flag 10195/1197224 571.73/561.81 c cleaning 14371 clauses out of 28748 with flag 22293/1203225 574.96/565.00 c cleaning 10680 clauses out of 21377 with flag 36300/1210225 578.37/568.45 c cleaning 9342 clauses out of 18696 with flag 52311/1218224 582.26/572.23 c cleaning 9171 clauses out of 18355 with flag 70333/1227225 586.45/576.39 c cleaning 9588 clauses out of 19184 with flag 90333/1237225 591.12/580.98 c cleaning 10298 clauses out of 20595 with flag 112401/1248224 596.39/586.16 c cleaning 11147 clauses out of 22297 with flag 136401/1260224 602.27/591.94 c cleaning 12073 clauses out of 24151 with flag 162403/1273225 608.54/598.16 c cleaning 13038 clauses out of 26077 with flag 190524/1287224 614.98/604.49 c cleaning 14017 clauses out of 28040 with flag 220526/1302225 621.85/611.24 c cleaning 15009 clauses out of 30022 with flag 252524/1318224 629.63/618.82 c cleaning 16006 clauses out of 32013 with flag 286754/1335224 637.56/626.64 c cleaning 17001 clauses out of 34008 with flag 322948/1353225 646.24/635.11 c cleaning 18001 clauses out of 36006 with flag 360980/1372224 654.88/643.64 c cleaning 19002 clauses out of 38006 with flag 401142/1392225 664.22/652.82 c cleaning 19998 clauses out of 40003 with flag 443218/1413224 673.32/661.72 c cleaning 20997 clauses out of 42005 with flag 487271/1435224 684.95/673.05 c cleaning 21998 clauses out of 44008 with flag 533903/1458224 697.88/685.76 c cleaning 23004 clauses out of 46010 with flag 582942/1482224 711.14/698.77 c cleaning 24001 clauses out of 48007 with flag 633121/1507225 725.14/712.51 c cleaning 25001 clauses out of 50005 with flag 685719/1533224 740.15/727.30 c cleaning 26001 clauses out of 52005 with flag 741506/1560225 755.91/742.93 c cleaning 27001 clauses out of 54004 with flag 798928/1588225 772.22/759.08 c cleaning 27997 clauses out of 56002 with flag 859114/1617224 789.72/776.33 c cleaning 28999 clauses out of 58006 with flag 920792/1647225 807.95/794.30 c cleaning 30000 clauses out of 60007 with flag 984888/1678225 824.69/810.84 c cleaning 30998 clauses out of 62006 with flag 1048974/1710224 840.96/826.76 c cleaning 32002 clauses out of 64008 with flag 1115425/1743224 858.54/843.98 c Got one! Elapsed wall clock time (in seconds):843.862 858.54/843.98 o -3650 861.64/847.03 c cleaning 34132 clauses out of 68277 with flag 11001/1779495 864.86/850.28 c cleaning 20065 clauses out of 40145 with flag 23616/1785495 868.38/853.79 c cleaning 13535 clauses out of 27080 with flag 38287/1792495 872.18/857.53 c cleaning 10768 clauses out of 21546 with flag 54738/1800496 876.30/861.67 c cleaning 9886 clauses out of 19778 with flag 73318/1809496 880.93/866.22 c cleaning 9941 clauses out of 19891 with flag 93497/1819495 886.10/871.40 c cleaning 10471 clauses out of 20951 with flag 115830/1830496 891.99/877.10 c Got one! Elapsed wall clock time (in seconds):876.987 891.99/877.10 o -3651 894.39/879.53 c cleaning 13664 clauses out of 27335 with flag 10457/1847351 897.13/882.25 c cleaning 9832 clauses out of 19671 with flag 22763/1853351 900.25/885.32 c cleaning 8412 clauses out of 16838 with flag 37196/1860350 903.67/888.78 c cleaning 8209 clauses out of 16426 with flag 53717/1868350 907.28/892.36 c cleaning 8605 clauses out of 17217 with flag 71787/1877350 911.55/896.55 c cleaning 9304 clauses out of 18612 with flag 91860/1887350 916.52/901.41 c cleaning 10151 clauses out of 20308 with flag 113980/1898350 922.33/907.14 c cleaning 11078 clauses out of 22157 with flag 138698/1910350 928.84/913.57 c cleaning 12039 clauses out of 24080 with flag 165324/1923351 935.79/920.43 c cleaning 13016 clauses out of 26041 with flag 194321/1937351 943.09/927.69 c cleaning 14006 clauses out of 28024 with flag 224774/1952350 950.84/935.26 c cleaning 15007 clauses out of 30018 with flag 256896/1968350 958.76/943.04 c cleaning 16002 clauses out of 32011 with flag 290909/1985350 967.43/951.54 c cleaning 17003 clauses out of 34009 with flag 326948/2003350 975.94/959.92 c cleaning 18000 clauses out of 36006 with flag 364957/2022350 985.01/968.82 c cleaning 19001 clauses out of 38007 with flag 404983/2042351 994.59/978.26 c cleaning 20000 clauses out of 40005 with flag 447010/2063350 1005.18/988.69 c cleaning 21000 clauses out of 42005 with flag 491502/2085350 1017.04/1000.24 c cleaning 22000 clauses out of 44006 with flag 538246/2108351 1028.76/1011.79 c cleaning 23001 clauses out of 46006 with flag 587182/2132351 1041.47/1024.25 c cleaning 23999 clauses out of 48005 with flag 638183/2157351 1054.81/1037.35 c cleaning 24999 clauses out of 50006 with flag 691442/2183351 1069.74/1052.07 c cleaning 26001 clauses out of 52006 with flag 746334/2210350 1076.51/1058.78 c Got one! Elapsed wall clock time (in seconds):1058.666 1076.51/1058.78 o -3656 1079.47/1061.61 c cleaning 21945 clauses out of 43896 with flag 10766/2228241 1082.19/1064.36 c cleaning 13970 clauses out of 27952 with flag 23213/2234242 1085.41/1067.54 c cleaning 10490 clauses out of 20982 with flag 37548/2241242 1088.85/1070.94 c cleaning 9239 clauses out of 18491 with flag 53912/2249241 1092.85/1074.83 c cleaning 9124 clauses out of 18253 with flag 72649/2258242 1097.07/1079.02 c cleaning 9564 clauses out of 19129 with flag 93289/2268242 1101.64/1083.53 c cleaning 10281 clauses out of 20565 with flag 115904/2279242 1106.80/1088.63 c cleaning 11141 clauses out of 22283 with flag 140319/2291241 1112.62/1094.35 c cleaning 12067 clauses out of 24142 with flag 166576/2304241 1118.61/1100.29 c cleaning 13035 clauses out of 26076 with flag 194578/2318242 1125.17/1106.64 c cleaning 14020 clauses out of 28040 with flag 224621/2333241 1132.96/1114.32 c cleaning 15008 clauses out of 30020 with flag 256996/2349241 1140.68/1121.95 c cleaning 16004 clauses out of 32013 with flag 291679/2366242 1149.02/1130.19 c cleaning 17004 clauses out of 34008 with flag 328123/2384241 1158.74/1139.65 c cleaning 18001 clauses out of 36005 with flag 367579/2403242 1168.05/1148.83 c cleaning 18998 clauses out of 38004 with flag 408146/2423242 1177.81/1158.44 c cleaning 20001 clauses out of 40006 with flag 450799/2444242 1188.81/1169.24 c cleaning 21000 clauses out of 42004 with flag 496070/2466241 1200.06/1180.29 c cleaning 22003 clauses out of 44005 with flag 543078/2489242 1211.30/1191.29 c cleaning 22999 clauses out of 46002 with flag 591422/2513242 1223.30/1203.02 c cleaning 23998 clauses out of 48002 with flag 641686/2538241 1235.42/1214.87 c cleaning 24998 clauses out of 50004 with flag 694061/2564241 1249.63/1228.89 c cleaning 26000 clauses out of 52007 with flag 748704/2591242 1263.01/1242.02 c cleaning 26999 clauses out of 54007 with flag 805137/2619242 1276.85/1255.73 c cleaning 28002 clauses out of 56007 with flag 863609/2648241 1280.59/1259.43 c Got one! Elapsed wall clock time (in seconds):1259.315 1280.59/1259.43 o -3661 1283.47/1262.27 c cleaning 20939 clauses out of 41889 with flag 10771/2662125 1286.57/1265.37 c cleaning 13471 clauses out of 26951 with flag 23386/2668126 1289.98/1268.71 c cleaning 10237 clauses out of 20480 with flag 38084/2675126 1293.70/1272.45 c cleaning 9117 clauses out of 18242 with flag 54374/2683125 1297.64/1276.36 c cleaning 9058 clauses out of 18126 with flag 72851/2692126 1301.67/1280.32 c cleaning 9530 clauses out of 19067 with flag 93433/2702125 1305.90/1284.53 c cleaning 10266 clauses out of 20537 with flag 115983/2713125 1310.83/1289.50 c cleaning 11134 clauses out of 22272 with flag 140797/2725126 1316.59/1295.14 c cleaning 12065 clauses out of 24137 with flag 167897/2738125 1322.70/1301.15 c cleaning 13028 clauses out of 26072 with flag 196566/2752125 1329.05/1307.47 c cleaning 14019 clauses out of 28044 with flag 227553/2767125 1335.43/1313.78 c cleaning 15011 clauses out of 30025 with flag 260515/2783125 1342.43/1320.68 c cleaning 16006 clauses out of 32015 with flag 295706/2800126 1351.17/1329.12 c cleaning 17003 clauses out of 34009 with flag 332698/2818126 1359.69/1337.51 c cleaning 17999 clauses out of 36005 with flag 371571/2837125 1368.51/1346.28 c cleaning 19003 clauses out of 38007 with flag 412521/2857126 1377.18/1354.71 c cleaning 19996 clauses out of 40004 with flag 455233/2878126 1386.74/1364.12 c cleaning 21003 clauses out of 42007 with flag 501228/2900125 1397.30/1374.58 c cleaning 22003 clauses out of 44006 with flag 549631/2923127 1408.22/1385.25 c cleaning 22996 clauses out of 46001 with flag 597739/2947125 1419.35/1396.18 c cleaning 24002 clauses out of 48005 with flag 648130/2972125 1431.95/1408.51 c cleaning 25001 clauses out of 50004 with flag 700647/2998126 1444.58/1420.97 c cleaning 26001 clauses out of 52002 with flag 755053/3025125 1459.04/1435.11 c cleaning 26994 clauses out of 54002 with flag 811849/3053126 1474.60/1450.43 c cleaning 27997 clauses out of 56008 with flag 870946/3082126 1491.32/1466.89 c cleaning 29001 clauses out of 58011 with flag 932032/3112126 1508.80/1484.08 c cleaning 30001 clauses out of 60009 with flag 995029/3143125 1527.48/1502.47 c cleaning 30998 clauses out of 62008 with flag 1060634/3175125 1546.83/1521.53 c cleaning 32002 clauses out of 64010 with flag 1128793/3208125 1567.09/1541.41 c cleaning 33002 clauses out of 66008 with flag 1199109/3242125 1587.27/1561.36 c cleaning 34002 clauses out of 68007 with flag 1271148/3277126 1608.78/1582.52 c cleaning 34998 clauses out of 70004 with flag 1345208/3313125 1631.29/1604.61 c cleaning 36000 clauses out of 72007 with flag 1422275/3350126 1654.11/1627.18 c cleaning 36998 clauses out of 74006 with flag 1501345/3388125 1677.51/1650.14 c cleaning 38001 clauses out of 76008 with flag 1582670/3427125 1701.89/1674.20 c cleaning 39000 clauses out of 78008 with flag 1665254/3467126 1727.31/1699.18 c cleaning 40001 clauses out of 80007 with flag 1750706/3508125 1753.79/1725.17 c cleaning 40998 clauses out of 82007 with flag 1838385/3550126 1781.32/1752.16 c cleaning 42000 clauses out of 84008 with flag 1928271/3593125 1800.06/1770.50 c starts : 4265 1800.06/1770.50 c conflicts : 3625643 1800.06/1770.50 c decisions : 3711574 1800.06/1770.50 c propagations : 829141364 1800.06/1770.50 c inspects : 11352014109 1800.06/1770.50 c shortcuts : 0 1800.06/1770.50 c learnt literals : 0 1800.06/1770.50 c learnt binary clauses : 0 1800.06/1770.50 c learnt ternary clauses : 31 1800.06/1770.50 c learnt constraints : 3625642 1800.06/1770.50 c ignored constraints : 0 1800.06/1770.50 c root simplifications : 0 1800.06/1770.50 c removed literals (reason simplification) : 0 1800.06/1770.50 c reason swapping (by a shorter reason) : 0 1800.06/1770.50 c Calls to reduceDB : 225 1800.06/1770.50 c Number of update (reduction) of LBD : 6120 1800.06/1770.50 c Imported unit clauses : 0 1800.06/1770.50 c number of reductions to clauses (during analyze) : 0 1800.06/1770.50 c number of learned constraints concerned by reduction : 0 1800.06/1770.50 c number of learning phase by resolution : 0 1800.06/1770.50 c number of learning phase by cutting planes : 0 1800.06/1770.50 c speed (assignments/second) : 468409.6919982826 1800.06/1770.50 c non guided choices 0 1800.06/1770.52 c learnt constraints type 1800.06/1770.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74526 1800.06/1770.52 s SATISFIABLE 1800.06/1770.52 c Found 113 solution(s) 1800.06/1770.53 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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 x1375 x1376 -x1377 x1378 x1379 -x1380 -x1381 x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 x1440 x1441 -x1442 x1443 x1444 -x1445 x1446 x1447 -x1448 x1449 x1450 -x1451 x1452 x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 x1460 x1461 -x1462 -x1463 x1464 x1465 -x1466 x1467 x1468 -x1469 -x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 -x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 x1715 x1716 -x1717 x1718 x1719 -x1720 -x1721 x1722 x1723 -x1724 x1725 -x1726 x1727 x1728 -x1729 x1730 x1731 -x1732 -x1733 x1734 x1735 -x1736 x1737 -x1738 x1739 -x1740 x1741 x1742 -x1743 -x1744 x1745 -x1746 x1747 -x1748 -x1749 x1750 x1751 -x1752 -x1753 x1754 x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 x1772 -x1773 -x1774 -x1775 x1776 x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 x2309 -x2310 x2311 x2312 -x2313 -x2314 x2315 x2316 -x2317 x2318 -x2319 x2320 x2321 -x2322 x2323 x2324 -x2325 -x2326 x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 x2334 x2335 -x2336 -x2337 x2338 x2339 -x2340 x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 x2357 x2358 -x2359 x2360 -x2361 x2362 -x2363 -x2364 x2365 x2366 -x2367 x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 x2385 -x2386 x2387 -x2388 x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 x2398 -x2399 x2400 x2401 -x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 x2409 -x2410 x2411 x2412 -x2413 -x2414 x2415 x2416 -x2417 x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 x2434 x2435 -x2436 x2437 -x2438 x2439 -x2440 -x2441 x2442 x2443 -x2444 x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 x2463 -x2464 x2465 -x2466 x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 x2477 x2478 -x2479 -x2480 x2481 x2482 -x2483 x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 x2500 x2501 -x2502 x2503 -x2504 x2505 -x2506 -x2507 x2508 x2509 -x2510 x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 x2529 -x2530 x2531 -x2532 x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 x2555 x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 x2563 x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 x2584 -x2585 x2586 -x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 x2645 -x2646 x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 x2665 -x2666 x2667 -x2668 x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 -x2694 x2695 -x2696 x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 x2822 x2823 x2824 x2825 -x2826 x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 x2857 x2858 x2859 -x2860 x2861 x2862 -x2863 -x2864 x2865 x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 x2937 x2938 -x2939 x2940 x2941 -x2942 -x2943 x2944 x2945 -x2946 x2947 -x2948 x2949 x2950 x2951 -x2952 x2953 x2954 -x2955 -x2956 x2957 x2958 -x2959 x2960 -x2961 x2962 x2963 -x2964 x2965 x2966 -x2967 -x2968 x2969 x2970 -x2971 x2972 -x2973 x2974 -x2975 x2976 x2977 -x2978 -x2979 x2980 x2981 -x2982 x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 x2999 x3000 -x3001 x3002 -x3003 x3004 -x3005 -x3006 x3007 x3008 -x3009 x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 x3028 -x3029 x3030 -x3031 x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 1800.06/1770.54 c objective function=-3661 1800.06/1770.54 c Total wall clock time (in seconds): 1770.423
OK -3661
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-4118146-1467224092/watcher-4118146-1467224092 -o /tmp/evaluation-result-4118146-1467224092/solver-4118146-1467224092 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118146-1467224092.opb pid=7238 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.29 2.28 2.21 4/196 7241 /proc/meminfo: memFree=26070444/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9224 CPUtime=0 cores=1,3,5,7 /proc/7241/stat : 7241 (java) R 7238 7241 4818 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 3361730 9445376 74 33554432000 1073741824 1073778376 140736580498080 140736580495208 273896479517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2306 91 73 9 0 38 0 [startup+0.100061 s] /proc/loadavg: 2.29 2.28 2.21 4/196 7241 /proc/meminfo: memFree=26070444/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 3361730 9787879424 6028 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2389619 6028 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 2.29 2.28 2.21 4/196 7241 /proc/meminfo: memFree=26070444/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 5005 0 1 0 27 1 0 0 20 0 18 0 3361730 9787879424 6999 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2389619 6999 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 2.29 2.28 2.21 4/196 7241 /proc/meminfo: memFree=26070444/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 5901 0 1 0 48 2 0 0 20 0 18 0 3361730 9787879424 8865 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2389619 8865 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700295 s] /proc/loadavg: 2.29 2.28 2.21 4/196 7241 /proc/meminfo: memFree=26070444/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=1.67 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 12425 0 1 0 164 3 0 0 20 0 19 0 3361730 9856040960 17688 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 17688 2270 9 0 2396937 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9625040 [startup+1.50082 s] /proc/loadavg: 2.29 2.28 2.21 4/215 7260 /proc/meminfo: memFree=25991892/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=2.59 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 12443 0 1 0 256 3 0 0 20 0 19 0 3361730 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 25370 2270 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 2455 0 1 0 144 2 0 0 20 0 19 0 3361731 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578522520040 140578390964746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3271 0 0 0 60 0 0 0 20 0 19 0 3361736 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 5440 0 0 0 49 0 0 0 20 0 19 0 3361736 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 25370 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 9625040 [startup+3.10083 s] /proc/loadavg: 2.29 2.28 2.21 4/215 7260 /proc/meminfo: memFree=25950684/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=4.24 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 13378 0 1 0 420 4 0 0 20 0 19 0 3361730 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 38317 2271 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 2480 0 1 0 303 3 0 0 20 0 19 0 3361731 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578522513712 140578390873347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3271 0 0 0 60 0 0 0 20 0 19 0 3361736 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 6350 0 0 0 55 0 0 0 20 0 19 0 3361736 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 38317 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.27 2.28 2.21 3/215 7260 /proc/meminfo: memFree=25880252/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=7.54 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 13472 0 1 0 747 7 0 0 20 0 19 0 3361730 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 48855 2288 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=6.23 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 2490 0 1 0 620 3 0 0 20 0 19 0 3361731 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578522520072 140578390284154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3361732 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3275 0 0 0 61 0 0 0 20 0 19 0 3361736 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 6352 0 0 0 58 0 0 0 20 0 19 0 3361736 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 48855 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.54 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 195552 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1689.86 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.20 2.25 2.26 3/215 7368 /proc/meminfo: memFree=26049996/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=1750.94 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 29903 0 1 0 174841 253 0 0 20 0 19 0 3361730 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 204184 2297 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=1702.4 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 3053 0 1 0 170210 30 0 0 20 0 19 0 3361731 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578522520800 140578390904962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=4.88 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 1218 0 0 0 463 25 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=4.55 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 1462 0 0 0 429 26 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=4.9 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 2006 0 0 0 464 26 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=4.86 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 1959 0 0 0 459 27 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 1773 0 0 0 469 34 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 2014 0 0 0 453 27 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=4.98 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 1850 0 0 0 469 29 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=5 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 1196 0 0 0 472 28 0 0 20 0 19 0 3361732 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=3.9 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 2357 0 0 0 381 9 0 0 20 0 19 0 3361734 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3275 0 0 0 62 0 0 0 20 0 19 0 3361736 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 6379 0 0 0 64 0 0 0 20 0 19 0 3361736 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 99 0 0 0 17 21 0 0 20 0 19 0 3361736 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 204184 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1750.94 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1770.5 s] /proc/loadavg: 2.13 2.22 2.25 3/215 7369 /proc/meminfo: memFree=25917124/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 31812 0 1 0 179740 266 0 0 20 0 19 0 3361730 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 233527 2297 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=1749.93 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 3066 0 1 0 174962 31 0 0 20 0 19 0 3361731 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578522520848 140578390952881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 1509 0 0 0 477 26 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=4.71 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 1515 0 0 0 444 27 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=5.05 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 2034 0 0 0 478 27 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 2352 0 0 0 475 28 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=5.17 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 1804 0 0 0 482 35 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=5 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 2299 0 0 0 470 30 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=5.15 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 2332 0 0 0 484 31 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=5.16 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 1416 0 0 0 486 30 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=4.07 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 2468 0 0 0 398 9 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3275 0 0 0 62 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 6379 0 0 0 64 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 101 0 0 0 17 22 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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 7241 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1770.5 s] /proc/loadavg: 2.13 2.22 2.25 3/215 7369 /proc/meminfo: memFree=25917124/32872528 swapFree=1483896/1661724 [pid=7241] ppid=7238 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7 /proc/7241/stat : 7241 (java) S 7238 7241 4818 0 -1 4202496 31812 0 1 0 179740 266 0 0 20 0 19 0 3361730 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140736580489216 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7241/statm: 2406260 233527 2297 9 0 2396937 0 [pid=7241/tid=7243] ppid=7238 vsize=9625040 CPUtime=1749.93 cores=1,3,5,7 /proc/7241/task/7243/stat : 7243 (java) R 7238 7241 4818 0 -1 4202560 3066 0 1 0 174962 31 0 0 20 0 19 0 3361731 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578522520848 140578390952881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7244] ppid=7238 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/7241/task/7244/stat : 7244 (java) S 7238 7241 4818 0 -1 4202560 1509 0 0 0 477 26 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578511584168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7245] ppid=7238 vsize=9625040 CPUtime=4.71 cores=1,3,5,7 /proc/7241/task/7245/stat : 7245 (java) S 7238 7241 4818 0 -1 4202560 1515 0 0 0 444 27 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578510531624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7246] ppid=7238 vsize=9625040 CPUtime=5.05 cores=1,3,5,7 /proc/7241/task/7246/stat : 7246 (java) S 7238 7241 4818 0 -1 4202560 2034 0 0 0 478 27 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578509478568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7247] ppid=7238 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/7241/task/7247/stat : 7247 (java) S 7238 7241 4818 0 -1 4202560 2352 0 0 0 475 28 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578362440488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7248] ppid=7238 vsize=9625040 CPUtime=5.17 cores=1,3,5,7 /proc/7241/task/7248/stat : 7248 (java) S 7238 7241 4818 0 -1 4202560 1804 0 0 0 482 35 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578361387432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7249] ppid=7238 vsize=9625040 CPUtime=5 cores=1,3,5,7 /proc/7241/task/7249/stat : 7249 (java) S 7238 7241 4818 0 -1 4202560 2299 0 0 0 470 30 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578360334888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7250] ppid=7238 vsize=9625040 CPUtime=5.15 cores=1,3,5,7 /proc/7241/task/7250/stat : 7250 (java) S 7238 7241 4818 0 -1 4202560 2332 0 0 0 484 31 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578359281832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7251] ppid=7238 vsize=9625040 CPUtime=5.16 cores=1,3,5,7 /proc/7241/task/7251/stat : 7251 (java) S 7238 7241 4818 0 -1 4202560 1416 0 0 0 486 30 0 0 20 0 19 0 3361732 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578358229288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7252] ppid=7238 vsize=9625040 CPUtime=4.07 cores=1,3,5,7 /proc/7241/task/7252/stat : 7252 (java) S 7238 7241 4818 0 -1 4202560 2468 0 0 0 398 9 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578346031976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7241/tid=7253] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7253/stat : 7253 (java) S 7238 7241 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578344978296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7254] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7254/stat : 7254 (java) S 7238 7241 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3361734 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578343925128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7255] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7255/stat : 7255 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578342873872 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7256] ppid=7238 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/7241/task/7256/stat : 7256 (java) S 7238 7241 4818 0 -1 4202560 3275 0 0 0 62 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578341820728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7241/tid=7257] ppid=7238 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/7241/task/7257/stat : 7257 (java) S 7238 7241 4818 0 -1 4202560 6379 0 0 0 64 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578340768184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7258] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7258/stat : 7258 (java) S 7238 7241 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578339715320 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7241/tid=7259] ppid=7238 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/7241/task/7259/stat : 7259 (java) S 7238 7241 4818 0 -1 4202560 101 0 0 0 17 22 0 0 20 0 19 0 3361736 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578338662984 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7241/tid=7260] ppid=7238 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7241/task/7260/stat : 7260 (java) S 7238 7241 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3361769 9856040960 233527 33554432000 1073741824 1073778376 140736580498080 140578337609256 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7241 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=209390 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=103528 # CPU time returned by wait4() is 1796.31 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1770.56 CPU time (s): 1800.06 CPU user time (s): 1797.4 CPU system time (s): 2.66 CPU usage (%): 101.666 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.21 system time used= 3.10353 maximum resident set size= 934224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31849 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55701 involuntary context switches= 69052 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0425 second user time and 13.124 second system time The end
Begin job on node134 at 2016-06-29 20:14:52 IDJOB=4118146 IDBENCH=111461 IDSOLVER=2546 FILE ID=node134/4118146-1467224092 RUNJOBID= node134-1467208989-4835 PBS_JOBID= 19997576 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118146-1467224092/watcher-4118146-1467224092 -o /tmp/evaluation-result-4118146-1467224092/solver-4118146-1467224092 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118146-1467224092.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 16ff716fa738654c81b01a12ed160a6a RANDOM SEED=890980188 node134.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.738 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.47 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.738 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 : 7358.89 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.738 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.738 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.738 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.54 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.738 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.738 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.738 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26070444 kB Buffers: 130328 kB Cached: 2991248 kB SwapCached: 0 kB Active: 1402228 kB Inactive: 2989768 kB Active(anon): 1273256 kB Inactive(anon): 0 kB Active(file): 128972 kB Inactive(file): 2989768 kB Unevictable: 1661724 kB Mlocked: 1483896 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 3073300 kB Mapped: 21664 kB Shmem: 216 kB Slab: 611476 kB SReclaimable: 55424 kB SUnreclaim: 556052 kB KernelStack: 1776 kB PageTables: 10168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3067944 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1552384 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= 71708 MiB End job on node134 at 2016-06-29 20:44:23