Trace number 3742218

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.01 1796.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K128.opb
MD5SUM17c4ca9a6493665b57c1ccd2ab23e03d
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 variables15232
Total number of constraints15490
Number of constraints which are clauses15362
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint128
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 129
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version	1.6.0_24
0.00/0.07	c os.name	Linux
0.00/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch	amd64
0.00/0.07	c Free memory 1599470296
0.00/0.07	c Max memory 1607860224
0.00/0.07	c Total memory 1607860224
0.00/0.07	c Number of processors 8
0.00/0.10	--- Begin Solver configuration ---
0.00/0.10	c Stops conflict analysis at the first Unique Implication Point
0.00/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.00/0.10	c No reason simplification
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3742218-1338764448.opb
0.00/0.10	c reading problem ... 
0.98/0.57	c ... done. Wall clock time 0.47s.
0.98/0.57	c CPU time (experimental) 0.54s.
0.98/0.57	c #vars     15232
0.98/0.57	c #constraints  15488
677.89/675.24	c cleaning 279506 clauses out of 559950 for limit 0.0037958865550011024
678.70/676.07	c cleaning 140213 clauses out of 280943 for limit 0.01246423512899449
679.10/676.40	c cleaning 70282 clauses out of 141229 for limit 0.04084899159455641
679.31/676.61	c cleaning 34693 clauses out of 71447 for limit 0.13316101998756769
679.50/676.88	c cleaning 17569 clauses out of 37254 for limit 0.42115706234558925
679.71/677.08	c cleaning 8953 clauses out of 20185 for limit 1.2818704353598813
679.91/677.25	c cleaning 4754 clauses out of 11733 for limit 3.6404428120728984
680.01/677.39	c cleaning 2586 clauses out of 7478 for limit 9.410207461409907
680.21/677.57	c cleaning 1507 clauses out of 5393 for limit 21.539947353285303
680.42/677.73	c cleaning 988 clauses out of 4388 for limit 43.74549643992827
680.61/677.91	c cleaning 723 clauses out of 3897 for limit 80.98823124434342
680.81/678.11	c cleaning 595 clauses out of 3674 for limit 141.66711673328365
680.91/678.25	c cleaning 534 clauses out of 3581 for limit 240.17555147411193
681.11/678.45	c cleaning 525 clauses out of 3546 for limit 399.5910584409745
681.31/678.67	c cleaning 513 clauses out of 3522 for limit 664.1337334223745
681.52/678.88	c cleaning 487 clauses out of 3507 for limit 1097.7311524006943
681.71/679.07	c cleaning 691 clauses out of 3520 for limit 1803.6197347152515
681.81/679.18	c cleaning 575 clauses out of 3329 for limit 3145.0657846796025
682.01/679.31	c cleaning 513 clauses out of 3257 for limit 5317.226895746566
682.11/679.46	c cleaning 490 clauses out of 3244 for limit 8803.9586250014
682.31/679.62	c cleaning 553 clauses out of 3256 for limit 14494.370311497594
682.41/679.75	c cleaning 502 clauses out of 3198 for limit 24215.231076470085
682.52/679.89	c cleaning 489 clauses out of 3197 for limit 39986.63326805665
682.71/680.05	c cleaning 519 clauses out of 3207 for limit 65671.9468548001
682.81/680.18	c cleaning 463 clauses out of 3189 for limit 109022.14705731058
683.01/680.32	c cleaning 538 clauses out of 3226 for limit 177730.0134980443
683.11/680.46	c cleaning 430 clauses out of 3187 for limit 296390.6155385598
683.21/680.58	c cleaning 492 clauses out of 3257 for limit 478282.6651396896
683.31/680.67	c cleaning 1606 clauses out of 3265 for limit 786819.4745011983
683.41/680.76	c cleaning 790 clauses out of 2159 for limit 1962282.5004584058
683.51/680.86	c cleaning 435 clauses out of 1875 for limit 3748658.3312996253
683.62/680.96	c cleaning 473 clauses out of 1934 for limit 5957574.438445193
683.72/681.06	c cleaning 457 clauses out of 1962 for limit 9694319.814368155
683.81/681.15	c cleaning 396 clauses out of 2004 for limit 1.5636516376282064E7
683.91/681.24	c cleaning 258 clauses out of 2110 for limit 2.4540317454654716E7
684.01/681.35	c cleaning 436 clauses out of 2351 for limit 3.6285355125564046E7
684.11/681.47	c cleaning 376 clauses out of 2414 for limit 5.821945243318178E7
684.21/681.58	c cleaning 440 clauses out of 2538 for limit 9.132078824604881E7
684.31/681.69	c cleaning 432 clauses out of 2599 for limit 1.472127374401465E8
684.51/681.81	c cleaning 1309 clauses out of 2667 for limit 2.3658354735622168E8
684.51/681.89	c cleaning 695 clauses out of 1861 for limit 5.608162695695263E8
684.61/681.99	c cleaning 353 clauses out of 1662 for limit 1.0314633419980779E9
684.72/682.08	c cleaning 360 clauses out of 1809 for limit 1.5627954475277464E9
684.82/682.16	c cleaning 291 clauses out of 1949 for limit 2.3921298598533754E9
684.91/682.26	c cleaning 265 clauses out of 2158 for limit 3.5628787093807316E9
685.01/682.34	c cleaning 357 clauses out of 2394 for limit 5.301743724963501E9
685.11/682.44	c cleaning 456 clauses out of 2539 for limit 8.260476248136896E9
685.21/682.54	c cleaning 404 clauses out of 2580 for limit 1.3365968503344212E10
685.31/682.66	c cleaning 430 clauses out of 2676 for limit 2.125151604393545E10
685.41/682.77	c cleaning 429 clauses out of 2746 for limit 3.4153198357533333E10
685.51/682.89	c cleaning 475 clauses out of 2817 for limit 5.490361662969327E10
685.71/683.00	c cleaning 490 clauses out of 2842 for limit 8.974693254710144E10
685.81/683.13	c cleaning 628 clauses out of 2852 for limit 1.4748574734636166E11
685.91/683.24	c cleaning 453 clauses out of 2724 for limit 2.5465274276761624E11
686.01/683.36	c cleaning 466 clauses out of 2771 for limit 4.128333964738589E11
686.11/683.49	c cleaning 508 clauses out of 2805 for limit 6.72565165332149E11
686.31/683.62	c cleaning 484 clauses out of 2799 for limit 1.11375392488301E12
686.41/683.74	c cleaning 513 clauses out of 2814 for limit 1.825111611446025E12
686.51/683.88	c cleaning 483 clauses out of 2800 for limit 3.021877569897011E12
686.71/684.00	c cleaning 676 clauses out of 2817 for limit 4.953406120860897E12
686.81/684.10	c cleaning 414 clauses out of 2645 for limit 8.734922200263173E12
686.81/684.20	c cleaning 470 clauses out of 2727 for limit 1.3916096111100762E13
686.91/684.30	c cleaning 577 clauses out of 2759 for limit 2.272876129435945E13
687.11/684.41	c cleaning 444 clauses out of 2684 for limit 3.860733882717101E13
687.21/684.52	c cleaning 438 clauses out of 2736 for limit 6.220912967171668E13
687.31/684.64	c cleaning 496 clauses out of 2798 for limit 1.0031789146493577E14
687.41/684.75	c cleaning 1387 clauses out of 2803 for limit 1.6530782299604475E14
687.51/684.84	c cleaning 553 clauses out of 1917 for limit 3.990109280062121E14
687.63/684.93	c cleaning 672 clauses out of 1862 for limit 6.761049100170728E14
687.73/685.03	c cleaning 466 clauses out of 1692 for limit 1.2294710822645065E15
687.83/685.14	c cleaning 399 clauses out of 1724 for limit 1.9859498579594345E15
687.93/685.22	c cleaning 807 clauses out of 1825 for limit 3.0938450483086104E-5
688.03/685.31	c cleaning 473 clauses out of 1518 for limit 6.134025018853945E-5
688.13/685.41	c cleaning 497 clauses out of 1545 for limit 9.939046393681039E-5
688.13/685.49	c cleaning 393 clauses out of 1548 for limit 1.63590519755516E-4
688.23/685.58	c cleaning 283 clauses out of 1658 for limit 2.5264108901328357E-4
688.33/685.68	c cleaning 218 clauses out of 1872 for limit 3.679044307824934E-4
688.53/685.80	c cleaning 117 clauses out of 2155 for limit 5.275747318692585E-4
688.63/685.95	c cleaning 467 clauses out of 2537 for limit 7.382988116609317E-4
688.73/686.08	c cleaning 484 clauses out of 2570 for limit 0.001201919552723124
688.83/686.20	c cleaning 473 clauses out of 2586 for limit 0.001969862397590555
689.03/686.32	c cleaning 480 clauses out of 2613 for limit 0.0032149993386262187
689.13/686.43	c cleaning 489 clauses out of 2633 for limit 0.0052616908253953
689.23/686.56	c cleaning 508 clauses out of 2644 for limit 0.00864113163149803
689.33/686.64	c cleaning 475 clauses out of 2636 for limit 0.014293630554194558
689.43/686.77	c cleaning 504 clauses out of 2661 for limit 0.02335064982949717
689.53/686.88	c cleaning 516 clauses out of 2657 for limit 0.038566318031857436
689.63/686.97	c cleaning 495 clauses out of 2641 for limit 0.06398633250529595
689.73/687.08	c cleaning 491 clauses out of 2646 for limit 0.10532262310465641
689.93/687.20	c cleaning 497 clauses out of 2655 for limit 0.1731023119340951
690.03/687.31	c cleaning 490 clauses out of 2662 for limit 0.28585992582498804
690.13/687.40	c cleaning 498 clauses out of 2668 for limit 0.46848246751167216
690.23/687.51	c cleaning 488 clauses out of 2670 for limit 0.7720115420930749
690.23/687.60	c cleaning 493 clauses out of 2682 for limit 1.2674538887957507
690.33/687.68	c cleaning 481 clauses out of 2689 for limit 2.084759812008908
690.53/687.82	c cleaning 1115 clauses out of 2708 for limit 3.413925627482261
690.63/687.99	c cleaning 841 clauses out of 2095 for limit 7.291948605324307
690.83/688.12	c cleaning 671 clauses out of 1752 for limit 14.350941297309513
690.93/688.28	c cleaning 589 clauses out of 1582 for limit 26.23604755406026
691.13/688.50	c cleaning 538 clauses out of 1492 for limit 45.83080026665546
691.33/688.65	c cleaning 549 clauses out of 1454 for limit 77.55641829128626
691.53/688.80	c cleaning 513 clauses out of 1406 for limit 132.39976946655233
691.63/688.94	c cleaning 489 clauses out of 1392 for limit 220.32038892382312
691.73/689.08	c cleaning 498 clauses out of 1404 for limit 360.5929369650491
691.93/689.26	c cleaning 492 clauses out of 1405 for limit 593.648499756345
692.13/689.40	c cleaning 479 clauses out of 1413 for limit 973.4629434734829
692.23/689.56	c cleaning 521 clauses out of 1434 for limit 1581.8610097210465
692.43/689.71	c cleaning 483 clauses out of 1413 for limit 2647.4709172134494
692.53/689.82	c cleaning 479 clauses out of 1433 for limit 4318.0393112066795
692.63/689.94	c cleaning 491 clauses out of 1451 for limit 7011.60951089936
692.73/690.06	c cleaning 472 clauses out of 1461 for limit 11495.432528906185
692.83/690.18	c cleaning 500 clauses out of 1491 for limit 18613.275254895558
693.03/690.30	c cleaning 493 clauses out of 1488 for limit 30665.48682932364
693.13/690.44	c cleaning 495 clauses out of 1495 for limit 50334.70055106286
693.23/690.56	c cleaning 500 clauses out of 1501 for limit 82759.60105500997
693.43/690.73	c cleaning 492 clauses out of 1501 for limit 136481.6535210656
693.53/690.86	c cleaning 506 clauses out of 1508 for limit 223807.6882883704
693.63/690.98	c cleaning 500 clauses out of 1502 for limit 370563.2078656212
693.73/691.09	c cleaning 493 clauses out of 1502 for limit 611108.3028294599
693.93/691.22	c cleaning 492 clauses out of 1509 for limit 1003124.3304478626
694.03/691.36	c cleaning 513 clauses out of 1517 for limit 1645562.2285228898
694.13/691.48	c cleaning 502 clauses out of 1505 for limit 2738128.2742128703
694.23/691.59	c cleaning 483 clauses out of 1503 for limit 4521548.526785356
694.42/691.71	c cleaning 750 clauses out of 1520 for limit 7373241.788895819
694.52/691.84	c cleaning 469 clauses out of 1269 for limit 1.454996058795528E7
694.73/692.01	c cleaning 624 clauses out of 1300 for limit 2.3422647025733165E7
694.82/692.13	c cleaning 475 clauses out of 1176 for limit 4.270000160069903E7
694.92/692.29	c cleaning 444 clauses out of 1201 for limit 6.895219448262937E7
695.12/692.41	c cleaning 563 clauses out of 1258 for limit 1.0866779573424594E8
695.22/692.52	c cleaning 349 clauses out of 1195 for limit 1.886555041540751E8
695.32/692.63	c cleaning 434 clauses out of 1345 for limit 2.7614455022368294E8
695.42/692.75	c cleaning 697 clauses out of 1411 for limit 4.3409784946565413E8
1545.53/1541.94	c cleaning 310319 clauses out of 621698 for limit 6.688778937336145E-5
1547.23/1543.62	c cleaning 155641 clauses out of 311880 for limit 2.201046341076376E-4
1548.14/1544.54	c cleaning 78154 clauses out of 156738 for limit 7.215456060084276E-4
1548.73/1545.18	c cleaning 38600 clauses out of 79084 for limit 0.0023583341870539705
1549.33/1545.75	c cleaning 19763 clauses out of 40986 for limit 0.0075194027860293515
1549.63/1546.00	c cleaning 10090 clauses out of 21723 for limit 0.023396719559037823
1549.73/1546.19	c cleaning 5248 clauses out of 12131 for limit 0.0689548840340466
1549.93/1546.34	c cleaning 2879 clauses out of 7383 for limit 0.1868463651926332
1550.03/1546.48	c cleaning 1690 clauses out of 5006 for limit 0.4553565494273183
1550.13/1546.59	c cleaning 1063 clauses out of 3814 for limit 0.9836681449940992
1550.34/1546.74	c cleaning 772 clauses out of 3251 for limit 1.9031289411820058
1550.43/1546.86	c cleaning 656 clauses out of 2982 for limit 3.4319185045592917
1550.53/1546.97	c cleaning 571 clauses out of 2825 for limit 5.968257171953915
1550.63/1547.09	c cleaning 550 clauses out of 2753 for limit 10.089767169065189
1550.83/1547.21	c cleaning 502 clauses out of 2702 for limit 16.936489083729203
1550.93/1547.34	c cleaning 521 clauses out of 2703 for limit 28.004131470310003
1551.03/1547.46	c cleaning 504 clauses out of 2679 for limit 46.456639529526825
1551.13/1547.55	c cleaning 492 clauses out of 2677 for limit 76.82402277616352
1551.23/1547.66	c cleaning 505 clauses out of 2684 for limit 126.23630659948182
1551.34/1547.80	c cleaning 498 clauses out of 2678 for limit 208.4383341442309
1551.44/1547.89	c cleaning 467 clauses out of 2680 for limit 343.486172984273
1551.63/1548.02	c cleaning 500 clauses out of 2714 for limit 559.918231431374
1551.73/1548.15	c cleaning 509 clauses out of 2717 for limit 925.1331346693286
1551.83/1548.27	c cleaning 507 clauses out of 2705 for limit 1527.843801672113
1552.03/1548.40	c cleaning 492 clauses out of 2698 for limit 2526.156007694995
1552.13/1548.53	c cleaning 479 clauses out of 2705 for limit 4151.033314655228
1552.23/1548.64	c cleaning 511 clauses out of 2726 for limit 6792.873449893731
1552.33/1548.76	c cleaning 511 clauses out of 2715 for limit 11247.744135210609
1552.44/1548.87	c cleaning 480 clauses out of 2704 for limit 18624.493126779147
1552.54/1548.99	c cleaning 506 clauses out of 2724 for limit 30488.772037259183
1552.73/1549.11	c cleaning 504 clauses out of 2718 for limit 50391.057322724424
1552.83/1549.21	c cleaning 479 clauses out of 2714 for limit 83224.0731206884
1552.93/1549.33	c cleaning 473 clauses out of 2735 for limit 136193.8091675682
1553.03/1549.45	c cleaning 499 clauses out of 2766 for limit 222975.1453585622
1553.13/1549.54	c cleaning 502 clauses out of 2765 for limit 367113.5034151726
1553.23/1549.61	c cleaning 430 clauses out of 2761 for limit 605084.3936876485
1553.33/1549.72	c cleaning 1373 clauses out of 2831 for limit 973191.6545555645
1553.43/1549.82	c cleaning 646 clauses out of 1958 for limit 2320499.3171771537
1553.54/1549.93	c cleaning 404 clauses out of 1813 for limit 4137011.49021904
1553.64/1550.04	c cleaning 726 clauses out of 1908 for limit 6476308.616553114
1553.73/1550.14	c cleaning 548 clauses out of 1682 for limit 1.2115345453328725E7
1553.83/1550.29	c cleaning 783 clauses out of 1634 for limit 2.056674807045108E7
1554.03/1550.40	c cleaning 416 clauses out of 1351 for limit 4.102213112177642E7
1554.13/1550.53	c cleaning 447 clauses out of 1435 for limit 6.369092457575389E7
1554.23/1550.64	c cleaning 437 clauses out of 1488 for limit 1.0129369421330015E8
1554.33/1550.76	c cleaning 484 clauses out of 1551 for limit 1.6026158391201565E8
1554.43/1550.86	c cleaning 491 clauses out of 1568 for limit 2.616890610498566E8
1554.53/1550.95	c cleaning 483 clauses out of 1576 for limit 4.289402389308826E8
1554.64/1551.04	c cleaning 778 clauses out of 1594 for limit 7.00091950466543E8
1554.74/1551.16	c cleaning 638 clauses out of 1316 for limit 1.3984385873967624E9
1554.93/1551.30	c cleaning 466 clauses out of 1177 for limit 2.575990165731117E9
1554.93/1551.39	c cleaning 443 clauses out of 1211 for limit 4.128881392788218E9
1555.13/1551.51	c cleaning 457 clauses out of 1268 for limit 6.502991465101411E9
1555.23/1551.64	c cleaning 429 clauses out of 1311 for limit 1.0372552290300117E10
1555.33/1551.76	c cleaning 687 clauses out of 1384 for limit 1.6235929057347166E10
1555.43/1551.89	c cleaning 316 clauses out of 1196 for limit 3.0953048678581223E10
1555.63/1552.01	c cleaning 443 clauses out of 1380 for limit 4.423962234965036E10
1555.74/1552.14	c cleaning 430 clauses out of 1436 for limit 7.004182164929288E10
1555.84/1552.25	c cleaning 739 clauses out of 1506 for limit 1.10139420663411E11
1555.93/1552.36	c cleaning 589 clauses out of 1269 for limit 2.159887087307673E11
1556.03/1552.45	c cleaning 551 clauses out of 1178 for limit 3.8294309516551807E11
1556.13/1552.55	c cleaning 397 clauses out of 1127 for limit 6.601026930943815E11
1556.23/1552.67	c cleaning 390 clauses out of 1233 for limit 9.980028152330371E11
1556.33/1552.78	c cleaning 356 clauses out of 1340 for limit 1.5098798742879229E12
1556.53/1552.90	c cleaning 413 clauses out of 1487 for limit 2.250586183956019E12
1556.63/1553.02	c cleaning 464 clauses out of 1575 for limit 3.507651659929835E12
1556.73/1553.17	c cleaning 546 clauses out of 1607 for limit 5.646755439953135E12
1556.84/1553.25	c cleaning 492 clauses out of 1561 for limit 9.586671360516613E12
1556.94/1553.36	c cleaning 503 clauses out of 1571 for limit 1.5740534233116537E13
1557.03/1553.47	c cleaning 498 clauses out of 1566 for limit 2.598907120422807E13
1557.13/1553.59	c cleaning 520 clauses out of 1568 for limit 4.2804787499103445E13
1557.33/1553.71	c cleaning 564 clauses out of 1550 for limit 7.155362096819602E13
1557.43/1553.82	c cleaning 456 clauses out of 1484 for limit 1.2300316227004669E14
1557.53/1553.93	c cleaning 474 clauses out of 1528 for limit 1.9700747759392184E14
1557.63/1554.03	c cleaning 481 clauses out of 1554 for limit 3.194559175113121E14
1557.73/1554.12	c cleaning 489 clauses out of 1573 for limit 5.2046210770097694E14
1557.83/1554.24	c cleaning 786 clauses out of 1586 for limit 8.529814102871654E14
1557.94/1554.35	c cleaning 627 clauses out of 1298 for limit 1.7153585846037458E15
1558.13/1554.52	c cleaning 474 clauses out of 1171 for limit 3.1356573917896025E15
1558.23/1554.64	c cleaning 442 clauses out of 1198 for limit 5.059633746173781E15
1558.43/1554.81	c cleaning 594 clauses out of 1255 for limit 7.957076766903606E-5
1558.53/1554.94	c cleaning 555 clauses out of 1161 for limit 1.4184725671381206E-4
1558.63/1555.08	c cleaning 487 clauses out of 1106 for limit 2.455579057677274E-4
1558.83/1555.22	c cleaning 470 clauses out of 1119 for limit 4.0025323275822485E-4
1558.93/1555.35	c cleaning 426 clauses out of 1149 for limit 6.428368926898492E-4
1559.14/1555.52	c cleaning 486 clauses out of 1223 for limit 9.959791612242563E-4
1559.23/1555.62	c cleaning 306 clauses out of 1238 for limit 0.001624226017650709
1559.33/1555.71	c cleaning 408 clauses out of 1431 for limit 0.0023149885595161613
1559.43/1555.81	c cleaning 452 clauses out of 1526 for limit 0.0035908178184431523
1559.53/1555.91	c cleaning 476 clauses out of 1571 for limit 0.005734876526408925
1559.63/1556.03	c cleaning 481 clauses out of 1595 for limit 0.00931527019752595
1559.73/1556.15	c cleaning 468 clauses out of 1615 for limit 0.015187070745534685
1559.83/1556.24	c cleaning 481 clauses out of 1646 for limit 0.024549241997807728
1559.93/1556.35	c cleaning 496 clauses out of 1665 for limit 0.04002299338261048
1560.03/1556.46	c cleaning 499 clauses out of 1670 for limit 0.06587152721376177
1560.14/1556.56	c cleaning 489 clauses out of 1670 for limit 0.10852232955023759
1560.24/1556.65	c cleaning 471 clauses out of 1681 for limit 0.17779672314537576
1560.33/1556.76	c cleaning 493 clauses out of 1710 for limit 0.28823800457048654
1560.43/1556.85	c cleaning 475 clauses out of 1717 for limit 0.47340511365717947
1560.53/1556.96	c cleaning 480 clauses out of 1742 for limit 0.7695041676226132
1560.63/1557.07	c cleaning 493 clauses out of 1764 for limit 1.2556987349931772
1560.83/1557.21	c cleaning 507 clauses out of 1772 for limit 2.063529675236059
1560.93/1557.34	c cleaning 489 clauses out of 1762 for limit 3.412093189674131
1561.03/1557.45	c cleaning 519 clauses out of 1773 for limit 5.592087257521251
1561.13/1557.57	c cleaning 502 clauses out of 1757 for limit 9.334054575623114
1561.24/1557.69	c cleaning 489 clauses out of 1753 for limit 15.397387680151324
1561.43/1557.80	c cleaning 499 clauses out of 1763 for limit 25.223074563814126
1561.53/1557.92	c cleaning 523 clauses out of 1764 for limit 41.57264361229087
1561.63/1558.02	c cleaning 497 clauses out of 1742 for limit 69.49418581657454
1561.73/1558.13	c cleaning 496 clauses out of 1744 for limit 114.3593074040229
1561.83/1558.24	c cleaning 511 clauses out of 1748 for limit 188.16223187167438
1561.93/1558.35	c cleaning 494 clauses out of 1737 for limit 312.26977665630426
1562.03/1558.45	c cleaning 495 clauses out of 1745 for limit 513.64048850756
1562.13/1558.55	c cleaning 471 clauses out of 1748 for limit 843.9177410019265
1562.23/1558.65	c cleaning 480 clauses out of 1777 for limit 1369.0206667749894
1562.34/1558.76	c cleaning 498 clauses out of 1799 for limit 2234.555672636437
1562.44/1558.86	c cleaning 486 clauses out of 1799 for limit 3677.714760293109
1562.53/1558.98	c cleaning 478 clauses out of 1813 for limit 6018.209321813372
1562.73/1559.12	c cleaning 514 clauses out of 1835 for limit 9805.842458588606
1562.83/1559.23	c cleaning 507 clauses out of 1821 for limit 16295.471136736907
1562.93/1559.31	c cleaning 507 clauses out of 1814 for limit 26977.113021961224
1563.03/1559.42	c cleaning 487 clauses out of 1807 for limit 44661.21035339542
1563.13/1559.55	c cleaning 488 clauses out of 1820 for limit 73126.2226101319
1563.23/1559.67	c cleaning 535 clauses out of 1832 for limit 119805.00065391527
1563.33/1559.78	c cleaning 507 clauses out of 1800 for limit 201691.37764602146
1563.44/1559.89	c cleaning 484 clauses out of 1790 for limit 333471.8341539126
1563.63/1560.00	c cleaning 890 clauses out of 1807 for limit 545311.2223428381
1563.63/1560.09	c cleaning 685 clauses out of 1418 for limit 1147140.8778488403
1563.73/1560.17	c cleaning 215 clauses out of 1231 for limit 2174812.383852172
1563.83/1560.28	c cleaning 745 clauses out of 1517 for limit 2913296.3735182467
1563.93/1560.39	c cleaning 465 clauses out of 1271 for limit 5728568.0134477755
1564.03/1560.49	c cleaning 328 clauses out of 1306 for limit 9193996.505008545
1564.23/1560.61	c cleaning 385 clauses out of 1478 for limit 1.339766036875134E7
1564.33/1560.72	c cleaning 365 clauses out of 1593 for limit 2.0499511380354002E7
1564.43/1560.86	c cleaning 437 clauses out of 1731 for limit 3.120481697996682E7
1564.54/1560.97	c cleaning 492 clauses out of 1791 for limit 4.9587872222434826E7
1564.64/1561.08	c cleaning 510 clauses out of 1799 for limit 8.141337952173999E7
1564.73/1561.17	c cleaning 511 clauses out of 1792 for limit 1.3519118142009094E8
1564.83/1561.28	c cleaning 486 clauses out of 1778 for limit 2.240304048431942E8
1564.93/1561.39	c cleaning 485 clauses out of 1792 for limit 3.665697319953148E8
1565.03/1561.49	c cleaning 483 clauses out of 1807 for limit 5.995043542733655E8
1565.23/1561.61	c cleaning 653 clauses out of 1825 for limit 9.79891576497703E8
1565.33/1561.72	c cleaning 396 clauses out of 1673 for limit 1.764555615017337E9
1565.43/1561.83	c cleaning 459 clauses out of 1775 for limit 2.7372836161566706E9
1565.53/1561.96	c cleaning 446 clauses out of 1816 for limit 4.412230558794262E9
1565.64/1562.05	c cleaning 488 clauses out of 1870 for limit 7.06623900725022E9
1565.74/1562.16	c cleaning 537 clauses out of 1883 for limit 1.1584305659574038E10
1565.83/1562.27	c cleaning 918 clauses out of 1845 for limit 1.9478043567567432E10
1565.93/1562.37	c cleaning 649 clauses out of 1427 for limit 4.153111752259822E10
1566.03/1562.46	c cleaning 212 clauses out of 1280 for limit 7.650900100491284E10
1566.13/1562.55	c cleaning 340 clauses out of 1566 for limit 1.0292422528001842E11
1566.23/1562.65	c cleaning 657 clauses out of 1726 for limit 1.540013259270938E11
1566.33/1562.74	c cleaning 394 clauses out of 1569 for limit 2.793818538867612E11
1566.43/1562.85	c cleaning 387 clauses out of 1678 for limit 4.3210431607637256E11
1566.53/1562.97	c cleaning 879 clauses out of 1788 for limit 6.667536441427386E11
1566.63/1563.08	c cleaning 463 clauses out of 1409 for limit 1.395332809897655E12
1566.74/1563.18	c cleaning 267 clauses out of 1446 for limit 2.24221055956931E12
1566.84/1563.29	c cleaning 384 clauses out of 1681 for limit 3.187145450121378E12
1567.03/1563.43	c cleaning 436 clauses out of 1795 for limit 4.912380600087454E12
1567.13/1563.53	c cleaning 640 clauses out of 1859 for limit 7.822272798835049E12
1567.23/1563.64	c cleaning 389 clauses out of 1719 for limit 1.3950583016582217E13
1567.33/1563.76	c cleaning 463 clauses out of 1830 for limit 2.161090886046223E13
1567.43/1563.87	c cleaning 466 clauses out of 1867 for limit 3.4932984452499586E13
1567.53/1563.99	c cleaning 484 clauses out of 1901 for limit 5.657880606674871E13
1567.73/1564.10	c cleaning 494 clauses out of 1917 for limit 9.252725318972755E13
1567.84/1564.24	c cleaning 499 clauses out of 1923 for limit 1.5211371930638538E14
1567.94/1564.37	c cleaning 494 clauses out of 1924 for limit 2.5072549007539466E14
1568.03/1564.48	c cleaning 957 clauses out of 1930 for limit 4.121944449283687E14
1568.13/1564.58	c cleaning 611 clauses out of 1474 for limit 8.909480032279562E14
1568.34/1564.71	c cleaning 663 clauses out of 1362 for limit 1.588525204591998E-5
1568.44/1564.83	c cleaning 480 clauses out of 1200 for limit 2.9763251237446194E-5
1568.54/1564.94	c cleaning 513 clauses out of 1219 for limit 4.827022086705594E-5
1568.64/1565.05	c cleaning 533 clauses out of 1207 for limit 8.047595151346573E-5
1568.74/1565.16	c cleaning 454 clauses out of 1173 for limit 1.3642587675990426E-4
1568.84/1565.27	c cleaning 514 clauses out of 1219 for limit 2.1649453956079572E-4
1568.95/1565.38	c cleaning 311 clauses out of 1205 for limit 3.611765063301304E-4
1569.05/1565.49	c cleaning 225 clauses out of 1394 for limit 5.148724486382346E-4
1569.24/1565.63	c cleaning 365 clauses out of 1669 for limit 7.09188977480185E-4
1569.34/1565.73	c cleaning 428 clauses out of 1804 for limit 0.0010820259275363389
1569.44/1565.84	c cleaning 456 clauses out of 1876 for limit 0.0017159208590856886
1569.54/1565.97	c cleaning 489 clauses out of 1920 for limit 0.0027649338535584017
1569.64/1566.09	c cleaning 509 clauses out of 1931 for limit 0.004533771080601926
1569.84/1566.20	c cleaning 509 clauses out of 1922 for limit 0.0075118060358561
1569.94/1566.33	c cleaning 498 clauses out of 1919 for limit 0.01248204464574323
1570.05/1566.44	c cleaning 486 clauses out of 1916 for limit 0.02051391396510214
1570.15/1566.55	c cleaning 504 clauses out of 1930 for limit 0.03358478810018028
1570.24/1566.65	c cleaning 504 clauses out of 1925 for limit 0.05547413804483432
1570.34/1566.76	c cleaning 485 clauses out of 1921 for limit 0.09167476785746813
1570.44/1566.86	c cleaning 505 clauses out of 1940 for limit 0.150303601802116
1570.54/1566.98	c cleaning 489 clauses out of 1931 for limit 0.24803141105986773
1570.64/1567.09	c cleaning 501 clauses out of 1943 for limit 0.40691767645070154
1570.84/1567.20	c cleaning 501 clauses out of 1942 for limit 0.6714072367860591
1570.94/1567.35	c cleaning 505 clauses out of 1940 for limit 1.1072734557755108
1571.04/1567.47	c cleaning 502 clauses out of 1935 for limit 1.830760511894169
1571.15/1567.60	c cleaning 502 clauses out of 1935 for limit 3.025216406469601
1571.34/1567.74	c cleaning 505 clauses out of 1931 for limit 4.989327431499905
1571.44/1567.87	c cleaning 493 clauses out of 1926 for limit 8.249428904677362
1571.64/1568.02	c cleaning 492 clauses out of 1933 for limit 13.55514600529653
1571.74/1568.14	c cleaning 556 clauses out of 1941 for limit 22.26211415930991
1571.84/1568.24	c cleaning 463 clauses out of 1885 for limit 37.80388847812369
1571.94/1568.35	c cleaning 538 clauses out of 1922 for limit 61.14350512261617
1572.04/1568.45	c cleaning 517 clauses out of 1885 for limit 102.9159670178295
1572.14/1568.55	c cleaning 515 clauses out of 1867 for limit 171.1871536570466
1572.25/1568.64	c cleaning 512 clauses out of 1852 for limit 284.5970496564334
1572.35/1568.72	c cleaning 500 clauses out of 1840 for limit 472.3995115581939
1572.44/1568.81	c cleaning 502 clauses out of 1841 for limit 779.4062305136728
1572.54/1568.92	c cleaning 469 clauses out of 1838 for limit 1286.1556499324254
1572.64/1569.01	c cleaning 493 clauses out of 1869 for limit 2085.8622416185603
1572.74/1569.11	c cleaning 483 clauses out of 1876 for limit 3427.03055764681
1572.84/1569.23	c cleaning 496 clauses out of 1894 for limit 5603.523983155367
1572.94/1569.33	c cleaning 497 clauses out of 1897 for limit 9217.12026226308
1573.04/1569.45	c cleaning 485 clauses out of 1900 for limit 15176.263939355063
1573.14/1569.54	c cleaning 503 clauses out of 1915 for limit 24831.65013707634
1573.24/1569.65	c cleaning 510 clauses out of 1914 for limit 41054.175648726035
1573.35/1569.78	c cleaning 504 clauses out of 1902 for limit 67994.78743010118
1573.45/1569.89	c cleaning 507 clauses out of 1898 for limit 112368.81782951082
1573.64/1570.01	c cleaning 487 clauses out of 1891 for limit 185997.18790874764
1800.01/1796.01	c starts		: 23
1800.01/1796.01	c conflicts		: 1620778
1800.01/1796.01	c decisions		: 6310581
1800.01/1796.01	c propagations		: 1231220771
1800.01/1796.01	c inspects		: 9503729408
1800.01/1796.01	c learnt literals	: 70
1800.01/1796.01	c learnt binary clauses	: 97644
1800.01/1796.01	c learnt ternary clauses	: 75278
1800.01/1796.01	c learnt clauses	: 1620708
1800.01/1796.01	c root simplifications	: 0
1800.01/1796.01	c removed literals (reason simplification)	: 0
1800.01/1796.01	c reason swapping (by a shorter reason)	: 0
1800.01/1796.01	c Calls to reduceDB	: 349
1800.01/1796.01	c speed (decisions/second)	: 3514.800067504683
1800.01/1796.01	c non guided choices	6502
1800.01/1796.01	s UNKNOWN
1800.01/1796.01	c Total wall clock time (ms): 1795.913

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-3742218-1338764448/watcher-3742218-1338764448 -o /tmp/evaluation-result-3742218-1338764448/solver-3742218-1338764448 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742218-1338764448.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: 1.84 1.97 1.99 2/194 14435
/proc/meminfo: memFree=26547220/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/14435/stat : 14435 (java) R 14433 14435 14240 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 342569164 23793664 722 33554432000 1073741824 1073778376 140736571418048 140736571407112 140319107799856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 5809 736 544 9 0 128 0

[startup+0.104552 s]
/proc/loadavg: 1.84 1.97 1.99 2/194 14435
/proc/meminfo: memFree=26547220/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 4409 0 1 0 10 0 0 0 20 0 18 0 342569164 3028844544 7137 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 739464 7137 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.200211 s]
/proc/loadavg: 1.84 1.97 1.99 2/194 14435
/proc/meminfo: memFree=26547220/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=2957856 CPUtime=0.3 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 6432 0 1 0 29 1 0 0 20 0 18 0 342569164 3028844544 9064 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 739464 9084 2227 9 0 729885 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2957856

[startup+0.300213 s]
/proc/loadavg: 1.84 1.97 1.99 2/194 14435
/proc/meminfo: memFree=26547220/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=2957856 CPUtime=0.56 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 7676 0 1 0 55 1 0 0 20 0 18 0 342569164 3028844544 12486 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 739464 12486 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2957856

[startup+0.700279 s]
/proc/loadavg: 1.84 1.97 1.99 2/194 14435
/proc/meminfo: memFree=26547220/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 9648 0 1 0 148 3 0 0 20 0 19 0 342569164 3097006080 29534 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 29534 2275 9 0 746526 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 3024420

[startup+1.50075 s]
/proc/loadavg: 1.84 1.97 1.99 3/214 14455
/proc/meminfo: memFree=26420100/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=2.43 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 9650 0 1 0 240 3 0 0 20 0 19 0 342569164 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 30047 2276 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2583 0 1 0 145 3 0 0 20 0 19 0 342569164 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319099773576 140318947886565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342569166 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3031 0 0 0 49 0 0 0 20 0 19 0 342569169 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 2836 0 0 0 43 0 0 0 20 0 19 0 342569169 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 30047 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.84 1.97 1.99 3/214 14455
/proc/meminfo: memFree=26415384/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=4.04 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 9653 0 1 0 401 3 0 0 20 0 19 0 342569164 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 30560 2276 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2585 0 1 0 304 3 0 0 20 0 19 0 342569164 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319099773352 140318947931114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342569166 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3031 0 0 0 50 0 0 0 20 0 19 0 342569169 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 2836 0 0 0 43 0 0 0 20 0 19 0 342569169 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 30560 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30074 s]
/proc/loadavg: 1.85 1.97 1.99 3/214 14455
/proc/meminfo: memFree=26398504/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=7.29 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 9658 0 1 0 726 3 0 0 20 0 19 0 342569164 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 32589 2276 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2590 0 1 0 624 3 0 0 20 0 19 0 342569164 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319099773456 140318947930936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342569165 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342569166 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3031 0 0 0 52 0 0 0 20 0 19 0 342569169 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 2836 0 0 0 45 0 0 0 20 0 19 0 342569169 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 32589 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3038 0 0 0 56 0 0 0 20 0 19 0 342569169 3097006080 418318 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 3000 0 0 0 51 0 0 0 20 0 19 0 342569169 3097006080 418318 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418318 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 99 0 0 0 43 31 0 0 20 0 19 0 342569169 3097006080 418318 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 418318 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.99
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 14493
/proc/meminfo: memFree=23317848/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=1786.31 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 12247 0 1 0 178488 143 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 418436 2304 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=1774.81 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2757 0 1 0 177447 34 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319099772208 140318947939990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 256 0 0 0 27 15 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 218 0 0 0 30 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 195 0 0 0 33 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 28 18 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 205 0 0 0 35 11 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 29 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 193 0 0 0 25 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 253 0 0 0 31 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 247 0 0 0 183 7 0 0 20 0 19 0 342569166 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3038 0 0 0 56 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 3000 0 0 0 51 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 103 0 0 0 44 33 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1786.31
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.01 2.00 2.00 2/194 14496
/proc/meminfo: memFree=24993432/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 12247 0 1 0 179858 143 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 418436 2304 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=1788.47 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2757 0 1 0 178812 35 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319099772208 140318947981258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 256 0 0 0 27 15 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 218 0 0 0 30 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 195 0 0 0 33 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 28 18 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 205 0 0 0 35 11 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 29 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 193 0 0 0 25 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 253 0 0 0 31 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 247 0 0 0 183 7 0 0 20 0 19 0 342569166 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3038 0 0 0 56 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 3000 0 0 0 51 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 103 0 0 0 44 33 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 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

[startup+1796 s]
/proc/loadavg: 2.01 2.00 2.00 2/194 14496
/proc/meminfo: memFree=24993432/32873844 swapFree=7628/7628
[pid=14435] ppid=14433 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/14435/stat : 14435 (java) S 14433 14435 14240 0 -1 4202496 12247 0 1 0 179858 143 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140736571409184 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14435/statm: 756105 418436 2304 9 0 746526 0
[pid=14435/tid=14437] ppid=14433 vsize=3024420 CPUtime=1788.47 cores=0,2,4,6
/proc/14435/task/14437/stat : 14437 (java) R 14433 14435 14240 0 -1 4202560 2757 0 1 0 178812 35 0 0 20 0 19 0 342569164 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319099772208 140318947981258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14438] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14438/stat : 14438 (java) S 14433 14435 14240 0 -1 4202560 256 0 0 0 27 15 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319083199144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14439] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14439/stat : 14439 (java) S 14433 14435 14240 0 -1 4202560 218 0 0 0 30 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319082146600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14440] ppid=14433 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/14435/task/14440/stat : 14440 (java) S 14433 14435 14240 0 -1 4202560 195 0 0 0 33 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319081094056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14435/tid=14441] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14441/stat : 14441 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 28 18 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319080041512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14442] ppid=14433 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/14435/task/14442/stat : 14442 (java) S 14433 14435 14240 0 -1 4202560 205 0 0 0 35 11 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319078987944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14443] ppid=14433 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/14435/task/14443/stat : 14443 (java) S 14433 14435 14240 0 -1 4202560 298 0 0 0 29 13 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319077935400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14444] ppid=14433 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/14435/task/14444/stat : 14444 (java) S 14433 14435 14240 0 -1 4202560 193 0 0 0 25 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319076882856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14445] ppid=14433 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/14435/task/14445/stat : 14445 (java) S 14433 14435 14240 0 -1 4202560 253 0 0 0 31 10 0 0 20 0 19 0 342569165 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140319075830312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14446] ppid=14433 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/14435/task/14446/stat : 14446 (java) S 14433 14435 14240 0 -1 4202560 247 0 0 0 183 7 0 0 20 0 19 0 342569166 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318945036904 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14447] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14447/stat : 14447 (java) S 14433 14435 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318943983224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14448] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14448/stat : 14448 (java) S 14433 14435 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342569167 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318942930568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14450] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14450/stat : 14450 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318941879312 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14451] ppid=14433 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/14435/task/14451/stat : 14451 (java) S 14433 14435 14240 0 -1 4202560 3038 0 0 0 56 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318940825656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14435/tid=14452] ppid=14433 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/14435/task/14452/stat : 14452 (java) S 14433 14435 14240 0 -1 4202560 3000 0 0 0 51 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318939773112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14453] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14453/stat : 14453 (java) S 14433 14435 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318938720760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14435/tid=14454] ppid=14433 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/14435/task/14454/stat : 14454 (java) S 14433 14435 14240 0 -1 4202560 103 0 0 0 44 33 0 0 20 0 19 0 342569169 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318937668424 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14435/tid=14455] ppid=14433 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14435/task/14455/stat : 14455 (java) S 14433 14435 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342569222 3097006080 418436 33554432000 1073741824 1073778376 140736571418048 140318935536936 254753683369 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14435 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=978273
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=882713
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.02
CPU time (s): 1800.01
CPU user time (s): 1798.58
CPU system time (s): 1.43
CPU usage (%): 100.222
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 1.88271
maximum resident set size= 1673860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12277
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= 38053
involuntary context switches= 6583

runsolver used 5.82311 second user time and 14.8617 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 01:00:48
IDJOB=3742218
IDBENCH=90142
IDSOLVER=2319
FILE ID=node145/3742218-1338764448
RUNJOBID= node145-1338762649-14256
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= 17c4ca9a6493665b57c1ccd2ab23e03d
RANDOM SEED=1357968487

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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		: 2667.149
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	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26551588 kB
Buffers:          451916 kB
Cached:          4877500 kB
SwapCached:            0 kB
Active:          1810440 kB
Inactive:        3643016 kB
Active(anon):     114916 kB
Inactive(anon):    10916 kB
Active(file):    1695524 kB
Inactive(file):  3632100 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9004 kB
Writeback:             0 kB
AnonPages:         40804 kB
Mapped:            22172 kB
Shmem:               200 kB
Slab:             726472 kB
SReclaimable:     167672 kB
SUnreclaim:       558800 kB
KernelStack:        1448 kB
PageTables:         3980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1821888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70916 MiB
End job on node145 at 2012-06-04 01:30:46