Trace number 4545829

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD 2025-07-23? (TO) 3602.06 3610.11

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark28.6033
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints2802
Number of constraints which are clauses2802
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c #vars 701 #constraints 2802 3.99715 1
0.00/0.02	c intsize: 3
0.00/0.04	c 2802 constraints
0.00/0.04	c Finish cloning data from SAT to LS
0.00/0.04	c restart_num_ls  -100000 0
16.05/16.10	c Use LS-small
16.05/16.10	restart_num  0 314
16.05/16.10	c LS-restart 90 46
32.81/32.91	c Use LS-small
32.81/32.91	restart_num  314 615
32.81/32.91	c LS-restart 80 48
49.27/49.43	c Use LS-small
49.27/49.43	restart_num  615 923
49.27/49.43	c LS-restart 70 26
67.03/67.28	c Use LS-small
67.03/67.28	restart_num  923 1224
67.03/67.28	c LS-restart 60 10
83.40/83.66	c Use LS-small
83.40/83.66	restart_num  1224 1529
83.40/83.66	c LS-restart 50 22
100.46/100.78	c Use LS-small
100.46/100.78	restart_num  1529 1834
100.46/100.78	c LS-restart 40 18
120.41/120.70	c Use LS-small
120.41/120.70	restart_num  1834 2137
120.41/120.70	c LS-restart 30 86
136.79/137.17	c Use LS-small
136.79/137.17	restart_num  2137 2438
136.79/137.17	c LS-restart 20 85
153.65/154.02	c Use LS-small
153.65/154.02	restart_num  2438 2742
153.65/154.02	c LS-restart 10 59
170.21/170.63	c Use LS-small
170.21/170.63	restart_num  2742 3048
188.46/188.99	c Use LS-small
188.46/188.99	restart_num  3048 3355
205.33/205.84	c Use LS-small
205.33/205.84	restart_num  3355 3664
221.79/222.35	c Use LS-small
221.79/222.35	restart_num  3664 3976
245.94/246.51	c Use LS-small
245.94/246.51	restart_num  3976 4278
262.00/262.69	c Use LS-small
262.00/262.69	restart_num  4278 4582
279.26/279.96	c Use LS-small
279.26/279.96	restart_num  4582 4883
297.43/298.12	c Use LS-small
297.43/298.12	restart_num  4883 5186
313.69/314.42	c Use LS-small
313.69/314.42	restart_num  5186 5492
330.94/331.70	c Use LS-small
330.94/331.70	restart_num  5492 5794
347.12/347.99	c Use LS-small
347.12/347.99	restart_num  5794 6096
367.77/368.66	c Use LS-small
367.77/368.66	restart_num  6096 6397
384.63/385.55	c Use LS-small
384.63/385.55	restart_num  6397 6700
401.29/402.20	c Use LS-small
401.29/402.20	restart_num  6700 7002
419.35/420.30	c Use LS-small
419.35/420.30	restart_num  7002 7306
436.13/437.19	c Use LS-small
436.13/437.19	restart_num  7306 7609
452.89/453.98	c Use LS-small
452.89/453.98	restart_num  7609 7911
486.21/487.34	c Use LS-small
486.21/487.34	restart_num  7911 8221
502.77/503.93	c Use LS-small
502.77/503.93	restart_num  8221 8534
519.93/521.11	c Use LS-small
519.93/521.11	restart_num  8534 8838
536.09/537.32	c Use LS-small
536.09/537.32	restart_num  8838 9139
554.16/555.49	c Use LS-small
554.16/555.49	restart_num  9139 9442
571.31/572.68	c Use LS-small
571.31/572.68	restart_num  9442 9743
587.88/589.21	c Use LS-small
587.88/589.21	restart_num  9743 10049
608.14/609.51	c Use LS-small
608.14/609.51	restart_num  10049 10351
624.70/626.17	c Use LS-small
624.70/626.17	restart_num  10351 10652
641.36/642.85	c Use LS-small
641.36/642.85	restart_num  10652 10957
659.82/661.30	c Use LS-small
659.82/661.30	restart_num  10957 11261
675.98/677.58	c Use LS-small
675.98/677.58	restart_num  11261 11571
692.94/694.52	c Use LS-small
692.94/694.52	restart_num  11571 11879
709.31/710.98	c Use LS-small
709.31/710.98	restart_num  11879 12180
733.85/735.55	c Use LS-small
733.85/735.55	restart_num  12180 12483
750.32/752.02	c Use LS-small
750.32/752.02	restart_num  12483 12790
767.48/769.28	c Use LS-small
767.48/769.28	restart_num  12790 13093
785.24/787.10	c Use LS-small
785.24/787.10	restart_num  13093 13398
801.80/803.68	c Use LS-small
801.80/803.68	restart_num  13398 13701
818.66/820.53	c Use LS-small
818.66/820.53	restart_num  13701 14007
835.02/836.95	c Use LS-small
835.02/836.95	restart_num  14007 14311
855.78/857.78	c Use LS-small
855.78/857.78	restart_num  14311 14616
872.74/874.74	c Use LS-small
872.74/874.74	restart_num  14616 14918
889.20/891.20	c Use LS-small
889.20/891.20	restart_num  14918 15224
907.16/909.21	c Use LS-small
907.16/909.21	restart_num  15224 15530
923.82/925.92	c Use LS-small
923.82/925.92	restart_num  15530 15839
941.28/943.42	c Use LS-small
941.28/943.42	restart_num  15839 16144
990.66/992.97	c Use LS-small
990.66/992.97	restart_num  16144 16445
1007.32/1009.65	c Use LS-small
1007.32/1009.65	restart_num  16445 16752
1024.48/1026.85	c Use LS-small
1024.48/1026.85	restart_num  16752 17054
1040.75/1043.15	c Use LS-small
1040.75/1043.15	restart_num  17054 17355
1058.81/1061.26	c Use LS-small
1058.81/1061.26	restart_num  17355 17658
1075.97/1078.45	c Use LS-small
1075.97/1078.45	restart_num  17658 17959
1092.93/1095.41	c Use LS-small
1092.93/1095.41	restart_num  17959 18265
1112.88/1115.45	c Use LS-small
1112.88/1115.45	restart_num  18265 18571
1129.46/1132.04	c Use LS-small
1129.46/1132.04	restart_num  18571 18875
1146.11/1148.79	c Use LS-small
1146.11/1148.79	restart_num  18875 19176
1164.38/1167.01	c Use LS-small
1164.38/1167.01	restart_num  19176 19477
1180.94/1183.61	c Use LS-small
1180.94/1183.61	restart_num  19477 19784
1197.70/1200.42	c Use LS-small
1197.70/1200.42	restart_num  19784 20088
1214.06/1216.84	c Use LS-small
1214.06/1216.84	restart_num  20088 20396
1238.11/1241.00	c Use LS-small
1238.11/1241.00	restart_num  20396 20698
1255.38/1258.28	c Use LS-small
1255.38/1258.28	restart_num  20698 21001
1271.74/1274.67	c Use LS-small
1271.74/1274.67	restart_num  21001 21302
1290.00/1292.95	c Use LS-small
1290.00/1292.95	restart_num  21302 21610
1306.36/1309.30	c Use LS-small
1306.36/1309.30	restart_num  21610 21911
1323.22/1326.24	c Use LS-small
1323.22/1326.24	restart_num  21911 22216
1339.79/1342.84	c Use LS-small
1339.79/1342.84	restart_num  22216 22520
1359.74/1362.87	c Use LS-small
1359.74/1362.87	restart_num  22520 22821
1376.70/1379.84	c Use LS-small
1376.70/1379.84	restart_num  22821 23122
1393.56/1396.75	c Use LS-small
1393.56/1396.75	restart_num  23122 23424
1411.43/1414.64	c Use LS-small
1411.43/1414.64	restart_num  23424 23726
1427.88/1431.15	c Use LS-small
1427.88/1431.15	restart_num  23726 24027
1445.25/1448.57	c Use LS-small
1445.25/1448.57	restart_num  24027 24328
1478.46/1481.89	c Use LS-small
1478.46/1481.89	restart_num  24328 24632
1495.02/1498.44	c Use LS-small
1495.02/1498.44	restart_num  24632 24937
1511.99/1515.50	c Use LS-small
1511.99/1515.50	restart_num  24937 25241
1528.56/1532.04	c Use LS-small
1528.56/1532.04	restart_num  25241 25549
1546.82/1550.30	c Use LS-small
1546.82/1550.30	restart_num  25549 25855
1563.88/1567.45	c Use LS-small
1563.88/1567.45	restart_num  25855 26159
1580.54/1584.13	c Use LS-small
1580.54/1584.13	restart_num  26159 26470
1600.59/1604.27	c Use LS-small
1600.59/1604.27	restart_num  26470 26775
1617.36/1621.03	c Use LS-small
1617.36/1621.03	restart_num  26775 27085
1634.61/1638.38	c Use LS-small
1634.61/1638.38	restart_num  27085 27389
1652.67/1656.47	c Use LS-small
1652.67/1656.47	restart_num  27389 27691
1669.54/1673.32	c Use LS-small
1669.54/1673.32	restart_num  27691 27992
1686.60/1690.44	c Use LS-small
1686.60/1690.44	restart_num  27992 28299
1702.76/1706.69	c Use LS-small
1702.76/1706.69	restart_num  28299 28604
1727.21/1731.11	c Use LS-small
1727.21/1731.11	restart_num  28604 28905
1744.27/1748.20	c Use LS-small
1744.27/1748.20	restart_num  28905 29209
1760.53/1764.57	c Use LS-small
1760.53/1764.57	restart_num  29209 29510
1778.39/1782.47	c Use LS-small
1778.39/1782.47	restart_num  29510 29814
1795.15/1799.21	c Use LS-small
1795.15/1799.21	restart_num  29814 30115
1812.02/1816.18	c Use LS-small
1812.02/1816.18	restart_num  30115 30417
1832.67/1836.80	c Use LS-small
1832.67/1836.80	restart_num  30417 30723
1848.83/1853.01	c Use LS-small
1848.83/1853.01	restart_num  30723 31025
1865.59/1869.88	c Use LS-small
1865.59/1869.88	restart_num  31025 31328
1882.16/1886.48	c Use LS-small
1882.16/1886.48	restart_num  31328 31634
1900.22/1904.56	c Use LS-small
1900.22/1904.56	restart_num  31634 31944
1917.08/1921.42	c Use LS-small
1917.08/1921.42	restart_num  31944 32247
1934.24/1938.67	c Use LS-small
1934.24/1938.67	restart_num  32247 32552
2020.33/2024.97	c Use LS-small
2020.33/2024.97	restart_num  32552 32857
2036.99/2041.61	c Use LS-small
2036.99/2041.61	restart_num  32857 33160
2054.05/2058.78	c Use LS-small
2054.05/2058.78	restart_num  33160 33463
2071.02/2075.78	c Use LS-small
2071.02/2075.78	restart_num  33463 33766
2089.48/2094.25	c Use LS-small
2089.48/2094.25	restart_num  33766 34067
2106.54/2111.35	c Use LS-small
2106.54/2111.35	restart_num  34067 34368
2122.80/2127.68	c Use LS-small
2122.80/2127.68	restart_num  34368 34670
2143.26/2148.12	c Use LS-small
2143.26/2148.12	restart_num  34670 34978
2159.61/2164.50	c Use LS-small
2159.61/2164.50	restart_num  34978 35279
2176.88/2181.82	c Use LS-small
2176.88/2181.82	restart_num  35279 35582
2194.73/2199.72	c Use LS-small
2194.73/2199.72	restart_num  35582 35885
2210.90/2216.00	c Use LS-small
2210.90/2216.00	restart_num  35885 36189
2228.16/2233.25	c Use LS-small
2228.16/2233.25	restart_num  36189 36494
2244.62/2249.71	c Use LS-small
2244.62/2249.71	restart_num  36494 36795
2268.87/2274.09	c Use LS-small
2268.87/2274.09	restart_num  36795 37096
2286.22/2291.48	c Use LS-small
2286.22/2291.48	restart_num  37096 37408
2302.79/2308.07	c Use LS-small
2302.79/2308.07	restart_num  37408 37714
2320.85/2326.18	c Use LS-small
2320.85/2326.18	restart_num  37714 38016
2337.11/2342.47	c Use LS-small
2337.11/2342.47	restart_num  38016 38323
2354.17/2359.58	c Use LS-small
2354.17/2359.58	restart_num  38323 38635
2374.63/2380.02	c Use LS-small
2374.63/2380.02	restart_num  38635 38938
2391.08/2396.59	c Use LS-small
2391.08/2396.59	restart_num  38938 39239
2407.84/2413.37	c Use LS-small
2407.84/2413.37	restart_num  39239 39542
2424.51/2430.09	c Use LS-small
2424.51/2430.09	restart_num  39542 39845
2443.47/2449.06	c Use LS-small
2443.47/2449.06	restart_num  39845 40150
2460.63/2466.29	c Use LS-small
2460.63/2466.29	restart_num  40150 40460
2477.09/2482.76	c Use LS-small
2477.09/2482.76	restart_num  40460 40764
2510.61/2516.31	c Use LS-small
2510.61/2516.31	restart_num  40764 41065
2527.07/2532.84	c Use LS-small
2527.07/2532.84	restart_num  41065 41368
2543.94/2549.72	c Use LS-small
2543.94/2549.72	restart_num  41368 41672
2560.10/2565.97	c Use LS-small
2560.10/2565.97	restart_num  41672 41973
2578.56/2584.47	c Use LS-small
2578.56/2584.47	restart_num  41973 42279
2595.42/2601.38	c Use LS-small
2595.42/2601.38	restart_num  42279 42582
2612.09/2618.01	c Use LS-small
2612.09/2618.01	restart_num  42582 42890
2631.94/2637.99	c Use LS-small
2631.94/2637.99	restart_num  42890 43193
2648.60/2654.66	c Use LS-small
2648.60/2654.66	restart_num  43193 43494
2666.07/2672.13	c Use LS-small
2666.07/2672.13	restart_num  43494 43795
2684.03/2690.10	c Use LS-small
2684.03/2690.10	restart_num  43795 44098
2700.49/2706.62	c Use LS-small
2700.49/2706.62	restart_num  44098 44403
2717.74/2723.97	c Use LS-small
2717.74/2723.97	restart_num  44403 44708
2734.41/2740.63	c Use LS-small
2734.41/2740.63	restart_num  44708 45017
2759.15/2765.42	c Use LS-small
2759.15/2765.42	restart_num  45017 45322
2775.91/2782.26	c Use LS-small
2775.91/2782.26	restart_num  45322 45631
2792.37/2798.74	c Use LS-small
2792.37/2798.74	restart_num  45631 45933
2810.34/2816.72	c Use LS-small
2810.34/2816.72	restart_num  45933 46242
2826.60/2833.09	c Use LS-small
2826.60/2833.09	restart_num  46242 46546
2843.97/2850.45	c Use LS-small
2843.97/2850.45	restart_num  46546 46854
2864.21/2870.78	c Use LS-small
2864.21/2870.78	restart_num  46854 47167
2881.07/2887.68	c Use LS-small
2881.07/2887.68	restart_num  47167 47468
2898.54/2905.10	c Use LS-small
2898.54/2905.10	restart_num  47468 47778
2915.00/2921.65	c Use LS-small
2915.00/2921.65	restart_num  47778 48079
2933.26/2939.95	c Use LS-small
2933.26/2939.95	restart_num  48079 48380
2949.92/2956.69	c Use LS-small
2949.92/2956.69	restart_num  48380 48682
2966.79/2973.59	c Use LS-small
2966.79/2973.59	restart_num  48682 48983
3016.86/3023.74	c Use LS-small
3016.86/3023.74	restart_num  48983 49287
3033.23/3040.14	c Use LS-small
3033.23/3040.14	restart_num  49287 49588
3050.09/3057.04	c Use LS-small
3050.09/3057.04	restart_num  49588 49895
3068.35/3075.39	c Use LS-small
3068.35/3075.39	restart_num  49895 50197
3084.81/3091.81	c Use LS-small
3084.81/3091.81	restart_num  50197 50498
3101.38/3108.46	c Use LS-small
3101.38/3108.46	restart_num  50498 50799
3117.84/3124.94	c Use LS-small
3117.84/3124.94	restart_num  50799 51101
3137.59/3144.76	c Use LS-small
3137.59/3144.76	restart_num  51101 51402
3154.86/3162.01	c Use LS-small
3154.86/3162.01	restart_num  51402 51707
3171.12/3178.36	c Use LS-small
3171.12/3178.36	restart_num  51707 52008
3189.08/3196.38	c Use LS-small
3189.08/3196.38	restart_num  52008 52313
3205.75/3213.05	c Use LS-small
3205.75/3213.05	restart_num  52313 52625
3222.71/3230.07	c Use LS-small
3222.71/3230.07	restart_num  52625 52927
3238.97/3246.39	c Use LS-small
3238.97/3246.39	restart_num  52927 53228
3263.82/3271.27	c Use LS-small
3263.82/3271.27	restart_num  53228 53530
3280.59/3288.07	c Use LS-small
3280.59/3288.07	restart_num  53530 53832
3297.05/3304.50	c Use LS-small
3297.05/3304.50	restart_num  53832 54135
3315.02/3322.58	c Use LS-small
3315.02/3322.58	restart_num  54135 54443
3331.29/3338.87	c Use LS-small
3331.29/3338.87	restart_num  54443 54752
3348.56/3356.14	c Use LS-small
3348.56/3356.14	restart_num  54752 55054
3368.81/3376.45	c Use LS-small
3368.81/3376.45	restart_num  55054 55361
3385.08/3392.77	c Use LS-small
3385.08/3392.77	restart_num  55361 55663
3402.24/3409.96	c Use LS-small
3402.24/3409.96	restart_num  55663 55969
3418.71/3426.43	c Use LS-small
3418.71/3426.43	restart_num  55969 56275
3436.98/3444.70	c Use LS-small
3436.98/3444.70	restart_num  56275 56580
3453.74/3461.55	c Use LS-small
3453.74/3461.55	restart_num  56580 56886
3470.10/3477.94	c Use LS-small
3470.10/3477.94	restart_num  56886 57187
3503.14/3511.09	c Use LS-small
3503.14/3511.09	restart_num  57187 57492
3519.51/3527.49	c Use LS-small
3519.51/3527.49	restart_num  57492 57796
3536.38/3544.34	c Use LS-small
3536.38/3544.34	restart_num  57796 58101
3554.83/3562.89	c Use LS-small
3554.83/3562.89	restart_num  58101 58406
3571.20/3579.23	c Use LS-small
3571.20/3579.23	restart_num  58406 58709
3588.26/3596.37	c Use LS-small
3588.26/3596.37	restart_num  58709 59010

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (61698 MiB free)
  memory of node 1: 64465 MiB (59642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545829-1753260350/watcher-4545829-1753260350 -o /tmp/evaluation-result-4545829-1753260350/solver-4545829-1753260350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545829-1753260350.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=157012, runsolver pid=157009

[startup+0.100056 s]*
/proc/loadavg: 4.11 3.68 2.15 5/267 157013
/proc/meminfo: memFree=124251728/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=0.09 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 8 1 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+0.205476 s]*
/proc/loadavg: 4.11 3.68 2.15 5/267 157013
/proc/meminfo: memFree=124251728/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=0.19 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 18 1 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+0.304696 s]*
/proc/loadavg: 4.11 3.68 2.15 5/265 157013
/proc/meminfo: memFree=124251728/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=0.29 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 26 3 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+0.700098 s]
/proc/loadavg: 4.11 3.68 2.15 5/265 157013
/proc/meminfo: memFree=124251476/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=0.68 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 61 7 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+1.5001 s]
/proc/loadavg: 4.11 3.68 2.15 5/265 157013
/proc/meminfo: memFree=124251476/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=1.48 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 135 13 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+3.1049 s]
/proc/loadavg: 4.10 3.68 2.16 5/265 157013
/proc/meminfo: memFree=124251728/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=3.08 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 281 27 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+6.3001 s]
/proc/loadavg: 4.10 3.68 2.16 5/265 157013
/proc/meminfo: memFree=124251864/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=6.27 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 569 58 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 3.70 2.18 5/265 157013
/proc/meminfo: memFree=124251864/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=89652 memory=16864 CPUtime=12.65 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 2195 0 0 0 1146 119 0 0 20 0 1 0 241713643 91803648 4216 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 22413 4216 2496 595 0 7080 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16864 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 3.71 2.20 5/265 157013
/proc/meminfo: memFree=124246580/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=92304 memory=22280 CPUtime=25.43 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 3006 0 0 0 2311 232 0 0 20 0 1 0 241713643 94519296 5570 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 23076 5570 2528 595 0 7743 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 92304 KiB
Current children cumulated memory: 22280 KiB

[startup+51.1052 s]
/proc/loadavg: 4.05 3.73 2.25 5/265 157014
/proc/meminfo: memFree=124214084/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=94052 memory=24072 CPUtime=50.97 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 3447 0 0 0 4648 449 0 0 20 0 1 0 241713643 96309248 6018 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 23513 6018 2528 595 0 8180 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 94052 KiB
Current children cumulated memory: 24072 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 3.79 2.36 5/265 157015
/proc/meminfo: memFree=124214636/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=95324 memory=25480 CPUtime=102.06 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 3793 0 0 0 9322 884 0 0 20 0 1 0 241713643 97611776 6370 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 23831 6370 2528 595 0 8498 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 25480 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 3.86 2.47 5/266 157018
/proc/meminfo: memFree=124211960/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=96476 memory=26632 CPUtime=161.93 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 4083 0 0 0 14810 1383 0 0 20 0 1 0 241713643 98791424 6658 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24119 6658 2528 595 0 8786 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 96476 KiB
Current children cumulated memory: 26632 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 3.99 2.60 5/266 157020
/proc/meminfo: memFree=124201316/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=97296 memory=27272 CPUtime=221.79 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 4265 0 0 0 20306 1873 0 0 20 0 1 0 241713643 99631104 6818 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24324 6818 2528 595 0 8991 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 97296 KiB
Current children cumulated memory: 27272 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.02 2.70 5/267 157023
/proc/meminfo: memFree=124214376/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=98744 memory=28936 CPUtime=281.66 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 4658 0 0 0 25837 2329 0 0 20 0 1 0 241713643 101113856 7234 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24686 7234 2528 595 0 9353 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 98744 KiB
Current children cumulated memory: 28936 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.03 2.79 5/264 157025
/proc/meminfo: memFree=124207416/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=99128 memory=29192 CPUtime=341.53 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 4737 0 0 0 31308 2845 0 0 20 0 1 0 241713643 101507072 7298 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24782 7298 2528 595 0 9449 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 99128 KiB
Current children cumulated memory: 29192 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.05 2.88 5/264 157027
/proc/meminfo: memFree=124211648/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=99232 memory=29472 CPUtime=401.39 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 5020 0 0 0 36820 3319 0 0 20 0 1 0 241713643 101613568 7368 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24808 7368 2528 595 0 9475 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 99232 KiB
Current children cumulated memory: 29472 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.06 2.96 5/263 157029
/proc/meminfo: memFree=124192920/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=99472 memory=29748 CPUtime=461.27 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 6538 0 0 0 42300 3827 0 0 20 0 1 0 241713643 101859328 7437 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 24868 7437 2528 595 0 9535 0
Current children cumulated CPU time: 461.27 s

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

[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.07 5/263 157322
/proc/meminfo: memFree=124518324/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=108976 memory=39216 CPUtime=3095.3 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 168146 0 0 0 285386 24144 0 0 20 0 1 0 241713643 111591424 9804 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27244 9804 2528 595 0 11911 0
Current children cumulated CPU time: 3095.3 s
Current children cumulated vsize: 108976 KiB
Current children cumulated memory: 39216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 157368
/proc/meminfo: memFree=124132632/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109344 memory=39492 CPUtime=3155.15 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 170013 0 0 0 290892 24623 0 0 20 0 1 0 241713643 111968256 9873 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27336 9873 2528 595 0 12003 0
Current children cumulated CPU time: 3155.15 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 39492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/263 157415
/proc/meminfo: memFree=121096120/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109088 memory=39328 CPUtime=3215.02 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 171603 0 0 0 296365 25137 0 0 20 0 1 0 241713643 111706112 9832 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27272 9832 2528 595 0 11939 0
Current children cumulated CPU time: 3215.02 s
Current children cumulated vsize: 109088 KiB
Current children cumulated memory: 39328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 157462
/proc/meminfo: memFree=120929372/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109184 memory=39424 CPUtime=3274.89 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 179028 0 0 0 301893 25596 0 0 20 0 1 0 241713643 111804416 9856 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27296 9856 2528 595 0 11963 0
Current children cumulated CPU time: 3274.89 s
Current children cumulated vsize: 109184 KiB
Current children cumulated memory: 39424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 157464
/proc/meminfo: memFree=120664688/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109220 memory=39460 CPUtime=3334.78 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 182314 0 0 0 307399 26079 0 0 20 0 1 0 241713643 111841280 9865 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27305 9865 2528 595 0 11972 0
Current children cumulated CPU time: 3334.78 s
Current children cumulated vsize: 109220 KiB
Current children cumulated memory: 39460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 157466
/proc/meminfo: memFree=120545544/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109284 memory=39524 CPUtime=3394.65 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 187866 0 0 0 312897 26568 0 0 20 0 1 0 241713643 111906816 9881 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27321 9881 2528 595 0 11988 0
Current children cumulated CPU time: 3394.65 s
Current children cumulated vsize: 109284 KiB
Current children cumulated memory: 39524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 157468
/proc/meminfo: memFree=120516048/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109412 memory=39652 CPUtime=3454.54 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 193876 0 0 0 318404 27050 0 0 20 0 1 0 241713643 112037888 9913 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27353 9913 2528 595 0 12020 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 109412 KiB
Current children cumulated memory: 39652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 157470
/proc/meminfo: memFree=120478432/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3514.42 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 203766 0 0 0 323985 27457 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3514.42 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 157474
/proc/meminfo: memFree=120408268/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3574.3 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 209309 0 0 0 329486 27944 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.1 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 157475
/proc/meminfo: memFree=120416444/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3600.05 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 210751 0 0 0 331825 28180 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3610.11 s]
# the end of solver process 157012 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3320.06 s, system=281.997 s

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

[startup+3608.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 157475
/proc/meminfo: memFree=120416444/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3600.75 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 210751 0 0 0 331888 28187 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

[startup+3609.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 157476
/proc/meminfo: memFree=120420332/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3601.54 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 210751 0 0 0 331960 28194 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

[startup+3610 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 157476
/proc/meminfo: memFree=120423812/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3601.94 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 210751 0 0 0 331996 28198 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

[startup+3610.1 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 157476
/proc/meminfo: memFree=120423812/131250000 swapFree=33010672/33010684
[pid=157012] ppid=157009 vsize=109636 memory=39876 CPUtime=3602.04 cores=0,2
/proc/157012/stat : 157012 (SynLSCD) R 157009 157012 156365 0 -1 4194304 210751 0 0 0 332005 28199 0 0 20 0 1 0 241713643 112267264 9969 18446744073709551615 93955552927744 93955555362345 140721291361504 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93955555843320 93955555876352 93955593101312 140721291368835 140721291368970 140721291368970 140721291374574 0
/proc/157012/statm: 27409 9969 2528 595 0 12076 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 109636 KiB
Current children cumulated memory: 39876 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.11
CPU time (s): 3602.06
CPU user time (s): 3320.06
CPU system time (s): 281.997
CPU usage (%): 99.777
Max. virtual memory (cumulated for all children) (KiB): 110180
Max. memory (cumulated for all children) (KiB): 40228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3320.06
system time used= 281.997
maximum resident set size= 40260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 7928


# summary of solver processes directly reported to runsolver:
#   pid: 157012
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3320.06
#   total CPU system time (s): 281.997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04889 second user time and 13.1214 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-23 10:45:50
IDJOB=4545829
IDBENCH=160366
IDSOLVER=3421
FILE ID=nodeC026/4545829-1753260350
RUNJOBID= nodeC026-1753259701-156382
SLURM_JOB_ID= 9689181
Free space on /tmp= 433016 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545829-1753260350/watcher-4545829-1753260350 -o /tmp/evaluation-result-4545829-1753260350/solver-4545829-1753260350 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545829-1753260350.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=1834945035

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3417.234
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.789
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.597
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.372
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.788
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.863
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.715
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3585.519
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124253716 kB
MemAvailable:   129235872 kB
Buffers:            2128 kB
Cached:          5606756 kB
SwapCached:            4 kB
Active:          1564200 kB
Inactive:        4464620 kB
Active(anon):     440860 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4459276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3468 kB
Writeback:             0 kB
AnonPages:        423044 kB
Mapped:           121132 kB
Shmem:             26268 kB
KReclaimable:     460340 kB
Slab:             564352 kB
SReclaimable:     460340 kB
SUnreclaim:       104012 kB
KernelStack:        4352 kB
PageTables:         3976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     813780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC026 at 2025-07-23 11:46:00