Trace number 3742335

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.89 1796.23

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K129.opb
MD5SUM1a22ba01765c232fe0c8623cfb5d750f
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 variables15351
Total number of constraints15611
Number of constraints which are clauses15482
Number of constraints which are cardinality constraints (but not clauses)129
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint129
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 130
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742335-1338766667.opb
0.10/0.10	c reading problem ... 
0.97/0.56	c ... done. Wall clock time 0.461s.
0.97/0.56	c CPU time (experimental) 0.53s.
0.97/0.56	c #vars     15351
0.97/0.56	c #constraints  15609
684.54/681.98	c cleaning 277911 clauses out of 556476 for limit 1.1525488390517581E-4
685.95/683.35	c cleaning 139378 clauses out of 279063 for limit 3.782599675374442E-4
686.55/683.92	c cleaning 69542 clauses out of 140184 for limit 0.001240553695884985
687.05/684.42	c cleaning 34713 clauses out of 71142 for limit 0.0040312880544703745
687.45/684.88	c cleaning 17543 clauses out of 36929 for limit 0.012807319425882981
687.96/685.35	c cleaning 8799 clauses out of 19887 for limit 0.0392596943319196
688.35/685.74	c cleaning 4669 clauses out of 11590 for limit 0.1113160179830362
688.65/686.02	c cleaning 2749 clauses out of 7418 for limit 0.28596087740989495
688.75/686.15	c cleaning 1619 clauses out of 5170 for limit 0.6773190734710065
688.96/686.31	c cleaning 1047 clauses out of 4050 for limit 1.4244598108413857
689.06/686.43	c cleaning 743 clauses out of 3504 for limit 2.7178878064856407
689.15/686.56	c cleaning 609 clauses out of 3260 for limit 4.812817546203251
689.35/686.72	c cleaning 550 clauses out of 3152 for limit 8.217149490143457
689.45/686.88	c cleaning 516 clauses out of 3102 for limit 13.769605259204182
689.65/687.02	c cleaning 477 clauses out of 3085 for limit 22.81022087404324
689.75/687.17	c cleaning 511 clauses out of 3108 for limit 37.338729453086074
689.95/687.30	c cleaning 580 clauses out of 3097 for limit 61.79526907879567
690.06/687.45	c cleaning 531 clauses out of 3017 for limit 104.610917188998
690.16/687.59	c cleaning 508 clauses out of 2990 for limit 174.77329167338206
690.35/687.72	c cleaning 502 clauses out of 2978 for limit 288.2301452645364
690.45/687.83	c cleaning 498 clauses out of 2976 for limit 475.649510530399
690.55/687.96	c cleaning 500 clauses out of 2982 for limit 785.970554573068
690.65/688.08	c cleaning 484 clauses out of 2978 for limit 1292.727720439638
690.85/688.21	c cleaning 492 clauses out of 2994 for limit 2120.488131662558
690.95/688.35	c cleaning 491 clauses out of 3002 for limit 3487.649566022124
691.05/688.46	c cleaning 603 clauses out of 3011 for limit 5734.408938144817
691.16/688.60	c cleaning 547 clauses out of 2908 for limit 9791.763172534855
691.35/688.72	c cleaning 550 clauses out of 2862 for limit 16423.89169412655
691.45/688.82	c cleaning 518 clauses out of 2811 for limit 27549.024895962782
691.55/688.92	c cleaning 493 clauses out of 2795 for limit 45783.624969505174
691.65/689.03	c cleaning 490 clauses out of 2800 for limit 75217.83341548002
691.75/689.15	c cleaning 507 clauses out of 2813 for limit 123842.16659331786
691.85/689.28	c cleaning 476 clauses out of 2805 for limit 204609.96595336567
691.95/689.37	c cleaning 486 clauses out of 2827 for limit 334134.0260776058
692.05/689.46	c cleaning 483 clauses out of 2842 for limit 548672.050079627
692.15/689.55	c cleaning 517 clauses out of 2859 for limit 899453.3478026548
692.25/689.65	c cleaning 496 clauses out of 2841 for limit 1491224.1881343597
692.35/689.77	c cleaning 482 clauses out of 2845 for limit 2455770.564325472
692.55/689.93	c cleaning 492 clauses out of 2863 for limit 4024432.0516776266
692.65/690.02	c cleaning 477 clauses out of 2871 for limit 6618333.410071261
692.75/690.14	c cleaning 563 clauses out of 2894 for limit 1.0827774297881601E7
692.85/690.26	c cleaning 461 clauses out of 2832 for limit 1.8265639039368756E7
692.95/690.38	c cleaning 504 clauses out of 2871 for limit 2.971329498439615E7
693.05/690.48	c cleaning 510 clauses out of 2866 for limit 4.903759880450147E7
693.15/690.57	c cleaning 490 clauses out of 2856 for limit 8.115271728587975E7
693.25/690.68	c cleaning 501 clauses out of 2866 for limit 1.3336472390172178E8
693.35/690.80	c cleaning 481 clauses out of 2865 for limit 2.200130375142219E8
693.55/690.93	c cleaning 476 clauses out of 2884 for limit 3.6044057533252746E8
693.65/691.05	c cleaning 468 clauses out of 2909 for limit 5.898962126102767E8
693.76/691.20	c cleaning 769 clauses out of 2940 for limit 9.615976069992186E8
693.96/691.34	c cleaning 379 clauses out of 2674 for limit 1.7487942783859522E9
694.06/691.46	c cleaning 416 clauses out of 2792 for limit 2.7538296041703625E9
694.16/691.59	c cleaning 530 clauses out of 2877 for limit 4.411669960918551E9
694.36/691.73	c cleaning 427 clauses out of 2846 for limit 7.347326790411748E9
694.46/691.83	c cleaning 495 clauses out of 2919 for limit 1.181370289093121E10
694.56/691.94	c cleaning 1453 clauses out of 2925 for limit 1.9461874501363415E10
694.66/692.03	c cleaning 568 clauses out of 1973 for limit 4.762926192844537E10
694.76/692.13	c cleaning 331 clauses out of 1903 for limit 8.127350922009793E10
694.86/692.22	c cleaning 573 clauses out of 2072 for limit 1.2309883315582199E11
694.96/692.32	c cleaning 329 clauses out of 1999 for limit 2.1041988565874176E11
695.06/692.41	c cleaning 318 clauses out of 2170 for limit 3.196654706446952E11
695.16/692.52	c cleaning 1059 clauses out of 2352 for limit 4.8637812144092944E11
695.26/692.62	c cleaning 336 clauses out of 1793 for limit 1.0521724979122604E12
695.36/692.71	c cleaning 335 clauses out of 1959 for limit 1.5913206920610276E12
695.46/692.81	c cleaning 293 clauses out of 2122 for limit 2.4178738032679136E12
695.56/692.92	c cleaning 365 clauses out of 2332 for limit 3.639233198791435E12
695.66/693.03	c cleaning 319 clauses out of 2466 for limit 5.669786881455825E12
695.76/693.13	c cleaning 408 clauses out of 2645 for limit 8.700034886064384E12
695.88/693.26	c cleaning 411 clauses out of 2737 for limit 1.3865251770176059E13
695.98/693.39	c cleaning 465 clauses out of 2827 for limit 2.2159866911470363E13
696.08/693.49	c cleaning 574 clauses out of 2861 for limit 3.607418047559541E13
696.28/693.60	c cleaning 411 clauses out of 2787 for limit 6.107074947320322E13
696.38/693.72	c cleaning 533 clauses out of 2876 for limit 9.759716979099136E13
696.48/693.82	c cleaning 456 clauses out of 2844 for limit 1.629246933396325E14
696.58/693.93	c cleaning 466 clauses out of 2887 for limit 2.6441804849112703E14
696.68/694.02	c cleaning 495 clauses out of 2921 for limit 4.309850539033869E14
696.78/694.11	c cleaning 493 clauses out of 2926 for limit 7.095374645639915E14
696.78/694.20	c cleaning 472 clauses out of 2933 for limit 1.1673295448762615E15
696.98/694.31	c cleaning 740 clauses out of 2967 for limit 1.9144805207136855E15
697.08/694.43	c cleaning 1299 clauses out of 2724 for limit 3.4285757307306865E-5
697.18/694.51	c cleaning 612 clauses out of 1922 for limit 7.989503994920503E-5
697.28/694.61	c cleaning 604 clauses out of 1810 for limit 1.3991056606714848E-4
697.38/694.71	c cleaning 479 clauses out of 1707 for limit 2.448984104345528E-4
697.48/694.80	c cleaning 142 clauses out of 1728 for limit 3.989620954431444E-4
697.58/694.91	c cleaning 222 clauses out of 2085 for limit 5.44741785914184E-4
697.68/695.01	c cleaning 295 clauses out of 2363 for limit 7.92663599316032E-4
697.78/695.13	c cleaning 408 clauses out of 2571 for limit 0.001205063638578436
697.88/695.24	c cleaning 448 clauses out of 2660 for limit 0.0019150617143493137
697.98/695.34	c cleaning 472 clauses out of 2712 for limit 0.0030976376371055713
698.08/695.43	c cleaning 506 clauses out of 2740 for limit 0.0050562160376882576
698.18/695.53	c cleaning 502 clauses out of 2740 for limit 0.00838858248846738
698.28/695.64	c cleaning 493 clauses out of 2734 for limit 0.013808880521605579
698.38/695.74	c cleaning 483 clauses out of 2741 for limit 0.022714534115934885
698.48/695.85	c cleaning 490 clauses out of 2756 for limit 0.03718095319689593
698.58/695.99	c cleaning 478 clauses out of 2766 for limit 0.06109468696546877
698.68/696.09	c cleaning 485 clauses out of 2789 for limit 0.10002245369604847
698.88/696.21	c cleaning 494 clauses out of 2803 for limit 0.16396241105423565
698.98/696.33	c cleaning 496 clauses out of 2809 for limit 0.26981838688771564
699.08/696.47	c cleaning 490 clauses out of 2815 for limit 0.444907566787693
699.28/696.62	c cleaning 519 clauses out of 2824 for limit 0.7306424049362784
699.38/696.72	c cleaning 510 clauses out of 2804 for limit 1.2123078922076334
699.48/696.84	c cleaning 492 clauses out of 2795 for limit 2.007703279125979
699.58/696.93	c cleaning 487 clauses out of 2803 for limit 3.301521499816607
699.68/697.04	c cleaning 488 clauses out of 2815 for limit 5.416019303776355
699.78/697.12	c cleaning 502 clauses out of 2828 for limit 8.899581743301386
699.88/697.23	c cleaning 503 clauses out of 2826 for limit 14.686987696575843
699.98/697.33	c cleaning 471 clauses out of 2822 for limit 24.23088376961373
700.08/697.46	c cleaning 497 clauses out of 2851 for limit 39.553501296222464
700.28/697.62	c cleaning 501 clauses out of 2854 for limit 65.16044912197007
700.38/697.71	c cleaning 500 clauses out of 2853 for limit 107.4959626294994
700.48/697.82	c cleaning 510 clauses out of 2856 for limit 177.62134079516866
700.58/697.98	c cleaning 489 clauses out of 2843 for limit 293.3788751873601
700.78/698.16	c cleaning 520 clauses out of 2854 for limit 481.9562505704385
700.88/698.28	c cleaning 520 clauses out of 2834 for limit 800.4194382286452
700.98/698.36	c cleaning 470 clauses out of 2814 for limit 1329.380385935538
701.08/698.45	c cleaning 482 clauses out of 2846 for limit 2172.0177732347897
1533.15/1529.74	c cleaning 277566 clauses out of 555363 for limit 21.476666421827293
1534.66/1531.24	c cleaning 139088 clauses out of 278295 for limit 70.53834629742414
1535.45/1532.01	c cleaning 69613 clauses out of 139706 for limit 231.49253693572086
1536.05/1532.67	c cleaning 34990 clauses out of 70593 for limit 755.5205841065065
1536.45/1533.00	c cleaning 17614 clauses out of 36106 for limit 2443.3629504333803
1536.65/1533.22	c cleaning 9023 clauses out of 18989 for limit 7638.667728725628
1536.76/1533.38	c cleaning 4738 clauses out of 10470 for limit 22938.603056206754
1536.95/1533.56	c cleaning 2625 clauses out of 6233 for limit 63607.29394776256
1537.15/1533.70	c cleaning 1517 clauses out of 4103 for limit 158557.15980237926
1537.25/1533.85	c cleaning 962 clauses out of 3086 for limit 347654.0876023268
1537.35/1533.96	c cleaning 1234 clauses out of 2626 for limit 675108.304966899
1537.45/1534.07	c cleaning 731 clauses out of 1891 for limit 1544535.941100296
1537.55/1534.16	c cleaning 309 clauses out of 1660 for limit 2901598.6902117524
1537.65/1534.25	c cleaning 624 clauses out of 1851 for limit 4291359.545696903
1537.75/1534.37	c cleaning 299 clauses out of 1726 for limit 7581967.27196953
1537.86/1534.49	c cleaning 912 clauses out of 1928 for limit 1.120485049141656E7
1538.05/1534.61	c cleaning 595 clauses out of 1520 for limit 2.3532249360371616E7
1538.15/1534.74	c cleaning 394 clauses out of 1422 for limit 4.1358024390178554E7
1538.25/1534.83	c cleaning 254 clauses out of 1530 for limit 6.351742173495204E7
1538.35/1534.95	c cleaning 826 clauses out of 1772 for limit 9.008208182579203E7
1538.45/1535.03	c cleaning 598 clauses out of 1447 for limit 1.8210589283393866E8
1538.55/1535.13	c cleaning 327 clauses out of 1348 for limit 3.220505266367291E8
1538.55/1535.20	c cleaning 270 clauses out of 1522 for limit 4.708576732579536E8
1538.75/1535.31	c cleaning 762 clauses out of 1751 for limit 6.74278844361498E8
1538.75/1535.39	c cleaning 596 clauses out of 1489 for limit 1.3076360020829062E9
1538.85/1535.49	c cleaning 389 clauses out of 1393 for limit 2.3050817775131125E9
1538.96/1535.57	c cleaning 306 clauses out of 1504 for limit 3.520833636757477E9
1539.06/1535.66	c cleaning 753 clauses out of 1699 for limit 5.145059017975199E9
1539.15/1535.75	c cleaning 614 clauses out of 1445 for limit 9.966376003169632E9
1539.25/1535.83	c cleaning 371 clauses out of 1331 for limit 1.7843619202734142E10
1539.35/1535.93	c cleaning 301 clauses out of 1460 for limit 2.6826501132858994E10
1539.45/1536.01	c cleaning 266 clauses out of 1659 for limit 3.8933763811737236E10
1539.55/1536.11	c cleaning 897 clauses out of 1894 for limit 5.629673395706013E10
1539.65/1536.24	c cleaning 302 clauses out of 1497 for limit 1.1746196489516772E11
1539.75/1536.37	c cleaning 425 clauses out of 1694 for limit 1.7101217517589252E11
1539.85/1536.45	c cleaning 793 clauses out of 1769 for limit 2.7006511637249258E11
1539.95/1536.56	c cleaning 639 clauses out of 1476 for limit 5.337843708273684E11
1540.06/1536.67	c cleaning 309 clauses out of 1337 for limit 9.717995435852715E11
1540.16/1536.75	c cleaning 326 clauses out of 1528 for limit 1.4022990208405242E12
1540.25/1536.85	c cleaning 343 clauses out of 1702 for limit 2.0761575942674763E12
1540.35/1536.96	c cleaning 718 clauses out of 1860 for limit 3.139292904048729E12
1540.55/1537.10	c cleaning 648 clauses out of 1640 for limit 5.859867525605236E12
1540.55/1537.19	c cleaning 591 clauses out of 1493 for limit 1.0625814675219229E13
1540.65/1537.28	c cleaning 542 clauses out of 1401 for limit 1.8655430901396035E13
1540.85/1537.46	c cleaning 546 clauses out of 1359 for limit 3.171610524698549E13
1541.05/1537.62	c cleaning 628 clauses out of 1313 for limit 5.4136536573471766E13
1541.16/1537.76	c cleaning 427 clauses out of 1185 for limit 9.892196410935894E13
1541.26/1537.87	c cleaning 530 clauses out of 1258 for limit 1.5366902189707612E14
1541.45/1538.01	c cleaning 441 clauses out of 1229 for limit 2.5966025783672856E14
1541.55/1538.16	c cleaning 455 clauses out of 1287 for limit 4.085076512921477E14
1541.65/1538.29	c cleaning 458 clauses out of 1332 for limit 6.509241794621486E14
1541.75/1538.39	c cleaning 474 clauses out of 1374 for limit 1.0406478311119786E15
1541.95/1538.50	c cleaning 685 clauses out of 1400 for limit 1.6842958069434985E15
1542.05/1538.62	c cleaning 592 clauses out of 1216 for limit 3.2011293772361295E15
1542.15/1538.74	c cleaning 533 clauses out of 1123 for limit 5.710556343863097E-5
1542.26/1538.84	c cleaning 532 clauses out of 1091 for limit 9.70339756101476E-5
1542.36/1538.94	c cleaning 465 clauses out of 1060 for limit 1.648667623933172E-4
1542.45/1539.05	c cleaning 481 clauses out of 1096 for limit 2.6321996035041657E-4
1542.55/1539.16	c cleaning 402 clauses out of 1117 for limit 4.267771028981169E-4
1542.65/1539.27	c cleaning 369 clauses out of 1211 for limit 6.465885070155779E-4
1542.75/1539.40	c cleaning 438 clauses out of 1341 for limit 9.619770726468481E-4
1542.95/1539.52	c cleaning 493 clauses out of 1405 for limit 0.0015171973851570994
1543.05/1539.61	c cleaning 495 clauses out of 1410 for limit 0.002488205012202668
1543.15/1539.70	c cleaning 499 clauses out of 1415 for limit 0.0040888833449040695
1543.25/1539.80	c cleaning 477 clauses out of 1416 for limit 0.006738353549460359
1543.36/1539.91	c cleaning 460 clauses out of 1441 for limit 0.010941528023276845
1543.46/1540.02	c cleaning 526 clauses out of 1479 for limit 0.017545293893119075
1543.55/1540.15	c cleaning 491 clauses out of 1454 for limit 0.029461497207679554
1543.65/1540.29	c cleaning 515 clauses out of 1464 for limit 0.04830238132094196
1543.85/1540.41	c cleaning 501 clauses out of 1447 for limit 0.08043183022579362
1543.95/1540.52	c cleaning 493 clauses out of 1448 for limit 0.13281674451555486
1544.05/1540.63	c cleaning 509 clauses out of 1453 for limit 0.21784251485705564
1544.15/1540.77	c cleaning 505 clauses out of 1444 for limit 0.36149055128129215
1544.35/1540.95	c cleaning 501 clauses out of 1439 for limit 0.5982176692250349
1544.46/1541.06	c cleaning 487 clauses out of 1439 for limit 0.9875284931732841
1544.56/1541.19	c cleaning 497 clauses out of 1451 for limit 1.613482992468124
1544.75/1541.30	c cleaning 503 clauses out of 1458 for limit 2.6586931368425564
1544.85/1541.42	c cleaning 495 clauses out of 1452 for limit 4.38946382064864
1544.95/1541.53	c cleaning 504 clauses out of 1457 for limit 7.213971552377885
1545.05/1541.63	c cleaning 486 clauses out of 1452 for limit 11.925833343071439
1545.15/1541.75	c cleaning 489 clauses out of 1469 for limit 19.49813077640419
1545.25/1541.87	c cleaning 480 clauses out of 1477 for limit 31.885015401131152
1545.35/1541.99	c cleaning 518 clauses out of 1497 for limit 51.880148804693626
1545.56/1542.12	c cleaning 505 clauses out of 1480 for limit 86.62668530305588
1545.66/1542.25	c cleaning 488 clauses out of 1475 for limit 143.3432605474889
1545.75/1542.39	c cleaning 509 clauses out of 1487 for limit 234.48454191167977
1545.95/1542.52	c cleaning 505 clauses out of 1477 for limit 388.9251842626738
1546.05/1542.63	c cleaning 476 clauses out of 1473 for limit 643.7751569305947
1546.15/1542.76	c cleaning 517 clauses out of 1496 for limit 1044.3035201767152
1546.25/1542.89	c cleaning 514 clauses out of 1479 for limit 1741.9915679233222
1546.45/1543.03	c cleaning 499 clauses out of 1465 for limit 2900.2302953024396
1546.55/1543.16	c cleaning 488 clauses out of 1466 for limit 4779.605213665193
1546.66/1543.26	c cleaning 502 clauses out of 1478 for limit 7818.21212217164
1546.85/1543.41	c cleaning 521 clauses out of 1476 for limit 12910.748257144009
1546.95/1543.53	c cleaning 494 clauses out of 1456 for limit 21605.623028569287
1547.05/1543.64	c cleaning 511 clauses out of 1461 for limit 35473.115143636474
1547.15/1543.78	c cleaning 481 clauses out of 1451 for limit 58962.04404792005
1547.35/1543.92	c cleaning 507 clauses out of 1471 for limit 96010.26521481392
1547.45/1544.07	c cleaning 483 clauses out of 1463 for limit 159040.37504913655
1547.65/1544.20	c cleaning 508 clauses out of 1479 for limit 259182.04879285066
1547.76/1544.33	c cleaning 482 clauses out of 1471 for limit 429750.4170801381
1547.86/1544.44	c cleaning 691 clauses out of 1489 for limit 700148.5098639423
1547.95/1544.53	c cleaning 378 clauses out of 1299 for limit 1324848.18252419
1548.05/1544.63	c cleaning 691 clauses out of 1420 for limit 1996679.2112051349
1548.15/1544.74	c cleaning 596 clauses out of 1229 for limit 3804526.773755522
1548.25/1544.84	c cleaning 449 clauses out of 1133 for limit 6805789.379693415
1548.35/1544.98	c cleaning 511 clauses out of 1184 for limit 1.0740205701173628E7
1548.55/1545.10	c cleaning 343 clauses out of 1173 for limit 1.787813352454768E7
1548.65/1545.21	c cleaning 424 clauses out of 1330 for limit 2.6003058598813836E7
1548.75/1545.31	c cleaning 447 clauses out of 1406 for limit 4.05645480803673E7
1548.86/1545.43	c cleaning 700 clauses out of 1462 for limit 6.4527377106348716E7
1548.96/1545.54	c cleaning 611 clauses out of 1260 for limit 1.2322751860997912E8
1549.05/1545.64	c cleaning 323 clauses out of 1148 for limit 2.2282182944681156E8
1549.15/1545.75	c cleaning 548 clauses out of 1325 for limit 3.183754944283067E8
1549.25/1545.87	c cleaning 374 clauses out of 1277 for limit 5.447791784782361E8
1549.35/1545.98	c cleaning 439 clauses out of 1404 for limit 8.17964939162681E8
1549.55/1546.11	c cleaning 496 clauses out of 1464 for limit 1.2923557962782204E9
1549.65/1546.23	c cleaning 485 clauses out of 1468 for limit 2.1254603276732693E9
1549.75/1546.33	c cleaning 480 clauses out of 1483 for limit 3.4697149289108067E9
1549.85/1546.46	c cleaning 478 clauses out of 1503 for limit 5.64588271617052E9
1550.06/1546.60	c cleaning 502 clauses out of 1525 for limit 9.176495924680843E9
1550.15/1546.73	c cleaning 757 clauses out of 1523 for limit 1.5153142363051579E10
1550.25/1546.84	c cleaning 562 clauses out of 1267 for limit 3.0068820372514942E10
1550.35/1546.95	c cleaning 335 clauses out of 1204 for limit 5.213002027756181E10
1550.45/1547.07	c cleaning 454 clauses out of 1371 for limit 7.564876398681189E10
1550.55/1547.19	c cleaning 622 clauses out of 1417 for limit 1.2070501882071979E11
1550.75/1547.30	c cleaning 377 clauses out of 1293 for limit 2.1771257623749646E11
1550.85/1547.43	c cleaning 708 clauses out of 1422 for limit 3.284319531853399E11
1550.95/1547.55	c cleaning 556 clauses out of 1208 for limit 6.337630010001666E11
1551.06/1547.69	c cleaning 366 clauses out of 1153 for limit 1.0961119368385143E12
1551.25/1547.82	c cleaning 628 clauses out of 1286 for limit 1.6190662552018503E12
1551.35/1547.95	c cleaning 506 clauses out of 1160 for limit 2.9660093186905264E12
1551.45/1548.09	c cleaning 347 clauses out of 1152 for limit 4.915468131407008E12
1551.65/1548.21	c cleaning 610 clauses out of 1305 for limit 7.155874893905404E12
1551.75/1548.35	c cleaning 348 clauses out of 1195 for limit 1.2887279054063553E13
1551.85/1548.47	c cleaning 452 clauses out of 1347 for limit 1.885460459647414E13
1551.95/1548.56	c cleaning 585 clauses out of 1396 for limit 3.0032397629552246E13
1552.05/1548.67	c cleaning 431 clauses out of 1311 for limit 5.27386026921107E13
1552.16/1548.79	c cleaning 452 clauses out of 1379 for limit 8.260159239501269E13
1552.26/1548.88	c cleaning 454 clauses out of 1427 for limit 1.3163900767038294E14
1552.35/1548.97	c cleaning 471 clauses out of 1474 for limit 2.1037856487272888E14
1552.45/1549.07	c cleaning 501 clauses out of 1505 for limit 3.404766885091125E14
1552.55/1549.18	c cleaning 747 clauses out of 1503 for limit 5.6167652989373225E14
1552.65/1549.29	c cleaning 391 clauses out of 1254 for limit 1.107986794916241E15
1552.75/1549.39	c cleaning 463 clauses out of 1363 for limit 1.681094596179496E15
1552.95/1549.51	c cleaning 658 clauses out of 1401 for limit 2.6998539503425425E-5
1553.05/1549.61	c cleaning 591 clauses out of 1242 for limit 5.01739376908405E-5
1553.15/1549.72	c cleaning 564 clauses out of 1152 for limit 8.929717127601303E-5
1553.26/1549.83	c cleaning 517 clauses out of 1087 for limit 1.5591288648907108E-4
1553.36/1549.93	c cleaning 441 clauses out of 1071 for limit 2.6122364430111657E-4
1553.45/1550.04	c cleaning 499 clauses out of 1129 for limit 4.0825300311347597E-4
1553.55/1550.17	c cleaning 375 clauses out of 1131 for limit 6.727459994638494E-4
1553.65/1550.26	c cleaning 408 clauses out of 1255 for limit 9.98829540596208E-4
1553.75/1550.37	c cleaning 438 clauses out of 1349 for limit 0.0015354937919737593
1553.85/1550.48	c cleaning 468 clauses out of 1409 for limit 0.002419557151861642
1554.05/1550.60	c cleaning 491 clauses out of 1441 for limit 0.0039015644394257156
1554.15/1550.72	c cleaning 487 clauses out of 1450 for limit 0.006394265278205046
1800.02/1796.22	c starts		: 23
1800.02/1796.22	c conflicts		: 1560831
1800.02/1796.22	c decisions		: 5956633
1800.02/1796.22	c propagations		: 1174795260
1800.02/1796.22	c inspects		: 9334614011
1800.02/1796.22	c learnt literals	: 32
1800.02/1796.22	c learnt binary clauses	: 87451
1800.02/1796.22	c learnt ternary clauses	: 68124
1800.02/1796.22	c learnt clauses	: 1560799
1800.02/1796.22	c root simplifications	: 0
1800.02/1796.22	c removed literals (reason simplification)	: 0
1800.02/1796.22	c reason swapping (by a shorter reason)	: 0
1800.02/1796.22	c Calls to reduceDB	: 273
1800.02/1796.22	c speed (decisions/second)	: 3317.2701923489244
1800.02/1796.22	c non guided choices	1775
1800.02/1796.22	s UNKNOWN
1800.02/1796.22	c Total wall clock time (ms): 1796.117

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-3742335-1338766667/watcher-3742335-1338766667 -o /tmp/evaluation-result-3742335-1338766667/solver-3742335-1338766667 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742335-1338766667.opb 

running on 4 cores: 1,3,5,7

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 12730
/proc/meminfo: memFree=25386168/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12730/stat : 12730 (java) D 12728 12730 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 342794034 9515008 184 33554432000 1073741824 1073778376 140735111449520 140735111440744 219513777591 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/12730/statm: 2323 184 142 9 0 71 0

[startup+0.0522649 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12730
/proc/meminfo: memFree=25386168/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 3947 0 1 0 2 1 0 0 20 0 13 0 342794034 2686889984 5156 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 655979 5156 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12730
/proc/meminfo: memFree=25386168/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 4919 0 1 0 8 2 0 0 20 0 18 0 342794034 3028844544 6626 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 739464 6626 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12730
/proc/meminfo: memFree=25386168/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=2957856 CPUtime=0.55 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 8029 0 1 0 53 2 0 0 20 0 18 0 342794034 3028844544 12466 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 739464 12466 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12730
/proc/meminfo: memFree=25386168/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=1.51 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 10051 0 1 0 147 4 0 0 20 0 19 0 342794034 3097006080 29610 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 29610 2275 9 0 746526 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12749
/proc/meminfo: memFree=25276744/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 10302 0 1 0 233 4 0 0 20 0 19 0 342794034 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 30123 2276 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3074 0 1 0 144 3 0 0 20 0 19 0 342794035 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672030499208 139671884106283 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3614 0 0 0 44 0 0 0 20 0 19 0 342794040 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2420 0 0 0 42 0 0 0 20 0 19 0 342794040 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 30123 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12749
/proc/meminfo: memFree=25274432/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=3.98 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 10305 0 1 0 394 4 0 0 20 0 19 0 342794034 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 30636 2276 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=3.07 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3076 0 1 0 304 3 0 0 20 0 19 0 342794035 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672030499240 139671884304872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3614 0 0 0 45 0 0 0 20 0 19 0 342794040 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2420 0 0 0 42 0 0 0 20 0 19 0 342794040 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 30636 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12749
/proc/meminfo: memFree=25267924/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=7.23 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 10392 0 1 0 719 4 0 0 20 0 19 0 342794034 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 32161 2276 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=6.27 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3080 0 1 0 624 3 0 0 20 0 19 0 342794035 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672030499296 139671884255352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342794036 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3697 0 0 0 47 0 0 0 20 0 19 0 342794040 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2420 0 0 0 45 0 0 0 20 0 19 0 342794040 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 32161 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 178 0 0 0 20 11 0 0 20 0 19 0 342794036 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 197 0 0 0 27 11 0 0 20 0 19 0 342794036 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 264 0 0 0 23 15 0 0 20 0 19 0 342794036 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 241 0 0 0 175 8 0 0 20 0 19 0 342794038 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3704 0 0 0 53 0 0 0 20 0 19 0 342794040 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2427 0 0 0 50 0 0 0 20 0 19 0 342794040 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 97 0 0 0 30 46 0 0 20 0 19 0 342794040 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 418390 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.76
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 12847
/proc/meminfo: memFree=23719040/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=1726.12 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 12705 0 1 0 172466 146 0 0 20 0 19 0 342794034 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 418395 2304 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=1719.65 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3249 0 1 0 171931 34 0 0 20 0 19 0 342794035 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672030498096 139671884314968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 170 0 0 0 22 10 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 209 0 0 0 23 13 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 184 0 0 0 28 11 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 280 0 0 0 28 17 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 321 0 0 0 42 19 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 178 0 0 0 25 11 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 197 0 0 0 34 11 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 264 0 0 0 31 15 0 0 20 0 19 0 342794036 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 243 0 0 0 175 8 0 0 20 0 19 0 342794038 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3704 0 0 0 53 0 0 0 20 0 19 0 342794040 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2427 0 0 0 50 0 0 0 20 0 19 0 342794040 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 99 0 0 0 30 48 0 0 20 0 19 0 342794040 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 418395 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.12
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 12847
/proc/meminfo: memFree=23710976/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=1786.11 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 12709 0 1 0 178464 147 0 0 20 0 19 0 342794034 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 420346 2304 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=1779.64 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3249 0 1 0 177928 36 0 0 20 0 19 0 342794035 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672030498096 139671884314964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 170 0 0 0 22 10 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 209 0 0 0 23 13 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 184 0 0 0 28 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 280 0 0 0 28 17 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 321 0 0 0 42 19 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 178 0 0 0 25 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 197 0 0 0 34 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 264 0 0 0 31 15 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 243 0 0 0 175 8 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3704 0 0 0 53 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2427 0 0 0 50 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 103 0 0 0 31 49 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.11
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 12847
/proc/meminfo: memFree=23710980/32873648 swapFree=7120/7120
[pid=12730] ppid=12728 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/12730/stat : 12730 (java) S 12728 12730 11123 0 -1 4202496 12709 0 1 0 179855 147 0 0 20 0 19 0 342794034 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 140735182266080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12730/statm: 756105 420346 2304 9 0 746526 0
[pid=12730/tid=12732] ppid=12728 vsize=3024420 CPUtime=1793.55 cores=1,3,5,7
/proc/12730/task/12732/stat : 12732 (java) R 12728 12730 11123 0 -1 4202560 3249 0 1 0 179319 36 0 0 20 0 19 0 342794035 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672030498096 139671884315432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12733] ppid=12728 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12730/task/12733/stat : 12733 (java) S 12728 12730 11123 0 -1 4202560 170 0 0 0 22 10 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672013925160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12734] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12734/stat : 12734 (java) S 12728 12730 11123 0 -1 4202560 209 0 0 0 23 13 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672012872360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12735] ppid=12728 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12730/task/12735/stat : 12735 (java) S 12728 12730 11123 0 -1 4202560 184 0 0 0 28 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672011820072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12736] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12736/stat : 12736 (java) S 12728 12730 11123 0 -1 4202560 280 0 0 0 28 17 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672010767272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12737] ppid=12728 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/12730/task/12737/stat : 12737 (java) S 12728 12730 11123 0 -1 4202560 321 0 0 0 42 19 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672009713960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12730/tid=12738] ppid=12728 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12730/task/12738/stat : 12738 (java) S 12728 12730 11123 0 -1 4202560 178 0 0 0 25 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672008661160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12739] ppid=12728 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12730/task/12739/stat : 12739 (java) S 12728 12730 11123 0 -1 4202560 197 0 0 0 34 11 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672007608872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12740] ppid=12728 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12730/task/12740/stat : 12740 (java) S 12728 12730 11123 0 -1 4202560 264 0 0 0 31 15 0 0 20 0 19 0 342794036 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139672006556072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12730/tid=12741] ppid=12728 vsize=3024420 CPUtime=1.83 cores=1,3,5,7
/proc/12730/task/12741/stat : 12741 (java) S 12728 12730 11123 0 -1 4202560 243 0 0 0 175 8 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671876106984 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12742] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12742/stat : 12742 (java) S 12728 12730 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671875053048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12743] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12743/stat : 12743 (java) S 12728 12730 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342794038 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671874000648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12744] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12744/stat : 12744 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671872949136 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12745] ppid=12728 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/12730/task/12745/stat : 12745 (java) S 12728 12730 11123 0 -1 4202560 3704 0 0 0 53 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671871895736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12730/tid=12746] ppid=12728 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12730/task/12746/stat : 12746 (java) S 12728 12730 11123 0 -1 4202560 2427 0 0 0 50 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671870842936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12747] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12747/stat : 12747 (java) S 12728 12730 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671869790840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12748] ppid=12728 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/12730/task/12748/stat : 12748 (java) S 12728 12730 11123 0 -1 4202560 103 0 0 0 32 49 0 0 20 0 19 0 342794040 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139671868738248 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12730/tid=12749] ppid=12728 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12730/task/12749/stat : 12749 (java) S 12728 12730 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342794092 3097006080 420346 33554432000 1073741824 1073778376 140735182274944 139670858986920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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.23
CPU time (s): 1800.89
CPU user time (s): 1798.76
CPU system time (s): 2.13268
CPU usage (%): 100.26
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 2.13267
maximum resident set size= 1681500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12740
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= 38113
involuntary context switches= 3939

runsolver used 5.9211 second user time and 15.9136 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 01:37:47
IDJOB=3742335
IDBENCH=90161
IDSOLVER=2319
FILE ID=node114/3742335-1338766667
RUNJOBID= node114-1338749374-11140
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_K129.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742335-1338766667/watcher-3742335-1338766667 -o /tmp/evaluation-result-3742335-1338766667/solver-3742335-1338766667 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742335-1338766667.opb           

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

MD5SUM BENCH= 1a22ba01765c232fe0c8623cfb5d750f
RANDOM SEED=2134968356

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:        25386440 kB
Buffers:         1064840 kB
Cached:          3729256 kB
SwapCached:         2244 kB
Active:          4606616 kB
Inactive:        1873604 kB
Active(anon):    1672920 kB
Inactive(anon):     8360 kB
Active(file):    2933696 kB
Inactive(file):  1865244 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4716 kB
Writeback:             0 kB
AnonPages:       1684060 kB
Mapped:            19216 kB
Shmem:               100 kB
Slab:             865564 kB
SReclaimable:     309336 kB
SUnreclaim:       556228 kB
KernelStack:        1600 kB
PageTables:         7088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828836 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:07:45