Trace number 3742387

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.66 1796.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
MD5SUM5c9e224cdd9eef3594ee47236fa33798
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19397
Total number of constraints19725
Number of constraints which are clauses19562
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 164
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version	1.6.0_24
0.01/0.08	c os.name	Linux
0.01/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch	amd64
0.01/0.08	c Free memory 1599470296
0.01/0.08	c Max memory 1607860224
0.01/0.08	c Total memory 1607860224
0.01/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3742387-1338767380.opb
0.09/0.10	c reading problem ... 
1.14/0.62	c ... done. Wall clock time 0.512s.
1.14/0.62	c CPU time (experimental) 0.58s.
1.14/0.62	c #vars     19397
1.14/0.62	c #constraints  19723
868.94/866.42	c cleaning 274947 clauses out of 550472 for limit 2.8736301740493404E-7
869.75/867.21	c cleaning 137734 clauses out of 276026 for limit 9.46033499782569E-7
870.15/867.69	c cleaning 69011 clauses out of 138790 for limit 3.0966006100619905E-6
870.55/868.06	c cleaning 34794 clauses out of 70279 for limit 1.0084948493471434E-5
870.85/868.35	c cleaning 17710 clauses out of 35986 for limit 3.251292789952596E-5
871.05/868.54	c cleaning 8603 clauses out of 18775 for limit 1.0266705066108326E-4
871.25/868.73	c cleaning 4474 clauses out of 10672 for limit 2.9786611581808633E-4
871.35/868.87	c cleaning 2414 clauses out of 6701 for limit 7.846694119025439E-4
871.56/869.08	c cleaning 1451 clauses out of 4784 for limit 0.0018071222030290053
871.85/869.32	c cleaning 846 clauses out of 3834 for limit 0.0037223480896363442
871.95/869.49	c cleaning 850 clauses out of 3487 for limit 0.00674277269517713
872.15/869.63	c cleaning 671 clauses out of 3139 for limit 0.012377247111403374
872.25/869.75	c cleaning 538 clauses out of 2966 for limit 0.02155912319328464
872.35/869.89	c cleaning 524 clauses out of 2928 for limit 0.03601530155723388
872.56/870.03	c cleaning 513 clauses out of 2905 for limit 0.05992422002172245
872.66/870.13	c cleaning 493 clauses out of 2891 for limit 0.099202315728513
872.75/870.25	c cleaning 525 clauses out of 2898 for limit 0.1632027256999421
872.85/870.38	c cleaning 490 clauses out of 2874 for limit 0.27166233165584
873.05/870.50	c cleaning 499 clauses out of 2883 for limit 0.4461623515941414
873.15/870.63	c cleaning 493 clauses out of 2884 for limit 0.7355262789967398
873.25/870.78	c cleaning 481 clauses out of 2891 for limit 1.2100442304514887
873.45/870.96	c cleaning 578 clauses out of 2910 for limit 1.982495613026669
873.66/871.14	c cleaning 516 clauses out of 2833 for limit 3.3616233229529384
873.76/871.29	c cleaning 523 clauses out of 2816 for limit 5.571656676357451
873.95/871.44	c cleaning 475 clauses out of 2794 for limit 9.27002691228781
874.05/871.59	c cleaning 516 clauses out of 2819 for limit 15.15193881307248
874.25/871.71	c cleaning 507 clauses out of 2802 for limit 25.11403690093622
874.35/871.86	c cleaning 514 clauses out of 2797 for limit 41.573549264769824
874.55/872.03	c cleaning 504 clauses out of 2783 for limit 68.90524007906102
874.65/872.17	c cleaning 448 clauses out of 2777 for limit 113.65183189024354
874.86/872.32	c cleaning 514 clauses out of 2829 for limit 183.98196779006156
875.05/872.52	c cleaning 502 clauses out of 2815 for limit 304.9198481697289
875.15/872.68	c cleaning 488 clauses out of 2813 for limit 503.21114231726403
875.35/872.84	c cleaning 532 clauses out of 2826 for limit 826.8718790178659
875.45/872.98	c cleaning 507 clauses out of 2793 for limit 1378.3541537662854
875.65/873.11	c cleaning 497 clauses out of 2787 for limit 2280.264285167006
875.75/873.25	c cleaning 492 clauses out of 2789 for limit 3754.0064529216197
875.86/873.37	c cleaning 475 clauses out of 2801 for limit 6189.055174219763
875.96/873.48	c cleaning 492 clauses out of 2822 for limit 10090.165593809821
876.15/873.61	c cleaning 506 clauses out of 2830 for limit 16592.99394012775
876.25/873.76	c cleaning 497 clauses out of 2826 for limit 27457.68656461157
876.45/873.90	c cleaning 588 clauses out of 2827 for limit 45174.89539845034
876.55/874.03	c cleaning 420 clauses out of 2739 for limit 76893.00239625554
876.65/874.17	c cleaning 506 clauses out of 2819 for limit 123208.21402582392
876.75/874.27	c cleaning 501 clauses out of 2814 for limit 203751.60751410483
876.96/874.41	c cleaning 469 clauses out of 2812 for limit 335916.3910815754
877.06/874.54	c cleaning 473 clauses out of 2843 for limit 547930.5804994615
877.15/874.66	c cleaning 464 clauses out of 2871 for limit 895693.8771744272
877.25/874.76	c cleaning 514 clauses out of 2906 for limit 1457869.208014349
877.35/874.89	c cleaning 485 clauses out of 2893 for limit 2417442.418396946
877.55/875.05	c cleaning 548 clauses out of 2909 for limit 3968727.2168694665
877.75/875.21	c cleaning 503 clauses out of 2859 for limit 6646112.354079933
877.85/875.36	c cleaning 476 clauses out of 2856 for limit 1.097184132285338E7
878.06/875.52	c cleaning 515 clauses out of 2880 for limit 1.794325051032383E7
878.16/875.64	c cleaning 500 clauses out of 2865 for limit 2.974574625839472E7
878.25/875.77	c cleaning 749 clauses out of 2865 for limit 4.905471489483449E7
878.35/875.89	c cleaning 363 clauses out of 2616 for limit 8.85979207066024E7
878.55/876.02	c cleaning 1367 clauses out of 2753 for limit 1.3883882989550808E8
878.65/876.16	c cleaning 610 clauses out of 1888 for limit 3.345338563134338E8
878.85/876.30	c cleaning 120 clauses out of 1777 for limit 5.855662185871894E8
878.85/876.40	c cleaning 623 clauses out of 2156 for limit 7.951261940634533E8
879.05/876.52	c cleaning 221 clauses out of 2033 for limit 1.390603524140528E9
879.16/876.64	c cleaning 475 clauses out of 2312 for limit 2.0165489173244934E9
879.26/876.75	c cleaning 1156 clauses out of 2337 for limit 3.2899838488847322E9
879.35/876.86	c cleaning 353 clauses out of 1681 for limit 7.542939978039891E9
879.55/877.00	c cleaning 328 clauses out of 1828 for limit 1.1439000024897017E10
879.65/877.12	c cleaning 309 clauses out of 2000 for limit 1.7242099369314034E10
879.75/877.23	c cleaning 303 clauses out of 2191 for limit 2.5955753963291313E10
879.87/877.38	c cleaning 269 clauses out of 2389 for limit 3.929617465510154E10
880.07/877.51	c cleaning 387 clauses out of 2619 for limit 5.905440551578692E10
880.17/877.64	c cleaning 1336 clauses out of 2732 for limit 9.336046204204329E10
880.28/877.76	c cleaning 658 clauses out of 1897 for limit 2.2195593138305597E11
880.38/877.85	c cleaning 604 clauses out of 1738 for limit 3.991220203101189E11
880.47/877.96	c cleaning 316 clauses out of 1634 for limit 7.000987402870642E11
880.57/878.07	c cleaning 365 clauses out of 1818 for limit 1.0377036791840914E12
880.77/878.20	c cleaning 343 clauses out of 1955 for limit 1.5945765911752148E12
880.87/878.32	c cleaning 324 clauses out of 2112 for limit 2.434188011216289E12
880.97/878.44	c cleaning 311 clauses out of 2286 for limit 3.701337355954344E12
881.07/878.60	c cleaning 506 clauses out of 2475 for limit 5.637876784834403E12
881.27/878.72	c cleaning 386 clauses out of 2469 for limit 9.32020748223582E12
881.38/878.84	c cleaning 354 clauses out of 2583 for limit 1.469190634725969E13
881.48/878.98	c cleaning 419 clauses out of 2729 for limit 2.293268516488378E13
881.67/879.12	c cleaning 461 clauses out of 2810 for limit 3.672890759454738E13
881.77/879.26	c cleaning 456 clauses out of 2849 for limit 5.97417264941442E13
881.97/879.42	c cleaning 711 clauses out of 2894 for limit 9.708722555274358E13
882.07/879.56	c cleaning 367 clauses out of 2682 for limit 1.7259301641687375E14
882.27/879.74	c cleaning 455 clauses out of 2815 for limit 2.7118113889658316E14
882.37/879.87	c cleaning 1426 clauses out of 2861 for limit 4.4046400208379994E14
882.58/880.00	c cleaning 559 clauses out of 1934 for limit 1.0734780875461389E15
882.67/880.15	c cleaning 850 clauses out of 1875 for limit 1.826014696065102E-5
882.77/880.28	c cleaning 491 clauses out of 1526 for limit 3.703747793116324E-5
882.97/880.41	c cleaning 498 clauses out of 1535 for limit 6.072163354638214E-5
883.07/880.54	c cleaning 279 clauses out of 1537 for limit 1.000077935986553E-4
883.17/880.68	c cleaning 598 clauses out of 1757 for limit 1.441309758574495E-4
883.37/880.81	c cleaning 310 clauses out of 1659 for limit 2.5173209465049416E-4
883.47/880.93	c cleaning 143 clauses out of 1849 for limit 3.7248085150071804E-4
883.57/881.05	c cleaning 159 clauses out of 2206 for limit 5.148624767139954E-4
883.67/881.19	c cleaning 316 clauses out of 2548 for limit 7.3584734074097E-4
883.87/881.37	c cleaning 421 clauses out of 2731 for limit 0.0011310630723172569
884.07/881.57	c cleaning 457 clauses out of 2810 for limit 0.0018128342207007738
884.37/881.80	c cleaning 482 clauses out of 2853 for limit 0.0029445472386366313
884.47/881.99	c cleaning 496 clauses out of 2872 for limit 0.004828655934230131
884.67/882.15	c cleaning 487 clauses out of 2875 for limit 0.007946835489975927
1726.41/1723.00	c cleaning 298200 clauses out of 597388 for limit 1.3107372126588814E-6
1727.01/1723.67	c cleaning 149608 clauses out of 299687 for limit 4.304528572875772E-6
1727.51/1724.13	c cleaning 74709 clauses out of 150579 for limit 1.4128139602173989E-5
1727.91/1724.56	c cleaning 37785 clauses out of 76371 for limit 4.5984482960206263E-5
1728.21/1724.82	c cleaning 18909 clauses out of 39085 for limit 1.4803044474962914E-4
1728.41/1725.09	c cleaning 9865 clauses out of 20676 for limit 4.614774920698325E-4
1728.71/1725.39	c cleaning 5179 clauses out of 11311 for limit 0.0013911435031845737
1729.01/1725.63	c cleaning 3047 clauses out of 6631 for limit 0.003913359925791449
1729.21/1725.84	c cleaning 1780 clauses out of 4084 for limit 0.010478496553140565
1729.41/1726.05	c cleaning 1132 clauses out of 2804 for limit 0.025168804420840764
1729.61/1726.23	c cleaning 784 clauses out of 2172 for limit 0.053584188921143305
1729.81/1726.44	c cleaning 673 clauses out of 1888 for limit 0.10166006413403192
1729.91/1726.58	c cleaning 549 clauses out of 1716 for limit 0.18463986952412878
1730.11/1726.79	c cleaning 555 clauses out of 1666 for limit 0.3133207419268821
1730.31/1726.97	c cleaning 519 clauses out of 1615 for limit 0.5351623483083756
1730.51/1727.13	c cleaning 524 clauses out of 1592 for limit 0.8917289247328383
1730.71/1727.31	c cleaning 511 clauses out of 1569 for limit 1.4936311850864543
1730.81/1727.44	c cleaning 468 clauses out of 1557 for limit 2.4796996389777237
1730.91/1727.56	c cleaning 466 clauses out of 1589 for limit 4.007003125307891
1731.11/1727.75	c cleaning 503 clauses out of 1623 for limit 6.469652369231522
1731.21/1727.89	c cleaning 500 clauses out of 1620 for limit 10.689080255641803
1731.41/1728.04	c cleaning 496 clauses out of 1621 for limit 17.6344831863484
1731.51/1728.16	c cleaning 485 clauses out of 1624 for limit 28.998871765683916
1731.71/1728.31	c cleaning 507 clauses out of 1639 for limit 47.385346406727464
1731.81/1728.46	c cleaning 505 clauses out of 1632 for limit 78.47995511904051
1731.91/1728.59	c cleaning 483 clauses out of 1627 for limit 129.82168285079192
1732.11/1728.72	c cleaning 466 clauses out of 1644 for limit 211.87946186669402
1732.21/1728.87	c cleaning 550 clauses out of 1678 for limit 342.33760259592896
1732.41/1729.01	c cleaning 512 clauses out of 1629 for limit 582.1244973350306
1732.51/1729.15	c cleaning 471 clauses out of 1616 for limit 966.7562290744827
1732.71/1729.30	c cleaning 484 clauses out of 1645 for limit 1566.2039689717876
1732.81/1729.43	c cleaning 487 clauses out of 1665 for limit 2562.0872706594973
1732.91/1729.55	c cleaning 514 clauses out of 1674 for limit 4185.7235622659255
1733.01/1729.69	c cleaning 502 clauses out of 1660 for limit 6961.034648535936
1733.21/1729.83	c cleaning 480 clauses out of 1658 for limit 11493.52498645627
1733.31/1729.97	c cleaning 475 clauses out of 1678 for limit 18728.44418502215
1733.41/1730.09	c cleaning 434 clauses out of 1704 for limit 30444.89396958736
1733.61/1730.20	c cleaning 521 clauses out of 1769 for limit 48314.51214675975
1733.71/1730.33	c cleaning 503 clauses out of 1748 for limit 80634.31302164105
1733.81/1730.46	c cleaning 480 clauses out of 1746 for limit 133262.35320554694
1733.91/1730.56	c cleaning 484 clauses out of 1765 for limit 217184.27771366772
1734.11/1730.71	c cleaning 498 clauses out of 1781 for limit 354948.2669988088
1734.21/1730.86	c cleaning 487 clauses out of 1783 for limit 584700.5783440279
1734.31/1730.95	c cleaning 506 clauses out of 1796 for limit 957269.939482076
1734.41/1731.08	c cleaning 484 clauses out of 1790 for limit 1583957.8100062925
1734.61/1731.21	c cleaning 507 clauses out of 1806 for limit 2589016.281808135
1734.71/1731.32	c cleaning 498 clauses out of 1799 for limit 4286247.563753508
1734.81/1731.44	c cleaning 479 clauses out of 1802 for limit 7063891.610916931
1734.91/1731.58	c cleaning 893 clauses out of 1822 for limit 1.1509907038580783E7
1735.11/1731.71	c cleaning 604 clauses out of 1429 for limit 2.420158707937157E7
1735.21/1731.83	c cleaning 342 clauses out of 1325 for limit 4.304434309509108E7
1735.31/1731.99	c cleaning 683 clauses out of 1482 for limit 6.346578351972268E7
1735.51/1732.13	c cleaning 544 clauses out of 1299 for limit 1.1940831930340482E8
1735.71/1732.36	c cleaning 504 clauses out of 1255 for limit 2.0382427107963035E8
1736.01/1732.60	c cleaning 438 clauses out of 1251 for limit 3.372082574880109E8
1736.21/1732.83	c cleaning 475 clauses out of 1313 for limit 5.29842354087357E8
1736.31/1732.99	c cleaning 477 clauses out of 1338 for limit 8.574546725035931E8
1736.51/1733.10	c cleaning 484 clauses out of 1365 for limit 1.3916453328129404E9
1736.61/1733.21	c cleaning 677 clauses out of 1377 for limit 2.265922847512223E9
1736.71/1733.31	c cleaning 403 clauses out of 1200 for limit 4.2879893663122306E9
1736.81/1733.43	c cleaning 455 clauses out of 1299 for limit 6.545618735273068E9
1737.01/1733.63	c cleaning 659 clauses out of 1342 for limit 1.042783627804632E10
1737.11/1733.74	c cleaning 508 clauses out of 1183 for limit 1.9508229770860004E10
1737.31/1733.95	c cleaning 501 clauses out of 1175 for limit 3.2390721886437565E10
1737.51/1734.14	c cleaning 481 clauses out of 1174 for limit 5.346213323184326E10
1737.71/1734.32	c cleaning 409 clauses out of 1194 for limit 8.67761649669116E10
1737.81/1734.48	c cleaning 460 clauses out of 1285 for limit 1.3297118494730681E11
1738.01/1734.66	c cleaning 442 clauses out of 1324 for limit 2.12615076340695E11
1738.21/1734.89	c cleaning 670 clauses out of 1382 for limit 3.359153778038576E11
1738.51/1735.10	c cleaning 513 clauses out of 1212 for limit 6.316713739341545E11
1738.70/1735.32	c cleaning 542 clauses out of 1199 for limit 1.0530052094342126E12
1738.90/1735.52	c cleaning 450 clauses out of 1157 for limit 1.799584446144825E12
1739.00/1735.66	c cleaning 383 clauses out of 1207 for limit 2.8448161629100474E12
1739.21/1735.86	c cleaning 446 clauses out of 1324 for limit 4.276902785030829E12
1739.40/1736.05	c cleaning 579 clauses out of 1379 for limit 6.778654460513064E12
1739.60/1736.21	c cleaning 383 clauses out of 1301 for limit 1.1860987954741514E13
1739.80/1736.40	c cleaning 513 clauses out of 1416 for limit 1.7935842084357652E13
1739.90/1736.57	c cleaning 686 clauses out of 1403 for limit 2.985267417231911E13
1740.00/1736.69	c cleaning 442 clauses out of 1217 for limit 5.675527347676846E13
1740.31/1736.96	c cleaning 421 clauses out of 1276 for limit 8.935863442809717E13
1740.50/1737.14	c cleaning 486 clauses out of 1354 for limit 1.3873623629662862E14
1740.70/1737.34	c cleaning 478 clauses out of 1368 for limit 2.2645314811241056E14
1740.90/1737.55	c cleaning 482 clauses out of 1390 for limit 3.6754079186864975E14
1741.10/1737.74	c cleaning 510 clauses out of 1408 for limit 5.983751910378105E14
1741.31/1737.92	c cleaning 493 clauses out of 1399 for limit 9.941431358627792E14
1741.50/1738.12	c cleaning 500 clauses out of 1405 for limit 1.6308412345855062E15
1741.60/1738.27	c cleaning 489 clauses out of 1405 for limit 2.689475365868648E15
1741.80/1738.44	c cleaning 693 clauses out of 1416 for limit 4.40084961949319E-5
1742.00/1738.65	c cleaning 576 clauses out of 1224 for limit 8.404439649507063E-5
1742.20/1738.89	c cleaning 524 clauses out of 1147 for limit 1.4775702494648605E-4
1742.41/1739.08	c cleaning 495 clauses out of 1123 for limit 2.488786754438539E-4
1742.60/1739.26	c cleaning 476 clauses out of 1128 for limit 4.086149295346739E-4
1742.70/1739.39	c cleaning 347 clauses out of 1152 for limit 6.598219181147715E-4
1742.90/1739.57	c cleaning 402 clauses out of 1305 for limit 9.605602095388771E-4
1743.10/1739.72	c cleaning 438 clauses out of 1403 for limit 0.0014734429326464498
1743.20/1739.86	c cleaning 469 clauses out of 1465 for limit 0.0023270689603911523
1743.40/1740.00	c cleaning 466 clauses out of 1496 for limit 0.0037581245703291635
1743.51/1740.14	c cleaning 486 clauses out of 1530 for limit 0.0060599246100635756
1743.70/1740.34	c cleaning 481 clauses out of 1547 for limit 0.009913517114976277
1743.90/1740.55	c cleaning 514 clauses out of 1563 for limit 0.01613286308440612
1744.10/1740.72	c cleaning 487 clauses out of 1549 for limit 0.02684571005670853
1744.20/1740.83	c cleaning 449 clauses out of 1562 for limit 0.043903704898980156
1744.30/1740.96	c cleaning 463 clauses out of 1613 for limit 0.0701138345905475
1744.40/1741.09	c cleaning 458 clauses out of 1653 for limit 0.11316826452413897
1744.61/1741.25	c cleaning 494 clauses out of 1692 for limit 0.18178142452321347
1744.80/1741.40	c cleaning 493 clauses out of 1699 for limit 0.2988456103837652
1744.90/1741.54	c cleaning 493 clauses out of 1706 for limit 0.49081420119829794
1745.00/1741.68	c cleaning 491 clauses out of 1712 for limit 0.805774949893261
1745.20/1741.82	c cleaning 496 clauses out of 1721 for limit 1.3218815433906224
1745.30/1741.96	c cleaning 468 clauses out of 1725 for limit 2.1749045246421046
1745.40/1742.09	c cleaning 523 clauses out of 1757 for limit 3.5213842844524392
1745.60/1742.23	c cleaning 517 clauses out of 1735 for limit 5.886756917934262
1745.71/1742.37	c cleaning 513 clauses out of 1719 for limit 9.80821786548597
1745.81/1742.48	c cleaning 504 clauses out of 1704 for limit 16.284830919848023
1746.00/1742.60	c cleaning 559 clauses out of 1700 for limit 26.91905500249302
1746.10/1742.74	c cleaning 507 clauses out of 1641 for limit 45.98921930040529
1746.20/1742.89	c cleaning 539 clauses out of 1634 for limit 76.16728108911087
1746.40/1743.07	c cleaning 503 clauses out of 1595 for limit 128.68137856536828
1746.50/1743.18	c cleaning 484 clauses out of 1592 for limit 212.61270644856003
1746.60/1743.29	c cleaning 482 clauses out of 1608 for limit 347.1379719143461
1746.81/1743.44	c cleaning 531 clauses out of 1626 for limit 566.139571708415
1746.91/1743.58	c cleaning 476 clauses out of 1596 for limit 952.141654201003
1747.10/1743.73	c cleaning 513 clauses out of 1619 for limit 1546.3542010238357
1747.20/1743.90	c cleaning 505 clauses out of 1606 for limit 2570.7874632874727
1747.40/1744.05	c cleaning 502 clauses out of 1601 for limit 4252.81282938948
1747.60/1744.21	c cleaning 508 clauses out of 1599 for limit 7022.22959108366
1747.80/1744.41	c cleaning 497 clauses out of 1591 for limit 11638.826539541767
1747.91/1744.55	c cleaning 493 clauses out of 1594 for limit 19157.85779617179
1748.10/1744.73	c cleaning 492 clauses out of 1601 for limit 31455.73355078855
1748.30/1744.92	c cleaning 483 clauses out of 1610 for limit 51636.3661981838
1748.40/1745.09	c cleaning 485 clauses out of 1626 for limit 84233.02201916948
1748.50/1745.20	c cleaning 499 clauses out of 1644 for limit 137803.5902285918
1748.60/1745.29	c cleaning 484 clauses out of 1643 for limit 226940.31101905985
1748.80/1745.42	c cleaning 480 clauses out of 1658 for limit 370498.1622935387
1748.90/1745.56	c cleaning 472 clauses out of 1678 for limit 603718.5425136688
1749.01/1745.68	c cleaning 497 clauses out of 1706 for limit 979271.9876738911
1749.20/1745.83	c cleaning 485 clauses out of 1709 for limit 1612115.6079853147
1749.30/1745.95	c cleaning 496 clauses out of 1724 for limit 2635462.6815736825
1749.40/1746.05	c cleaning 512 clauses out of 1728 for limit 4336169.8089905325
1749.50/1746.14	c cleaning 833 clauses out of 1716 for limit 7200930.5596642345
1749.60/1746.26	c cleaning 399 clauses out of 1383 for limit 1.4734642843456078E7
1749.70/1746.38	c cleaning 441 clauses out of 1484 for limit 2.2645597268947717E7
1749.90/1746.54	c cleaning 493 clauses out of 1543 for limit 3.591762744363072E7
1750.11/1746.72	c cleaning 536 clauses out of 1550 for limit 5.896546888142613E7
1750.21/1746.88	c cleaning 431 clauses out of 1514 for limit 9.955417238401355E7
1750.40/1747.03	c cleaning 782 clauses out of 1583 for limit 1.5702193092074963E8
1750.50/1747.16	c cleaning 521 clauses out of 1301 for limit 3.150792615514732E8
1750.70/1747.30	c cleaning 342 clauses out of 1280 for limit 5.2813266918367213E8
1750.80/1747.44	c cleaning 469 clauses out of 1438 for limit 7.752646887862817E8
1750.90/1747.59	c cleaning 520 clauses out of 1470 for limit 1.2519354972885814E9
1751.10/1747.70	c cleaning 520 clauses out of 1449 for limit 2.0924364562219813E9
1751.21/1747.88	c cleaning 498 clauses out of 1429 for limit 3.49900305575E9
1751.40/1748.08	c cleaning 507 clauses out of 1431 for limit 5.762259383472362E9
1751.60/1748.26	c cleaning 502 clauses out of 1424 for limit 9.549449475129265E9
1751.80/1748.48	c cleaning 484 clauses out of 1422 for limit 1.5770469222408228E10
1752.00/1748.66	c cleaning 488 clauses out of 1439 for limit 2.5726091882963566E10
1752.20/1748.84	c cleaning 540 clauses out of 1450 for limit 4.2061812526674E10
1752.41/1749.05	c cleaning 499 clauses out of 1410 for limit 7.133337297048819E10
1752.60/1749.27	c cleaning 520 clauses out of 1411 for limit 1.1755490256492078E11
1752.90/1749.50	c cleaning 503 clauses out of 1391 for limit 1.9665116184490784E11
1753.10/1749.71	c cleaning 513 clauses out of 1388 for limit 3.2500501880763434E11
1753.30/1749.91	c cleaning 494 clauses out of 1375 for limit 5.410441709944697E11
1753.41/1750.10	c cleaning 472 clauses out of 1381 for limit 8.883776605001533E11
1753.70/1750.31	c cleaning 493 clauses out of 1409 for limit 1.4359396959161794E12
1753.80/1750.42	c cleaning 486 clauses out of 1416 for limit 2.356350160377436E12
1753.90/1750.56	c cleaning 497 clauses out of 1430 for limit 3.8478925063969565E12
1754.00/1750.67	c cleaning 495 clauses out of 1433 for limit 6.332404739710427E12
1754.10/1750.78	c cleaning 714 clauses out of 1441 for limit 1.041622367410481E13
1754.30/1750.92	c cleaning 549 clauses out of 1225 for limit 2.016624563342602E13
1754.40/1751.03	c cleaning 349 clauses out of 1176 for limit 3.464253837666133E13
1754.51/1751.12	c cleaning 401 clauses out of 1326 for limit 5.0616822623376266E13
1754.61/1751.24	c cleaning 474 clauses out of 1427 for limit 7.77211720397396E13
1754.70/1751.35	c cleaning 454 clauses out of 1452 for limit 1.258398155791863E14
1754.80/1751.47	c cleaning 487 clauses out of 1497 for limit 2.0108712475853453E14
1754.90/1751.59	c cleaning 733 clauses out of 1511 for limit 3.2887586183973556E14
1755.10/1751.70	c cleaning 550 clauses out of 1277 for limit 6.411017191962989E14
1755.20/1751.82	c cleaning 366 clauses out of 1228 for limit 1.1005502346895658E15
1755.30/1751.95	c cleaning 416 clauses out of 1364 for limit 1.6372642453487198E15
1755.40/1752.07	c cleaning 709 clauses out of 1446 for limit 2.541860536737138E-5
1755.50/1752.20	c cleaning 608 clauses out of 1239 for limit 4.902003485853168E-5
1755.71/1752.32	c cleaning 514 clauses out of 1128 for limit 8.852953317787633E-5
1755.80/1752.45	c cleaning 408 clauses out of 1116 for limit 1.4786248126199872E-4
1756.00/1752.61	c cleaning 502 clauses out of 1209 for limit 2.2531301666887368E-4
1756.10/1752.74	c cleaning 333 clauses out of 1204 for limit 3.7199615237248554E-4
1756.20/1752.86	c cleaning 459 clauses out of 1372 for limit 5.388913619892988E-4
1756.30/1752.99	c cleaning 453 clauses out of 1412 for limit 8.626646700972521E-4
1756.50/1753.14	c cleaning 468 clauses out of 1459 for limit 0.001376820437314474
1756.60/1753.28	c cleaning 522 clauses out of 1491 for limit 0.002221830066175574
1756.81/1753.43	c cleaning 501 clauses out of 1475 for limit 0.003726142160897275
1756.90/1753.58	c cleaning 492 clauses out of 1468 for limit 0.006137255465251261
1757.10/1753.70	c cleaning 493 clauses out of 1476 for limit 0.010066298079305246
1757.20/1753.85	c cleaning 502 clauses out of 1483 for limit 0.01652231431880345
1757.30/1753.97	c cleaning 478 clauses out of 1481 for limit 0.02728430272004937
1757.40/1754.07	c cleaning 476 clauses out of 1503 for limit 0.04433684895678577
1757.50/1754.16	c cleaning 497 clauses out of 1527 for limit 0.07196820235529768
1757.60/1754.27	c cleaning 479 clauses out of 1530 for limit 0.1184524773522251
1757.70/1754.38	c cleaning 573 clauses out of 1552 for limit 0.1927676978572578
1757.81/1754.49	c cleaning 509 clauses out of 1482 for limit 0.33391597470425893
1758.00/1754.62	c cleaning 486 clauses out of 1469 for limit 0.5533264670860539
1758.10/1754.75	c cleaning 509 clauses out of 1484 for limit 0.904190079566528
1758.20/1754.87	c cleaning 501 clauses out of 1475 for limit 1.5002288243793451
1758.40/1755.04	c cleaning 498 clauses out of 1473 for limit 2.4749598281276834
1758.60/1755.23	c cleaning 503 clauses out of 1475 for limit 4.076005559461754
1758.80/1755.42	c cleaning 478 clauses out of 1472 for limit 6.735577926348936
1758.91/1755.58	c cleaning 485 clauses out of 1495 for limit 10.947926703361677
1759.10/1755.73	c cleaning 477 clauses out of 1510 for limit 17.875245432653326
1759.20/1755.86	c cleaning 475 clauses out of 1532 for limit 29.02629272585278
1759.30/1755.97	c cleaning 483 clauses out of 1561 for limit 47.16733806284438
1759.40/1756.08	c cleaning 499 clauses out of 1577 for limit 76.91905713209928
1759.60/1756.21	c cleaning 489 clauses out of 1575 for limit 126.63024261119129
1759.70/1756.32	c cleaning 505 clauses out of 1586 for limit 207.38182932642044
1759.80/1756.47	c cleaning 505 clauses out of 1581 for limit 343.08197473246344
1760.01/1756.60	c cleaning 499 clauses out of 1576 for limit 567.5830859413029
1760.11/1756.74	c cleaning 518 clauses out of 1577 for limit 935.4268936407317
1760.30/1756.90	c cleaning 489 clauses out of 1562 for limit 1562.1399455161527
1760.40/1757.05	c cleaning 501 clauses out of 1571 for limit 2556.2989748046093
1760.50/1757.16	c cleaning 478 clauses out of 1569 for limit 4216.831646760715
1760.70/1757.31	c cleaning 488 clauses out of 1596 for limit 6870.759784338003
1760.80/1757.45	c cleaning 499 clauses out of 1603 for limit 11225.028640992403
1760.90/1757.59	c cleaning 485 clauses out of 1605 for limit 18507.01351819054
1761.11/1757.73	c cleaning 528 clauses out of 1619 for limit 30226.36381830738
1761.21/1757.88	c cleaning 500 clauses out of 1591 for limit 50724.58020652972
1761.40/1758.09	c cleaning 525 clauses out of 1591 for limit 83651.61857350459
1761.60/1758.28	c cleaning 493 clauses out of 1566 for limit 140155.01992208295
1761.80/1758.49	c cleaning 491 clauses out of 1573 for limit 230105.80743417714
1762.10/1758.70	c cleaning 512 clauses out of 1584 for limit 377594.82666426554
1762.10/1758.77	c cleaning 497 clauses out of 1570 for limit 627001.2747737439
1762.31/1758.91	c cleaning 485 clauses out of 1573 for limit 1032036.935731668
1762.40/1759.05	c cleaning 540 clauses out of 1589 for limit 1686515.9965013138
1762.50/1759.14	c cleaning 512 clauses out of 1549 for limit 2853112.0714185904
1762.60/1759.26	c cleaning 493 clauses out of 1536 for limit 4740240.84966958
1762.80/1759.46	c cleaning 537 clauses out of 1543 for limit 7781827.242736068
1762.90/1759.55	c cleaning 479 clauses out of 1506 for limit 1.3148567081683604E7
1763.10/1759.75	c cleaning 508 clauses out of 1527 for limit 2.1385541341785006E7
1763.31/1759.92	c cleaning 482 clauses out of 1519 for limit 3.545335982248032E7
1763.41/1760.05	c cleaning 460 clauses out of 1537 for limit 5.778261493193603E7
1763.50/1760.14	c cleaning 482 clauses out of 1577 for limit 9.287423573850259E7
1763.60/1760.29	c cleaning 773 clauses out of 1595 for limit 1.514335648019004E8
1763.80/1760.42	c cleaning 378 clauses out of 1322 for limit 3.013056428224068E8
1763.90/1760.56	c cleaning 406 clauses out of 1444 for limit 4.5491202197759074E8
1764.10/1760.70	c cleaning 766 clauses out of 1538 for limit 7.043591470559385E8
1764.20/1760.84	c cleaning 413 clauses out of 1272 for limit 1.404492000771465E9
1764.30/1760.96	c cleaning 532 clauses out of 1359 for limit 2.1679178020146275E9
1764.41/1761.08	c cleaning 424 clauses out of 1328 for limit 3.6623056932522783E9
1764.60/1761.24	c cleaning 365 clauses out of 1403 for limit 5.71105537759861E9
1764.80/1761.43	c cleaning 425 clauses out of 1538 for limit 8.591590990610334E9
1764.90/1761.58	c cleaning 454 clauses out of 1613 for limit 1.3509878679121048E10
1765.10/1761.74	c cleaning 483 clauses out of 1659 for limit 2.166183868725986E10
1765.20/1761.85	c cleaning 463 clauses out of 1676 for limit 3.536092166154602E10
1765.30/1761.94	c cleaning 828 clauses out of 1714 for limit 5.7079107214123634E10
1765.51/1762.12	c cleaning 677 clauses out of 1385 for limit 1.1637497241048242E11
1765.61/1762.27	c cleaning 531 clauses out of 1208 for limit 2.2003831833624075E11
1765.80/1762.43	c cleaning 515 clauses out of 1177 for limit 3.724300159289319E11
1765.90/1762.57	c cleaning 463 clauses out of 1162 for limit 6.221153216326335E11
1766.00/1762.68	c cleaning 445 clauses out of 1199 for limit 9.942915060277594E11
1766.20/1762.81	c cleaning 413 clauses out of 1254 for limit 1.5678021763523955E12
1766.30/1762.97	c cleaning 524 clauses out of 1341 for limit 2.4177751447706167E12
1766.50/1763.10	c cleaning 444 clauses out of 1317 for limit 4.0598949705713857E12
1766.61/1763.25	c cleaning 493 clauses out of 1373 for limit 6.42223101031133E12
1766.71/1763.38	c cleaning 451 clauses out of 1380 for limit 1.05373950239385E13
1766.90/1763.52	c cleaning 496 clauses out of 1429 for limit 1.6781702033244244E13
1767.00/1763.67	c cleaning 490 clauses out of 1433 for limit 2.759802038705354E13
1767.10/1763.79	c cleaning 503 clauses out of 1443 for limit 4.519742340458746E13
1767.30/1763.93	c cleaning 481 clauses out of 1441 for limit 7.47147635719649E13
1767.40/1764.02	c cleaning 471 clauses out of 1461 for limit 1.2164957336623236E14
1767.50/1764.14	c cleaning 562 clauses out of 1487 for limit 1.9671464843725178E14
1767.71/1764.30	c cleaning 518 clauses out of 1425 for limit 3.3852339852988306E14
1767.81/1764.44	c cleaning 564 clauses out of 1407 for limit 5.654124226807336E14
1768.00/1764.61	c cleaning 449 clauses out of 1343 for limit 9.768757255408149E14
1800.01/1796.61	c starts		: 22
1800.01/1796.61	c conflicts		: 1402626
1800.01/1796.61	c decisions		: 8098248
1800.01/1796.61	c propagations		: 1380210051
1800.01/1796.61	c inspects		: 8270889023
1800.01/1796.61	c learnt literals	: 33
1800.01/1796.61	c learnt binary clauses	: 111152
1800.01/1796.61	c learnt ternary clauses	: 82443
1800.01/1796.61	c learnt clauses	: 1402593
1800.01/1796.61	c root simplifications	: 0
1800.01/1796.61	c removed literals (reason simplification)	: 0
1800.01/1796.61	c reason swapping (by a shorter reason)	: 0
1800.01/1796.61	c Calls to reduceDB	: 372
1800.01/1796.61	c speed (decisions/second)	: 4509.09949392504
1800.01/1796.61	c non guided choices	33930
1800.01/1796.61	s UNKNOWN
1800.01/1796.61	c Total wall clock time (ms): 1796.504

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742387-1338767380/watcher-3742387-1338767380 -o /tmp/evaluation-result-3742387-1338767380/solver-3742387-1338767380 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742387-1338767380.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12795
/proc/meminfo: memFree=25387372/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12795/stat : 12795 (java) D 12793 12795 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342865353 9515008 182 33554432000 1073741824 1073778376 140735766977392 140735766968424 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12795/statm: 2323 182 140 9 0 71 0

[startup+0.041243 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12795
/proc/meminfo: memFree=25387372/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 3901 0 1 0 1 0 0 0 20 0 13 0 342865353 2686889984 5110 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 655979 5110 1662 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12795
/proc/meminfo: memFree=25387372/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 4887 0 1 0 8 1 0 0 20 0 18 0 342865353 3028844544 6602 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 739464 6602 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12795
/proc/meminfo: memFree=25387372/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=2957856 CPUtime=0.53 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 7413 0 1 0 51 2 0 0 20 0 18 0 342865353 3028844544 11261 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 739464 11261 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12795
/proc/meminfo: memFree=25387372/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=1.38 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 9461 0 1 0 133 5 0 0 20 0 19 0 342865353 3097006080 35019 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 35019 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12814
/proc/meminfo: memFree=25256720/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=2.35 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 9470 0 1 0 230 5 0 0 20 0 19 0 342865353 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 35028 2271 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3110 0 1 0 143 4 0 0 20 0 19 0 342865354 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295984783832 140295858248336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2806 0 0 0 41 0 0 0 20 0 19 0 342865360 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2355 0 0 0 42 0 0 0 20 0 19 0 342865360 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 35028 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12814
/proc/meminfo: memFree=25256092/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=3.96 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 9473 0 1 0 391 5 0 0 20 0 19 0 342865353 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 35541 2271 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3112 0 1 0 303 4 0 0 20 0 19 0 342865354 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295984783832 140295858210269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2806 0 0 0 43 0 0 0 20 0 19 0 342865360 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2355 0 0 0 42 0 0 0 20 0 19 0 342865360 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 35541 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12814
/proc/meminfo: memFree=25251396/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=7.22 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 9476 0 1 0 717 5 0 0 20 0 19 0 342865353 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 35975 2272 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3114 0 1 0 622 4 0 0 20 0 19 0 342865354 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295984783800 140295858274597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342865355 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2807 0 0 0 46 0 0 0 20 0 19 0 342865360 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2355 0 0 0 46 0 0 0 20 0 19 0 342865360 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 35975 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 159 0 0 0 17 8 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 140 0 0 0 16 7 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 190 0 0 0 26 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 253 0 0 0 136 8 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2817 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2418 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 95 0 0 0 36 34 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.71
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 12911
/proc/meminfo: memFree=23717796/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=1725.71 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 11795 0 1 0 172437 134 0 0 20 0 19 0 342865353 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 418134 2302 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=1719.67 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3273 0 1 0 171931 36 0 0 20 0 19 0 342865354 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295984782640 140295858379171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 192 0 0 0 22 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 279 0 0 0 25 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 282 0 0 0 29 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 296 0 0 0 30 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 210 0 0 0 23 13 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 159 0 0 0 17 8 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 140 0 0 0 16 7 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 190 0 0 0 26 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=1.85 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 255 0 0 0 177 8 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2817 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2418 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 99 0 0 0 38 35 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.71
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 12911
/proc/meminfo: memFree=23717452/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=1785.71 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 11803 0 1 0 178436 135 0 0 20 0 19 0 342865353 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 418134 2302 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=1779.51 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3274 0 1 0 177914 37 0 0 20 0 19 0 342865354 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295984782640 140295858274609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 192 0 0 0 22 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 279 0 0 0 25 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 282 0 0 0 29 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 296 0 0 0 30 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 210 0 0 0 23 13 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 159 0 0 0 17 8 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 140 0 0 0 16 7 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 190 0 0 0 26 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 257 0 0 0 192 8 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2817 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2419 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 103 0 0 0 38 35 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.71
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 12911
/proc/meminfo: memFree=23717460/32873648 swapFree=7120/7120
[pid=12795] ppid=12793 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/12795/stat : 12795 (java) S 12793 12795 11123 0 -1 4202496 11803 0 1 0 179866 135 0 0 20 0 19 0 342865353 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140733282827760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 756105 418134 2302 9 0 746526 0
[pid=12795/tid=12797] ppid=12793 vsize=3024420 CPUtime=1793.81 cores=0,2,4,6
/proc/12795/task/12797/stat : 12797 (java) R 12793 12795 11123 0 -1 4202560 3274 0 1 0 179344 37 0 0 20 0 19 0 342865354 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295984782640 140295858274880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 11123 0 -1 4202560 192 0 0 0 22 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295850810024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 11123 0 -1 4202560 279 0 0 0 25 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295849757480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 11123 0 -1 4202560 282 0 0 0 29 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295848704936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 11123 0 -1 4202560 296 0 0 0 30 17 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295847652392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 11123 0 -1 4202560 210 0 0 0 23 13 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295846598824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 11123 0 -1 4202560 159 0 0 0 17 8 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295509371176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 11123 0 -1 4202560 140 0 0 0 16 7 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295508318632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 11123 0 -1 4202560 190 0 0 0 26 11 0 0 20 0 19 0 342865355 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295507266088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 11123 0 -1 4202560 257 0 0 0 192 8 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295495068264 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295494014584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342865357 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295492961928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295491910672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12810/stat : 12810 (java) S 12793 12795 11123 0 -1 4202560 2817 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295490857016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 11123 0 -1 4202560 2419 0 0 0 51 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295489804472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295488752120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 11123 0 -1 4202560 103 0 0 0 38 35 0 0 20 0 19 0 342865360 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295487699784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342865417 3097006080 418134 33554432000 1073741824 1073778376 140733282836624 140295485498664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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): 1796.62
CPU time (s): 1800.66
CPU user time (s): 1798.78
CPU system time (s): 1.88271
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.88271
maximum resident set size= 1672652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11834
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38105
involuntary context switches= 6256

runsolver used 5.2612 second user time and 15.6126 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 01:49:40
IDJOB=3742387
IDBENCH=90172
IDSOLVER=2319
FILE ID=node114/3742387-1338767380
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742387-1338767380/watcher-3742387-1338767380 -o /tmp/evaluation-result-3742387-1338767380/solver-3742387-1338767380 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742387-1338767380.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798
RANDOM SEED=264273633

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25387752 kB
Buffers:         1064992 kB
Cached:          3728824 kB
SwapCached:         2244 kB
Active:          4574560 kB
Inactive:        1873528 kB
Active(anon):    1640812 kB
Inactive(anon):     8360 kB
Active(file):    2933748 kB
Inactive(file):  1865168 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4760 kB
Writeback:             0 kB
AnonPages:       1682784 kB
Mapped:            19168 kB
Shmem:               100 kB
Slab:             865616 kB
SReclaimable:     309348 kB
SUnreclaim:       556268 kB
KernelStack:        1600 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-04 02:19:39