Trace number 4261946

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)455 2520.0801 2476.54

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-21-a4.xml
MD5SUM982ba5645f5cd940fa49e525f3796150
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark416
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints20617
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":21}]
Minimum variable degree3801
Maximum variable degree3802
Distribution of variable degrees[{"degree":3801,"count":19},{"degree":3802,"count":2}]
Minimum constraint arity1
Maximum constraint arity21
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":2660},{"arity":4,"count":17955},{"arity":21,"count":1}]
Number of extensional constraints0
Number of intensional constraints20616
Distribution of constraint types[{"type":"intension","count":20616},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.20/2.19	c Concrete v3.4 running
119.64/91.78	o 1000
120.72/92.69	o 999
121.06/92.96	o 998
121.77/93.61	o 997
122.30/94.10	o 996
123.70/95.47	o 995
127.09/98.66	o 994
127.99/99.46	o 993
128.70/100.07	o 992
129.34/100.66	o 991
130.45/101.76	o 990
131.18/102.47	o 989
132.59/103.87	o 988
138.83/109.93	o 987
139.04/110.11	o 986
139.14/110.27	o 985
139.54/110.63	o 984
139.78/110.87	o 983
140.49/111.50	o 982
140.79/111.87	o 981
141.90/112.97	o 980
142.31/113.31	o 979
150.94/121.94	o 977
151.15/122.15	o 976
152.38/123.38	o 975
152.70/123.61	o 974
152.90/123.81	o 973
153.10/124.09	o 972
153.51/124.46	o 971
154.03/124.98	o 970
155.03/125.95	o 969
158.97/129.90	o 967
159.68/130.58	o 966
159.89/130.79	o 965
160.66/131.29	o 964
162.57/133.14	o 963
164.18/134.75	o 962
166.83/137.32	o 961
167.65/138.15	o 960
168.75/139.27	o 959
170.55/141.04	o 958
171.16/141.60	o 957
171.97/142.44	o 956
172.17/142.63	o 955
172.37/142.84	o 954
173.18/143.68	o 953
173.58/144.04	o 952
175.09/145.53	o 951
175.60/146.01	o 950
178.10/148.56	o 949
178.30/148.78	o 948
178.70/149.20	o 947
180.80/151.28	o 946
182.11/152.59	o 945
182.31/152.79	o 944
182.62/153.04	o 943
182.81/153.25	o 942
183.13/153.55	o 941
183.83/154.22	o 940
184.33/154.77	o 939
185.05/155.43	o 938
186.65/157.00	o 937
186.85/157.22	o 936
186.99/157.40	o 935
187.28/157.65	o 934
192.19/162.50	o 933
192.50/162.81	o 932
196.30/166.70	o 931
196.60/166.92	o 930
197.70/168.00	o 929
197.90/168.25	o 928
198.70/169.03	o 927
198.91/169.21	o 926
199.61/169.99	o 925
201.11/171.40	o 924
201.32/171.64	o 923
203.82/174.13	o 922
207.12/177.40	o 921
207.32/177.64	o 920
207.62/177.98	o 919
208.03/178.31	o 918
208.22/178.55	o 917
208.42/178.75	o 916
208.62/178.93	o 915
209.03/179.32	o 914
209.57/179.83	o 913
211.57/181.85	o 911
211.87/182.18	o 910
212.38/182.67	o 909
219.11/189.36	o 908
221.72/191.98	o 907
222.82/193.05	o 906
227.34/197.52	o 905
227.85/198.05	o 904
228.04/198.26	o 903
228.65/198.87	o 902
229.75/199.90	o 901
230.55/200.72	o 900
231.55/201.71	o 899
232.15/202.33	o 898
232.45/202.66	o 897
232.75/202.91	o 896
234.35/204.52	o 895
235.76/205.95	o 894
236.76/206.98	o 893
240.36/210.56	o 892
240.66/210.83	o 891
242.77/212.90	o 890
242.88/213.05	o 889
243.18/213.37	o 888
244.48/214.64	o 887
244.77/214.99	o 886
246.09/216.21	o 885
246.29/216.48	o 884
247.59/217.74	o 883
247.91/218.02	o 882
248.31/218.48	o 881
248.61/218.72	o 880
248.82/219.00	o 879
249.41/219.52	o 878
249.83/219.91	o 877
250.03/220.13	o 876
251.33/221.40	o 875
251.53/221.62	o 874
251.73/221.86	o 873
253.04/223.14	o 872
255.84/225.98	o 871
258.25/228.40	o 870
259.87/229.99	o 867
260.16/230.23	o 866
260.57/230.66	o 865
260.87/230.90	o 864
261.08/231.15	o 863
272.09/242.19	o 862
272.62/242.64	o 861
272.92/242.91	o 860
273.13/243.12	o 859
273.23/243.29	o 858
273.42/243.47	o 857
273.72/243.72	o 856
273.93/243.94	o 855
274.93/244.93	o 854
277.43/247.45	o 853
278.83/248.83	o 852
282.93/252.96	o 851
287.76/257.74	o 850
288.26/258.26	o 849
290.77/260.74	o 848
290.97/260.94	o 847
291.37/261.31	o 846
291.57/261.57	o 845
293.87/263.82	o 844
302.38/272.31	o 843
302.58/272.53	o 842
303.38/273.34	o 841
305.78/275.79	o 840
309.28/279.28	o 839
313.79/283.79	o 838
314.40/284.34	o 837
316.80/286.73	o 836
317.90/287.89	o 835
318.70/288.67	o 834
320.30/290.22	o 833
321.20/291.15	o 832
321.61/291.52	o 831
323.11/293.04	o 830
325.51/295.42	o 829
325.82/295.76	o 828
326.62/296.59	o 827
327.62/297.57	o 826
327.82/297.76	o 825
328.62/298.54	o 824
328.82/298.79	o 823
329.92/299.89	o 822
330.12/300.07	o 821
330.92/300.83	o 820
331.02/300.98	o 819
333.63/303.59	o 818
333.93/303.80	o 817
334.03/303.96	o 816
334.23/304.16	o 815
334.43/304.36	o 814
334.63/304.56	o 813
335.83/305.74	o 812
338.24/308.14	o 811
340.23/310.12	o 809
340.53/310.46	o 808
340.63/310.59	o 807
341.03/310.98	o 806
341.63/311.52	o 805
342.85/312.70	o 804
343.76/313.62	o 801
343.86/313.74	o 800
345.16/315.05	o 799
345.46/315.35	o 798
349.37/319.25	o 797
356.27/326.16	o 796
356.67/326.51	o 795
356.98/326.89	o 794
357.37/327.20	o 793
357.67/327.59	o 792
358.57/328.43	o 791
358.78/328.63	o 790
360.58/330.47	o 789
361.08/330.90	o 788
361.28/331.11	o 787
363.38/333.23	o 786
363.58/333.44	o 785
363.78/333.68	o 784
363.98/333.85	o 783
364.26/334.02	o 782
364.48/334.20	o 781
365.38/335.14	o 780
365.68/335.46	o 779
365.89/335.62	o 778
366.08/335.83	o 777
366.28/336.00	o 776
366.38/336.19	o 775
367.68/337.43	o 774
367.88/337.63	o 773
368.38/338.11	o 772
368.58/338.36	o 771
369.49/339.24	o 770
369.90/339.69	o 769
370.21/339.93	o 768
372.00/341.74	o 767
372.20/341.94	o 766
372.51/342.21	o 765
372.80/342.55	o 764
373.10/342.85	o 763
373.92/343.64	o 762
374.12/343.82	o 761
375.03/344.74	o 760
375.23/344.92	o 759
376.83/346.58	o 758
377.13/346.82	o 757
377.73/347.43	o 756
378.03/347.72	o 755
378.53/348.22	o 754
382.23/351.90	o 753
382.53/352.28	o 752
382.73/352.44	o 751
383.13/352.80	o 750
383.23/352.99	o 749
383.73/353.40	o 748
385.03/354.76	o 747
385.93/355.62	o 746
386.33/356.00	o 745
386.53/356.21	o 744
386.93/356.60	o 743
387.13/356.86	o 742
387.73/357.48	o 741
388.43/358.18	o 740
389.13/358.88	o 739
390.04/359.71	o 738
391.03/360.61	o 737
391.24/360.90	o 736
391.44/361.05	o 735
393.24/362.84	o 734
393.55/363.13	o 733
393.74/363.35	o 732
393.94/363.57	o 731
394.14/363.75	o 730
395.95/365.54	o 729
396.34/365.83	o 728
397.34/366.88	o 727
397.64/367.14	o 726
399.25/368.73	o 725
399.46/368.99	o 724
399.76/369.20	o 723
399.96/369.47	o 722
403.07/372.59	o 721
404.77/374.26	o 720
404.98/374.46	o 719
405.58/375.02	o 718
405.78/375.21	o 717
408.38/377.85	o 716
410.48/379.96	o 715
411.68/381.14	o 713
412.08/381.55	o 712
412.78/382.27	o 711
413.98/383.41	o 710
414.18/383.64	o 709
421.78/391.21	o 708
422.19/391.62	o 707
422.39/391.83	o 706
422.69/392.13	o 704
424.10/393.51	o 703
425.00/394.42	o 702
425.20/394.64	o 701
425.40/394.88	o 700
425.60/395.04	o 699
426.00/395.43	o 698
426.40/395.84	o 697
427.21/396.69	o 696
427.41/396.88	o 695
427.72/397.14	o 694
428.82/398.25	o 693
429.82/399.25	o 692
430.52/399.99	o 691
431.02/400.43	o 689
434.43/403.85	o 688
441.92/411.35	o 687
442.13/411.58	o 686
443.02/412.40	o 685
443.92/413.35	o 684
444.42/413.87	o 683
444.72/414.14	o 682
444.92/414.32	o 681
446.63/416.00	o 680
446.93/416.34	o 679
450.16/419.51	o 678
451.17/420.52	o 677
451.77/421.18	o 676
451.98/421.37	o 675
452.17/421.58	o 672
452.38/421.79	o 671
452.59/421.99	o 670
453.09/422.47	o 669
453.79/423.15	o 668
453.99/423.30	o 666
454.30/423.65	o 665
454.59/423.96	o 664
455.30/424.67	o 663
455.49/424.84	o 662
456.59/425.97	o 661
457.79/427.16	o 660
457.99/427.34	o 659
458.70/428.06	o 658
458.89/428.22	o 657
459.09/428.47	o 656
459.29/428.63	o 655
459.89/429.20	o 654
459.99/429.38	o 653
460.29/429.67	o 652
460.59/429.93	o 651
460.80/430.15	o 649
461.09/430.47	o 648
461.59/430.90	o 647
463.89/433.28	o 646
464.11/433.49	o 645
464.30/433.63	o 644
464.40/433.80	o 643
465.21/434.53	o 642
465.80/435.19	o 641
467.80/437.13	o 640
468.40/437.75	o 638
468.61/437.97	o 637
468.90/438.23	o 636
469.40/438.73	o 635
473.51/442.82	o 634
473.81/443.11	o 632
474.01/443.33	o 631
474.21/443.55	o 630
474.41/443.79	o 629
474.61/443.96	o 628
475.31/444.62	o 627
475.52/444.81	o 626
477.82/447.12	o 625
479.92/449.25	o 624
484.63/453.97	o 623
484.93/454.22	o 622
485.14/454.41	o 621
485.43/454.78	o 620
485.83/455.17	o 619
486.25/455.56	o 618
486.74/456.04	o 617
488.05/457.36	o 616
497.05/466.37	o 615
498.67/467.93	o 614
498.97/468.21	o 613
500.09/469.37	o 612
502.09/471.32	o 611
502.29/471.53	o 610
503.19/472.42	o 609
503.39/472.62	o 608
507.29/476.50	o 607
508.69/477.98	o 606
508.99/478.23	o 605
510.09/479.36	o 604
510.39/479.70	o 603
510.59/479.86	o 602
510.79/480.04	o 601
512.29/481.54	o 600
513.10/482.36	o 599
513.40/482.69	o 598
517.11/486.34	o 597
518.21/487.47	o 596
518.51/487.73	o 595
518.71/487.92	o 594
519.21/488.44	o 593
521.63/490.81	o 592
523.63/492.83	o 591
523.83/493.09	o 590
524.33/493.59	o 589
526.83/496.06	o 588
528.23/497.49	o 587
528.53/497.72	o 586
529.13/498.39	o 585
529.33/498.59	o 584
533.43/502.61	o 583
533.53/502.78	o 582
534.13/503.31	o 581
534.83/504.01	o 580
535.43/504.64	o 579
535.63/504.86	o 578
536.23/505.42	o 577
536.53/505.70	o 576
537.83/507.06	o 575
538.13/507.39	o 574
538.84/508.08	o 573
539.65/508.83	o 572
540.18/509.34	o 570
546.39/515.54	o 568
546.61/515.76	o 567
546.81/515.93	o 566
553.01/522.18	o 565
554.01/523.11	o 564
555.81/524.99	o 563
557.21/526.30	o 562
557.51/526.66	o 561
562.32/531.48	o 560
562.63/531.72	o 559
563.83/532.94	o 558
564.13/533.24	o 557
565.13/534.23	o 556
565.43/534.58	o 555
568.34/537.43	o 554
568.64/537.72	o 553
571.24/540.32	o 552
572.15/541.30	o 551
572.34/541.45	o 550
572.94/542.06	o 549
574.35/543.42	o 548
574.64/543.77	o 547
574.84/543.95	o 546
575.14/544.28	o 545
576.04/545.12	o 544
577.24/546.39	o 543
579.24/548.34	o 542
581.25/550.38	o 541
581.65/550.71	o 540
581.85/550.99	o 537
584.37/553.45	o 536
584.56/553.66	o 535
586.76/555.87	o 534
586.96/556.09	o 533
587.86/557.00	o 532
588.36/557.44	o 531
588.67/557.74	o 530
588.86/557.95	o 529
589.16/558.26	o 528
590.46/559.56	o 527
590.87/559.96	o 526
591.27/560.38	o 525
591.76/560.80	o 524
592.07/561.14	o 523
592.36/561.41	o 522
593.07/562.15	o 521
593.47/562.59	o 520
595.37/564.46	o 519
596.27/565.31	o 518
597.47/566.55	o 517
598.73/567.73	o 515
601.02/570.09	o 514
601.44/570.43	o 513
603.74/572.76	o 512
604.54/573.55	o 511
606.24/575.28	o 510
606.54/575.59	o 509
606.94/575.96	o 508
610.64/579.64	o 507
614.44/583.45	o 506
617.14/586.10	o 505
618.24/587.26	o 504
627.27/596.23	o 502
632.16/601.16	o 499
632.66/601.66	o 498
634.47/603.44	o 497
640.50/609.50	o 496
642.29/611.24	o 495
642.70/611.67	o 494
643.10/612.03	o 493
647.50/616.42	o 492
653.92/622.85	o 491
654.42/623.30	o 490
655.02/623.99	o 489
658.42/627.37	o 487
659.22/628.16	o 485
659.63/628.51	o 484
663.44/632.34	o 483
664.75/633.62	o 482
669.56/638.49	o 481
683.46/652.24	o 480
695.90/664.62	o 479
696.30/665.07	o 478
698.91/667.62	o 476
703.21/671.95	o 473
716.13/684.86	o 472
734.27/702.99	o 471
772.82/741.48	o 470
773.51/742.18	o 469
836.60/805.20	o 466
840.72/809.22	o 465
890.70/859.16	o 464
935.38/903.78	o 463
942.40/910.70	o 462
1073.98/1041.99	o 461
1085.22/1053.16	o 459
1098.57/1066.44	o 458
1241.08/1208.17	o 457
1688.50/1651.96	o 456
2065.48/2025.70	o 455
2520.01/2476.51	java.util.concurrent.TimeoutException
2520.01/2476.51		at concrete.MAC.mac(MAC.scala:74)
2520.01/2476.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.01/2476.51		at scala.util.Try$.apply(Try.scala:209)
2520.01/2476.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2476.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2476.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2476.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2476.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.01/2476.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2476.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2476.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2476.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2476.51		at concrete.MAC.oneRun(MAC.scala:146)
2520.01/2476.51		at concrete.MAC.nextSolution(MAC.scala:166)
2520.01/2476.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.01/2476.51		at concrete.ProblemState.map(ProblemState.scala:203)
2520.01/2476.51		at concrete.ProblemState.map(ProblemState.scala:188)
2520.01/2476.51		at concrete.MAC.nextSolution(MAC.scala:195)
2520.01/2476.51		at concrete.Solver.hasNext(Solver.scala:202)
2520.01/2476.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.01/2476.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.01/2476.51		at concrete.Solver.toStream(Solver.scala:73)
2520.01/2476.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.01/2476.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.01/2476.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.01/2476.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.01/2476.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.01/2476.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2476.51		at scala.util.Success.map(Try.scala:209)
2520.01/2476.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.01/2476.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.01/2476.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2476.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.01/2476.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2476.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2476.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2476.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2476.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2476.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2476.51		at scala.App.main(App.scala:76)
2520.01/2476.51		at scala.App.main$(App.scala:74)
2520.01/2476.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2476.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2476.51	v <instantiation cost="455">
2520.01/2476.51	v       <list>
2520.01/2476.51	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20]
2520.01/2476.51	v       </list>
2520.01/2476.51	v       <values>
2520.01/2476.51	v         0 8 24 44 112 118 123 153 210 229 272 281 293 330 377 423 427 437 452 454 455
2520.01/2476.51	v       </values>
2520.01/2476.51	v     </instantiation>
2520.01/2476.51	s SATISFIABLE

Verifier Data 

OK	455

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4261946-1502444201/watcher-4261946-1502444201 -o /tmp/evaluation-result-4261946-1502444201/solver-4261946-1502444201 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4261946-1502444201.xml 

pid=8914
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.36 1.44 1.45 4/194 8917
/proc/meminfo: memFree=29846316/32770624 swapFree=0/504360
[pid=8917] ppid=8914 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8917/stat : 8917 (runsolver) D 8914 8917 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46640910 24240128 108 18446744073709551615 4194304 4338465 140727550209728 140727550207368 140114367984343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38563840 140727550214353 140727550214729 140727550214729 140727550218186 0
/proc/8917/statm: 5918 108 54 36 0 2156 0

[startup+0.100328 s]
/proc/loadavg: 1.36 1.44 1.45 4/194 8917
/proc/meminfo: memFree=29846316/32770624 swapFree=0/504360
[pid=8917] ppid=8914 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8917/stat : 8917 (bash) S 8914 8917 1330 0 -1 4202496 896 6479 0 0 0 0 0 1 20 0 1 0 46640910 9867264 371 18446744073709551615 4194304 5098028 140728900944608 140728900938616 140423028083712 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 10248192 140728900948500 140728900948585 140728900948585 140728900952042 0
/proc/8917/statm: 2409 371 291 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200272 s]
/proc/loadavg: 1.36 1.44 1.45 4/194 8917
/proc/meminfo: memFree=29846316/32770624 swapFree=0/504360
[pid=8917] ppid=8914 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8917/stat : 8917 (bash) S 8914 8917 1330 0 -1 4202496 896 6479 0 0 0 0 0 1 20 0 1 0 46640910 9867264 371 18446744073709551615 4194304 5098028 140728900944608 140728900938616 140423028083712 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 10248192 140728900948500 140728900948585 140728900948585 140728900952042 0
/proc/8917/statm: 2409 371 291 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300345 s]
/proc/loadavg: 1.36 1.44 1.45 4/194 8917
/proc/meminfo: memFree=29846316/32770624 swapFree=0/504360
[pid=8917] ppid=8914 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 5866 12662 0 0 5 1 4 3 20 0 14 0 46640910 14241083392 5540 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3476827 5540 2560 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700174 s]
/proc/loadavg: 1.36 1.44 1.45 4/194 8917
/proc/meminfo: memFree=29846316/32770624 swapFree=0/504360
[pid=8917] ppid=8914 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 13900 12662 0 0 58 3 4 3 20 0 15 0 46640910 14310178816 14277 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3493696 14277 3080 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.50063 s]
/proc/loadavg: 1.36 1.44 1.45 3/209 8980
/proc/meminfo: memFree=29753964/32770624 swapFree=0/504396
[pid=8917] ppid=8914 vsize=13985408 CPUtime=1.92 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 28732 12662 0 0 177 8 4 3 20 0 15 0 46640910 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3496352 39613 3368 1 0 3485525 0
[pid=8917/tid=8967] ppid=8914 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) S 8914 8917 1330 0 -1 1077944384 21803 12662 0 0 116 5 4 3 20 0 15 0 46640931 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140486443022944 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 61 12662 0 0 0 0 4 3 20 0 15 0 46640932 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 37 12662 0 0 0 0 4 3 20 0 15 0 46640932 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 185 12662 0 0 0 0 4 3 20 0 15 0 46640932 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 61 12662 0 0 0 0 4 3 20 0 15 0 46640932 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) R 8914 8917 1330 0 -1 4202560 1042 12662 0 0 0 0 4 3 20 0 15 0 46640933 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485916734528 140486420439459 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 33 12662 0 0 0 0 4 3 20 0 15 0 46640934 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485915682464 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 21 12662 0 0 0 0 4 3 20 0 15 0 46640934 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485914629360 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 1309 12662 0 0 16 0 4 3 20 0 15 0 46640937 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 747 12662 0 0 17 0 4 3 20 0 15 0 46640937 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 1366 12662 0 0 23 0 4 3 20 0 15 0 46640937 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485910415312 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 8 12662 0 0 0 0 4 3 20 0 15 0 46640941 14321057792 39613 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10328 s]
/proc/loadavg: 1.36 1.44 1.45 4/209 8980
/proc/meminfo: memFree=29676228/32770624 swapFree=0/504396
[pid=8917] ppid=8914 vsize=13995836 CPUtime=6.31 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 42622 12662 0 0 608 16 4 3 20 0 15 0 46640910 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3498959 71820 3466 1 0 3487573 0
[pid=8917/tid=8967] ppid=8914 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 27582 12662 0 0 269 8 4 3 20 0 15 0 46640931 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140486443033760 140486438822490 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 90 12662 0 0 1 0 4 3 20 0 15 0 46640932 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 71 12662 0 0 2 0 4 3 20 0 15 0 46640932 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 188 12662 0 0 0 0 4 3 20 0 15 0 46640932 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 191 12662 0 0 2 0 4 3 20 0 15 0 46640932 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 1572 12662 0 0 1 0 4 3 20 0 15 0 46640933 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 56 12662 0 0 0 0 4 3 20 0 15 0 46640934 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485915682528 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 43 12662 0 0 0 0 4 3 20 0 15 0 46640934 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=13995836 CPUtime=1.14 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) R 8914 8917 1330 0 -1 1077944384 2661 12662 0 0 106 1 4 3 20 0 15 0 46640937 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485912514832 140486438811349 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=13995836 CPUtime=1.32 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) R 8914 8917 1330 0 -1 4202560 4144 12662 0 0 125 0 4 3 20 0 15 0 46640937 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485911462288 140486419549536 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=13995836 CPUtime=1.03 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) R 8914 8917 1330 0 -1 4202560 3850 12662 0 0 95 1 4 3 20 0 15 0 46640937 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485910414512 140486417762707 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 13 12662 0 0 0 0 4 3 20 0 15 0 46640941 14331736064 71820 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 13995836

[startup+6.30063 s]
/proc/loadavg: 1.65 1.50 1.47 3/209 8980
/proc/meminfo: memFree=29315328/32770624 swapFree=0/504396
[pid=8917] ppid=8914 vsize=13997884 CPUtime=14.28 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 53044 12662 0 0 1385 36 4 3 20 0 15 0 46640910 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3499471 177664 3481 1 0 3488085 0
[pid=8917/tid=8967] ppid=8914 vsize=13997884 CPUtime=5.85 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 28592 12662 0 0 565 13 4 3 20 0 15 0 46640931 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140486443035616 140486058605470 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=13997884 CPUtime=0.26 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 577 12662 0 0 15 4 4 3 20 0 15 0 46640932 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=13997884 CPUtime=0.27 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 670 12662 0 0 16 4 4 3 20 0 15 0 46640932 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=13997884 CPUtime=0.24 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 691 12662 0 0 14 3 4 3 20 0 15 0 46640932 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=13997884 CPUtime=0.27 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 429 12662 0 0 16 4 4 3 20 0 15 0 46640932 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 1817 12662 0 0 2 0 4 3 20 0 15 0 46640933 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 56 12662 0 0 0 0 4 3 20 0 15 0 46640934 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140485915682528 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 43 12662 0 0 0 0 4 3 20 0 15 0 46640934 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=13997884 CPUtime=3.05 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 4575 12662 0 0 296 2 4 3 20 0 15 0 46640937 14333833216 177664 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=13997884 CPUtime=3.23 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 6375 12662 0 0 315 1 4 3 20 0 15 0 46640937 14333833216 178176 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=13997884 CPUtime=1.47 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 6977 12662 0 0 139 1 4 3 20 0 15 0 46640937 14333833216 178176 18446744073709551615 4194304 4196468 140735624010464 140485910419440 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14333833216 178176 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 81 12662 0 0 0 0 4 3 20 0 15 0 46640941 14333833216 178176 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 13997884

[startup+12.7006 s]
/proc/loadavg: 1.84 1.54 1.48 3/209 8980
/proc/meminfo: memFree=28261784/32770624 swapFree=0/504388
[pid=8917] ppid=8914 vsize=13999932 CPUtime=26.59 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 84181 12662 0 0 2587 65 4 3 20 0 15 0 46640910 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3499983 400243 3486 1 0 3488597 0
[pid=8917/tid=8967] ppid=8914 vsize=13999932 CPUtime=12.09 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 32680 12662 0 0 1180 22 4 3 20 0 15 0 46640931 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140486443032328 140486058387108 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=13999932 CPUtime=0.41 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 1049 12662 0 0 26 8 4 3 20 0 15 0 46640932 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=13999932 CPUtime=0.41 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 933 12662 0 0 26 8 4 3 20 0 15 0 46640932 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=13999932 CPUtime=0.39 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 1062 12662 0 0 25 7 4 3 20 0 15 0 46640932 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=13999932 CPUtime=0.41 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 557 12662 0 0 26 8 4 3 20 0 15 0 46640932 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 2777 12662 0 0 3 0 4 3 20 0 15 0 46640933 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 64 12662 0 0 0 0 4 3 20 0 15 0 46640934 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140485915682528 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 56 12662 0 0 0 0 4 3 20 0 15 0 46640934 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14335930368 400243 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0

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

/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 809544 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=1.24 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 2793 12662 0 0 55 62 4 3 20 0 15 0 46640941 14407233536 809544 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 2364.48
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.11 1.38 1.42 3/213 9396
/proc/meminfo: memFree=26833800/32770624 swapFree=0/504900
[pid=8917] ppid=8914 vsize=14069564 CPUtime=2425 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 545605 12662 0 0 242234 259 4 3 20 0 15 0 46640910 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3517391 804547 3504 1 0 3506005 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=2374.65 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 194664 12662 0 0 237382 76 4 3 20 0 15 0 46640931 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140486443035152 140486068665249 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=4.97 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 36295 12662 0 0 467 23 4 3 20 0 15 0 46640932 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=4.96 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 46642 12662 0 0 465 24 4 3 20 0 15 0 46640932 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=4.96 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 42315 12662 0 0 466 23 4 3 20 0 15 0 46640932 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=4.97 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 41743 12662 0 0 466 24 4 3 20 0 15 0 46640932 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=2.06 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 39308 12662 0 0 176 23 4 3 20 0 15 0 46640933 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 153 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485915682592 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 76 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 47129 12662 0 0 1218 7 4 3 20 0 15 0 46640937 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 45699 12662 0 0 1196 5 4 3 20 0 15 0 46640937 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 46582 12662 0 0 314 6 4 3 20 0 15 0 46640937 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485910419440 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=1.26 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 2838 12662 0 0 56 63 4 3 20 0 15 0 46640941 14407233536 804547 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 2425
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.37 1.41 1.42 3/210 9398
/proc/meminfo: memFree=26843968/32770624 swapFree=0/504924
[pid=8917] ppid=8914 vsize=14069564 CPUtime=2485.5 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 552824 12662 0 0 248280 263 4 3 20 0 15 0 46640910 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3517391 802247 3504 1 0 3506005 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=2434.37 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 196873 12662 0 0 243354 76 4 3 20 0 15 0 46640931 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140486443034960 140486068210222 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=5.14 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 37681 12662 0 0 484 23 4 3 20 0 15 0 46640932 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=5.12 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 47704 12662 0 0 481 24 4 3 20 0 15 0 46640932 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=5.12 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 43195 12662 0 0 482 23 4 3 20 0 15 0 46640932 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=5.14 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 42333 12662 0 0 483 24 4 3 20 0 15 0 46640932 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 40321 12662 0 0 184 24 4 3 20 0 15 0 46640933 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 153 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485915682592 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 76 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 47138 12662 0 0 1218 7 4 3 20 0 15 0 46640937 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 45705 12662 0 0 1196 5 4 3 20 0 15 0 46640937 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 46588 12662 0 0 314 6 4 3 20 0 15 0 46640937 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485910419440 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=1.29 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 2896 12662 0 0 57 65 4 3 20 0 15 0 46640941 14407233536 802247 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 2485.5
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2476.5 s]
/proc/loadavg: 1.59 1.46 1.43 3/210 9399
/proc/meminfo: memFree=26842308/32770624 swapFree=0/504912
[pid=8917] ppid=8914 vsize=14069564 CPUtime=2520.01 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 555454 12662 0 0 251729 265 4 3 20 0 15 0 46640910 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3517391 802762 3504 1 0 3506005 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=2468.41 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 197741 12662 0 0 246757 77 4 3 20 0 15 0 46640931 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486443034560 140486068615017 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=5.25 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 38577 12662 0 0 494 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=5.23 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 47875 12662 0 0 492 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=5.22 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 43251 12662 0 0 492 23 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=5.24 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 42607 12662 0 0 493 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=2.19 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 40657 12662 0 0 188 24 4 3 20 0 15 0 46640933 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 153 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485915682592 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 76 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 47141 12662 0 0 1218 7 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 45707 12662 0 0 1196 5 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 46590 12662 0 0 314 6 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485910419440 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=1.31 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 2918 12662 0 0 58 66 4 3 20 0 15 0 46640941 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14069564

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8917 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2476.5 s]
/proc/loadavg: 1.59 1.46 1.43 3/210 9399
/proc/meminfo: memFree=26842308/32770624 swapFree=0/504912
[pid=8917] ppid=8914 vsize=14069564 CPUtime=2520.01 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 1330 0 -1 1077944320 555454 12662 0 0 251729 265 4 3 20 0 15 0 46640910 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140735623993008 140486438801143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
/proc/8917/statm: 3517391 802762 3504 1 0 3506005 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=2468.41 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 1330 0 -1 4202560 197741 12662 0 0 246757 77 4 3 20 0 15 0 46640931 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486443034560 140486068615017 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=5.25 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 1330 0 -1 1077944384 38577 12662 0 0 494 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486373235216 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=5.23 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 1330 0 -1 1077944384 47875 12662 0 0 492 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486372182672 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=5.22 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 1330 0 -1 1077944384 43251 12662 0 0 492 23 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486371129616 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=5.24 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 1330 0 -1 1077944384 42607 12662 0 0 493 24 4 3 20 0 15 0 46640932 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140486370077072 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=2.19 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 1330 0 -1 1077944384 40657 12662 0 0 188 24 4 3 20 0 15 0 46640933 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485916736240 140486438812290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 1330 0 -1 1077944384 153 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485915682592 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 1330 0 -1 1077944384 76 12662 0 0 0 0 4 3 20 0 15 0 46640934 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485914629376 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485913577936 140486438819739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 1330 0 -1 1077944384 47141 12662 0 0 1218 7 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485912525040 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 1330 0 -1 1077944384 45707 12662 0 0 1196 5 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485911472496 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 1330 0 -1 1077944384 46590 12662 0 0 314 6 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485910419440 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 1330 0 -1 1077944384 3 12662 0 0 0 0 4 3 20 0 15 0 46640937 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485909367136 140486438811349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=1.31 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 1330 0 -1 1077944384 2918 12662 0 0 58 66 4 3 20 0 15 0 46640941 14407233536 802762 18446744073709551615 4194304 4196468 140735624010464 140485908315184 140486438812290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21528576 140735624017872 140735624020657 140735624020657 140735624024015 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2476.54
CPU time (s): 2520.08
CPU user time (s): 2517.37
CPU system time (s): 2.70915
CPU usage (%): 101.758
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.37
system time used= 2.70915
maximum resident set size= 4084564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98894
involuntary context switches= 3039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4321 second user time and 15.4881 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 11:22:36
IDJOB=4261946
IDBENCH=126250
IDSOLVER=2650
FILE ID=node125/4261946-1502444201
RUNJOBID= node125-1502411403-1395
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-21-a4.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261946-1502444201/watcher-4261946-1502444201 -o /tmp/evaluation-result-4261946-1502444201/solver-4261946-1502444201 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580  bin/concrete HOME/instance-4261946-1502444201.xml

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

MD5SUM BENCH= 982ba5645f5cd940fa49e525f3796150
RANDOM SEED=331336980

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29845796 kB
MemAvailable:   30603708 kB
Buffers:          248588 kB
Cached:           801112 kB
SwapCached:            0 kB
Active:          1971996 kB
Inactive:         529268 kB
Active(anon):    1452160 kB
Inactive(anon):    24908 kB
Active(file):     519836 kB
Inactive(file):   504360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25260 kB
Writeback:             4 kB
AnonPages:       1453172 kB
Mapped:            54624 kB
Shmem:             25252 kB
Slab:             124804 kB
SReclaimable:      99104 kB
SUnreclaim:        25700 kB
KernelStack:        3392 kB
PageTables:         8012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2234284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1271808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61980 MiB
End job on node125 at 2017-08-11 12:03:53