Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 332 | 1800.07 | 1777.34 |
Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.opb |
MD5SUM | 5038afd95adaf7154dd353d30c41f4e9 |
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 | 293 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 91 |
Total number of constraints | 481 |
Number of constraints which are clauses | 480 |
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 | 872 |
Biggest coefficient in the objective function | 527 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2561 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 527 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2561 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 785 |
Sum of products size (including duplicates) | 1570 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4119374-1467256449.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.22/0.24 c ... done. Wall clock time 0.13s. 0.22/0.24 c declared #vars 91 0.22/0.24 c internal #vars 876 0.22/0.24 c #constraints 2052 0.22/0.24 c constraints type 0.22/0.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1265 0.22/0.24 c org.sat4j.specs.Constr$1 => 1 0.22/0.24 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.22/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 785 0.22/0.24 c 2052 constraints processed. 0.22/0.24 c objective function length is 872 literals 0.22/0.26 c SATISFIABLE 0.22/0.26 c OPTIMIZING... 0.22/0.26 c Got one! Elapsed wall clock time (in seconds):0.146 0.22/0.26 o 503 0.22/0.28 c Got one! Elapsed wall clock time (in seconds):0.17 0.22/0.28 o 500 0.43/0.30 c Got one! Elapsed wall clock time (in seconds):0.191 0.43/0.30 o 494 0.73/0.47 c Got one! Elapsed wall clock time (in seconds):0.353 0.73/0.47 o 493 1.02/0.55 c Got one! Elapsed wall clock time (in seconds):0.435 1.02/0.55 o 490 1.15/0.63 c Got one! Elapsed wall clock time (in seconds):0.517 1.15/0.63 o 489 1.15/0.67 c Got one! Elapsed wall clock time (in seconds):0.555 1.15/0.67 o 488 1.29/0.75 c Got one! Elapsed wall clock time (in seconds):0.639 1.29/0.75 o 486 1.29/0.76 c Got one! Elapsed wall clock time (in seconds):0.643 1.29/0.76 o 485 1.29/0.77 c Got one! Elapsed wall clock time (in seconds):0.654 1.29/0.77 o 484 1.53/0.91 c Got one! Elapsed wall clock time (in seconds):0.796 1.53/0.91 o 482 1.53/0.92 c Got one! Elapsed wall clock time (in seconds):0.803 1.53/0.92 o 481 1.53/0.93 c Got one! Elapsed wall clock time (in seconds):0.822 1.53/0.93 o 480 1.53/0.94 c Got one! Elapsed wall clock time (in seconds):0.824 1.53/0.94 o 477 1.53/0.94 c Got one! Elapsed wall clock time (in seconds):0.832 1.53/0.94 o 476 1.53/0.97 c Got one! Elapsed wall clock time (in seconds):0.859 1.53/0.97 o 475 1.79/1.06 c Got one! Elapsed wall clock time (in seconds):0.945 1.79/1.06 o 471 1.92/1.17 c Got one! Elapsed wall clock time (in seconds):1.055 1.92/1.17 o 469 2.03/1.22 c Got one! Elapsed wall clock time (in seconds):1.112 2.03/1.22 o 468 2.12/1.32 c Got one! Elapsed wall clock time (in seconds):1.203 2.12/1.32 o 467 2.12/1.32 c Got one! Elapsed wall clock time (in seconds):1.205 2.12/1.32 o 461 2.12/1.36 c Got one! Elapsed wall clock time (in seconds):1.244 2.12/1.36 o 459 2.12/1.36 c Got one! Elapsed wall clock time (in seconds):1.246 2.12/1.36 o 456 2.57/1.71 c cleaning 5914 clauses out of 11829 with flag 6103/11829 2.57/1.74 c Got one! Elapsed wall clock time (in seconds):1.623 2.57/1.74 o 454 2.57/1.77 c Got one! Elapsed wall clock time (in seconds):1.659 2.57/1.77 o 453 2.57/1.77 c Got one! Elapsed wall clock time (in seconds):1.661 2.57/1.77 o 450 2.67/1.81 c Got one! Elapsed wall clock time (in seconds):1.693 2.67/1.81 o 445 3.19/2.32 c cleaning 5991 clauses out of 11982 with flag 10300/17896 3.78/2.93 c cleaning 5995 clauses out of 11990 with flag 22434/23895 4.51/3.65 c cleaning 6498 clauses out of 12995 with flag 36603/30895 5.32/4.49 c cleaning 7249 clauses out of 14498 with flag 53581/38896 5.51/4.69 c Got one! Elapsed wall clock time (in seconds):4.575 5.51/4.69 o 444 5.61/4.75 c Got one! Elapsed wall clock time (in seconds):4.637 5.61/4.75 o 442 5.71/4.81 c Got one! Elapsed wall clock time (in seconds):4.697 5.71/4.81 o 441 5.71/4.89 c Got one! Elapsed wall clock time (in seconds):4.781 5.71/4.89 o 436 5.82/4.96 c Got one! Elapsed wall clock time (in seconds):4.847 5.82/4.96 o 435 5.92/5.03 c Got one! Elapsed wall clock time (in seconds):4.913 5.92/5.03 o 433 6.12/5.22 c Got one! Elapsed wall clock time (in seconds):5.109 6.12/5.22 o 432 6.22/5.30 c Got one! Elapsed wall clock time (in seconds):5.19 6.22/5.30 o 430 6.22/5.33 c Got one! Elapsed wall clock time (in seconds):5.222 6.22/5.33 o 426 6.22/5.39 c Got one! Elapsed wall clock time (in seconds):5.276 6.22/5.39 o 424 6.32/5.42 c Got one! Elapsed wall clock time (in seconds):5.304 6.32/5.42 o 423 6.32/5.43 c Got one! Elapsed wall clock time (in seconds):5.322 6.32/5.43 o 422 6.43/5.55 c Got one! Elapsed wall clock time (in seconds):5.441 6.43/5.55 o 421 6.58/5.67 c Got one! Elapsed wall clock time (in seconds):5.554 6.58/5.67 o 418 6.58/5.69 c Got one! Elapsed wall clock time (in seconds):5.578 6.58/5.69 o 417 6.68/5.71 c Got one! Elapsed wall clock time (in seconds):5.597 6.68/5.71 o 415 6.88/5.97 c cleaning 10331 clauses out of 20666 with flag 4172/52313 6.99/6.01 c Got one! Elapsed wall clock time (in seconds):5.903 6.99/6.01 o 412 6.99/6.04 c Got one! Elapsed wall clock time (in seconds):5.927 6.99/6.04 o 408 6.99/6.07 c Got one! Elapsed wall clock time (in seconds):5.961 6.99/6.07 o 407 7.61/6.61 c cleaning 8193 clauses out of 16391 with flag 10424/58369 8.20/7.22 c cleaning 7099 clauses out of 14197 with flag 23329/64368 8.90/7.99 c cleaning 7050 clauses out of 14099 with flag 38498/71369 9.81/8.88 c cleaning 7524 clauses out of 15048 with flag 55624/79368 10.80/9.89 c cleaning 8261 clauses out of 16524 with flag 75451/88368 12.01/11.03 c cleaning 9130 clauses out of 18263 with flag 97331/98368 13.50/12.42 c cleaning 10066 clauses out of 20133 with flag 121025/109368 13.60/12.59 c Got one! Elapsed wall clock time (in seconds):12.48 13.60/12.59 o 406 14.00/13.00 c cleaning 7862 clauses out of 15734 with flag 8516/115035 14.50/13.40 c Got one! Elapsed wall clock time (in seconds):13.288 14.50/13.40 o 405 14.60/13.50 c cleaning 6536 clauses out of 13081 with flag 2141/120244 14.70/13.61 c Got one! Elapsed wall clock time (in seconds):13.5 14.70/13.61 o 404 14.70/13.63 c Got one! Elapsed wall clock time (in seconds):13.52 14.70/13.63 o 403 14.70/13.67 c Got one! Elapsed wall clock time (in seconds):13.559 14.70/13.67 o 402 14.82/13.71 c Got one! Elapsed wall clock time (in seconds):13.598 14.82/13.71 o 400 14.82/13.72 c Got one! Elapsed wall clock time (in seconds):13.608 14.82/13.72 o 398 14.82/13.72 c Got one! Elapsed wall clock time (in seconds):13.611 14.82/13.72 o 397 14.92/13.80 c Got one! Elapsed wall clock time (in seconds):13.693 14.92/13.80 o 395 14.92/13.82 c Got one! Elapsed wall clock time (in seconds):13.704 14.92/13.82 o 393 14.92/13.85 c Got one! Elapsed wall clock time (in seconds):13.736 14.92/13.85 o 392 14.92/13.85 c Got one! Elapsed wall clock time (in seconds):13.741 14.92/13.85 o 391 14.92/13.86 c Got one! Elapsed wall clock time (in seconds):13.743 14.92/13.86 o 388 15.32/14.25 c cleaning 7326 clauses out of 14656 with flag 8546/128355 15.43/14.38 c Got one! Elapsed wall clock time (in seconds):14.264 15.43/14.38 o 387 15.53/14.45 c Got one! Elapsed wall clock time (in seconds):14.334 15.53/14.45 o 386 15.92/14.85 c cleaning 6840 clauses out of 13684 with flag 8954/134709 16.22/15.15 c Got one! Elapsed wall clock time (in seconds):15.036 16.22/15.15 o 385 16.42/15.36 c cleaning 6054 clauses out of 12120 with flag 4651/139985 17.02/15.90 c cleaning 6028 clauses out of 12068 with flag 17680/145987 17.63/16.59 c cleaning 6518 clauses out of 13038 with flag 33444/152985 18.42/17.39 c cleaning 7260 clauses out of 14522 with flag 50850/160987 19.59/18.47 c cleaning 8125 clauses out of 16260 with flag 71120/169985 20.79/19.63 c cleaning 9066 clauses out of 18135 with flag 93432/179985 21.99/20.87 c cleaning 10033 clauses out of 20069 with flag 117159/190985 23.59/22.42 c cleaning 11019 clauses out of 22037 with flag 144034/202986 25.29/24.12 c cleaning 12010 clauses out of 24019 with flag 173407/215987 27.29/26.02 c cleaning 12999 clauses out of 26008 with flag 205088/229986 29.29/28.00 c cleaning 14002 clauses out of 28008 with flag 238578/244985 31.29/30.05 c cleaning 15003 clauses out of 30006 with flag 273164/260985 33.49/32.22 c cleaning 16002 clauses out of 32004 with flag 309582/277986 36.31/34.92 c cleaning 17001 clauses out of 34001 with flag 350822/295985 39.11/37.76 c cleaning 17996 clauses out of 36001 with flag 393501/314986 42.01/40.61 c cleaning 18998 clauses out of 38005 with flag 437214/334986 45.35/43.87 c cleaning 20003 clauses out of 40006 with flag 483302/355985 49.15/47.63 c cleaning 21002 clauses out of 42003 with flag 533154/377985 53.43/51.73 c cleaning 22001 clauses out of 44001 with flag 587813/400985 57.83/56.20 c cleaning 22998 clauses out of 46001 with flag 644885/424986 62.82/61.13 c cleaning 24002 clauses out of 48003 with flag 705891/449986 67.98/66.12 c cleaning 24999 clauses out of 50001 with flag 770277/475986 72.87/71.04 c cleaning 25998 clauses out of 52001 with flag 836566/502985 78.79/76.83 c cleaning 27001 clauses out of 54003 with flag 904136/530985 84.64/82.57 c cleaning 28005 clauses out of 56011 with flag 977682/559994 91.03/88.92 c cleaning 28999 clauses out of 57997 with flag 1051035/589985 97.76/95.50 c cleaning 29999 clauses out of 59998 with flag 1125425/620985 104.36/102.11 c cleaning 30995 clauses out of 62000 with flag 1205886/652986 110.99/108.74 c cleaning 32002 clauses out of 64004 with flag 1290559/685985 118.37/116.02 c cleaning 32997 clauses out of 66006 with flag 1379212/719989 125.78/123.49 c cleaning 33999 clauses out of 68006 with flag 1469251/754986 133.40/131.09 c cleaning 35001 clauses out of 70006 with flag 1556804/790985 135.99/133.60 c Got one! Elapsed wall clock time (in seconds):133.487 135.99/133.60 o 384 136.94/134.56 c cleaning 27801 clauses out of 55605 with flag 10524/811585 137.94/135.54 c cleaning 16903 clauses out of 33807 with flag 25589/817588 138.95/136.58 c cleaning 11949 clauses out of 23903 with flag 43520/824587 140.05/137.69 c cleaning 9977 clauses out of 19953 with flag 63164/832586 141.24/138.85 c cleaning 9488 clauses out of 18975 with flag 84095/841585 142.54/140.18 c cleaning 9740 clauses out of 19488 with flag 106567/851586 143.96/141.58 c cleaning 10373 clauses out of 20748 with flag 129966/862586 145.47/143.10 c cleaning 11186 clauses out of 22374 with flag 155674/874585 147.16/144.76 c cleaning 12094 clauses out of 24189 with flag 184435/887586 148.96/146.57 c cleaning 13048 clauses out of 26096 with flag 216513/901587 151.09/148.65 c cleaning 14021 clauses out of 28047 with flag 249887/916586 153.09/150.65 c Got one! Elapsed wall clock time (in seconds):150.54 153.09/150.65 o 382 153.99/151.57 c cleaning 17052 clauses out of 34113 with flag 11971/936673 154.99/152.54 c cleaning 11532 clauses out of 23065 with flag 26398/942677 155.99/153.50 c cleaning 9256 clauses out of 18529 with flag 43718/949673 157.03/154.58 c cleaning 8628 clauses out of 17273 with flag 64153/957673 158.23/155.74 c cleaning 8816 clauses out of 17645 with flag 86815/966673 159.53/157.07 c cleaning 9410 clauses out of 18830 with flag 111552/976674 159.83/157.31 c Got one! Elapsed wall clock time (in seconds):157.198 159.83/157.31 o 381 160.23/157.74 c cleaning 7322 clauses out of 14659 with flag 6360/981913 161.13/158.61 c cleaning 6663 clauses out of 13338 with flag 20325/987914 162.07/159.59 c cleaning 6839 clauses out of 13678 with flag 36139/994917 163.17/160.70 c cleaning 7412 clauses out of 14835 with flag 55024/1002913 164.46/161.96 c cleaning 8208 clauses out of 16424 with flag 76344/1011914 165.96/163.42 c cleaning 9103 clauses out of 18216 with flag 100024/1021914 167.59/165.03 c cleaning 10052 clauses out of 20112 with flag 124915/1032913 169.39/166.88 c cleaning 11030 clauses out of 22063 with flag 153263/1044916 171.39/168.81 c cleaning 12016 clauses out of 24032 with flag 182778/1057915 173.60/171.00 c cleaning 13007 clauses out of 26017 with flag 215565/1071916 175.90/173.33 c cleaning 14000 clauses out of 28009 with flag 250979/1086915 178.43/175.80 c cleaning 15004 clauses out of 30008 with flag 287073/1102914 181.13/178.57 c cleaning 15997 clauses out of 32005 with flag 328157/1119915 184.39/181.75 c cleaning 16997 clauses out of 34006 with flag 372250/1137913 187.69/185.05 c cleaning 17996 clauses out of 36009 with flag 418701/1156913 191.34/188.61 c cleaning 19007 clauses out of 38014 with flag 469963/1176914 195.25/192.59 c cleaning 20003 clauses out of 40006 with flag 525722/1197913 199.08/196.35 c cleaning 20999 clauses out of 42003 with flag 581491/1219913 203.12/200.37 c cleaning 22000 clauses out of 44004 with flag 636029/1242913 207.32/204.58 c cleaning 23003 clauses out of 46005 with flag 695981/1266914 211.84/209.10 c cleaning 23996 clauses out of 48002 with flag 757529/1291914 216.66/213.89 c cleaning 24998 clauses out of 50006 with flag 820369/1317914 221.70/218.81 c cleaning 26000 clauses out of 52007 with flag 885216/1344913 227.05/224.16 c cleaning 26998 clauses out of 54008 with flag 950623/1372914 232.67/229.77 c cleaning 28001 clauses out of 56010 with flag 1017752/1401914 237.63/234.66 c cleaning 29004 clauses out of 58008 with flag 1088141/1431913 242.98/239.91 c cleaning 29996 clauses out of 60004 with flag 1159125/1462913 248.91/245.83 c cleaning 30996 clauses out of 62008 with flag 1232834/1494913 254.86/251.77 c cleaning 32000 clauses out of 64012 with flag 1308305/1527913 261.32/258.19 c cleaning 33005 clauses out of 66012 with flag 1382743/1561913 261.62/258.42 c Got one! Elapsed wall clock time (in seconds):258.308 261.62/258.42 o 379 261.83/258.62 c Got one! Elapsed wall clock time (in seconds):258.505 261.83/258.62 o 378 262.32/259.14 c cleaning 19556 clauses out of 39123 with flag 6808/1568029 263.22/260.07 c cleaning 12779 clauses out of 25568 with flag 20804/1574030 264.12/260.99 c cleaning 9886 clauses out of 19788 with flag 36341/1581029 265.13/261.95 c cleaning 8945 clauses out of 17902 with flag 54527/1589029 266.23/263.05 c cleaning 8977 clauses out of 17958 with flag 74405/1598030 267.43/264.29 c cleaning 9485 clauses out of 18980 with flag 97140/1608029 268.95/265.74 c cleaning 10248 clauses out of 20495 with flag 122713/1619029 270.55/267.34 c cleaning 11125 clauses out of 22249 with flag 149569/1631031 272.38/269.10 c cleaning 12058 clauses out of 24124 with flag 179494/1644031 274.28/271.00 c cleaning 13031 clauses out of 26065 with flag 212230/1658030 276.41/273.12 c cleaning 14016 clauses out of 28035 with flag 245438/1673031 278.71/275.46 c cleaning 15006 clauses out of 30017 with flag 281948/1689029 281.33/278.04 c cleaning 16004 clauses out of 32011 with flag 320019/1706029 281.73/278.48 c Got one! Elapsed wall clock time (in seconds):278.372 281.73/278.48 o 377 281.93/278.66 c cleaning 10499 clauses out of 21009 with flag 2158/1711031 282.83/279.51 c cleaning 8251 clauses out of 16509 with flag 14580/1717030 283.75/280.44 c cleaning 7622 clauses out of 15260 with flag 30636/1724032 284.75/281.47 c cleaning 7815 clauses out of 15636 with flag 47659/1732030 285.95/282.60 c cleaning 8410 clauses out of 16821 with flag 66587/1741030 287.16/283.89 c cleaning 9206 clauses out of 18411 with flag 88611/1751030 288.65/285.38 c cleaning 10096 clauses out of 20205 with flag 112216/1762030 290.25/286.93 c cleaning 11054 clauses out of 22109 with flag 137639/1774030 292.08/288.71 c cleaning 12027 clauses out of 24056 with flag 166041/1787031 293.98/290.62 c cleaning 13009 clauses out of 26028 with flag 194539/1801030 294.68/291.39 c Got one! Elapsed wall clock time (in seconds):291.275 294.68/291.39 o 375 295.61/292.20 c cleaning 12360 clauses out of 24727 with flag 11612/1812738 296.41/293.07 c cleaning 9180 clauses out of 18369 with flag 25335/1818740 297.40/294.03 c cleaning 8084 clauses out of 16187 with flag 41909/1825738 298.50/295.13 c cleaning 8040 clauses out of 16104 with flag 61151/1833739 299.61/296.22 c cleaning 8526 clauses out of 17063 with flag 82321/1842738 300.71/297.33 c cleaning 9269 clauses out of 18538 with flag 103738/1852739 301.52/298.14 c Got one! Elapsed wall clock time (in seconds):298.032 301.52/298.14 o 374 302.23/298.89 c cleaning 10908 clauses out of 21816 with flag 11375/1865286 303.03/299.65 c cleaning 8449 clauses out of 16906 with flag 25120/1871284 303.23/299.89 c Got one! Elapsed wall clock time (in seconds):299.78 303.23/299.89 o 371 303.73/300.33 c cleaning 6906 clauses out of 13816 with flag 7059/1876643 304.42/301.09 c cleaning 6446 clauses out of 12911 with flag 20828/1882644 305.22/301.86 c cleaning 6729 clauses out of 13464 with flag 36435/1889643 306.14/302.79 c cleaning 7366 clauses out of 14735 with flag 54752/1897643 307.24/303.87 c cleaning 8185 clauses out of 16370 with flag 75153/1906644 308.44/305.04 c cleaning 9092 clauses out of 18184 with flag 97759/1916643 309.86/306.44 c cleaning 10043 clauses out of 20093 with flag 121813/1927644 311.26/307.86 c cleaning 11022 clauses out of 22050 with flag 147693/1939644 311.96/308.50 c Got one! Elapsed wall clock time (in seconds):308.392 311.96/308.50 o 368 312.60/309.10 c Got one! Elapsed wall clock time (in seconds):308.992 312.60/309.10 o 367 312.70/309.28 c cleaning 11264 clauses out of 22538 with flag 2228/1951154 313.60/310.20 c cleaning 8632 clauses out of 17275 with flag 16519/1957155 314.60/311.15 c cleaning 7814 clauses out of 15642 with flag 31927/1964154 315.60/312.16 c cleaning 7910 clauses out of 15830 with flag 49854/1972156 316.71/313.29 c cleaning 8458 clauses out of 16919 with flag 69871/1981155 318.02/314.51 c cleaning 9230 clauses out of 18460 with flag 91153/1991154 319.32/315.83 c cleaning 10112 clauses out of 20230 with flag 114885/2002154 320.73/317.23 c cleaning 11059 clauses out of 22118 with flag 140155/2014154 322.23/318.74 c cleaning 12029 clauses out of 24060 with flag 167233/2027155 323.84/320.38 c cleaning 13010 clauses out of 26030 with flag 196922/2041154 324.54/321.06 c Got one! Elapsed wall clock time (in seconds):320.949 324.54/321.06 o 366 325.24/321.77 c cleaning 12620 clauses out of 25246 with flag 11841/2053380 325.96/322.48 c cleaning 9310 clauses out of 18627 with flag 25332/2059381 326.76/323.28 c cleaning 8157 clauses out of 16317 with flag 41140/2066381 327.76/324.22 c cleaning 8075 clauses out of 16160 with flag 58939/2074381 328.80/325.27 c cleaning 8541 clauses out of 17086 with flag 78276/2083382 330.00/326.46 c cleaning 9270 clauses out of 18543 with flag 101116/2093380 331.50/327.93 c cleaning 10133 clauses out of 20274 with flag 127393/2104381 333.00/329.49 c cleaning 11067 clauses out of 22141 with flag 155756/2116381 334.71/331.20 c cleaning 12034 clauses out of 24074 with flag 186664/2129381 335.01/331.43 c Got one! Elapsed wall clock time (in seconds):331.318 335.01/331.43 o 365 335.41/331.89 c cleaning 8594 clauses out of 17195 with flag 7485/2134536 336.31/332.75 c cleaning 7295 clauses out of 14604 with flag 21797/2140539 337.31/333.73 c cleaning 7141 clauses out of 14306 with flag 38429/2147536 338.33/334.75 c cleaning 7583 clauses out of 15165 with flag 56569/2155536 339.42/335.84 c cleaning 8287 clauses out of 16582 with flag 77170/2164536 340.62/337.08 c cleaning 9147 clauses out of 18295 with flag 99335/2174536 342.05/338.46 c cleaning 10074 clauses out of 20148 with flag 124293/2185536 343.34/339.72 c cleaning 11035 clauses out of 22075 with flag 149316/2197537 344.68/341.10 c cleaning 12020 clauses out of 24039 with flag 175961/2210536 346.27/342.64 c Got one! Elapsed wall clock time (in seconds):342.528 346.27/342.64 o 364 347.10/343.48 c cleaning 15451 clauses out of 30905 with flag 11074/2229422 348.01/344.31 c cleaning 10728 clauses out of 21456 with flag 23932/2235424 348.90/345.21 c cleaning 8854 clauses out of 17725 with flag 38873/2242421 349.93/346.29 c cleaning 8436 clauses out of 16871 with flag 56267/2250421 351.13/347.45 c cleaning 8714 clauses out of 17435 with flag 76061/2259421 352.44/348.73 c cleaning 9359 clauses out of 18722 with flag 98005/2269422 353.83/350.12 c cleaning 10176 clauses out of 20363 with flag 122268/2280422 355.34/351.68 c cleaning 11093 clauses out of 22187 with flag 149335/2292422 357.14/353.48 c cleaning 12043 clauses out of 24094 with flag 177703/2305422 359.18/355.42 c cleaning 13023 clauses out of 26050 with flag 207800/2319421 361.29/357.59 c cleaning 14005 clauses out of 28028 with flag 239972/2334422 363.78/360.05 c cleaning 15012 clauses out of 30023 with flag 274249/2350422 366.40/362.61 c cleaning 16006 clauses out of 32011 with flag 312608/2367422 369.13/365.40 c cleaning 17002 clauses out of 34006 with flag 352953/2385423 372.14/368.32 c cleaning 17999 clauses out of 36002 with flag 395304/2404421 375.27/371.44 c cleaning 18998 clauses out of 38004 with flag 438895/2424422 378.70/374.83 c cleaning 20000 clauses out of 40005 with flag 484670/2445421 382.12/378.27 c cleaning 20997 clauses out of 42007 with flag 531658/2467423 386.11/382.14 c cleaning 22003 clauses out of 44010 with flag 580803/2490423 390.27/386.24 c cleaning 22996 clauses out of 46005 with flag 634666/2514421 390.86/386.82 c Got one! Elapsed wall clock time (in seconds):386.704 390.86/386.82 o 360 391.08/387.03 c cleaning 14182 clauses out of 28379 with flag 2154/2519791 391.88/387.89 c cleaning 10097 clauses out of 20197 with flag 15310/2525791 392.88/388.85 c cleaning 8549 clauses out of 17100 with flag 31062/2532791 394.02/389.91 c cleaning 8273 clauses out of 16551 with flag 48318/2540791 395.24/391.13 c cleaning 8636 clauses out of 17279 with flag 68166/2549792 396.54/392.40 c cleaning 9320 clauses out of 18642 with flag 89429/2559791 397.96/393.88 c cleaning 10154 clauses out of 20322 with flag 112826/2570791 399.57/395.47 c cleaning 11084 clauses out of 22168 with flag 138876/2582791 401.49/397.30 c cleaning 12040 clauses out of 24085 with flag 167337/2595792 403.40/399.23 c cleaning 13020 clauses out of 26044 with flag 197499/2609791 405.02/400.88 c Got one! Elapsed wall clock time (in seconds):400.772 405.02/400.88 o 356 405.92/401.74 c cleaning 15621 clauses out of 31244 with flag 11918/2628011 406.74/402.54 c cleaning 10807 clauses out of 21622 with flag 25647/2634010 407.04/402.83 c Got one! Elapsed wall clock time (in seconds):402.721 407.04/402.83 o 354 407.44/403.27 c cleaning 8332 clauses out of 16668 with flag 6448/2639863 408.26/404.08 c cleaning 7164 clauses out of 14334 with flag 19464/2645861 409.26/405.02 c cleaning 7085 clauses out of 14176 with flag 34490/2652867 410.38/406.14 c cleaning 7542 clauses out of 15087 with flag 52156/2660863 411.58/407.38 c cleaning 8269 clauses out of 16543 with flag 71705/2669861 412.90/408.69 c cleaning 9137 clauses out of 18275 with flag 94212/2679862 414.41/410.14 c cleaning 10065 clauses out of 20137 with flag 118512/2690861 416.12/411.83 c cleaning 11031 clauses out of 22073 with flag 144156/2702862 418.03/413.73 c cleaning 12021 clauses out of 24041 with flag 172487/2715861 420.05/415.79 c cleaning 13011 clauses out of 26021 with flag 203342/2729862 422.39/418.00 c cleaning 14005 clauses out of 28011 with flag 236007/2744863 424.72/420.38 c cleaning 15000 clauses out of 30004 with flag 271203/2760861 427.35/422.90 c cleaning 15994 clauses out of 32005 with flag 309966/2777862 430.08/425.65 c cleaning 17002 clauses out of 34012 with flag 350011/2795863 433.10/428.69 c cleaning 18000 clauses out of 36008 with flag 391440/2814861 436.35/431.81 c cleaning 19004 clauses out of 38009 with flag 436437/2834862 439.80/435.29 c cleaning 20003 clauses out of 40005 with flag 482962/2855862 444.06/439.48 c cleaning 21000 clauses out of 42002 with flag 530784/2877862 448.41/443.79 c cleaning 21999 clauses out of 44005 with flag 581105/2900865 452.88/448.17 c cleaning 22999 clauses out of 46003 with flag 633331/2924862 457.61/452.84 c cleaning 24000 clauses out of 48004 with flag 690765/2949862 462.48/457.66 c cleaning 25000 clauses out of 50005 with flag 750042/2975863 467.65/462.79 c cleaning 26000 clauses out of 52003 with flag 812453/3002861 472.99/468.03 c cleaning 26999 clauses out of 54003 with flag 877530/3030861 478.68/473.68 c cleaning 27999 clauses out of 56004 with flag 943026/3059861 484.78/479.66 c cleaning 29002 clauses out of 58007 with flag 1012653/3089863 490.78/485.52 c cleaning 29993 clauses out of 60004 with flag 1084767/3120862 497.09/491.80 c cleaning 31005 clauses out of 62012 with flag 1160071/3152863 503.95/498.54 c cleaning 32001 clauses out of 64005 with flag 1239202/3185861 511.45/505.94 c cleaning 32998 clauses out of 66005 with flag 1320579/3219862 518.64/512.94 c cleaning 33995 clauses out of 68008 with flag 1406508/3254863 524.74/518.95 c cleaning 34999 clauses out of 70011 with flag 1487136/3290861 531.73/525.84 c cleaning 36006 clauses out of 72012 with flag 1564289/3327861 534.17/528.24 c Got one! Elapsed wall clock time (in seconds):528.129 534.17/528.24 o 353 535.37/529.43 c cleaning 28340 clauses out of 56692 with flag 11315/3348547 536.19/530.28 c cleaning 17171 clauses out of 34352 with flag 24068/3354547 537.11/531.17 c cleaning 12088 clauses out of 24185 with flag 39098/3361551 538.23/532.28 c cleaning 10041 clauses out of 20093 with flag 56235/3369547 539.36/533.38 c cleaning 9522 clauses out of 19053 with flag 75446/3378548 540.78/534.73 c cleaning 9763 clauses out of 19531 with flag 96959/3388548 542.20/536.10 c cleaning 10385 clauses out of 20769 with flag 121271/3399549 543.81/537.77 c cleaning 11186 clauses out of 22383 with flag 147327/3411548 545.63/539.59 c cleaning 12096 clauses out of 24198 with flag 175437/3424549 547.47/541.39 c cleaning 13042 clauses out of 26100 with flag 204899/3438547 547.57/541.45 c Got one! Elapsed wall clock time (in seconds):541.337 547.57/541.45 o 351 548.29/542.11 c cleaning 9341 clauses out of 18692 with flag 10934/3444181 548.89/542.75 c cleaning 7663 clauses out of 15348 with flag 23631/3450178 549.72/543.52 c cleaning 7337 clauses out of 14686 with flag 38646/3457179 550.63/544.40 c cleaning 7671 clauses out of 15348 with flag 55474/3465178 551.65/545.44 c cleaning 8339 clauses out of 16677 with flag 74742/3474178 552.75/546.58 c cleaning 9170 clauses out of 18339 with flag 95631/3484179 554.07/547.88 c cleaning 10080 clauses out of 20169 with flag 119129/3495179 555.52/549.27 c cleaning 11039 clauses out of 22088 with flag 145263/3507178 557.14/550.82 c cleaning 12019 clauses out of 24049 with flag 173049/3520178 558.95/552.66 c cleaning 13016 clauses out of 26032 with flag 203377/3534180 560.78/554.46 c cleaning 14002 clauses out of 28015 with flag 235379/3549179 562.69/556.33 c cleaning 15007 clauses out of 30013 with flag 268252/3565179 564.92/558.52 c cleaning 16003 clauses out of 32006 with flag 303252/3582179 567.25/560.90 c cleaning 17001 clauses out of 34004 with flag 340594/3600180 570.20/563.71 c cleaning 17997 clauses out of 36001 with flag 380233/3619178 573.06/566.60 c cleaning 19001 clauses out of 38005 with flag 421850/3639179 576.22/569.63 c cleaning 19996 clauses out of 40003 with flag 465029/3660178 579.67/573.04 c cleaning 21001 clauses out of 42007 with flag 510506/3682178 583.20/576.56 c cleaning 21995 clauses out of 44006 with flag 559300/3705178 587.09/580.36 c cleaning 23006 clauses out of 46012 with flag 609692/3729179 591.36/584.55 c cleaning 24003 clauses out of 48005 with flag 660780/3754178 595.82/588.90 c cleaning 24998 clauses out of 50008 with flag 713739/3780184 600.38/593.44 c cleaning 26002 clauses out of 52004 with flag 770152/3807178 605.24/598.23 c cleaning 27001 clauses out of 54005 with flag 828053/3835181 610.12/603.09 c cleaning 27993 clauses out of 56002 with flag 887986/3864179 615.10/607.91 c cleaning 28997 clauses out of 58010 with flag 949479/3894180 621.09/613.90 c cleaning 30004 clauses out of 60011 with flag 1012124/3925178 627.60/620.20 c cleaning 31004 clauses out of 62008 with flag 1076890/3957179 634.36/626.90 c cleaning 32002 clauses out of 64003 with flag 1144254/3990178 640.54/633.09 c cleaning 33001 clauses out of 66002 with flag 1213502/4024179 647.74/640.17 c cleaning 33992 clauses out of 68000 with flag 1285943/4059178 655.35/647.65 c cleaning 35000 clauses out of 70008 with flag 1360296/4095178 663.17/655.32 c cleaning 36003 clauses out of 72010 with flag 1436886/4132180 671.35/663.47 c cleaning 37003 clauses out of 74005 with flag 1515126/4170178 680.21/672.16 c cleaning 38000 clauses out of 76002 with flag 1595664/4209178 688.86/680.63 c cleaning 38999 clauses out of 78003 with flag 1678155/4249179 696.80/688.44 c cleaning 40000 clauses out of 80004 with flag 1763109/4290179 703.41/694.96 c Got one! Elapsed wall clock time (in seconds):694.852 703.41/694.96 o 350 705.03/696.54 c cleaning 40667 clauses out of 81333 with flag 10333/4331508 706.13/697.63 c cleaning 23330 clauses out of 46665 with flag 22659/4337507 707.26/698.77 c cleaning 15166 clauses out of 30337 with flag 37063/4344509 708.48/699.94 c cleaning 11581 clauses out of 23169 with flag 53655/4352507 709.68/701.17 c cleaning 10291 clauses out of 20588 with flag 72578/4361507 711.11/702.57 c cleaning 10141 clauses out of 20298 with flag 93995/4371508 712.62/704.08 c cleaning 10578 clauses out of 21158 with flag 117221/4382509 714.33/705.78 c cleaning 11290 clauses out of 22579 with flag 142340/4394508 716.45/707.83 c cleaning 12143 clauses out of 24288 with flag 170029/4407507 718.57/709.93 c cleaning 13073 clauses out of 26145 with flag 199332/4421507 720.80/712.14 c cleaning 14032 clauses out of 28073 with flag 230291/4436508 723.23/714.53 c cleaning 15018 clauses out of 30040 with flag 263985/4452507 723.23/714.57 c Got one! Elapsed wall clock time (in seconds):714.455 723.23/714.57 o 349 724.02/715.35 c cleaning 10220 clauses out of 20449 with flag 11706/4457934 724.74/716.05 c cleaning 8109 clauses out of 16228 with flag 24772/4463933 725.64/716.92 c cleaning 7554 clauses out of 15122 with flag 39654/4470936 726.64/717.90 c cleaning 7777 clauses out of 15565 with flag 56874/4478933 727.65/718.91 c cleaning 8392 clauses out of 16789 with flag 75945/4487934 728.77/720.09 c cleaning 9193 clauses out of 18396 with flag 96607/4497933 730.10/721.33 c cleaning 10101 clauses out of 20205 with flag 119474/4508935 731.52/722.80 c cleaning 11051 clauses out of 22103 with flag 144718/4520934 733.33/724.51 c cleaning 12027 clauses out of 24053 with flag 171642/4533935 733.85/725.02 c Got one! Elapsed wall clock time (in seconds):724.911 733.85/725.02 o 348 733.95/725.18 c cleaning 8890 clauses out of 17782 with flag 2186/4539691 734.65/725.86 c cleaning 7441 clauses out of 14892 with flag 15006/4545691 735.45/726.65 c cleaning 7220 clauses out of 14452 with flag 29646/4552692 736.35/727.54 c cleaning 7609 clauses out of 15231 with flag 46310/4560691 737.36/728.55 c cleaning 8307 clauses out of 16622 with flag 65573/4569691 738.47/729.66 c cleaning 9157 clauses out of 18317 with flag 86794/4579693 739.82/730.96 c cleaning 10077 clauses out of 20158 with flag 110038/4590691 741.24/732.38 c cleaning 11037 clauses out of 22082 with flag 135065/4602692 742.87/733.91 c cleaning 12022 clauses out of 24045 with flag 162740/4615692 744.60/735.65 c cleaning 13008 clauses out of 26023 with flag 192072/4629692 746.52/737.59 c cleaning 14008 clauses out of 28016 with flag 223121/4644693 748.77/739.71 c cleaning 15001 clauses out of 30006 with flag 256385/4660691 751.33/742.24 c cleaning 16003 clauses out of 32006 with flag 291268/4677692 754.19/745.00 c cleaning 16998 clauses out of 34002 with flag 328576/4695691 757.03/747.89 c cleaning 17998 clauses out of 36004 with flag 367907/4714691 759.97/750.76 c cleaning 19000 clauses out of 38007 with flag 409034/4734692 763.31/754.04 c cleaning 20003 clauses out of 40008 with flag 452074/4755693 766.55/757.22 c cleaning 21001 clauses out of 42005 with flag 497876/4777693 770.32/760.91 c cleaning 21999 clauses out of 44003 with flag 545732/4800692 774.38/764.95 c cleaning 22997 clauses out of 46004 with flag 595279/4824692 778.64/769.14 c cleaning 23995 clauses out of 48006 with flag 647063/4849691 782.99/773.43 c cleaning 25005 clauses out of 50011 with flag 700405/4875691 787.59/777.95 c cleaning 26004 clauses out of 52007 with flag 756436/4902692 792.35/782.62 c cleaning 26998 clauses out of 54003 with flag 814771/4930692 797.33/787.59 c cleaning 27999 clauses out of 56005 with flag 874309/4959692 802.93/793.03 c cleaning 29000 clauses out of 58005 with flag 935853/4989691 809.10/799.18 c cleaning 29999 clauses out of 60006 with flag 1002377/5020692 815.29/805.21 c cleaning 30998 clauses out of 62007 with flag 1074048/5052692 815.59/805.50 c Got one! Elapsed wall clock time (in seconds):805.389 815.59/805.50 o 346 816.21/806.19 c cleaning 18478 clauses out of 36962 with flag 8660/5058645 817.01/806.97 c cleaning 12237 clauses out of 24485 with flag 22229/5064646 817.81/807.77 c cleaning 9611 clauses out of 19247 with flag 36919/5071645 818.73/808.65 c cleaning 8814 clauses out of 17639 with flag 53555/5079648 819.83/809.71 c cleaning 8909 clauses out of 17826 with flag 72426/5088649 820.87/810.80 c cleaning 9454 clauses out of 18913 with flag 93309/5098645 822.18/812.05 c cleaning 10228 clauses out of 20459 with flag 116495/5109645 823.68/813.52 c cleaning 11113 clauses out of 22231 with flag 141936/5121645 825.33/815.12 c cleaning 12059 clauses out of 24118 with flag 169362/5134645 827.16/816.90 c cleaning 13027 clauses out of 26059 with flag 199104/5148645 829.20/818.99 c cleaning 14014 clauses out of 28032 with flag 230888/5163645 831.42/821.18 c cleaning 15010 clauses out of 30019 with flag 264362/5179646 833.86/823.55 c cleaning 16004 clauses out of 32008 with flag 299652/5196645 836.61/826.22 c cleaning 17000 clauses out of 34006 with flag 337507/5214647 839.24/828.88 c cleaning 18001 clauses out of 36004 with flag 377027/5233645 842.29/831.83 c cleaning 18997 clauses out of 38003 with flag 419343/5253645 845.45/834.99 c cleaning 20000 clauses out of 40006 with flag 463127/5274645 848.81/838.27 c cleaning 21000 clauses out of 42006 with flag 507944/5296645 852.04/841.50 c cleaning 22000 clauses out of 44006 with flag 556426/5319645 855.48/844.90 c cleaning 23002 clauses out of 46007 with flag 606090/5343646 859.25/848.55 c cleaning 24003 clauses out of 48005 with flag 657048/5368646 863.29/852.59 c cleaning 25001 clauses out of 50001 with flag 710093/5394645 868.68/857.85 c cleaning 26000 clauses out of 52000 with flag 766592/5421645 873.94/863.05 c cleaning 26998 clauses out of 54000 with flag 825518/5449645 879.27/868.34 c cleaning 27993 clauses out of 56002 with flag 886213/5478645 879.87/868.98 c Got one! Elapsed wall clock time (in seconds):868.864 879.87/868.98 o 344 880.20/869.23 c cleaning 16878 clauses out of 33757 with flag 2184/5484393 881.21/870.21 c cleaning 11433 clauses out of 22877 with flag 14983/5490391 882.22/871.26 c cleaning 9217 clauses out of 18448 with flag 29328/5497395 883.34/872.36 c cleaning 8604 clauses out of 17228 with flag 45479/5505392 884.54/873.57 c cleaning 8807 clauses out of 17623 with flag 63868/5514391 885.76/874.79 c cleaning 9407 clauses out of 18817 with flag 84620/5524392 887.29/876.24 c cleaning 10204 clauses out of 20409 with flag 108031/5535391 888.91/877.86 c cleaning 11102 clauses out of 22206 with flag 132992/5547392 890.81/879.76 c cleaning 12048 clauses out of 24105 with flag 160490/5560393 892.99/881.82 c cleaning 13028 clauses out of 26056 with flag 189708/5574392 895.10/883.98 c cleaning 14006 clauses out of 28027 with flag 221053/5589391 897.44/886.22 c cleaning 15009 clauses out of 30022 with flag 254190/5605392 899.77/888.56 c cleaning 16004 clauses out of 32014 with flag 289521/5622393 902.52/891.26 c cleaning 17002 clauses out of 34010 with flag 327528/5640393 905.47/894.17 c cleaning 18001 clauses out of 36007 with flag 367807/5659392 908.71/897.37 c cleaning 19002 clauses out of 38005 with flag 410346/5679391 911.84/900.48 c cleaning 19995 clauses out of 40004 with flag 455453/5700392 912.24/900.81 c Got one! Elapsed wall clock time (in seconds):900.699 912.24/900.81 o 342 912.64/901.29 c cleaning 12797 clauses out of 25604 with flag 6231/5705987 913.55/902.15 c cleaning 9392 clauses out of 18805 with flag 19065/5711985 914.45/903.07 c cleaning 8199 clauses out of 16413 with flag 33632/5718985 915.46/904.10 c cleaning 8101 clauses out of 16215 with flag 50203/5726986 916.67/905.24 c cleaning 8556 clauses out of 17113 with flag 68871/5735985 918.09/906.62 c cleaning 9276 clauses out of 18559 with flag 89723/5745987 919.52/908.08 c cleaning 10134 clauses out of 20282 with flag 112450/5756986 921.23/909.79 c cleaning 11073 clauses out of 22147 with flag 137600/5768985 923.15/911.65 c cleaning 12037 clauses out of 24074 with flag 164806/5781985 924.97/913.48 c cleaning 13017 clauses out of 26039 with flag 193989/5795987 926.98/915.44 c cleaning 14007 clauses out of 28020 with flag 224857/5810985 929.21/917.60 c cleaning 14995 clauses out of 30013 with flag 258234/5826985 931.35/919.79 c cleaning 16008 clauses out of 32018 with flag 293058/5843985 934.10/922.48 c cleaning 17004 clauses out of 34012 with flag 331290/5861987 935.32/923.61 c Got one! Elapsed wall clock time (in seconds):923.493 935.32/923.61 o 340 936.25/924.54 c cleaning 15136 clauses out of 30280 with flag 10541/5875259 937.15/925.45 c cleaning 10569 clauses out of 21140 with flag 23240/5881255 938.07/926.39 c cleaning 8781 clauses out of 17570 with flag 38117/5888254 939.19/927.49 c cleaning 8394 clauses out of 16789 with flag 54791/5896254 940.40/928.60 c cleaning 8697 clauses out of 17396 with flag 73912/5905255 941.43/929.69 c cleaning 9347 clauses out of 18699 with flag 94246/5915255 942.74/930.93 c cleaning 10172 clauses out of 20351 with flag 117307/5926254 944.16/932.39 c cleaning 11087 clauses out of 22181 with flag 141653/5938256 945.59/933.77 c cleaning 12046 clauses out of 24091 with flag 168428/5951253 947.20/935.35 c cleaning 13023 clauses out of 26045 with flag 197003/5965253 949.15/937.26 c cleaning 14010 clauses out of 28025 with flag 227642/5980256 951.08/939.16 c cleaning 15006 clauses out of 30014 with flag 260229/5996255 953.23/941.28 c cleaning 16003 clauses out of 32006 with flag 294722/6013253 955.77/943.76 c cleaning 17000 clauses out of 34003 with flag 331799/6031253 958.50/946.42 c cleaning 18000 clauses out of 36004 with flag 371011/6050254 961.83/949.77 c cleaning 19000 clauses out of 38003 with flag 412443/6070253 965.25/953.10 c cleaning 19998 clauses out of 40003 with flag 456237/6091253 969.12/957.00 c cleaning 21001 clauses out of 42005 with flag 502038/6113253 973.05/960.81 c cleaning 21999 clauses out of 44005 with flag 549624/6136254 976.99/964.75 c cleaning 22995 clauses out of 46006 with flag 598358/6160254 981.34/969.03 c cleaning 24003 clauses out of 48010 with flag 649263/6185253 985.71/973.32 c cleaning 25003 clauses out of 50007 with flag 702144/6211253 990.38/978.00 c cleaning 25995 clauses out of 52004 with flag 758211/6238253 995.04/982.51 c cleaning 27001 clauses out of 54010 with flag 816669/6266254 1000.04/987.45 c cleaning 28000 clauses out of 56008 with flag 878379/6295253 1005.33/992.63 c cleaning 28999 clauses out of 58008 with flag 940701/6325253 1010.61/997.84 c cleaning 30001 clauses out of 60009 with flag 1003837/6356253 1015.98/1003.19 c cleaning 31000 clauses out of 62008 with flag 1068938/6388253 1017.79/1004.91 c Got one! Elapsed wall clock time (in seconds):1004.801 1017.79/1004.91 o 338 1018.72/1005.90 c cleaning 24376 clauses out of 48759 with flag 10316/6406004 1019.63/1006.73 c cleaning 15187 clauses out of 30382 with flag 22547/6412003 1020.44/1007.56 c cleaning 11089 clauses out of 22195 with flag 36934/6419003 1021.35/1008.48 c cleaning 9545 clauses out of 19105 with flag 53533/6427002 1022.45/1009.50 c cleaning 9272 clauses out of 18561 with flag 71986/6436003 1023.46/1010.59 c cleaning 9640 clauses out of 19288 with flag 92696/6446002 1024.77/1011.84 c cleaning 10321 clauses out of 20648 with flag 115133/6457002 1026.21/1013.21 c cleaning 11157 clauses out of 22328 with flag 140687/6469003 1027.76/1014.79 c cleaning 12085 clauses out of 24172 with flag 168133/6482004 1029.62/1016.54 c cleaning 13038 clauses out of 26085 with flag 196938/6496002 1031.60/1018.57 c cleaning 14018 clauses out of 28047 with flag 228168/6511002 1033.83/1020.70 c cleaning 15015 clauses out of 30029 with flag 260936/6527002 1036.14/1023.08 c cleaning 16007 clauses out of 32015 with flag 296189/6544003 1038.77/1025.65 c cleaning 17003 clauses out of 34008 with flag 333905/6562003 1041.61/1028.41 c cleaning 18000 clauses out of 36004 with flag 373208/6581002 1044.63/1031.45 c cleaning 19004 clauses out of 38007 with flag 414642/6601005 1047.96/1034.79 c cleaning 19997 clauses out of 40001 with flag 458323/6622003 1051.46/1038.11 c cleaning 20996 clauses out of 42004 with flag 503831/6644003 1054.85/1041.48 c cleaning 21999 clauses out of 44007 with flag 551262/6667002 1058.29/1044.86 c cleaning 23001 clauses out of 46008 with flag 599770/6691002 1062.07/1048.52 c cleaning 24001 clauses out of 48007 with flag 651009/6716002 1063.29/1049.79 c Got one! Elapsed wall clock time (in seconds):1049.68 1063.29/1049.79 o 337 1064.29/1050.73 c cleaning 19258 clauses out of 38518 with flag 10723/6730514 1065.09/1051.59 c cleaning 12626 clauses out of 25262 with flag 23120/6736516 1066.09/1052.54 c cleaning 9810 clauses out of 19635 with flag 37809/6743515 1067.10/1053.58 c cleaning 8903 clauses out of 17825 with flag 54872/6751515 1068.32/1054.76 c cleaning 8958 clauses out of 17921 with flag 73818/6760514 1069.75/1056.10 c cleaning 9477 clauses out of 18964 with flag 95620/6770515 1071.25/1057.61 c cleaning 10236 clauses out of 20486 with flag 119299/6781514 1072.65/1059.07 c cleaning 11121 clauses out of 22250 with flag 144012/6793514 1074.25/1060.65 c cleaning 12064 clauses out of 24129 with flag 171104/6806514 1076.29/1062.62 c cleaning 13033 clauses out of 26065 with flag 200135/6820514 1078.40/1064.78 c cleaning 14015 clauses out of 28032 with flag 231272/6835514 1080.83/1067.17 c cleaning 15007 clauses out of 30017 with flag 264381/6851514 1083.37/1069.65 c cleaning 16003 clauses out of 32010 with flag 299489/6868514 1086.08/1072.32 c cleaning 17000 clauses out of 34007 with flag 336842/6886514 1088.92/1075.14 c cleaning 18000 clauses out of 36008 with flag 376185/6905515 1092.05/1078.21 c cleaning 19003 clauses out of 38008 with flag 417379/6925515 1095.31/1081.49 c cleaning 19996 clauses out of 40004 with flag 461005/6946514 1098.77/1084.81 c cleaning 21000 clauses out of 42008 with flag 506452/6968514 1102.41/1088.47 c cleaning 22002 clauses out of 44008 with flag 553826/6991514 1106.57/1092.55 c cleaning 22999 clauses out of 46007 with flag 603364/7015515 1110.73/1096.65 c cleaning 24004 clauses out of 48007 with flag 654201/7040514 1115.32/1101.15 c cleaning 24998 clauses out of 50003 with flag 707287/7066514 1119.97/1105.72 c cleaning 25996 clauses out of 52006 with flag 763352/7093515 1124.67/1110.36 c cleaning 27003 clauses out of 54009 with flag 822133/7121514 1129.70/1115.36 c cleaning 28003 clauses out of 56006 with flag 881933/7150514 1135.37/1120.92 c cleaning 28998 clauses out of 58004 with flag 943445/7180515 1140.53/1126.09 c cleaning 29998 clauses out of 60007 with flag 1008049/7211516 1146.20/1131.69 c cleaning 30995 clauses out of 62007 with flag 1073341/7243514 1151.98/1137.37 c cleaning 32005 clauses out of 64013 with flag 1140649/7276515 1157.95/1143.26 c cleaning 33004 clauses out of 66008 with flag 1209742/7310515 1164.61/1149.81 c cleaning 33994 clauses out of 68003 with flag 1282889/7345514 1171.61/1156.75 c cleaning 35000 clauses out of 70010 with flag 1358027/7381515 1178.61/1163.63 c cleaning 36002 clauses out of 72009 with flag 1433621/7418514 1186.08/1170.97 c cleaning 37001 clauses out of 74007 with flag 1512219/7456514 1194.42/1179.19 c cleaning 37999 clauses out of 76006 with flag 1593710/7495514 1203.74/1188.35 c cleaning 38998 clauses out of 78007 with flag 1678150/7535514 1211.44/1195.91 c cleaning 40002 clauses out of 80010 with flag 1764951/7576515 1221.01/1205.49 c cleaning 40996 clauses out of 82007 with flag 1854189/7618514 1230.57/1214.82 c cleaning 42007 clauses out of 84013 with flag 1942719/7661516 1240.77/1224.95 c cleaning 43002 clauses out of 86005 with flag 2033702/7705515 1251.09/1235.10 c cleaning 44001 clauses out of 88002 with flag 2125561/7750514 1260.99/1244.93 c cleaning 45001 clauses out of 90001 with flag 2220330/7796514 1273.00/1256.80 c cleaning 45999 clauses out of 92001 with flag 2317994/7843515 1274.52/1258.40 c Got one! Elapsed wall clock time (in seconds):1258.284 1274.52/1258.40 o 336 1275.92/1259.77 c cleaning 30284 clauses out of 60580 with flag 10812/7858093 1276.94/1260.76 c cleaning 18142 clauses out of 36297 with flag 23093/7864094 1277.83/1261.62 c cleaning 12568 clauses out of 25157 with flag 37601/7871096 1278.33/1262.13 c Got one! Elapsed wall clock time (in seconds):1262.022 1278.33/1262.13 o 335 1278.53/1262.30 c cleaning 9228 clauses out of 18459 with flag 2107/7876966 1279.35/1263.10 c cleaning 7608 clauses out of 15232 with flag 15414/7882967 1280.18/1263.93 c cleaning 7302 clauses out of 14622 with flag 29716/7889965 1281.07/1264.83 c cleaning 7657 clauses out of 15320 with flag 45942/7897965 1282.21/1265.91 c cleaning 8328 clauses out of 16666 with flag 64307/7906968 1283.45/1267.15 c cleaning 9167 clauses out of 18337 with flag 84867/7916967 1284.88/1268.53 c cleaning 10082 clauses out of 20168 with flag 107260/7927965 1286.49/1270.13 c cleaning 11042 clauses out of 22088 with flag 131755/7939967 1288.31/1271.95 c cleaning 12015 clauses out of 24044 with flag 158063/7952965 1290.24/1273.86 c cleaning 13013 clauses out of 26029 with flag 186352/7966965 1292.34/1275.97 c cleaning 14006 clauses out of 28016 with flag 216583/7981965 1294.67/1278.25 c cleaning 15003 clauses out of 30011 with flag 249006/7997966 1297.30/1280.89 c cleaning 16005 clauses out of 32010 with flag 283864/8014968 1300.13/1283.66 c cleaning 16998 clauses out of 34003 with flag 320545/8032966 1303.27/1286.75 c cleaning 17997 clauses out of 36004 with flag 359144/8051965 1306.49/1289.90 c cleaning 19000 clauses out of 38010 with flag 399599/8071968 1309.74/1293.17 c cleaning 20004 clauses out of 40007 with flag 442147/8092965 1313.10/1296.41 c cleaning 20999 clauses out of 42004 with flag 487519/8114966 1316.15/1299.44 c Got one! Elapsed wall clock time (in seconds):1299.329 1316.15/1299.44 o 332 1317.25/1300.56 c cleaning 23814 clauses out of 47634 with flag 10422/8141595 1318.27/1301.51 c cleaning 14906 clauses out of 29820 with flag 23078/8147595 1319.18/1302.47 c cleaning 10950 clauses out of 21914 with flag 37597/8154595 1320.30/1303.56 c cleaning 9474 clauses out of 18966 with flag 53859/8162597 1321.52/1304.78 c cleaning 9239 clauses out of 18490 with flag 72523/8171595 1322.83/1306.07 c cleaning 9625 clauses out of 19252 with flag 93185/8181596 1324.34/1307.51 c cleaning 10308 clauses out of 20626 with flag 115825/8192595 1325.90/1309.07 c cleaning 11157 clauses out of 22321 with flag 140677/8204598 1327.72/1310.80 c cleaning 12080 clauses out of 24162 with flag 167421/8217596 1329.42/1312.60 c cleaning 13038 clauses out of 26081 with flag 196521/8231595 1331.50/1314.51 c cleaning 14023 clauses out of 28045 with flag 227767/8246597 1333.53/1316.55 c cleaning 15005 clauses out of 30020 with flag 260989/8262595 1335.96/1318.92 c cleaning 16003 clauses out of 32017 with flag 296016/8279597 1338.30/1321.27 c cleaning 17003 clauses out of 34012 with flag 332650/8297595 1340.91/1323.87 c cleaning 18002 clauses out of 36009 with flag 371581/8316595 1343.85/1326.78 c cleaning 19004 clauses out of 38008 with flag 412503/8336596 1347.47/1330.35 c cleaning 19997 clauses out of 40003 with flag 455347/8357595 1351.44/1334.26 c cleaning 20998 clauses out of 42006 with flag 499778/8379595 1355.08/1337.82 c cleaning 22002 clauses out of 44008 with flag 546623/8402595 1358.84/1341.55 c cleaning 23002 clauses out of 46007 with flag 595940/8426596 1363.00/1345.63 c cleaning 24002 clauses out of 48004 with flag 646421/8451595 1367.56/1350.11 c cleaning 25000 clauses out of 50003 with flag 700572/8477596 1372.85/1355.31 c cleaning 25997 clauses out of 52003 with flag 756687/8504596 1378.21/1360.69 c cleaning 27000 clauses out of 54005 with flag 814508/8532595 1384.31/1366.64 c cleaning 27996 clauses out of 56005 with flag 874958/8561595 1389.77/1372.10 c cleaning 29001 clauses out of 58009 with flag 936314/8591595 1395.08/1377.25 c cleaning 30003 clauses out of 60008 with flag 999892/8622595 1400.13/1382.27 c cleaning 30992 clauses out of 62007 with flag 1065915/8654597 1405.95/1387.96 c cleaning 32004 clauses out of 64013 with flag 1133303/8687595 1412.22/1394.13 c cleaning 33004 clauses out of 66011 with flag 1202868/8721597 1419.33/1401.16 c cleaning 33999 clauses out of 68005 with flag 1274507/8756595 1426.48/1408.29 c cleaning 35003 clauses out of 70007 with flag 1348151/8792596 1434.37/1416.10 c cleaning 36001 clauses out of 72003 with flag 1423081/8829595 1443.28/1424.80 c cleaning 36999 clauses out of 74002 with flag 1500355/8867595 1451.09/1432.56 c cleaning 37996 clauses out of 76003 with flag 1580609/8906595 1459.34/1440.65 c cleaning 38997 clauses out of 78007 with flag 1662348/8946595 1467.45/1448.66 c cleaning 39999 clauses out of 80010 with flag 1745176/8987595 1476.86/1457.95 c cleaning 41005 clauses out of 82012 with flag 1831432/9029596 1486.28/1467.22 c cleaning 41999 clauses out of 84006 with flag 1919815/9072595 1496.09/1476.98 c cleaning 43003 clauses out of 86007 with flag 2009505/9116595 1506.40/1487.19 c cleaning 43999 clauses out of 88007 with flag 2102840/9161598 1517.11/1497.80 c cleaning 45002 clauses out of 90006 with flag 2197240/9207596 1528.33/1508.85 c cleaning 45995 clauses out of 92008 with flag 2294383/9254600 1539.57/1519.93 c cleaning 47002 clauses out of 94008 with flag 2393086/9302595 1551.48/1531.75 c cleaning 48004 clauses out of 96009 with flag 2493252/9351598 1563.42/1543.53 c cleaning 48993 clauses out of 98002 with flag 2596610/9401595 1576.25/1556.20 c cleaning 50003 clauses out of 100009 with flag 2702228/9452595 1590.22/1570.08 c cleaning 51001 clauses out of 102006 with flag 2809178/9504595 1603.86/1583.51 c cleaning 51999 clauses out of 104005 with flag 2918457/9557595 1617.27/1596.79 c cleaning 52997 clauses out of 106006 with flag 3029043/9611595 1631.50/1610.86 c cleaning 54003 clauses out of 108009 with flag 3142910/9666595 1646.32/1625.54 c cleaning 55000 clauses out of 110006 with flag 3259539/9722595 1661.84/1640.84 c cleaning 55997 clauses out of 112006 with flag 3374682/9779595 1677.53/1656.34 c cleaning 56997 clauses out of 114010 with flag 3493519/9837596 1694.06/1672.60 c cleaning 57998 clauses out of 116012 with flag 3613757/9896595 1710.68/1689.02 c cleaning 59006 clauses out of 118015 with flag 3736310/9956596 1729.07/1707.25 c cleaning 60003 clauses out of 120010 with flag 3860110/10017597 1747.44/1725.49 c cleaning 61000 clauses out of 122006 with flag 3986342/10079596 1764.29/1742.02 c cleaning 61995 clauses out of 124006 with flag 4115512/10142596 1781.48/1759.08 c cleaning 63003 clauses out of 126010 with flag 4245270/10206595 1799.65/1776.96 c cleaning 63998 clauses out of 128007 with flag 4377416/10271595 1800.07/1777.31 c starts : 3972 1800.07/1777.31 c conflicts : 10273622 1800.07/1777.31 c decisions : 10478244 1800.07/1777.31 c propagations : 428701148 1800.07/1777.31 c inspects : 19038892024 1800.07/1777.31 c shortcuts : 0 1800.07/1777.31 c learnt literals : 0 1800.07/1777.31 c learnt binary clauses : 0 1800.07/1777.31 c learnt ternary clauses : 1465 1800.07/1777.31 c learnt constraints : 10273622 1800.07/1777.31 c ignored constraints : 0 1800.07/1777.31 c root simplifications : 0 1800.07/1777.31 c removed literals (reason simplification) : 0 1800.07/1777.31 c reason swapping (by a shorter reason) : 0 1800.07/1777.31 c Calls to reduceDB : 554 1800.07/1777.31 c Number of update (reduction) of LBD : 13502 1800.07/1777.31 c Imported unit clauses : 0 1800.07/1777.31 c number of reductions to clauses (during analyze) : 0 1800.07/1777.31 c number of learned constraints concerned by reduction : 0 1800.07/1777.31 c number of learning phase by resolution : 0 1800.07/1777.31 c number of learning phase by cutting planes : 0 1800.07/1777.31 c speed (assignments/second) : 241242.20438624083 1800.07/1777.31 c non guided choices 0 1800.07/1777.33 c learnt constraints type 1800.07/1777.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 66036 1800.07/1777.33 s SATISFIABLE 1800.07/1777.33 c Found 93 solution(s) 1800.07/1777.33 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 1800.07/1777.33 c objective function=332 1800.07/1777.33 c Total wall clock time (in seconds): 1777.221
OK 332
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-4119374-1467256449/watcher-4119374-1467256449 -o /tmp/evaluation-result-4119374-1467256449/solver-4119374-1467256449 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119374-1467256449.opb pid=25498 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.17 2.25 2.20 3/194 25501 /proc/meminfo: memFree=30039356/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/25501/stat : 25501 (java) R 25498 25501 24014 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 15673459 5767168 53 33554432000 1073741824 1073778376 140734959259504 140734959256632 248781041450 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 1408 56 43 9 0 30 0 [startup+0.1002 s] /proc/loadavg: 2.17 2.25 2.20 3/194 25501 /proc/meminfo: memFree=30039356/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 15673459 9787879424 6027 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2389619 6027 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200216 s] /proc/loadavg: 2.17 2.25 2.20 3/194 25501 /proc/meminfo: memFree=30039356/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 4588 0 1 0 21 1 0 0 20 0 18 0 15673459 9787879424 6666 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2389619 6666 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300191 s] /proc/loadavg: 2.17 2.25 2.20 3/194 25501 /proc/meminfo: memFree=30039356/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 6273 0 1 0 42 1 0 0 20 0 19 0 15673459 9856040960 8851 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 8851 2240 9 0 2396937 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 9625040 [startup+0.700284 s] /proc/loadavg: 2.17 2.25 2.20 3/194 25501 /proc/meminfo: memFree=30039356/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=1.29 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 12538 0 1 0 127 2 0 0 20 0 19 0 15673459 9856040960 13372 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 13372 2247 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625040 [startup+1.50075 s] /proc/loadavg: 2.17 2.25 2.20 4/213 25520 /proc/meminfo: memFree=29981868/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=2.35 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 12622 0 1 0 233 2 0 0 20 0 19 0 15673459 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 19587 2264 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 2427 0 1 0 145 1 0 0 20 0 19 0 15673460 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106441589040 140106279829659 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) R 25498 25501 24014 0 -1 4202560 4257 0 0 0 46 0 0 0 20 0 19 0 15673465 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105523125048 140106444204103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) R 25498 25501 24014 0 -1 4202560 4664 0 0 0 38 0 0 0 20 0 19 0 15673465 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105522059792 140106444204138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 19587 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.35 Current children cumulated vsize (KiB) 9625040 [startup+3.10085 s] /proc/loadavg: 2.24 2.27 2.20 4/213 25520 /proc/meminfo: memFree=29954996/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=4.02 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 12652 0 1 0 399 3 0 0 20 0 19 0 15673459 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 28299 2268 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 2445 0 1 0 304 2 0 0 20 0 19 0 15673460 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106441595280 140106279649685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) S 25498 25501 24014 0 -1 4202560 4265 0 0 0 51 0 0 0 20 0 19 0 15673465 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105523125048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) S 25498 25501 24014 0 -1 4202560 4668 0 0 0 40 0 0 0 20 0 19 0 15673465 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105522072504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 28299 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.02 Current children cumulated vsize (KiB) 9625040 [startup+6.30083 s] /proc/loadavg: 2.24 2.27 2.20 3/213 25520 /proc/meminfo: memFree=29880140/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=7.29 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 12763 0 1 0 723 6 0 0 20 0 19 0 15673459 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 51408 2282 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 2477 0 1 0 620 2 0 0 20 0 19 0 15673460 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106441589040 140106279744829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 15673461 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) S 25498 25501 24014 0 -1 4202560 4265 0 0 0 52 0 0 0 20 0 19 0 15673465 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105523125048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) S 25498 25501 24014 0 -1 4202560 4668 0 0 0 40 0 0 0 20 0 19 0 15673465 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105522072504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 51408 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 72361 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1683.61 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.33 2.29 2.22 3/213 25628 /proc/meminfo: memFree=28047512/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=1744.33 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 34934 0 1 0 174286 147 0 0 20 0 19 0 15673459 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 69557 2291 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=1704.42 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 3344 0 1 0 170411 31 0 0 20 0 19 0 15673460 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106441596176 140106279782782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=4.01 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 2314 0 0 0 387 14 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=3.96 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 3530 0 0 0 377 19 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=3.73 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 2605 0 0 0 356 17 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=3.78 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 2422 0 0 0 365 13 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=3.77 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 2812 0 0 0 365 12 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=3.91 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 2781 0 0 0 376 15 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=3.78 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 2135 0 0 0 363 15 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=4.09 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 1791 0 0 0 395 14 0 0 20 0 19 0 15673461 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=3.77 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 901 0 0 0 369 8 0 0 20 0 19 0 15673462 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) S 25498 25501 24014 0 -1 4202560 4271 0 0 0 56 0 0 0 20 0 19 0 15673465 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105523125048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) S 25498 25501 24014 0 -1 4202560 4668 0 0 0 40 0 0 0 20 0 19 0 15673465 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105522072504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 100 0 0 0 16 20 0 0 20 0 19 0 15673465 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 69557 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1744.33 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.3 s] /proc/loadavg: 2.36 2.30 2.22 3/213 25630 /proc/meminfo: memFree=27339908/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 37187 0 1 0 179854 153 0 0 20 0 19 0 15673459 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 79043 2291 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=1758.66 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 3374 0 1 0 175834 32 0 0 20 0 19 0 15673460 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106441596128 140106279743853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=4.16 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 2643 0 0 0 401 15 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=4.08 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 3996 0 0 0 388 20 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=3.86 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 2771 0 0 0 369 17 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=3.9 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 2688 0 0 0 376 14 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 2962 0 0 0 379 13 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=4.04 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 2897 0 0 0 388 16 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=3.91 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 2633 0 0 0 376 15 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 1982 0 0 0 409 14 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=4.06 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 939 0 0 0 398 8 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) S 25498 25501 24014 0 -1 4202560 4271 0 0 0 56 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105523125048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) S 25498 25501 24014 0 -1 4202560 4668 0 0 0 40 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105522072504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 25501 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1777.3 s] /proc/loadavg: 2.36 2.30 2.22 3/213 25630 /proc/meminfo: memFree=27339908/32872528 swapFree=1394328/1580332 [pid=25501] ppid=25498 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6 /proc/25501/stat : 25501 (java) S 25498 25501 24014 0 -1 4202496 37187 0 1 0 179854 153 0 0 20 0 19 0 15673459 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140734959250640 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25501/statm: 2406260 79043 2291 9 0 2396937 0 [pid=25501/tid=25503] ppid=25498 vsize=9625040 CPUtime=1758.66 cores=0,2,4,6 /proc/25501/task/25503/stat : 25503 (java) R 25498 25501 24014 0 -1 4202560 3374 0 1 0 175834 32 0 0 20 0 19 0 15673460 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106441596128 140106279743853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25504] ppid=25498 vsize=9625040 CPUtime=4.16 cores=0,2,4,6 /proc/25501/task/25504/stat : 25504 (java) S 25498 25501 24014 0 -1 4202560 2643 0 0 0 401 15 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106403088808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25505] ppid=25498 vsize=9625040 CPUtime=4.08 cores=0,2,4,6 /proc/25501/task/25505/stat : 25505 (java) S 25498 25501 24014 0 -1 4202560 3996 0 0 0 388 20 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106402036264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25506] ppid=25498 vsize=9625040 CPUtime=3.86 cores=0,2,4,6 /proc/25501/task/25506/stat : 25506 (java) S 25498 25501 24014 0 -1 4202560 2771 0 0 0 369 17 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106400983208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25501/tid=25507] ppid=25498 vsize=9625040 CPUtime=3.9 cores=0,2,4,6 /proc/25501/task/25507/stat : 25507 (java) S 25498 25501 24014 0 -1 4202560 2688 0 0 0 376 14 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106399930664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25508] ppid=25498 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/25501/task/25508/stat : 25508 (java) S 25498 25501 24014 0 -1 4202560 2962 0 0 0 379 13 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106398878632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25509] ppid=25498 vsize=9625040 CPUtime=4.04 cores=0,2,4,6 /proc/25501/task/25509/stat : 25509 (java) S 25498 25501 24014 0 -1 4202560 2897 0 0 0 388 16 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106397826088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25510] ppid=25498 vsize=9625040 CPUtime=3.91 cores=0,2,4,6 /proc/25501/task/25510/stat : 25510 (java) S 25498 25501 24014 0 -1 4202560 2633 0 0 0 376 15 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106279152296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25511] ppid=25498 vsize=9625040 CPUtime=4.23 cores=0,2,4,6 /proc/25501/task/25511/stat : 25511 (java) S 25498 25501 24014 0 -1 4202560 1982 0 0 0 409 14 0 0 20 0 19 0 15673461 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106278099752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25512] ppid=25498 vsize=9625040 CPUtime=4.06 cores=0,2,4,6 /proc/25501/task/25512/stat : 25512 (java) S 25498 25501 24014 0 -1 4202560 939 0 0 0 398 8 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106265688424 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25513] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25513/stat : 25513 (java) S 25498 25501 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106264634744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25514] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25514/stat : 25514 (java) S 25498 25501 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15673462 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140106263581576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25515] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25515/stat : 25515 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105524177168 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25516] ppid=25498 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/25501/task/25516/stat : 25516 (java) S 25498 25501 24014 0 -1 4202560 4271 0 0 0 56 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105523125048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25501/tid=25517] ppid=25498 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/25501/task/25517/stat : 25517 (java) S 25498 25501 24014 0 -1 4202560 4668 0 0 0 40 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105522072504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25518] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25518/stat : 25518 (java) S 25498 25501 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105521019640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25501/tid=25519] ppid=25498 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/25501/task/25519/stat : 25519 (java) S 25498 25501 24014 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 15673465 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105519967304 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25501/tid=25520] ppid=25498 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/25501/task/25520/stat : 25520 (java) S 25498 25501 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15673484 9856040960 79043 33554432000 1073741824 1073778376 140734959259504 140105518912552 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 25501 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=501194 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=695 # CPU time returned by wait4() is 1796.5 # 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): 1777.34 CPU time (s): 1800.07 CPU user time (s): 1798.54 CPU system time (s): 1.53 CPU usage (%): 101.279 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.5 system time used= 2.00069 maximum resident set size= 695876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37230 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= 65483 involuntary context switches= 78700 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1914 second user time and 13.004 second system time The end
Begin job on node139 at 2016-06-30 05:14:09 IDJOB=4119374 IDBENCH=111714 IDSOLVER=2546 FILE ID=node139/4119374-1467256449 RUNJOBID= node139-1467248605-24285 PBS_JOBID= 20004484 Free space on /tmp= 71708 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-edgecross10-050.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119374-1467256449/watcher-4119374-1467256449 -o /tmp/evaluation-result-4119374-1467256449/solver-4119374-1467256449 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119374-1467256449.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5038afd95adaf7154dd353d30c41f4e9 RANDOM SEED=1081722008 node139.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.092 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.18 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.092 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.092 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.092 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.092 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.56 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.092 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.092 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.48 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.092 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: 30039628 kB Buffers: 149136 kB Cached: 145512 kB SwapCached: 3080 kB Active: 331200 kB Inactive: 183256 kB Active(anon): 219108 kB Inactive(anon): 3176 kB Active(file): 112092 kB Inactive(file): 180080 kB Unevictable: 1580332 kB Mlocked: 1394328 kB SwapTotal: 67108856 kB SwapFree: 67097568 kB Dirty: 840 kB Writeback: 0 kB AnonPages: 1909160 kB Mapped: 16052 kB Shmem: 0 kB Slab: 601156 kB SReclaimable: 45128 kB SUnreclaim: 556028 kB KernelStack: 1760 kB PageTables: 7452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2289496 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 483328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node139 at 2016-06-30 05:43:46