Trace number 4262190

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)586 2520.3999 1838.96

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-00.xml
MD5SUMac62098c303420005332b673e951092f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2520.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size62
Maximum domain size100
Distribution of domain sizes[{"size":62,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

3.41/2.23	c Concrete v3.4 running
34.03/13.43	o 3068
35.60/14.50	o 2980
45.25/17.99	o 2976
49.37/19.81	o 2946
52.87/21.91	o 2931
57.21/24.02	o 2860
66.09/27.30	o 2854
69.33/29.30	o 2749
78.70/32.34	o 2737
80.13/33.73	o 2717
82.57/35.33	o 2715
85.53/36.98	o 2704
86.86/38.23	o 2676
89.61/39.78	o 2674
92.95/41.66	o 2659
94.31/42.95	o 2636
97.61/44.71	o 2618
98.93/46.10	o 2590
101.32/47.66	o 2526
102.73/48.96	o 2522
105.07/50.58	o 2518
108.19/52.46	o 2436
109.70/54.00	o 2428
112.28/55.62	o 2417
113.70/57.08	o 2384
116.31/58.71	o 2382
119.67/60.49	o 2380
121.37/62.04	o 2369
124.14/63.84	o 2338
127.78/65.92	o 2328
129.39/67.51	o 2324
132.09/69.20	o 2323
135.27/71.16	o 2289
136.79/72.66	o 2278
139.29/74.31	o 2272
141.98/76.08	o 2259
143.27/77.31	o 2254
145.72/78.98	o 2244
148.27/80.43	o 2214
149.79/81.92	o 2213
151.99/83.45	o 2206
152.89/84.32	o 2201
155.00/85.93	o 2198
158.12/87.99	o 2195
159.53/89.33	o 2193
161.75/90.90	o 2192
164.43/92.65	o 2190
168.00/94.63	o 2172
169.32/95.92	o 2171
171.93/97.78	o 2160
173.04/98.87	o 2158
175.26/100.51	o 2143
177.85/102.30	o 2136
180.79/104.06	o 2104
181.71/104.99	o 2083
184.31/106.72	o 2081
185.73/108.11	o 2064
187.87/109.66	o 2063
190.81/111.53	o 2057
192.32/113.04	o 2053
194.83/114.80	o 2047
197.52/116.57	o 2043
198.62/117.66	o 2036
200.96/119.20	o 2032
202.47/120.74	o 2031
204.88/122.31	o 2004
208.10/124.29	o 1991
209.51/125.69	o 1986
212.27/127.49	o 1976
213.87/129.08	o 1975
216.13/130.78	o 1972
218.53/132.25	o 1952
219.94/133.69	o 1948
222.23/135.25	o 1938
223.33/136.38	o 1937
225.74/138.04	o 1933
228.75/139.87	o 1930
230.26/141.32	o 1922
233.09/143.12	o 1911
234.39/144.40	o 1898
236.79/146.16	o 1887
239.56/147.94	o 1879
241.27/149.67	o 1863
244.10/151.57	o 1862
247.04/153.47	o 1859
248.56/154.92	o 1855
250.69/156.40	o 1829
253.82/158.45	o 1826
255.32/159.94	o 1825
257.75/161.69	o 1823
260.78/163.38	o 1817
262.19/164.78	o 1799
264.99/166.62	o 1791
266.09/167.71	o 1784
267.58/168.72	o 1771
269.09/170.23	o 1769
271.29/171.84	o 1757
273.83/173.59	o 1752
274.53/174.26	o 1747
276.79/175.86	o 1743
278.20/177.25	o 1738
280.68/178.96	o 1730
282.29/180.55	o 1727
284.46/182.16	o 1723
286.64/183.58	o 1721
288.32/185.06	o 1716
291.01/186.67	o 1713
292.21/187.84	o 1712
294.61/189.52	o 1677
295.91/190.89	o 1664
298.77/192.80	o 1661
301.81/194.47	o 1654
303.01/195.67	o 1647
305.69/197.24	o 1645
307.19/198.80	o 1636
310.30/200.72	o 1635
313.52/202.65	o 1629
317.23/204.77	o 1627
318.73/206.23	o 1620
321.38/207.99	o 1618
324.14/209.70	o 1617
327.17/211.40	o 1602
328.37/212.66	o 1587
330.81/214.29	o 1585
334.04/216.36	o 1573
337.30/218.09	o 1569
338.99/219.54	o 1566
344.49/223.08	o 1564
348.97/226.24	o 1556
351.78/228.02	o 1553
354.67/229.70	o 1550
355.87/230.93	o 1539
357.83/232.33	o 1536
360.37/234.09	o 1527
363.86/236.09	o 1523
365.36/237.54	o 1521
367.72/239.17	o 1520
370.11/240.67	o 1519
371.41/242.00	o 1491
373.86/243.63	o 1488
376.66/245.46	o 1483
379.83/247.31	o 1478
381.13/248.63	o 1476
383.38/250.22	o 1467
386.43/252.16	o 1452
387.44/253.12	o 1441
389.36/254.53	o 1439
392.20/256.48	o 1438
393.60/257.87	o 1436
395.97/259.54	o 1435
398.45/261.03	o 1412
399.95/262.54	o 1409
402.33/264.22	o 1405
404.95/266.04	o 1395
408.38/268.05	o 1388
409.89/269.54	o 1387
412.67/271.43	o 1385
415.57/273.16	o 1384
417.08/274.69	o 1370
419.13/276.17	o 1364
425.25/280.48	o 1363
428.67/282.40	o 1362
430.08/283.82	o 1351
432.50/285.44	o 1347
435.38/287.17	o 1341
440.10/290.56	o 1336
443.27/292.44	o 1333
444.68/293.89	o 1327
449.95/297.18	o 1326
451.35/298.57	o 1325
453.69/300.16	o 1317
456.40/301.90	o 1316
457.80/303.33	o 1303
460.23/304.94	o 1299
462.92/306.71	o 1297
466.13/309.29	o 1296
468.83/311.08	o 1290
470.46/312.41	o 1285
473.05/314.16	o 1277
474.16/315.28	o 1276
476.65/316.90	o 1273
481.10/320.00	o 1272
485.21/323.06	o 1270
487.80/324.82	o 1269
494.75/329.79	o 1268
497.72/331.56	o 1254
499.32/333.12	o 1248
501.80/334.89	o 1243
504.62/336.59	o 1241
506.22/338.13	o 1240
511.43/341.51	o 1239
515.67/344.76	o 1235
519.01/346.75	o 1221
520.51/348.23	o 1215
525.44/351.62	o 1203
526.95/353.18	o 1201
531.89/356.33	o 1199
540.32/362.41	o 1189
542.83/364.01	o 1187
547.33/367.32	o 1186
549.87/369.04	o 1185
553.09/370.96	o 1182
556.96/373.02	o 1174
558.25/374.36	o 1161
560.95/376.14	o 1160
565.39/379.43	o 1157
567.78/381.11	o 1154
570.51/382.98	o 1153
573.22/384.77	o 1152
576.86/386.80	o 1145
578.16/388.17	o 1142
580.40/389.77	o 1139
585.95/393.22	o 1129
587.25/394.59	o 1128
589.56/396.25	o 1127
595.04/399.86	o 1123
599.31/402.95	o 1121
606.27/407.79	o 1114
609.55/409.67	o 1113
610.90/410.95	o 1111
614.73/413.90	o 1109
616.77/415.37	o 1108
619.62/417.08	o 1107
625.02/421.28	o 1102
627.22/422.91	o 1099
630.83/425.68	o 1091
633.17/427.23	o 1082
638.97/431.70	o 1072
640.27/433.08	o 1069
643.72/435.87	o 1068
650.03/440.43	o 1067
652.34/441.98	o 1065
656.07/444.95	o 1063
660.01/447.94	o 1062
662.37/449.49	o 1053
666.48/452.67	o 1052
669.42/454.33	o 1050
670.71/455.68	o 1045
673.23/457.37	o 1040
676.72/460.08	o 1030
678.22/461.53	o 1028
680.47/463.17	o 1027
684.90/466.46	o 1017
687.64/468.27	o 1015
691.92/471.38	o 1014
694.38/472.98	o 1013
695.88/474.40	o 1012
699.77/477.58	o 1010
704.58/480.81	o 993
706.08/482.32	o 990
708.79/484.14	o 985
713.19/487.39	o 984
717.09/490.45	o 980
719.61/492.15	o 979
721.01/493.57	o 978
723.12/495.16	o 968
734.50/503.54	o 966
738.27/506.50	o 964
740.73/508.26	o 957
742.12/509.62	o 956
744.47/511.34	o 954
747.42/513.12	o 950
748.92/514.63	o 948
756.14/519.60	o 939
758.71/521.39	o 934
762.82/524.48	o 931
765.93/526.32	o 924
769.70/529.37	o 923
772.45/531.01	o 920
780.25/536.98	o 918
785.97/541.38	o 917
788.74/543.00	o 913
793.82/547.10	o 910
796.43/548.81	o 909
799.17/550.67	o 901
800.57/552.03	o 897
803.01/553.80	o 878
810.38/559.60	o 877
814.25/562.61	o 876
817.85/565.50	o 873
825.56/571.47	o 872
831.43/575.88	o 867
835.61/578.95	o 859
837.01/580.31	o 852
851.14/590.80	o 851
877.12/608.68	o 846
888.91/615.87	o 845
906.33/623.59	o 841
932.64/639.66	o 837
934.10/641.04	o 834
936.63/642.74	o 828
947.22/647.67	o 827
956.97/654.53	o 826
962.21/657.97	o 823
975.20/663.33	o 822
978.00/665.19	o 817
985.48/670.15	o 816
986.88/671.58	o 814
1001.19/678.23	o 813
1009.69/683.60	o 810
1027.88/693.66	o 807
1029.28/695.05	o 806
1044.90/707.41	o 803
1052.04/712.43	o 802
1055.57/714.36	o 801
1056.95/715.64	o 791
1059.55/717.34	o 790
1062.55/719.10	o 787
1065.94/721.00	o 786
1083.33/733.94	o 785
1090.60/738.93	o 784
1112.77/748.88	o 783
1115.20/750.58	o 774
1121.80/754.54	o 772
1131.24/761.16	o 771
1153.17/770.93	o 770
1165.56/780.46	o 769
1176.45/786.52	o 766
1190.60/793.37	o 765
1201.05/800.26	o 763
1209.06/806.32	o 761
1225.05/813.50	o 760
1235.92/821.33	o 758
1241.99/824.90	o 757
1260.59/839.02	o 751
1325.07/894.49	o 749
1334.95/902.06	o 748
1338.45/904.88	o 747
1339.75/906.19	o 746
1351.17/914.22	o 745
1388.86/934.75	o 741
1391.55/936.51	o 740
1394.07/938.13	o 737
1402.94/944.35	o 736
1406.94/947.33	o 735
1419.22/956.60	o 724
1425.25/961.48	o 723
1443.14/970.93	o 721
1449.49/975.33	o 720
1453.18/978.12	o 719
1456.58/980.00	o 718
1476.78/997.17	o 715
1494.47/1007.59	o 711
1505.62/1017.29	o 709
1508.57/1019.02	o 705
1517.35/1026.15	o 701
1523.80/1030.72	o 700
1525.09/1032.08	o 696
1530.19/1035.48	o 694
1535.78/1039.90	o 690
1542.33/1044.40	o 689
1543.83/1045.90	o 685
1556.44/1052.01	o 682
1564.08/1058.81	o 679
1565.28/1060.08	o 678
1570.45/1064.18	o 674
1571.75/1065.40	o 673
1583.07/1075.36	o 672
1584.37/1076.60	o 670
1586.60/1078.23	o 667
1587.80/1079.40	o 665
1604.05/1092.56	o 664
1612.01/1098.63	o 660
1626.35/1110.38	o 656
1639.89/1120.71	o 652
1647.94/1126.75	o 650
1651.54/1129.66	o 648
1654.05/1131.34	o 647
1657.04/1133.14	o 646
1669.71/1139.19	o 645
1676.60/1143.95	o 643
1687.41/1151.78	o 642
1691.95/1155.13	o 641
1696.12/1158.00	o 639
1709.38/1168.33	o 637
1717.69/1174.49	o 636
1723.06/1178.83	o 635
1731.65/1182.91	o 634
1742.69/1191.85	o 633
1745.71/1194.40	o 632
1752.92/1200.10	o 631
1757.06/1203.17	o 630
1759.90/1204.93	o 629
1774.51/1217.70	o 628
1797.57/1237.06	o 626
1851.38/1284.49	o 624
1854.65/1286.34	o 622
1892.14/1313.69	o 618
1902.99/1321.67	o 609
1924.89/1339.62	o 607
1948.86/1359.02	o 605
1956.53/1365.19	o 603
1973.78/1379.71	o 601
1989.44/1392.62	o 599
2012.67/1408.93	o 596
2036.98/1429.83	o 595
2164.70/1541.49	o 594
2175.42/1548.58	o 593
2301.37/1657.37	o 592
2340.41/1686.75	o 590
2371.73/1713.67	o 589
2436.45/1767.51	o 587
2507.41/1828.56	o 586
2520.03/1838.83	java.util.concurrent.TimeoutException
2520.03/1838.83		at concrete.MAC.mac(MAC.scala:74)
2520.03/1838.83		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.03/1838.83		at scala.util.Try$.apply(Try.scala:209)
2520.03/1838.83		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/1838.83		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/1838.83		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/1838.83		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/1838.83		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.03/1838.83		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/1838.83		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/1838.83		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/1838.83		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/1838.83		at concrete.MAC.oneRun(MAC.scala:146)
2520.03/1838.83		at concrete.MAC.nextSolution(MAC.scala:166)
2520.03/1838.83		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.03/1838.83		at concrete.ProblemState.map(ProblemState.scala:203)
2520.03/1838.83		at concrete.ProblemState.map(ProblemState.scala:188)
2520.03/1838.83		at concrete.MAC.nextSolution(MAC.scala:195)
2520.03/1838.83		at concrete.Solver.hasNext(Solver.scala:202)
2520.03/1838.83		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.03/1838.83		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.03/1838.83		at concrete.Solver.toStream(Solver.scala:73)
2520.03/1838.83		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.03/1838.83		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.03/1838.83		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.03/1838.83		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.03/1838.83		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.03/1838.83		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/1838.83		at scala.util.Success.map(Try.scala:209)
2520.03/1838.83		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.03/1838.83		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.03/1838.83		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/1838.83		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.03/1838.83		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/1838.83		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/1838.83		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/1838.83		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/1838.83		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/1838.83		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/1838.83		at scala.App.main(App.scala:76)
2520.03/1838.83		at scala.App.main$(App.scala:74)
2520.03/1838.83		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/1838.83		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.31/1838.91	v <instantiation cost="586">
2520.31/1838.91	v       <list>
2520.31/1838.91	v         c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99]
2520.31/1838.91	v       </list>
2520.31/1838.91	v       <values>
2520.31/1838.91	v         83 80 75 61 56 51 47 43 5 9 6 10 8 0 18 19 23 26 25 21 20 17 12 16 15 11 14 28 24 32 41 52 58 60 66 65 53 49 46 42 31 22 34 35 50 55 48 40 37 59 62 90 64 57 54 38 33 36 30 29 27 7 1 2 4 3 13 39 70 82 88 99 96 91 63 69 68 74 76 86 97 95 98 89 71 72 73 67 45 44 79 78 87 81 77 85 93 94 92 84 1 4 5 2 6 2 1 21 3 15 2 5 8 8 2 3 1 3 3 4 3 1 4 2 3 4 7 10 6 8 4 4 1 5 3 39 2 2 1 6 6 7 1 5 4 9 2 3 9 2 11 11 3 6 7 4 4 11 1 2 10 8 7 6 1 4 31 14 6 4 6 8 6 12 6 1 10 7 5 6 1 6 10 17 1 1 4 9 2 23 2 5 3 4 4 3 1 4 4 2
2520.31/1838.91	v       </values>
2520.31/1838.91	v     </instantiation>
2520.31/1838.91	s SATISFIABLE

Verifier Data

OK	586

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-4262190-1502468350/watcher-4262190-1502468350 -o /tmp/evaluation-result-4262190-1502468350/solver-4262190-1502468350 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262190-1502468350.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.90 1.50 1.44 2/194 1261
/proc/meminfo: memFree=26934240/32770624 swapFree=0/546588
[pid=1261] ppid=1258 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1261/stat : 1261 (runsolver) D 1258 1261 19618 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49028450 24240128 106 18446744073709551615 4194304 4338465 140731460138960 140731460136600 140127312659159 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 10924032 140731460145360 140731460145737 140731460145737 140731460149194 0
/proc/1261/statm: 5918 106 53 36 0 2156 0

[startup+0.100218 s]
/proc/loadavg: 1.90 1.50 1.44 2/194 1261
/proc/meminfo: memFree=26934240/32770624 swapFree=0/546588
[pid=1261] ppid=1258 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/1261/stat : 1261 (bash) S 1258 1261 19618 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 49028450 9736192 351 18446744073709551615 4194304 5098028 140724245703792 140724245701432 140671628991488 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 17760256 140724245709332 140724245709417 140724245709417 140724245712874 0
/proc/1261/statm: 2377 351 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200235 s]
/proc/loadavg: 1.90 1.50 1.44 2/194 1261
/proc/meminfo: memFree=26934240/32770624 swapFree=0/546588
[pid=1261] ppid=1258 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/1261/stat : 1261 (bash) S 1258 1261 19618 0 -1 4202496 890 6477 0 0 0 0 0 1 20 0 1 0 49028450 9867264 376 18446744073709551615 4194304 5098028 140724245703792 140724245697800 140671628991488 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 17760256 140724245709332 140724245709417 140724245709417 140724245712874 0
/proc/1261/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300314 s]
/proc/loadavg: 1.90 1.50 1.44 2/194 1261
/proc/meminfo: memFree=26934240/32770624 swapFree=0/546588
[pid=1261] ppid=1258 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 5743 12758 0 0 5 1 5 3 20 0 14 0 49028450 14241083392 5425 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3476827 5425 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700275 s]
/proc/loadavg: 1.90 1.50 1.44 2/194 1261
/proc/meminfo: memFree=26934240/32770624 swapFree=0/546588
[pid=1261] ppid=1258 vsize=13974784 CPUtime=0.62 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 13717 12758 0 0 50 4 5 3 20 0 15 0 49028450 14310178816 14206 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3493696 14206 3079 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50055 s]
/proc/loadavg: 1.90 1.50 1.44 3/209 1324
/proc/meminfo: memFree=26843660/32770624 swapFree=0/546652
[pid=1261] ppid=1258 vsize=13985408 CPUtime=1.86 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 27330 12758 0 0 170 8 5 3 20 0 15 0 49028450 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3496352 33907 3339 1 0 3485525 0
[pid=1261/tid=1311] ppid=1258 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 21778 12758 0 0 114 6 5 3 20 0 15 0 49028473 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228822639360 140228818427286 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 2 12758 0 0 0 0 5 3 20 0 15 0 49028474 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 1 12758 0 0 0 0 5 3 20 0 15 0 49028474 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 1 12758 0 0 0 0 5 3 20 0 15 0 49028474 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 1 12758 0 0 0 0 5 3 20 0 15 0 49028474 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 5 12758 0 0 0 0 5 3 20 0 15 0 49028475 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 33 12758 0 0 0 0 5 3 20 0 15 0 49028476 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228295861920 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 21 12758 0 0 0 0 5 3 20 0 15 0 49028476 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228294808816 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=13985408 CPUtime=0.26 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 1203 12758 0 0 18 0 5 3 20 0 15 0 49028479 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 806 12758 0 0 15 0 5 3 20 0 15 0 49028479 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228291652048 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) R 1258 1261 19618 0 -1 4202560 1316 12758 0 0 22 0 5 3 20 0 15 0 49028479 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228798130166 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 10 12758 0 0 0 0 5 3 20 0 15 0 49028484 14321057792 33907 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13985408

[startup+3.10614 s]
/proc/loadavg: 1.90 1.50 1.44 5/209 1324
/proc/meminfo: memFree=26761604/32770624 swapFree=0/546652
[pid=1261] ppid=1258 vsize=13997884 CPUtime=5.66 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 48836 12758 0 0 543 15 5 3 20 0 15 0 49028450 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3499471 57948 3448 1 0 3488085 0
[pid=1261/tid=1311] ppid=1258 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 34789 12758 0 0 268 9 5 3 20 0 15 0 49028473 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228822641952 140228423662857 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 66 12758 0 0 1 0 5 3 20 0 15 0 49028474 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 52 12758 0 0 1 0 5 3 20 0 15 0 49028474 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 183 12758 0 0 1 0 5 3 20 0 15 0 49028474 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 50 12758 0 0 1 0 5 3 20 0 15 0 49028474 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 1323 12758 0 0 1 0 5 3 20 0 15 0 49028475 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 55 12758 0 0 0 0 5 3 20 0 15 0 49028476 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228295861984 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 43 12758 0 0 0 0 5 3 20 0 15 0 49028476 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=13997884 CPUtime=1.13 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) R 1258 1261 19618 0 -1 4202560 4645 12758 0 0 105 0 5 3 20 0 15 0 49028479 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228802805249 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=13997884 CPUtime=0.84 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) R 1258 1261 19618 0 -1 4202560 1868 12758 0 0 76 0 5 3 20 0 15 0 49028479 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228291638048 140228799933233 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=13997884 CPUtime=0.95 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 3594 12758 0 0 86 1 5 3 20 0 15 0 49028479 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 12 12758 0 0 0 0 5 3 20 0 15 0 49028484 14333833216 57948 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 13997884

[startup+6.30118 s]
/proc/loadavg: 2.07 1.55 1.45 3/209 1324
/proc/meminfo: memFree=26305372/32770624 swapFree=0/546652
[pid=1261] ppid=1258 vsize=14001980 CPUtime=12.22 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 55643 12758 0 0 1185 29 5 3 20 0 15 0 49028450 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3500495 175320 3466 1 0 3489109 0
[pid=1261/tid=1311] ppid=1258 vsize=14001980 CPUtime=5.91 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 36627 12758 0 0 568 15 5 3 20 0 15 0 49028473 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228822643240 140228430655630 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14001980 CPUtime=0.19 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 186 12758 0 0 9 2 5 3 20 0 15 0 49028474 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14001980 CPUtime=0.18 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 130 12758 0 0 9 1 5 3 20 0 15 0 49028474 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14001980 CPUtime=0.19 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 249 12758 0 0 9 2 5 3 20 0 15 0 49028474 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14001980 CPUtime=0.18 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 145 12758 0 0 8 2 5 3 20 0 15 0 49028474 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 2359 12758 0 0 4 0 5 3 20 0 15 0 49028475 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 55 12758 0 0 0 0 5 3 20 0 15 0 49028476 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228295861984 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 43 12758 0 0 0 0 5 3 20 0 15 0 49028476 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=14001980 CPUtime=2.52 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 5905 12758 0 0 243 1 5 3 20 0 15 0 49028479 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=14001980 CPUtime=2.12 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 3253 12758 0 0 203 1 5 3 20 0 15 0 49028479 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228291651952 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=14001980 CPUtime=1.38 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 4520 12758 0 0 128 2 5 3 20 0 15 0 49028479 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 15 12758 0 0 0 0 5 3 20 0 15 0 49028484 14338027520 175320 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 14001980

[startup+12.7012 s]
/proc/loadavg: 2.06 1.55 1.45 3/209 1324
/proc/meminfo: memFree=25372660/32770624 swapFree=0/546644
[pid=1261] ppid=1258 vsize=14004028 CPUtime=31.36 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 81550 12758 0 0 3013 115 5 3 20 0 15 0 49028450 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3501007 392701 3479 1 0 3489621 0
[pid=1261/tid=1311] ppid=1258 vsize=14004028 CPUtime=8.49 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) S 1258 1261 19618 0 -1 1077944384 40740 12758 0 0 823 18 5 3 20 0 15 0 49028473 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228822653024 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14004028 CPUtime=3.87 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) R 1258 1261 19618 0 -1 4202560 1651 12758 0 0 357 22 5 3 20 0 15 0 49028474 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228803114096 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14004028 CPUtime=3.86 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) R 1258 1261 19618 0 -1 4202560 1717 12758 0 0 357 21 5 3 20 0 15 0 49028474 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228803114604 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14004028 CPUtime=3.86 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) R 1258 1261 19618 0 -1 4202560 1443 12758 0 0 358 20 5 3 20 0 15 0 49028474 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228416231896 140228803411755 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14004028 CPUtime=3.86 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) R 1258 1261 19618 0 -1 4202560 1850 12758 0 0 356 22 5 3 20 0 15 0 49028474 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228803411696 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14004028 CPUtime=0.23 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 16715 12758 0 0 14 1 5 3 20 0 15 0 49028475 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228296914320 140228818425557 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 68 12758 0 0 0 0 5 3 20 0 15 0 49028476 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228295862032 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 45 12758 0 0 0 0 5 3 20 0 15 0 49028476 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228294808432 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 392701 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0

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

/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1933398 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14004028 CPUtime=1.23 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 1629 12758 0 0 53 62 5 3 20 0 15 0 49028484 14340124672 1933398 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 2311.05
Current children cumulated vsize (KiB) 14004028

[startup+1722.3 s]
/proc/loadavg: 1.96 1.72 1.70 3/210 1585
/proc/meminfo: memFree=20712892/32770624 swapFree=0/546776
[pid=1261] ppid=1258 vsize=14004028 CPUtime=2382.74 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 947864 12758 0 0 237218 1048 5 3 20 0 15 0 49028450 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3501007 1928311 3492 1 0 3489621 0
[pid=1261/tid=1311] ppid=1258 vsize=14004028 CPUtime=1504.61 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 157919 12758 0 0 150415 38 5 3 20 0 15 0 49028473 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228822625376 140228433994726 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14004028 CPUtime=214.77 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 119931 12758 0 0 21239 230 5 3 20 0 15 0 49028474 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14004028 CPUtime=214.91 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 106260 12758 0 0 21251 232 5 3 20 0 15 0 49028474 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14004028 CPUtime=214.96 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 114948 12758 0 0 21253 235 5 3 20 0 15 0 49028474 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14004028 CPUtime=214.84 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 120287 12758 0 0 21241 235 5 3 20 0 15 0 49028474 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14004028 CPUtime=1.69 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 166379 12758 0 0 144 17 5 3 20 0 15 0 49028475 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14004028 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 153 12758 0 0 1 0 5 3 20 0 15 0 49028476 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228295862112 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 48 12758 0 0 0 0 5 3 20 0 15 0 49028476 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=14004028 CPUtime=7.28 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 56619 12758 0 0 713 7 5 3 20 0 15 0 49028479 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=14004028 CPUtime=6.46 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 44172 12758 0 0 634 4 5 3 20 0 15 0 49028479 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228291651952 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=14004028 CPUtime=2.53 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 57254 12758 0 0 238 7 5 3 20 0 15 0 49028479 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14004028 CPUtime=1.26 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 1738 12758 0 0 54 64 5 3 20 0 15 0 49028484 14340124672 1928311 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 2382.74
Current children cumulated vsize (KiB) 14004028

[startup+1782.3 s]
/proc/loadavg: 1.57 1.65 1.67 3/210 1587
/proc/meminfo: memFree=20874724/32770624 swapFree=0/546792
[pid=1261] ppid=1258 vsize=14004028 CPUtime=2455.1 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 980643 12758 0 0 244441 1061 5 3 20 0 15 0 49028450 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3501007 1939699 3492 1 0 3489621 0
[pid=1261/tid=1311] ppid=1258 vsize=14004028 CPUtime=1560.64 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 162741 12758 0 0 156017 39 5 3 20 0 15 0 49028473 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228822643424 140228433199020 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14004028 CPUtime=218.69 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 124479 12758 0 0 21629 232 5 3 20 0 15 0 49028474 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14004028 CPUtime=218.85 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 109278 12758 0 0 21643 234 5 3 20 0 15 0 49028474 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14004028 CPUtime=218.9 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 120730 12758 0 0 21644 238 5 3 20 0 15 0 49028474 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14004028 CPUtime=218.78 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 124190 12758 0 0 21633 237 5 3 20 0 15 0 49028474 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14004028 CPUtime=1.72 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 166817 12758 0 0 146 18 5 3 20 0 15 0 49028475 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14004028 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 156 12758 0 0 1 0 5 3 20 0 15 0 49028476 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228295862112 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 48 12758 0 0 0 0 5 3 20 0 15 0 49028476 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=14004028 CPUtime=7.54 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 60563 12758 0 0 739 7 5 3 20 0 15 0 49028479 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=14004028 CPUtime=6.68 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 46887 12758 0 0 655 5 5 3 20 0 15 0 49028479 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228291651952 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=14004028 CPUtime=2.59 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 60823 12758 0 0 243 8 5 3 20 0 15 0 49028479 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14004028 CPUtime=1.31 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 1775 12758 0 0 56 67 5 3 20 0 15 0 49028484 14340124672 1939699 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 2455.1
Current children cumulated vsize (KiB) 14004028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1838.8 s]
/proc/loadavg: 1.48 1.61 1.66 3/209 1589
/proc/meminfo: memFree=21225112/32770624 swapFree=0/546796
[pid=1261] ppid=1258 vsize=14004028 CPUtime=2520.03 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 1005512 12758 0 0 250931 1064 5 3 20 0 15 0 49028450 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3501007 1939713 3492 1 0 3489621 0
[pid=1261/tid=1311] ppid=1258 vsize=14004028 CPUtime=1614.61 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) R 1258 1261 19618 0 -1 4202560 167960 12758 0 0 161413 40 5 3 20 0 15 0 49028473 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228822619408 140228433994726 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14004028 CPUtime=221.2 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) S 1258 1261 19618 0 -1 1077944384 128775 12758 0 0 21880 232 5 3 20 0 15 0 49028474 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14004028 CPUtime=221.37 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) S 1258 1261 19618 0 -1 1077944384 112346 12758 0 0 21895 234 5 3 20 0 15 0 49028474 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228417284752 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14004028 CPUtime=221.41 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) S 1258 1261 19618 0 -1 1077944384 123271 12758 0 0 21895 238 5 3 20 0 15 0 49028474 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14004028 CPUtime=221.29 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) S 1258 1261 19618 0 -1 1077944384 126770 12758 0 0 21884 237 5 3 20 0 15 0 49028474 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228415179152 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14004028 CPUtime=1.73 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 167185 12758 0 0 147 18 5 3 20 0 15 0 49028475 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228296915696 140228818426498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14004028 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 159 12758 0 0 1 0 5 3 20 0 15 0 49028476 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228295862112 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 48 12758 0 0 0 0 5 3 20 0 15 0 49028476 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=14004028 CPUtime=7.93 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 62343 12758 0 0 778 7 5 3 20 0 15 0 49028479 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=14004028 CPUtime=7.07 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 49318 12758 0 0 694 5 5 3 20 0 15 0 49028479 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228291651952 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=14004028 CPUtime=2.69 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 63367 12758 0 0 253 8 5 3 20 0 15 0 49028479 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 15 0 49028479 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14004028 CPUtime=1.35 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 1814 12758 0 0 58 69 5 3 20 0 15 0 49028484 14340124672 1939713 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 14004028

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

[startup+1838.91 s]
/proc/loadavg: 1.48 1.61 1.66 3/209 1589
/proc/meminfo: memFree=21225112/32770624 swapFree=0/546796
[pid=1261] ppid=1258 vsize=14137156 CPUtime=2520.31 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1258 1261 19618 0 -1 1077944320 1006605 12758 0 0 250959 1064 5 3 20 0 17 0 49028450 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140724701775744 140228818415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
/proc/1261/statm: 3534289 1939782 3494 1 0 3522903 0
[pid=1261/tid=1311] ppid=1258 vsize=14137156 CPUtime=1614.64 cores=1,3,5,7
/proc/1261/task/1311/stat : 1311 (java) S 1258 1261 19618 0 -1 1077944384 168654 12758 0 0 161416 40 5 3 20 0 17 0 49028473 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228822658224 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1312] ppid=1258 vsize=14137156 CPUtime=221.26 cores=1,3,5,7
/proc/1261/task/1312/stat : 1312 (java) R 1258 1261 19618 0 -1 4202560 128775 12758 0 0 21886 232 5 3 20 0 17 0 49028474 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228737829392 140228800041241 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1313] ppid=1258 vsize=14137156 CPUtime=221.42 cores=1,3,5,7
/proc/1261/task/1313/stat : 1313 (java) R 1258 1261 19618 0 -1 4202560 112346 12758 0 0 21900 234 5 3 20 0 17 0 49028474 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228417284640 140228800041104 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1314] ppid=1258 vsize=14137156 CPUtime=221.46 cores=1,3,5,7
/proc/1261/task/1314/stat : 1314 (java) R 1258 1261 19618 0 -1 4202560 123271 12758 0 0 21900 238 5 3 20 0 17 0 49028474 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228416231696 140228803439505 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1315] ppid=1258 vsize=14137156 CPUtime=221.35 cores=1,3,5,7
/proc/1261/task/1315/stat : 1315 (java) R 1258 1261 19618 0 -1 4202560 126770 12758 0 0 21890 237 5 3 20 0 17 0 49028474 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228415179352 140228803439672 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1316] ppid=1258 vsize=14137156 CPUtime=1.73 cores=1,3,5,7
/proc/1261/task/1316/stat : 1316 (java) S 1258 1261 19618 0 -1 1077944384 167185 12758 0 0 147 18 5 3 20 0 17 0 49028475 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228296914208 140228818425557 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1317] ppid=1258 vsize=14137156 CPUtime=0.09 cores=1,3,5,7
/proc/1261/task/1317/stat : 1317 (java) S 1258 1261 19618 0 -1 1077944384 159 12758 0 0 1 0 5 3 20 0 17 0 49028476 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228295862112 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1318] ppid=1258 vsize=14137156 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1318/stat : 1318 (java) S 1258 1261 19618 0 -1 1077944384 48 12758 0 0 0 0 5 3 20 0 17 0 49028476 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228294808832 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1319] ppid=1258 vsize=14137156 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1319/stat : 1319 (java) S 1258 1261 19618 0 -1 1077944384 138 12758 0 0 0 0 5 3 20 0 17 0 49028479 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228293757392 140228818433947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1320] ppid=1258 vsize=14137156 CPUtime=7.93 cores=1,3,5,7
/proc/1261/task/1320/stat : 1320 (java) S 1258 1261 19618 0 -1 1077944384 62343 12758 0 0 778 7 5 3 20 0 17 0 49028479 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228292704496 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1321] ppid=1258 vsize=14137156 CPUtime=7.07 cores=1,3,5,7
/proc/1261/task/1321/stat : 1321 (java) S 1258 1261 19618 0 -1 1077944384 49318 12758 0 0 694 5 5 3 20 0 17 0 49028479 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228291651952 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1322] ppid=1258 vsize=14137156 CPUtime=2.69 cores=1,3,5,7
/proc/1261/task/1322/stat : 1322 (java) S 1258 1261 19618 0 -1 1077944384 63372 12758 0 0 253 8 5 3 20 0 17 0 49028479 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228290598896 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1323] ppid=1258 vsize=14137156 CPUtime=0.08 cores=1,3,5,7
/proc/1261/task/1323/stat : 1323 (java) S 1258 1261 19618 0 -1 1077944384 3 12758 0 0 0 0 5 3 20 0 17 0 49028479 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228289546592 140228818425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
[pid=1261/tid=1324] ppid=1258 vsize=14137156 CPUtime=1.35 cores=1,3,5,7
/proc/1261/task/1324/stat : 1324 (java) S 1258 1261 19618 0 -1 1077944384 1814 12758 0 0 58 69 5 3 20 0 17 0 49028484 14476447744 1939782 18446744073709551615 4194304 4196468 140724701793200 140228288494640 140228818426498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34488320 140724701796304 140724701799089 140724701799089 140724701802447 0
Current children cumulated CPU time (s) 2520.31
Current children cumulated vsize (KiB) 14137156

Child status: 143
Real time (s): 1838.96
CPU time (s): 2520.4
CPU user time (s): 2509.69
CPU system time (s): 10.7192
CPU usage (%): 137.056
Max. virtual memory (cumulated for all children) (KiB): 14137156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.69
system time used= 10.7192
maximum resident set size= 7759392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1020391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65246
involuntary context switches= 9264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6318 second user time and 11.7155 second system time

The end

Launcher Data

Begin job on node127 at 2017-08-11 18:05:03
IDJOB=4262190
IDBENCH=135892
IDSOLVER=2650
FILE ID=node127/4262190-1502468350
RUNJOBID= node127-1502411410-19682
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-00.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262190-1502468350/watcher-4262190-1502468350 -o /tmp/evaluation-result-4262190-1502468350/solver-4262190-1502468350 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580  bin/concrete HOME/instance-4262190-1502468350.xml

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

MD5SUM BENCH= ac62098c303420005332b673e951092f
RANDOM SEED=1109509768

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26934240 kB
MemAvailable:   27742784 kB
Buffers:          258260 kB
Cached:           840464 kB
SwapCached:            0 kB
Active:          4835276 kB
Inactive:         571496 kB
Active(anon):    4308520 kB
Inactive(anon):    24908 kB
Active(file):     526756 kB
Inactive(file):   546588 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24532 kB
Writeback:            16 kB
AnonPages:       4308124 kB
Mapped:            55216 kB
Shmem:             25252 kB
Slab:             127632 kB
SReclaimable:     102072 kB
SUnreclaim:        25560 kB
KernelStack:        3440 kB
PageTables:        13356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5080916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4077568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node127 at 2017-08-11 18:35:42