Trace number 352431

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.18 1792.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark474
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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.06/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.18	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.18	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.18	c no version file found!!!
0.06/0.19	c sun.arch.data.model	32
0.06/0.19	c java.version	1.6.0
0.06/0.19	c os.name	Linux
0.06/0.19	c os.version	2.6.9-22.EL.rootsmp
0.06/0.19	c os.arch	i386
0.06/0.19	c Free memory 1651659224
0.06/0.19	c Max memory 1654456320
0.06/0.19	c Total memory 1654456320
0.06/0.19	c Number of processors 2
0.15/0.24	--- Begin Solver configuration ---
0.15/0.24	c Stops conflict analysis at the first Unique Implication Point
0.15/0.24	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.15/0.24	c Learn all clauses as in MiniSAT
0.15/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.24	c VSIDS like heuristics from MiniSAT using a heap
0.15/0.24	c No reason simplification
0.15/0.24	c --- End Solver configuration ---
0.15/0.24	c solving /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb
0.15/0.24	c reading problem ... 
12.61/10.69	c ... done. Wall clock time 10.446s.
12.61/10.69	c CPU time (experimental) 8.7s.
12.61/10.69	c #vars     10000
12.61/10.69	c #constraints  656900
1226.03/1220.06	c cleaning 109233 clauses out of 218500 for limit 3.99366085606121E9
1228.15/1222.17	c cleaning 54875 clauses out of 109767 for limit 1.311012145332248E10
1229.94/1223.92	c cleaning 27682 clauses out of 55392 for limit 4.284373759229884E10
1231.34/1225.32	c cleaning 14090 clauses out of 28211 for limit 1.388693218659437E11
1232.24/1226.22	c cleaning 7300 clauses out of 14621 for limit 4.41879247315791E11
1233.14/1227.14	c cleaning 3901 clauses out of 7820 for limit 1.3611165192714211E12
1233.84/1227.86	c cleaning 2201 clauses out of 4421 for limit 3.978381746118604E12
1234.34/1228.31	c cleaning 1348 clauses out of 2718 for limit 1.0650362247223506E13
1234.75/1228.72	c cleaning 917 clauses out of 1871 for limit 2.5540561639938547E13
1235.04/1229.06	c cleaning 711 clauses out of 1453 for limit 5.4182618770596836E13
1235.34/1229.38	c cleaning 618 clauses out of 1242 for limit 1.0453456037221689E14
1235.74/1229.72	c cleaning 562 clauses out of 1125 for limit 1.9051069847701494E14
1236.04/1230.05	c cleaning 524 clauses out of 1064 for limit 3.325222133182159E14
1236.44/1230.40	c cleaning 514 clauses out of 1040 for limit 5.610283894903755E14
1236.74/1230.74	c cleaning 506 clauses out of 1026 for limit 9.37835576995142E14
1237.05/1231.06	c cleaning 488 clauses out of 1020 for limit 1.5557140709689682E15
1237.44/1231.40	c cleaning 503 clauses out of 1030 for limit 2.5355932695236447E-5
1237.74/1231.72	c cleaning 509 clauses out of 1028 for limit 4.1938616459404605E-5
1238.04/1232.04	c cleaning 502 clauses out of 1018 for limit 6.9771941989305E-5
1238.34/1232.39	c cleaning 497 clauses out of 1016 for limit 1.1528976875641798E-4
1334.38/1328.05	c cleaning 13479 clauses out of 27019 for limit 1417676.7475214086
1335.98/1329.60	c cleaning 7004 clauses out of 14040 for limit 4499199.665623047
1336.98/1330.63	c cleaning 3743 clauses out of 7536 for limit 1.3823479466094257E7
1337.78/1331.40	c cleaning 2146 clauses out of 4297 for limit 4.014087563272349E7
1338.28/1331.96	c cleaning 1306 clauses out of 2648 for limit 1.070992837875486E8
1338.68/1332.38	c cleaning 898 clauses out of 1844 for limit 2.5413737582231396E8
1339.08/1332.77	c cleaning 714 clauses out of 1443 for limit 5.3396830413167995E8
1339.48/1333.18	c cleaning 608 clauses out of 1230 for limit 1.0341108549858551E9
1339.88/1333.50	c cleaning 541 clauses out of 1121 for limit 1.8693385878104317E9
1340.18/1333.84	c cleaning 519 clauses out of 1080 for limit 3.199821227019982E9
1340.58/1334.21	c cleaning 526 clauses out of 1061 for limit 5.3714306590045395E9
1434.59/1427.92	c cleaning 12760 clauses out of 25535 for limit 0.16272858417099542
1436.19/1429.57	c cleaning 6625 clauses out of 13275 for limit 0.5162036431636444
1437.39/1430.79	c cleaning 3568 clauses out of 7152 for limit 1.5832627709227736
1438.19/1431.54	c cleaning 2033 clauses out of 4082 for limit 4.565563301946983
1438.89/1432.26	c cleaning 1267 clauses out of 2550 for limit 12.064729451758206
1439.49/1432.80	c cleaning 882 clauses out of 1782 for limit 28.442740788156197
1439.89/1433.25	c cleaning 692 clauses out of 1401 for limit 59.721596177560954
1440.29/1433.69	c cleaning 600 clauses out of 1209 for limit 114.12981887022907
1440.69/1434.06	c cleaning 546 clauses out of 1109 for limit 205.18696596141004
1441.09/1434.41	c cleaning 518 clauses out of 1062 for limit 353.00281965031706
1441.39/1434.79	c cleaning 512 clauses out of 1045 for limit 592.2114493739774
1441.89/1435.22	c cleaning 502 clauses out of 1033 for limit 987.9811426497204
1489.87/1483.06	c cleaning 11004 clauses out of 22033 for limit 1.0201111802638792E11
1490.87/1484.01	c cleaning 5742 clauses out of 11526 for limit 3.2062315126121454E11
1491.47/1484.65	c cleaning 3129 clauses out of 6284 for limit 9.69824618300619E11
1497.15/1490.27	c cleaning 3315 clauses out of 6655 for limit 3.037893396061446E13
1497.65/1490.79	c cleaning 1901 clauses out of 3841 for limit 8.688937657855119E13
1498.15/1491.22	c cleaning 1210 clauses out of 2439 for limit 2.2543459501179903E14
1498.45/1491.58	c cleaning 862 clauses out of 1730 for limit 5.2465843477338044E14
1498.95/1492.00	c cleaning 677 clauses out of 1367 for limit 1.0938949642735971E15
1499.35/1492.43	c cleaning 584 clauses out of 1190 for limit 2.0723020816689082E-5
1499.76/1492.88	c cleaning 549 clauses out of 1106 for limit 3.677060577521532E-5
1500.25/1493.34	c cleaning 524 clauses out of 1058 for limit 6.34542393960151E-5
1500.81/1493.87	c cleaning 509 clauses out of 1034 for limit 1.070734160855738E-4
1501.31/1494.35	c cleaning 508 clauses out of 1025 for limit 1.7812883152542775E-4
1501.71/1494.77	c cleaning 499 clauses out of 1016 for limit 2.960641017966352E-4
1502.21/1495.27	c cleaning 500 clauses out of 1018 for limit 4.877778560282777E-4
1502.71/1495.71	c cleaning 496 clauses out of 1017 for limit 8.043967009830328E-4
1503.01/1496.05	c cleaning 495 clauses out of 1021 for limit 0.0013213606780407689
1503.31/1496.37	c cleaning 495 clauses out of 1026 for limit 0.0021684811282806486
1503.81/1496.81	c cleaning 503 clauses out of 1033 for limit 0.0035589967938296297
1504.11/1497.15	c cleaning 504 clauses out of 1031 for limit 0.0058865339319847014
1504.41/1497.46	c cleaning 500 clauses out of 1024 for limit 0.009744750230490259
1504.71/1497.80	c cleaning 495 clauses out of 1024 for limit 0.016070396759441413
1505.11/1498.19	c cleaning 502 clauses out of 1030 for limit 0.02637422639562642
1556.86/1549.67	c cleaning 10258 clauses out of 20530 for limit 649729.3853572583
1558.06/1550.88	c cleaning 5374 clauses out of 10770 for limit 2038415.0568805358
1558.66/1551.46	c cleaning 2935 clauses out of 5895 for limit 6135442.462706509
1559.06/1551.88	c cleaning 1713 clauses out of 3463 for limit 1.727573875233367E7
1559.46/1552.26	c cleaning 1115 clauses out of 2248 for limit 4.380056130565665E7
1559.86/1552.67	c cleaning 800 clauses out of 1632 for limit 9.939789878405482E7
1560.26/1553.05	c cleaning 659 clauses out of 1332 for limit 2.008394485934742E8
1560.66/1553.41	c cleaning 582 clauses out of 1173 for limit 3.761067433166647E8
1560.96/1553.73	c cleaning 530 clauses out of 1092 for limit 6.669248389767581E8
1561.26/1554.10	c cleaning 528 clauses out of 1064 for limit 1.1310526290522065E9
1561.66/1554.48	c cleaning 507 clauses out of 1033 for limit 1.9154749275495102E9
1562.19/1554.96	c cleaning 504 clauses out of 1027 for limit 3.1805098754893646E9
1562.69/1555.49	c cleaning 500 clauses out of 1022 for limit 5.265476410234319E9
1563.18/1555.92	c cleaning 509 clauses out of 1025 for limit 8.684086169452042E9
1563.58/1556.39	c cleaning 504 clauses out of 1013 for limit 1.4447439879099264E10
1568.41/1561.17	c cleaning 1992 clauses out of 4011 for limit 1.2128522881607233E11
1569.01/1561.70	c cleaning 1256 clauses out of 2517 for limit 3.1810040480094604E11
1569.41/1562.14	c cleaning 859 clauses out of 1763 for limit 7.504470168975089E11
1569.91/1562.67	c cleaning 682 clauses out of 1403 for limit 1.5535886940683481E12
1570.41/1563.17	c cleaning 609 clauses out of 1221 for limit 2.9439738373709326E12
1571.01/1563.74	c cleaning 543 clauses out of 1111 for limit 5.330364727408241E12
1571.62/1564.37	c cleaning 529 clauses out of 1070 for limit 9.14559821956362E12
1572.04/1564.74	c cleaning 516 clauses out of 1043 for limit 1.5503740766019885E13
1572.44/1565.12	c cleaning 500 clauses out of 1026 for limit 2.5965388257097863E13
1572.84/1565.58	c cleaning 508 clauses out of 1023 for limit 4.281726271997597E13
1573.24/1565.98	c cleaning 504 clauses out of 1018 for limit 7.117150961509612E13
1573.64/1566.40	c cleaning 490 clauses out of 1011 for limit 1.1782980306365434E14
1574.14/1566.87	c cleaning 484 clauses out of 1021 for limit 1.9241390443845234E14
1574.54/1567.27	c cleaning 494 clauses out of 1037 for limit 3.1242035751352725E14
1575.03/1567.73	c cleaning 512 clauses out of 1043 for limit 5.122590738924565E14
1575.43/1568.13	c cleaning 502 clauses out of 1033 for limit 8.546701919403324E14
1575.83/1568.58	c cleaning 486 clauses out of 1030 for limit 1.4121571507894942E15
1576.43/1569.12	c cleaning 516 clauses out of 1045 for limit 2.2977054933932536E-5
1576.73/1569.47	c cleaning 493 clauses out of 1027 for limit 3.8479292021184295E-5
1577.14/1569.88	c cleaning 501 clauses out of 1034 for limit 6.302790398085896E-5
1628.36/1620.89	c cleaning 8493 clauses out of 17033 for limit 56.520569397744495
1630.26/1622.73	c cleaning 4486 clauses out of 9041 for limit 175.78086785397568
1631.46/1623.99	c cleaning 2507 clauses out of 5055 for limit 518.4690074276984
1632.27/1624.70	c cleaning 1501 clauses out of 3048 for limit 1418.0282563515425
1632.86/1625.35	c cleaning 1001 clauses out of 2046 for limit 3480.2912804757684
1633.26/1625.77	c cleaning 746 clauses out of 1546 for limit 7603.300094911039
1633.66/1626.16	c cleaning 630 clauses out of 1299 for limit 14908.15315629622
1634.06/1626.56	c cleaning 562 clauses out of 1170 for limit 27323.575774392688
1634.47/1627.00	c cleaning 528 clauses out of 1107 for limit 47577.0105314257
1634.96/1627.47	c cleaning 518 clauses out of 1079 for limit 80496.91065907937
1636.50/1629.00	c cleaning 1007 clauses out of 2061 for limit 189012.41325964752
1637.00/1629.45	c cleaning 744 clauses out of 1554 for limit 413402.5883188884
1637.50/1629.99	c cleaning 628 clauses out of 1313 for limit 809317.4456172489
1638.10/1630.56	c cleaning 564 clauses out of 1182 for limit 1478149.9851722468
1638.70/1631.18	c cleaning 533 clauses out of 1118 for limit 2577211.5165107693
1639.10/1631.52	c cleaning 539 clauses out of 1087 for limit 4380132.350490094
1639.40/1631.87	c cleaning 521 clauses out of 1047 for limit 7491891.359788372
1639.80/1632.29	c cleaning 484 clauses out of 1025 for limit 1.2607694086834656E7
1640.30/1632.71	c cleaning 491 clauses out of 1042 for limit 2.047303400400265E7
1640.70/1633.19	c cleaning 490 clauses out of 1050 for limit 3.3472026207447022E7
1681.22/1673.56	c cleaning 7769 clauses out of 15560 for limit 7.439407009301387E12
1682.22/1674.53	c cleaning 4138 clauses out of 8293 for limit 2.3065408861841082E13
1682.92/1675.21	c cleaning 2320 clauses out of 4653 for limit 6.765916499526076E13
1683.42/1675.77	c cleaning 1401 clauses out of 2833 for limit 1.832605555274888E14
1683.92/1676.20	c cleaning 946 clauses out of 1932 for limit 4.431638617539922E14
1684.32/1676.64	c cleaning 736 clauses out of 1487 for limit 9.50497306528283E14
1689.48/1681.74	c cleaning 2622 clauses out of 5252 for limit 2.4303825396907605E-4
1689.88/1682.17	c cleaning 1557 clauses out of 3128 for limit 6.716135861826651E-4
1690.38/1682.66	c cleaning 1027 clauses out of 2071 for limit 0.0016728692779723016
1690.98/1683.23	c cleaning 759 clauses out of 1544 for limit 0.003700417237764629
1691.48/1683.76	c cleaning 636 clauses out of 1286 for limit 0.007334110036635974
1695.71/1687.90	c cleaning 1815 clauses out of 3650 for limit 0.05197935040620334
1696.21/1688.47	c cleaning 1154 clauses out of 2334 for limit 0.13391962845118285
1696.81/1689.04	c cleaning 830 clauses out of 1681 for limit 0.30695009546710034
1697.21/1689.48	c cleaning 663 clauses out of 1350 for limit 0.6296846303638904
1697.61/1689.81	c cleaning 584 clauses out of 1187 for limit 1.1810329913928597
1697.91/1690.19	c cleaning 542 clauses out of 1104 for limit 2.096206550850714
1699.63/1691.82	c cleaning 1020 clauses out of 2062 for limit 5.033639944847416
1700.12/1692.39	c cleaning 762 clauses out of 1541 for limit 11.09659012532533
1700.62/1692.90	c cleaning 627 clauses out of 1280 for limit 22.05325060463924
1701.02/1693.23	c cleaning 568 clauses out of 1153 for limit 40.37468639376569
1701.32/1693.55	c cleaning 534 clauses out of 1085 for limit 70.75621910907385
1701.72/1693.90	c cleaning 515 clauses out of 1051 for limit 120.46129489603427
1702.02/1694.29	c cleaning 502 clauses out of 1035 for limit 201.52608533945963
1702.52/1694.76	c cleaning 509 clauses out of 1036 for limit 333.020743042596
1702.93/1695.13	c cleaning 499 clauses out of 1024 for limit 553.9664151687867
1703.32/1695.55	c cleaning 495 clauses out of 1026 for limit 912.6965955823724
1703.74/1695.92	c cleaning 504 clauses out of 1031 for limit 1497.8592753423698
1704.04/1696.22	c cleaning 506 clauses out of 1028 for limit 2479.8588521844863
1704.33/1696.56	c cleaning 500 clauses out of 1022 for limit 4113.628501708007
1704.63/1696.83	c cleaning 491 clauses out of 1022 for limit 6783.923710692019
1704.93/1697.14	c cleaning 501 clauses out of 1030 for limit 11089.603069237535
1705.24/1697.44	c cleaning 509 clauses out of 1032 for limit 18307.664767699414
1705.53/1697.70	c cleaning 504 clauses out of 1021 for limit 30456.063557010613
1705.84/1698.00	c cleaning 492 clauses out of 1015 for limit 50422.03080615878
1706.14/1698.32	c cleaning 502 clauses out of 1023 for limit 82502.40884655675
1706.44/1698.66	c cleaning 499 clauses out of 1022 for limit 136326.96480581557
1706.74/1698.96	c cleaning 497 clauses out of 1022 for limit 224596.58105739957
1707.04/1699.26	c cleaning 506 clauses out of 1025 for limit 369305.7404255314
1707.35/1699.56	c cleaning 511 clauses out of 1022 for limit 612658.4815944846
1709.55/1701.80	c cleaning 1489 clauses out of 3009 for limit 2533130.5334994243
1710.15/1702.30	c cleaning 1007 clauses out of 2019 for limit 6219633.782643338
1710.55/1702.70	c cleaning 743 clauses out of 1512 for limit 1.3696362080391174E7
1710.75/1702.98	c cleaning 633 clauses out of 1269 for limit 2.691232908250638E7
1711.05/1703.29	c cleaning 567 clauses out of 1137 for limit 4.958414636500121E7
1711.45/1703.64	c cleaning 534 clauses out of 1070 for limit 8.689112394121967E7
1711.75/1703.96	c cleaning 505 clauses out of 1036 for limit 1.479978219963955E8
1712.25/1704.42	c cleaning 505 clauses out of 1033 for limit 2.452673103874052E8
1712.75/1704.94	c cleaning 509 clauses out of 1025 for limit 4.064138282585812E8
1713.36/1705.50	c cleaning 495 clauses out of 1016 for limit 6.761678554767073E8
1713.56/1705.78	c cleaning 510 clauses out of 1023 for limit 1.1096793534216707E9
1713.96/1706.18	c cleaning 505 clauses out of 1012 for limit 1.8480512127530138E9
1714.45/1706.62	c cleaning 492 clauses out of 1014 for limit 3.0630495975289664E9
1714.65/1706.87	c cleaning 500 clauses out of 1014 for limit 5.011108681414853E9
1714.95/1707.12	c cleaning 498 clauses out of 1014 for limit 8.263988589779021E9
1715.25/1707.41	c cleaning 508 clauses out of 1016 for limit 1.3601595117378492E10
1715.55/1707.72	c cleaning 503 clauses out of 1008 for limit 2.2608872555948986E10
1715.85/1708.03	c cleaning 497 clauses out of 1006 for limit 3.739657734161971E10
1716.16/1708.40	c cleaning 501 clauses out of 1009 for limit 6.148859327463747E10
1716.46/1708.68	c cleaning 504 clauses out of 1009 for limit 1.0150442052724728E11
1716.76/1708.96	c cleaning 501 clauses out of 1006 for limit 1.6806161806347232E11
1717.06/1709.21	c cleaning 489 clauses out of 1003 for limit 2.7742938023718964E11
1717.26/1709.49	c cleaning 505 clauses out of 1013 for limit 4.525486926148413E11
1717.66/1709.82	c cleaning 504 clauses out of 1008 for limit 7.500152860693339E11
1718.05/1710.24	c cleaning 488 clauses out of 1004 for limit 1.2418033329821277E12
1718.48/1710.64	c cleaning 506 clauses out of 1020 for limit 2.023859204552054E12
1718.77/1710.91	c cleaning 501 clauses out of 1012 for limit 3.3572742465286177E12
1719.07/1711.26	c cleaning 497 clauses out of 1009 for limit 5.541955430143105E12
1719.48/1711.63	c cleaning 500 clauses out of 1014 for limit 9.112575730091535E12
1719.77/1711.95	c cleaning 507 clauses out of 1014 for limit 1.5027856437492309E13
1720.07/1712.25	c cleaning 483 clauses out of 1005 for limit 2.4954897722779387E13
1720.37/1712.57	c cleaning 494 clauses out of 1023 for limit 4.047031838789997E13
1720.77/1712.94	c cleaning 507 clauses out of 1029 for limit 6.635180887462766E13
1721.07/1713.30	c cleaning 509 clauses out of 1022 for limit 1.101724818863408E14
1721.47/1713.66	c cleaning 489 clauses out of 1013 for limit 1.833033788636048E14
1721.78/1713.97	c cleaning 506 clauses out of 1023 for limit 2.9903750279929394E14
1722.07/1714.29	c cleaning 505 clauses out of 1017 for limit 4.960623029597957E14
1722.37/1714.57	c cleaning 493 clauses out of 1013 for limit 8.221255236496809E14
1722.67/1714.89	c cleaning 498 clauses out of 1020 for limit 1.3464904951955905E15
1722.97/1715.13	c cleaning 495 clauses out of 1021 for limit 2.2161497180944105E15
1723.30/1715.50	c cleaning 496 clauses out of 1027 for limit 3.637012505032871E-5
1723.70/1715.84	c cleaning 501 clauses out of 1030 for limit 5.974470050723367E-5
1724.00/1716.18	c cleaning 512 clauses out of 1032 for limit 9.863165901466638E-5
1724.30/1716.42	c cleaning 500 clauses out of 1018 for limit 1.645641083121116E-4
1724.60/1716.71	c cleaning 507 clauses out of 1019 for limit 2.7139329489647164E-4
1724.80/1716.98	c cleaning 495 clauses out of 1010 for limit 4.506493898165433E-4
1725.10/1717.29	c cleaning 496 clauses out of 1017 for limit 7.395441717199359E-4
1725.40/1717.55	c cleaning 489 clauses out of 1021 for limit 0.0012148291843946343
1725.70/1717.89	c cleaning 496 clauses out of 1030 for limit 0.00198194043206587
1726.10/1718.22	c cleaning 502 clauses out of 1034 for limit 0.0032558408695123843
1726.40/1718.57	c cleaning 496 clauses out of 1035 for limit 0.005380254033101472
1726.70/1718.87	c cleaning 502 clauses out of 1036 for limit 0.008837628220293504
1727.10/1719.20	c cleaning 498 clauses out of 1034 for limit 0.014602621601207042
1727.39/1719.52	c cleaning 510 clauses out of 1036 for limit 0.024035186801139096
1778.13/1770.13	c cleaning 9246 clauses out of 18527 for limit 89135.06793002058
1779.90/1771.82	c cleaning 4866 clauses out of 9780 for limit 278186.6097206106
1780.90/1772.81	c cleaning 2699 clauses out of 5415 for limit 829405.6974936734
1781.50/1773.41	c cleaning 1594 clauses out of 3217 for limit 2304649.116034784
1781.90/1773.89	c cleaning 1051 clauses out of 2123 for limit 5759194.780431844
1782.30/1774.28	c cleaning 779 clauses out of 1571 for limit 1.2822034801679125E7
1782.80/1774.71	c cleaning 623 clauses out of 1293 for limit 2.5717278634063955E7
1783.10/1775.10	c cleaning 584 clauses out of 1171 for limit 4.687670086190181E7
1783.50/1775.47	c cleaning 536 clauses out of 1084 for limit 8.326011442500861E7
1783.90/1775.86	c cleaning 520 clauses out of 1051 for limit 1.420440321347354E8
1784.30/1776.21	c cleaning 504 clauses out of 1028 for limit 2.387728509684548E8
1784.60/1776.55	c cleaning 511 clauses out of 1026 for limit 3.9532621047810024E8
1784.90/1776.85	c cleaning 499 clauses out of 1013 for limit 6.589923731017221E8
1785.30/1777.22	c cleaning 501 clauses out of 1014 for limit 1.0856948197523365E9
1788.22/1780.13	c cleaning 1496 clauses out of 3013 for limit 4.456829540464342E9
1788.52/1780.49	c cleaning 998 clauses out of 2018 for limit 1.0984856617973288E10
1788.92/1780.89	c cleaning 757 clauses out of 1520 for limit 2.4050707333793644E10
1789.32/1781.29	c cleaning 617 clauses out of 1265 for limit 4.775356802756649E10
1789.82/1781.70	c cleaning 548 clauses out of 1147 for limit 8.67669455684629E10
1790.23/1782.20	c cleaning 525 clauses out of 1098 for limit 1.4932645751105765E11
1790.72/1782.65	c cleaning 536 clauses out of 1073 for limit 2.5199694022279953E11
1791.32/1783.22	c cleaning 508 clauses out of 1037 for limit 4.300036283424359E11
1791.84/1783.78	c cleaning 512 clauses out of 1028 for limit 7.1462653340551E11
1792.44/1784.31	c cleaning 499 clauses out of 1016 for limit 1.1924342202186199E12
1792.84/1784.78	c cleaning 490 clauses out of 1017 for limit 1.9645499379928464E12
1793.44/1785.37	c cleaning 491 clauses out of 1027 for limit 3.2082593542046367E12
1793.94/1785.85	c cleaning 487 clauses out of 1038 for limit 5.245265427966699E12
1794.44/1786.32	c cleaning 524 clauses out of 1050 for limit 8.542734311149435E12
1794.94/1786.89	c cleaning 509 clauses out of 1025 for limit 1.4417292462074572E13
1795.24/1787.18	c cleaning 489 clauses out of 1016 for limit 2.3986658543662945E13
1795.54/1787.50	c cleaning 500 clauses out of 1027 for limit 3.91335191405369E13
1795.94/1787.87	c cleaning 509 clauses out of 1027 for limit 6.453640825127474E13
1796.34/1788.26	c cleaning 505 clauses out of 1021 for limit 1.0737641873517584E14
1796.74/1788.67	c cleaning 491 clauses out of 1014 for limit 1.779440888304213E14
1797.26/1789.16	c cleaning 499 clauses out of 1022 for limit 2.908653580837389E14
1797.66/1789.51	c cleaning 504 clauses out of 1024 for limit 4.792182380232512E14
1797.97/1789.84	c cleaning 498 clauses out of 1019 for limit 7.9337860716641E14
1798.36/1790.23	c cleaning 506 clauses out of 1023 for limit 1.3058820331983268E15
1798.66/1790.57	c cleaning 500 clauses out of 1020 for limit 2.1664009179123537E-5
1799.07/1790.93	c cleaning 493 clauses out of 1015 for limit 3.5723688078629715E-5
1799.36/1791.29	c cleaning 504 clauses out of 1022 for limit 5.850962600902007E-5
1799.66/1791.60	c cleaning 492 clauses out of 1018 for limit 9.686933691460843E-5
1799.96/1791.87	c cleaning 496 clauses out of 1026 for limit 1.5850487762144376E-4
1800.07/1791.91	c starts		: 20
1800.07/1791.91	c conflicts		: 504606
1800.07/1791.91	c decisions		: 671431
1800.07/1791.91	c propagations		: 85252629
1800.07/1791.91	c inspects		: 1423892550
1800.07/1791.91	c learnt literals	: 0
1800.07/1791.91	c learnt binary clauses	: 0
1800.07/1791.91	c learnt ternary clauses	: 0
1800.07/1791.92	c learnt clauses	: 504607
1800.07/1791.92	c root simplifications	: 0
1800.07/1791.92	c removed literals (reason simplification)	: 0
1800.07/1791.92	c reason swapping (by a shorter reason)	: 0
1800.07/1791.92	c Calls to reduceDB	: 258
1800.07/1791.92	c speed (decisions/second)	: 377.0062949301976
1800.07/1791.92	c non guided choices	0
1800.07/1791.92	s UNKNOWN
1800.07/1791.92	c Total wall clock time (ms): 1791.673

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/node4/watcher-352431-1176631808 -o ROOT/results/node4/solver-352431-1176631808 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.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.85 0.97 0.99 2/77 8367
/proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=0 CPUtime=0
/proc/8367/stat : 8367 (runsolver) R 8365 8367 8304 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 139218528 0 0 18446744073709551615 0 0 0 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8367/statm: 0 0 0 0 0 0 0

[startup+0.106609 s]
/proc/loadavg: 0.85 0.97 0.99 2/77 8367
/proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1777708 CPUtime=0.06
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 3754 0 1 0 4 2 0 0 18 0 7 0 139218528 1820372992 3496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 444427 3496 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.202615 s]
/proc/loadavg: 0.85 0.97 0.99 2/77 8367
/proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1781448 CPUtime=0.15
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 4497 0 1 0 12 3 0 0 18 0 12 0 139218528 1824202752 4235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 445362 4235 1233 9 0 442974 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 1781448

[startup+0.302625 s]
/proc/loadavg: 0.85 0.97 0.99 2/77 8367
/proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1782028 CPUtime=0.26
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 5065 0 1 0 23 3 0 0 18 0 12 0 139218528 1824796672 4803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 445507 4803 1264 9 0 443119 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 1782028

[startup+0.702662 s]
/proc/loadavg: 0.85 0.97 0.99 2/77 8367
/proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1783476 CPUtime=0.84
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 7145 0 1 0 80 4 0 0 18 0 12 0 139218528 1826279424 6662 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 445869 6662 1297 9 0 443481 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 1783476

[startup+1.50274 s]
/proc/loadavg: 0.94 0.98 0.99 3/89 8379
/proc/meminfo: memFree=1811248/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1785700 CPUtime=2
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 19322 0 1 0 189 11 0 0 18 0 12 0 139218528 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 446425 16913 1301 9 0 444037 0
[pid=8367/tid=8369] ppid=8365 vsize=1785700 CPUtime=1.08
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 15005 0 1 0 100 8 0 0 20 0 12 0 139218530 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109515100 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 139218534 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 139218534 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 139218536 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 139218537 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 139218537 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1785700 CPUtime=0.52
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1785700 CPUtime=0.37
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1785700 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 1785700

[startup+3.10189 s]
/proc/loadavg: 0.94 0.98 0.99 2/89 8379
/proc/meminfo: memFree=1697648/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1786024 CPUtime=3.66
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 44060 0 1 0 346 20 0 0 18 0 12 0 139218528 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 446506 41641 1310 9 0 444118 0
[pid=8367/tid=8369] ppid=8365 vsize=1786024 CPUtime=2.62
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37674 0 1 0 246 16 0 0 23 0 12 0 139218530 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592281 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1786024 CPUtime=0.05
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 1057 0 0 0 5 0 0 0 17 0 12 0 139218534 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1786024 CPUtime=0.05
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 1009 0 0 0 5 0 0 0 17 0 12 0 139218534 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 139218536 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 139218537 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 139218537 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1786024 CPUtime=0.52
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1786024 CPUtime=0.37
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1786024 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1786024

[startup+6.30219 s]
/proc/loadavg: 1.02 1.00 1.00 2/89 8379
/proc/meminfo: memFree=1644464/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1787308 CPUtime=7.18
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 53446 0 1 0 693 25 0 0 18 0 12 0 139218528 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 446827 50627 1310 9 0 444439 0
[pid=8367/tid=8369] ppid=8365 vsize=1787308 CPUtime=5.49
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37678 0 1 0 532 17 0 0 23 0 12 0 139218530 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109685170 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1787308 CPUtime=0.37
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 6878 0 0 0 35 2 0 0 16 0 12 0 139218534 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1787308 CPUtime=0.38
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 4563 0 0 0 36 2 0 0 16 0 12 0 139218534 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 14 0 0 0 0 0 0 0 16 0 12 0 139218536 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 139218537 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 139218537 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1787308 CPUtime=0.52
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1787308 CPUtime=0.37
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1787308 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 1787308

[startup+12.7018 s]
/proc/loadavg: 1.02 1.00 1.00 2/90 8380
/proc/meminfo: memFree=1605928/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1790576 CPUtime=15.22
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 65904 0 1 0 1491 31 0 0 18 0 13 0 139218528 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447644 60203 1326 9 0 445256 0
[pid=8367/tid=8369] ppid=8365 vsize=1790576 CPUtime=10.46
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37723 0 1 0 1028 18 0 0 21 0 13 0 139218530 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781837 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1790576 CPUtime=1.51
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 13068 0 0 0 146 5 0 0 16 0 13 0 139218534 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1790576 CPUtime=1.55
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 9662 0 0 0 152 3 0 0 17 0 13 0 139218534 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 139218536 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1790576 CPUtime=0.87
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2408 0 0 0 86 1 0 0 16 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1790576 CPUtime=0.78
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2303 0 0 0 77 1 0 0 16 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1790576 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.22
Current children cumulated vsize (KiB) 1790576

[startup+25.502 s]
/proc/loadavg: 1.02 1.00 1.00 2/90 8380
/proc/meminfo: memFree=1573160/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1789520 CPUtime=28.22
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 75348 0 1 0 2786 36 0 0 18 0 13 0 139218528 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 68408 1326 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=23.03
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37724 0 1 0 2285 18 0 0 25 0 13 0 139218530 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109829425 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=1.7
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 17512 0 0 0 162 8 0 0 16 0 13 0 139218534 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=1.73
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 14658 0 0 0 167 6 0 0 18 0 13 0 139218534 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 139218536 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=8367] ppid=8365 vsize=1789520 CPUtime=1609.78
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 470927 0 1 0 160691 287 0 0 18 0 13 0 139218528 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 110579 1331 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1591.48
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37773 0 1 0 159119 29 0 0 25 0 13 0 139218530 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781764 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=6.77
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 559 118 0 0 16 0 13 0 139218534 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=6.81
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 569 112 0 0 16 0 13 0 139218534 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=2.76
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 8785 0 0 0 253 23 0 0 16 0 13 0 139218536 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1609.78
Current children cumulated vsize (KiB) 1789520

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 8382
/proc/meminfo: memFree=1401840/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1789520 CPUtime=1669.94
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 472684 0 1 0 166706 288 0 0 18 0 13 0 139218528 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 110128 1331 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1650.81
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37777 0 1 0 165052 29 0 0 25 0 13 0 139218530 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109875123 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=6.95
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 577 118 0 0 16 0 13 0 139218534 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 588 112 0 0 17 0 13 0 139218534 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.22
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 10538 0 0 0 298 24 0 0 16 0 13 0 139218536 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1669.94
Current children cumulated vsize (KiB) 1789520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 8382
/proc/meminfo: memFree=1415984/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1789520 CPUtime=1730.22
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474449 0 1 0 172732 290 0 0 18 0 13 0 139218528 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 106582 1331 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1710.04
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37787 0 1 0 170974 30 0 0 25 0 13 0 139218530 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781774 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.25
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 607 118 0 0 17 0 13 0 139218534 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.3
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 618 112 0 0 16 0 13 0 139218534 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1730.22
Current children cumulated vsize (KiB) 1789520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 8382
/proc/meminfo: memFree=1417456/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1789520 CPUtime=1790.42
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474453 0 1 0 178751 291 0 0 18 0 13 0 139218528 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 106196 1331 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1769.79
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37791 0 1 0 176949 30 0 0 25 0 13 0 139218530 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747086 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.47
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 629 118 0 0 16 0 13 0 139218534 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.52
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 640 112 0 0 16 0 13 0 139218534 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (KiB) 1789520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 8382
/proc/meminfo: memFree=1420592/2055920 swapFree=4153972/4192956
[pid=8367] ppid=8365 vsize=1789520 CPUtime=1800.07
/proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474455 0 1 0 179716 291 0 0 18 0 13 0 139218528 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8367/statm: 447380 105410 1331 9 0 444992 0
[pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1779.34
/proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37793 0 1 0 177904 30 0 0 25 0 13 0 139218530 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876515 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.52
/proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 634 118 0 0 16 0 13 0 139218534 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.57
/proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 645 112 0 0 16 0 13 0 139218534 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67
/proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01
/proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88
/proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0
/proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1789520

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

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

Child status: 143
Real time (s): 1792.01
CPU time (s): 1800.18
CPU user time (s): 1797.2
CPU system time (s): 2.97855
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 1793524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.2
system time used= 2.97855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474476
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= 37746
involuntary context switches= 39331

runsolver used 1.84772 second user time and 4.72928 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Apr 15 10:10:08 UTC 2007

IDJOB= 352431
IDBENCH= 1975
IDSOLVER= 159
FILE ID= node4/352431-1176631808

PBS_JOBID= 4556855

Free space on /tmp= 66540 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-352431-1176631808 -o ROOT/results/node4/solver-352431-1176631808 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  6389567e651775a5f815611581d2023e

RANDOM SEED= 833510621

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1843560 kB
Buffers:         17476 kB
Cached:         119320 kB
SwapCached:       2128 kB
Active:          65304 kB
Inactive:        94000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843560 kB
SwapTotal:     4192956 kB
SwapFree:      4153972 kB
Dirty:           20552 kB
Writeback:           0 kB
Mapped:          30536 kB
Slab:            38548 kB
Committed_AS:  4646840 kB
PageTables:       1816 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= 66540 MiB

End job on node4 on Sun Apr 15 10:40:02 UTC 2007