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) | 573 | 1800.07 | 1773.14 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.opb |
| MD5SUM | b0494a0472e8d0cdf23718c2935018ff |
| 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 | 494 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 183 |
| Total number of constraints | 1457 |
| Number of constraints which are clauses | 1456 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1441 |
| Biggest coefficient in the objective function | 692 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 4070 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 692 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 4070 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 1293 |
| Sum of products size (including duplicates) | 2586 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4119522-1467261013.opb 0.08/0.11 c reading problem ... 0.08/0.11 c objective function found 0.46/0.31 c ... done. Wall clock time 0.202s. 0.46/0.31 c declared #vars 183 0.46/0.31 c internal #vars 1476 0.46/0.31 c #constraints 4044 0.46/0.31 c constraints type 0.46/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2749 0.46/0.31 c org.sat4j.specs.Constr$1 => 1 0.46/0.31 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.46/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1293 0.46/0.31 c 4044 constraints processed. 0.46/0.31 c objective function length is 1441 literals 0.46/0.34 c SATISFIABLE 0.46/0.34 c OPTIMIZING... 0.46/0.34 c Got one! Elapsed wall clock time (in seconds):0.23 0.46/0.34 o 772 0.46/0.38 c Got one! Elapsed wall clock time (in seconds):0.272 0.46/0.38 o 771 0.76/0.47 c Got one! Elapsed wall clock time (in seconds):0.363 0.76/0.47 o 768 1.06/0.52 c Got one! Elapsed wall clock time (in seconds):0.404 1.06/0.52 o 749 1.06/0.58 c Got one! Elapsed wall clock time (in seconds):0.468 1.06/0.58 o 746 1.36/0.61 c Got one! Elapsed wall clock time (in seconds):0.494 1.36/0.61 o 744 1.62/0.87 c Got one! Elapsed wall clock time (in seconds):0.754 1.62/0.87 o 743 1.76/0.95 c Got one! Elapsed wall clock time (in seconds):0.841 1.76/0.95 o 742 1.76/0.96 c Got one! Elapsed wall clock time (in seconds):0.845 1.76/0.96 o 730 1.76/0.96 c Got one! Elapsed wall clock time (in seconds):0.848 1.76/0.96 o 729 1.76/0.96 c Got one! Elapsed wall clock time (in seconds):0.851 1.76/0.96 o 724 1.76/0.97 c Got one! Elapsed wall clock time (in seconds):0.855 1.76/0.97 o 723 1.76/0.97 c Got one! Elapsed wall clock time (in seconds):0.86 1.76/0.97 o 722 1.76/0.97 c Got one! Elapsed wall clock time (in seconds):0.863 1.76/0.97 o 705 1.76/0.98 c Got one! Elapsed wall clock time (in seconds):0.866 1.76/0.98 o 699 1.94/1.02 c Got one! Elapsed wall clock time (in seconds):0.91 1.94/1.02 o 696 1.94/1.04 c Got one! Elapsed wall clock time (in seconds):0.925 1.94/1.04 o 694 2.27/1.33 c Got one! Elapsed wall clock time (in seconds):1.215 2.27/1.33 o 693 2.44/1.48 c cleaning 3459 clauses out of 6931 with flag 2037/6931 2.64/1.50 c Got one! Elapsed wall clock time (in seconds):1.389 2.64/1.50 o 692 3.35/2.05 c Got one! Elapsed wall clock time (in seconds):1.94 3.35/2.05 o 690 3.35/2.09 c Got one! Elapsed wall clock time (in seconds):1.979 3.35/2.09 o 688 3.45/2.13 c Got one! Elapsed wall clock time (in seconds):2.016 3.45/2.13 o 686 3.55/2.26 c cleaning 4872 clauses out of 9744 with flag 2032/13203 3.75/2.47 c Got one! Elapsed wall clock time (in seconds):2.36 3.75/2.47 o 685 3.95/2.64 c Got one! Elapsed wall clock time (in seconds):2.526 3.95/2.64 o 684 3.95/2.68 c Got one! Elapsed wall clock time (in seconds):2.564 3.95/2.68 o 683 4.35/3.04 c Got one! Elapsed wall clock time (in seconds):2.926 4.35/3.04 o 682 4.44/3.18 c cleaning 6024 clauses out of 12052 with flag 2038/20383 4.55/3.28 c Got one! Elapsed wall clock time (in seconds):3.165 4.55/3.28 o 680 4.66/3.38 c Got one! Elapsed wall clock time (in seconds):3.272 4.66/3.38 o 679 4.95/3.69 c Got one! Elapsed wall clock time (in seconds):3.574 4.95/3.69 o 677 5.15/3.88 c Got one! Elapsed wall clock time (in seconds):3.772 5.15/3.88 o 676 5.15/3.89 c Got one! Elapsed wall clock time (in seconds):3.776 5.15/3.89 o 674 5.15/3.89 c Got one! Elapsed wall clock time (in seconds):3.778 5.15/3.89 o 668 5.15/3.89 c Got one! Elapsed wall clock time (in seconds):3.78 5.15/3.89 o 667 5.15/3.89 c Got one! Elapsed wall clock time (in seconds):3.782 5.15/3.89 o 662 5.25/3.90 c Got one! Elapsed wall clock time (in seconds):3.788 5.25/3.90 o 657 5.25/3.98 c Got one! Elapsed wall clock time (in seconds):3.864 5.25/3.98 o 655 5.78/4.30 c cleaning 7094 clauses out of 14196 with flag 4094/28551 6.28/4.89 c Got one! Elapsed wall clock time (in seconds):4.778 6.28/4.89 o 654 6.38/4.96 c Got one! Elapsed wall clock time (in seconds):4.844 6.38/4.96 o 653 6.58/5.10 c cleaning 6571 clauses out of 13148 with flag 2039/34597 6.88/5.41 c Got one! Elapsed wall clock time (in seconds):5.298 6.88/5.41 o 652 6.88/5.45 c Got one! Elapsed wall clock time (in seconds):5.341 6.88/5.45 o 649 6.88/5.50 c Got one! Elapsed wall clock time (in seconds):5.387 6.88/5.50 o 647 6.88/5.50 c Got one! Elapsed wall clock time (in seconds):5.392 6.88/5.50 o 645 7.08/5.62 c Got one! Elapsed wall clock time (in seconds):5.505 7.08/5.62 o 644 7.48/6.03 c cleaning 6850 clauses out of 13701 with flag 6051/41721 7.68/6.20 c Got one! Elapsed wall clock time (in seconds):6.091 7.68/6.20 o 643 7.68/6.26 c Got one! Elapsed wall clock time (in seconds):6.149 7.68/6.26 o 642 7.68/6.28 c Got one! Elapsed wall clock time (in seconds):6.168 7.68/6.28 o 641 7.68/6.29 c Got one! Elapsed wall clock time (in seconds):6.178 7.68/6.29 o 639 7.88/6.47 c Got one! Elapsed wall clock time (in seconds):6.363 7.88/6.47 o 637 7.88/6.48 c Got one! Elapsed wall clock time (in seconds):6.365 7.88/6.48 o 635 8.28/6.89 c cleaning 6728 clauses out of 13461 with flag 6047/48331 8.38/6.93 c Got one! Elapsed wall clock time (in seconds):6.819 8.38/6.93 o 634 8.38/6.94 c Got one! Elapsed wall clock time (in seconds):6.824 8.38/6.94 o 632 8.98/7.58 c cleaning 6053 clauses out of 12115 with flag 10153/53713 9.38/7.91 c Got one! Elapsed wall clock time (in seconds):7.794 9.38/7.91 o 631 9.58/8.13 c Got one! Elapsed wall clock time (in seconds):8.022 9.58/8.13 o 629 9.88/8.41 c cleaning 6242 clauses out of 12484 with flag 4067/60135 9.88/8.42 c Got one! Elapsed wall clock time (in seconds):8.303 9.88/8.42 o 628 10.22/8.67 c Got one! Elapsed wall clock time (in seconds):8.558 10.22/8.67 o 626 10.22/8.67 c Got one! Elapsed wall clock time (in seconds):8.562 10.22/8.67 o 624 10.22/8.68 c Got one! Elapsed wall clock time (in seconds):8.565 10.22/8.68 o 623 10.82/9.22 c cleaning 6035 clauses out of 12072 with flag 8169/65965 11.63/10.04 c cleaning 6016 clauses out of 12037 with flag 20351/71965 12.52/10.99 c cleaning 6509 clauses out of 13024 with flag 34562/78968 13.62/12.06 c cleaning 7243 clauses out of 14512 with flag 50601/86965 14.52/12.91 c Got one! Elapsed wall clock time (in seconds):12.794 14.52/12.91 o 621 15.32/13.68 c cleaning 9364 clauses out of 18742 with flag 10207/98438 16.13/14.41 c Got one! Elapsed wall clock time (in seconds):14.302 16.13/14.41 o 619 16.83/15.14 c cleaning 9932 clauses out of 19864 with flag 10189/108924 17.73/16.05 c cleaning 7966 clauses out of 15931 with flag 22432/114923 18.73/17.04 c cleaning 7483 clauses out of 14966 with flag 36758/121924 19.93/18.22 c cleaning 7739 clauses out of 15483 with flag 53543/129924 21.33/19.53 c cleaning 8370 clauses out of 16744 with flag 72475/138924 22.74/20.92 c cleaning 9178 clauses out of 18373 with flag 92927/148923 23.23/21.44 c Got one! Elapsed wall clock time (in seconds):21.326 23.23/21.44 o 617 23.53/21.72 c cleaning 7587 clauses out of 15193 with flag 4159/154921 24.23/22.48 c cleaning 6793 clauses out of 13606 with flag 16342/160921 24.33/22.59 c Got one! Elapsed wall clock time (in seconds):22.48 24.33/22.59 o 616 24.83/23.10 c cleaning 5904 clauses out of 11819 with flag 8209/165927 25.82/23.94 c cleaning 5953 clauses out of 11916 with flag 20688/171928 26.72/24.86 c cleaning 6474 clauses out of 12961 with flag 35118/178926 26.82/24.95 c Got one! Elapsed wall clock time (in seconds):24.835 26.82/24.95 o 614 27.42/25.58 c cleaning 6132 clauses out of 12280 with flag 10136/184719 27.52/25.62 c Got one! Elapsed wall clock time (in seconds):25.508 27.52/25.62 o 613 27.92/26.03 c Got one! Elapsed wall clock time (in seconds):25.917 27.92/26.03 o 612 28.22/26.30 c cleaning 5905 clauses out of 11817 with flag 4145/190388 28.92/27.09 c cleaning 5951 clauses out of 11913 with flag 16725/196389 30.03/28.09 c cleaning 6476 clauses out of 12961 with flag 31304/203388 30.23/28.29 c Got one! Elapsed wall clock time (in seconds):28.18 30.23/28.29 o 611 30.83/28.82 c cleaning 6070 clauses out of 12154 with flag 8350/209057 31.53/29.59 c cleaning 6040 clauses out of 12086 with flag 20822/215059 32.53/30.54 c cleaning 6520 clauses out of 13046 with flag 35679/222059 33.64/31.60 c cleaning 7259 clauses out of 14526 with flag 52317/230059 34.92/32.82 c cleaning 8125 clauses out of 16265 with flag 70673/239057 35.32/33.24 c Got one! Elapsed wall clock time (in seconds):33.13 35.32/33.24 o 608 35.62/33.51 c cleaning 6802 clauses out of 13613 with flag 4018/244530 35.92/33.82 c Got one! Elapsed wall clock time (in seconds):33.705 35.92/33.82 o 607 36.12/34.07 c Got one! Elapsed wall clock time (in seconds):33.954 36.12/34.07 o 606 36.32/34.20 c cleaning 6238 clauses out of 12493 with flag 2037/250212 37.02/34.96 c cleaning 6121 clauses out of 12255 with flag 14413/256212 37.92/35.88 c cleaning 6560 clauses out of 13134 with flag 28906/263212 38.82/36.74 c Got one! Elapsed wall clock time (in seconds):36.627 38.82/36.74 o 605 38.98/36.90 c Got one! Elapsed wall clock time (in seconds):36.784 38.98/36.90 o 604 39.18/37.01 c Got one! Elapsed wall clock time (in seconds):36.896 39.18/37.01 o 602 39.98/37.85 c cleaning 10050 clauses out of 20107 with flag 10639/276745 40.69/38.53 c Got one! Elapsed wall clock time (in seconds):38.414 40.69/38.53 o 601 40.79/38.68 c cleaning 7994 clauses out of 15995 with flag 2063/282683 41.58/39.49 c cleaning 6999 clauses out of 13999 with flag 14435/288681 42.58/40.41 c cleaning 6999 clauses out of 14001 with flag 28935/295682 43.78/41.51 c cleaning 7497 clauses out of 15001 with flag 45309/303681 44.48/42.20 c Got one! Elapsed wall clock time (in seconds):42.091 44.48/42.20 o 600 45.08/42.89 c cleaning 8973 clauses out of 17952 with flag 10121/314129 45.29/43.07 c Got one! Elapsed wall clock time (in seconds):42.961 45.29/43.07 o 598 45.78/43.59 c cleaning 7210 clauses out of 14428 with flag 8165/319578 46.08/43.82 c Got one! Elapsed wall clock time (in seconds):43.704 46.08/43.82 o 596 46.18/43.94 c Got one! Elapsed wall clock time (in seconds):43.83 46.18/43.94 o 595 46.58/44.36 c cleaning 6555 clauses out of 13119 with flag 6242/325479 47.39/45.19 c cleaning 6280 clauses out of 12563 with flag 18793/331478 48.47/46.18 c cleaning 6636 clauses out of 13283 with flag 33547/338478 49.68/47.31 c cleaning 7318 clauses out of 14647 with flag 50456/346478 50.97/48.63 c cleaning 8164 clauses out of 16331 with flag 69660/355480 52.67/50.22 c cleaning 9080 clauses out of 18166 with flag 91653/365479 54.37/51.97 c cleaning 10040 clauses out of 20087 with flag 116406/376480 56.27/53.81 c cleaning 11023 clauses out of 22046 with flag 142408/388479 58.36/55.87 c cleaning 12009 clauses out of 24025 with flag 169540/401481 60.46/57.98 c cleaning 13005 clauses out of 26014 with flag 198366/415479 63.05/60.44 c cleaning 13999 clauses out of 28010 with flag 229668/430480 65.65/63.03 c cleaning 15001 clauses out of 30010 with flag 263538/446479 68.51/65.85 c cleaning 16003 clauses out of 32009 with flag 299163/463479 71.81/69.04 c cleaning 16999 clauses out of 34005 with flag 337239/481478 75.31/72.54 c cleaning 18001 clauses out of 36006 with flag 377820/500478 78.88/76.09 c cleaning 19001 clauses out of 38006 with flag 419627/520479 82.83/79.92 c cleaning 19998 clauses out of 40004 with flag 464288/541478 87.09/84.17 c cleaning 21001 clauses out of 42007 with flag 512587/563479 91.48/88.56 c cleaning 21997 clauses out of 44005 with flag 562865/586478 96.23/93.24 c cleaning 22997 clauses out of 46008 with flag 614095/610478 100.78/97.78 c cleaning 24004 clauses out of 48014 with flag 666312/635481 105.64/102.60 c cleaning 25000 clauses out of 50010 with flag 720258/661481 111.54/108.28 c cleaning 26000 clauses out of 52007 with flag 778068/688478 117.22/113.82 c cleaning 26999 clauses out of 54008 with flag 838220/716479 123.07/119.67 c cleaning 27999 clauses out of 56009 with flag 899350/745479 129.31/125.71 c cleaning 29003 clauses out of 58009 with flag 961915/775478 135.51/131.86 c cleaning 29997 clauses out of 60006 with flag 1026002/806478 142.34/138.60 c cleaning 30999 clauses out of 62010 with flag 1092722/838479 149.82/145.84 c cleaning 32001 clauses out of 64012 with flag 1161926/871480 155.15/151.15 c Got one! Elapsed wall clock time (in seconds):151.038 155.15/151.15 o 591 156.45/152.47 c cleaning 32465 clauses out of 64941 with flag 10605/904410 157.52/153.48 c cleaning 19233 clauses out of 38476 with flag 23030/910410 158.61/154.54 c cleaning 13111 clauses out of 26244 with flag 37666/917411 159.75/155.65 c cleaning 10550 clauses out of 21132 with flag 54354/925410 160.95/156.84 c cleaning 9780 clauses out of 19582 with flag 72940/934410 162.37/158.20 c cleaning 9882 clauses out of 19802 with flag 93661/944410 163.87/159.70 c cleaning 10458 clauses out of 20920 with flag 116272/955410 165.69/161.51 c cleaning 11228 clauses out of 22462 with flag 142081/967410 167.61/163.48 c cleaning 12113 clauses out of 24234 with flag 169597/980410 169.31/165.12 c Got one! Elapsed wall clock time (in seconds):165.006 169.31/165.12 o 589 170.24/166.05 c cleaning 14051 clauses out of 28112 with flag 11416/996401 171.34/167.10 c cleaning 10031 clauses out of 20061 with flag 24274/1002401 172.65/168.47 c cleaning 8516 clauses out of 17031 with flag 39290/1009402 174.38/170.17 c cleaning 8253 clauses out of 16514 with flag 57341/1017401 176.18/171.96 c cleaning 8627 clauses out of 17261 with flag 76564/1026401 178.20/173.94 c cleaning 9314 clauses out of 18634 with flag 98712/1036401 180.56/176.29 c cleaning 10160 clauses out of 20319 with flag 124739/1047400 183.06/178.77 c cleaning 11080 clauses out of 22159 with flag 150757/1059400 186.00/181.63 c cleaning 12038 clauses out of 24079 with flag 180401/1072400 189.17/184.80 c cleaning 13021 clauses out of 26043 with flag 213099/1086402 192.70/188.25 c cleaning 14004 clauses out of 28020 with flag 246600/1101400 196.43/191.98 c cleaning 15005 clauses out of 30018 with flag 284913/1117402 200.61/196.03 c cleaning 16004 clauses out of 32011 with flag 322870/1134400 204.89/200.22 c cleaning 17003 clauses out of 34007 with flag 361626/1152400 209.54/204.88 c cleaning 18003 clauses out of 36006 with flag 405874/1171402 214.41/209.67 c cleaning 19000 clauses out of 38004 with flag 451571/1191403 219.06/214.29 c cleaning 20001 clauses out of 40001 with flag 497358/1212400 224.06/219.18 c cleaning 21000 clauses out of 42003 with flag 545546/1234403 229.44/224.50 c cleaning 21995 clauses out of 44001 with flag 596711/1257401 235.28/230.27 c cleaning 23001 clauses out of 46006 with flag 651813/1281401 241.45/236.32 c cleaning 23999 clauses out of 48004 with flag 709397/1306400 247.91/242.74 c cleaning 24999 clauses out of 50005 with flag 769133/1332400 254.80/249.54 c cleaning 25998 clauses out of 52008 with flag 831090/1359402 262.30/256.96 c cleaning 26999 clauses out of 54008 with flag 894486/1387400 270.38/264.86 c cleaning 28001 clauses out of 56009 with flag 961596/1416400 278.47/272.84 c cleaning 29001 clauses out of 58008 with flag 1030281/1446400 286.42/280.68 c cleaning 29996 clauses out of 60007 with flag 1099692/1477400 295.27/289.32 c cleaning 31006 clauses out of 62011 with flag 1175533/1509400 304.24/298.22 c cleaning 31997 clauses out of 64005 with flag 1255299/1542400 313.46/307.33 c cleaning 33002 clauses out of 66008 with flag 1337213/1576400 322.81/316.56 c cleaning 33997 clauses out of 68007 with flag 1419305/1611401 332.95/326.50 c cleaning 34998 clauses out of 70013 with flag 1501593/1647404 342.54/335.95 c cleaning 35997 clauses out of 72014 with flag 1582029/1684403 343.74/337.13 c Got one! Elapsed wall clock time (in seconds):337.016 343.74/337.13 o 588 344.88/338.27 c cleaning 23762 clauses out of 47527 with flag 11242/1695913 345.88/339.29 c cleaning 14883 clauses out of 29766 with flag 24644/1701914 347.31/340.64 c cleaning 10943 clauses out of 21885 with flag 39618/1708916 348.71/342.07 c cleaning 9463 clauses out of 18940 with flag 56594/1716914 350.16/343.45 c cleaning 9235 clauses out of 18479 with flag 76418/1725916 351.56/344.87 c cleaning 9619 clauses out of 19241 with flag 98786/1735913 353.29/346.54 c cleaning 10308 clauses out of 20622 with flag 123401/1746913 355.20/348.43 c cleaning 11154 clauses out of 22315 with flag 149650/1758914 355.80/349.02 c Got one! Elapsed wall clock time (in seconds):348.91 355.80/349.02 o 586 355.90/349.16 c cleaning 8320 clauses out of 16653 with flag 2304/1764406 356.92/350.12 c cleaning 7160 clauses out of 14333 with flag 15915/1770406 358.02/351.27 c cleaning 7078 clauses out of 14172 with flag 30354/1777405 359.15/352.34 c Got one! Elapsed wall clock time (in seconds):352.228 359.15/352.34 o 585 359.96/353.18 c cleaning 9404 clauses out of 18822 with flag 11881/1789133 360.96/354.17 c cleaning 7707 clauses out of 15421 with flag 24224/1795136 362.09/355.23 c cleaning 7345 clauses out of 14709 with flag 38476/1802131 363.29/356.46 c cleaning 7676 clauses out of 15365 with flag 54850/1810132 364.72/357.82 c cleaning 8344 clauses out of 16690 with flag 73355/1819133 366.36/359.40 c cleaning 9171 clauses out of 18344 with flag 93998/1829131 367.06/360.17 c Got one! Elapsed wall clock time (in seconds):360.057 367.06/360.17 o 584 367.89/360.96 c cleaning 9856 clauses out of 19714 with flag 11302/1839672 368.79/361.82 c Got one! Elapsed wall clock time (in seconds):361.712 368.79/361.82 o 583 369.53/362.55 c cleaning 10393 clauses out of 20795 with flag 12515/1850609 369.53/362.59 c Got one! Elapsed wall clock time (in seconds):362.48 369.53/362.59 o 581 370.43/363.42 c cleaning 7857 clauses out of 15713 with flag 12659/1855920 371.64/364.60 c cleaning 6918 clauses out of 13856 with flag 28937/1861920 372.94/365.95 c cleaning 6968 clauses out of 13941 with flag 46835/1868923 374.47/367.49 c cleaning 7485 clauses out of 14971 with flag 68863/1876921 376.06/369.07 c cleaning 8246 clauses out of 16491 with flag 91638/1885926 377.88/370.85 c cleaning 9120 clauses out of 18240 with flag 118299/1895921 379.70/372.63 c cleaning 10056 clauses out of 20121 with flag 145858/1906922 381.62/374.54 c cleaning 11024 clauses out of 22063 with flag 174315/1918920 383.94/376.85 c cleaning 12017 clauses out of 24041 with flag 205362/1931922 386.36/379.23 c cleaning 13007 clauses out of 26023 with flag 238443/1945921 389.08/381.94 c cleaning 14006 clauses out of 28015 with flag 273242/1960920 391.92/384.75 c cleaning 15005 clauses out of 30009 with flag 310200/1976920 394.98/387.74 c cleaning 15998 clauses out of 32004 with flag 349359/1993920 398.19/390.98 c cleaning 17001 clauses out of 34006 with flag 391331/2011920 401.74/394.41 c cleaning 18001 clauses out of 36005 with flag 436051/2030920 405.62/398.22 c cleaning 19000 clauses out of 38004 with flag 482935/2050920 409.57/402.15 c cleaning 19997 clauses out of 40004 with flag 530597/2071920 413.55/406.02 c cleaning 21000 clauses out of 42007 with flag 579577/2093920 417.81/410.23 c cleaning 22000 clauses out of 44007 with flag 633964/2116920 422.59/414.99 c cleaning 23004 clauses out of 46009 with flag 692772/2140922 427.55/419.88 c cleaning 23996 clauses out of 48004 with flag 750481/2165921 432.79/424.97 c cleaning 25002 clauses out of 50007 with flag 808005/2191920 438.15/430.24 c cleaning 25992 clauses out of 52008 with flag 866761/2218923 443.60/435.68 c cleaning 27004 clauses out of 54013 with flag 928126/2246920 449.47/441.43 c cleaning 28005 clauses out of 56009 with flag 990590/2275920 455.83/447.61 c cleaning 29001 clauses out of 58004 with flag 1057241/2305920 462.01/453.74 c cleaning 29999 clauses out of 60004 with flag 1124985/2336921 468.92/460.59 c cleaning 31003 clauses out of 62005 with flag 1195793/2368921 475.95/467.44 c cleaning 31999 clauses out of 64002 with flag 1266853/2401921 482.54/473.99 c cleaning 33000 clauses out of 66003 with flag 1337159/2435921 489.65/481.00 c cleaning 33997 clauses out of 68002 with flag 1409816/2470920 497.40/488.58 c cleaning 35003 clauses out of 70006 with flag 1486774/2506921 505.93/496.92 c cleaning 35996 clauses out of 72006 with flag 1569142/2543924 514.28/505.17 c cleaning 36998 clauses out of 74006 with flag 1650776/2581920 522.71/513.46 c cleaning 37994 clauses out of 76008 with flag 1733788/2620920 531.25/521.81 c cleaning 39000 clauses out of 78014 with flag 1818388/2660920 540.18/530.61 c cleaning 40002 clauses out of 80015 with flag 1904809/2701921 549.13/539.42 c cleaning 40998 clauses out of 82012 with flag 1993374/2743920 558.14/548.30 c cleaning 42005 clauses out of 84014 with flag 2082326/2786920 568.46/558.55 c cleaning 43006 clauses out of 86011 with flag 2176404/2830922 578.97/568.83 c cleaning 43994 clauses out of 88003 with flag 2271842/2875920 582.90/572.70 c Got one! Elapsed wall clock time (in seconds):572.59 582.90/572.70 o 580 584.10/573.90 c cleaning 35556 clauses out of 71132 with flag 11059/2903043 585.10/574.96 c cleaning 20784 clauses out of 41577 with flag 23705/2909044 586.22/576.09 c cleaning 13888 clauses out of 27792 with flag 38604/2916043 587.73/577.54 c cleaning 10942 clauses out of 21903 with flag 55825/2924042 589.44/579.26 c cleaning 9969 clauses out of 19961 with flag 75181/2933042 591.37/581.15 c cleaning 9991 clauses out of 19993 with flag 96786/2943043 593.28/583.03 c cleaning 10500 clauses out of 21002 with flag 119858/2954043 595.40/585.15 c cleaning 11251 clauses out of 22501 with flag 147267/2966042 597.51/587.26 c cleaning 12120 clauses out of 24252 with flag 174676/2979044 600.24/589.91 c cleaning 13065 clauses out of 26130 with flag 205567/2993042 602.67/592.35 c cleaning 14031 clauses out of 28065 with flag 241440/3008042 602.67/592.39 c Got one! Elapsed wall clock time (in seconds):592.282 602.67/592.39 o 579 603.67/593.32 c cleaning 9671 clauses out of 19353 with flag 14153/3013361 604.81/594.44 c cleaning 7835 clauses out of 15682 with flag 29225/3019361 605.91/595.57 c cleaning 7415 clauses out of 14847 with flag 45945/3026361 607.32/596.95 c cleaning 7716 clauses out of 15432 with flag 63937/3034361 608.82/598.48 c cleaning 8354 clauses out of 16717 with flag 84713/3043362 610.53/600.13 c cleaning 9181 clauses out of 18361 with flag 107301/3053360 612.26/601.90 c cleaning 10089 clauses out of 20180 with flag 132998/3064360 614.70/604.20 c cleaning 11047 clauses out of 22093 with flag 162162/3076362 617.12/606.61 c cleaning 12021 clauses out of 24045 with flag 194454/3089361 619.75/609.25 c cleaning 13006 clauses out of 26023 with flag 229394/3103360 622.47/611.97 c cleaning 14004 clauses out of 28019 with flag 266128/3118362 625.62/615.03 c cleaning 15004 clauses out of 30014 with flag 304639/3134361 628.83/618.24 c cleaning 16002 clauses out of 32009 with flag 345101/3151360 632.21/621.54 c cleaning 17004 clauses out of 34008 with flag 387675/3169361 635.93/625.24 c cleaning 17999 clauses out of 36004 with flag 432736/3188361 640.09/629.34 c cleaning 19002 clauses out of 38005 with flag 481038/3208361 644.37/633.57 c cleaning 19999 clauses out of 40003 with flag 534225/3229361 649.35/638.47 c cleaning 21002 clauses out of 42004 with flag 595019/3251361 654.24/643.22 c cleaning 22000 clauses out of 44002 with flag 658039/3274361 659.49/648.49 c cleaning 22995 clauses out of 46001 with flag 726483/3298360 664.67/653.53 c cleaning 24002 clauses out of 48006 with flag 788544/3323360 670.05/658.83 c cleaning 25003 clauses out of 50006 with flag 853896/3349362 675.85/664.55 c cleaning 26000 clauses out of 52001 with flag 920112/3376360 682.17/670.75 c cleaning 26995 clauses out of 54002 with flag 995291/3404361 688.76/677.24 c cleaning 28000 clauses out of 56006 with flag 1072123/3433360 693.28/681.71 c Got one! Elapsed wall clock time (in seconds):681.596 693.28/681.71 o 577 694.74/683.13 c cleaning 27225 clauses out of 54450 with flag 11688/3459804 696.27/684.61 c cleaning 16613 clauses out of 33226 with flag 25103/3465805 697.77/686.18 c cleaning 11801 clauses out of 23614 with flag 40835/3472806 699.48/687.89 c cleaning 9906 clauses out of 19811 with flag 62124/3480804 701.40/689.73 c cleaning 9453 clauses out of 18905 with flag 84100/3489804 703.51/691.87 c cleaning 9724 clauses out of 19452 with flag 108500/3499804 706.06/694.32 c cleaning 10359 clauses out of 20728 with flag 134609/3510804 708.78/697.07 c cleaning 11183 clauses out of 22371 with flag 163552/3522806 711.72/699.95 c cleaning 12092 clauses out of 24186 with flag 194250/3535804 715.05/703.28 c cleaning 13047 clauses out of 26097 with flag 228593/3549807 718.60/706.76 c cleaning 14019 clauses out of 28049 with flag 266429/3564806 721.97/710.06 c cleaning 15016 clauses out of 30031 with flag 310512/3580807 723.60/711.66 c Got one! Elapsed wall clock time (in seconds):711.545 723.60/711.66 o 576 724.62/712.60 c cleaning 14297 clauses out of 28622 with flag 11186/3594414 725.72/713.72 c cleaning 10157 clauses out of 20326 with flag 24674/3600415 727.04/715.01 c cleaning 8582 clauses out of 17169 with flag 39969/3607415 728.55/716.50 c cleaning 8288 clauses out of 16589 with flag 57446/3615417 730.07/718.09 c cleaning 8646 clauses out of 17298 with flag 76187/3624414 731.89/719.82 c cleaning 9322 clauses out of 18653 with flag 97159/3634415 733.90/721.88 c cleaning 10162 clauses out of 20330 with flag 121203/3645414 736.23/724.12 c cleaning 11081 clauses out of 22169 with flag 147745/3657415 738.75/726.64 c cleaning 12042 clauses out of 24088 with flag 176153/3670415 741.50/729.37 c cleaning 13024 clauses out of 26047 with flag 207906/3684416 744.36/732.15 c cleaning 14009 clauses out of 28021 with flag 241179/3699414 747.34/735.08 c cleaning 15003 clauses out of 30014 with flag 276644/3715416 750.58/738.28 c cleaning 16002 clauses out of 32010 with flag 314717/3732415 754.07/741.69 c cleaning 17004 clauses out of 34007 with flag 358363/3750414 758.01/745.53 c cleaning 18000 clauses out of 36003 with flag 402965/3769414 762.06/749.53 c cleaning 18999 clauses out of 38003 with flag 448206/3789414 766.32/753.79 c cleaning 20001 clauses out of 40006 with flag 497735/3810416 770.76/758.10 c cleaning 21002 clauses out of 42008 with flag 549329/3832419 775.68/762.97 c cleaning 21999 clauses out of 44004 with flag 602156/3855417 780.73/767.95 c cleaning 23001 clauses out of 46003 with flag 658590/3879415 786.35/773.48 c cleaning 24000 clauses out of 48004 with flag 724631/3904417 792.16/779.18 c cleaning 24997 clauses out of 50003 with flag 790623/3930416 798.04/784.94 c cleaning 25994 clauses out of 52005 with flag 856842/3957415 805.07/791.89 c cleaning 27004 clauses out of 54011 with flag 930525/3985415 812.57/799.25 c cleaning 28000 clauses out of 56007 with flag 1009222/4014415 820.54/807.13 c cleaning 29000 clauses out of 58006 with flag 1081064/4044414 828.20/814.64 c cleaning 30001 clauses out of 60006 with flag 1150820/4075414 835.59/821.96 c cleaning 30993 clauses out of 62005 with flag 1221893/4107414 843.35/829.52 c cleaning 32006 clauses out of 64012 with flag 1295478/4140414 852.21/838.24 c cleaning 33001 clauses out of 66006 with flag 1374542/4174414 861.11/847.08 c cleaning 33998 clauses out of 68006 with flag 1454569/4209415 870.07/855.84 c cleaning 35002 clauses out of 70008 with flag 1535303/4245415 879.67/865.34 c cleaning 36003 clauses out of 72006 with flag 1625393/4282415 890.85/876.32 c cleaning 37002 clauses out of 74004 with flag 1722775/4320416 901.80/887.17 c cleaning 37999 clauses out of 76000 with flag 1814058/4359414 914.38/899.58 c cleaning 38990 clauses out of 78001 with flag 1916777/4399414 926.13/911.11 c cleaning 40003 clauses out of 80011 with flag 2011862/4440414 938.35/923.22 c cleaning 41000 clauses out of 82008 with flag 2104051/4482414 950.46/935.20 c cleaning 42002 clauses out of 84009 with flag 2198533/4525415 964.11/948.67 c cleaning 43000 clauses out of 86006 with flag 2305542/4569414 978.12/962.47 c cleaning 43999 clauses out of 88007 with flag 2412625/4614415 995.34/979.57 c cleaning 44999 clauses out of 90007 with flag 2521707/4660414 1011.63/995.63 c cleaning 45998 clauses out of 92008 with flag 2628932/4707414 1027.66/1011.49 c cleaning 47001 clauses out of 94010 with flag 2741637/4755414 1044.49/1028.08 c cleaning 48005 clauses out of 96009 with flag 2866374/4804414 1064.46/1047.76 c cleaning 49005 clauses out of 98013 with flag 2999482/4854423 1082.53/1065.57 c cleaning 50000 clauses out of 100000 with flag 3145977/4905415 1099.96/1082.74 c cleaning 50997 clauses out of 101999 with flag 3281620/4957414 1117.17/1099.72 c cleaning 52002 clauses out of 104006 with flag 3414622/5010418 1133.74/1116.07 c cleaning 53001 clauses out of 106001 with flag 3543746/5064415 1151.60/1133.69 c cleaning 53996 clauses out of 108000 with flag 3676239/5119415 1170.29/1152.08 c cleaning 55000 clauses out of 110003 with flag 3818431/5175414 1191.01/1172.48 c cleaning 55999 clauses out of 112006 with flag 3972846/5232417 1211.76/1192.94 c cleaning 57001 clauses out of 114005 with flag 4119914/5290415 1229.94/1210.95 c cleaning 57997 clauses out of 116003 with flag 4259375/5349414 1247.39/1228.12 c cleaning 58995 clauses out of 118007 with flag 4400603/5409415 1264.66/1245.21 c cleaning 60006 clauses out of 120013 with flag 4534370/5470416 1282.75/1263.15 c cleaning 61001 clauses out of 122005 with flag 4664171/5532414 1299.68/1279.84 c cleaning 61995 clauses out of 124004 with flag 4797470/5595414 1318.92/1298.81 c cleaning 62996 clauses out of 126009 with flag 4942305/5659414 1338.27/1317.95 c cleaning 64000 clauses out of 128013 with flag 5084183/5724414 1356.77/1336.14 c cleaning 65002 clauses out of 130013 with flag 5232816/5790414 1376.25/1355.37 c cleaning 65997 clauses out of 132012 with flag 5371819/5857415 1397.57/1376.34 c cleaning 67000 clauses out of 134014 with flag 5515883/5925414 1417.99/1396.48 c cleaning 68005 clauses out of 136014 with flag 5663496/5994414 1439.08/1417.25 c cleaning 69005 clauses out of 138011 with flag 5811940/6064416 1460.39/1438.28 c cleaning 70003 clauses out of 140005 with flag 5968301/6135415 1480.11/1457.65 c cleaning 70999 clauses out of 142006 with flag 6124399/6207419 1504.13/1481.32 c cleaning 71999 clauses out of 144003 with flag 6281721/6280415 1527.18/1504.11 c cleaning 72999 clauses out of 146004 with flag 6446936/6354415 1549.46/1526.10 c Got one! Elapsed wall clock time (in seconds):1525.991 1549.46/1526.10 o 575 1551.66/1528.35 c cleaning 75430 clauses out of 150880 with flag 13460/6432290 1553.29/1529.91 c cleaning 40717 clauses out of 81450 with flag 29545/6438290 1554.82/1531.44 c cleaning 23860 clauses out of 47736 with flag 48123/6445293 1556.32/1532.98 c cleaning 15933 clauses out of 31873 with flag 68272/6453290 1557.04/1533.62 c Got one! Elapsed wall clock time (in seconds):1533.506 1557.04/1533.62 o 573 1557.34/1533.99 c cleaning 10872 clauses out of 21743 with flag 5308/6459093 1558.44/1535.03 c cleaning 8434 clauses out of 16869 with flag 21086/6465091 1559.56/1536.15 c cleaning 7715 clauses out of 15434 with flag 37608/6472090 1560.90/1537.44 c cleaning 7859 clauses out of 15719 with flag 55601/6480090 1562.40/1538.91 c cleaning 8431 clauses out of 16861 with flag 74884/6489091 1564.04/1540.50 c cleaning 9216 clauses out of 18432 with flag 96673/6499093 1565.76/1542.30 c cleaning 10106 clauses out of 20212 with flag 121030/6510089 1567.79/1544.22 c cleaning 11049 clauses out of 22107 with flag 148534/6522090 1569.93/1546.31 c cleaning 12029 clauses out of 24057 with flag 177961/6535089 1572.26/1548.66 c cleaning 13010 clauses out of 26028 with flag 208652/6549089 1574.81/1551.19 c cleaning 14005 clauses out of 28018 with flag 242729/6564089 1577.76/1554.04 c cleaning 15003 clauses out of 30013 with flag 279395/6580089 1580.98/1557.28 c cleaning 16005 clauses out of 32011 with flag 323471/6597090 1584.40/1560.69 c cleaning 16997 clauses out of 34006 with flag 366894/6615090 1588.14/1564.38 c cleaning 18004 clauses out of 36008 with flag 414094/6634089 1592.17/1568.28 c cleaning 19001 clauses out of 38004 with flag 460778/6654089 1596.45/1572.44 c cleaning 20000 clauses out of 40004 with flag 510127/6675090 1601.09/1577.03 c cleaning 21001 clauses out of 42004 with flag 561208/6697090 1606.32/1582.12 c cleaning 21995 clauses out of 44002 with flag 612952/6720089 1611.18/1586.97 c cleaning 22999 clauses out of 46007 with flag 666068/6744089 1616.41/1592.16 c cleaning 24004 clauses out of 48008 with flag 721347/6769089 1621.74/1597.39 c cleaning 24999 clauses out of 50004 with flag 778640/6795089 1627.37/1602.89 c cleaning 26003 clauses out of 52006 with flag 838471/6822090 1633.10/1608.57 c cleaning 27001 clauses out of 54003 with flag 903244/6850090 1639.14/1614.40 c cleaning 27995 clauses out of 56001 with flag 967970/6879089 1645.44/1620.68 c cleaning 28991 clauses out of 58008 with flag 1034926/6909091 1652.35/1627.49 c cleaning 30007 clauses out of 60016 with flag 1102326/6940090 1659.12/1634.18 c cleaning 31004 clauses out of 62008 with flag 1171065/6972089 1666.38/1641.21 c cleaning 31994 clauses out of 64005 with flag 1246969/7005090 1674.00/1648.76 c cleaning 33000 clauses out of 66010 with flag 1324872/7039089 1681.65/1656.36 c cleaning 34005 clauses out of 68010 with flag 1405665/7074089 1690.34/1664.80 c cleaning 35001 clauses out of 70012 with flag 1486553/7110096 1698.96/1673.38 c cleaning 35998 clauses out of 72004 with flag 1568568/7147089 1707.91/1682.15 c cleaning 36997 clauses out of 74006 with flag 1655390/7185089 1716.99/1691.14 c cleaning 38002 clauses out of 76010 with flag 1745708/7224090 1726.96/1700.99 c cleaning 39005 clauses out of 78009 with flag 1838318/7264091 1736.71/1710.50 c cleaning 39995 clauses out of 80002 with flag 1931054/7305089 1746.60/1720.32 c cleaning 41001 clauses out of 82009 with flag 2026095/7347091 1757.43/1731.06 c cleaning 41998 clauses out of 84006 with flag 2122235/7390089 1768.38/1741.89 c cleaning 43001 clauses out of 86008 with flag 2221185/7434089 1780.32/1753.68 c cleaning 43998 clauses out of 88008 with flag 2326518/7479090 1792.91/1766.08 c cleaning 45004 clauses out of 90010 with flag 2442914/7525090 1800.07/1773.10 c starts : 650 1800.07/1773.10 c conflicts : 7555131 1800.07/1773.10 c decisions : 7685875 1800.07/1773.10 c propagations : 249275635 1800.07/1773.10 c inspects : 15952981241 1800.07/1773.10 c shortcuts : 0 1800.07/1773.10 c learnt literals : 0 1800.07/1773.10 c learnt binary clauses : 0 1800.07/1773.10 c learnt ternary clauses : 1110 1800.07/1773.10 c learnt constraints : 7555131 1800.07/1773.10 c ignored constraints : 0 1800.07/1773.10 c root simplifications : 0 1800.07/1773.10 c removed literals (reason simplification) : 0 1800.07/1773.10 c reason swapping (by a shorter reason) : 0 1800.07/1773.10 c Calls to reduceDB : 340 1800.07/1773.10 c Number of update (reduction) of LBD : 9802 1800.07/1773.10 c Imported unit clauses : 0 1800.07/1773.10 c number of reductions to clauses (during analyze) : 0 1800.07/1773.10 c number of learned constraints concerned by reduction : 0 1800.07/1773.10 c number of learning phase by resolution : 0 1800.07/1773.10 c number of learning phase by cutting planes : 0 1800.07/1773.10 c speed (assignments/second) : 140612.84254109365 1800.07/1773.10 c non guided choices 567 1800.07/1773.13 c learnt constraints type 1800.07/1773.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 75047 1800.07/1773.13 s SATISFIABLE 1800.07/1773.13 c Found 90 solution(s) 1800.07/1773.13 v -x1 -x2 -x3 -x4 -x5 x6 x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 x20 x21 x22 x23 -x24 -x25 -x26 x27 x28 -x29 x30 x31 x32 x33 x34 x35 -x36 x37 x38 -x39 x40 x41 x42 x43 x44 x45 x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 x67 x68 x69 x70 -x71 -x72 -x73 x74 x75 -x76 x77 x78 x79 x80 -x81 x82 x83 x84 -x85 x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 x96 -x97 x98 x99 x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 x118 x119 -x120 -x121 x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 x156 x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 x178 x179 x180 x181 x182 x183 1800.07/1773.13 c objective function=573 1800.07/1773.13 c Total wall clock time (in seconds): 1773.019
OK 573
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-4119522-1467261013/watcher-4119522-1467261013 -o /tmp/evaluation-result-4119522-1467261013/solver-4119522-1467261013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119522-1467261013.opb pid=8215 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.23 2.19 3/193 8218 /proc/meminfo: memFree=29890452/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9160 CPUtime=0 cores=0,2,4,6 /proc/8218/stat : 8218 (java) R 8215 8218 6451 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 5127338 9379840 100 33554432000 1073741824 1073778376 140735424534704 140735424531832 227512163024 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2290 118 90 9 0 38 0 [startup+0.100115 s] /proc/loadavg: 2.19 2.23 2.19 3/193 8218 /proc/meminfo: memFree=29890452/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 4417 0 1 0 8 0 0 0 20 0 18 0 5127338 9787879424 6037 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2389619 6037 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.20022 s] /proc/loadavg: 2.19 2.23 2.19 3/193 8218 /proc/meminfo: memFree=29890452/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9558476 CPUtime=0.23 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 4679 0 1 0 22 1 0 0 20 0 18 0 5127338 9787879424 6776 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2389619 6776 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.30021 s] /proc/loadavg: 2.19 2.23 2.19 3/193 8218 /proc/meminfo: memFree=29890452/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 6037 0 1 0 45 1 0 0 20 0 18 0 5127338 9787879424 8676 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2389619 8676 2240 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700238 s] /proc/loadavg: 2.19 2.23 2.19 3/193 8218 /proc/meminfo: memFree=29890452/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=1.51 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 13667 0 1 0 148 3 0 0 20 0 19 0 5127338 9856040960 15328 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 15328 2261 9 0 2396937 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 9625040 [startup+1.50078 s] /proc/loadavg: 2.19 2.23 2.19 3/212 8237 /proc/meminfo: memFree=29821944/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=2.64 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 14399 0 1 0 260 4 0 0 20 0 19 0 5127338 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 22047 2275 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 2468 0 1 0 144 2 0 0 20 0 19 0 5127339 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140308217295224 140308076177694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5127341 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5679 0 0 0 45 1 0 0 20 0 19 0 5127344 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) R 8215 8218 6451 0 -1 4202560 4981 0 0 0 66 1 0 0 20 0 19 0 5127344 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307968894912 140308223678286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 22047 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.64 Current children cumulated vsize (KiB) 9625040 [startup+3.1008 s] /proc/loadavg: 2.18 2.23 2.19 3/212 8237 /proc/meminfo: memFree=29788308/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=4.44 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 20722 0 1 0 438 6 0 0 20 0 19 0 5127338 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 34855 2275 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 2494 0 1 0 304 2 0 0 20 0 19 0 5127339 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140308217286320 140308076401527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5127341 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5679 0 0 0 46 1 0 0 20 0 19 0 5127344 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.87 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) S 8215 8218 6451 0 -1 4202560 11278 0 0 0 84 3 0 0 20 0 19 0 5127344 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307968895032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 34855 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 2.18 2.23 2.19 3/212 8237 /proc/meminfo: memFree=29671448/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=7.78 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 20868 0 1 0 763 15 0 0 20 0 19 0 5127338 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 56771 2289 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=6.21 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 2515 0 1 0 619 2 0 0 20 0 19 0 5127339 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140308217295144 140308076178117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 31 0 0 0 0 2 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 5127340 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5127341 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5680 0 0 0 48 1 0 0 20 0 19 0 5127344 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) S 8215 8218 6451 0 -1 4202560 11278 0 0 0 85 3 0 0 20 0 19 0 5127344 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307968895032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 56771 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.78 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 129411 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1687.77 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.26 2.24 2.19 3/211 8342 /proc/meminfo: memFree=28892592/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=1748.63 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 40971 0 1 0 174657 206 0 0 20 0 19 0 5127338 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 133815 2298 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=1702.19 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 3074 0 1 0 170189 30 0 0 20 0 19 0 5127339 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140308217294032 140308076337601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=4.61 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 2371 0 0 0 438 23 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=4.34 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 1531 0 0 0 410 24 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=4.44 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 2771 0 0 0 421 23 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=4.47 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 1589 0 0 0 426 21 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=4.25 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 1636 0 0 0 404 21 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=4.66 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 2850 0 0 0 442 24 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=4.28 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 2498 0 0 0 406 22 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=4.28 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 2411 0 0 0 407 21 0 0 20 0 19 0 5127340 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=5.18 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 1924 0 0 0 512 6 0 0 20 0 19 0 5127341 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5680 0 0 0 49 1 0 0 20 0 19 0 5127344 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.92 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) S 8215 8218 6451 0 -1 4202560 11279 0 0 0 89 3 0 0 20 0 19 0 5127344 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307968895032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 100 0 0 0 22 17 0 0 20 0 19 0 5127344 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 133815 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1748.63 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773.1 s] /proc/loadavg: 2.27 2.25 2.19 3/211 8343 /proc/meminfo: memFree=28725396/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 41003 0 1 0 179800 207 0 0 20 0 19 0 5127338 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 120799 2298 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=1752.38 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 3093 0 1 0 175207 31 0 0 20 0 19 0 5127339 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308217294032 140308076120451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=4.74 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 2371 0 0 0 451 23 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=4.49 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 1531 0 0 0 425 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=4.53 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 2771 0 0 0 429 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=4.6 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 1589 0 0 0 439 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=4.35 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 1636 0 0 0 414 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=4.8 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 2850 0 0 0 456 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=4.4 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 2498 0 0 0 418 22 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=4.38 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 2411 0 0 0 417 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=5.35 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 1933 0 0 0 529 6 0 0 20 0 19 0 5127341 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5680 0 0 0 49 1 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.92 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) S 8215 8218 6451 0 -1 4202560 11279 0 0 0 89 3 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307968895032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 104 0 0 0 23 18 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8218 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1773.1 s] /proc/loadavg: 2.27 2.25 2.19 3/211 8343 /proc/meminfo: memFree=28725396/32872528 swapFree=1298332/1461852 [pid=8218] ppid=8215 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6 /proc/8218/stat : 8218 (java) S 8215 8218 6451 0 -1 4202496 41003 0 1 0 179800 207 0 0 20 0 19 0 5127338 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140735424525840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8218/statm: 2406260 120799 2298 9 0 2396937 0 [pid=8218/tid=8220] ppid=8215 vsize=9625040 CPUtime=1752.38 cores=0,2,4,6 /proc/8218/task/8220/stat : 8220 (java) R 8215 8218 6451 0 -1 4202560 3093 0 1 0 175207 31 0 0 20 0 19 0 5127339 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308217294032 140308076120451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8221] ppid=8215 vsize=9625040 CPUtime=4.74 cores=0,2,4,6 /proc/8218/task/8221/stat : 8221 (java) S 8215 8218 6451 0 -1 4202560 2371 0 0 0 451 23 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308195396392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8222] ppid=8215 vsize=9625040 CPUtime=4.49 cores=0,2,4,6 /proc/8218/task/8222/stat : 8222 (java) S 8215 8218 6451 0 -1 4202560 1531 0 0 0 425 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140308194343592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8218/tid=8223] ppid=8215 vsize=9625040 CPUtime=4.53 cores=0,2,4,6 /proc/8218/task/8223/stat : 8223 (java) S 8215 8218 6451 0 -1 4202560 2771 0 0 0 429 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307991620648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8224] ppid=8215 vsize=9625040 CPUtime=4.6 cores=0,2,4,6 /proc/8218/task/8224/stat : 8224 (java) S 8215 8218 6451 0 -1 4202560 1589 0 0 0 439 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307990567848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8225] ppid=8215 vsize=9625040 CPUtime=4.35 cores=0,2,4,6 /proc/8218/task/8225/stat : 8225 (java) S 8215 8218 6451 0 -1 4202560 1636 0 0 0 414 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307989514536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8226] ppid=8215 vsize=9625040 CPUtime=4.8 cores=0,2,4,6 /proc/8218/task/8226/stat : 8226 (java) S 8215 8218 6451 0 -1 4202560 2850 0 0 0 456 24 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307988461736 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8227] ppid=8215 vsize=9625040 CPUtime=4.4 cores=0,2,4,6 /proc/8218/task/8227/stat : 8227 (java) S 8215 8218 6451 0 -1 4202560 2498 0 0 0 418 22 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307987409448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8228] ppid=8215 vsize=9625040 CPUtime=4.38 cores=0,2,4,6 /proc/8218/task/8228/stat : 8228 (java) S 8215 8218 6451 0 -1 4202560 2411 0 0 0 417 21 0 0 20 0 19 0 5127340 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307986356648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8229] ppid=8215 vsize=9625040 CPUtime=5.35 cores=0,2,4,6 /proc/8218/task/8229/stat : 8229 (java) S 8215 8218 6451 0 -1 4202560 1933 0 0 0 529 6 0 0 20 0 19 0 5127341 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307974159080 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8230] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8230/stat : 8230 (java) S 8215 8218 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307973105144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8231] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8231/stat : 8231 (java) S 8215 8218 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5127342 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307972052744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8232] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8232/stat : 8232 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307971001232 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8218/tid=8233] ppid=8215 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/8218/task/8233/stat : 8233 (java) S 8215 8218 6451 0 -1 4202560 5680 0 0 0 49 1 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307969947832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8218/tid=8234] ppid=8215 vsize=9625040 CPUtime=0.92 cores=0,2,4,6 /proc/8218/task/8234/stat : 8234 (java) S 8215 8218 6451 0 -1 4202560 11279 0 0 0 89 3 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307968895032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8235] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8235/stat : 8235 (java) S 8215 8218 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307967842936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8236] ppid=8215 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/8218/task/8236/stat : 8236 (java) S 8215 8218 6451 0 -1 4202560 104 0 0 0 23 18 0 0 20 0 19 0 5127344 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307966790344 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8218/tid=8237] ppid=8215 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8218/task/8237/stat : 8237 (java) S 8215 8218 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5127371 9856040960 120799 33554432000 1073741824 1073778376 140735424534704 140307965441448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8218 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=650323 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=530615 # CPU time returned by wait4() is 1796.18 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1773.14 CPU time (s): 1800.07 CPU user time (s): 1798 CPU system time (s): 2.07 CPU usage (%): 101.519 Max. virtual memory (cumulated for all children) (KiB): 9625328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.65 system time used= 2.53062 maximum resident set size= 813864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41041 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55412 involuntary context switches= 62119 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.13107 second user time and 7.43987 second system time The end
Begin job on node121 at 2016-06-30 06:30:14 IDJOB=4119522 IDBENCH=111751 IDSOLVER=2546 FILE ID=node121/4119522-1467261013 RUNJOBID= node121-1467250272-6980 PBS_JOBID= 20004469 Free space on /tmp= 71700 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-edgecross14-058.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119522-1467261013/watcher-4119522-1467261013 -o /tmp/evaluation-result-4119522-1467261013/solver-4119522-1467261013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119522-1467261013.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0494a0472e8d0cdf23718c2935018ff RANDOM SEED=710986886 node121.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.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.34 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.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.172 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29891352 kB Buffers: 98764 kB Cached: 226824 kB SwapCached: 0 kB Active: 566184 kB Inactive: 209836 kB Active(anon): 437484 kB Inactive(anon): 15388 kB Active(file): 128700 kB Inactive(file): 194448 kB Unevictable: 1461852 kB Mlocked: 1298332 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 2043300 kB Mapped: 22100 kB Shmem: 204 kB Slab: 607720 kB SReclaimable: 51936 kB SUnreclaim: 555784 kB KernelStack: 1768 kB PageTables: 8232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2035656 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 714752 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= 71700 MiB End job on node121 at 2016-06-30 06:59:47