Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -3510 | 1800 | 1790.95 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb |
| MD5SUM | 9269fbcc08c2d216b9ebcd8d0ff90bb2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -3848 |
| Best CPU time to get the best result obtained on this benchmark | 1800.34 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 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) | 4967 |
| Sum of products size (including duplicates) | 15919 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.10/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.10/0.11 c See www.sat4j.org for details. 0.10/0.11 c version PB16.v20160501 0.10/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.10/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.10/0.11 c java.vm.version 19.1-b02 0.10/0.11 c java.vm.vendor Sun Microsystems Inc. 0.10/0.11 c sun.arch.data.model 64 0.10/0.11 c java.version 1.6.0_24 0.10/0.11 c os.name Linux 0.10/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.10/0.11 c os.arch amd64 0.10/0.11 c Free memory 501472288 0.10/0.11 c Max memory 7480803328 0.10/0.11 c Total memory 504102912 0.10/0.11 c Number of processors 16 0.10/0.14 c Pseudo Boolean Optimization by upper bound 0.10/0.14 c --- Begin Solver configuration --- 0.10/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2626d4f1 0.10/0.14 c Learn all clauses as in MiniSAT 0.10/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.14 c No reason simplification 0.10/0.14 c Glucose 2.1 dynamic restart strategy 0.10/0.14 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.14 c timeout=2147483s 0.10/0.14 c DB Simplification allowed=false 0.10/0.14 c Listener: org.sat4j.minisat.core.VoidTracing@4def8cf3 0.10/0.14 c --- End Solver configuration --- 0.10/0.14 c solving HOME/instance-4119382-1467257099.opb 0.10/0.14 c reading problem ... 0.10/0.14 c objective function found 1.13/0.75 c ... done. Wall clock time 0.613s. 1.13/0.75 c declared #vars 35 1.13/0.75 c internal #vars 5002 1.13/0.75 c #constraints 9934 1.13/0.75 c constraints type 1.13/0.75 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4967 1.13/0.75 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4967 1.13/0.75 c 9934 constraints processed. 1.13/0.75 c objective function length is 5002 literals 1.13/0.84 c SATISFIABLE 1.13/0.84 c OPTIMIZING... 1.13/0.84 c Got one! Elapsed wall clock time (in seconds):0.704 1.13/0.84 o 0 1.13/0.90 c Got one! Elapsed wall clock time (in seconds):0.765 1.13/0.90 o -68 1.13/0.95 c Got one! Elapsed wall clock time (in seconds):0.813 1.13/0.95 o -136 1.13/0.99 c Got one! Elapsed wall clock time (in seconds):0.851 1.13/0.99 o -249 1.13/1.03 c Got one! Elapsed wall clock time (in seconds):0.898 1.13/1.03 o -324 1.13/1.10 c Got one! Elapsed wall clock time (in seconds):0.963 1.13/1.10 o -362 1.13/1.11 c Got one! Elapsed wall clock time (in seconds):0.974 1.13/1.11 o -501 1.13/1.13 c Got one! Elapsed wall clock time (in seconds):0.992 1.13/1.13 o -531 1.13/1.15 c Got one! Elapsed wall clock time (in seconds):1.01 1.13/1.15 o -544 1.13/1.16 c Got one! Elapsed wall clock time (in seconds):1.022 1.13/1.16 o -570 1.13/1.17 c Got one! Elapsed wall clock time (in seconds):1.031 1.13/1.17 o -583 1.13/1.18 c Got one! Elapsed wall clock time (in seconds):1.04 1.13/1.18 o -640 1.13/1.19 c Got one! Elapsed wall clock time (in seconds):1.051 1.13/1.19 o -790 1.13/1.23 c Got one! Elapsed wall clock time (in seconds):1.092 1.13/1.23 o -797 1.13/1.24 c Got one! Elapsed wall clock time (in seconds):1.099 1.13/1.24 o -947 1.13/1.30 c Got one! Elapsed wall clock time (in seconds):1.163 1.13/1.30 o -954 1.13/1.32 c Got one! Elapsed wall clock time (in seconds):1.188 1.13/1.32 o -970 1.13/1.37 c Got one! Elapsed wall clock time (in seconds):1.231 1.13/1.37 o -1016 1.13/1.39 c Got one! Elapsed wall clock time (in seconds):1.258 1.13/1.39 o -1019 1.13/1.41 c Got one! Elapsed wall clock time (in seconds):1.275 1.13/1.41 o -1035 1.13/1.42 c Got one! Elapsed wall clock time (in seconds):1.284 1.13/1.42 o -1042 1.13/1.43 c Got one! Elapsed wall clock time (in seconds):1.293 1.13/1.43 o -1049 1.13/1.44 c Got one! Elapsed wall clock time (in seconds):1.299 1.13/1.44 o -1051 1.13/1.44 c Got one! Elapsed wall clock time (in seconds):1.309 1.13/1.44 o -1097 1.13/1.49 c Got one! Elapsed wall clock time (in seconds):1.35 1.13/1.49 o -1122 1.13/1.52 c Got one! Elapsed wall clock time (in seconds):1.385 1.13/1.52 o -1126 1.13/1.54 c Got one! Elapsed wall clock time (in seconds):1.401 1.13/1.54 o -1291 1.13/1.85 c Got one! Elapsed wall clock time (in seconds):1.714 1.13/1.85 o -1298 1.13/1.86 c Got one! Elapsed wall clock time (in seconds):1.724 1.13/1.86 o -1465 1.13/2.16 c Got one! Elapsed wall clock time (in seconds):2.028 1.13/2.16 o -1468 1.13/2.39 c Got one! Elapsed wall clock time (in seconds):2.25 1.13/2.39 o -1478 1.13/2.42 c Got one! Elapsed wall clock time (in seconds):2.284 1.13/2.42 o -1481 1.13/2.43 c Got one! Elapsed wall clock time (in seconds):2.298 1.13/2.43 o -1485 1.13/2.46 c Got one! Elapsed wall clock time (in seconds):2.323 1.13/2.46 o -1656 1.13/2.93 c Got one! Elapsed wall clock time (in seconds):2.796 1.13/2.93 o -1666 1.13/3.30 c Got one! Elapsed wall clock time (in seconds):3.166 1.13/3.30 o -1672 4.85/9.28 c Got one! Elapsed wall clock time (in seconds):9.141 4.85/9.28 o -1818 5.43/10.22 c Got one! Elapsed wall clock time (in seconds):10.087 5.43/10.22 o -1863 5.43/10.96 c Got one! Elapsed wall clock time (in seconds):10.826 5.43/10.96 o -1868 5.43/11.39 c Got one! Elapsed wall clock time (in seconds):11.249 5.43/11.39 o -1979 7.37/13.07 c cleaning 5301 clauses out of 10602 with flag 6001/10602 7.37/13.26 c Got one! Elapsed wall clock time (in seconds):13.123 7.37/13.26 o -2020 7.37/14.44 c Got one! Elapsed wall clock time (in seconds):14.303 7.37/14.44 o -2028 10.81/21.24 c Got one! Elapsed wall clock time (in seconds):21.1 10.81/21.24 o -2029 10.81/21.42 c Got one! Elapsed wall clock time (in seconds):21.283 10.81/21.42 o -2030 10.81/21.46 c Got one! Elapsed wall clock time (in seconds):21.327 10.81/21.46 o -2033 11.58/21.49 c Got one! Elapsed wall clock time (in seconds):21.35 11.58/21.49 o -2036 11.58/21.49 c Got one! Elapsed wall clock time (in seconds):21.358 11.58/21.49 o -2038 11.58/21.58 c Got one! Elapsed wall clock time (in seconds):21.445 11.58/21.58 o -2042 11.70/21.74 c Got one! Elapsed wall clock time (in seconds):21.601 11.70/21.74 o -2046 11.85/21.75 c Got one! Elapsed wall clock time (in seconds):21.614 11.85/21.75 o -2054 11.85/21.76 c Got one! Elapsed wall clock time (in seconds):21.624 11.85/21.76 o -2059 11.85/21.77 c Got one! Elapsed wall clock time (in seconds):21.638 11.85/21.77 o -2064 11.85/21.90 c Got one! Elapsed wall clock time (in seconds):21.768 11.85/21.90 o -2141 13.64/23.63 c cleaning 6340 clauses out of 12679 with flag 6003/17980 13.64/25.71 c Got one! Elapsed wall clock time (in seconds):25.571 13.64/25.71 o -2195 17.03/26.92 c cleaning 6060 clauses out of 12119 with flag 4004/23760 17.03/28.06 c Got one! Elapsed wall clock time (in seconds):27.92 17.03/28.06 o -2234 17.03/29.26 c Got one! Elapsed wall clock time (in seconds):29.122 17.03/29.26 o -2241 17.03/29.89 c Got one! Elapsed wall clock time (in seconds):29.751 17.03/29.89 o -2242 20.12/30.00 c Got one! Elapsed wall clock time (in seconds):29.868 20.12/30.00 o -2244 20.18/30.18 c Got one! Elapsed wall clock time (in seconds):30.04 20.18/30.18 o -2248 20.18/30.20 c Got one! Elapsed wall clock time (in seconds):30.066 20.18/30.20 o -2261 20.18/30.22 c Got one! Elapsed wall clock time (in seconds):30.085 20.18/30.22 o -2264 20.18/30.28 c Got one! Elapsed wall clock time (in seconds):30.145 20.18/30.28 o -2270 20.18/30.51 c Got one! Elapsed wall clock time (in seconds):30.378 20.18/30.51 o -2360 21.96/31.31 c cleaning 6515 clauses out of 13033 with flag 2003/30734 21.96/34.72 c cleaning 6258 clauses out of 12519 with flag 14005/36735 25.93/37.51 c Got one! Elapsed wall clock time (in seconds):37.374 25.93/37.51 o -2364 29.13/38.08 c cleaning 6110 clauses out of 12222 with flag 2004/42696 29.13/39.80 c Got one! Elapsed wall clock time (in seconds):39.668 29.13/39.80 o -2370 30.88/40.91 c Got one! Elapsed wall clock time (in seconds):40.77 30.88/40.91 o -2372 30.88/41.54 c cleaning 6014 clauses out of 12035 with flag 2032/48619 30.88/41.67 c Got one! Elapsed wall clock time (in seconds):41.532 30.88/41.67 o -2375 30.88/41.93 c Got one! Elapsed wall clock time (in seconds):41.794 30.88/41.93 o -2378 33.14/42.02 c Got one! Elapsed wall clock time (in seconds):41.88 33.14/42.02 o -2381 33.14/42.05 c Got one! Elapsed wall clock time (in seconds):41.911 33.14/42.05 o -2384 33.14/42.13 c Got one! Elapsed wall clock time (in seconds):41.995 33.14/42.13 o -2452 34.86/45.05 c Got one! Elapsed wall clock time (in seconds):44.916 34.86/45.05 o -2453 34.86/45.69 c cleaning 6422 clauses out of 12843 with flag 2007/55441 34.86/46.00 c Got one! Elapsed wall clock time (in seconds):45.865 34.86/46.00 o -2455 34.86/46.44 c Got one! Elapsed wall clock time (in seconds):46.301 34.86/46.44 o -2458 34.86/46.46 c Got one! Elapsed wall clock time (in seconds):46.326 34.86/46.46 o -2464 34.86/46.49 c Got one! Elapsed wall clock time (in seconds):46.352 34.86/46.49 o -2470 34.86/46.54 c Got one! Elapsed wall clock time (in seconds):46.402 34.86/46.54 o -2476 34.86/46.94 c Got one! Elapsed wall clock time (in seconds):46.801 34.86/46.94 o -2499 34.86/49.76 c cleaning 6739 clauses out of 13485 with flag 10003/62505 34.86/53.19 c cleaning 6373 clauses out of 12747 with flag 22005/68506 44.31/57.15 c cleaning 6682 clauses out of 13372 with flag 36001/75504 53.02/61.97 c Got one! Elapsed wall clock time (in seconds):61.834 53.02/61.97 o -2533 56.61/68.28 c cleaning 9842 clauses out of 19687 with flag 10004/88501 56.61/69.74 c Got one! Elapsed wall clock time (in seconds):69.602 56.61/69.74 o -2548 56.61/71.55 c cleaning 7683 clauses out of 15371 with flag 6003/94027 56.61/72.06 c Got one! Elapsed wall clock time (in seconds):71.919 56.61/72.06 o -2563 56.61/73.30 c Got one! Elapsed wall clock time (in seconds):73.159 56.61/73.30 o -2564 56.61/73.94 c Got one! Elapsed wall clock time (in seconds):73.803 56.61/73.94 o -2575 56.61/73.99 c Got one! Elapsed wall clock time (in seconds):73.856 56.61/73.99 o -2581 56.61/74.12 c Got one! Elapsed wall clock time (in seconds):73.981 56.61/74.12 o -2582 56.61/74.13 c Got one! Elapsed wall clock time (in seconds):73.997 56.61/74.13 o -2583 56.61/74.14 c Got one! Elapsed wall clock time (in seconds):74.006 56.61/74.14 o -2585 56.61/74.18 c Got one! Elapsed wall clock time (in seconds):74.045 56.61/74.18 o -2589 56.61/74.19 c Got one! Elapsed wall clock time (in seconds):74.054 56.61/74.19 o -2591 56.61/74.61 c Got one! Elapsed wall clock time (in seconds):74.473 56.61/74.61 o -2597 56.61/75.85 c cleaning 7355 clauses out of 14718 with flag 4005/101057 56.61/79.50 c Got one! Elapsed wall clock time (in seconds):79.359 56.61/79.50 o -2602 56.61/80.17 c Got one! Elapsed wall clock time (in seconds):80.032 56.61/80.17 o -2603 56.61/80.50 c Got one! Elapsed wall clock time (in seconds):80.369 56.61/80.50 o -2605 56.61/80.53 c Got one! Elapsed wall clock time (in seconds):80.395 56.61/80.53 o -2608 56.61/80.55 c Got one! Elapsed wall clock time (in seconds):80.412 56.61/80.55 o -2612 56.61/80.60 c Got one! Elapsed wall clock time (in seconds):80.467 56.61/80.60 o -2613 56.61/80.61 c Got one! Elapsed wall clock time (in seconds):80.477 56.61/80.61 o -2614 56.61/80.63 c Got one! Elapsed wall clock time (in seconds):80.489 56.61/80.63 o -2617 56.61/80.63 c Got one! Elapsed wall clock time (in seconds):80.496 56.61/80.63 o -2622 56.61/80.64 c Got one! Elapsed wall clock time (in seconds):80.501 56.61/80.64 o -2623 56.61/80.88 c Got one! Elapsed wall clock time (in seconds):80.741 56.61/80.88 o -2632 56.61/81.53 c Got one! Elapsed wall clock time (in seconds):81.389 56.61/81.53 o -2644 56.61/81.62 c Got one! Elapsed wall clock time (in seconds):81.481 56.61/81.62 o -2645 56.61/81.64 c Got one! Elapsed wall clock time (in seconds):81.506 56.61/81.64 o -2648 56.61/81.69 c Got one! Elapsed wall clock time (in seconds):81.551 56.61/81.69 o -2649 56.61/81.69 c Got one! Elapsed wall clock time (in seconds):81.558 56.61/81.69 o -2654 56.61/82.22 c Got one! Elapsed wall clock time (in seconds):82.082 56.61/82.22 o -2665 56.61/83.55 c Got one! Elapsed wall clock time (in seconds):83.414 56.61/83.55 o -2669 56.61/83.65 c Got one! Elapsed wall clock time (in seconds):83.512 56.61/83.65 o -2670 56.61/83.67 c Got one! Elapsed wall clock time (in seconds):83.529 56.61/83.67 o -2672 56.61/83.67 c Got one! Elapsed wall clock time (in seconds):83.539 56.61/83.67 o -2674 56.61/83.73 c Got one! Elapsed wall clock time (in seconds):83.594 56.61/83.73 o -2680 56.61/83.76 c Got one! Elapsed wall clock time (in seconds):83.625 56.61/83.76 o -2686 56.61/84.37 c cleaning 10393 clauses out of 20790 with flag 2021/114484 56.61/84.76 c Got one! Elapsed wall clock time (in seconds):84.628 56.61/84.76 o -2760 56.61/87.70 c cleaning 8052 clauses out of 16112 with flag 10005/120199 78.16/91.12 c cleaning 7026 clauses out of 14058 with flag 22001/126197 78.16/95.10 c cleaning 7016 clauses out of 14032 with flag 36001/133197 88.56/99.56 c cleaning 7505 clauses out of 15016 with flag 52001/141197 91.21/104.75 c cleaning 8253 clauses out of 16512 with flag 70003/150198 91.21/110.35 c cleaning 9127 clauses out of 18258 with flag 90001/160197 91.21/112.12 c Got one! Elapsed wall clock time (in seconds):111.984 91.21/112.12 o -2861 91.21/113.33 c cleaning 7208 clauses out of 14420 with flag 4002/165486 91.21/116.75 c cleaning 6605 clauses out of 13213 with flag 16004/171487 106.79/120.79 c cleaning 6800 clauses out of 13608 with flag 30004/178487 110.90/125.49 c cleaning 7401 clauses out of 14807 with flag 46002/186486 115.54/128.74 c Got one! Elapsed wall clock time (in seconds):128.603 115.54/128.74 o -2864 115.54/131.69 c cleaning 8987 clauses out of 17976 with flag 10030/197056 124.16/135.41 c cleaning 7490 clauses out of 14988 with flag 22049/203055 124.16/137.36 c Got one! Elapsed wall clock time (in seconds):137.222 124.16/137.36 o -2868 124.16/138.58 c cleaning 6491 clauses out of 12991 with flag 4045/208548 124.16/142.14 c cleaning 6244 clauses out of 12499 with flag 16043/214547 124.16/142.52 c Got one! Elapsed wall clock time (in seconds):142.386 124.16/142.52 o -2874 135.03/144.77 c Got one! Elapsed wall clock time (in seconds):144.636 135.03/144.77 o -2880 135.03/144.88 c Got one! Elapsed wall clock time (in seconds):144.74 135.03/144.88 o -2881 136.17/144.91 c Got one! Elapsed wall clock time (in seconds):144.771 136.17/144.91 o -2882 136.17/144.92 c Got one! Elapsed wall clock time (in seconds):144.779 136.17/144.92 o -2884 136.17/144.97 c Got one! Elapsed wall clock time (in seconds):144.831 136.17/144.97 o -2887 136.27/145.01 c Got one! Elapsed wall clock time (in seconds):144.873 136.27/145.01 o -2888 136.27/145.02 c Got one! Elapsed wall clock time (in seconds):144.882 136.27/145.02 o -2889 136.27/145.03 c Got one! Elapsed wall clock time (in seconds):144.89 136.27/145.03 o -2890 136.27/145.11 c Got one! Elapsed wall clock time (in seconds):144.976 136.27/145.11 o -2895 136.57/145.31 c Got one! Elapsed wall clock time (in seconds):145.171 136.57/145.31 o -2896 136.57/146.52 c cleaning 6757 clauses out of 13521 with flag 4172/221813 138.08/146.85 c Got one! Elapsed wall clock time (in seconds):146.711 138.08/146.85 o -2976 138.08/149.69 c cleaning 6161 clauses out of 12323 with flag 10003/227372 140.96/153.08 c cleaning 6080 clauses out of 12162 with flag 22003/233372 148.01/156.95 c cleaning 6538 clauses out of 13081 with flag 36001/240371 148.01/161.64 c cleaning 7268 clauses out of 14544 with flag 52003/248372 148.01/166.73 c cleaning 8137 clauses out of 16275 with flag 70001/257371 148.01/172.56 c cleaning 9067 clauses out of 18138 with flag 90001/267371 168.60/178.97 c cleaning 10036 clauses out of 20072 with flag 112003/278372 168.60/185.85 c cleaning 11017 clauses out of 22036 with flag 136003/290372 181.55/193.55 c cleaning 12009 clauses out of 24019 with flag 162003/303372 181.55/198.31 c Got one! Elapsed wall clock time (in seconds):198.171 181.55/198.31 o -2981 181.55/201.43 c cleaning 12600 clauses out of 25203 with flag 10004/316565 181.55/204.97 c cleaning 9301 clauses out of 18603 with flag 22004/322565 181.55/209.14 c cleaning 8147 clauses out of 16302 with flag 36004/329565 181.55/213.81 c cleaning 8077 clauses out of 16154 with flag 52002/337564 181.55/215.47 c Got one! Elapsed wall clock time (in seconds):215.33 181.55/215.47 o -2983 181.55/217.22 c cleaning 6948 clauses out of 13900 with flag 6079/343387 210.57/220.71 c cleaning 6471 clauses out of 12951 with flag 18206/349386 216.63/224.89 c cleaning 6734 clauses out of 13480 with flag 32411/356386 216.63/227.08 c Got one! Elapsed wall clock time (in seconds):226.944 216.63/227.08 o -2987 216.63/228.32 c cleaning 6131 clauses out of 12267 with flag 4194/361907 216.63/231.94 c cleaning 6065 clauses out of 12136 with flag 16770/367907 216.63/231.95 c Got one! Elapsed wall clock time (in seconds):231.818 216.63/231.95 o -2993 216.63/232.44 c Got one! Elapsed wall clock time (in seconds):232.299 216.63/232.44 o -2996 216.63/232.74 c Got one! Elapsed wall clock time (in seconds):232.603 216.63/232.74 o -3005 216.63/235.64 c cleaning 6163 clauses out of 12327 with flag 10003/374163 216.63/239.22 c cleaning 6082 clauses out of 12164 with flag 22003/380163 235.37/243.22 c cleaning 6539 clauses out of 13082 with flag 36003/387163 239.86/247.76 c cleaning 7271 clauses out of 14543 with flag 52003/395163 242.66/250.59 c Got one! Elapsed wall clock time (in seconds):250.458 242.66/250.59 o -3007 245.27/253.19 c Got one! Elapsed wall clock time (in seconds):253.052 245.27/253.19 o -3010 245.95/253.86 c cleaning 8716 clauses out of 17434 with flag 2005/405325 246.56/254.49 c Got one! Elapsed wall clock time (in seconds):254.351 246.56/254.49 o -3017 246.86/254.72 c Got one! Elapsed wall clock time (in seconds):254.583 246.86/254.72 o -3023 246.86/254.75 c Got one! Elapsed wall clock time (in seconds):254.614 246.86/254.75 o -3024 246.86/254.76 c Got one! Elapsed wall clock time (in seconds):254.625 246.86/254.76 o -3031 247.96/255.83 c Got one! Elapsed wall clock time (in seconds):255.697 247.96/255.83 o -3040 249.86/257.76 c cleaning 7443 clauses out of 14892 with flag 6007/411499 250.46/258.38 c Got one! Elapsed wall clock time (in seconds):258.245 250.46/258.38 o -3047 250.67/258.58 c Got one! Elapsed wall clock time (in seconds):258.441 250.67/258.58 o -3049 250.77/258.63 c Got one! Elapsed wall clock time (in seconds):258.49 250.77/258.63 o -3057 250.95/258.82 c Got one! Elapsed wall clock time (in seconds):258.689 250.95/258.82 o -3063 252.97/260.83 c Got one! Elapsed wall clock time (in seconds):260.691 252.97/260.83 o -3065 253.56/261.48 c cleaning 6809 clauses out of 13622 with flag 2005/417672 260.23/265.44 c cleaning 6405 clauses out of 12813 with flag 14005/423672 260.83/266.00 c Got one! Elapsed wall clock time (in seconds):265.863 260.83/266.00 o -3077 261.04/266.22 c Got one! Elapsed wall clock time (in seconds):266.087 261.04/266.22 o -3078 261.04/266.26 c Got one! Elapsed wall clock time (in seconds):266.123 261.04/266.26 o -3080 261.04/266.28 c Got one! Elapsed wall clock time (in seconds):266.147 261.04/266.28 o -3082 261.23/266.44 c Got one! Elapsed wall clock time (in seconds):266.301 261.23/266.44 o -3086 261.43/266.63 c Got one! Elapsed wall clock time (in seconds):266.49 261.43/266.63 o -3088 261.43/266.68 c Got one! Elapsed wall clock time (in seconds):266.542 261.43/266.68 o -3094 263.73/268.94 c cleaning 6247 clauses out of 12494 with flag 8038/429758 265.23/270.42 c Got one! Elapsed wall clock time (in seconds):270.288 265.23/270.42 o -3110 266.93/272.10 c cleaning 6031 clauses out of 12072 with flag 6001/435583 270.33/275.50 c cleaning 6019 clauses out of 12043 with flag 18005/441585 274.34/279.57 c cleaning 6506 clauses out of 13022 with flag 32001/448583 278.83/284.04 c cleaning 7257 clauses out of 14516 with flag 48001/456583 283.93/289.17 c cleaning 8125 clauses out of 16260 with flag 66003/465584 289.53/294.79 c cleaning 9065 clauses out of 18134 with flag 86001/475583 296.13/301.35 c cleaning 10033 clauses out of 20070 with flag 108003/486584 303.34/308.56 c cleaning 11019 clauses out of 22037 with flag 132003/498584 311.24/316.45 c cleaning 12009 clauses out of 24017 with flag 158001/511583 319.45/324.63 c cleaning 13000 clauses out of 26008 with flag 186001/525583 328.04/333.25 c cleaning 14001 clauses out of 28008 with flag 216001/540583 337.53/342.76 c cleaning 15003 clauses out of 30007 with flag 248001/556583 349.53/353.38 c cleaning 16002 clauses out of 32005 with flag 282003/573584 360.73/364.53 c cleaning 16999 clauses out of 34002 with flag 318001/591583 372.54/376.39 c cleaning 18001 clauses out of 36003 with flag 356001/610583 381.54/385.35 c Got one! Elapsed wall clock time (in seconds):385.219 381.54/385.35 o -3120 384.94/388.71 c cleaning 18522 clauses out of 37052 with flag 10002/629633 388.64/392.46 c cleaning 12262 clauses out of 24531 with flag 22004/635634 392.84/396.69 c cleaning 9631 clauses out of 19269 with flag 36004/642634 397.75/401.58 c cleaning 8811 clauses out of 17637 with flag 52002/650633 403.25/407.09 c cleaning 8913 clauses out of 17826 with flag 70002/659633 409.44/413.20 c cleaning 9457 clauses out of 18913 with flag 90002/669633 415.54/419.32 c Got one! Elapsed wall clock time (in seconds):419.185 415.54/419.32 o -3134 418.65/422.43 c cleaning 12292 clauses out of 24589 with flag 10005/684766 422.24/426.04 c cleaning 9143 clauses out of 18296 with flag 22003/690765 427.23/430.33 c cleaning 8074 clauses out of 16153 with flag 36003/697765 431.93/435.10 c cleaning 8038 clauses out of 16079 with flag 52003/705765 434.13/437.20 c Got one! Elapsed wall clock time (in seconds):437.061 434.13/437.20 o -3137 435.33/438.43 c cleaning 6893 clauses out of 13804 with flag 4004/711528 438.83/441.99 c cleaning 6455 clauses out of 12911 with flag 16004/717528 439.83/442.91 c Got one! Elapsed wall clock time (in seconds):442.777 439.83/442.91 o -3138 442.33/445.41 c cleaning 6048 clauses out of 12103 with flag 8180/723175 442.33/445.44 c Got one! Elapsed wall clock time (in seconds):445.303 442.33/445.44 o -3140 443.23/446.32 c Got one! Elapsed wall clock time (in seconds):446.185 443.23/446.32 o -3142 443.23/446.39 c Got one! Elapsed wall clock time (in seconds):446.255 443.23/446.39 o -3146 443.33/446.40 c Got one! Elapsed wall clock time (in seconds):446.265 443.33/446.40 o -3148 443.33/446.41 c Got one! Elapsed wall clock time (in seconds):446.277 443.33/446.41 o -3149 444.13/447.24 c Got one! Elapsed wall clock time (in seconds):447.104 444.13/447.24 o -3152 446.03/449.10 c cleaning 6036 clauses out of 12073 with flag 6005/729193 449.33/452.50 c Got one! Elapsed wall clock time (in seconds):452.36 449.33/452.50 o -3154 449.53/452.67 c Got one! Elapsed wall clock time (in seconds):452.537 449.53/452.67 o -3159 449.63/452.71 c Got one! Elapsed wall clock time (in seconds):452.575 449.63/452.71 o -3160 449.63/452.74 c Got one! Elapsed wall clock time (in seconds):452.607 449.63/452.74 o -3161 449.63/452.77 c Got one! Elapsed wall clock time (in seconds):452.635 449.63/452.77 o -3163 450.03/453.14 c Got one! Elapsed wall clock time (in seconds):453.008 450.03/453.14 o -3169 451.34/454.43 c Got one! Elapsed wall clock time (in seconds):454.289 451.34/454.43 o -3170 451.43/454.53 c Got one! Elapsed wall clock time (in seconds):454.392 451.43/454.53 o -3171 451.43/454.54 c Got one! Elapsed wall clock time (in seconds):454.399 451.43/454.54 o -3173 451.43/454.55 c Got one! Elapsed wall clock time (in seconds):454.413 451.43/454.55 o -3174 451.53/454.68 c Got one! Elapsed wall clock time (in seconds):454.539 451.53/454.68 o -3180 453.93/457.00 c cleaning 9583 clauses out of 19172 with flag 8162/742328 454.03/457.12 c Got one! Elapsed wall clock time (in seconds):456.983 454.03/457.12 o -3240 456.92/460.03 c cleaning 7379 clauses out of 14767 with flag 10005/747506 460.32/463.46 c cleaning 6691 clauses out of 13387 with flag 22003/753505 464.43/467.52 c cleaning 6847 clauses out of 13696 with flag 36003/760505 469.02/472.10 c cleaning 7425 clauses out of 14849 with flag 52003/768505 474.22/477.31 c cleaning 8212 clauses out of 16425 with flag 70005/777506 479.83/482.94 c cleaning 9104 clauses out of 18213 with flag 90005/787506 486.32/489.45 c cleaning 10054 clauses out of 20109 with flag 112005/798506 488.12/491.23 c Got one! Elapsed wall clock time (in seconds):491.097 488.12/491.23 o -3243 489.32/492.47 c cleaning 7554 clauses out of 15117 with flag 4004/803568 492.92/496.01 c cleaning 6779 clauses out of 13563 with flag 16004/809568 497.02/500.19 c cleaning 6890 clauses out of 13785 with flag 30006/816569 501.83/504.92 c cleaning 7448 clauses out of 14895 with flag 46006/824569 507.08/510.06 c cleaning 8223 clauses out of 16446 with flag 64004/833568 507.98/510.92 c Got one! Elapsed wall clock time (in seconds):510.788 507.98/510.92 o -3245 510.38/513.38 c cleaning 6879 clauses out of 13760 with flag 8005/839105 513.98/516.90 c cleaning 6438 clauses out of 12881 with flag 20065/845105 516.78/519.73 c Got one! Elapsed wall clock time (in seconds):519.595 516.78/519.73 o -3247 517.08/520.08 c Got one! Elapsed wall clock time (in seconds):519.947 517.08/520.08 o -3252 517.39/520.36 c Got one! Elapsed wall clock time (in seconds):520.221 517.39/520.36 o -3254 517.58/520.55 c Got one! Elapsed wall clock time (in seconds):520.412 517.58/520.55 o -3256 517.98/520.90 c Got one! Elapsed wall clock time (in seconds):520.767 517.98/520.90 o -3257 517.98/520.92 c Got one! Elapsed wall clock time (in seconds):520.785 517.98/520.92 o -3260 518.08/521.08 c Got one! Elapsed wall clock time (in seconds):520.942 518.08/521.08 o -3261 518.88/521.89 c Got one! Elapsed wall clock time (in seconds):521.754 518.88/521.89 o -3266 521.38/524.33 c cleaning 9452 clauses out of 18904 with flag 8060/857566 524.68/527.69 c cleaning 7724 clauses out of 15452 with flag 20222/863566 525.48/528.49 c Got one! Elapsed wall clock time (in seconds):528.356 525.48/528.49 o -3305 527.68/530.68 c cleaning 6598 clauses out of 13211 with flag 8003/869049 531.08/534.03 c cleaning 6299 clauses out of 12612 with flag 20001/875048 535.09/538.04 c cleaning 6653 clauses out of 13313 with flag 34001/882048 539.78/542.79 c cleaning 7328 clauses out of 14661 with flag 50003/890049 544.89/547.88 c cleaning 8164 clauses out of 16333 with flag 68003/899049 550.67/553.63 c cleaning 9078 clauses out of 18168 with flag 88001/909048 556.98/559.92 c cleaning 10044 clauses out of 20091 with flag 110003/920049 564.07/567.07 c cleaning 11019 clauses out of 22046 with flag 134001/932048 571.87/574.89 c cleaning 12012 clauses out of 24028 with flag 160003/945049 580.09/583.07 c cleaning 13007 clauses out of 26017 with flag 188005/959050 589.27/591.96 c cleaning 14004 clauses out of 28009 with flag 218003/974049 598.86/601.53 c cleaning 15001 clauses out of 30005 with flag 250003/990049 609.16/611.87 c cleaning 15998 clauses out of 32004 with flag 284003/1007049 620.26/622.91 c cleaning 17003 clauses out of 34006 with flag 320003/1025049 632.17/634.81 c cleaning 17998 clauses out of 36002 with flag 358001/1044048 644.45/647.14 c cleaning 18999 clauses out of 38005 with flag 398003/1064049 657.46/660.15 c cleaning 20001 clauses out of 40006 with flag 440003/1085049 672.45/674.06 c cleaning 20999 clauses out of 42004 with flag 484001/1107048 687.25/688.80 c cleaning 21999 clauses out of 44006 with flag 530003/1130049 702.35/703.99 c cleaning 23002 clauses out of 46007 with flag 578003/1154049 718.85/720.48 c cleaning 24001 clauses out of 48005 with flag 628003/1179049 736.05/737.63 c cleaning 25001 clauses out of 50004 with flag 680003/1205049 742.59/743.16 c Got one! Elapsed wall clock time (in seconds):743.025 742.59/743.16 o -3334 746.09/746.63 c cleaning 19282 clauses out of 38578 with flag 10004/1218624 749.89/750.42 c cleaning 12642 clauses out of 25296 with flag 22004/1224624 753.99/754.53 c cleaning 9823 clauses out of 19654 with flag 36004/1231624 758.79/759.37 c cleaning 8912 clauses out of 17830 with flag 52002/1239623 764.00/764.60 c cleaning 8955 clauses out of 17918 with flag 70002/1248623 769.90/770.49 c cleaning 9475 clauses out of 18964 with flag 90004/1258624 776.40/776.93 c cleaning 10242 clauses out of 20489 with flag 112004/1269624 783.50/784.01 c cleaning 11120 clauses out of 22247 with flag 136004/1281624 791.40/791.92 c cleaning 12061 clauses out of 24126 with flag 162002/1294623 799.80/800.32 c cleaning 13030 clauses out of 26066 with flag 190004/1308624 809.00/809.57 c cleaning 14013 clauses out of 28036 with flag 220004/1323624 821.16/819.94 c cleaning 15012 clauses out of 30023 with flag 252004/1339624 831.77/830.60 c cleaning 16003 clauses out of 32011 with flag 286004/1356624 842.96/841.76 c cleaning 17003 clauses out of 34008 with flag 322004/1374624 846.36/845.18 c Got one! Elapsed wall clock time (in seconds):845.042 846.36/845.18 o -3337 849.47/848.28 c cleaning 13777 clauses out of 27564 with flag 10178/1385183 853.06/851.83 c cleaning 9890 clauses out of 19786 with flag 22225/1391182 857.07/855.86 c cleaning 8446 clauses out of 16896 with flag 36294/1398182 861.66/860.46 c cleaning 8220 clauses out of 16450 with flag 52366/1406182 865.26/864.02 c Got one! Elapsed wall clock time (in seconds):863.881 865.26/864.02 o -3342 868.36/867.13 c cleaning 9720 clauses out of 19451 with flag 10290/1417403 871.86/870.65 c cleaning 7864 clauses out of 15731 with flag 22645/1423403 875.88/874.68 c cleaning 7434 clauses out of 14867 with flag 36966/1430403 880.07/878.88 c Got one! Elapsed wall clock time (in seconds):878.745 880.07/878.88 o -3343 880.87/879.67 c Got one! Elapsed wall clock time (in seconds):879.537 880.87/879.67 o -3350 883.37/882.15 c cleaning 9935 clauses out of 19881 with flag 8003/1442851 887.15/885.72 c cleaning 7969 clauses out of 15947 with flag 20005/1448852 891.15/889.76 c cleaning 7484 clauses out of 14977 with flag 34003/1455851 895.76/894.38 c cleaning 7744 clauses out of 15493 with flag 50003/1463851 901.36/899.93 c cleaning 8374 clauses out of 16749 with flag 68003/1472851 907.15/905.76 c cleaning 9187 clauses out of 18375 with flag 88003/1482851 913.85/912.43 c cleaning 10094 clauses out of 20188 with flag 110003/1493851 921.16/919.71 c cleaning 11045 clauses out of 22095 with flag 134005/1505852 928.87/927.47 c cleaning 12024 clauses out of 24050 with flag 160005/1518852 937.26/935.85 c cleaning 13011 clauses out of 26025 with flag 188003/1532851 946.25/944.89 c cleaning 14006 clauses out of 28014 with flag 218003/1547851 951.54/949.83 c Got one! Elapsed wall clock time (in seconds):949.697 951.54/949.83 o -3356 954.84/953.19 c cleaning 13460 clauses out of 26926 with flag 10006/1560769 958.63/957.00 c cleaning 9731 clauses out of 19466 with flag 22006/1566769 962.83/961.19 c cleaning 8359 clauses out of 16734 with flag 36004/1573768 964.13/962.44 c Got one! Elapsed wall clock time (in seconds):962.308 964.13/962.44 o -3362 966.03/964.37 c cleaning 6793 clauses out of 13597 with flag 6183/1578990 969.53/967.89 c cleaning 6399 clauses out of 12804 with flag 18417/1584990 972.73/971.03 c Got one! Elapsed wall clock time (in seconds):970.896 972.73/971.03 o -3363 975.73/974.00 c cleaning 8301 clauses out of 16603 with flag 10100/1595188 979.13/977.47 c cleaning 7151 clauses out of 14303 with flag 22236/1601189 981.43/979.75 c Got one! Elapsed wall clock time (in seconds):979.61 981.43/979.75 o -3369 982.13/980.40 c cleaning 6078 clauses out of 12162 with flag 2040/1606199 982.13/980.41 c Got one! Elapsed wall clock time (in seconds):980.275 982.13/980.41 o -3370 982.43/980.76 c Got one! Elapsed wall clock time (in seconds):980.624 982.43/980.76 o -3372 982.43/980.80 c Got one! Elapsed wall clock time (in seconds):980.659 982.43/980.80 o -3375 982.53/980.80 c Got one! Elapsed wall clock time (in seconds):980.669 982.53/980.80 o -3377 982.53/980.81 c Got one! Elapsed wall clock time (in seconds):980.674 982.53/980.81 o -3379 982.83/981.12 c Got one! Elapsed wall clock time (in seconds):980.981 982.83/981.12 o -3380 983.83/982.19 c Got one! Elapsed wall clock time (in seconds):982.056 983.83/982.19 o -3384 983.93/982.21 c Got one! Elapsed wall clock time (in seconds):982.069 983.93/982.21 o -3385 986.24/984.60 c cleaning 6412 clauses out of 12832 with flag 8056/1612947 989.64/987.96 c cleaning 6208 clauses out of 12420 with flag 20183/1618947 993.33/991.67 c cleaning 6604 clauses out of 13212 with flag 34210/1625947 994.43/992.73 c Got one! Elapsed wall clock time (in seconds):992.594 994.43/992.73 o -3388 996.73/995.05 c cleaning 6280 clauses out of 12567 with flag 8090/1631906 1000.24/998.51 c cleaning 6144 clauses out of 12287 with flag 20296/1637906 1004.24/1002.59 c cleaning 6571 clauses out of 13143 with flag 34321/1644906 1008.74/1007.01 c cleaning 7285 clauses out of 14572 with flag 50407/1652906 1013.87/1012.02 c cleaning 8143 clauses out of 16288 with flag 68575/1661907 1018.66/1016.81 c Got one! Elapsed wall clock time (in seconds):1016.675 1018.66/1016.81 o -3389 1019.47/1017.63 c Got one! Elapsed wall clock time (in seconds):1017.49 1019.47/1017.63 o -3391 1019.76/1017.94 c Got one! Elapsed wall clock time (in seconds):1017.807 1019.76/1017.94 o -3393 1019.76/1017.99 c Got one! Elapsed wall clock time (in seconds):1017.856 1019.76/1017.99 o -3395 1019.86/1018.06 c Got one! Elapsed wall clock time (in seconds):1017.919 1019.86/1018.06 o -3398 1020.76/1018.91 c Got one! Elapsed wall clock time (in seconds):1018.775 1020.76/1018.91 o -3399 1020.76/1018.92 c Got one! Elapsed wall clock time (in seconds):1018.789 1020.76/1018.92 o -3400 1020.76/1018.93 c Got one! Elapsed wall clock time (in seconds):1018.795 1020.76/1018.93 o -3401 1020.96/1019.17 c Got one! Elapsed wall clock time (in seconds):1019.038 1020.96/1019.17 o -3405 1022.46/1020.64 c Got one! Elapsed wall clock time (in seconds):1020.505 1022.46/1020.64 o -3406 1023.16/1021.36 c cleaning 11815 clauses out of 23634 with flag 2116/1677396 1026.66/1024.80 c Got one! Elapsed wall clock time (in seconds):1024.668 1026.66/1024.80 o -3432 1029.58/1027.72 c cleaning 11352 clauses out of 22713 with flag 10001/1688290 1032.98/1031.15 c cleaning 8673 clauses out of 17362 with flag 22003/1694291 1036.87/1035.08 c cleaning 7835 clauses out of 15689 with flag 36003/1701291 1041.57/1039.78 c cleaning 7921 clauses out of 15853 with flag 52001/1709290 1047.07/1045.27 c cleaning 8465 clauses out of 16933 with flag 70003/1718291 1053.07/1051.22 c cleaning 9234 clauses out of 18467 with flag 90001/1728290 1059.48/1057.68 c cleaning 10114 clauses out of 20233 with flag 112001/1739290 1066.98/1064.81 c cleaning 11057 clauses out of 22120 with flag 136003/1751291 1074.56/1072.49 c cleaning 12030 clauses out of 24062 with flag 162001/1764290 1082.86/1080.75 c cleaning 13014 clauses out of 26032 with flag 190001/1778290 1091.96/1089.80 c cleaning 14005 clauses out of 28018 with flag 220001/1793290 1101.17/1099.03 c cleaning 15004 clauses out of 30014 with flag 252003/1809291 1111.56/1109.44 c cleaning 16002 clauses out of 32009 with flag 286001/1826290 1123.88/1121.26 c cleaning 17004 clauses out of 34007 with flag 322001/1844290 1136.18/1133.51 c cleaning 17999 clauses out of 36003 with flag 360001/1863290 1148.78/1146.15 c cleaning 19003 clauses out of 38005 with flag 400003/1883291 1162.28/1159.62 c cleaning 19998 clauses out of 40001 with flag 442001/1904290 1176.69/1174.08 c cleaning 21001 clauses out of 42004 with flag 486003/1926291 1191.74/1188.72 c cleaning 22001 clauses out of 44002 with flag 532001/1949290 1207.15/1204.13 c cleaning 23000 clauses out of 46001 with flag 580001/1973290 1223.65/1220.66 c cleaning 24000 clauses out of 48001 with flag 630001/1998290 1241.61/1238.13 c cleaning 24995 clauses out of 50002 with flag 682003/2024291 1258.80/1255.38 c cleaning 26000 clauses out of 52006 with flag 736001/2051290 1276.90/1273.41 c cleaning 27003 clauses out of 54006 with flag 792001/2079290 1296.68/1292.52 c cleaning 27999 clauses out of 56003 with flag 850001/2108290 1316.27/1312.16 c cleaning 28998 clauses out of 58004 with flag 910001/2138290 1336.47/1332.38 c cleaning 30000 clauses out of 60007 with flag 972003/2169291 1358.74/1354.14 c cleaning 31002 clauses out of 62006 with flag 1036001/2201290 1381.04/1376.46 c cleaning 32000 clauses out of 64005 with flag 1102003/2234291 1405.80/1400.56 c cleaning 33003 clauses out of 66005 with flag 1170003/2268291 1430.60/1425.39 c cleaning 33999 clauses out of 68001 with flag 1240001/2303290 1456.40/1450.73 c cleaning 35001 clauses out of 70003 with flag 1312003/2339291 1481.80/1476.11 c cleaning 35997 clauses out of 72001 with flag 1386001/2376290 1509.26/1503.03 c cleaning 36999 clauses out of 74005 with flag 1462003/2414291 1518.06/1511.90 c Got one! Elapsed wall clock time (in seconds):1511.761 1518.06/1511.90 o -3509 1521.66/1515.46 c cleaning 27650 clauses out of 55308 with flag 10004/2432593 1525.66/1519.40 c cleaning 16824 clauses out of 33658 with flag 22004/2438593 1530.90/1523.91 c cleaning 11911 clauses out of 23834 with flag 36004/2445593 1535.50/1528.55 c cleaning 9954 clauses out of 19923 with flag 52004/2453593 1540.70/1533.70 c cleaning 9479 clauses out of 18969 with flag 70004/2462593 1546.60/1539.61 c cleaning 9744 clauses out of 19489 with flag 90002/2472592 1553.20/1546.24 c cleaning 10373 clauses out of 20745 with flag 112002/2483592 1560.21/1553.25 c cleaning 11184 clauses out of 22373 with flag 136004/2495593 1568.21/1561.08 c cleaning 12091 clauses out of 24188 with flag 162002/2508592 1576.91/1569.72 c cleaning 13045 clauses out of 26098 with flag 190004/2522593 1586.40/1579.27 c cleaning 14025 clauses out of 28053 with flag 220004/2537593 1596.50/1589.31 c cleaning 15014 clauses out of 30028 with flag 252004/2553593 1607.48/1600.04 c cleaning 16002 clauses out of 32014 with flag 286004/2570593 1618.58/1611.19 c cleaning 17005 clauses out of 34011 with flag 322002/2588592 1630.18/1622.78 c cleaning 18004 clauses out of 36007 with flag 360004/2607593 1642.93/1635.17 c cleaning 18995 clauses out of 38003 with flag 400004/2627593 1656.63/1648.90 c cleaning 20002 clauses out of 40007 with flag 442002/2648592 1671.43/1663.64 c cleaning 21000 clauses out of 42005 with flag 486002/2670592 1686.72/1678.76 c cleaning 22001 clauses out of 44005 with flag 532002/2693592 1701.62/1693.60 c cleaning 22998 clauses out of 46005 with flag 580004/2717593 1718.25/1710.02 c cleaning 24001 clauses out of 48007 with flag 630004/2742593 1734.75/1726.55 c cleaning 25000 clauses out of 50006 with flag 682004/2768593 1753.07/1744.55 c cleaning 25999 clauses out of 52005 with flag 736002/2795592 1772.08/1763.06 c cleaning 27003 clauses out of 54007 with flag 792004/2823593 1791.99/1782.97 c cleaning 27999 clauses out of 56004 with flag 850004/2852593 1798.19/1789.18 c Got one! Elapsed wall clock time (in seconds):1789.044 1798.19/1789.18 o -3510 1800.00/1790.91 c starts : 222 1800.00/1790.91 c conflicts : 2864359 1800.00/1790.91 c decisions : 2870713 1800.00/1790.91 c propagations : 828505071 1800.00/1790.91 c inspects : 7765953583 1800.00/1790.91 c shortcuts : 0 1800.00/1790.91 c learnt literals : 0 1800.00/1790.91 c learnt binary clauses : 0 1800.00/1790.91 c learnt ternary clauses : 0 1800.00/1790.91 c learnt constraints : 2864359 1800.00/1790.91 c ignored constraints : 0 1800.00/1790.91 c root simplifications : 0 1800.00/1790.91 c removed literals (reason simplification) : 0 1800.00/1790.91 c reason swapping (by a shorter reason) : 0 1800.00/1790.91 c Calls to reduceDB : 233 1800.00/1790.91 c Number of update (reduction) of LBD : 463 1800.00/1790.91 c Imported unit clauses : 0 1800.00/1790.91 c number of reductions to clauses (during analyze) : 0 1800.00/1790.91 c number of learned constraints concerned by reduction : 0 1800.00/1790.91 c number of learning phase by resolution : 0 1800.00/1790.91 c number of learning phase by cutting planes : 0 1800.00/1790.91 c speed (assignments/second) : 462816.3258921938 1800.00/1790.91 c non guided choices 0 1800.00/1790.93 c learnt constraints type 1800.00/1790.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39772 1800.00/1790.93 s SATISFIABLE 1800.00/1790.93 c Found 219 solution(s) 1800.00/1790.93 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 1800.00/1790.93 c objective function=-3510 1800.00/1790.93 c Total wall clock time (in seconds): 1790.793
OK -3510
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-4119382-1467257099/watcher-4119382-1467257099 -o /tmp/evaluation-result-4119382-1467257099/solver-4119382-1467257099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15698 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119382-1467257099.opb pid=19043 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9292 CPUtime=0 cores=4-7,12-15 /proc/19046/stat : 19046 (java) D 19043 19046 15681 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 6662696 9515008 183 33554432000 1073741824 1073778376 140734008869680 140734008860712 216808636085 0 0 4096 0 18446744072100756772 0 0 17 12 0 0 0 0 0 /proc/19046/statm: 2323 183 140 9 0 71 0 [startup+0.109278 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9896436 CPUtime=0.1 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 3973 0 1 0 7 3 0 0 20 0 23 0 6662696 10133950464 4588 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2474109 4588 1991 9 0 2464786 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9896436 [startup+0.20842 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9896436 CPUtime=0.26 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 4731 0 1 0 21 5 0 0 20 0 23 0 6662696 10133950464 5803 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2474109 5803 2210 9 0 2464786 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9896436 [startup+0.300229 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9896436 CPUtime=0.49 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 5453 0 1 0 42 7 0 0 20 0 23 0 6662696 10133950464 6858 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2474109 6858 2230 9 0 2464786 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9896436 [startup+0.735917 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9896436 CPUtime=1.13 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 7208 0 1 0 105 8 0 0 20 0 23 0 6662696 10133950464 10929 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2474109 10929 2248 9 0 2464786 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 9896436 [startup+3.51559 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=4.79 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 10103 0 1 0 463 16 0 0 20 0 24 0 6662696 10202112000 50902 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 50902 2279 9 0 2481427 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 9963000 [startup+9.19254 s] /proc/loadavg: 4.22 2.49 2.18 15/281 19046 /proc/meminfo: memFree=24730160/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=4.85 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 10103 0 1 0 469 16 0 0 20 0 24 0 6662696 10202112000 50902 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 50902 2279 9 0 2481427 0 Current children cumulated CPU time (s) 4.85 Current children cumulated vsize (KiB) 9963000 heavy processes: [startup+9.79772 s] /proc/loadavg: 3.66 2.42 2.17 3/305 19070 /proc/meminfo: memFree=24487416/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=5.43 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 10173 0 1 0 526 17 0 0 20 0 24 0 6662696 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 50971 2284 9 0 2481427 0 [pid=19046/tid=19048] ppid=19043 vsize=9963000 CPUtime=4.04 cores=4-7,12-15 /proc/19046/task/19048/stat : 19048 (java) R 19043 19046 15681 0 -1 4202560 2557 0 1 0 399 5 0 0 20 0 24 0 6662698 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642611801336 139642484990696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19049] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19049/stat : 19049 (java) S 19043 19046 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642455845160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19050] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19050/stat : 19050 (java) S 19043 19046 15681 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642454792360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=19046/tid=19051] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19051/stat : 19051 (java) S 19043 19046 15681 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642453740072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19052] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19052/stat : 19052 (java) S 19043 19046 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642452687272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19053] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19053/stat : 19053 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642451634984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19054] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19054/stat : 19054 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642450582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19055] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19055/stat : 19055 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642449529896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19056] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19056/stat : 19056 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642448477096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19057] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19057/stat : 19057 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642447423784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19058] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19058/stat : 19058 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642446370984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19059] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19059/stat : 19059 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642445318696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19060] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19060/stat : 19060 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642444265896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19061] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19061/stat : 19061 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642443213608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19062] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19062/stat : 19062 (java) S 19043 19046 15681 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642425539176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19063] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19063/stat : 19063 (java) S 19043 19046 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642424485752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19064] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19064/stat : 19064 (java) S 19043 19046 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642423432840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19065] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19065/stat : 19065 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642422380816 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19066] ppid=19043 vsize=9963000 CPUtime=0.65 cores=4-7,12-15 /proc/19046/task/19066/stat : 19066 (java) S 19043 19046 15681 0 -1 4202560 3566 0 0 0 61 4 0 0 20 0 24 0 6662704 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642421327928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19067] ppid=19043 vsize=9963000 CPUtime=0.53 cores=4-7,12-15 /proc/19046/task/19067/stat : 19067 (java) S 19043 19046 15681 0 -1 4202560 2639 0 0 0 49 4 0 0 20 0 24 0 6662704 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642420275640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19068] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19068/stat : 19068 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642419223032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19069] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19069/stat : 19069 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642418170952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19070] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19070/stat : 19070 (java) S 19043 19046 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6662774 10202112000 50971 33554432000 1073741824 1073778376 140733236877056 139642417018152 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 5.43 Current children cumulated vsize (KiB) 9963000 heavy processes: [startup+14.444 s] /proc/loadavg: 3.44 2.40 2.16 3/305 19070 /proc/meminfo: memFree=24486300/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=10.24 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 10359 0 1 0 1007 17 0 0 20 0 24 0 6662696 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 51021 2290 9 0 2481427 0 [pid=19046/tid=19048] ppid=19043 vsize=9963000 CPUtime=8.69 cores=4-7,12-15 /proc/19046/task/19048/stat : 19048 (java) R 19043 19046 15681 0 -1 4202560 2557 0 1 0 864 5 0 0 20 0 24 0 6662698 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642611800632 216812020909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19049] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19049/stat : 19049 (java) S 19043 19046 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642455845160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19050] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19050/stat : 19050 (java) S 19043 19046 15681 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642454792360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=19046/tid=19051] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19051/stat : 19051 (java) S 19043 19046 15681 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642453740072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19052] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19052/stat : 19052 (java) S 19043 19046 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642452687272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19053] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19053/stat : 19053 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642451634984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19054] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19054/stat : 19054 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642450582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19055] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19055/stat : 19055 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642449529896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19056] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19056/stat : 19056 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642448477096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19057] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19057/stat : 19057 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642447423784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19058] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19058/stat : 19058 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642446370984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19059] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19059/stat : 19059 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642445318696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19060] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19060/stat : 19060 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642444265896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19061] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19061/stat : 19061 (java) S 19043 19046 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6662699 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642443213608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19062] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19062/stat : 19062 (java) S 19043 19046 15681 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642425539176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19063] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19063/stat : 19063 (java) S 19043 19046 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642424485752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19064] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19064/stat : 19064 (java) S 19043 19046 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642423432840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19065] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19065/stat : 19065 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642422380816 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19066] ppid=19043 vsize=9963000 CPUtime=0.81 cores=4-7,12-15 /proc/19046/task/19066/stat : 19066 (java) S 19043 19046 15681 0 -1 4202560 3748 0 0 0 77 4 0 0 20 0 24 0 6662704 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642421327928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19067] ppid=19043 vsize=9963000 CPUtime=0.55 cores=4-7,12-15 /proc/19046/task/19067/stat : 19067 (java) S 19043 19046 15681 0 -1 4202560 2643 0 0 0 51 4 0 0 20 0 24 0 6662704 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642420275640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19068] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19068/stat : 19068 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642419223032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19069] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19069/stat : 19069 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642418170952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19070] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19070/stat : 19070 (java) S 19043 19046 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6662774 10202112000 51021 33554432000 1073741824 1073778376 140733236877056 139642417018152 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 10.24 Current children cumulated vsize (KiB) 9963000 heavy processes: [startup+26.9108 s] /proc/loadavg: 3.44 2.40 2.16 3/305 19070 /proc/meminfo: memFree=24485556/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=17.03 cores=4-7,12-15 ################ # More data... # ################ /proc/19046/task/19057/stat : 19057 (java) S 19043 19046 15681 0 -1 4202560 3236 0 0 0 130 66 0 0 20 0 24 0 6662699 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642447423784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19058] ppid=19043 vsize=9963000 CPUtime=1.86 cores=4-7,12-15 /proc/19046/task/19058/stat : 19058 (java) S 19043 19046 15681 0 -1 4202560 4249 0 0 0 119 67 0 0 20 0 24 0 6662699 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642446370984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19059] ppid=19043 vsize=9963000 CPUtime=1.76 cores=4-7,12-15 /proc/19046/task/19059/stat : 19059 (java) S 19043 19046 15681 0 -1 4202560 4193 0 0 0 118 58 0 0 20 0 24 0 6662699 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642445318696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19060] ppid=19043 vsize=9963000 CPUtime=1.87 cores=4-7,12-15 /proc/19046/task/19060/stat : 19060 (java) S 19043 19046 15681 0 -1 4202560 3117 0 0 0 120 67 0 0 20 0 24 0 6662699 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642444265896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19061] ppid=19043 vsize=9963000 CPUtime=1.81 cores=4-7,12-15 /proc/19046/task/19061/stat : 19061 (java) S 19043 19046 15681 0 -1 4202560 3949 0 0 0 117 64 0 0 20 0 24 0 6662699 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642443213608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19062] ppid=19043 vsize=9963000 CPUtime=0.88 cores=4-7,12-15 /proc/19046/task/19062/stat : 19062 (java) S 19043 19046 15681 0 -1 4202560 1957 0 0 0 84 4 0 0 20 0 24 0 6662701 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642425539176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19063] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19063/stat : 19063 (java) S 19043 19046 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642424485752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19064] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19064/stat : 19064 (java) S 19043 19046 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642423432840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19065] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19065/stat : 19065 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642422380816 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19066] ppid=19043 vsize=9963000 CPUtime=0.9 cores=4-7,12-15 /proc/19046/task/19066/stat : 19066 (java) S 19043 19046 15681 0 -1 4202560 3761 0 0 0 86 4 0 0 20 0 24 0 6662704 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642421327928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19067] ppid=19043 vsize=9963000 CPUtime=0.56 cores=4-7,12-15 /proc/19046/task/19067/stat : 19067 (java) S 19043 19046 15681 0 -1 4202560 2644 0 0 0 52 4 0 0 20 0 24 0 6662704 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642420275640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19068] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19068/stat : 19068 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642419223032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19069] ppid=19043 vsize=9963000 CPUtime=0.31 cores=4-7,12-15 /proc/19046/task/19069/stat : 19069 (java) S 19043 19046 15681 0 -1 4202560 98 0 0 0 14 17 0 0 20 0 24 0 6662704 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642418170952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19070] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19070/stat : 19070 (java) S 19043 19046 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6662774 10202112000 550983 33554432000 1073741824 1073778376 140733236877056 139642417018152 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 1730.55 Current children cumulated vsize (KiB) 9963000 [startup+1782.3 s] /proc/loadavg: 2.22 2.15 2.10 3/305 19185 /proc/meminfo: memFree=25580880/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=1791.39 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 67642 0 1 0 178195 944 0 0 20 0 24 0 6662696 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 537979 2299 9 0 2481427 0 [pid=19046/tid=19048] ppid=19043 vsize=9963000 CPUtime=1758.82 cores=4-7,12-15 /proc/19046/task/19048/stat : 19048 (java) R 19043 19046 15681 0 -1 4202560 3942 0 1 0 175829 53 0 0 20 0 24 0 6662698 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642611793568 139642485089705 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 [pid=19046/tid=19049] ppid=19043 vsize=9963000 CPUtime=1.7 cores=4-7,12-15 /proc/19046/task/19049/stat : 19049 (java) S 19043 19046 15681 0 -1 4202560 6024 0 0 0 101 69 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642455845160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19050] ppid=19043 vsize=9963000 CPUtime=1.75 cores=4-7,12-15 /proc/19046/task/19050/stat : 19050 (java) S 19043 19046 15681 0 -1 4202560 3739 0 0 0 110 65 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642454792360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19051] ppid=19043 vsize=9963000 CPUtime=1.95 cores=4-7,12-15 /proc/19046/task/19051/stat : 19051 (java) S 19043 19046 15681 0 -1 4202560 4695 0 0 0 129 66 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642453740072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19052] ppid=19043 vsize=9963000 CPUtime=1.99 cores=4-7,12-15 /proc/19046/task/19052/stat : 19052 (java) S 19043 19046 15681 0 -1 4202560 4902 0 0 0 125 74 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642452687272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19053] ppid=19043 vsize=9963000 CPUtime=1.93 cores=4-7,12-15 /proc/19046/task/19053/stat : 19053 (java) S 19043 19046 15681 0 -1 4202560 3836 0 0 0 124 69 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642451634984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19054] ppid=19043 vsize=9963000 CPUtime=1.84 cores=4-7,12-15 /proc/19046/task/19054/stat : 19054 (java) S 19043 19046 15681 0 -1 4202560 4659 0 0 0 124 60 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642450582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19055] ppid=19043 vsize=9963000 CPUtime=2.06 cores=4-7,12-15 /proc/19046/task/19055/stat : 19055 (java) S 19043 19046 15681 0 -1 4202560 3893 0 0 0 133 73 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642449529896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19056] ppid=19043 vsize=9963000 CPUtime=2.27 cores=4-7,12-15 /proc/19046/task/19056/stat : 19056 (java) S 19043 19046 15681 0 -1 4202560 3453 0 0 0 141 86 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642448477096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19057] ppid=19043 vsize=9963000 CPUtime=2.07 cores=4-7,12-15 /proc/19046/task/19057/stat : 19057 (java) S 19043 19046 15681 0 -1 4202560 3240 0 0 0 141 66 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642447423784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19058] ppid=19043 vsize=9963000 CPUtime=1.91 cores=4-7,12-15 /proc/19046/task/19058/stat : 19058 (java) S 19043 19046 15681 0 -1 4202560 4252 0 0 0 124 67 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642446370984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19059] ppid=19043 vsize=9963000 CPUtime=1.86 cores=4-7,12-15 /proc/19046/task/19059/stat : 19059 (java) S 19043 19046 15681 0 -1 4202560 4194 0 0 0 128 58 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642445318696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19060] ppid=19043 vsize=9963000 CPUtime=1.94 cores=4-7,12-15 /proc/19046/task/19060/stat : 19060 (java) S 19043 19046 15681 0 -1 4202560 3118 0 0 0 127 67 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642444265896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19061] ppid=19043 vsize=9963000 CPUtime=1.91 cores=4-7,12-15 /proc/19046/task/19061/stat : 19061 (java) S 19043 19046 15681 0 -1 4202560 3950 0 0 0 127 64 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642443213608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19062] ppid=19043 vsize=9963000 CPUtime=0.98 cores=4-7,12-15 /proc/19046/task/19062/stat : 19062 (java) S 19043 19046 15681 0 -1 4202560 1976 0 0 0 94 4 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642425539176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19063] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19063/stat : 19063 (java) S 19043 19046 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642424485752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19064] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19064/stat : 19064 (java) S 19043 19046 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642423432840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19065] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19065/stat : 19065 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642422380816 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19066] ppid=19043 vsize=9963000 CPUtime=0.9 cores=4-7,12-15 /proc/19046/task/19066/stat : 19066 (java) S 19043 19046 15681 0 -1 4202560 3761 0 0 0 86 4 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642421327928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19067] ppid=19043 vsize=9963000 CPUtime=0.56 cores=4-7,12-15 /proc/19046/task/19067/stat : 19067 (java) S 19043 19046 15681 0 -1 4202560 2644 0 0 0 52 4 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642420275640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19068] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19068/stat : 19068 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642419223032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19069] ppid=19043 vsize=9963000 CPUtime=0.32 cores=4-7,12-15 /proc/19046/task/19069/stat : 19069 (java) S 19043 19046 15681 0 -1 4202560 100 0 0 0 15 17 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642418170952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19070] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19070/stat : 19070 (java) S 19043 19046 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6662774 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642417018152 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 9963000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.91 s] /proc/loadavg: 2.20 2.15 2.10 14/305 19185 /proc/meminfo: memFree=25527140/32872528 swapFree=8828/8828 [pid=19046] ppid=19043 vsize=9963000 CPUtime=1800 cores=4-7,12-15 /proc/19046/stat : 19046 (java) S 19043 19046 15681 0 -1 4202496 67644 0 1 0 179056 944 0 0 20 0 24 0 6662696 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 140733236868192 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/19046/statm: 2490750 537979 2299 9 0 2481427 0 [pid=19046/tid=19048] ppid=19043 vsize=9963000 CPUtime=1767.41 cores=4-7,12-15 /proc/19046/task/19048/stat : 19048 (java) R 19043 19046 15681 0 -1 4202560 3942 0 1 0 176688 53 0 0 20 0 24 0 6662698 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642611794224 139642485177419 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 [pid=19046/tid=19049] ppid=19043 vsize=9963000 CPUtime=1.7 cores=4-7,12-15 /proc/19046/task/19049/stat : 19049 (java) S 19043 19046 15681 0 -1 4202560 6024 0 0 0 101 69 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642455845160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19050] ppid=19043 vsize=9963000 CPUtime=1.75 cores=4-7,12-15 /proc/19046/task/19050/stat : 19050 (java) S 19043 19046 15681 0 -1 4202560 3739 0 0 0 110 65 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642454792360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19051] ppid=19043 vsize=9963000 CPUtime=1.95 cores=4-7,12-15 /proc/19046/task/19051/stat : 19051 (java) S 19043 19046 15681 0 -1 4202560 4695 0 0 0 129 66 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642453740072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19052] ppid=19043 vsize=9963000 CPUtime=1.99 cores=4-7,12-15 /proc/19046/task/19052/stat : 19052 (java) S 19043 19046 15681 0 -1 4202560 4902 0 0 0 125 74 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642452687272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19053] ppid=19043 vsize=9963000 CPUtime=1.93 cores=4-7,12-15 /proc/19046/task/19053/stat : 19053 (java) S 19043 19046 15681 0 -1 4202560 3836 0 0 0 124 69 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642451634984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19054] ppid=19043 vsize=9963000 CPUtime=1.84 cores=4-7,12-15 /proc/19046/task/19054/stat : 19054 (java) S 19043 19046 15681 0 -1 4202560 4659 0 0 0 124 60 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642450582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19055] ppid=19043 vsize=9963000 CPUtime=2.06 cores=4-7,12-15 /proc/19046/task/19055/stat : 19055 (java) S 19043 19046 15681 0 -1 4202560 3893 0 0 0 133 73 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642449529896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19046/tid=19056] ppid=19043 vsize=9963000 CPUtime=2.27 cores=4-7,12-15 /proc/19046/task/19056/stat : 19056 (java) S 19043 19046 15681 0 -1 4202560 3453 0 0 0 141 86 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642448477096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=19046/tid=19057] ppid=19043 vsize=9963000 CPUtime=2.07 cores=4-7,12-15 /proc/19046/task/19057/stat : 19057 (java) S 19043 19046 15681 0 -1 4202560 3240 0 0 0 141 66 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642447423784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19058] ppid=19043 vsize=9963000 CPUtime=1.91 cores=4-7,12-15 /proc/19046/task/19058/stat : 19058 (java) S 19043 19046 15681 0 -1 4202560 4252 0 0 0 124 67 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642446370984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19059] ppid=19043 vsize=9963000 CPUtime=1.86 cores=4-7,12-15 /proc/19046/task/19059/stat : 19059 (java) S 19043 19046 15681 0 -1 4202560 4194 0 0 0 128 58 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642445318696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19060] ppid=19043 vsize=9963000 CPUtime=1.94 cores=4-7,12-15 /proc/19046/task/19060/stat : 19060 (java) S 19043 19046 15681 0 -1 4202560 3118 0 0 0 127 67 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642444265896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19061] ppid=19043 vsize=9963000 CPUtime=1.91 cores=4-7,12-15 /proc/19046/task/19061/stat : 19061 (java) S 19043 19046 15681 0 -1 4202560 3950 0 0 0 127 64 0 0 20 0 24 0 6662699 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642443213608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=19046/tid=19062] ppid=19043 vsize=9963000 CPUtime=0.98 cores=4-7,12-15 /proc/19046/task/19062/stat : 19062 (java) S 19043 19046 15681 0 -1 4202560 1976 0 0 0 94 4 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642425539176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19063] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19063/stat : 19063 (java) S 19043 19046 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642424485752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19064] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19064/stat : 19064 (java) S 19043 19046 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6662701 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642423432840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19065] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19065/stat : 19065 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642422380816 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=19046/tid=19066] ppid=19043 vsize=9963000 CPUtime=0.9 cores=4-7,12-15 /proc/19046/task/19066/stat : 19066 (java) S 19043 19046 15681 0 -1 4202560 3761 0 0 0 86 4 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642421327928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19067] ppid=19043 vsize=9963000 CPUtime=0.56 cores=4-7,12-15 /proc/19046/task/19067/stat : 19067 (java) S 19043 19046 15681 0 -1 4202560 2644 0 0 0 52 4 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642420275640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19046/tid=19068] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19068/stat : 19068 (java) S 19043 19046 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642419223032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=19046/tid=19069] ppid=19043 vsize=9963000 CPUtime=0.32 cores=4-7,12-15 /proc/19046/task/19069/stat : 19069 (java) S 19043 19046 15681 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 24 0 6662704 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642418170952 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=19046/tid=19070] ppid=19043 vsize=9963000 CPUtime=0 cores=4-7,12-15 /proc/19046/task/19070/stat : 19070 (java) S 19043 19046 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6662774 10202112000 537979 33554432000 1073741824 1073778376 140733236877056 139642417018152 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9963000 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 19046 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19046 and gives # childrusage.ru_utime.tv_sec=1785 # childrusage.ru_utime.tv_usec=910500 # childrusage.ru_stime.tv_sec=9 # childrusage.ru_stime.tv_usec=866500 # CPU time returned by wait4() is 1795.78 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1790.95 CPU time (s): 1800 CPU user time (s): 1790.56 CPU system time (s): 9.44 CPU usage (%): 100.505 Max. virtual memory (cumulated for all children) (KiB): 9963000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.91 system time used= 9.8665 maximum resident set size= 3590296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67690 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37331 involuntary context switches= 10930 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7621 second user time and 15.5666 second system time The end
Begin job on node132 at 2016-06-30 05:24:59 IDJOB=4119382 IDBENCH=111716 IDSOLVER=2546 FILE ID=node132/4119382-1467257099 RUNJOBID= node132-1467233254-15698 PBS_JOBID= 19997601 Free space on /tmp= 71536 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119382-1467257099/watcher-4119382-1467257099 -o /tmp/evaluation-result-4119382-1467257099/solver-4119382-1467257099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15698 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119382-1467257099.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 9269fbcc08c2d216b9ebcd8d0ff90bb2 RANDOM SEED=840132305 node132.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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.02 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24766644 kB Buffers: 142764 kB Cached: 3869300 kB SwapCached: 0 kB Active: 3296368 kB Inactive: 3899732 kB Active(anon): 3186780 kB Inactive(anon): 0 kB Active(file): 109588 kB Inactive(file): 3899732 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 576 kB Writeback: 0 kB AnonPages: 3015328 kB Mapped: 22220 kB Shmem: 216 kB Slab: 633232 kB SReclaimable: 73600 kB SUnreclaim: 559632 kB KernelStack: 2584 kB PageTables: 10372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4017368 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2945024 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= 71536 MiB End job on node132 at 2016-06-30 05:54:50