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 | No Cert. | 1800.83 | 1770.93 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.lin.opb |
| MD5SUM | aa8a9bb5624a673cd1fb1d00ce84c217 |
| 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 | -3845 |
| Best CPU time to get the best result obtained on this benchmark | 1800.47 |
| 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 | 5002 |
| Total number of constraints | 9934 |
| Number of constraints which are clauses | 4967 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4967 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 5002 |
| Biggest coefficient in the objective function | 1560 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 270432 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1560 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 270432 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4118290-1467227221.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.74/0.42 c ... done. Wall clock time 0.311s. 0.74/0.42 c declared #vars 5002 0.74/0.42 c #constraints 9934 0.74/0.42 c constraints type 0.74/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4967 0.74/0.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4967 0.74/0.42 c 9934 constraints processed. 0.74/0.42 c objective function length is 5002 literals 0.94/0.50 c SATISFIABLE 0.94/0.50 c OPTIMIZING... 0.94/0.50 c Got one! Elapsed wall clock time (in seconds):0.393 0.94/0.50 o 0 0.94/0.56 c Got one! Elapsed wall clock time (in seconds):0.452 0.94/0.56 o -68 1.20/0.60 c Got one! Elapsed wall clock time (in seconds):0.495 1.20/0.60 o -136 1.20/0.64 c Got one! Elapsed wall clock time (in seconds):0.528 1.20/0.64 o -249 1.20/0.68 c Got one! Elapsed wall clock time (in seconds):0.577 1.20/0.68 o -324 1.50/0.76 c Got one! Elapsed wall clock time (in seconds):0.655 1.50/0.76 o -362 1.80/0.80 c Got one! Elapsed wall clock time (in seconds):0.689 1.80/0.80 o -501 1.80/0.82 c Got one! Elapsed wall clock time (in seconds):0.71 1.80/0.82 o -531 1.80/0.84 c Got one! Elapsed wall clock time (in seconds):0.732 1.80/0.84 o -544 1.80/0.85 c Got one! Elapsed wall clock time (in seconds):0.742 1.80/0.85 o -570 1.80/0.86 c Got one! Elapsed wall clock time (in seconds):0.752 1.80/0.86 o -583 1.80/0.87 c Got one! Elapsed wall clock time (in seconds):0.76 1.80/0.87 o -640 1.80/0.88 c Got one! Elapsed wall clock time (in seconds):0.773 1.80/0.88 o -790 1.95/0.93 c Got one! Elapsed wall clock time (in seconds):0.819 1.95/0.93 o -797 1.95/0.93 c Got one! Elapsed wall clock time (in seconds):0.827 1.95/0.93 o -947 2.04/1.00 c Got one! Elapsed wall clock time (in seconds):0.896 2.04/1.00 o -954 2.04/1.03 c Got one! Elapsed wall clock time (in seconds):0.926 2.04/1.03 o -970 2.04/1.08 c Got one! Elapsed wall clock time (in seconds):0.972 2.04/1.08 o -1016 2.16/1.11 c Got one! Elapsed wall clock time (in seconds):1.003 2.16/1.11 o -1019 2.16/1.13 c Got one! Elapsed wall clock time (in seconds):1.021 2.16/1.13 o -1035 2.16/1.14 c Got one! Elapsed wall clock time (in seconds):1.031 2.16/1.14 o -1042 2.16/1.15 c Got one! Elapsed wall clock time (in seconds):1.04 2.16/1.15 o -1049 2.16/1.15 c Got one! Elapsed wall clock time (in seconds):1.047 2.16/1.15 o -1051 2.16/1.16 c Got one! Elapsed wall clock time (in seconds):1.057 2.16/1.16 o -1097 2.25/1.21 c Got one! Elapsed wall clock time (in seconds):1.103 2.25/1.21 o -1122 2.25/1.25 c Got one! Elapsed wall clock time (in seconds):1.139 2.25/1.25 o -1126 2.25/1.26 c Got one! Elapsed wall clock time (in seconds):1.157 2.25/1.26 o -1291 2.63/1.59 c Got one! Elapsed wall clock time (in seconds):1.485 2.63/1.59 o -1298 2.73/1.60 c Got one! Elapsed wall clock time (in seconds):1.497 2.73/1.60 o -1465 3.03/1.93 c Got one! Elapsed wall clock time (in seconds):1.822 3.03/1.93 o -1468 3.23/2.17 c Got one! Elapsed wall clock time (in seconds):2.059 3.23/2.17 o -1478 3.23/2.20 c Got one! Elapsed wall clock time (in seconds):2.096 3.23/2.20 o -1481 3.34/2.22 c Got one! Elapsed wall clock time (in seconds):2.112 3.34/2.22 o -1485 3.34/2.25 c Got one! Elapsed wall clock time (in seconds):2.14 3.34/2.25 o -1656 3.89/2.78 c Got one! Elapsed wall clock time (in seconds):2.67 3.89/2.78 o -1666 4.29/3.16 c Got one! Elapsed wall clock time (in seconds):3.057 4.29/3.16 o -1672 4.60/3.41 c Got one! Elapsed wall clock time (in seconds):3.307 4.60/3.41 o -1818 5.61/4.43 c Got one! Elapsed wall clock time (in seconds):4.321 5.61/4.43 o -1863 6.51/5.22 c Got one! Elapsed wall clock time (in seconds):5.111 6.51/5.22 o -1868 6.92/5.67 c Got one! Elapsed wall clock time (in seconds):5.56 6.92/5.67 o -1979 8.73/7.49 c cleaning 5301 clauses out of 10602 with flag 6001/10602 8.95/7.69 c Got one! Elapsed wall clock time (in seconds):7.583 8.95/7.69 o -2020 10.32/8.94 c Got one! Elapsed wall clock time (in seconds):8.835 10.32/8.94 o -2028 10.92/9.56 c Got one! Elapsed wall clock time (in seconds):9.451 10.92/9.56 o -2029 11.12/9.75 c Got one! Elapsed wall clock time (in seconds):9.645 11.12/9.75 o -2030 11.22/9.80 c Got one! Elapsed wall clock time (in seconds):9.693 11.22/9.80 o -2033 11.22/9.83 c Got one! Elapsed wall clock time (in seconds):9.718 11.22/9.83 o -2036 11.22/9.83 c Got one! Elapsed wall clock time (in seconds):9.727 11.22/9.83 o -2038 11.32/9.93 c Got one! Elapsed wall clock time (in seconds):9.819 11.32/9.93 o -2042 11.42/10.09 c Got one! Elapsed wall clock time (in seconds):9.986 11.42/10.09 o -2046 11.52/10.11 c Got one! Elapsed wall clock time (in seconds):10.0 11.52/10.11 o -2054 11.52/10.12 c Got one! Elapsed wall clock time (in seconds):10.012 11.52/10.12 o -2059 11.52/10.13 c Got one! Elapsed wall clock time (in seconds):10.027 11.52/10.13 o -2064 11.62/10.27 c Got one! Elapsed wall clock time (in seconds):10.165 11.62/10.27 o -2141 13.52/12.12 c cleaning 6340 clauses out of 12679 with flag 6003/17980 15.87/14.33 c Got one! Elapsed wall clock time (in seconds):14.227 15.87/14.33 o -2195 17.07/15.55 c cleaning 6060 clauses out of 12119 with flag 4004/23760 18.29/16.70 c Got one! Elapsed wall clock time (in seconds):16.591 18.29/16.70 o -2234 19.50/17.91 c Got one! Elapsed wall clock time (in seconds):17.801 19.50/17.91 o -2241 20.10/18.54 c Got one! Elapsed wall clock time (in seconds):18.433 20.10/18.54 o -2242 20.20/18.66 c Got one! Elapsed wall clock time (in seconds):18.551 20.20/18.66 o -2244 20.40/18.83 c Got one! Elapsed wall clock time (in seconds):18.723 20.40/18.83 o -2248 20.61/18.90 c Got one! Elapsed wall clock time (in seconds):18.791 20.61/18.90 o -2261 20.61/18.92 c Got one! Elapsed wall clock time (in seconds):18.81 20.61/18.92 o -2264 20.61/18.98 c Got one! Elapsed wall clock time (in seconds):18.87 20.61/18.98 o -2270 20.93/19.21 c Got one! Elapsed wall clock time (in seconds):19.101 20.93/19.21 o -2360 21.54/19.82 c cleaning 6515 clauses out of 13033 with flag 2003/30734 24.94/23.25 c cleaning 6258 clauses out of 12519 with flag 14005/36735 27.94/26.11 c Got one! Elapsed wall clock time (in seconds):26.002 27.94/26.11 o -2364 28.44/26.68 c cleaning 6110 clauses out of 12222 with flag 2004/42696 30.26/28.42 c Got one! Elapsed wall clock time (in seconds):28.311 30.26/28.42 o -2370 31.36/29.52 c Got one! Elapsed wall clock time (in seconds):29.417 31.36/29.52 o -2372 32.20/30.25 c cleaning 6014 clauses out of 12035 with flag 2032/48619 32.30/30.38 c Got one! Elapsed wall clock time (in seconds):30.273 32.30/30.38 o -2375 32.60/30.66 c Got one! Elapsed wall clock time (in seconds):30.555 32.60/30.66 o -2378 32.70/30.74 c Got one! Elapsed wall clock time (in seconds):30.63 32.70/30.74 o -2381 32.70/30.77 c Got one! Elapsed wall clock time (in seconds):30.661 32.70/30.77 o -2384 32.81/30.85 c Got one! Elapsed wall clock time (in seconds):30.746 32.81/30.85 o -2452 35.70/33.79 c Got one! Elapsed wall clock time (in seconds):33.679 35.70/33.79 o -2453 36.40/34.43 c cleaning 6422 clauses out of 12843 with flag 2007/55441 36.70/34.74 c Got one! Elapsed wall clock time (in seconds):34.634 36.70/34.74 o -2455 37.16/35.20 c Got one! Elapsed wall clock time (in seconds):35.096 37.16/35.20 o -2458 37.26/35.23 c Got one! Elapsed wall clock time (in seconds):35.122 37.26/35.23 o -2464 37.26/35.26 c Got one! Elapsed wall clock time (in seconds):35.148 37.26/35.26 o -2470 37.36/35.31 c Got one! Elapsed wall clock time (in seconds):35.199 37.36/35.31 o -2476 37.76/35.71 c Got one! Elapsed wall clock time (in seconds):35.605 37.76/35.71 o -2479 40.56/38.60 c cleaning 6739 clauses out of 13488 with flag 10003/62508 44.24/42.17 c cleaning 6372 clauses out of 12748 with flag 22001/68507 47.47/45.28 c Got one! Elapsed wall clock time (in seconds):45.172 47.47/45.28 o -2480 50.46/48.20 c cleaning 8352 clauses out of 16706 with flag 10126/78837 53.39/51.05 c Got one! Elapsed wall clock time (in seconds):50.94 53.39/51.05 o -2511 53.99/51.62 c cleaning 7014 clauses out of 14031 with flag 2002/84514 57.55/55.16 c cleaning 6508 clauses out of 13017 with flag 14002/90514 57.95/55.59 c Got one! Elapsed wall clock time (in seconds):55.483 57.95/55.59 o -2523 60.55/58.10 c Got one! Elapsed wall clock time (in seconds):57.993 60.55/58.10 o -2528 61.05/58.67 c Got one! Elapsed wall clock time (in seconds):58.565 61.05/58.67 o -2537 61.45/59.00 c Got one! Elapsed wall clock time (in seconds):58.893 61.45/59.00 o -2538 61.45/59.02 c Got one! Elapsed wall clock time (in seconds):58.91 61.45/59.02 o -2540 61.45/59.03 c Got one! Elapsed wall clock time (in seconds):58.922 61.45/59.03 o -2543 61.45/59.04 c Got one! Elapsed wall clock time (in seconds):58.93 61.45/59.04 o -2544 61.45/59.05 c Got one! Elapsed wall clock time (in seconds):58.939 61.45/59.05 o -2545 61.45/59.06 c Got one! Elapsed wall clock time (in seconds):58.955 61.45/59.06 o -2550 61.72/59.29 c Got one! Elapsed wall clock time (in seconds):59.183 61.72/59.29 o -2557 61.82/59.31 c Got one! Elapsed wall clock time (in seconds):59.199 61.82/59.31 o -2558 61.82/59.32 c Got one! Elapsed wall clock time (in seconds):59.214 61.82/59.32 o -2559 61.82/59.33 c Got one! Elapsed wall clock time (in seconds):59.22 61.82/59.33 o -2560 61.92/59.42 c Got one! Elapsed wall clock time (in seconds):59.315 61.92/59.42 o -2562 62.42/59.99 c Got one! Elapsed wall clock time (in seconds):59.883 62.42/59.99 o -2566 62.52/60.01 c Got one! Elapsed wall clock time (in seconds):59.906 62.52/60.01 o -2569 62.52/60.02 c Got one! Elapsed wall clock time (in seconds):59.916 62.52/60.02 o -2570 62.52/60.04 c Got one! Elapsed wall clock time (in seconds):59.933 62.52/60.04 o -2571 62.52/60.05 c Got one! Elapsed wall clock time (in seconds):59.94 62.52/60.05 o -2573 62.52/60.06 c Got one! Elapsed wall clock time (in seconds):59.954 62.52/60.06 o -2575 62.52/60.08 c Got one! Elapsed wall clock time (in seconds):59.978 62.52/60.08 o -2579 62.62/60.12 c Got one! Elapsed wall clock time (in seconds):60.008 62.62/60.12 o -2581 62.72/60.23 c Got one! Elapsed wall clock time (in seconds):60.119 62.72/60.23 o -2588 62.72/60.27 c Got one! Elapsed wall clock time (in seconds):60.167 62.72/60.27 o -2589 62.72/60.28 c Got one! Elapsed wall clock time (in seconds):60.177 62.72/60.28 o -2591 63.22/60.70 c Got one! Elapsed wall clock time (in seconds):60.595 63.22/60.70 o -2592 63.82/61.34 c cleaning 8150 clauses out of 16304 with flag 2005/100309 67.57/65.02 c cleaning 7075 clauses out of 14154 with flag 14005/106309 67.76/65.23 c Got one! Elapsed wall clock time (in seconds):65.127 67.76/65.23 o -2594 68.06/65.52 c Got one! Elapsed wall clock time (in seconds):65.414 68.06/65.52 o -2606 68.67/66.17 c Got one! Elapsed wall clock time (in seconds):66.059 68.67/66.17 o -2613 68.96/66.49 c Got one! Elapsed wall clock time (in seconds):66.382 68.96/66.49 o -2619 69.06/66.58 c Got one! Elapsed wall clock time (in seconds):66.476 69.06/66.58 o -2622 69.16/66.60 c Got one! Elapsed wall clock time (in seconds):66.491 69.16/66.60 o -2623 69.36/66.84 c Got one! Elapsed wall clock time (in seconds):66.729 69.36/66.84 o -2643 70.12/67.53 c Got one! Elapsed wall clock time (in seconds):67.428 70.12/67.53 o -2644 70.22/67.64 c Got one! Elapsed wall clock time (in seconds):67.532 70.22/67.64 o -2649 70.22/67.69 c Got one! Elapsed wall clock time (in seconds):67.579 70.22/67.69 o -2654 70.72/68.19 c Got one! Elapsed wall clock time (in seconds):68.08 70.72/68.19 o -2665 72.12/69.56 c Got one! Elapsed wall clock time (in seconds):69.45 72.12/69.56 o -2669 72.22/69.66 c Got one! Elapsed wall clock time (in seconds):69.551 72.22/69.66 o -2670 72.22/69.68 c Got one! Elapsed wall clock time (in seconds):69.57 72.22/69.68 o -2672 72.22/69.69 c Got one! Elapsed wall clock time (in seconds):69.579 72.22/69.69 o -2674 72.32/69.72 c Got one! Elapsed wall clock time (in seconds):69.611 72.32/69.72 o -2680 72.32/69.77 c Got one! Elapsed wall clock time (in seconds):69.668 72.32/69.77 o -2685 72.42/69.84 c Got one! Elapsed wall clock time (in seconds):69.732 72.42/69.84 o -2686 73.02/70.45 c cleaning 7769 clauses out of 15538 with flag 2028/114768 73.42/70.80 c Got one! Elapsed wall clock time (in seconds):70.691 73.42/70.80 o -2801 76.25/73.68 c cleaning 6685 clauses out of 13377 with flag 10001/120376 79.69/77.10 c cleaning 6345 clauses out of 12692 with flag 22001/126376 83.81/81.14 c cleaning 6672 clauses out of 13347 with flag 36001/133376 88.24/85.53 c cleaning 7335 clauses out of 14676 with flag 52003/141377 93.28/90.57 c cleaning 8168 clauses out of 16341 with flag 70003/150377 97.66/94.85 c Got one! Elapsed wall clock time (in seconds):94.744 97.66/94.85 o -2838 100.77/97.93 c cleaning 10366 clauses out of 20736 with flag 10002/162940 104.42/101.55 c cleaning 8181 clauses out of 16370 with flag 22002/168940 108.64/105.73 c cleaning 7591 clauses out of 15190 with flag 36004/175941 113.51/110.53 c cleaning 7799 clauses out of 15598 with flag 52002/183940 115.01/112.05 c Got one! Elapsed wall clock time (in seconds):111.943 115.01/112.05 o -2855 116.87/113.82 c cleaning 6696 clauses out of 13393 with flag 6003/189534 120.41/117.31 c cleaning 6348 clauses out of 12697 with flag 18003/195534 124.34/121.25 c cleaning 6672 clauses out of 13350 with flag 32005/202535 124.64/121.51 c Got one! Elapsed wall clock time (in seconds):121.4 124.64/121.51 o -2856 127.62/124.45 c Got one! Elapsed wall clock time (in seconds):124.348 127.62/124.45 o -2857 128.31/125.14 c cleaning 6433 clauses out of 12871 with flag 2005/208728 128.72/125.59 c Got one! Elapsed wall clock time (in seconds):125.482 128.72/125.59 o -2860 128.91/125.78 c Got one! Elapsed wall clock time (in seconds):125.675 128.91/125.78 o -2863 129.01/125.86 c Got one! Elapsed wall clock time (in seconds):125.751 129.01/125.86 o -2864 129.61/126.48 c Got one! Elapsed wall clock time (in seconds):126.374 129.61/126.48 o -2873 132.53/129.37 c Got one! Elapsed wall clock time (in seconds):129.264 132.53/129.37 o -2878 132.63/129.45 c Got one! Elapsed wall clock time (in seconds):129.347 132.63/129.45 o -2879 132.73/129.50 c Got one! Elapsed wall clock time (in seconds):129.398 132.73/129.50 o -2881 132.73/129.52 c Got one! Elapsed wall clock time (in seconds):129.41 132.73/129.52 o -2882 132.73/129.53 c Got one! Elapsed wall clock time (in seconds):129.419 132.73/129.53 o -2884 132.83/129.66 c Got one! Elapsed wall clock time (in seconds):129.556 132.83/129.66 o -2887 132.93/129.70 c Got one! Elapsed wall clock time (in seconds):129.596 132.93/129.70 o -2888 132.93/129.71 c Got one! Elapsed wall clock time (in seconds):129.605 132.93/129.71 o -2889 132.93/129.74 c Got one! Elapsed wall clock time (in seconds):129.635 132.93/129.74 o -2890 132.93/129.77 c Got one! Elapsed wall clock time (in seconds):129.66 132.93/129.77 o -2895 133.19/129.98 c Got one! Elapsed wall clock time (in seconds):129.871 133.19/129.98 o -2896 133.88/130.65 c cleaning 7340 clauses out of 14682 with flag 2054/216972 134.98/131.71 c Got one! Elapsed wall clock time (in seconds):131.601 134.98/131.71 o -2987 137.42/134.14 c cleaning 6509 clauses out of 13027 with flag 8003/222657 141.15/137.82 c cleaning 6257 clauses out of 12518 with flag 20003/228657 145.28/141.99 c cleaning 6627 clauses out of 13260 with flag 34001/235656 150.23/146.85 c cleaning 7315 clauses out of 14633 with flag 50001/243656 155.98/152.57 c cleaning 8160 clauses out of 16319 with flag 68003/252657 162.29/158.71 c cleaning 9078 clauses out of 18159 with flag 88003/262657 168.93/165.21 c cleaning 10038 clauses out of 20080 with flag 110001/273656 175.98/172.15 c cleaning 11022 clauses out of 22043 with flag 134003/285657 184.24/180.28 c cleaning 12008 clauses out of 24020 with flag 160001/298656 191.58/187.45 c Got one! Elapsed wall clock time (in seconds):187.34 191.58/187.45 o -2998 195.01/190.88 c cleaning 14396 clauses out of 28798 with flag 10002/315442 198.86/194.70 c cleaning 10201 clauses out of 20403 with flag 22004/321443 203.44/199.16 c cleaning 8598 clauses out of 17203 with flag 36006/328444 208.55/204.29 c cleaning 8295 clauses out of 16604 with flag 52004/336443 214.38/209.92 c cleaning 8653 clauses out of 17308 with flag 70002/345442 220.48/215.98 c cleaning 9325 clauses out of 18656 with flag 90004/355443 227.39/222.73 c cleaning 10165 clauses out of 20330 with flag 112002/366442 227.49/222.83 c Got one! Elapsed wall clock time (in seconds):222.725 227.49/222.83 o -3003 230.43/225.70 c cleaning 7657 clauses out of 15320 with flag 10005/371597 233.87/229.17 c cleaning 6832 clauses out of 13663 with flag 22005/377597 238.10/233.34 c cleaning 6912 clauses out of 13830 with flag 36003/384596 243.03/238.15 c cleaning 7457 clauses out of 14918 with flag 52003/392596 245.56/240.62 c Got one! Elapsed wall clock time (in seconds):240.513 245.56/240.62 o -3006 246.16/241.25 c cleaning 6408 clauses out of 12830 with flag 2006/397965 248.10/243.16 c Got one! Elapsed wall clock time (in seconds):243.052 248.10/243.16 o -3010 249.42/244.41 c cleaning 5749 clauses out of 11501 with flag 4005/403044 249.42/244.44 c Got one! Elapsed wall clock time (in seconds):244.333 249.42/244.44 o -3017 249.62/244.67 c Got one! Elapsed wall clock time (in seconds):244.558 249.62/244.67 o -3023 249.62/244.69 c Got one! Elapsed wall clock time (in seconds):244.588 249.62/244.69 o -3024 249.72/244.71 c Got one! Elapsed wall clock time (in seconds):244.599 249.72/244.71 o -3031 250.75/245.76 c Got one! Elapsed wall clock time (in seconds):245.657 250.75/245.76 o -3040 253.27/248.23 c cleaning 5963 clauses out of 11926 with flag 8007/409218 253.27/248.28 c Got one! Elapsed wall clock time (in seconds):248.17 253.27/248.28 o -3050 253.57/248.54 c Got one! Elapsed wall clock time (in seconds):248.433 253.57/248.54 o -3057 253.67/248.63 c Got one! Elapsed wall clock time (in seconds):248.526 253.67/248.63 o -3063 256.13/251.03 c Got one! Elapsed wall clock time (in seconds):250.925 256.13/251.03 o -3064 257.43/252.32 c cleaning 6266 clauses out of 12534 with flag 4025/415789 260.87/255.76 c Got one! Elapsed wall clock time (in seconds):255.652 260.87/255.76 o -3065 261.07/255.94 c Got one! Elapsed wall clock time (in seconds):255.835 261.07/255.94 o -3076 261.07/255.99 c Got one! Elapsed wall clock time (in seconds):255.878 261.07/255.99 o -3080 261.17/256.03 c Got one! Elapsed wall clock time (in seconds):255.919 261.17/256.03 o -3082 261.27/256.17 c Got one! Elapsed wall clock time (in seconds):256.058 261.27/256.17 o -3087 261.63/256.46 c Got one! Elapsed wall clock time (in seconds):256.352 261.63/256.46 o -3088 261.72/256.53 c Got one! Elapsed wall clock time (in seconds):256.419 261.72/256.53 o -3092 262.12/256.95 c Got one! Elapsed wall clock time (in seconds):256.839 262.12/256.95 o -3093 262.12/256.97 c Got one! Elapsed wall clock time (in seconds):256.861 262.12/256.97 o -3094 265.20/259.94 c cleaning 9407 clauses out of 18814 with flag 10149/428335 265.60/260.34 c Got one! Elapsed wall clock time (in seconds):260.235 265.60/260.34 o -3098 268.56/263.24 c cleaning 7564 clauses out of 15137 with flag 10003/434065 272.22/266.87 c cleaning 6782 clauses out of 13572 with flag 22001/440064 276.29/270.84 c cleaning 6890 clauses out of 13790 with flag 36001/447064 280.84/275.38 c cleaning 7448 clauses out of 14901 with flag 52003/455065 286.26/280.63 c cleaning 8220 clauses out of 16453 with flag 70003/464065 292.33/286.64 c cleaning 9111 clauses out of 18232 with flag 90001/474064 299.23/293.47 c cleaning 10057 clauses out of 20122 with flag 112003/485065 307.17/301.27 c cleaning 11029 clauses out of 22064 with flag 136001/497064 315.79/309.64 c cleaning 12013 clauses out of 24036 with flag 162003/510065 324.91/318.66 c cleaning 13010 clauses out of 26023 with flag 190003/524065 334.68/328.24 c cleaning 14002 clauses out of 28012 with flag 220001/539064 345.06/338.30 c cleaning 15005 clauses out of 30011 with flag 252003/555065 355.81/348.96 c cleaning 16001 clauses out of 32005 with flag 286001/572064 367.84/360.75 c cleaning 17003 clauses out of 34005 with flag 322003/590065 381.22/373.96 c cleaning 17999 clauses out of 36001 with flag 360001/609064 382.05/374.75 c Got one! Elapsed wall clock time (in seconds):374.638 382.05/374.75 o -3121 384.55/377.27 c cleaning 11645 clauses out of 23294 with flag 8004/614356 388.53/381.12 c cleaning 8822 clauses out of 17649 with flag 20004/620356 392.89/385.42 c cleaning 7909 clauses out of 15826 with flag 34002/627355 397.67/390.12 c cleaning 7955 clauses out of 15917 with flag 50002/635355 403.39/395.73 c cleaning 8480 clauses out of 16962 with flag 68002/644355 409.64/401.86 c cleaning 9240 clauses out of 18482 with flag 88002/654355 416.69/408.74 c cleaning 10117 clauses out of 20243 with flag 110004/665356 416.99/409.03 c Got one! Elapsed wall clock time (in seconds):408.918 416.99/409.03 o -3125 420.16/412.11 c cleaning 7794 clauses out of 15602 with flag 10072/670832 423.67/415.62 c cleaning 6898 clauses out of 13808 with flag 22112/676832 427.69/419.68 c cleaning 6952 clauses out of 13909 with flag 36147/683831 432.56/424.46 c cleaning 7476 clauses out of 14958 with flag 52149/691832 434.66/426.59 c Got one! Elapsed wall clock time (in seconds):426.48 434.66/426.59 o -3162 436.12/427.95 c cleaning 6495 clauses out of 13000 with flag 4040/697350 440.06/431.81 c cleaning 6248 clauses out of 12505 with flag 16099/703350 444.54/436.28 c cleaning 6629 clauses out of 13258 with flag 30211/710351 445.04/436.79 c Got one! Elapsed wall clock time (in seconds):436.687 445.04/436.79 o -3166 448.31/439.98 c cleaning 6242 clauses out of 12489 with flag 10007/716211 450.31/441.95 c Got one! Elapsed wall clock time (in seconds):441.839 450.31/441.95 o -3170 451.66/443.28 c Got one! Elapsed wall clock time (in seconds):443.174 451.66/443.28 o -3175 452.36/443.94 c cleaning 6289 clauses out of 12586 with flag 2032/722550 452.66/444.22 c Got one! Elapsed wall clock time (in seconds):444.114 452.66/444.22 o -3179 452.66/444.24 c Got one! Elapsed wall clock time (in seconds):444.132 452.66/444.24 o -3180 455.30/446.82 c Got one! Elapsed wall clock time (in seconds):446.714 455.30/446.82 o -3195 455.90/447.46 c cleaning 5966 clauses out of 11941 with flag 2003/728194 459.53/451.08 c cleaning 5985 clauses out of 11976 with flag 14005/734195 463.96/455.41 c cleaning 6493 clauses out of 12991 with flag 28005/741195 469.17/460.54 c cleaning 7246 clauses out of 14497 with flag 44003/749194 474.83/466.12 c cleaning 8126 clauses out of 16252 with flag 62005/758195 480.72/471.95 c cleaning 9060 clauses out of 18126 with flag 82005/768195 487.29/478.48 c cleaning 10033 clauses out of 20066 with flag 104005/779195 491.85/482.99 c Got one! Elapsed wall clock time (in seconds):482.887 491.85/482.99 o -3197 495.32/486.39 c cleaning 11296 clauses out of 22593 with flag 10006/791755 499.26/490.24 c cleaning 8645 clauses out of 17296 with flag 22004/797754 500.47/491.48 c Got one! Elapsed wall clock time (in seconds):491.377 500.47/491.48 o -3198 501.98/492.99 c Got one! Elapsed wall clock time (in seconds):492.885 501.98/492.99 o -3204 502.77/493.77 c Got one! Elapsed wall clock time (in seconds):493.664 502.77/493.77 o -3210 503.53/494.48 c cleaning 7516 clauses out of 15046 with flag 2005/804149 507.17/498.05 c cleaning 6763 clauses out of 13530 with flag 14005/810149 507.77/498.60 c Got one! Elapsed wall clock time (in seconds):498.495 507.77/498.60 o -3211 507.87/498.78 c Got one! Elapsed wall clock time (in seconds):498.676 507.87/498.78 o -3212 507.97/498.84 c Got one! Elapsed wall clock time (in seconds):498.729 507.97/498.84 o -3213 508.07/498.96 c Got one! Elapsed wall clock time (in seconds):498.856 508.07/498.96 o -3221 508.37/499.28 c Got one! Elapsed wall clock time (in seconds):499.176 508.37/499.28 o -3222 508.37/499.29 c Got one! Elapsed wall clock time (in seconds):499.185 508.37/499.29 o -3225 508.47/499.30 c Got one! Elapsed wall clock time (in seconds):499.195 508.47/499.30 o -3229 508.61/499.48 c Got one! Elapsed wall clock time (in seconds):499.368 508.61/499.48 o -3234 509.01/499.81 c Got one! Elapsed wall clock time (in seconds):499.705 509.01/499.81 o -3235 511.97/502.77 c cleaning 7272 clauses out of 14547 with flag 10092/817929 512.66/503.48 c Got one! Elapsed wall clock time (in seconds):503.377 512.66/503.48 o -3236 515.18/505.90 c cleaning 6293 clauses out of 12585 with flag 8007/823239 518.60/509.40 c cleaning 6143 clauses out of 12291 with flag 20005/829238 521.75/512.48 c Got one! Elapsed wall clock time (in seconds):512.376 521.75/512.48 o -3239 522.15/512.82 c Got one! Elapsed wall clock time (in seconds):512.708 522.15/512.82 o -3247 522.35/513.03 c Got one! Elapsed wall clock time (in seconds):512.926 522.35/513.03 o -3250 522.35/513.06 c Got one! Elapsed wall clock time (in seconds):512.95 522.35/513.06 o -3252 522.35/513.08 c Got one! Elapsed wall clock time (in seconds):512.969 522.35/513.08 o -3254 522.65/513.35 c Got one! Elapsed wall clock time (in seconds):513.246 522.65/513.35 o -3255 522.95/513.60 c Got one! Elapsed wall clock time (in seconds):513.496 522.95/513.60 o -3259 522.95/513.63 c Got one! Elapsed wall clock time (in seconds):513.527 522.95/513.63 o -3260 523.31/513.93 c Got one! Elapsed wall clock time (in seconds):513.819 523.31/513.93 o -3266 526.37/516.97 c cleaning 9418 clauses out of 18836 with flag 10058/841926 529.93/520.46 c cleaning 7709 clauses out of 15417 with flag 22058/847925 531.23/521.70 c Got one! Elapsed wall clock time (in seconds):521.592 531.23/521.70 o -3300 533.08/523.50 c cleaning 6378 clauses out of 12767 with flag 6001/852984 536.70/527.15 c cleaning 6187 clauses out of 12389 with flag 18001/858984 540.96/531.38 c cleaning 6600 clauses out of 13203 with flag 32003/865985 546.02/536.37 c cleaning 7302 clauses out of 14603 with flag 48003/873985 551.72/541.98 c cleaning 8149 clauses out of 16300 with flag 66001/882984 558.22/548.31 c cleaning 9073 clauses out of 18152 with flag 86003/892985 564.82/554.82 c cleaning 10038 clauses out of 20078 with flag 108001/903984 572.36/562.21 c cleaning 11017 clauses out of 22041 with flag 132003/915985 580.76/570.48 c cleaning 12009 clauses out of 24024 with flag 158003/928985 589.61/579.11 c cleaning 13007 clauses out of 26015 with flag 186003/942985 599.19/588.49 c cleaning 14004 clauses out of 28007 with flag 216001/957984 609.36/598.48 c cleaning 15000 clauses out of 30003 with flag 248001/973984 620.36/609.27 c cleaning 15998 clauses out of 32004 with flag 282003/990985 632.52/621.27 c cleaning 16994 clauses out of 34006 with flag 318003/1008985 645.11/633.53 c cleaning 18002 clauses out of 36011 with flag 356001/1027984 658.23/646.51 c cleaning 19005 clauses out of 38010 with flag 396003/1047985 671.62/659.66 c cleaning 19999 clauses out of 40005 with flag 438003/1068985 685.93/673.77 c cleaning 20999 clauses out of 42006 with flag 482003/1090985 700.59/688.12 c cleaning 22002 clauses out of 44007 with flag 528003/1113985 716.03/703.26 c cleaning 23003 clauses out of 46005 with flag 576003/1137985 732.28/719.18 c cleaning 24000 clauses out of 48001 with flag 626001/1162984 749.35/735.89 c cleaning 24999 clauses out of 50002 with flag 678003/1188985 766.81/753.01 c cleaning 26002 clauses out of 52003 with flag 732003/1215985 767.81/754.00 c Got one! Elapsed wall clock time (in seconds):753.893 767.81/754.00 o -3307 770.41/756.67 c cleaning 15818 clauses out of 31651 with flag 8002/1221635 774.15/760.35 c cleaning 10912 clauses out of 21834 with flag 20004/1227636 778.52/764.65 c cleaning 8956 clauses out of 17921 with flag 34002/1234635 783.31/769.45 c cleaning 8476 clauses out of 16966 with flag 50004/1242636 788.72/774.83 c cleaning 8741 clauses out of 17490 with flag 68004/1251636 794.75/780.89 c cleaning 9373 clauses out of 18749 with flag 88004/1261636 801.61/787.68 c cleaning 10188 clauses out of 20376 with flag 110004/1272636 809.05/795.03 c cleaning 11094 clauses out of 22187 with flag 134002/1284635 817.38/803.38 c cleaning 12041 clauses out of 24094 with flag 160004/1297636 826.60/812.46 c cleaning 13022 clauses out of 26052 with flag 188002/1311635 834.57/820.36 c Got one! Elapsed wall clock time (in seconds):820.251 834.57/820.36 o -3308 838.09/823.70 c cleaning 15534 clauses out of 31080 with flag 10005/1329685 841.60/827.28 c cleaning 10769 clauses out of 21545 with flag 22003/1335684 845.90/831.58 c cleaning 8882 clauses out of 17777 with flag 36005/1342685 850.85/836.44 c cleaning 8444 clauses out of 16895 with flag 52005/1350685 856.17/841.71 c cleaning 8721 clauses out of 17451 with flag 70005/1359685 862.13/847.66 c cleaning 9361 clauses out of 18729 with flag 90003/1369684 868.58/854.04 c cleaning 10183 clauses out of 20369 with flag 112005/1380685 869.78/855.23 c Got one! Elapsed wall clock time (in seconds):855.119 869.78/855.23 o -3311 872.20/857.66 c cleaning 8085 clauses out of 16176 with flag 8006/1386675 875.84/861.25 c cleaning 7039 clauses out of 14091 with flag 20006/1392675 880.14/865.53 c cleaning 7021 clauses out of 14051 with flag 34004/1399674 880.96/866.39 c Got one! Elapsed wall clock time (in seconds):866.285 880.96/866.39 o -3314 883.46/868.80 c cleaning 6199 clauses out of 12410 with flag 8142/1405054 885.69/871.08 c Got one! Elapsed wall clock time (in seconds):870.971 885.69/871.08 o -3320 887.10/872.47 c cleaning 6068 clauses out of 12146 with flag 4127/1410989 891.14/876.43 c Got one! Elapsed wall clock time (in seconds):876.326 891.14/876.43 o -3323 894.34/879.67 c cleaning 8528 clauses out of 17060 with flag 10121/1421971 898.08/883.39 c cleaning 7264 clauses out of 14531 with flag 22251/1427970 900.61/885.86 c Got one! Elapsed wall clock time (in seconds):885.755 900.61/885.86 o -3329 901.31/886.51 c cleaning 6204 clauses out of 12411 with flag 2041/1433114 901.91/887.16 c Got one! Elapsed wall clock time (in seconds):887.053 901.91/887.16 o -3330 904.01/889.21 c Got one! Elapsed wall clock time (in seconds):889.103 904.01/889.21 o -3334 904.21/889.47 c Got one! Elapsed wall clock time (in seconds):889.362 904.21/889.47 o -3335 904.21/889.49 c Got one! Elapsed wall clock time (in seconds):889.379 904.21/889.49 o -3337 904.97/890.17 c Got one! Elapsed wall clock time (in seconds):890.066 904.97/890.17 o -3343 905.67/890.87 c cleaning 6606 clauses out of 13218 with flag 2041/1440125 909.28/894.40 c cleaning 6306 clauses out of 12612 with flag 14101/1446125 909.68/894.86 c Got one! Elapsed wall clock time (in seconds):894.752 909.68/894.86 o -3349 912.59/897.79 c cleaning 6055 clauses out of 12124 with flag 10003/1451943 916.10/901.26 c cleaning 6030 clauses out of 12070 with flag 22005/1457944 920.26/905.39 c cleaning 6518 clauses out of 13040 with flag 36005/1464944 925.00/910.02 c cleaning 7258 clauses out of 14521 with flag 52003/1472943 930.44/915.47 c cleaning 8130 clauses out of 16264 with flag 70005/1481944 936.75/921.61 c cleaning 9066 clauses out of 18134 with flag 90005/1491944 943.74/928.59 c cleaning 10031 clauses out of 20068 with flag 112005/1502944 951.15/935.88 c cleaning 11016 clauses out of 22037 with flag 136005/1514944 959.07/943.57 c cleaning 12009 clauses out of 24021 with flag 162005/1527944 967.80/952.16 c cleaning 13002 clauses out of 26012 with flag 190005/1541944 977.70/961.80 c cleaning 14003 clauses out of 28010 with flag 220005/1556944 983.69/967.78 c Got one! Elapsed wall clock time (in seconds):967.675 983.69/967.78 o -3351 987.38/971.36 c cleaning 14094 clauses out of 28193 with flag 10004/1571130 991.43/975.37 c cleaning 10048 clauses out of 20100 with flag 22006/1577131 995.34/979.27 c Got one! Elapsed wall clock time (in seconds):979.163 995.34/979.27 o -3352 998.72/982.58 c cleaning 10842 clauses out of 21688 with flag 10126/1588767 1002.31/986.08 c Got one! Elapsed wall clock time (in seconds):985.978 1002.31/986.08 o -3354 1002.71/986.44 c Got one! Elapsed wall clock time (in seconds):986.33 1002.71/986.44 o -3358 1002.91/986.65 c Got one! Elapsed wall clock time (in seconds):986.539 1002.91/986.65 o -3362 1005.11/988.80 c Got one! Elapsed wall clock time (in seconds):988.692 1005.11/988.80 o -3363 1006.51/990.19 c cleaning 11390 clauses out of 22781 with flag 4005/1600702 1010.23/993.82 c cleaning 8693 clauses out of 17392 with flag 16007/1606703 1014.29/997.80 c cleaning 7847 clauses out of 15698 with flag 30005/1613702 1014.68/998.23 c Got one! Elapsed wall clock time (in seconds):998.122 1014.68/998.23 o -3365 1015.39/998.94 c Got one! Elapsed wall clock time (in seconds):998.838 1015.39/998.94 o -3368 1015.68/999.26 c Got one! Elapsed wall clock time (in seconds):999.154 1015.68/999.26 o -3371 1015.68/999.29 c Got one! Elapsed wall clock time (in seconds):999.186 1015.68/999.29 o -3375 1015.78/999.31 c Got one! Elapsed wall clock time (in seconds):999.201 1015.78/999.31 o -3377 1015.78/999.32 c Got one! Elapsed wall clock time (in seconds):999.211 1015.78/999.32 o -3379 1016.78/1000.30 c Got one! Elapsed wall clock time (in seconds):1000.195 1016.78/1000.30 o -3380 1017.21/1000.73 c Got one! Elapsed wall clock time (in seconds):1000.618 1017.21/1000.73 o -3381 1017.21/1000.73 c Got one! Elapsed wall clock time (in seconds):1000.628 1017.21/1000.73 o -3384 1017.21/1000.74 c Got one! Elapsed wall clock time (in seconds):1000.634 1017.21/1000.74 o -3385 1019.11/1002.64 c cleaning 7751 clauses out of 15505 with flag 6045/1621356 1022.44/1005.97 c cleaning 6875 clauses out of 13754 with flag 18126/1627356 1025.86/1009.33 c Got one! Elapsed wall clock time (in seconds):1009.222 1025.86/1009.33 o -3392 1029.14/1012.56 c cleaning 8962 clauses out of 17932 with flag 10053/1638409 1032.67/1016.05 c cleaning 7485 clauses out of 14971 with flag 22144/1644410 1036.70/1020.05 c cleaning 7240 clauses out of 14485 with flag 36255/1651409 1041.46/1024.70 c cleaning 7620 clauses out of 15245 with flag 52493/1659409 1044.08/1027.36 c Got one! Elapsed wall clock time (in seconds):1027.254 1044.08/1027.36 o -3395 1044.68/1027.99 c cleaning 6594 clauses out of 13194 with flag 2033/1664978 1045.38/1028.61 c Got one! Elapsed wall clock time (in seconds):1028.501 1045.38/1028.61 o -3400 1045.98/1029.26 c Got one! Elapsed wall clock time (in seconds):1029.158 1045.98/1029.26 o -3401 1047.81/1031.06 c cleaning 5876 clauses out of 11762 with flag 6085/1670140 1048.21/1031.46 c Got one! Elapsed wall clock time (in seconds):1031.352 1048.21/1031.46 o -3405 1048.51/1031.80 c Got one! Elapsed wall clock time (in seconds):1031.694 1048.51/1031.80 o -3406 1051.56/1034.78 c cleaning 6062 clauses out of 12136 with flag 10098/1676390 1054.99/1038.15 c cleaning 6034 clauses out of 12073 with flag 22139/1682389 1058.87/1041.93 c cleaning 6518 clauses out of 13039 with flag 36346/1689389 1060.88/1043.94 c Got one! Elapsed wall clock time (in seconds):1043.83 1060.88/1043.94 o -3434 1062.03/1045.08 c cleaning 6155 clauses out of 12321 with flag 4001/1695189 1065.55/1048.55 c cleaning 6078 clauses out of 12167 with flag 16003/1701190 1069.79/1052.72 c cleaning 6539 clauses out of 13088 with flag 30001/1708189 1074.74/1057.69 c cleaning 7275 clauses out of 14549 with flag 46001/1716189 1080.84/1063.61 c cleaning 8136 clauses out of 16274 with flag 64001/1725189 1087.11/1069.80 c cleaning 9067 clauses out of 18139 with flag 84003/1735190 1093.75/1076.37 c cleaning 10036 clauses out of 20071 with flag 106001/1746189 1100.90/1083.35 c cleaning 11016 clauses out of 22035 with flag 130001/1758189 1109.09/1091.36 c cleaning 12006 clauses out of 24020 with flag 156003/1771190 1117.98/1100.07 c cleaning 13007 clauses out of 26014 with flag 184003/1785190 1127.21/1109.16 c cleaning 14004 clauses out of 28007 with flag 214003/1800190 1137.16/1118.92 c cleaning 15002 clauses out of 30003 with flag 246003/1816190 1147.63/1129.12 c cleaning 15999 clauses out of 32000 with flag 280001/1833189 1159.05/1140.36 c cleaning 17000 clauses out of 34002 with flag 316003/1851190 1171.47/1152.59 c cleaning 18000 clauses out of 36001 with flag 354001/1870189 1185.30/1166.16 c cleaning 18997 clauses out of 38002 with flag 394003/1890190 1199.95/1180.54 c cleaning 19997 clauses out of 40004 with flag 436001/1911189 1215.08/1195.30 c cleaning 21001 clauses out of 42007 with flag 480001/1933189 1230.68/1210.67 c cleaning 22000 clauses out of 44007 with flag 526003/1956190 1246.93/1226.65 c cleaning 22998 clauses out of 46006 with flag 574001/1980189 1263.60/1243.06 c cleaning 24003 clauses out of 48009 with flag 624003/2005190 1281.18/1260.36 c cleaning 25002 clauses out of 50005 with flag 676001/2031189 1300.16/1278.97 c cleaning 26002 clauses out of 52004 with flag 730003/2058190 1319.85/1298.17 c cleaning 26995 clauses out of 54002 with flag 786003/2086190 1339.53/1317.49 c cleaning 28000 clauses out of 56007 with flag 844003/2115190 1360.27/1337.89 c cleaning 29000 clauses out of 58007 with flag 904003/2145190 1382.62/1359.87 c cleaning 30000 clauses out of 60006 with flag 966001/2176189 1405.33/1382.28 c cleaning 31003 clauses out of 62007 with flag 1030003/2208190 1428.95/1405.52 c cleaning 31998 clauses out of 64004 with flag 1096003/2241190 1453.28/1429.49 c cleaning 32999 clauses out of 66007 with flag 1164005/2275191 1477.91/1453.63 c cleaning 34000 clauses out of 68006 with flag 1234001/2310189 1503.57/1478.85 c cleaning 35002 clauses out of 70006 with flag 1306001/2346189 1530.85/1505.66 c cleaning 36002 clauses out of 72005 with flag 1380003/2383190 1543.17/1517.71 c Got one! Elapsed wall clock time (in seconds):1517.605 1543.17/1517.71 o -3436 1547.07/1521.62 c cleaning 29530 clauses out of 59074 with flag 10002/2406261 1551.12/1525.63 c cleaning 17770 clauses out of 35545 with flag 22004/2412262 1555.66/1530.15 c cleaning 12379 clauses out of 24774 with flag 36002/2419261 1560.66/1535.17 c cleaning 10188 clauses out of 20396 with flag 52004/2427262 1566.03/1540.43 c cleaning 9597 clauses out of 19207 with flag 70002/2436261 1572.18/1546.53 c cleaning 9801 clauses out of 19611 with flag 90004/2446262 1578.87/1553.13 c cleaning 10403 clauses out of 20809 with flag 112002/2457261 1586.56/1560.78 c cleaning 11202 clauses out of 22406 with flag 136002/2469261 1595.18/1569.22 c cleaning 12098 clauses out of 24204 with flag 162002/2482261 1604.73/1578.53 c cleaning 13053 clauses out of 26107 with flag 190004/2496262 1614.61/1588.26 c cleaning 14023 clauses out of 28054 with flag 220004/2511262 1624.85/1598.34 c cleaning 15013 clauses out of 30030 with flag 252002/2527261 1635.75/1609.04 c cleaning 16006 clauses out of 32018 with flag 286004/2544262 1647.45/1620.59 c cleaning 17004 clauses out of 34011 with flag 322002/2562261 1660.27/1633.17 c cleaning 18002 clauses out of 36008 with flag 360004/2581262 1674.42/1646.99 c cleaning 19000 clauses out of 38005 with flag 400002/2601261 1689.12/1661.30 c cleaning 19995 clauses out of 40005 with flag 442002/2622261 1689.12/1661.36 c Got one! Elapsed wall clock time (in seconds):1661.251 1689.12/1661.36 o -3438 1692.22/1664.43 c cleaning 12543 clauses out of 25100 with flag 10005/2627351 1695.85/1668.05 c cleaning 9270 clauses out of 18556 with flag 22003/2633350 1700.07/1672.23 c cleaning 8140 clauses out of 16287 with flag 36005/2640351 1704.71/1676.89 c cleaning 8069 clauses out of 16147 with flag 52005/2648351 1710.22/1682.33 c cleaning 8534 clauses out of 17077 with flag 70003/2657350 1716.32/1688.38 c cleaning 9271 clauses out of 18543 with flag 90003/2667350 1722.88/1694.81 c cleaning 10136 clauses out of 20272 with flag 112003/2678350 1730.09/1701.96 c cleaning 11065 clauses out of 22136 with flag 136003/2690350 1738.20/1709.92 c cleaning 12031 clauses out of 24072 with flag 162005/2703351 1746.70/1718.34 c cleaning 13018 clauses out of 26040 with flag 190003/2717350 1756.60/1728.06 c cleaning 14009 clauses out of 28022 with flag 220003/2732350 1767.17/1738.49 c cleaning 15004 clauses out of 30014 with flag 252005/2748351 1767.67/1739.00 c Got one! Elapsed wall clock time (in seconds):1738.889 1767.67/1739.00 o -3440 1770.90/1742.19 c cleaning 10403 clauses out of 20814 with flag 10004/2754155 1774.73/1745.98 c cleaning 8197 clauses out of 16412 with flag 22006/2760156 1779.17/1750.38 c cleaning 7602 clauses out of 15214 with flag 36045/2767155 1784.43/1755.51 c cleaning 7804 clauses out of 15612 with flag 52294/2775155 1787.53/1758.65 c Got one! Elapsed wall clock time (in seconds):1758.546 1787.53/1758.65 o -3441 1788.30/1759.36 c cleaning 6841 clauses out of 13690 with flag 2029/2781037 1792.27/1763.28 c cleaning 6418 clauses out of 12849 with flag 14029/2787037 1796.51/1767.49 c cleaning 6715 clauses out of 13432 with flag 28031/2794038 1797.61/1768.55 c Got one! Elapsed wall clock time (in seconds):1768.444 1797.61/1768.55 o -3448 1800.05/1770.90 c starts : 244 1800.05/1770.90 c conflicts : 2799654 1800.05/1770.90 c decisions : 2806565 1800.05/1770.90 c propagations : 808001484 1800.05/1770.90 c inspects : 7313156422 1800.05/1770.90 c shortcuts : 0 1800.05/1770.90 c learnt literals : 0 1800.05/1770.90 c learnt binary clauses : 0 1800.05/1770.90 c learnt ternary clauses : 0 1800.05/1770.90 c learnt constraints : 2799654 1800.05/1770.90 c ignored constraints : 0 1800.05/1770.90 c root simplifications : 0 1800.05/1770.90 c removed literals (reason simplification) : 0 1800.05/1770.90 c reason swapping (by a shorter reason) : 0 1800.05/1770.90 c Calls to reduceDB : 249 1800.05/1770.90 c Number of update (reduction) of LBD : 455 1800.05/1770.90 c Imported unit clauses : 0 1800.05/1770.90 c number of reductions to clauses (during analyze) : 0 1800.05/1770.90 c number of learned constraints concerned by reduction : 0 1800.05/1770.90 c number of learning phase by resolution : 0 1800.05/1770.90 c number of learning phase by cutting planes : 0 1800.05/1770.90 c speed (assignments/second) : 456378.96549036354 1800.05/1770.90 c non guided choices 0 1800.05/1770.91 c learnt constraints type 1800.05/1770.91 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12334 1800.05/1770.91 s SATISFIABLE 1800.05/1770.91 c Found 242 solution(s) 1800.05/1770.92 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 -xc timeout 1800.05/1770.92 1675 -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 x3041 x3042 x3043 -x3044 x3045 -x3046 x3047 x3048 x3049 x3050 x3051 -x3052 -x3053 x3054 x3055 x3056 x3057 x3058 -x3059 -x3060 x3061 -x3062 x3063 x3064 x3065 -x3066 -x3067 x3068 -x3069 x3070 x3071 -x3072 -x3073 x3074 -x3075 x3076 -x3077 -x3078 x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 x3092 x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 -x3102 -x3103 x3104 -x3105 x3106 -x3107 x3108 x3109 x3110 x3111 x3112 x3113 x3114 x3115 x3116 -x3117 -x3118 x3119 -x3120 x3121 -x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 -x3131 -x3132 x3133 -x3134 x3135 -x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 -x3144 -x3145 x3146 -x3147 x3148 -x3149 x3150 x3151 x3152 x3153 x3154 x3155 -x3156 -x3157 x3158 -x3159 x3160 -x3161 x3162 x3163 x3164 x3165 x3166 -x3167 x3168 -x3169 x3170 -x3171 x3172 x3173 x3174 x3175 -x3176 -x3177 -x3178 x3179 -x3180 x3181 x3182 x3183 -x3184 -x3185 x3186 -x3187 -x3188 x3189 x3190 -x3191 -x3192 x3193 -x3194 x3195 -x3196 x3197 -x3198 -x3199 x3200 -x3201 x3202 -x3203 -x3204 -x3205 x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 x3225 x3226 x3227 x3228 x3229 x3230 x3231 x3232 x3233 -x3234 -x3235 x3236 -x3237 x3238 -x3239 -x3240 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3250 x3251 -x3252 x3253 -x3254 -x3255 x3256 x3257 x3258 x3259 x3260 x3261 x3262 -x3263 -x3264 x3265 -x3266 x3267 -x3268 -x3269 x3270 x3271 x3272 x3273 x3274 x3275 -x3276 -x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 x3284 x3285 x3286 x3287 -x3288 -x3289 x3290 -x3291 x3292 -x3293 -x3294 x3295 x3296 x3297 x3298 -x3299 x3300 -x3301 x3302 -x3303 -x3304 x3305 x3306 x3307 -x3308 -x3309 x3310 x3311 -x3312 -x3313 x3314 x3315 -x3316 -x3317 x3318 -x3319 x3320 -x3321 x3322 -x3323 -x3324 x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 x3359 x3360 x3361 x3362 x3363 x3364 x3365 -x3366 -x3367 x3368 -x3369 x3370 -x3371 -x3372 x3373 x3374 x3375 x3376 x3377 x3378 x3379 x3380 -x3381 -x3382 x3383 -x3384 x3385 -x3386 -x3387 x3388 x3389 x3390 x3391 x3392 x3393 x3394 -x3395 -x3396 x3397 -x3398 x3399 -x3400 -x3401 x3402 x3403 x3404 x3405 x3406 x3407 -x3408 -x3409 x3410 -x3411 x3412 -x3413 -x3414 x3415 x3416 x3417 x3418 x3419 -x3420 -x3421 x3422 -x3423 x3424 -x3425 -x3426 x3427 x3428 x3429 x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 x3437 x3438 x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 x3446 x3447 -x3448 -x3449 x3450 -x3451 x3452 -x3453 x3454 -x3455 -x3456 x3457 -x3458 x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 -x3498 -x3499 x3500 -x3501 x3502 -x3503 -x3504 x3505 x3506 x3507 x3508 x3509 x3510 x3511 x3512 -x3513 -x3514 x3515 -x3516 x3517 -x3518 -x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 -x3527 -x3528 x3529 -x3530 x3531 -x3532 -x3533 x3534 x3535 x3536 x3537 x3538 x3539 -x3540 -x3541 x3542 -x3543 x3544 -x3545 -x3546 x3547 x3548 x3549 x3550 x3551 -x3552 -x3553 x3554 -x3555 x3556 -x3557 -x3558 x3559 x3560 x3561 x3562 -x3563 -x3564 x3565 x3566 -x3567 -x3568 x3569 x3570 x3571 -x3572 -x3573 x3574 -x3575 x3576 -x3577 x3578 x3579 -x3580 -x3581 x3582 -x3583 x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 x3607 x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 x3624 x3625 x3626 x3627 x3628 x3629 -x3630 -x3631 x3632 -x3633 x3634 -x3635 -x3636 x3637 x3638 -x3639 x3640 x3641 x3642 x3643 x3644 -x3645 -x3646 x3647 -x3648 x3649 -x3650 -x3651 x3652 x3653 -x3654 x3655 x3656 x3657 x3658 -x3659 -x3660 x3661 -x3662 x3663 -x3664 -x3665 x3666 x3667 -x3668 x3669 x3670 x3671 -x3672 -x3673 x3674 -x3675 x3676 -x3677 -x3678 x3679 x3680 -x3681 x3682 x3683 -x3684 -x3685 x3686 -x3687 x3688 -x3689 -x3690 x3691 x3692 -x3693 x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 x3701 x3702 -x3703 -x3704 -x3705 x3706 -x3707 x3708 -x3709 x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 x3730 -x3731 -x3732 x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3754 -x3755 -x3756 x3757 x3758 x3759 x3760 x3761 -x3762 -x3763 x3764 -x3765 x3766 -x3767 -x3768 x3769 x3770 -x3771 -x3772 x3773 x3774 x3775 x3776 -x3777 -x3778 x3779 -x3780 x3781 -x3782 -x3783 x3784 x3785 -x3786 -x3787 x3788 x3789 x3790 -x3791 -x3792 x3793 -x3794 x3795 -x3796 -x3797 x3798 x3799 -x3800 -x3801 x3802 x3803 -x3804 -x3805 x3806 -x3807 x3808 -x3809 -x3810 x3811 x3812 -x3813 -x3814 x3815 -x3816 -x3817 x3818 -x3819 x3820 -x3821 -x3822 x3823 x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 x3831 -x3832 x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890 x3891 x3892 x3893 -x3894 -x3895 x3896 -x3897 x3898 -x3899 -x3900 x3901 x3902 -x3903 -x3904 x3905 x3906 x3907 -x3908 -x3909 x3910 -x3911 x3912 -x3913 -x3914 x3915 x3916 -x3917 -x3918 x3919 x3920 -x3921 -x3922 x3923 -x3924 x3925 -x3926 -x3927 x3928 x3929 -x3930 -x3931 x3932 -x3933 -x3934 x3935 -x3936 x3937 -x3938 -x3939 x3940 x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 x3948 -x3949 -x3950 x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 x4008 x4009 -x4010 -x4011 x4012 -x4013 x4014 -x4015 -x4016 x4017 x4018 -x4019 -x4020 x4021 x4022 -x4023 -x4024 x4025 -x4026 x4027 -x4028 -x4029 x4030 x4031 -x4032 -x4033 x4034 -x4035 -x4036 x4037 -x4038 x4039 -x4040 -x4041 x4042 x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049 x4050 -x4051 -x4052 x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 -x4077 -x4078 x4079 x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 x4111 -x4112 -x4113 x4114 -x4115 x4116 -x4117 -x4118 x4119 x4120 -x4121 -x4122 x4123 -x4124 -x4125 x4126 -x4127 x4128 -x4129 -x4130 x4131 x4132 -x4133 -x4134 -x4135 -x4136 x4137 -x4138 x4139 -x4140 -x4141 x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 x4202 -x4203 x4204 -x4205 -x4206 x4207 x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 x4215 -x4216 -x4217 x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 -x4243 -x4244 x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 -x4279 x4280 -x4281 -x4282 x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 x4564 x4565 -x4566 -x4567 -x4568 x4569 -x4570 x4571 x4572 x4573 x4574 x4575 x4576 x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 x4613 -x4614 -x4615 -x4616 x4617 -x4618 x4619 x4620 x4621 x4622 x4623 x4624 x4625 x4626 x4627 x4628 x4629 -x4630 -x4631 -x4632 x4633 -x4634 x4635 x4636 x4637 x4638 x4639 x4640 x4641 x4642 x4643 x4644 x4645 -x4646 -x4647 -x4648 x4649 -x4650 x4651 x4652 x4653 x4654 x4655 x4656 x4657 x4658 x4659 x4660 x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 x4716 x4717 x4718 x4719 x4720 x4721 x4722 x4723 x4724 x4725 x4726 x4727 -x4728 -x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 x4749 x4750 x4751 x4752 x4753 x4754 x4755 x4756 x4757 x4758 x4759 -x4760 -x4761 x4762 -x4763 x4764 x4765 x4766 x4767 x4768 x4769 x4770 x4771 x4772 x4773 x4774 x4775 -x4776 -x4777 x4778 -x4779 x4780 -x4781 x4782 x4783 x4784 x4785 x4786 x4787 x4788 x4789 x4790 x4791 -x4792 -x4793 x4794 -x4795 x4796 -x4797 -x4798 x4799 x4800 x4801 x4802 x4803 x4804 x4805 x4806 x4807 -x4808 -x4809 x4810 -x4811 x4812 -x4813 -x4814 x4815 x4816 x4817 x4818 x4819 x4820 x4821 x4822 x4823 -x4824 -x4825 x4826 -x4827 x4828 -x4829 -x4830 x4831 x4832 x4833 x4834 x4835 x4836 x4837 x4838 x4839 -x4840 -x4841 x4842 -x4843 x4844 -x4845 -x4846 x4847 x4848 -x4849 x4850 x4851 x4852 x4853 x4854 x4855 -x4856 -x4857 x4858 -x4859 x4860 -x4861 -x4862 x4863 x4864 -x4865 -x4866 x4867 x4868 x4869 x4870 x4871 -x4872 -x4873 x4874 -x4875 x4876 -x4877 -x4878 x4879 x4880 -x4881 -x4882 x4883 x4884 x4885 x4886 -x4887 -x4888 x4889 -x4890 x4891 -x4892 -x4893 x4894 x4895 -x4896 -x4897 x4898 x4899 x4900 -x4901 -x4902 x4903 -x4904 x4905 -x4906 -x4907 x4908 x4909 -x4910 -x4911 x4912 x4913 -x4914 -x4915 x4916 -x4917 x4918 -x4919 -x4920 x4921 x4922 -x4923 -x4924 x4925 -x4926 -x4927 x4928 -x4929 x4930 -x4931 -x4932 x4933 x4934 -x4935 -x4936 -x4937 -x4938 x4939 -x4940 x4941 -x4942 -x4943 x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 -x4969 -x4970 x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.05/1770.93 c objective function=-3448 1800.05/1770.93 c Total wall clock time (in seconds): 1770.819
FAILED ERROR: unsatisfied constraint on line 130 -2>=-1 Falsified constraint is: +1*x4563[=0] -1*x1[=1] -1*x4[=1] >= -1
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-4118290-1467227221/watcher-4118290-1467227221 -o /tmp/evaluation-result-4118290-1467227221/solver-4118290-1467227221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4305 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118290-1467227221.opb pid=6486 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 3/194 6489 /proc/meminfo: memFree=30100280/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3828463 98570240 977 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 24065 977 744 9 0 16771 0 [pid=6489/tid=6490] ppid=6486 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 3828463 98570240 977 33554432000 1073741824 1073778376 140733553172080 139977362271784 247064249728 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100092 s] /proc/loadavg: 1.92 1.99 1.99 3/194 6489 /proc/meminfo: memFree=30100280/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 4426 0 1 0 9 1 0 0 20 0 18 0 3828463 9787879424 6056 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2389619 6056 2140 9 0 2380296 0 [pid=6489/tid=6490] ppid=6486 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2377 0 1 0 8 0 0 0 20 0 18 0 3828463 9787879424 6056 33554432000 1073741824 1073778376 140733553172080 139977362275232 139977364421986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200331 s] /proc/loadavg: 1.92 1.99 1.99 3/194 6489 /proc/meminfo: memFree=30100280/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9558476 CPUtime=0.31 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 5012 0 1 0 30 1 0 0 20 0 18 0 3828463 9787879424 6961 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2389619 6961 2222 9 0 2380296 0 [pid=6489/tid=6490] ppid=6486 vsize=9558476 CPUtime=0.18 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2396 0 1 0 18 0 0 0 20 0 18 0 3828463 9787879424 6961 33554432000 1073741824 1073778376 140733553172080 139977362275232 139977228875414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9558476 [startup+0.300329 s] /proc/loadavg: 1.92 1.99 1.99 3/194 6489 /proc/meminfo: memFree=30100280/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9558476 CPUtime=0.51 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 5873 0 1 0 50 1 0 0 20 0 18 0 3828463 9787879424 8855 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2389619 8858 2232 9 0 2380296 0 [pid=6489/tid=6490] ppid=6486 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2402 0 1 0 26 2 0 0 20 0 18 0 3828463 9787879424 8856 33554432000 1073741824 1073778376 140733553172080 139977362275232 139977228875168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700316 s] /proc/loadavg: 1.92 1.99 1.99 3/194 6489 /proc/meminfo: memFree=30100280/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=1.5 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 11881 0 1 0 147 3 0 0 20 0 19 0 3828463 9856040960 20738 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 20738 2266 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2435 0 1 0 66 2 0 0 20 0 19 0 3828463 9856040960 20738 33554432000 1073741824 1073778376 140733553172080 139977362268464 139977365562320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 1.92 1.99 1.99 3/213 6508 /proc/meminfo: memFree=29999516/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=2.63 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 12555 0 1 0 258 5 0 0 20 0 19 0 3828463 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 32955 2270 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=1.48 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2459 0 1 0 145 3 0 0 20 0 19 0 3828463 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977362268464 139977229797020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4129 0 0 0 50 0 0 0 20 0 19 0 3828468 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4690 0 0 0 59 1 0 0 20 0 19 0 3828468 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 32955 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 1.92 1.99 1.99 3/213 6508 /proc/meminfo: memFree=29961400/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=4.29 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 12638 0 1 0 421 8 0 0 20 0 19 0 3828463 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 48335 2283 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2480 0 1 0 302 3 0 0 20 0 19 0 3828463 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977362276840 139977229487655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4129 0 0 0 50 0 0 0 20 0 19 0 3828468 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4690 0 0 0 60 1 0 0 20 0 19 0 3828468 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 48335 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.29 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 1.93 1.99 1.99 3/213 6508 /proc/meminfo: memFree=29920116/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=7.61 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 12789 0 1 0 753 8 0 0 20 0 19 0 3828463 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 48330 2284 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=6.25 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2482 0 1 0 622 3 0 0 20 0 19 0 3828463 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977362276704 139977229790084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3828464 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4129 0 0 0 50 0 0 0 20 0 19 0 3828468 9856040960 48330 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.73 cores=0,2,4,6 ################ # More data... # ################ [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4134 0 0 0 61 0 0 0 20 0 19 0 3828468 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4842 0 0 0 76 1 0 0 20 0 19 0 3828468 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 95 0 0 0 10 18 0 0 20 0 19 0 3828468 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 238106 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1690.12 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.09 2.06 2.02 3/213 6616 /proc/meminfo: memFree=29396080/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=1750.79 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 34712 0 1 0 174784 295 0 0 20 0 19 0 3828463 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 238124 2297 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=1707.82 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2970 0 1 0 170751 31 0 0 20 0 19 0 3828463 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977362275672 139977229797427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=4.81 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 2474 0 0 0 449 32 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=4.57 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 3401 0 0 0 424 33 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=4.74 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1658 0 0 0 444 30 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=5.14 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 2413 0 0 0 475 39 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=4.76 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 2373 0 0 0 443 33 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=4.85 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 2606 0 0 0 447 38 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=4.71 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 1946 0 0 0 441 30 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=4.65 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 2013 0 0 0 434 31 0 0 20 0 19 0 3828464 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=3.52 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 2520 0 0 0 343 9 0 0 20 0 19 0 3828465 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4134 0 0 0 61 0 0 0 20 0 19 0 3828468 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4842 0 0 0 76 1 0 0 20 0 19 0 3828468 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0.29 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 99 0 0 0 11 18 0 0 20 0 19 0 3828468 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 238124 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1750.79 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1770.9 s] /proc/loadavg: 2.07 2.07 2.02 3/213 6618 /proc/meminfo: memFree=29481204/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 34840 0 1 0 179704 301 0 0 20 0 19 0 3828463 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 215043 2297 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=1756.08 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2983 0 1 0 175576 32 0 0 20 0 19 0 3828463 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977362275536 139977229487625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 2494 0 0 0 460 33 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=4.68 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 3405 0 0 0 435 33 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=4.88 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1678 0 0 0 457 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=5.29 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 2434 0 0 0 489 40 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=4.88 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 2389 0 0 0 454 34 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 2611 0 0 0 454 39 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=4.81 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 1959 0 0 0 450 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=4.75 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 2025 0 0 0 444 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=3.6 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 2522 0 0 0 350 10 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4134 0 0 0 61 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4842 0 0 0 76 1 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0.3 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 101 0 0 0 11 19 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 6489 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1770.9 s] /proc/loadavg: 2.07 2.07 2.02 3/213 6618 /proc/meminfo: memFree=29481204/32872528 swapFree=242912/249044 [pid=6489] ppid=6486 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6 /proc/6489/stat : 6489 (java) S 6486 6489 4289 0 -1 4202496 34840 0 1 0 179704 301 0 0 20 0 19 0 3828463 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 140733553163216 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6489/statm: 2406260 215043 2297 9 0 2396937 0 [pid=6489/tid=6490] ppid=6486 vsize=9625040 CPUtime=1756.08 cores=0,2,4,6 /proc/6489/task/6490/stat : 6490 (java) R 6486 6489 4289 0 -1 4202560 2983 0 1 0 175576 32 0 0 20 0 19 0 3828463 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977362275536 139977229487625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6492] ppid=6486 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/6489/task/6492/stat : 6492 (java) S 6486 6489 4289 0 -1 4202560 2494 0 0 0 460 33 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977351338920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6493] ppid=6486 vsize=9625040 CPUtime=4.68 cores=0,2,4,6 /proc/6489/task/6493/stat : 6493 (java) S 6486 6489 4289 0 -1 4202560 3405 0 0 0 435 33 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977350286376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6494] ppid=6486 vsize=9625040 CPUtime=4.88 cores=0,2,4,6 /proc/6489/task/6494/stat : 6494 (java) S 6486 6489 4289 0 -1 4202560 1678 0 0 0 457 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977349233320 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6495] ppid=6486 vsize=9625040 CPUtime=5.29 cores=0,2,4,6 /proc/6489/task/6495/stat : 6495 (java) S 6486 6489 4289 0 -1 4202560 2434 0 0 0 489 40 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977348180776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6496] ppid=6486 vsize=9625040 CPUtime=4.88 cores=0,2,4,6 /proc/6489/task/6496/stat : 6496 (java) S 6486 6489 4289 0 -1 4202560 2389 0 0 0 454 34 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977201236392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6497] ppid=6486 vsize=9625040 CPUtime=4.93 cores=0,2,4,6 /proc/6489/task/6497/stat : 6497 (java) S 6486 6489 4289 0 -1 4202560 2611 0 0 0 454 39 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977200183848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6498] ppid=6486 vsize=9625040 CPUtime=4.81 cores=0,2,4,6 /proc/6489/task/6498/stat : 6498 (java) S 6486 6489 4289 0 -1 4202560 1959 0 0 0 450 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977199130792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6499] ppid=6486 vsize=9625040 CPUtime=4.75 cores=0,2,4,6 /proc/6489/task/6499/stat : 6499 (java) S 6486 6489 4289 0 -1 4202560 2025 0 0 0 444 31 0 0 20 0 19 0 3828464 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977198078248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6500] ppid=6486 vsize=9625040 CPUtime=3.6 cores=0,2,4,6 /proc/6489/task/6500/stat : 6500 (java) S 6486 6489 4289 0 -1 4202560 2522 0 0 0 350 10 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977185880936 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6501] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6501/stat : 6501 (java) S 6486 6489 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977184827256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6502] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6502/stat : 6502 (java) S 6486 6489 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3828465 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977183774088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6503] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6503/stat : 6503 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977182722832 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6489/tid=6504] ppid=6486 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/6489/task/6504/stat : 6504 (java) S 6486 6489 4289 0 -1 4202560 4134 0 0 0 61 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977181669688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6489/tid=6505] ppid=6486 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/6489/task/6505/stat : 6505 (java) S 6486 6489 4289 0 -1 4202560 4842 0 0 0 76 1 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977180617144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6506] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6506/stat : 6506 (java) S 6486 6489 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977179564280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6489/tid=6507] ppid=6486 vsize=9625040 CPUtime=0.3 cores=0,2,4,6 /proc/6489/task/6507/stat : 6507 (java) S 6486 6489 4289 0 -1 4202560 101 0 0 0 11 19 0 0 20 0 19 0 3828468 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977178511944 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6489/tid=6508] ppid=6486 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6489/task/6508/stat : 6508 (java) S 6486 6489 4289 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3828507 9856040960 215043 33554432000 1073741824 1073778376 140733553172080 139977177458216 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1770.93 CPU time (s): 1800.83 CPU user time (s): 1797.35 CPU system time (s): 3.48147 CPU usage (%): 101.688 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.35 system time used= 3.48147 maximum resident set size= 1192520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34878 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53953 involuntary context switches= 58258 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.6981 second user time and 13.9059 second system time The end
Begin job on node103 at 2016-06-29 21:07:01 IDJOB=4118290 IDBENCH=111477 IDSOLVER=2546 FILE ID=node103/4118290-1467227221 RUNJOBID= node103-1467209106-4305 PBS_JOBID= 19997590 Free space on /tmp= 71712 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_bern35-18.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118290-1467227221/watcher-4118290-1467227221 -o /tmp/evaluation-result-4118290-1467227221/solver-4118290-1467227221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4305 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118290-1467227221.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa8a9bb5624a673cd1fb1d00ce84c217 RANDOM SEED=933479585 node103.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.456 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 : 5332.91 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30100436 kB Buffers: 100440 kB Cached: 1225512 kB SwapCached: 0 kB Active: 1360736 kB Inactive: 426924 kB Active(anon): 464400 kB Inactive(anon): 0 kB Active(file): 896336 kB Inactive(file): 426924 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1228 kB Writeback: 0 kB AnonPages: 725376 kB Mapped: 22208 kB Shmem: 204 kB Slab: 603488 kB SReclaimable: 47428 kB SUnreclaim: 556060 kB KernelStack: 1760 kB PageTables: 6164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 839604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 440320 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= 71712 MiB End job on node103 at 2016-06-29 21:36:32