Trace number 4246748

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
R1: Concrete 3.4SAT (TO)667 2400.13 2341.15

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-24-a4.xml
MD5SUM703fa8ddaec9a7a194d23a6d05243a88
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark599
Best CPU time to get the best result obtained on this benchmark2520.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints35928
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":24}]
Minimum variable degree5820
Maximum variable degree5821
Distribution of variable degrees[{"degree":5820,"count":22},{"degree":5821,"count":2}]
Minimum constraint arity1
Maximum constraint arity24
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4048},{"arity":4,"count":31878},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints35927
Distribution of constraint types[{"type":"intension","count":35927},{"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.81/2.27	c Concrete v3.4 running
271.19/223.70	o 1000
281.09/233.39	o 999
285.03/237.21	o 998
288.35/240.51	o 997
307.86/259.83	o 996
308.37/260.33	o 995
310.99/262.94	o 994
311.49/263.46	o 993
315.80/267.74	o 992
316.61/268.53	o 991
317.35/269.24	o 990
318.76/270.61	o 989
319.14/270.99	o 988
321.87/273.66	o 987
323.57/275.35	o 986
324.20/275.93	o 985
324.70/276.41	o 984
325.10/276.84	o 983
326.01/277.73	o 982
327.02/278.77	o 981
327.52/279.21	o 980
328.03/279.77	o 979
328.43/280.13	o 978
328.94/280.61	o 977
331.28/282.98	o 976
331.98/283.61	o 975
332.79/284.45	o 974
335.43/286.86	o 973
340.04/291.41	o 972
350.49/301.85	o 971
353.62/304.94	o 970
355.34/306.62	o 969
355.84/307.19	o 968
358.56/309.81	o 967
363.06/314.35	o 966
363.66/314.97	o 965
366.36/317.61	o 964
373.34/324.60	o 962
380.34/331.53	o 961
380.74/331.93	o 960
381.24/332.41	o 959
381.54/332.80	o 958
382.55/333.71	o 957
384.65/335.81	o 956
392.65/343.87	o 955
398.36/349.51	o 954
398.78/349.91	o 953
401.10/352.21	o 952
402.41/353.53	o 951
403.11/354.29	o 950
404.61/355.73	o 949
405.01/356.16	o 948
410.62/361.72	o 947
411.31/362.47	o 946
415.22/366.32	o 945
420.92/372.06	o 944
421.53/372.62	o 943
424.43/375.57	o 942
427.98/379.01	o 941
430.18/381.26	o 940
430.59/381.63	o 939
433.69/384.70	o 938
434.00/385.05	o 937
434.39/385.46	o 936
434.69/385.78	o 935
435.29/386.32	o 934
437.70/388.76	o 933
438.30/389.37	o 932
438.80/389.81	o 930
439.20/390.25	o 929
444.90/395.91	o 928
445.50/396.59	o 927
445.90/396.92	o 926
448.31/399.32	o 925
448.70/399.78	o 924
450.84/401.80	o 923
451.44/402.41	o 922
451.84/402.84	o 921
452.14/403.18	o 920
452.85/403.83	o 919
453.85/404.84	o 917
454.75/405.72	o 916
455.16/406.13	o 915
455.66/406.60	o 914
458.77/409.79	o 913
460.17/411.18	o 912
467.37/418.33	o 911
467.77/418.70	o 910
468.18/419.16	o 909
470.57/421.53	o 908
472.48/423.43	o 907
474.18/425.19	o 906
474.72/425.64	o 905
475.12/426.01	o 904
475.62/426.52	o 903
476.03/426.93	o 902
476.69/427.51	o 901
479.30/430.18	o 900
479.79/430.62	o 899
480.52/431.37	o 897
481.01/431.81	o 896
481.33/432.18	o 895
483.64/434.42	o 894
490.84/441.67	o 893
492.35/443.15	o 892
492.75/443.55	o 891
497.45/448.29	o 889
503.15/453.98	o 888
504.18/454.92	o 887
513.49/464.30	o 886
521.39/472.13	o 885
523.59/474.39	o 884
524.29/475.07	o 883
529.56/480.21	o 882
543.66/494.34	o 881
544.26/494.97	o 880
547.96/498.63	o 879
548.87/499.51	o 878
556.47/507.18	o 877
557.32/507.97	o 876
558.23/508.81	o 875
559.13/509.72	o 874
559.43/510.06	o 873
559.84/510.44	o 872
561.15/511.76	o 871
561.65/512.27	o 870
562.55/513.18	o 869
565.66/516.28	o 868
575.77/526.30	o 867
576.57/527.17	o 866
580.57/531.19	o 864
580.97/531.52	o 863
582.67/533.24	o 862
587.25/537.78	o 861
593.45/543.96	o 860
610.71/561.16	o 859
617.21/567.66	o 858
617.60/568.07	o 857
622.34/572.70	o 855
626.44/576.82	o 854
627.04/577.49	o 853
628.25/578.68	o 852
637.41/587.74	o 851
637.81/588.11	o 850
639.11/589.46	o 849
640.91/591.28	o 848
641.21/591.58	o 847
649.41/599.71	o 846
651.11/601.47	o 845
651.51/601.88	o 844
652.41/602.71	o 843
652.81/603.16	o 842
653.21/603.54	o 841
654.91/605.21	o 840
655.21/605.58	o 839
657.61/607.98	o 838
666.35/616.68	o 837
669.25/619.58	o 836
669.65/619.96	o 835
678.35/628.62	o 834
678.96/629.26	o 833
693.44/643.67	o 832
695.22/645.43	o 831
696.53/646.72	o 830
697.03/647.29	o 829
699.43/649.67	o 828
700.33/650.51	o 827
701.04/651.25	o 826
709.74/659.99	o 825
720.46/670.59	o 824
737.88/687.92	o 823
739.78/689.90	o 822
762.45/712.45	o 821
763.15/713.12	o 820
763.45/713.49	o 819
765.96/715.90	o 818
766.86/716.81	o 817
768.06/718.05	o 816
768.56/718.52	o 815
769.16/719.17	o 814
770.96/720.91	o 813
786.98/736.89	o 812
787.88/737.77	o 811
791.08/740.96	o 810
795.00/744.83	o 808
797.00/746.88	o 807
804.14/753.97	o 803
804.86/754.68	o 802
812.85/762.64	o 801
813.25/763.09	o 800
818.66/768.47	o 799
819.06/768.86	o 798
819.67/769.41	o 797
820.07/769.82	o 796
820.57/770.36	o 795
821.16/770.91	o 794
821.76/771.51	o 793
840.42/790.11	o 792
841.12/790.83	o 791
853.02/802.74	o 790
859.99/809.70	o 789
860.68/810.35	o 788
863.18/812.82	o 787
864.78/814.48	o 786
865.28/814.91	o 785
865.68/815.35	o 784
867.69/817.32	o 782
870.58/820.23	o 781
874.68/824.30	o 780
876.38/826.07	o 779
877.59/827.21	o 778
879.99/829.68	o 777
885.24/834.89	o 776
885.64/835.20	o 775
890.04/839.65	o 774
894.25/843.86	o 773
894.74/844.35	o 772
897.24/846.82	o 771
897.74/847.31	o 770
898.55/848.12	o 769
900.05/849.63	o 768
900.45/850.09	o 767
900.95/850.58	o 766
912.61/862.16	o 765
924.22/873.71	o 764
924.54/874.07	o 763
925.54/875.10	o 762
926.04/875.53	o 761
926.64/876.16	o 760
927.04/876.56	o 759
927.95/877.42	o 758
929.34/878.88	o 757
930.04/879.55	o 756
932.35/881.88	o 755
936.20/885.67	o 754
940.51/890.00	o 753
941.80/891.23	o 752
942.10/891.59	o 751
943.20/892.62	o 749
944.10/893.55	o 748
944.51/893.94	o 747
946.11/895.60	o 746
948.31/897.79	o 745
948.70/898.14	o 744
951.30/900.78	o 743
951.80/901.22	o 742
952.20/901.64	o 741
952.80/902.24	o 740
953.20/902.63	o 739
953.81/903.24	o 738
956.60/906.00	o 737
957.61/907.01	o 736
958.01/907.43	o 735
958.71/908.14	o 733
970.57/919.93	o 731
982.89/932.21	o 730
991.72/941.01	o 729
996.52/945.88	o 728
1009.03/958.37	o 727
1009.53/958.81	o 726
1029.30/978.56	o 725
1032.80/982.03	o 724
1036.30/985.59	o 723
1048.11/997.37	o 722
1055.39/1004.55	o 721
1061.40/1010.55	o 720
1061.91/1011.02	o 719
1063.70/1012.89	o 718
1066.41/1015.51	o 717
1068.42/1017.53	o 716
1068.71/1017.89	o 715
1069.24/1018.30	o 713
1077.79/1026.80	o 712
1084.79/1033.82	o 711
1090.19/1039.29	o 710
1116.54/1065.57	o 709
1118.34/1067.31	o 708
1120.37/1069.32	o 707
1121.37/1070.31	o 706
1127.06/1076.09	o 705
1143.63/1092.50	o 704
1147.74/1096.67	o 703
1148.35/1097.24	o 702
1161.25/1110.19	o 701
1174.09/1122.99	o 700
1174.89/1123.72	o 699
1196.71/1145.59	o 698
1199.88/1148.69	o 696
1205.38/1154.15	o 695
1222.29/1171.08	o 694
1225.62/1174.39	o 693
1227.64/1176.31	o 692
1236.16/1184.84	o 691
1239.55/1188.23	o 689
1271.19/1219.85	o 688
1275.19/1223.82	o 687
1277.73/1226.39	o 686
1281.13/1229.75	o 685
1285.94/1234.53	o 684
1302.70/1251.27	o 683
1328.94/1277.41	o 682
1358.97/1307.49	o 681
1424.36/1372.76	o 680
1449.99/1398.31	o 679
1486.41/1434.61	o 678
1487.01/1435.26	o 677
1559.34/1507.41	o 676
1602.72/1550.80	o 675
1626.08/1574.02	o 674
1864.82/1811.97	o 672
2109.60/2054.97	o 671
2171.10/2115.63	o 670
2270.14/2213.20	o 669
2271.36/2214.36	o 668
2343.10/2285.06	o 667
2400.02/2341.12	java.util.concurrent.TimeoutException
2400.02/2341.12		at concrete.MAC.mac(MAC.scala:74)
2400.02/2341.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.02/2341.12		at scala.util.Try$.apply(Try.scala:209)
2400.02/2341.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.02/2341.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.02/2341.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.02/2341.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.02/2341.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.02/2341.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.02/2341.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.02/2341.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.02/2341.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.02/2341.12		at concrete.MAC.oneRun(MAC.scala:146)
2400.02/2341.12		at concrete.MAC.nextSolution(MAC.scala:166)
2400.02/2341.12		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.02/2341.12		at concrete.ProblemState.map(ProblemState.scala:203)
2400.02/2341.12		at concrete.ProblemState.map(ProblemState.scala:188)
2400.02/2341.12		at concrete.MAC.nextSolution(MAC.scala:195)
2400.02/2341.12		at concrete.Solver.hasNext(Solver.scala:202)
2400.02/2341.12		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.02/2341.12		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.02/2341.12		at concrete.Solver.toStream(Solver.scala:73)
2400.02/2341.12		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.02/2341.12		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.02/2341.12		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.02/2341.12		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.02/2341.12		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.02/2341.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.02/2341.12		at scala.util.Success.map(Try.scala:209)
2400.02/2341.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.02/2341.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.02/2341.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2341.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.02/2341.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2341.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.02/2341.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.02/2341.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.02/2341.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.02/2341.12		at scala.collection.immutable.List.foreach(List.scala:389)
2400.02/2341.12		at scala.App.main(App.scala:76)
2400.02/2341.12		at scala.App.main$(App.scala:74)
2400.02/2341.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2341.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2341.13	v <instantiation cost="667">
2400.02/2341.13	v       <list>
2400.02/2341.13	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] x[21] x[22] x[23]
2400.02/2341.13	v       </list>
2400.02/2341.13	v       <values>
2400.02/2341.13	v         0 9 52 114 136 173 212 336 371 377 446 471 527 545 587 600 617 633 638 653 657 664 665 667
2400.02/2341.13	v       </values>
2400.02/2341.13	v     </instantiation>
2400.02/2341.13	s SATISFIABLE

Verifier Data 

OK	667

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-4246748-1500717677/watcher-4246748-1500717677 -o /tmp/evaluation-result-4246748-1500717677/solver-4246748-1500717677 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560 bin/concrete HOME/instance-4246748-1500717677.xml 

pid=25731
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 2.01 1.71 1.67 4/260 25734
/proc/meminfo: memFree=31556276/32770624 swapFree=5700/363516
[pid=25734] ppid=25731 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (bash) S 25731 25734 22965 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 7035175 9736192 351 33554432000 4194304 5098028 140725426222848 140725426220488 139721152629760 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 20344832 140725426226446 140725426226531 140725426226531 140725426229230 0
/proc/25734/statm: 2377 351 278 221 0 86 0

[startup+0.100181 s]
/proc/loadavg: 2.01 1.71 1.67 4/260 25734
/proc/meminfo: memFree=31556276/32770624 swapFree=5700/363516
[pid=25734] ppid=25731 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (bash) S 25731 25734 22965 0 -1 4202496 884 6413 0 0 0 0 0 2 20 0 1 0 7035175 9871360 378 33554432000 4194304 5098028 140725426222848 140725426216856 139721152629760 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 20344832 140725426226446 140725426226531 140725426226531 140725426229230 0
/proc/25734/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200263 s]
/proc/loadavg: 2.01 1.71 1.67 4/260 25734
/proc/meminfo: memFree=31556276/32770624 swapFree=5700/363516
[pid=25734] ppid=25731 vsize=10435860 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 5015 12527 0 0 7 1 6 3 20 0 13 0 7035175 10686320640 5371 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2608965 5371 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300241 s]
/proc/loadavg: 2.01 1.71 1.67 4/260 25734
/proc/meminfo: memFree=31556276/32770624 swapFree=5700/363516
[pid=25734] ppid=25731 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 7657 12527 0 0 24 2 6 3 20 0 20 0 7035175 11164049408 9403 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2725598 9403 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700168 s]
/proc/loadavg: 2.01 1.71 1.67 4/260 25734
/proc/meminfo: memFree=31556276/32770624 swapFree=5700/363516
[pid=25734] ppid=25731 vsize=10902720 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 12665 12527 0 0 80 4 6 3 20 0 20 0 7035175 11164385280 15891 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2725680 15891 3205 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720

[startup+1.50077 s]
/proc/loadavg: 2.01 1.71 1.67 4/281 25911
/proc/meminfo: memFree=31475824/32770624 swapFree=5700/363560
[pid=25734] ppid=25731 vsize=10913344 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 24858 12527 0 0 197 13 6 3 20 0 20 0 7035175 11175264256 41757 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2728336 41757 3395 1 0 2716450 0
[pid=25734/tid=25789] ppid=25731 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) S 25731 25734 22965 0 -1 1077944384 18222 12527 0 0 128 5 6 3 20 0 20 0 7035187 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193652964528 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 24 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 11 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 18 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 13 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 24 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 132 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 37 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 16 12527 0 0 0 0 6 3 20 0 20 0 7035188 11175264256 41757 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) R 25731 25734 22965 0 -1 4202560 542 12527 0 0 0 0 6 3 20 0 20 0 7035191 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192465871296 140193634433835 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 33 12527 0 0 0 0 6 3 20 0 20 0 7035191 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192464818976 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 21 12527 0 0 0 0 6 3 20 0 20 0 7035192 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192463766640 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) S 25731 25734 22965 0 -1 1077944384 1359 12527 0 0 15 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192461662832 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10913344 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 599 12527 0 0 12 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10913344 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 649 12527 0 0 10 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10913344 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 1018 12527 0 0 24 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11175264256 41757 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10913344

[startup+3.1008 s]
/proc/loadavg: 2.01 1.71 1.67 10/281 25911
/proc/meminfo: memFree=31288416/32770624 swapFree=5700/363560
[pid=25734] ppid=25731 vsize=10923772 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 35412 12527 0 0 668 33 6 3 20 0 20 0 7035175 11185942528 77105 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2730943 77105 3493 1 0 2718498 0
[pid=25734/tid=25789] ppid=25731 vsize=10923772 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) R 25731 25734 22965 0 -1 4202560 23370 12527 0 0 277 8 6 3 20 0 20 0 7035187 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193652975368 140193632822622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 106 12527 0 0 3 1 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 82 12527 0 0 3 2 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 60 12527 0 0 2 2 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10923772 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 114 12527 0 0 4 2 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 79 12527 0 0 2 2 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 180 12527 0 0 3 1 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 84 12527 0 0 2 1 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 72 12527 0 0 3 2 6 3 20 0 20 0 7035188 11185942528 77105 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) S 25731 25734 22965 0 -1 1077944384 691 12527 0 0 2 0 6 3 20 0 20 0 7035191 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192465873008 140193648753282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 56 12527 0 0 0 0 6 3 20 0 20 0 7035191 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192464819040 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 44 12527 0 0 0 0 6 3 20 0 20 0 7035192 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192463766656 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10923772 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) R 25731 25734 22965 0 -1 4202560 2420 12527 0 0 88 1 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192461643824 140193632239006 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10923772 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) R 25731 25734 22965 0 -1 4202560 1448 12527 0 0 87 1 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192460596352 140193632238905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) R 25731 25734 22965 0 -1 4202560 1731 12527 0 0 93 1 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192459550232 140193632238923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 2735 12527 0 0 93 1 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 4 12527 0 0 0 0 6 3 20 0 20 0 7035196 11185942528 77105 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 10923772

[startup+6.30081 s]
/proc/loadavg: 2.01 1.71 1.67 13/281 25911
/proc/meminfo: memFree=30653508/32770624 swapFree=5700/363556
[pid=25734] ppid=25731 vsize=10925820 CPUtime=16.99 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 49362 12527 0 0 1571 119 6 3 20 0 20 0 7035175 11188039680 174604 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2731455 174604 3509 1 0 2719010 0
[pid=25734/tid=25789] ppid=25731 vsize=10925820 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) R 25731 25734 22965 0 -1 4202560 26049 12527 0 0 567 14 6 3 20 0 20 0 7035187 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193652973400 140193258980628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 263 12527 0 0 14 12 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 339 12527 0 0 15 11 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 232 12527 0 0 14 12 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 260 12527 0 0 16 10 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10925820 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 238 12527 0 0 14 11 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10925820 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 384 12527 0 0 17 11 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 269 12527 0 0 15 11 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10925820 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 181 12527 0 0 15 11 6 3 20 0 20 0 7035188 11188039680 174604 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) S 25731 25734 22965 0 -1 1077944384 999 12527 0 0 3 0 6 3 20 0 20 0 7035191 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192465873008 140193648753282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 56 12527 0 0 0 0 6 3 20 0 20 0 7035191 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192464819040 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 44 12527 0 0 0 0 6 3 20 0 20 0 7035192 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192463766656 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10925820 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) S 25731 25734 22965 0 -1 1077944384 5059 12527 0 0 256 2 6 3 20 0 20 0 7035196 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192461662832 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10925820 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 2930 12527 0 0 230 2 6 3 20 0 20 0 7035196 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10925820 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 3958 12527 0 0 244 2 6 3 20 0 20 0 7035196 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10925820 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 5744 12527 0 0 145 2 6 3 20 0 20 0 7035196 11188039680 174604 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10925820 CPUtime=0.09 cores=0,2,4,6,8,10,12,14

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

[pid=25734/tid=25803] ppid=25731 vsize=10997500 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 34564 12527 0 0 865 8 6 3 20 0 20 0 7035196 11261440000 669903 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10997500 CPUtime=8.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 29149 12527 0 0 805 5 6 3 20 0 20 0 7035196 11261440000 669903 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10997500 CPUtime=3.52 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 49821 12527 0 0 333 10 6 3 20 0 20 0 7035196 11261440000 669903 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 669903 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10997500 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 2664 12527 0 0 69 63 6 3 20 0 20 0 7035196 11261440000 669903 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 2320.07
Current children cumulated vsize (KiB) 10997500

[startup+2322.3 s]
/proc/loadavg: 1.39 1.48 1.60 3/281 25974
/proc/meminfo: memFree=27723916/32770624 swapFree=5700/366200
[pid=25734] ppid=25731 vsize=10997500 CPUtime=2380.95 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 457224 12527 0 0 237610 476 6 3 20 0 20 0 7035175 11261440000 662721 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2749375 662721 3535 1 0 2736930 0
[pid=25734/tid=25789] ppid=25731 vsize=10997500 CPUtime=2316.01 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) R 25731 25734 22965 0 -1 4202560 184579 12527 0 0 231520 72 6 3 20 0 20 0 7035187 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193652975968 140193273080744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10997500 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 13320 12527 0 0 368 40 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 6501 12527 0 0 364 41 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10997500 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 10117 12527 0 0 370 38 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10997500 CPUtime=4.18 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 11522 12527 0 0 372 37 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10997500 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 8821 12527 0 0 362 40 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10997500 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 7470 12527 0 0 371 39 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10997500 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 9206 12527 0 0 367 39 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10997500 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 10699 12527 0 0 365 41 6 3 20 0 20 0 7035188 11261440000 662721 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10997500 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) S 25731 25734 22965 0 -1 1077944384 28925 12527 0 0 74 13 6 3 20 0 20 0 7035191 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192465873008 140193648753282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 157 12527 0 0 0 0 6 3 20 0 20 0 7035191 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192464819104 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 67 12527 0 0 0 0 6 3 20 0 20 0 7035192 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192463766656 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10997500 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) S 25731 25734 22965 0 -1 1077944384 47462 12527 0 0 971 7 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192461662832 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10997500 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 34568 12527 0 0 865 8 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10997500 CPUtime=8.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 29153 12527 0 0 805 5 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10997500 CPUtime=3.52 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 49826 12527 0 0 333 10 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10997500 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 2694 12527 0 0 71 64 6 3 20 0 20 0 7035196 11261440000 662721 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 2380.95
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2341.1 s]
/proc/loadavg: 1.64 1.53 1.61 3/281 26121
/proc/meminfo: memFree=28072344/32770624 swapFree=5700/366148
[pid=25734] ppid=25731 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 457950 12527 0 0 239515 478 6 3 20 0 20 0 7035175 11261440000 660669 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2749375 660669 3535 1 0 2736930 0
[pid=25734/tid=25789] ppid=25731 vsize=10997500 CPUtime=2334.72 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) R 25731 25734 22965 0 -1 4202560 184880 12527 0 0 233391 72 6 3 20 0 20 0 7035187 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193652976112 140193271923087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10997500 CPUtime=4.21 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 13323 12527 0 0 372 40 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10997500 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 6525 12527 0 0 367 41 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 10121 12527 0 0 374 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10997500 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 11558 12527 0 0 377 38 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 8830 12527 0 0 365 40 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 7539 12527 0 0 374 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10997500 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 9257 12527 0 0 371 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10997500 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 10726 12527 0 0 369 41 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10997500 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) S 25731 25734 22965 0 -1 1077944384 29115 12527 0 0 75 13 6 3 20 0 20 0 7035191 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192465873008 140193648753282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 157 12527 0 0 0 0 6 3 20 0 20 0 7035191 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192464819104 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 67 12527 0 0 0 0 6 3 20 0 20 0 7035192 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192463766656 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10997500 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) S 25731 25734 22965 0 -1 1077944384 47464 12527 0 0 971 7 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192461662832 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10997500 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 34570 12527 0 0 865 8 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10997500 CPUtime=8.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 29155 12527 0 0 805 5 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10997500 CPUtime=3.52 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 49828 12527 0 0 333 10 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10997500 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 2698 12527 0 0 72 64 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

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 25734 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2341.1 s]
/proc/loadavg: 1.64 1.53 1.61 3/281 26121
/proc/meminfo: memFree=28072344/32770624 swapFree=5700/366148
[pid=25734] ppid=25731 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/25734/stat : 25734 (java) S 25731 25734 22965 0 -1 1077944320 457950 12527 0 0 239515 478 6 3 20 0 20 0 7035175 11261440000 660669 33554432000 4194304 4196468 140721893522736 140721893505280 140193648742135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
/proc/25734/statm: 2749375 660669 3535 1 0 2736930 0
[pid=25734/tid=25789] ppid=25731 vsize=10997500 CPUtime=2334.72 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25789/stat : 25789 (java) R 25731 25734 22965 0 -1 4202560 184880 12527 0 0 233391 72 6 3 20 0 20 0 7035187 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193652976112 140193271923087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25790] ppid=25731 vsize=10997500 CPUtime=4.21 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25790/stat : 25790 (java) S 25731 25734 22965 0 -1 1077944384 13323 12527 0 0 372 40 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193574816144 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25791] ppid=25731 vsize=10997500 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25791/stat : 25791 (java) S 25731 25734 22965 0 -1 1077944384 6525 12527 0 0 367 41 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193573763344 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25792] ppid=25731 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25792/stat : 25792 (java) S 25731 25734 22965 0 -1 1077944384 10121 12527 0 0 374 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193572711056 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25793] ppid=25731 vsize=10997500 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25793/stat : 25793 (java) S 25731 25734 22965 0 -1 1077944384 11558 12527 0 0 377 38 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193252239888 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25794] ppid=25731 vsize=10997500 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25794/stat : 25794 (java) S 25731 25734 22965 0 -1 1077944384 8830 12527 0 0 365 40 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193251187600 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25795] ppid=25731 vsize=10997500 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25795/stat : 25795 (java) S 25731 25734 22965 0 -1 1077944384 7539 12527 0 0 374 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193250134800 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25796] ppid=25731 vsize=10997500 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25796/stat : 25796 (java) S 25731 25734 22965 0 -1 1077944384 9257 12527 0 0 371 39 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193249082512 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25797] ppid=25731 vsize=10997500 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25797/stat : 25797 (java) S 25731 25734 22965 0 -1 1077944384 10726 12527 0 0 369 41 6 3 20 0 20 0 7035188 11261440000 660669 33554432000 4194304 4196468 140721893522736 140193248029712 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25798] ppid=25731 vsize=10997500 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25798/stat : 25798 (java) S 25731 25734 22965 0 -1 1077944384 29115 12527 0 0 75 13 6 3 20 0 20 0 7035191 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192465873008 140193648753282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25799] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25799/stat : 25799 (java) S 25731 25734 22965 0 -1 1077944384 157 12527 0 0 0 0 6 3 20 0 20 0 7035191 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192464819104 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25800] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25800/stat : 25800 (java) S 25731 25734 22965 0 -1 1077944384 67 12527 0 0 0 0 6 3 20 0 20 0 7035192 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192463766656 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25801] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25801/stat : 25801 (java) S 25731 25734 22965 0 -1 1077944384 1 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192462714960 140193648760731 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25802] ppid=25731 vsize=10997500 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25802/stat : 25802 (java) S 25731 25734 22965 0 -1 1077944384 47464 12527 0 0 971 7 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192461662832 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25803] ppid=25731 vsize=10997500 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25803/stat : 25803 (java) S 25731 25734 22965 0 -1 1077944384 34570 12527 0 0 865 8 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192460610032 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25804] ppid=25731 vsize=10997500 CPUtime=8.19 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25804/stat : 25804 (java) S 25731 25734 22965 0 -1 1077944384 29155 12527 0 0 805 5 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192459557744 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25805] ppid=25731 vsize=10997500 CPUtime=3.52 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25805/stat : 25805 (java) S 25731 25734 22965 0 -1 1077944384 49828 12527 0 0 333 10 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192458504944 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25806] ppid=25731 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25806/stat : 25806 (java) S 25731 25734 22965 0 -1 1077944384 3 12527 0 0 0 0 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192457451872 140193648752341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
[pid=25734/tid=25807] ppid=25731 vsize=10997500 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/25734/task/25807/stat : 25807 (java) S 25731 25734 22965 0 -1 1077944384 2698 12527 0 0 72 64 6 3 20 0 20 0 7035196 11261440000 660669 33554432000 4194304 4196468 140721893522736 140192456399152 140193648753282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36904960 140721893530305 140721893533079 140721893533079 140721893535695 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2341.15
CPU time (s): 2400.13
CPU user time (s): 2395.28
CPU system time (s): 4.847
CPU usage (%): 102.519
Max. virtual memory (cumulated for all children) (KiB): 10997500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.28
system time used= 4.847
maximum resident set size= 3065860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85471
involuntary context switches= 127760

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8325 second user time and 17.5458 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 12:01:17
IDJOB=4246748
IDBENCH=126230
IDSOLVER=2630
FILE ID=node130/4246748-1500717677
RUNJOBID= node130-1500712981-22996
PBS_JOBID= 20623351
Free space on /tmp= 61856 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-24-a4.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246748-1500717677/watcher-4246748-1500717677 -o /tmp/evaluation-result-4246748-1500717677/solver-4246748-1500717677 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560  bin/concrete HOME/instance-4246748-1500717677.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 703fa8ddaec9a7a194d23a6d05243a88
RANDOM SEED=596687673

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31556988 kB
MemAvailable:   31959424 kB
Buffers:          140372 kB
Cached:           541468 kB
SwapCached:            0 kB
Active:           392464 kB
Inactive:         372504 kB
Active(anon):      85868 kB
Inactive(anon):     8844 kB
Active(file):     306596 kB
Inactive(file):   363660 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               524 kB
Writeback:         22100 kB
AnonPages:        281936 kB
Mapped:            41864 kB
Shmem:              8844 kB
Slab:             141920 kB
SReclaimable:      96032 kB
SUnreclaim:        45888 kB
KernelStack:        4656 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1167756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61828 MiB
End job on node130 at 2017-07-22 12:40:18