Trace number 351157

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.26 1787.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
MD5SUMc9c03ffbcefada456722b42cc16a80ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1895
Best CPU time to get the best result obtained on this benchmark1802
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1895
Optimality of the best value was proved NO
Number of variables74400
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint90
Maximum length of a constraint930
Number of terms in the objective function 55800
Biggest coefficient in the objective function 718
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 571800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 169126
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 571800
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.14	c no version file found!!!
0.09/0.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0
0.09/0.14	c os.name	Linux
0.09/0.14	c os.version	2.6.9-22.EL.rootsmp
0.09/0.14	c os.arch	i386
0.09/0.14	c Free memory 1651659224
0.09/0.14	c Max memory 1654456320
0.09/0.14	c Total memory 1654456320
0.09/0.14	c Number of processors 2
0.09/0.19	--- Begin Solver configuration ---
0.09/0.19	c Stops conflict analysis at the first Unique Implication Point
0.09/0.19	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.09/0.19	c Learn all clauses as in MiniSAT
0.09/0.19	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.19	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.19	c No reason simplification
0.09/0.19	c --- End Solver configuration ---
0.09/0.19	c solving /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb
0.09/0.19	c reading problem ... 
4.37/3.11	c ... done. Wall clock time 2.923s.
4.37/3.11	c CPU time (experimental) 2.41s.
4.37/3.11	c #vars     74400
4.37/3.11	c #constraints  2028
1576.05/1565.62	c cleaning 791231 clauses out of 1582501 for limit 26.059909411837506
1590.67/1580.26	c cleaning 395882 clauses out of 791771 for limit 85.98203164099424
1596.37/1585.99	c cleaning 198190 clauses out of 396390 for limit 283.51432206473385
1602.47/1592.04	c cleaning 99329 clauses out of 198697 for limit 929.9481484313098
1606.37/1595.98	c cleaning 49929 clauses out of 99870 for limit 3057.313012584716
1617.60/1607.06	c cleaning 33449 clauses out of 66940 for limit 1.1100815719343109E11
1618.20/1607.62	c cleaning 16974 clauses out of 33992 for limit 3.608729101624271E11
1618.50/1607.92	c cleaning 8739 clauses out of 17518 for limit 1.154788273079429E12
1618.60/1608.08	c cleaning 4618 clauses out of 9281 for limit 3.6017786950614893E12
1618.70/1608.20	c cleaning 2581 clauses out of 5162 for limit 1.0668790142524791E13
1618.90/1608.30	c cleaning 1539 clauses out of 3078 for limit 2.94182550538121E13
1618.90/1608.39	c cleaning 1020 clauses out of 2041 for limit 7.331071079254448E13
1619.00/1608.48	c cleaning 760 clauses out of 1520 for limit 1.6217661157791428E14
1619.10/1608.57	c cleaning 607 clauses out of 1261 for limit 3.2270606109536225E14
1619.20/1608.67	c cleaning 563 clauses out of 1157 for limit 5.817659144014142E14
1619.30/1608.78	c cleaning 544 clauses out of 1089 for limit 1.0142314649428171E15
1619.40/1608.87	c cleaning 524 clauses out of 1048 for limit 1.74326374910092E15
1619.50/1608.96	c cleaning 510 clauses out of 1021 for limit 2.9420563824009875E15
1619.60/1609.05	c cleaning 490 clauses out of 1012 for limit 4.899893264324859E15
1619.70/1609.15	c cleaning 511 clauses out of 1022 for limit 8.00151315335782E15
1619.80/1609.23	c cleaning 505 clauses out of 1011 for limit 1.3339137543675298E16
1619.90/1609.34	c cleaning 505 clauses out of 1010 for limit 2.2108102356725192E16
1620.00/1609.43	c cleaning 501 clauses out of 1002 for limit 3.6640169203397296E16
1620.10/1609.51	c cleaning 499 clauses out of 999 for limit 6.048484434211368E16
1620.10/1609.59	c cleaning 483 clauses out of 1000 for limit 9.964785223802064E-4
1620.20/1609.68	c cleaning 492 clauses out of 1017 for limit 0.0016158568239102574
1620.30/1609.76	c cleaning 493 clauses out of 1026 for limit 0.0026440329776599584
1620.40/1609.85	c cleaning 494 clauses out of 1032 for limit 0.004330678125399767
1620.50/1609.94	c cleaning 503 clauses out of 1041 for limit 0.007101405242328449
1620.60/1610.03	c cleaning 502 clauses out of 1037 for limit 0.011744584171536204
1620.70/1610.11	c cleaning 498 clauses out of 1034 for limit 0.01940516043267065
1620.70/1610.20	c cleaning 496 clauses out of 1037 for limit 0.03194106692747909
1620.80/1610.29	c cleaning 502 clauses out of 1039 for limit 0.05246860179291335
1631.18/1620.53	c cleaning 13750 clauses out of 27537 for limit 1.0676190451859772E9
1631.58/1620.97	c cleaning 7122 clauses out of 14289 for limit 3.399820681577689E9
1631.78/1621.14	c cleaning 3811 clauses out of 7666 for limit 1.0440238212730448E10
1631.88/1621.24	c cleaning 2153 clauses out of 4354 for limit 3.028392580031465E10
1631.98/1621.37	c cleaning 1329 clauses out of 2703 for limit 8.060824447771068E10
1632.18/1621.51	c cleaning 936 clauses out of 1872 for limit 1.915607495711355E11
1632.28/1621.64	c cleaning 718 clauses out of 1436 for limit 4.11826054618653E11
1632.38/1621.77	c cleaning 609 clauses out of 1218 for limit 8.007129600133412E11
1632.58/1621.90	c cleaning 554 clauses out of 1109 for limit 1.4502687433939724E12
1632.68/1622.03	c cleaning 508 clauses out of 1056 for limit 2.5142387396998926E12
1632.78/1622.16	c cleaning 501 clauses out of 1047 for limit 4.177775757967359E12
1640.08/1629.33	c cleaning 10002 clauses out of 20046 for limit 0.6484009978422391
1640.38/1629.65	c cleaning 5248 clauses out of 10544 for limit 2.0329274979998493
1640.58/1629.82	c cleaning 2877 clauses out of 5796 for limit 6.098946135222533
1640.68/1629.94	c cleaning 1692 clauses out of 3419 for limit 17.050611567182138
1640.78/1630.06	c cleaning 1095 clauses out of 2228 for limit 43.19308996088033
1640.88/1630.19	c cleaning 795 clauses out of 1635 for limit 97.26052598796346
1640.98/1630.29	c cleaning 647 clauses out of 1337 for limit 195.55787766367115
1641.08/1630.40	c cleaning 575 clauses out of 1190 for limit 362.33947289796913
1641.28/1630.50	c cleaning 538 clauses out of 1117 for limit 637.8731871244293
1641.38/1630.61	c cleaning 521 clauses out of 1077 for limit 1088.8264952095553
1641.48/1630.71	c cleaning 507 clauses out of 1057 for limit 1831.4277699134832
1641.58/1630.81	c cleaning 504 clauses out of 1051 for limit 3040.552209886314
1641.68/1630.91	c cleaning 505 clauses out of 1045 for limit 5032.98636924276
1641.78/1631.01	c cleaning 498 clauses out of 1041 for limit 8340.3007963014
1641.88/1631.11	c cleaning 499 clauses out of 1042 for limit 13727.330809770792
1641.98/1631.22	c cleaning 498 clauses out of 1043 for limit 22616.50002031982
1642.08/1631.33	c cleaning 502 clauses out of 1045 for limit 37226.25108295173
1642.18/1631.45	c cleaning 498 clauses out of 1043 for limit 61508.788243447714
1642.27/1631.57	c cleaning 502 clauses out of 1046 for limit 101246.54079063331
1642.37/1631.67	c cleaning 499 clauses out of 1043 for limit 167281.8971891388
1642.47/1631.80	c cleaning 501 clauses out of 1047 for limit 275642.3820603959
1642.68/1631.91	c cleaning 501 clauses out of 1044 for limit 454966.1028431626
1642.78/1632.01	c cleaning 501 clauses out of 1044 for limit 751051.0188835916
1642.88/1632.11	c cleaning 502 clauses out of 1041 for limit 1239669.9452802138
1642.98/1632.20	c cleaning 498 clauses out of 1040 for limit 2048395.7270915285
1642.98/1632.29	c cleaning 521 clauses out of 1043 for limit 3371733.888048917
1643.08/1632.38	c cleaning 487 clauses out of 1020 for limit 5674456.760352704
1643.18/1632.46	c cleaning 517 clauses out of 1034 for limit 9240475.561951905
1643.27/1632.55	c cleaning 508 clauses out of 1017 for limit 1.5493509245777542E7
1643.37/1632.64	c cleaning 482 clauses out of 1009 for limit 2.575345313300004E7
1646.87/1636.06	c cleaning 5514 clauses out of 11031 for limit 8.634226262187549E10
1647.07/1636.28	c cleaning 3007 clauses out of 6015 for limit 2.6060907913125003E11
1647.27/1636.44	c cleaning 1731 clauses out of 3506 for limit 7.358683514912418E11
1647.37/1636.59	c cleaning 1118 clauses out of 2275 for limit 1.870193411969925E12
1647.60/1636.73	c cleaning 810 clauses out of 1658 for limit 4.2361740585076284E12
1647.70/1636.87	c cleaning 652 clauses out of 1346 for limit 8.588159985563626E12
1647.90/1637.04	c cleaning 596 clauses out of 1195 for limit 1.5968630783664643E13
1648.00/1637.17	c cleaning 549 clauses out of 1099 for limit 2.863477529292721E13
1648.20/1637.31	c cleaning 524 clauses out of 1049 for limit 4.942393944659354E13
1648.30/1637.48	c cleaning 490 clauses out of 1027 for limit 8.341944844139366E13
1648.50/1637.63	c cleaning 497 clauses out of 1035 for limit 1.3623361198140584E14
1648.60/1637.79	c cleaning 519 clauses out of 1038 for limit 2.2401812327035366E14
1652.77/1641.85	c cleaning 5492 clauses out of 11023 for limit 0.007732009428775438
1652.97/1642.07	c cleaning 2995 clauses out of 6028 for limit 0.02324723417639015
1653.17/1642.27	c cleaning 1749 clauses out of 3537 for limit 0.06559993489326511
1653.37/1642.46	c cleaning 1118 clauses out of 2284 for limit 0.16686306188939684
1653.57/1642.65	c cleaning 810 clauses out of 1665 for limit 0.3771060026920746
1653.77/1642.81	c cleaning 656 clauses out of 1356 for limit 0.764378376078804
1653.87/1642.96	c cleaning 579 clauses out of 1202 for limit 1.4249135783321976
1654.06/1643.12	c cleaning 537 clauses out of 1120 for limit 2.5143592046761123
1654.16/1643.28	c cleaning 523 clauses out of 1083 for limit 4.2881777070024
1654.37/1643.43	c cleaning 511 clauses out of 1063 for limit 7.226489719002921
1654.46/1643.59	c cleaning 506 clauses out of 1049 for limit 12.040305796787871
1663.14/1652.17	c cleaning 12249 clauses out of 24543 for limit 1.3796468522362328E10
1663.44/1652.47	c cleaning 6377 clauses out of 12798 for limit 4.3807393120587975E10
1663.64/1652.68	c cleaning 3438 clauses out of 6923 for limit 1.3381971322025897E11
1663.84/1652.84	c cleaning 1971 clauses out of 3980 for limit 3.8195718373060925E11
1663.94/1653.00	c cleaning 1232 clauses out of 2509 for limit 9.992012767209222E11
1664.14/1653.15	c cleaning 869 clauses out of 1784 for limit 2.333760371327299E12
1664.34/1653.32	c cleaning 703 clauses out of 1407 for limit 4.841019214528918E12
1664.44/1653.44	c cleaning 602 clauses out of 1205 for limit 9.331130337594275E12
1664.64/1653.60	c cleaning 527 clauses out of 1102 for limit 1.680974337441754E13
1664.74/1653.76	c cleaning 537 clauses out of 1075 for limit 2.841777691348795E13
1664.94/1653.93	c cleaning 495 clauses out of 1038 for limit 4.853523070998264E13
1665.14/1654.11	c cleaning 498 clauses out of 1043 for limit 7.965738228738034E13
1668.74/1657.61	c cleaning 4752 clauses out of 9546 for limit 7.091357607220526E-4
1668.93/1657.82	c cleaning 2618 clauses out of 5293 for limit 0.0021070279570017704
1669.13/1658.00	c cleaning 1566 clauses out of 3177 for limit 0.005800693088386299
1669.33/1658.20	c cleaning 1028 clauses out of 2109 for limit 0.014381605991030793
1669.53/1658.40	c cleaning 769 clauses out of 1581 for limit 0.03163792434131916
1669.63/1658.58	c cleaning 631 clauses out of 1312 for limit 0.06287267017637446
1669.84/1658.77	c cleaning 569 clauses out of 1182 for limit 0.11520429281053264
1670.03/1658.95	c cleaning 529 clauses out of 1113 for limit 0.20176547842603362
1670.23/1659.11	c cleaning 519 clauses out of 1083 for limit 0.34161343670690464
1670.33/1659.28	c cleaning 511 clauses out of 1065 for limit 0.5734614019825673
1670.53/1659.46	c cleaning 501 clauses out of 1053 for limit 0.9555354502171036
1674.13/1662.99	c cleaning 4500 clauses out of 9053 for limit 549.1199795863432
1674.44/1663.22	c cleaning 2500 clauses out of 5052 for limit 1621.129838241329
1674.63/1663.46	c cleaning 1502 clauses out of 3054 for limit 4431.359856560019
1674.83/1663.65	c cleaning 998 clauses out of 2051 for limit 10870.806533348104
1675.03/1663.83	c cleaning 748 clauses out of 1553 for limit 23676.19228228252
1675.23/1664.01	c cleaning 625 clauses out of 1305 for limit 46465.294002204326
1675.33/1664.19	c cleaning 561 clauses out of 1179 for limit 84731.86610111945
1675.54/1664.38	c cleaning 534 clauses out of 1119 for limit 147374.00589278326
1675.73/1664.56	c cleaning 512 clauses out of 1084 for limit 250635.77914139387
1675.93/1664.74	c cleaning 510 clauses out of 1072 for limit 417958.779213216
1676.13/1664.93	c cleaning 504 clauses out of 1062 for limit 695760.2412052545
1680.71/1669.45	c cleaning 7254 clauses out of 14559 for limit 6.15250430645448E10
1680.91/1669.60	c cleaning 3881 clauses out of 7804 for limit 1.8909828361383844E11
1681.01/1669.72	c cleaning 2211 clauses out of 4423 for limit 5.502294041303E11
1681.11/1669.82	c cleaning 1356 clauses out of 2712 for limit 1.479881484163368E12
1681.21/1669.91	c cleaning 928 clauses out of 1857 for limit 3.5677557659746016E12
1681.31/1670.00	c cleaning 714 clauses out of 1429 for limit 7.645936355534297E12
1681.41/1670.10	c cleaning 580 clauses out of 1215 for limit 1.483004662776447E13
1681.41/1670.19	c cleaning 567 clauses out of 1134 for limit 2.6177436521261004E13
1681.51/1670.28	c cleaning 510 clauses out of 1068 for limit 4.588379341763644E13
1681.61/1670.37	c cleaning 505 clauses out of 1057 for limit 7.63795255629131E13
1681.71/1670.46	c cleaning 527 clauses out of 1054 for limit 1.2657159221834788E14
1681.81/1670.55	c cleaning 513 clauses out of 1026 for limit 2.1421548856632647E14
1681.91/1670.64	c cleaning 506 clauses out of 1012 for limit 3.577989751070354E14
1682.01/1670.73	c cleaning 503 clauses out of 1006 for limit 5.935776102856344E14
1682.11/1670.82	c cleaning 483 clauses out of 1005 for limit 9.818255748700154E14
1682.21/1670.91	c cleaning 510 clauses out of 1020 for limit 1.5921614117982608E15
1682.31/1671.08	c cleaning 505 clauses out of 1010 for limit 2.6516840662082475E15
1682.51/1671.25	c cleaning 478 clauses out of 1005 for limit 4.394737889290096E15
1682.71/1671.42	c cleaning 489 clauses out of 1027 for limit 7.092257303252876E15
1682.81/1671.59	c cleaning 496 clauses out of 1038 for limit 1.1572134168964278E16
1683.01/1671.76	c cleaning 501 clauses out of 1042 for limit 1.9010738230174752E16
1683.21/1671.94	c cleaning 520 clauses out of 1041 for limit 3.1381367027693268E16
1683.41/1672.12	c cleaning 510 clauses out of 1021 for limit 5.2765824994423288E16
1690.20/1678.81	c cleaning 13230 clauses out of 26511 for limit 4029568.005217413
1690.40/1679.00	c cleaning 6872 clauses out of 13782 for limit 1.2795661790639665E7
1690.50/1679.13	c cleaning 3685 clauses out of 7411 for limit 3.928154705272028E7
1690.60/1679.24	c cleaning 2112 clauses out of 4225 for limit 1.1351677877150616E8
1690.70/1679.34	c cleaning 1287 clauses out of 2612 for limit 3.0250668380039847E8
1690.80/1679.43	c cleaning 893 clauses out of 1825 for limit 7.140048561209265E8
1690.90/1679.52	c cleaning 694 clauses out of 1432 for limit 1.5006413297678943E9
1691.00/1679.61	c cleaning 598 clauses out of 1240 for limit 2.8636711663628716E9
1691.10/1679.70	c cleaning 545 clauses out of 1141 for limit 5.127203590475781E9
1691.10/1679.79	c cleaning 531 clauses out of 1099 for limit 8.804971144217781E9
1691.20/1679.88	c cleaning 508 clauses out of 1064 for limit 1.4938322854947344E10
1691.30/1679.97	c cleaning 528 clauses out of 1056 for limit 2.4821923806954014E10
1691.40/1680.06	c cleaning 514 clauses out of 1028 for limit 4.204962515743045E10
1691.50/1680.14	c cleaning 507 clauses out of 1014 for limit 7.030288953050757E10
1691.60/1680.24	c cleaning 484 clauses out of 1007 for limit 1.1674480036260245E11
1691.70/1680.34	c cleaning 491 clauses out of 1023 for limit 1.895166062496337E11
1691.80/1680.45	c cleaning 516 clauses out of 1032 for limit 3.098126126256484E11
1692.00/1680.63	c cleaning 488 clauses out of 1016 for limit 5.189684669529687E11
1692.20/1680.80	c cleaning 492 clauses out of 1028 for limit 8.458579797847318E11
1692.30/1680.99	c cleaning 518 clauses out of 1036 for limit 1.3841612823896655E12
1692.50/1681.17	c cleaning 509 clauses out of 1019 for limit 2.3230719835872036E12
1692.70/1681.35	c cleaning 504 clauses out of 1009 for limit 3.8651562957772437E12
1692.90/1681.53	c cleaning 482 clauses out of 1006 for limit 6.399567799731149E12
1693.10/1681.71	c cleaning 511 clauses out of 1023 for limit 1.0367985156659734E13
1693.20/1681.88	c cleaning 489 clauses out of 1013 for limit 1.7284266499180146E13
1697.30/1685.88	c cleaning 7495 clauses out of 15025 for limit 0.023297061901187112
1697.60/1686.14	c cleaning 3993 clauses out of 8028 for limit 0.07176209914132897
1697.81/1686.36	c cleaning 2248 clauses out of 4536 for limit 0.20966206100577045
1698.00/1686.57	c cleaning 1373 clauses out of 2788 for limit 0.5625433746102234
1698.20/1686.77	c cleaning 936 clauses out of 1914 for limit 1.3499827692731288
1698.40/1686.95	c cleaning 720 clauses out of 1478 for limit 2.883046265336195
1698.60/1687.10	c cleaning 608 clauses out of 1259 for limit 5.5871549312015025
1698.70/1687.28	c cleaning 554 clauses out of 1152 for limit 10.07985684509782
1698.91/1687.43	c cleaning 522 clauses out of 1096 for limit 17.437457120509492
1699.10/1687.61	c cleaning 517 clauses out of 1074 for limit 29.3457566928931
1699.20/1687.79	c cleaning 504 clauses out of 1057 for limit 49.173428956915494
1699.40/1687.96	c cleaning 504 clauses out of 1053 for limit 81.40161037497015
1699.60/1688.14	c cleaning 504 clauses out of 1050 for limit 134.76045466194455
1699.80/1688.33	c cleaning 500 clauses out of 1047 for limit 223.0979007202723
1700.01/1688.51	c cleaning 501 clauses out of 1047 for limit 367.91828379093033
1703.19/1691.66	c cleaning 5006 clauses out of 10048 for limit 515643.20930808823
1703.30/1691.77	c cleaning 2748 clauses out of 5538 for limit 1536716.7237825682
1703.40/1691.88	c cleaning 1621 clauses out of 3291 for limit 4268834.18278078
1703.49/1691.98	c cleaning 1067 clauses out of 2171 for limit 1.0682373119433496E7
1703.59/1692.06	c cleaning 801 clauses out of 1602 for limit 2.3826042840149265E7
1703.69/1692.14	c cleaning 629 clauses out of 1301 for limit 4.8383025302918434E7
1703.79/1692.22	c cleaning 586 clauses out of 1173 for limit 8.858551284283443E7
1703.89/1692.31	c cleaning 525 clauses out of 1088 for limit 1.5766025305094072E8
1703.99/1692.40	c cleaning 503 clauses out of 1061 for limit 2.6608634878565726E8
1704.09/1692.50	c cleaning 531 clauses out of 1063 for limit 4.4018289206445813E8
1704.09/1692.59	c cleaning 513 clauses out of 1027 for limit 7.476172415644116E8
1704.19/1692.67	c cleaning 507 clauses out of 1014 for limit 1.248727523295025E9
1704.29/1692.76	c cleaning 503 clauses out of 1007 for limit 2.073633763674862E9
1704.40/1692.86	c cleaning 479 clauses out of 1005 for limit 3.429934788954328E9
1704.50/1693.00	c cleaning 489 clauses out of 1025 for limit 5.54050606693449E9
1704.69/1693.17	c cleaning 494 clauses out of 1036 for limit 9.040020842197386E9
1704.89/1693.35	c cleaning 503 clauses out of 1044 for limit 1.4823596982529432E10
1705.09/1693.53	c cleaning 519 clauses out of 1039 for limit 2.4514633997578674E10
1705.29/1693.71	c cleaning 510 clauses out of 1021 for limit 4.1181827762083855E10
1705.39/1693.88	c cleaning 505 clauses out of 1011 for limit 6.8586097322390945E10
1705.60/1694.05	c cleaning 481 clauses out of 1006 for limit 1.1366981502586919E11
1705.79/1694.22	c cleaning 512 clauses out of 1025 for limit 1.839819237484666E11
1705.99/1694.40	c cleaning 483 clauses out of 1013 for limit 3.0700500991679016E11
1706.09/1694.58	c cleaning 514 clauses out of 1029 for limit 4.979215334586013E11
1706.29/1694.76	c cleaning 483 clauses out of 1015 for limit 8.324652776232212E11
1706.49/1694.94	c cleaning 517 clauses out of 1034 for limit 1.350319508361939E12
1711.66/1700.05	c cleaning 10484 clauses out of 21015 for limit 0.5358583842991111
1711.96/1700.33	c cleaning 5493 clauses out of 11032 for limit 1.6850607791631647
1712.17/1700.57	c cleaning 2997 clauses out of 6038 for limit 5.072220091045288
1712.46/1700.80	c cleaning 1748 clauses out of 3541 for limit 14.26333750856004
1712.56/1701.00	c cleaning 1119 clauses out of 2293 for limit 36.32443918536068
1712.76/1701.18	c cleaning 813 clauses out of 1675 for limit 82.08778933743199
1712.96/1701.34	c cleaning 661 clauses out of 1361 for limit 166.43958393483575
1713.06/1701.42	c cleaning 578 clauses out of 1200 for limit 311.3073593872591
1713.16/1701.50	c cleaning 540 clauses out of 1124 for limit 549.1983616705885
1713.16/1701.59	c cleaning 518 clauses out of 1082 for limit 938.9774161319892
1713.27/1701.67	c cleaning 510 clauses out of 1065 for limit 1574.7919957215481
1713.37/1701.76	c cleaning 505 clauses out of 1056 for limit 2621.7983576229026
1713.46/1701.84	c cleaning 501 clauses out of 1051 for limit 4344.265669351803
1713.56/1701.92	c cleaning 499 clauses out of 1048 for limit 7170.421293186351
1713.66/1702.01	c cleaning 500 clauses out of 1051 for limit 11814.84831381358
1713.66/1702.09	c cleaning 501 clauses out of 1049 for limit 19482.390391464636
1713.76/1702.18	c cleaning 504 clauses out of 1050 for limit 32162.762312504714
1713.86/1702.26	c cleaning 500 clauses out of 1046 for limit 53243.530206710406
1713.96/1702.35	c cleaning 499 clauses out of 1045 for limit 87801.83897143225
1714.06/1702.43	c cleaning 496 clauses out of 1047 for limit 144665.0493961355
1714.16/1702.52	c cleaning 499 clauses out of 1049 for limit 237641.1670984764
1714.26/1702.61	c cleaning 502 clauses out of 1051 for limit 391547.85357854806
1714.37/1702.70	c cleaning 495 clauses out of 1048 for limit 646915.6478775833
1714.37/1702.78	c cleaning 498 clauses out of 1053 for limit 1061784.679576163
1714.47/1702.87	c cleaning 502 clauses out of 1056 for limit 1747798.275126352
1714.56/1702.96	c cleaning 527 clauses out of 1054 for limit 2887822.532811058
1714.66/1703.04	c cleaning 513 clauses out of 1027 for limit 4887610.1163117895
1714.76/1703.13	c cleaning 506 clauses out of 1013 for limit 8163547.583575017
1714.86/1703.21	c cleaning 480 clauses out of 1007 for limit 1.3542997251260893E7
1714.96/1703.30	c cleaning 491 clauses out of 1028 for limit 2.1899870411859013E7
1714.96/1703.39	c cleaning 518 clauses out of 1037 for limit 3.580237113790154E7
1715.06/1703.48	c cleaning 509 clauses out of 1019 for limit 6.008585558951228E7
1715.16/1703.57	c cleaning 478 clauses out of 1009 for limit 9.99715999589249E7
1715.26/1703.65	c cleaning 515 clauses out of 1031 for limit 1.6134853654149616E8
1715.36/1703.73	c cleaning 508 clauses out of 1017 for limit 2.700182646234187E8
1715.47/1703.82	c cleaning 480 clauses out of 1008 for limit 4.488228279536601E8
1715.57/1703.91	c cleaning 514 clauses out of 1029 for limit 7.257891874627001E8
1715.57/1703.99	c cleaning 507 clauses out of 1014 for limit 1.2134148034427943E9
1715.66/1704.08	c cleaning 477 clauses out of 1008 for limit 2.0150095585127678E9
1715.76/1704.16	c cleaning 486 clauses out of 1031 for limit 3.2488889308872623E9
1715.86/1704.25	c cleaning 496 clauses out of 1045 for limit 5.286072633839835E9
1715.96/1704.33	c cleaning 494 clauses out of 1048 for limit 8.683793938439548E9
1716.06/1704.42	c cleaning 527 clauses out of 1054 for limit 1.4239215674512169E10
1716.16/1704.50	c cleaning 514 clauses out of 1028 for limit 2.4100384040050518E10
1716.16/1704.59	c cleaning 508 clauses out of 1016 for limit 4.029473281282552E10
1716.26/1704.67	c cleaning 479 clauses out of 1005 for limit 6.6977399019334755E10
1720.14/1708.43	c cleaning 7009 clauses out of 14028 for limit 3.530827948385364E-5
1720.24/1708.56	c cleaning 3756 clauses out of 7518 for limit 1.0854038723681801E-4
1720.34/1708.68	c cleaning 2115 clauses out of 4262 for limit 3.1574474386190184E-4
1720.44/1708.79	c cleaning 1307 clauses out of 2649 for limit 8.394455424794368E-4
1720.64/1708.91	c cleaning 902 clauses out of 1840 for limit 0.001989040041676299
1720.74/1709.02	c cleaning 699 clauses out of 1438 for limit 0.004197187299473195
1720.84/1709.15	c cleaning 600 clauses out of 1239 for limit 0.008033444852518957
1720.94/1709.27	c cleaning 547 clauses out of 1138 for limit 0.014409610318205633
1721.04/1709.39	c cleaning 522 clauses out of 1091 for limit 0.024787095198361402
1721.24/1709.52	c cleaning 511 clauses out of 1069 for limit 0.04171848869124627
1721.34/1709.64	c cleaning 506 clauses out of 1058 for limit 0.06951467419866073
1721.44/1709.77	c cleaning 506 clauses out of 1052 for limit 0.11529283184546589
1721.54/1709.89	c cleaning 500 clauses out of 1046 for limit 0.19122393411521676
1721.74/1710.01	c cleaning 502 clauses out of 1046 for limit 0.3153538488362276
1721.84/1710.13	c cleaning 499 clauses out of 1045 for limit 0.5210794291695748
1721.94/1710.25	c cleaning 500 clauses out of 1046 for limit 0.8585081485613786
1722.04/1710.36	c cleaning 499 clauses out of 1045 for limit 1.4157324640759554
1722.14/1710.47	c cleaning 502 clauses out of 1046 for limit 2.332500168983945
1722.24/1710.59	c cleaning 503 clauses out of 1044 for limit 3.853973789685855
1722.44/1710.71	c cleaning 499 clauses out of 1043 for limit 6.374554779282919
1722.54/1710.83	c cleaning 499 clauses out of 1042 for limit 10.501547727017856
1722.64/1710.94	c cleaning 502 clauses out of 1044 for limit 17.30258253547771
1722.74/1711.07	c cleaning 497 clauses out of 1041 for limit 28.58788812960428
1722.84/1711.18	c cleaning 503 clauses out of 1044 for limit 47.009777083059014
1722.94/1711.27	c cleaning 501 clauses out of 1041 for limit 77.74882743622415
1723.04/1711.36	c cleaning 503 clauses out of 1042 for limit 128.35174251491475
1723.14/1711.47	c cleaning 496 clauses out of 1037 for limit 212.2646114781663
1723.24/1711.58	c cleaning 501 clauses out of 1041 for limit 348.70767721481354
1723.35/1711.69	c cleaning 499 clauses out of 1040 for limit 575.6185567066645
1723.55/1711.80	c cleaning 497 clauses out of 1041 for limit 948.3601201512204
1723.65/1711.92	c cleaning 501 clauses out of 1044 for limit 1559.4785330296825
1723.75/1712.03	c cleaning 497 clauses out of 1043 for limit 2574.254485272889
1723.85/1712.15	c cleaning 502 clauses out of 1046 for limit 4233.114239811746
1723.95/1712.27	c cleaning 502 clauses out of 1047 for limit 6995.268910536029
1724.05/1712.39	c cleaning 497 clauses out of 1042 for limit 11556.750267298341
1724.25/1712.51	c cleaning 501 clauses out of 1047 for limit 19005.60401582117
1724.35/1712.61	c cleaning 502 clauses out of 1044 for limit 31370.014751083927
1724.35/1712.69	c cleaning 495 clauses out of 1043 for limit 51834.786244491785
1724.45/1712.78	c cleaning 504 clauses out of 1050 for limit 85082.69384346485
1724.55/1712.86	c cleaning 499 clauses out of 1043 for limit 140831.1008778726
1724.65/1712.95	c cleaning 501 clauses out of 1044 for limit 232026.86435557512
1724.75/1713.05	c cleaning 501 clauses out of 1044 for limit 383026.36568661546
1724.85/1713.15	c cleaning 499 clauses out of 1043 for limit 632267.3374227071
1724.95/1713.24	c cleaning 503 clauses out of 1046 for limit 1041785.4351976761
1725.05/1713.33	c cleaning 496 clauses out of 1041 for limit 1722844.5758683695
1729.13/1717.33	c cleaning 7772 clauses out of 15545 for limit 3.799992271259706E11
1729.23/1717.48	c cleaning 4136 clauses out of 8273 for limit 1.177514604673996E12
1729.33/1717.59	c cleaning 2293 clauses out of 4637 for limit 3.4645602462973164E12
1729.43/1717.69	c cleaning 1421 clauses out of 2843 for limit 9.30957230332186E12
1729.53/1717.79	c cleaning 934 clauses out of 1922 for limit 2.2709579494995977E13
1729.63/1717.89	c cleaning 716 clauses out of 1489 for limit 4.839028467049116E13
1729.73/1717.98	c cleaning 609 clauses out of 1272 for limit 9.332266635044567E13
1729.94/1718.13	c cleaning 552 clauses out of 1164 for limit 1.683494370375766E14
1730.13/1718.31	c cleaning 556 clauses out of 1112 for limit 2.906134756488507E14
1730.23/1718.41	c cleaning 527 clauses out of 1057 for limit 5.0470307090367556E14
1730.33/1718.50	c cleaning 492 clauses out of 1030 for limit 8.541410545210849E14
1730.33/1718.58	c cleaning 492 clauses out of 1036 for limit 1.3976355205771372E15
1730.53/1718.70	c cleaning 522 clauses out of 1045 for limit 2.287324560746556E15
1730.63/1718.87	c cleaning 508 clauses out of 1024 for limit 3.853315114120775E-5
1730.83/1719.04	c cleaning 500 clauses out of 1014 for limit 6.404472881351823E-5
1731.04/1719.21	c cleaning 496 clauses out of 1014 for limit 1.0561832556402916E-4
1731.14/1719.36	c cleaning 507 clauses out of 1019 for limit 1.7349759052182748E-4
1731.23/1719.46	c cleaning 501 clauses out of 1013 for limit 2.881035338035997E-4
1731.43/1719.64	c cleaning 501 clauses out of 1010 for limit 4.7557993182938065E-4
1731.63/1719.82	c cleaning 482 clauses out of 1009 for limit 7.850722287680909E-4
1731.73/1719.96	c cleaning 490 clauses out of 1030 for limit 0.0012721050559454286
1731.93/1720.11	c cleaning 489 clauses out of 1037 for limit 0.0020774653968192876
1732.03/1720.27	c cleaning 493 clauses out of 1048 for limit 0.0033900582413536897
1732.14/1720.36	c cleaning 498 clauses out of 1057 for limit 0.0055541597307282465
1732.24/1720.44	c cleaning 502 clauses out of 1058 for limit 0.009141744101224907
1732.33/1720.53	c cleaning 500 clauses out of 1056 for limit 0.015104511936186477
1732.43/1720.62	c cleaning 501 clauses out of 1055 for limit 0.02490803862518831
1732.53/1720.71	c cleaning 498 clauses out of 1054 for limit 0.041115660020321146
1732.63/1720.80	c cleaning 496 clauses out of 1056 for limit 0.06767680474376833
1732.63/1720.89	c cleaning 508 clauses out of 1060 for limit 0.1111869420043293
1732.73/1721.00	c cleaning 505 clauses out of 1052 for limit 0.18475653059830352
1732.93/1721.14	c cleaning 502 clauses out of 1047 for limit 0.30614328889752945
1733.03/1721.28	c cleaning 501 clauses out of 1045 for limit 0.505837499252056
1733.24/1721.41	c cleaning 500 clauses out of 1046 for limit 0.8350654935951937
1733.34/1721.51	c cleaning 498 clauses out of 1046 for limit 1.3771347120015816
1733.43/1721.61	c cleaning 499 clauses out of 1046 for limit 2.2665394822159906
1736.41/1724.60	c cleaning 5248 clauses out of 10547 for limit 4976.038907088461
1736.62/1724.72	c cleaning 2875 clauses out of 5799 for limit 14925.039585156494
1736.72/1724.82	c cleaning 1685 clauses out of 3424 for limit 41686.04868652853
1736.81/1724.95	c cleaning 1096 clauses out of 2240 for limit 105188.16231943657
1736.91/1725.07	c cleaning 793 clauses out of 1643 for limit 236264.6232378932
1737.01/1725.17	c cleaning 647 clauses out of 1350 for limit 474196.5390766586
1737.11/1725.29	c cleaning 573 clauses out of 1204 for limit 877720.1331322133
1737.21/1725.39	c cleaning 539 clauses out of 1130 for limit 1540726.2397004557
1737.31/1725.48	c cleaning 545 clauses out of 1091 for limit 2631691.9916098895
1737.41/1725.59	c cleaning 523 clauses out of 1047 for limit 4526927.368421145
1737.51/1725.69	c cleaning 512 clauses out of 1027 for limit 7633772.041859796
1737.61/1725.78	c cleaning 475 clauses out of 1011 for limit 1.2737268826535871E7
1737.72/1725.87	c cleaning 519 clauses out of 1039 for limit 2.0500825324233767E7
1737.82/1725.96	c cleaning 508 clauses out of 1017 for limit 3.443644343862592E7
1737.91/1726.05	c cleaning 480 clauses out of 1009 for limit 5.724057204184122E7
1738.01/1726.14	c cleaning 491 clauses out of 1031 for limit 9.256810576851298E7
1738.11/1726.24	c cleaning 519 clauses out of 1038 for limit 1.5132460607351494E8
1738.21/1726.33	c cleaning 485 clauses out of 1019 for limit 2.5420764572196892E8
1738.41/1726.51	c cleaning 517 clauses out of 1034 for limit 4.1314085200443876E8
1738.51/1726.61	c cleaning 508 clauses out of 1017 for limit 6.927134396302739E8
1738.61/1726.70	c cleaning 504 clauses out of 1009 for limit 1.151434631052318E9
1738.61/1726.79	c cleaning 503 clauses out of 1007 for limit 1.9064520805883083E9
1738.71/1726.89	c cleaning 475 clauses out of 1003 for limit 3.153376351599078E9
1738.92/1727.02	c cleaning 489 clauses out of 1028 for limit 5.073872055732268E9
1739.01/1727.10	c cleaning 496 clauses out of 1038 for limit 8.2785952147168455E9
1739.11/1727.22	c cleaning 498 clauses out of 1042 for limit 1.360010212832202E10
1739.21/1727.33	c cleaning 497 clauses out of 1044 for limit 2.2385421538564774E10
1739.31/1727.42	c cleaning 497 clauses out of 1047 for limit 3.681077669126957E10
1739.41/1727.52	c cleaning 526 clauses out of 1052 for limit 6.0538385335820435E10
1739.51/1727.62	c cleaning 512 clauses out of 1024 for limit 1.023607548810435E11
1739.61/1727.71	c cleaning 478 clauses out of 1012 for limit 1.7080823740776288E11
1739.71/1727.80	c cleaning 517 clauses out of 1034 for limit 2.7569232244509076E11
1739.81/1727.92	c cleaning 508 clauses out of 1017 for limit 4.6225343253768854E11
1739.91/1728.01	c cleaning 476 clauses out of 1009 for limit 7.683618941055676E11
1740.01/1728.12	c cleaning 488 clauses out of 1033 for limit 1.237691904135771E12
1740.11/1728.25	c cleaning 495 clauses out of 1047 for limit 2.017860321424476E12
1740.31/1728.40	c cleaning 501 clauses out of 1052 for limit 3.3119054471837114E12
1740.41/1728.53	c cleaning 500 clauses out of 1053 for limit 5.4675178383696455E12
1740.51/1728.66	c cleaning 524 clauses out of 1049 for limit 9.014900373282814E12
1740.61/1728.78	c cleaning 512 clauses out of 1025 for limit 1.5214876844876947E13
1740.81/1728.92	c cleaning 506 clauses out of 1013 for limit 2.5388599713905977E13
1740.91/1729.03	c cleaning 478 clauses out of 1007 for limit 4.211866625614949E13
1741.01/1729.11	c cleaning 514 clauses out of 1029 for limit 6.7974276382013266E13
1741.11/1729.21	c cleaning 508 clauses out of 1017 for limit 1.1364855688749389E14
1741.21/1729.34	c cleaning 476 clauses out of 1007 for limit 1.8890448591800784E14
1741.31/1729.43	c cleaning 486 clauses out of 1031 for limit 3.042768863705945E14
1741.41/1729.54	c cleaning 523 clauses out of 1046 for limit 4.950924950586722E14
1745.40/1733.41	c cleaning 6739 clauses out of 13522 for limit 0.17037098977032575
1745.50/1733.55	c cleaning 3617 clauses out of 7283 for limit 0.5216535354349815
1745.60/1733.68	c cleaning 2062 clauses out of 4168 for limit 1.5062243537573718
1745.70/1733.79	c cleaning 1277 clauses out of 2605 for limit 3.9703703887624817
1745.90/1733.91	c cleaning 891 clauses out of 1830 for limit 9.339262270335055
1746.00/1734.01	c cleaning 691 clauses out of 1436 for limit 19.568681881328597
1746.10/1734.12	c cleaning 594 clauses out of 1245 for limit 37.22224374063237
1746.20/1734.22	c cleaning 548 clauses out of 1151 for limit 66.39761250354012
1746.30/1734.33	c cleaning 528 clauses out of 1105 for limit 114.28531236417557
1746.40/1734.43	c cleaning 513 clauses out of 1077 for limit 193.3716849015918
1746.50/1734.54	c cleaning 517 clauses out of 1069 for limit 322.89351694575043
1746.60/1734.64	c cleaning 498 clauses out of 1045 for limit 540.9224976762875
1746.70/1734.78	c cleaning 503 clauses out of 1048 for limit 890.3903639084164
1746.90/1734.99	c cleaning 497 clauses out of 1044 for limit 1472.5247751216114
1747.10/1735.15	c cleaning 501 clauses out of 1047 for limit 2421.4322064912485
1747.20/1735.27	c cleaning 503 clauses out of 1047 for limit 3997.2629048140684
1747.30/1735.38	c cleaning 502 clauses out of 1045 for limit 6611.2488317936
1747.50/1735.51	c cleaning 499 clauses out of 1043 for limit 10923.740440942882
1747.60/1735.61	c cleaning 498 clauses out of 1042 for limit 17995.951963726173
1747.60/1735.69	c cleaning 499 clauses out of 1044 for limit 29620.878350380186
1747.70/1735.79	c cleaning 499 clauses out of 1048 for limit 48808.6247399292
1747.80/1735.89	c cleaning 498 clauses out of 1047 for limit 80407.77326018582
1747.90/1735.99	c cleaning 493 clauses out of 1049 for limit 132350.3566102824
1748.10/1736.10	c cleaning 501 clauses out of 1056 for limit 216816.62149521708
1748.20/1736.20	c cleaning 497 clauses out of 1055 for limit 357898.53311976744
1748.20/1736.29	c cleaning 495 clauses out of 1057 for limit 588516.6659590855
1748.29/1736.37	c cleaning 500 clauses out of 1062 for limit 965973.3023832993
1748.39/1736.45	c cleaning 505 clauses out of 1062 for limit 1593019.201226511
1748.49/1736.53	c cleaning 491 clauses out of 1057 for limit 2639528.9338239473
1748.59/1736.63	c cleaning 533 clauses out of 1066 for limit 4316185.452230952
1748.69/1736.73	c cleaning 517 clauses out of 1035 for limit 7345846.720723053
1748.80/1736.84	c cleaning 507 clauses out of 1016 for limit 1.2316161280607495E7
1748.90/1736.95	c cleaning 505 clauses out of 1010 for limit 2.045210907893387E7
1748.99/1737.05	c cleaning 482 clauses out of 1005 for limit 3.389606621335181E7
1749.09/1737.16	c cleaning 487 clauses out of 1024 for limit 5.491687337633652E7
1749.19/1737.26	c cleaning 496 clauses out of 1037 for limit 8.942992993804596E7
1749.29/1737.37	c cleaning 497 clauses out of 1039 for limit 1.4690377728900114E8
1749.39/1737.48	c cleaning 524 clauses out of 1049 for limit 2.416409261460702E8
1749.49/1737.57	c cleaning 509 clauses out of 1018 for limit 4.0776740406135154E8
1749.59/1737.68	c cleaning 505 clauses out of 1010 for limit 6.784679069510546E8
1749.80/1737.82	c cleaning 502 clauses out of 1005 for limit 1.1244509311430852E9
1749.90/1737.95	c cleaning 480 clauses out of 1004 for limit 1.8580750689617202E9
1750.00/1738.09	c cleaning 511 clauses out of 1023 for limit 3.0042959372128577E9
1750.20/1738.22	c cleaning 483 clauses out of 1012 for limit 5.008339015679549E9
1750.30/1738.36	c cleaning 515 clauses out of 1030 for limit 8.1232048484871235E9
1750.40/1738.49	c cleaning 506 clauses out of 1013 for limit 1.3593836686133068E10
1750.60/1738.63	c cleaning 503 clauses out of 1007 for limit 2.255162856462059E10
1750.70/1738.77	c cleaning 483 clauses out of 1004 for limit 3.73017798533823E10
1750.90/1738.91	c cleaning 489 clauses out of 1021 for limit 6.049136887516469E10
1751.00/1739.06	c cleaning 494 clauses out of 1032 for limit 9.8695043816546E10
1751.20/1739.21	c cleaning 495 clauses out of 1038 for limit 1.6182051350127094E11
1754.47/1742.47	c cleaning 5764 clauses out of 11543 for limit 8.76075927326073E-6
1754.67/1742.63	c cleaning 3134 clauses out of 6279 for limit 2.6559863984101786E-5
1754.77/1742.75	c cleaning 1803 clauses out of 3646 for limit 7.5507495276693E-5
1754.87/1742.85	c cleaning 1168 clauses out of 2344 for limit 1.9388290574116462E-4
1754.97/1742.94	c cleaning 826 clauses out of 1675 for limit 4.469960558972584E-4
1755.07/1743.03	c cleaning 649 clauses out of 1349 for limit 9.152978449571185E-4
1755.17/1743.12	c cleaning 574 clauses out of 1199 for limit 0.0016965887451095708
1755.27/1743.21	c cleaning 538 clauses out of 1125 for limit 0.002981941569524129
1755.37/1743.30	c cleaning 518 clauses out of 1087 for limit 0.005089533703583713
1755.37/1743.39	c cleaning 513 clauses out of 1069 for limit 0.00853465009529929
1755.47/1743.49	c cleaning 508 clauses out of 1059 for limit 0.014250394523231678
1755.57/1743.58	c cleaning 499 clauses out of 1048 for limit 0.023676304519242818
1755.67/1743.67	c cleaning 499 clauses out of 1049 for limit 0.03900817197344106
1755.77/1743.77	c cleaning 504 clauses out of 1051 for limit 0.06427154938981806
1755.87/1743.87	c cleaning 498 clauses out of 1046 for limit 0.10639253974973172
1755.97/1743.97	c cleaning 500 clauses out of 1050 for limit 0.17513722828316972
1756.07/1744.06	c cleaning 500 clauses out of 1048 for limit 0.28879744864350815
1756.17/1744.15	c cleaning 495 clauses out of 1048 for limit 0.4762656274446229
1756.27/1744.27	c cleaning 502 clauses out of 1054 for limit 0.7817363554559048
1756.47/1744.41	c cleaning 511 clauses out of 1058 for limit 1.2920466982116474
1756.57/1744.50	c cleaning 495 clauses out of 1041 for limit 2.152593205499771
1756.57/1744.58	c cleaning 499 clauses out of 1045 for limit 3.532789650469742
1756.77/1744.72	c cleaning 499 clauses out of 1047 for limit 5.820734454749255
1756.97/1744.90	c cleaning 498 clauses out of 1047 for limit 9.589570630005852
1757.17/1745.10	c cleaning 498 clauses out of 1049 for limit 15.784333294666709
1757.27/1745.27	c cleaning 505 clauses out of 1053 for limit 25.983537078943943
1757.47/1745.42	c cleaning 497 clauses out of 1046 for limit 43.0508588974441
1757.57/1745.53	c cleaning 498 clauses out of 1049 for limit 70.79358468888303
1757.67/1745.63	c cleaning 496 clauses out of 1051 for limit 116.52592601708695
1757.77/1745.72	c cleaning 502 clauses out of 1057 for limit 191.45874251665361
1757.87/1745.85	c cleaning 502 clauses out of 1056 for limit 316.3564329694596
1757.97/1745.95	c cleaning 503 clauses out of 1054 for limit 522.704049163164
1758.07/1746.04	c cleaning 501 clauses out of 1050 for limit 864.427453860754
1758.17/1746.13	c cleaning 499 clauses out of 1050 for limit 1426.9834959482093
1758.27/1746.23	c cleaning 496 clauses out of 1048 for limit 2350.7114262862538
1758.37/1746.32	c cleaning 497 clauses out of 1052 for limit 3861.8975475192356
1758.47/1746.43	c cleaning 504 clauses out of 1056 for limit 6351.01251556121
1758.57/1746.53	c cleaning 503 clauses out of 1052 for limit 10513.493098910276
1758.67/1746.62	c cleaning 498 clauses out of 1049 for limit 17387.741403936627
1758.77/1746.71	c cleaning 499 clauses out of 1051 for limit 28620.145135234667
1758.87/1746.81	c cleaning 503 clauses out of 1053 for limit 47155.95834553241
1758.97/1746.91	c cleaning 498 clauses out of 1049 for limit 77984.95638988432
1759.07/1747.00	c cleaning 499 clauses out of 1051 for limit 128362.89190142429
1759.17/1747.10	c cleaning 500 clauses out of 1051 for limit 211475.8932450805
1759.17/1747.19	c cleaning 502 clauses out of 1051 for limit 348752.03869999497
1759.27/1747.29	c cleaning 496 clauses out of 1050 for limit 576262.7810170453
1759.37/1747.39	c cleaning 497 clauses out of 1053 for limit 946679.2845798421
1759.47/1747.48	c cleaning 502 clauses out of 1056 for limit 1556765.5552589283
1759.57/1747.58	c cleaning 499 clauses out of 1054 for limit 2572186.2258136515
1759.67/1747.68	c cleaning 510 clauses out of 1059 for limit 4238781.137896964
1759.77/1747.78	c cleaning 522 clauses out of 1045 for limit 7055673.938452773
1759.87/1747.88	c cleaning 512 clauses out of 1024 for limit 1.188626025966093E7
1765.34/1753.24	c cleaning 9497 clauses out of 19012 for limit 6.994959520833224E-7
1765.54/1753.45	c cleaning 5000 clauses out of 10015 for limit 2.189868036399108E-6
1765.64/1753.58	c cleaning 2733 clauses out of 5514 for limit 6.552748681397353E-6
1765.74/1753.69	c cleaning 1635 clauses out of 3281 for limit 1.8161007179287165E-5
1765.84/1753.79	c cleaning 1070 clauses out of 2150 for limit 4.588826468449543E-5
1765.94/1753.89	c cleaning 769 clauses out of 1576 for limit 1.0282571104351568E-4
1766.14/1754.07	c cleaning 649 clauses out of 1308 for limit 2.0452226292219533E-4
1766.24/1754.19	c cleaning 574 clauses out of 1158 for limit 3.805933091804875E-4
1766.34/1754.29	c cleaning 534 clauses out of 1086 for limit 6.706019220168099E-4
1766.54/1754.42	c cleaning 499 clauses out of 1050 for limit 0.0011415427586971725
1766.64/1754.53	c cleaning 499 clauses out of 1053 for limit 0.0018809533382085851
1766.74/1754.62	c cleaning 499 clauses out of 1052 for limit 0.0030986856201037226
1766.84/1754.72	c cleaning 501 clauses out of 1054 for limit 0.005105556004445066
1766.94/1754.82	c cleaning 502 clauses out of 1052 for limit 0.00842731622791923
1767.04/1754.94	c cleaning 499 clauses out of 1050 for limit 0.013924243792407434
1767.24/1755.11	c cleaning 502 clauses out of 1053 for limit 0.022943383104852083
1767.34/1755.21	c cleaning 497 clauses out of 1049 for limit 0.037905061308265695
1767.44/1755.30	c cleaning 503 clauses out of 1056 for limit 0.06234515478621872
1767.44/1755.40	c cleaning 507 clauses out of 1052 for limit 0.10310322765644009
1767.54/1755.49	c cleaning 501 clauses out of 1044 for limit 0.17116260103107112
1767.64/1755.58	c cleaning 496 clauses out of 1042 for limit 0.28252900009171705
1767.74/1755.66	c cleaning 501 clauses out of 1046 for limit 0.46414636532244
1767.84/1755.74	c cleaning 501 clauses out of 1045 for limit 0.7661719267480219
1767.94/1755.83	c cleaning 495 clauses out of 1043 for limit 1.2646769181433515
1768.04/1755.94	c cleaning 500 clauses out of 1048 for limit 2.0756709395790485
1768.14/1756.03	c cleaning 498 clauses out of 1048 for limit 3.423059057656281
1768.24/1756.13	c cleaning 498 clauses out of 1050 for limit 5.63432977698094
1768.34/1756.23	c cleaning 502 clauses out of 1052 for limit 9.274098599680388
1768.44/1756.32	c cleaning 498 clauses out of 1050 for limit 15.323361122839739
1768.54/1756.41	c cleaning 500 clauses out of 1052 for limit 25.222230071146505
1768.64/1756.50	c cleaning 502 clauses out of 1052 for limit 41.59483155689318
1768.64/1756.59	c cleaning 500 clauses out of 1050 for limit 68.72609967851004
1768.74/1756.68	c cleaning 498 clauses out of 1050 for limit 113.33853238299056
1768.84/1756.77	c cleaning 499 clauses out of 1053 for limit 186.5644582474302
1768.94/1756.86	c cleaning 505 clauses out of 1055 for limit 307.3938834910204
1769.04/1756.95	c cleaning 498 clauses out of 1048 for limit 509.29951444020065
1769.14/1757.04	c cleaning 499 clauses out of 1050 for limit 838.3032168825912
1769.24/1757.13	c cleaning 501 clauses out of 1051 for limit 1381.1587615406647
1769.34/1757.22	c cleaning 498 clauses out of 1050 for limit 2279.884818813942
1769.44/1757.31	c cleaning 503 clauses out of 1053 for limit 3752.8761591093066
1769.44/1757.39	c cleaning 499 clauses out of 1049 for limit 6206.381841723357
1769.54/1757.48	c cleaning 496 clauses out of 1051 for limit 10225.902852970954
1769.64/1757.57	c cleaning 500 clauses out of 1055 for limit 16799.94291301197
1769.74/1757.66	c cleaning 505 clauses out of 1056 for limit 27706.82401368715
1769.84/1757.76	c cleaning 496 clauses out of 1049 for limit 45905.216467221835
1769.94/1757.87	c cleaning 500 clauses out of 1053 for limit 75416.26909175386
1770.14/1758.06	c cleaning 504 clauses out of 1054 for limit 124377.89509387598
1770.34/1758.25	c cleaning 500 clauses out of 1049 for limit 205887.36749063816
1770.54/1758.44	c cleaning 496 clauses out of 1049 for limit 339535.8121113189
1772.22/1760.01	c cleaning 2249 clauses out of 4553 for limit 4279672.3576539885
1772.42/1760.21	c cleaning 1402 clauses out of 2804 for limit 1.1460037788254509E7
1772.52/1760.32	c cleaning 951 clauses out of 1902 for limit 2.786181687043205E7
1772.62/1760.41	c cleaning 727 clauses out of 1455 for limit 6.030466187788079E7
1772.72/1760.50	c cleaning 581 clauses out of 1224 for limit 1.1774712237195939E8
1772.72/1760.59	c cleaning 543 clauses out of 1144 for limit 2.079677984144676E8
1772.82/1760.68	c cleaning 523 clauses out of 1100 for limit 3.563287044707145E8
1773.02/1760.84	c cleaning 511 clauses out of 1077 for limit 6.001829830276787E8
1773.22/1761.02	c cleaning 503 clauses out of 1066 for limit 9.99995540684739E8
1773.42/1761.20	c cleaning 503 clauses out of 1065 for limit 1.6539812075482075E9
1773.52/1761.37	c cleaning 502 clauses out of 1062 for limit 2.735341464117208E9
1773.72/1761.54	c cleaning 529 clauses out of 1058 for limit 4.518947141243646E9
1773.92/1761.71	c cleaning 514 clauses out of 1029 for limit 7.662375680558522E9
1774.02/1761.89	c cleaning 481 clauses out of 1015 for limit 1.2810576103955381E10
1774.22/1762.06	c cleaning 485 clauses out of 1034 for limit 2.0738151905307144E10
1774.42/1762.24	c cleaning 493 clauses out of 1049 for limit 3.371094980277716E10
1774.62/1762.42	c cleaning 499 clauses out of 1057 for limit 5.522832712439416E10
1774.72/1762.58	c cleaning 529 clauses out of 1059 for limit 9.099788837639758E10
1774.92/1762.72	c cleaning 514 clauses out of 1028 for limit 1.542840474289877E11
1775.02/1762.85	c cleaning 507 clauses out of 1014 for limit 2.5794794370011194E11
1775.12/1762.94	c cleaning 479 clauses out of 1007 for limit 4.2834770223982776E11
1775.22/1763.03	c cleaning 485 clauses out of 1028 for limit 6.919722597024823E11
1775.32/1763.11	c cleaning 521 clauses out of 1043 for limit 1.1247432040154631E12
1775.42/1763.20	c cleaning 484 clauses out of 1022 for limit 1.8929654063180425E12
1775.42/1763.29	c cleaning 519 clauses out of 1040 for limit 3.073867508852819E12
1775.52/1763.38	c cleaning 509 clauses out of 1019 for limit 5.163345223965896E12
1775.62/1763.49	c cleaning 505 clauses out of 1010 for limit 8.590923670848942E12
1775.82/1763.63	c cleaning 475 clauses out of 1005 for limit 1.4238067891046416E13
1775.92/1763.77	c cleaning 489 clauses out of 1030 for limit 2.291056415574354E13
1776.12/1763.93	c cleaning 493 clauses out of 1042 for limit 3.738485392269244E13
1776.22/1764.03	c cleaning 524 clauses out of 1049 for limit 6.124121605390208E13
1776.32/1764.14	c cleaning 512 clauses out of 1025 for limit 1.0335971796783253E14
1776.42/1764.27	c cleaning 506 clauses out of 1013 for limit 1.7247320059058538E14
1776.52/1764.38	c cleaning 478 clauses out of 1007 for limit 2.861261060343521E14
1779.09/1766.85	c cleaning 4488 clauses out of 9028 for limit 0.0015736602396218171
1779.19/1766.97	c cleaning 2494 clauses out of 5042 for limit 0.004656124577538568
1779.29/1767.07	c cleaning 1497 clauses out of 3046 for limit 0.012684822586059559
1779.39/1767.16	c cleaning 996 clauses out of 2049 for limit 0.031097696808578334
1779.49/1767.25	c cleaning 753 clauses out of 1553 for limit 0.06766352432325785
1779.69/1767.42	c cleaning 622 clauses out of 1300 for limit 0.13330259538013672
1779.89/1767.61	c cleaning 561 clauses out of 1178 for limit 0.2426009817395718
1779.99/1767.79	c cleaning 533 clauses out of 1118 for limit 0.4219747258389217
1780.19/1767.97	c cleaning 517 clauses out of 1085 for limit 0.7170581760103014
1780.39/1768.15	c cleaning 510 clauses out of 1070 for limit 1.2015041165849687
1780.49/1768.29	c cleaning 498 clauses out of 1057 for limit 1.9997992684940862
1780.69/1768.47	c cleaning 501 clauses out of 1060 for limit 3.291894634131007
1780.89/1768.65	c cleaning 504 clauses out of 1059 for limit 5.433900955123215
1781.09/1768.83	c cleaning 500 clauses out of 1054 for limit 8.994736445970446
1781.29/1769.01	c cleaning 500 clauses out of 1054 for limit 14.833523693719206
1781.39/1769.12	c cleaning 503 clauses out of 1054 for limit 24.46246496424048
1781.49/1769.28	c cleaning 502 clauses out of 1052 for limit 40.45903187205659
1781.69/1769.45	c cleaning 501 clauses out of 1050 for limit 66.84944627150841
1781.89/1769.62	c cleaning 501 clauses out of 1048 for limit 110.34361449410518
1781.99/1769.79	c cleaning 499 clauses out of 1048 for limit 182.15353534077337
1782.19/1769.96	c cleaning 499 clauses out of 1048 for limit 300.09515229308994
1782.39/1770.13	c cleaning 498 clauses out of 1050 for limit 494.4488399307681
1782.49/1770.28	c cleaning 501 clauses out of 1051 for limit 813.8218025616185
1782.69/1770.45	c cleaning 499 clauses out of 1050 for limit 1343.379215008082
1782.89/1770.62	c cleaning 498 clauses out of 1051 for limit 2213.3041309083956
1785.26/1772.97	c cleaning 4253 clauses out of 8554 for limit 814710.4157148721
1785.56/1773.21	c cleaning 2381 clauses out of 4801 for limit 2393848.6869582455
1785.76/1773.44	c cleaning 1437 clauses out of 2920 for limit 6490847.969798026
1785.96/1773.67	c cleaning 972 clauses out of 1984 for limit 1.5770048156183222E7
1786.16/1773.89	c cleaning 733 clauses out of 1510 for limit 3.4102373255000696E7
1786.36/1774.09	c cleaning 613 clauses out of 1277 for limit 6.650074957194131E7
1786.46/1774.18	c cleaning 561 clauses out of 1164 for limit 1.203151576612122E8
1786.56/1774.27	c cleaning 529 clauses out of 1105 for limit 2.0942858447534117E8
1786.66/1774.36	c cleaning 515 clauses out of 1076 for limit 3.546842069547986E8
1786.76/1774.47	c cleaning 508 clauses out of 1060 for limit 5.931569622439369E8
1786.86/1774.58	c cleaning 526 clauses out of 1052 for limit 9.856339284891185E8
1787.06/1774.70	c cleaning 512 clauses out of 1028 for limit 1.6667220482163062E9
1787.06/1774.79	c cleaning 506 clauses out of 1013 for limit 2.7809885546772394E9
1787.16/1774.89	c cleaning 503 clauses out of 1007 for limit 4.613548211265324E9
1787.26/1774.98	c cleaning 502 clauses out of 1004 for limit 7.631092327831636E9
1787.36/1775.08	c cleaning 478 clauses out of 1002 for limit 1.2609811263805704E10
1787.46/1775.18	c cleaning 487 clauses out of 1024 for limit 2.0348492398198463E10
1787.56/1775.29	c cleaning 495 clauses out of 1039 for limit 3.3139164732682228E10
1787.66/1775.39	c cleaning 521 clauses out of 1042 for limit 5.438463898495456E10
1787.78/1775.48	c cleaning 511 clauses out of 1023 for limit 9.153627723384805E10
1787.97/1775.57	c cleaning 482 clauses out of 1015 for limit 1.5260271472108008E11
1788.17/1775.68	c cleaning 517 clauses out of 1034 for limit 2.4728522117089606E11
1788.37/1775.78	c cleaning 506 clauses out of 1013 for limit 4.1459789727220636E11
1788.55/1775.86	c cleaning 478 clauses out of 1007 for limit 6.878012439632456E11
1788.65/1775.96	c cleaning 495 clauses out of 1029 for limit 1.1100254592279287E12
1788.85/1776.10	c cleaning 516 clauses out of 1033 for limit 1.8216685821771948E12
1788.95/1776.29	c cleaning 508 clauses out of 1016 for limit 3.0513874594360615E12
1789.15/1776.41	c cleaning 479 clauses out of 1008 for limit 5.072083795603188E12
1789.25/1776.53	c cleaning 490 clauses out of 1029 for limit 8.1938397160951045E12
1789.34/1776.62	c cleaning 493 clauses out of 1039 for limit 1.33826826194285E13
1789.44/1776.71	c cleaning 497 clauses out of 1046 for limit 2.192213906926714E13
1789.44/1776.79	c cleaning 525 clauses out of 1051 for limit 3.6052618048634445E13
1789.54/1776.87	c cleaning 512 clauses out of 1024 for limit 6.090128137923937E13
1789.64/1776.99	c cleaning 506 clauses out of 1013 for limit 1.0162658696935589E14
1789.84/1777.14	c cleaning 503 clauses out of 1006 for limit 1.6859324908095984E14
1790.04/1777.31	c cleaning 475 clauses out of 1005 for limit 2.7886692629538903E14
1790.14/1777.44	c cleaning 514 clauses out of 1029 for limit 4.487134340497268E14
1790.25/1777.54	c cleaning 507 clauses out of 1014 for limit 7.501841206577255E14
1790.35/1777.64	c cleaning 477 clauses out of 1007 for limit 1.2457538514597705E15
1790.44/1777.74	c cleaning 493 clauses out of 1030 for limit 2.008539474088383E15
1794.82/1782.09	c cleaning 6995 clauses out of 14038 for limit 1.083317650184934
1795.01/1782.23	c cleaning 3748 clauses out of 7544 for limit 3.327742981695641
1795.11/1782.34	c cleaning 2124 clauses out of 4297 for limit 9.644428572136723
1795.21/1782.44	c cleaning 1307 clauses out of 2670 for limit 25.520133681197247
1795.31/1782.54	c cleaning 906 clauses out of 1863 for limit 60.316653577781
1795.41/1782.63	c cleaning 699 clauses out of 1458 for limit 127.22807850340726
1795.51/1782.73	c cleaning 604 clauses out of 1258 for limit 242.93004257728794
1795.71/1782.91	c cleaning 554 clauses out of 1156 for limit 436.84658384923176
1795.82/1783.06	c cleaning 524 clauses out of 1100 for limit 755.5808742635196
1796.01/1783.21	c cleaning 513 clauses out of 1076 for limit 1273.8469661781257
1796.11/1783.38	c cleaning 504 clauses out of 1063 for limit 2126.4351909148163
1796.31/1783.52	c cleaning 506 clauses out of 1059 for limit 3520.0217124461246
1796.41/1783.69	c cleaning 501 clauses out of 1054 for limit 5838.3629544477335
1796.61/1783.84	c cleaning 499 clauses out of 1052 for limit 9636.899649648962
1796.81/1784.01	c cleaning 499 clauses out of 1053 for limit 15877.444096173685
1796.92/1784.17	c cleaning 500 clauses out of 1054 for limit 26159.186828460235
1797.11/1784.34	c cleaning 501 clauses out of 1055 for limit 43142.24984945794
1797.31/1784.50	c cleaning 500 clauses out of 1053 for limit 71211.19164692653
1797.41/1784.66	c cleaning 498 clauses out of 1053 for limit 117436.78148856502
1797.61/1784.83	c cleaning 502 clauses out of 1055 for limit 193301.81813248288
1797.81/1785.01	c cleaning 500 clauses out of 1053 for limit 319386.0286995041
1797.91/1785.17	c cleaning 500 clauses out of 1053 for limit 526710.2880239905
1798.12/1785.34	c cleaning 499 clauses out of 1054 for limit 868660.2736739755
1798.31/1785.51	c cleaning 502 clauses out of 1054 for limit 1431104.4615821857
1798.41/1785.68	c cleaning 526 clauses out of 1052 for limit 2364569.5561313475
1798.61/1785.85	c cleaning 514 clauses out of 1028 for limit 3998523.2851982443
1798.81/1786.03	c cleaning 476 clauses out of 1012 for limit 6684964.342269391
1800.00/1787.11	c starts		: 23
1800.00/1787.11	c conflicts		: 2234976
1800.00/1787.11	c decisions		: 3232201
1800.00/1787.11	c propagations		: 30414071
1800.00/1787.11	c inspects		: 1933801072
1800.00/1787.11	c learnt literals	: 0
1800.00/1787.11	c learnt binary clauses	: 0
1800.00/1787.11	c learnt ternary clauses	: 3
1800.00/1787.11	c learnt clauses	: 2234977
1800.00/1787.11	c root simplifications	: 0
1800.00/1787.11	c removed literals (reason simplification)	: 0
1800.00/1787.11	c reason swapping (by a shorter reason)	: 0
1800.00/1787.11	c Calls to reduceDB	: 672
1800.00/1787.11	c speed (decisions/second)	: 1812.1334750656522
1800.00/1787.11	c non guided choices	641947
1800.00/1787.11	s UNKNOWN
1800.00/1787.11	c Total wall clock time (ms): 1786.926

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node48/watcher-351157-1176584162 -o ROOT/results/node48/solver-351157-1176584162 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.95 1.02 0.99 3/64 32193
/proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1472 CPUtime=0
/proc/32193/stat : 32193 (java) R 32191 32193 31818 0 -1 0 99 0 0 0 0 0 0 0 18 0 1 0 13261531 1507328 71 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32193/statm: 368 82 60 9 0 10 0

[startup+0.00830107 s]
/proc/loadavg: 0.95 1.02 0.99 3/64 32193
/proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=152 CPUtime=0
/proc/32193/stat : 32193 (java) R 32191 32193 31818 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 13261531 155648 26 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 1 0 0
/proc/32193/statm: 50 33 26 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152

[startup+0.101315 s]
/proc/loadavg: 0.95 1.02 0.99 3/64 32193
/proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1780108 CPUtime=0.09
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 3977 0 1 0 6 3 0 0 18 0 12 0 13261531 1822830592 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 445027 3718 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301334 s]
/proc/loadavg: 0.95 1.02 0.99 3/64 32193
/proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1782136 CPUtime=0.37
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 5675 0 1 0 33 4 0 0 18 0 12 0 13261531 1824907264 5411 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 445534 5411 1270 9 0 443146 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 1782136

[startup+0.701364 s]
/proc/loadavg: 0.95 1.02 0.99 3/64 32193
/proc/meminfo: memFree=1832680/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1783996 CPUtime=0.95
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 10854 0 1 0 88 7 0 0 18 0 12 0 13261531 1826811904 10092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 445999 10093 1296 9 0 443611 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 1783996

[startup+1.50244 s]
/proc/loadavg: 0.95 1.02 0.99 4/76 32205
/proc/meminfo: memFree=1783176/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1792632 CPUtime=2.4
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 25892 0 1 0 227 13 0 0 18 0 12 0 13261531 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448158 22433 1310 9 0 445770 0
[pid=32193/tid=32195] ppid=32191 vsize=1792632 CPUtime=1.08
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 18934 0 1 0 99 9 0 0 18 0 12 0 13261533 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109487097 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 13261534 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 13261534 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 13261536 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 13261537 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 13261537 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1792632 CPUtime=0.82
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 4511 0 0 0 80 2 0 0 21 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1792632 CPUtime=0.47
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 1728 0 0 0 46 1 0 0 17 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1792632 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 13261541 1835655168 22433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 1792632

[startup+3.10259 s]
/proc/loadavg: 0.95 1.02 0.99 2/76 32205
/proc/meminfo: memFree=1688072/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794080 CPUtime=4.37
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 52468 0 1 0 411 26 0 0 18 0 12 0 13261531 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448520 48103 1324 9 0 446132 0
[pid=32193/tid=32195] ppid=32191 vsize=1794080 CPUtime=2.4
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37707 0 1 0 222 18 0 0 21 0 12 0 13261533 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109626103 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794080 CPUtime=0.19
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 3777 0 0 0 18 1 0 0 16 0 12 0 13261534 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794080 CPUtime=0.19
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 3435 0 0 0 17 2 0 0 16 0 12 0 13261534 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 13261536 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 13261537 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 13261537 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794080 CPUtime=0.92
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 4515 0 0 0 90 2 0 0 16 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794080 CPUtime=0.62
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 2310 0 0 0 61 1 0 0 16 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794080 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 13261541 1837137920 48103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 1794080

[startup+6.30189 s]
/proc/loadavg: 0.95 1.02 0.99 2/77 32206
/proc/meminfo: memFree=1610632/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=8.42
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 63711 0 1 0 809 33 0 0 18 0 13 0 13261531 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 56571 1333 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=5.13
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37742 0 1 0 495 18 0 0 18 0 13 0 13261533 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110012472 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.39
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 8196 0 0 0 36 3 0 0 16 0 13 0 13261534 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.39
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 7813 0 0 0 35 4 0 0 16 0 13 0 13261534 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.32
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5141 0 0 0 130 2 0 0 16 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.14
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4091 0 0 0 112 2 0 0 16 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 56571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 1794568

[startup+12.7025 s]
/proc/loadavg: 0.96 1.02 0.99 2/77 32206
/proc/meminfo: memFree=1610632/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=14.84
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 63716 0 1 0 1451 33 0 0 18 0 13 0 13261531 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 56576 1333 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=11.49
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37742 0 1 0 1131 18 0 0 25 0 13 0 13261533 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109947363 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.39
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 8196 0 0 0 36 3 0 0 16 0 13 0 13261534 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.39
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 7813 0 0 0 35 4 0 0 16 0 13 0 13261534 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.35
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5145 0 0 0 133 2 0 0 16 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.17
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4092 0 0 0 115 2 0 0 17 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 56576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.84
Current children cumulated vsize (KiB) 1794568

[startup+25.5017 s]
/proc/loadavg: 0.96 1.02 0.99 2/77 32206
/proc/meminfo: memFree=1585288/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=27.98
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 71637 0 1 0 2762 36 0 0 18 0 13 0 13261531 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 62915 1333 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=23.93
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 37744 0 1 0 2375 18 0 0 25 0 13 0 13261533 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109937871 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=0.74
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 12785 0 0 0 69 5 0 0 16 0 13 0 13261534 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=0.74
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 11143 0 0 0 68 6 0 0 16 0 13 0 13261534 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 13261536 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 62915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

################
# More data... #
################

/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.25
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4097 0 0 0 123 2 0 0 16 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 374816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1612.9
Current children cumulated vsize (KiB) 1794568

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=261896/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=1673.53
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 518379 0 1 0 167100 253 0 0 18 0 13 0 13261531 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 392921 1333 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1650.68
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40546 0 1 0 165044 24 0 0 25 0 13 0 13261533 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110012116 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=10.01
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 244365 0 0 0 887 114 0 0 17 0 13 0 13261534 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=10.01
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 223382 0 0 0 896 105 0 0 16 0 13 0 13261534 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 115 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.45
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 392921 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1673.53
Current children cumulated vsize (KiB) 1794568

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=233864/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=1734.21
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 527931 0 1 0 173163 258 0 0 18 0 13 0 13261531 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 401066 1333 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1709.95
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40554 0 1 0 170971 24 0 0 25 0 13 0 13261533 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110013121 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=10.72
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 247877 0 0 0 956 116 0 0 16 0 13 0 13261534 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=10.72
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 229412 0 0 0 964 108 0 0 16 0 13 0 13261534 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 117 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.45
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5152 0 0 0 143 2 0 0 17 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 401066 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1734.21
Current children cumulated vsize (KiB) 1794568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=219016/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=1795.11
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 531052 0 1 0 179251 260 0 0 18 0 13 0 13261531 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 403580 1336 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1769.37
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 40634 0 1 0 176912 25 0 0 25 0 13 0 13261533 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109678366 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=11.26
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 249105 0 0 0 1010 116 0 0 17 0 13 0 13261534 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=11.25
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 231201 0 0 0 1016 109 0 0 16 0 13 0 13261534 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 120 0 0 0 1 3 0 0 16 0 13 0 13261536 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.85
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5173 0 0 0 183 2 0 0 20 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 403580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 1794568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=1794568 CPUtime=1800
/proc/32193/stat : 32193 (java) S 32191 32193 31818 0 -1 0 532197 0 1 0 179739 261 0 0 18 0 13 0 13261531 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32193/statm: 448642 404724 1336 9 0 446254 0
[pid=32193/tid=32195] ppid=32191 vsize=1794568 CPUtime=1774.09
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 31818 0 -1 64 41229 0 1 0 177384 25 0 0 25 0 13 0 13261533 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109908720 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32196] ppid=32191 vsize=1794568 CPUtime=11.34
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 31818 0 -1 64 249464 0 0 0 1018 116 0 0 16 0 13 0 13261534 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32197] ppid=32191 vsize=1794568 CPUtime=11.33
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 31818 0 -1 64 231392 0 0 0 1024 109 0 0 16 0 13 0 13261534 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=1794568 CPUtime=0.04
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 31818 0 -1 64 120 0 0 0 1 3 0 0 15 0 13 0 13261536 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32199] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 31818 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 31818 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 13261537 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=1794568 CPUtime=1.85
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 31818 0 -1 64 5173 0 0 0 183 2 0 0 20 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32203] ppid=32191 vsize=1794568 CPUtime=1.28
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 31818 0 -1 64 4098 0 0 0 126 2 0 0 17 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 31818 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 31818 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 13261541 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32193/tid=32206] ppid=32191 vsize=1794568 CPUtime=0
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 31818 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 13261890 1837637632 404724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1794568

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1787.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=0 CPUtime=1800.11
/proc/32193/stat : 32193 (java) Z 32191 32193 31818 0 -1 1036 532217 0 1 0 179741 270 0 0 16 0 2 0 13261531 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32193/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1787.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 32406
/proc/meminfo: memFree=214536/2055920 swapFree=4192036/4192956
[pid=32193] ppid=32191 vsize=0 CPUtime=1800.19
/proc/32193/stat : 32193 (java) Z 32191 32193 31818 0 -1 1036 532217 0 1 0 179741 278 0 0 16 0 2 0 13261531 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32193/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.36
CPU time (s): 1800.26
CPU user time (s): 1797.42
CPU system time (s): 2.84657
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 1795004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.42
system time used= 2.84657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532217
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38214
involuntary context switches= 39366

runsolver used 2.11168 second user time and 4.47832 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Apr 14 20:56:02 UTC 2007

IDJOB= 351157
IDBENCH= 1677
IDSOLVER= 159
FILE ID= node48/351157-1176584162

PBS_JOBID= 4556950

Free space on /tmp= 66558 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-351157-1176584162 -o ROOT/results/node48/solver-351157-1176584162 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351157-1176584162/sat4jPseudoResolution.jar /tmp/evaluation/351157-1176584162/instance-351157-1176584162.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c9c03ffbcefada456722b42cc16a80ad

RANDOM SEED= 438804591

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1833088 kB
Buffers:          5644 kB
Cached:         121276 kB
SwapCached:        444 kB
Active:          40528 kB
Inactive:       101976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833088 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:            6876 kB
Writeback:           0 kB
Mapped:          25016 kB
Slab:            66320 kB
Committed_AS:    66728 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node48 on Sat Apr 14 21:25:51 UTC 2007