Trace number 4308442

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
OscaR - Hybrid 2018-08-14SAT (TO)734 2520.05 2487.73

General information on the benchmark

NameTravellingSalesman/
TravellingSalesman-150-50-00_c18.xml
MD5SUM784274e168c99e425b71be44c62c6ab3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark537
Best CPU time to get the best result obtained on this benchmark2520
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"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

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 358236679
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
6.74/3.40	c Parsing done, starting first complete search...
7.88/3.87	o 2226
7.88/3.87	o 2210
7.88/3.87	o 2207
7.88/3.88	o 2206
7.88/3.88	o 2204
7.88/3.88	o 2203
7.88/3.88	o 2198
7.88/3.88	o 2196
7.88/3.89	o 2163
7.88/3.89	o 2159
7.88/3.90	o 2158
8.12/3.91	o 2149
8.12/3.91	o 2147
9.62/4.42	o 2146
10.16/4.69	o 2145
10.46/4.81	o 2143
10.56/4.96	o 2141
12.53/6.89	o 2140
13.03/7.39	o 2137
13.03/7.39	o 2133
13.03/7.39	o 2120
13.03/7.39	o 2116
13.03/7.39	o 2114
13.14/7.40	o 2112
13.34/7.60	o 2111
13.44/7.74	o 2109
13.44/7.74	o 2107
13.44/7.74	o 2104
13.44/7.74	o 2103
13.44/7.74	o 2098
13.44/7.74	o 2097
13.67/7.84	o 2096
13.67/7.87	o 2095
13.67/7.87	o 2093
13.67/7.87	o 2092
13.67/7.87	o 2090
13.67/7.87	o 2088
13.79/7.90	o 2087
13.79/7.90	o 2086
13.79/7.90	o 2084
15.91/10.04	o 2082
25.65/19.54	c First complete search done, starting ALNS search...
26.84/20.39	o 2081
26.84/20.39	o 2079
26.84/20.39	o 2076
26.84/20.39	o 2075
26.84/20.39	o 2071
26.95/20.40	o 2069
34.30/27.03	o 2067
34.30/27.03	o 2050
34.30/27.04	o 2042
34.30/27.04	o 2039
34.30/27.04	o 2033
34.30/27.04	o 2025
34.30/27.04	o 2024
34.30/27.04	o 2022
34.30/27.04	o 2020
34.30/27.04	o 2019
34.30/27.04	o 2018
41.55/33.78	o 2017
41.55/33.78	o 2010
41.55/33.78	o 2000
41.55/33.78	o 1992
41.55/33.78	o 1974
41.55/33.78	o 1961
41.55/33.78	o 1959
41.67/33.83	o 1945
41.67/33.83	o 1936
41.67/33.83	o 1918
41.67/33.83	o 1905
41.67/33.84	o 1904
41.67/33.87	o 1902
41.77/33.93	o 1901
48.29/40.22	o 1899
48.39/40.40	o 1896
48.39/40.40	o 1885
48.49/40.47	o 1884
49.61/41.37	o 1882
49.94/41.60	o 1881
51.04/42.79	o 1880
51.14/42.82	o 1878
51.14/42.82	o 1876
52.25/43.94	o 1875
52.25/43.94	o 1873
52.25/43.94	o 1872
52.25/43.94	o 1870
52.25/43.95	o 1867
52.25/43.95	o 1864
52.25/43.95	o 1862
52.25/43.95	o 1860
52.25/43.97	o 1859
52.25/43.97	o 1857
52.25/44.01	o 1852
52.36/44.03	o 1851
52.36/44.06	o 1850
52.36/44.07	o 1848
53.37/45.05	o 1846
55.39/47.02	o 1845
55.39/47.02	o 1825
55.39/47.06	o 1815
55.49/47.13	o 1801
55.49/47.15	o 1791
56.79/48.29	o 1790
56.89/48.30	o 1788
56.89/48.31	o 1782
57.99/49.45	o 1781
57.99/49.46	o 1772
57.99/49.47	o 1768
58.10/49.51	o 1766
60.00/51.42	o 1759
60.91/52.36	o 1758
64.17/55.34	o 1753
64.17/55.36	o 1749
69.30/60.33	o 1747
80.79/71.38	o 1745
80.79/71.39	o 1735
80.79/71.39	o 1730
80.99/71.59	o 1727
81.79/72.39	o 1726
83.50/74.02	o 1725
84.19/74.76	o 1724
85.00/75.50	o 1723
85.00/75.50	o 1716
85.00/75.51	o 1713
85.00/75.51	o 1706
85.00/75.55	o 1704
85.00/75.55	o 1697
85.10/75.68	o 1692
85.30/75.87	o 1686
86.70/77.25	o 1684
86.70/77.29	o 1673
86.70/77.29	o 1669
86.80/77.35	o 1667
86.80/77.35	o 1663
86.80/77.37	o 1651
86.80/77.38	o 1647
87.35/77.63	o 1645
88.15/78.41	o 1643
88.15/78.42	o 1642
89.25/79.56	o 1639
89.25/79.57	o 1638
90.96/81.27	o 1632
90.96/81.28	o 1631
90.96/81.28	o 1628
90.96/81.28	o 1625
103.72/93.56	o 1622
103.72/93.56	o 1621
104.03/93.83	o 1616
104.03/93.83	o 1615
104.03/93.89	o 1614
104.03/93.89	o 1613
106.64/96.46	o 1611
107.14/96.97	o 1608
107.75/97.54	o 1606
107.75/97.55	o 1591
107.85/97.64	o 1590
107.85/97.65	o 1588
115.32/104.78	o 1585
115.32/104.78	o 1583
116.13/105.52	o 1570
116.13/105.54	o 1557
117.43/106.88	o 1553
118.04/107.47	o 1552
118.04/107.47	o 1551
118.04/107.49	o 1546
118.13/107.50	o 1544
118.13/107.52	o 1543
118.13/107.56	o 1542
119.75/109.17	o 1539
119.75/109.17	o 1533
119.94/109.37	o 1530
120.07/109.42	o 1525
120.07/109.44	o 1524
122.18/111.51	o 1522
122.18/111.53	o 1521
135.68/124.70	o 1500
135.68/124.71	o 1497
135.68/124.72	o 1494
135.68/124.72	o 1491
135.68/124.73	o 1489
135.78/124.85	o 1488
136.71/125.75	o 1486
136.81/125.85	o 1485
136.81/125.89	o 1482
136.81/125.89	o 1480
141.95/130.91	o 1479
142.16/131.15	o 1476
142.16/131.16	o 1475
142.16/131.18	o 1474
142.25/131.22	o 1473
142.65/131.64	o 1472
142.95/131.97	o 1469
143.77/132.71	o 1467
144.18/133.18	o 1466
153.00/141.90	o 1465
153.00/141.91	o 1463
153.00/141.92	o 1460
153.31/142.21	o 1459
153.31/142.21	o 1456
157.16/146.10	o 1454
157.16/146.10	o 1451
157.27/146.12	o 1449
157.27/146.16	o 1447
157.27/146.18	o 1445
157.36/146.25	o 1444
168.07/156.98	o 1435
168.37/157.22	o 1434
169.18/158.05	o 1432
169.18/158.06	o 1428
169.28/158.12	o 1425
169.28/158.19	o 1411
169.38/158.22	o 1409
169.48/158.39	o 1404
169.78/158.65	o 1403
170.29/159.13	o 1396
170.29/159.13	o 1393
170.29/159.15	o 1392
170.29/159.16	o 1389
170.48/159.39	o 1388
170.58/159.42	o 1384
170.68/159.52	o 1383
170.78/159.63	o 1380
170.78/159.66	o 1379
170.78/159.66	o 1376
170.88/159.70	o 1371
170.88/159.70	o 1370
170.88/159.73	o 1367
170.88/159.73	o 1366
171.48/160.39	o 1365
171.48/160.39	o 1363
171.48/160.39	o 1359
171.58/160.44	o 1350
171.58/160.44	o 1348
171.58/160.50	o 1346
171.68/160.50	o 1344
172.99/161.80	o 1340
180.21/169.09	o 1339
180.21/169.09	o 1336
180.41/169.22	o 1331
180.41/169.25	o 1329
180.41/169.25	o 1324
180.41/169.27	o 1322
191.73/180.51	o 1317
202.44/191.20	o 1315
202.54/191.34	o 1311
202.54/191.36	o 1307
203.05/191.88	o 1305
204.95/193.73	o 1303
207.76/196.57	o 1299
207.76/196.57	o 1298
211.97/200.79	o 1294
211.97/200.79	o 1293
213.47/202.30	o 1290
213.57/202.30	o 1288
213.77/202.51	o 1285
213.77/202.53	o 1283
220.79/209.57	o 1282
226.60/215.35	o 1275
228.31/217.02	o 1274
230.31/219.04	o 1270
230.31/219.04	o 1266
232.02/220.72	o 1264
233.33/222.07	o 1254
233.52/222.22	o 1253
233.52/222.26	o 1250
233.52/222.27	o 1248
247.55/236.21	o 1247
248.95/237.67	o 1245
253.16/241.82	o 1243
253.26/241.90	o 1241
253.26/241.91	o 1238
254.47/243.15	o 1235
254.47/243.20	o 1233
254.56/243.20	o 1230
260.16/248.82	o 1227
260.16/248.82	o 1226
260.16/248.85	o 1224
260.16/248.86	o 1220
260.16/248.86	o 1217
261.26/249.96	o 1214
261.26/249.97	o 1213
261.26/249.98	o 1212
261.48/250.11	o 1209
261.48/250.11	o 1208
261.48/250.11	o 1204
261.48/250.17	o 1203
261.48/250.17	o 1202
261.48/250.19	o 1201
261.57/250.20	o 1196
261.57/250.21	o 1192
261.57/250.22	o 1191
261.77/250.43	o 1190
267.18/255.85	o 1189
273.09/261.72	o 1188
274.40/263.06	o 1187
276.69/265.34	o 1184
276.69/265.35	o 1183
276.69/265.37	o 1160
276.69/265.39	o 1159
276.80/265.43	o 1157
282.10/270.70	o 1144
282.20/270.86	o 1136
282.20/270.89	o 1129
282.30/270.98	o 1125
288.00/276.62	o 1124
288.70/277.32	o 1123
288.70/277.32	o 1118
291.01/279.66	o 1116
298.63/287.27	o 1111
298.63/287.27	o 1110
298.63/287.27	o 1108
298.63/287.29	o 1107
298.73/287.30	o 1105
301.33/289.92	o 1104
301.33/289.92	o 1103
301.33/289.92	o 1102
301.33/289.93	o 1101
303.23/291.81	o 1100
305.03/293.65	o 1098
305.63/294.27	o 1097
310.94/299.58	o 1095
318.15/306.74	o 1094
330.37/318.99	o 1092
330.97/319.58	o 1090
330.97/319.59	o 1088
330.97/319.59	o 1087
330.97/319.59	o 1086
331.17/319.70	o 1085
331.17/319.77	o 1083
331.17/319.79	o 1082
331.17/319.79	o 1081
331.87/320.48	o 1080
332.37/320.97	o 1079
332.37/320.97	o 1078
333.17/321.72	o 1077
333.17/321.72	o 1076
334.88/323.48	o 1075
347.79/336.31	o 1073
349.00/337.59	o 1072
350.00/338.50	o 1069
350.10/338.62	o 1068
352.90/341.49	o 1066
354.21/342.79	o 1065
354.31/342.83	o 1064
354.62/343.15	o 1063
357.77/346.20	o 1062
358.37/346.84	o 1061
358.37/346.84	o 1059
358.37/346.89	o 1058
358.58/347.10	o 1054
359.58/348.04	o 1052
367.49/355.99	o 1050
368.09/356.57	o 1049
378.51/366.94	o 1048
386.23/374.68	o 1047
386.53/375.00	o 1046
391.44/379.88	o 1044
391.44/379.88	o 1042
391.54/379.92	o 1041
391.54/379.92	o 1040
394.95/383.34	o 1038
397.06/385.41	o 1037
407.78/396.17	o 1035
407.88/396.20	o 1031
428.83/417.11	o 1029
431.53/419.85	o 1027
439.34/427.67	o 1026
439.54/427.80	o 1024
453.69/442.00	o 1022
463.72/451.95	o 1019
465.53/453.78	o 1018
468.03/456.22	o 1015
470.95/459.13	o 1011
471.24/459.44	o 1010
471.65/459.88	o 1009
471.65/459.88	o 1008
473.06/461.27	o 1004
473.46/461.60	o 1003
473.56/461.73	o 1001
473.56/461.73	o 1000
526.57/514.32	o 999
526.57/514.34	o 994
528.31/516.08	o 993
534.65/522.31	o 992
535.57/523.29	o 991
542.04/529.69	o 988
542.95/530.57	o 980
546.28/533.80	o 978
565.11/552.44	o 977
565.11/552.48	o 974
565.62/552.94	o 971
569.06/556.34	o 969
576.75/563.94	o 967
576.75/563.98	o 966
589.99/577.03	o 964
617.52/604.25	o 961
624.62/611.27	o 960
624.83/611.46	o 959
625.33/611.97	o 954
625.44/612.03	o 951
625.44/612.07	o 947
634.95/621.49	o 942
645.89/632.21	o 940
649.75/636.09	o 939
650.04/636.30	o 938
650.04/636.30	o 937
653.69/639.97	o 936
656.13/642.35	o 935
662.21/648.30	o 933
662.21/648.30	o 932
667.59/653.62	o 931
668.19/654.25	o 928
669.11/655.15	o 927
669.61/655.64	o 926
669.91/656.00	o 924
678.42/664.30	o 923
678.72/664.65	o 921
678.72/664.65	o 920
684.68/670.58	o 918
716.30/701.79	o 914
716.61/702.02	o 912
717.51/702.95	o 910
728.37/713.70	o 909
740.14/725.23	o 908
742.48/727.56	o 906
742.48/727.56	o 902
755.68/740.56	o 901
755.98/740.89	o 899
759.44/744.22	o 898
759.75/744.50	o 896
759.75/744.53	o 895
761.68/746.46	o 893
762.80/747.50	o 891
763.91/748.69	o 890
765.14/749.82	o 888
768.38/753.03	o 887
776.60/761.12	o 885
776.60/761.13	o 883
776.60/761.13	o 881
788.48/772.89	o 880
788.88/773.23	o 879
788.88/773.23	o 877
789.80/774.17	o 876
830.68/814.45	o 874
830.68/814.45	o 872
830.79/814.51	o 871
835.46/819.12	o 870
835.86/819.55	o 868
841.45/825.03	o 867
852.10/835.55	o 866
858.81/842.18	o 863
864.39/847.64	o 859
869.76/852.90	o 856
879.82/862.85	o 854
882.97/865.98	o 850
883.29/866.28	o 849
883.79/866.73	o 848
887.45/870.37	o 844
890.39/873.21	o 842
893.94/876.73	o 841
901.47/884.14	o 840
901.77/884.49	o 839
903.69/886.38	o 837
908.27/890.82	o 836
929.85/911.80	o 835
974.30/955.57	o 832
986.90/968.01	o 830
1009.34/989.91	o 827
1016.25/996.79	o 825
1036.24/1016.30	o 821
1044.49/1024.46	o 820
1044.49/1024.48	o 819
1050.70/1030.25	o 818
1058.63/1038.02	o 817
1070.12/1049.38	o 815
1088.92/1067.82	o 814
1113.84/1092.31	o 813
1117.10/1095.57	o 809
1138.79/1116.88	o 807
1139.00/1117.02	o 805
1143.98/1121.97	o 804
1154.88/1132.65	o 803
1188.58/1165.72	o 802
1240.20/1216.48	o 801
1249.48/1225.51	o 799
1263.84/1239.62	o 798
1293.15/1268.40	o 796
1299.77/1274.97	o 793
1299.77/1275.00	o 792
1325.68/1300.35	o 791
1327.72/1302.36	o 790
1327.72/1302.39	o 789
1331.50/1306.08	o 785
1339.96/1314.31	o 784
1345.54/1319.88	o 783
1381.68/1355.15	o 782
1382.18/1355.61	o 780
1382.28/1355.75	o 774
1403.09/1376.15	o 773
1437.57/1409.57	o 771
1437.77/1409.70	o 770
1457.67/1429.46	o 768
1457.67/1429.48	o 767
1481.26/1452.86	o 764
1504.35/1475.76	o 763
1512.19/1483.51	o 760
1535.63/1506.82	o 757
1544.37/1515.54	o 756
1545.09/1516.23	o 753
1545.19/1516.35	o 749
1545.19/1516.36	o 746
1603.98/1574.81	o 745
1607.81/1578.64	o 743
1631.91/1602.66	o 741
1648.39/1619.02	o 739
1664.76/1635.38	o 738
1992.65/1962.09	o 737
2250.86/2219.44	o 734
2520.01/2487.70	s SATISFIABLE
2520.01/2487.70	v <instantiation>
2520.01/2487.70	v 	<list>
2520.01/2487.70	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] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] 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] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149]
2520.01/2487.70	v 	</list>
2520.01/2487.70	v 	<values>
2520.01/2487.70	v 		0 5 15 10 9 8 7 4 3 2 1 11 12 6 13 21 19 23 24 18 20 25 27 29 28 32 33 26 30 39 43 36 42 35 34 55 69 83 82 81 48 16 17 14 22 31 38 45 46 40 44 47 49 58 67 73 78 77 57 53 51 37 41 52 89 106 91 79 65 71 70 63 87 85 92 84 80 76 72 66 60 56 68 75 62 54 59 61 64 74 86 93 102 103 90 95 96 94 97 88 99 104 105 107 108 109 115 121 101 100 98 112 130 136 129 128 127 141 138 137 126 120 114 111 119 124 110 116 113 122 123 125 117 118 134 133 142 148 146 132 139 140 147 135 143 144 149 145 131 50 4 4 6 17 2 1 5 2 5 2 4 2 1 8 4 18 3 2 2 4 1 2 1 1 3 3 8 2 3 1 2 3 2 1 11 5 11 4 1 12 10 2 7 3 4 2 3 1 15 3 2 1 4 3 1 2 1 5 6 2 6 30 6 13 4 3 4 4 3 2 3 22 9 10 2 3 2 2 1 5 2 16 6 3 4 4 1 3 2 6 2 4 1 5 2 1 4 1 3 7 1 2 2 1 1 2 6 8 3 7 7 10 11 3 3 1 7 4 1 3 5 4 2 4 1 4 3 5 3 1 8 11 2 6 4 3 8 15 4 4 2 3 23 6 4 4 4 4 26 17 
2520.01/2487.70	v 	</values>
2520.01/2487.70	v </instantiation>

Verifier Data

OK	734

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12982 MiB free)
  memory of node 1: 16384 MiB (11084 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308442-1534338138/watcher-4308442-1534338138 -o /tmp/evaluation-result-4308442-1534338138/solver-4308442-1534338138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534335657-26239 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 358236679 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308442-1534338138.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26493, runsolver pid=26490

[startup+0.100105 s]*
/proc/loadavg: 1.41 1.49 1.50 6/216 26508
/proc/meminfo: memFree=24626192/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=32748 CPUtime=0.12 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 7143 0 0 0 11 1 0 0 20 0 15 0 251377003 14420721664 8187 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 8187 3138 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-8253362762721552001 CPUtime=0.09 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 5200 0 0 0 9 0 0 0 20 0 15 0 251377003 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612842525040 140612838343837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=3472468581558953168 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) R 26490 26493 21510 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612306274288 140612817022112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 8187 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32748 KiB

[startup+0.218657 s]*
/proc/loadavg: 1.41 1.49 1.50 6/216 26508
/proc/meminfo: memFree=24599332/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=47152 CPUtime=0.33 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 10451 0 0 0 32 1 0 0 20 0 15 0 251377003 14420721664 11788 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 11788 3375 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-6966717399930856064 CPUtime=0.21 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 8129 0 0 0 20 1 0 0 20 0 15 0 251377003 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612842546896 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=5793855703673694649 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.06 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) R 26490 26493 21510 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612306274288 140612830559038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 11788 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47152 KiB

[startup+0.310543 s]*
/proc/loadavg: 1.41 1.49 1.50 5/216 26508
/proc/meminfo: memFree=24595424/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14082736 memory=50368 CPUtime=0.43 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 10752 0 0 0 42 1 0 0 20 0 15 0 251377003 14420721664 12592 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3520684 12592 3379 1 0 3482761 0
[pid=26493/tid=26495] ppid=26490 vsize=14082736 memory=-6966717399930856064 CPUtime=0.3 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 8423 0 0 0 29 1 0 0 20 0 15 0 251377003 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612842483648 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14082736 memory=5793855703673694649 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14082736 memory=280905208033920 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14082736 memory=280905088492544 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14082736 memory=140452544232463 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14082736 memory=280905208040832 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14082736 memory=140452544237071 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14082736 memory=140452544265615 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14082736 memory=140452544268091 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14082736 memory=140452663801472 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14082736 memory=140452663834220 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14420721664 12592 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50368 KiB

[startup+0.700744 s]
/proc/loadavg: 1.41 1.49 1.50 5/216 26508
/proc/meminfo: memFree=24507636/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14084804 memory=88884 CPUtime=0.99 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 17568 0 0 0 96 3 0 0 20 0 15 0 251377003 14422839296 22221 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3521201 22221 3503 1 0 3483273 0
[pid=26493/tid=26495] ppid=26490 vsize=14084804 memory=55 CPUtime=0.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 14863 0 0 0 65 3 0 0 20 0 15 0 251377003 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612842546992 140612822402398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14084804 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14084804 memory=5787222713684746327 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251377004 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251377005 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14084804 memory=6076 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251377006 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612311537312 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251377006 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612310484208 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14084804 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 517 0 0 0 7 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14084804 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14084804 memory=1288 CPUtime=0.15 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14084804 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251377009 14422839296 22221 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88884 KiB

[startup+1.50081 s]
/proc/loadavg: 1.41 1.49 1.50 5/197 26533
/proc/meminfo: memFree=24710028/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14088900 memory=230120 CPUtime=3.14 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 25894 0 0 0 305 9 0 0 20 0 15 0 251377003 14427033600 57530 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3522225 57530 3568 1 0 3484297 0
[pid=26493/tid=26495] ppid=26490 vsize=14088900 memory=3712 CPUtime=1.45 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 18835 0 0 0 139 6 0 0 20 0 15 0 251377003 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612842556416 140612479874190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14088900 memory=68412 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14088900 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14088900 memory=55 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 251377004 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 251377005 14427033600 57530 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0

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

/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 180860 0 0 0 237098 41 0 0 20 0 15 0 251377003 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612842558976 140612475900855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2313916 CPUtime=7.99 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 30486 0 0 0 720 79 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.98 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 27831 0 0 0 720 78 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.96 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 32563 0 0 0 717 79 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2324892 CPUtime=7.98 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 31495 0 0 0 721 77 0 0 20 0 15 0 251377004 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=1064 CPUtime=1.78 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 22791 0 0 0 156 22 0 0 20 0 15 0 251377005 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2318268 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27527 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2318268 CPUtime=3.32 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33581 0 0 0 329 3 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44362 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=68464 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=11192 CPUtime=1.39 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1934 0 0 0 64 75 0 0 20 0 15 0 251377009 14431227904 581223 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2414.28 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2324892 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.46 1.44 3/215 26630
/proc/meminfo: memFree=21919904/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2358400 CPUtime=2474.47 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 455235 0 0 0 247008 439 0 0 20 0 15 0 251377003 14431227904 589600 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 589600 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2355692 CPUtime=2431.33 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 197585 0 0 0 243091 42 0 0 20 0 15 0 251377003 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612842558976 140612483662132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2355692 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31265 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2358400 CPUtime=8.03 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 28606 0 0 0 724 79 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=924 CPUtime=8 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33469 0 0 0 721 79 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2358400 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32427 0 0 0 726 78 0 0 20 0 15 0 251377004 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=2358400 CPUtime=1.79 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 22990 0 0 0 157 22 0 0 20 0 15 0 251377005 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2358400 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2355692 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2358400 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=3712 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2355692 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2355692 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44364 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2355692 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=2355692 CPUtime=1.43 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1963 0 0 0 66 77 0 0 20 0 15 0 251377009 14431227904 589600 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2474.47 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2358400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.7 s]
/proc/loadavg: 1.81 1.55 1.47 3/215 26710
/proc/meminfo: memFree=20242100/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2384072 CPUtime=2520.01 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 458568 0 0 0 251557 444 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 596018 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2384024 CPUtime=2476.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 198763 0 0 0 247626 42 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612842558976 140612475899696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2384024 CPUtime=8.08 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31705 0 0 0 728 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 29072 0 0 0 727 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33967 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2371848 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32944 0 0 0 729 78 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.8 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 23007 0 0 0 157 23 0 0 20 0 15 0 251377005 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2368700 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2380884 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44579 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.46 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1965 0 0 0 67 79 0 0 20 0 15 0 251377009 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2384072 KiB

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

[startup+2487.73 s]
# the end of solver process 26493 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.59 s, system=4.45921 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2487.7 s]
/proc/loadavg: 1.81 1.55 1.47 3/215 26710
/proc/meminfo: memFree=20242100/32770624 swapFree=67108524/67108860
[pid=26493] ppid=26490 vsize=14092996 memory=2384072 CPUtime=2520.01 cores=1,3,5,7
/proc/26493/stat : 26493 (java) S 26490 26493 21510 0 -1 1077944320 458568 0 0 0 251557 444 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140737333766720 140612838321911 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
/proc/26493/statm: 3523249 596018 3619 1 0 3485321 0
[pid=26493/tid=26495] ppid=26490 vsize=14092996 memory=2384024 CPUtime=2476.68 cores=1,3,5,7
/proc/26493/task/26495/stat : 26495 (java) R 26490 26493 21510 0 -1 4202560 198763 0 0 0 247626 42 0 0 20 0 15 0 251377003 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612842558976 140612475899696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26496] ppid=26490 vsize=14092996 memory=2384024 CPUtime=8.08 cores=1,3,5,7
/proc/26493/task/26496/stat : 26496 (java) S 26490 26493 21510 0 -1 1077944384 31705 0 0 0 728 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612801427984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26497] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26497/stat : 26497 (java) S 26490 26493 21510 0 -1 1077944384 29072 0 0 0 727 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612433275536 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26498] ppid=26490 vsize=14092996 memory=2380884 CPUtime=8.04 cores=1,3,5,7
/proc/26493/task/26498/stat : 26498 (java) S 26490 26493 21510 0 -1 1077944384 33967 0 0 0 724 80 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612432222480 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26499] ppid=26490 vsize=14092996 memory=2371848 CPUtime=8.07 cores=1,3,5,7
/proc/26493/task/26499/stat : 26499 (java) S 26490 26493 21510 0 -1 1077944384 32944 0 0 0 729 78 0 0 20 0 15 0 251377004 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612431169936 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26500] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.8 cores=1,3,5,7
/proc/26493/task/26500/stat : 26500 (java) S 26490 26493 21510 0 -1 1077944384 23007 0 0 0 157 23 0 0 20 0 15 0 251377005 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612312591088 140612838333058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26501] ppid=26490 vsize=14092996 memory=2368700 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26501/stat : 26501 (java) S 26490 26493 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612311537376 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26502] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26502/stat : 26502 (java) S 26490 26493 21510 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 251377006 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612310484224 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26503] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26503/stat : 26503 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612309432784 140612838340507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26504] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.19 cores=1,3,5,7
/proc/26493/task/26504/stat : 26504 (java) S 26490 26493 21510 0 -1 1077944384 27529 0 0 0 316 3 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612308379888 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26505] ppid=26490 vsize=14092996 memory=2380884 CPUtime=3.33 cores=1,3,5,7
/proc/26493/task/26505/stat : 26505 (java) S 26490 26493 21510 0 -1 1077944384 33583 0 0 0 329 4 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612307327344 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26506] ppid=26490 vsize=14092996 memory=2380884 CPUtime=1.2 cores=1,3,5,7
/proc/26493/task/26506/stat : 26506 (java) S 26490 26493 21510 0 -1 1077944384 44579 0 0 0 115 5 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612306274288 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26507] ppid=26490 vsize=14092996 memory=2384024 CPUtime=0 cores=1,3,5,7
/proc/26493/task/26507/stat : 26507 (java) S 26490 26493 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251377008 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612305221984 140612838332117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
[pid=26493/tid=26508] ppid=26490 vsize=14092996 memory=3712 CPUtime=1.46 cores=1,3,5,7
/proc/26493/task/26508/stat : 26508 (java) S 26490 26493 21510 0 -1 1077944384 1965 0 0 0 67 79 0 0 20 0 15 0 251377009 14431227904 596018 33554432000 4194304 4196468 140737333784176 140612304170032 140612838333058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22585344 140737333785685 140737333785865 140737333785865 140737333788623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2384072 KiB

Child status: 143
Real time (s): 2487.73
CPU time (s): 2520.05
CPU user time (s): 2515.59
CPU system time (s): 4.45921
CPU usage (%): 101.299
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3129196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.59
system time used= 4.45921
maximum resident set size= 3129216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96623
involuntary context switches= 3132


# summary of solver processes directly reported to runsolver:
#   pid: 26493
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.59
#   total CPU system time (s): 4.45921

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0073 second user time and 23.4831 second system time

The end

Launcher Data

Begin job on node107 at 2018-08-15 15:02:18
IDJOB=4308442
IDBENCH=141629
IDSOLVER=2792
FILE ID=node107/4308442-1534338138
RUNJOBID= node107-1534335657-26239
PBS_JOBID= 21038151
Free space on /tmp= 50592 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-150-50-00_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308442-1534338138/watcher-4308442-1534338138 -o /tmp/evaluation-result-4308442-1534338138/solver-4308442-1534338138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534335657-26239 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 358236679 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308442-1534338138.xml

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

MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3
RANDOM SEED=358236679

node107.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.40
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.40
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.40
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.40
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:        24644892 kB
MemAvailable:   31714748 kB
Buffers:          216380 kB
Cached:          7103612 kB
SwapCached:           20 kB
Active:          4138128 kB
Inactive:        3419708 kB
Active(anon):     186888 kB
Inactive(anon):   111348 kB
Active(file):    3951240 kB
Inactive(file):  3308360 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             35856 kB
Writeback:            16 kB
AnonPages:        220684 kB
Mapped:            66444 kB
Shmem:             57824 kB
Slab:             267276 kB
SReclaimable:     238716 kB
SUnreclaim:        28560 kB
KernelStack:        3536 kB
PageTables:         5904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1445416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 50556 MiB
End job on node107 at 2018-08-15 15:43:46