Trace number 4510018

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-06-01? (TO) 3600.05 3609.6

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
MD5SUMd0c8f70b306f746a2531c5dc399515b9
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 benchmark69.8416
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185
Total number of constraints380
Number of constraints which are clauses380
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 constraint3
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.30	c #vars 185 #constraints 380 2.05405 0
0.00/0.30	c 380 constraints
0.00/0.30	c Finish cloning data from SAT to LS
0.00/0.30	c restart_num_ls  -100000 0
10.45/10.88	c Use LS-small
10.45/10.88	restart_num  0 301
10.45/10.88	LS-restart 90 33
23.31/23.78	c Use LS-small
23.31/23.78	restart_num  301 610
23.31/23.78	LS-restart 80 81
34.89/35.33	c Use LS-small
34.89/35.33	restart_num  610 924
34.89/35.33	LS-restart 70 33
51.04/51.50	c Use LS-small
51.04/51.50	restart_num  924 1235
51.04/51.50	LS-restart 60 0
65.09/65.60	c Use LS-small
65.09/65.60	restart_num  1235 1536
65.09/65.60	LS-restart 50 79
76.66/77.28	c Use LS-small
76.66/77.28	restart_num  1536 1838
76.66/77.28	LS-restart 40 23
99.59/100.20	c Use LS-small
99.59/100.20	restart_num  1838 2140
99.59/100.20	LS-restart 30 96
111.96/112.65	c Use LS-small
111.96/112.65	restart_num  2140 2442
111.96/112.65	LS-restart 20 53
125.92/126.61	c Use LS-small
125.92/126.61	restart_num  2442 2748
125.92/126.61	LS-restart 10 26
143.66/144.48	c Use LS-small
143.66/144.48	restart_num  2748 3073
155.93/156.73	c Use LS-small
155.93/156.73	restart_num  3073 3375
169.00/169.82	c Use LS-small
169.00/169.82	restart_num  3375 3684
181.45/182.37	c Use LS-small
181.45/182.37	restart_num  3684 3985
218.45/219.40	c Use LS-small
218.45/219.40	restart_num  3985 4288
230.41/231.46	c Use LS-small
230.41/231.46	restart_num  4288 4592
244.67/245.73	c Use LS-small
244.67/245.73	restart_num  4592 4896
261.62/262.75	c Use LS-small
261.62/262.75	restart_num  4896 5219
273.99/275.17	c Use LS-small
273.99/275.17	restart_num  5219 5524
287.75/288.99	c Use LS-small
287.75/288.99	restart_num  5524 5830
299.31/300.59	c Use LS-small
299.31/300.59	restart_num  5830 6131
323.15/324.43	c Use LS-small
323.15/324.43	restart_num  6131 6436
336.51/337.89	c Use LS-small
336.51/337.89	restart_num  6436 6739
348.97/350.31	c Use LS-small
348.97/350.31	restart_num  6739 7059
365.52/366.99	c Use LS-small
365.52/366.99	restart_num  7059 7365
377.59/379.03	c Use LS-small
377.59/379.03	restart_num  7365 7670
391.75/393.29	c Use LS-small
391.75/393.29	restart_num  7670 7971
455.94/457.67	c Use LS-small
455.94/457.67	restart_num  7971 8290
468.81/470.59	c Use LS-small
468.81/470.59	restart_num  8290 8591
483.97/485.75	c Use LS-small
483.97/485.75	restart_num  8591 8929
502.61/504.48	c Use LS-small
502.61/504.48	restart_num  8929 9254
515.28/517.13	c Use LS-small
515.28/517.13	restart_num  9254 9559
529.83/531.73	c Use LS-small
529.83/531.73	restart_num  9559 9863
542.10/544.01	c Use LS-small
542.10/544.01	restart_num  9863 10182
567.92/569.96	c Use LS-small
567.92/569.96	restart_num  10182 10493
582.28/584.35	c Use LS-small
582.28/584.35	restart_num  10493 10820
594.24/596.38	c Use LS-small
594.24/596.38	restart_num  10820 11121
611.50/613.63	c Use LS-small
611.50/613.63	restart_num  11121 11422
624.36/626.51	c Use LS-small
624.36/626.51	restart_num  11422 11728
639.11/641.33	c Use LS-small
639.11/641.33	restart_num  11728 12037
676.40/678.72	c Use LS-small
676.40/678.72	restart_num  12037 12338
689.26/691.64	c Use LS-small
689.26/691.64	restart_num  12338 12639
704.42/706.86	c Use LS-small
704.42/706.86	restart_num  12639 13000
722.57/725.09	c Use LS-small
722.57/725.09	restart_num  13000 13315
734.83/737.37	c Use LS-small
734.83/737.37	restart_num  13315 13622
748.69/751.29	c Use LS-small
748.69/751.29	restart_num  13622 13931
761.35/763.94	c Use LS-small
761.35/763.94	restart_num  13931 14236
784.78/787.49	c Use LS-small
784.78/787.49	restart_num  14236 14545
799.64/802.39	c Use LS-small
799.64/802.39	restart_num  14545 14847
811.71/814.41	c Use LS-small
811.71/814.41	restart_num  14847 15152
828.66/831.45	c Use LS-small
828.66/831.45	restart_num  15152 15453
841.33/844.12	c Use LS-small
841.33/844.12	restart_num  15453 15758
855.19/858.03	c Use LS-small
855.19/858.03	restart_num  15758 16072
867.45/870.30	c Use LS-small
867.45/870.30	restart_num  16072 16374
992.26/995.57	c Use LS-small
992.26/995.57	restart_num  16374 16684
1007.61/1010.95	c Use LS-small
1007.61/1010.95	restart_num  16684 17033
1019.78/1023.19	c Use LS-small
1019.78/1023.19	restart_num  17033 17342
1036.83/1040.29	c Use LS-small
1036.83/1040.29	restart_num  17342 17649
1052.18/1055.63	c Use LS-small
1052.18/1055.63	restart_num  17649 17967
1065.65/1069.13	c Use LS-small
1065.65/1069.13	restart_num  17967 18312
1089.68/1093.21	c Use LS-small
1089.68/1093.21	restart_num  18312 18614
1105.53/1109.19	c Use LS-small
1105.53/1109.19	restart_num  18614 18942
1117.99/1121.63	c Use LS-small
1117.99/1121.63	restart_num  18942 19243
1135.25/1138.95	c Use LS-small
1135.25/1138.95	restart_num  19243 19554
1148.12/1151.82	c Use LS-small
1148.12/1151.82	restart_num  19554 19859
1162.19/1165.90	c Use LS-small
1162.19/1165.90	restart_num  19859 20170
1201.00/1204.85	c Use LS-small
1201.00/1204.85	restart_num  20170 20483
1212.86/1216.72	c Use LS-small
1212.86/1216.72	restart_num  20483 20791
1227.53/1231.45	c Use LS-small
1227.53/1231.45	restart_num  20791 21102
1241.60/1245.54	c Use LS-small
1241.60/1245.54	restart_num  21102 21405
1259.26/1263.23	c Use LS-small
1259.26/1263.23	restart_num  21405 21710
1275.42/1279.46	c Use LS-small
1275.42/1279.46	restart_num  21710 22022
1288.79/1292.86	c Use LS-small
1288.79/1292.86	restart_num  22022 22336
1313.33/1317.45	c Use LS-small
1313.33/1317.45	restart_num  22336 22640
1326.80/1330.99	c Use LS-small
1326.80/1330.99	restart_num  22640 22973
1342.76/1346.90	c Use LS-small
1342.76/1346.90	restart_num  22973 23296
1360.61/1364.80	c Use LS-small
1360.61/1364.80	restart_num  23296 23601
1373.79/1378.07	c Use LS-small
1373.79/1378.07	restart_num  23601 23902
1387.95/1392.25	c Use LS-small
1387.95/1392.25	restart_num  23902 24210
1400.32/1404.67	c Use LS-small
1400.32/1404.67	restart_num  24210 24521
1469.45/1473.98	c Use LS-small
1469.45/1473.98	restart_num  24521 24849
1484.22/1488.71	c Use LS-small
1484.22/1488.71	restart_num  24849 25172
1497.28/1501.81	c Use LS-small
1497.28/1501.81	restart_num  25172 25474
1514.34/1518.96	c Use LS-small
1514.34/1518.96	restart_num  25474 25781
1527.21/1531.81	c Use LS-small
1527.21/1531.81	restart_num  25781 26082
1543.27/1547.98	c Use LS-small
1543.27/1547.98	restart_num  26082 26426
1567.32/1572.00	c Use LS-small
1567.32/1572.00	restart_num  26426 26733
1579.98/1584.79	c Use LS-small
1579.98/1584.79	restart_num  26733 27037
1594.55/1599.35	c Use LS-small
1594.55/1599.35	restart_num  27037 27344
1614.70/1619.59	c Use LS-small
1614.70/1619.59	restart_num  27344 27655
1628.47/1633.32	c Use LS-small
1628.47/1633.32	restart_num  27655 27984
1643.54/1648.48	c Use LS-small
1643.54/1648.48	restart_num  27984 28294
1656.11/1661.09	c Use LS-small
1656.11/1661.09	restart_num  28294 28611
1695.50/1700.56	c Use LS-small
1695.50/1700.56	restart_num  28611 28918
1711.37/1716.47	c Use LS-small
1711.37/1716.47	restart_num  28918 29222
1723.54/1728.65	c Use LS-small
1723.54/1728.65	restart_num  29222 29524
1741.10/1746.21	c Use LS-small
1741.10/1746.21	restart_num  29524 29828
1753.17/1758.36	c Use LS-small
1753.17/1758.36	restart_num  29828 30130
1769.53/1774.70	c Use LS-small
1769.53/1774.70	restart_num  30130 30458
1793.57/1798.88	c Use LS-small
1793.57/1798.88	restart_num  30458 30769
1806.25/1811.53	c Use LS-small
1806.25/1811.53	restart_num  30769 31076
1820.91/1826.23	c Use LS-small
1820.91/1826.23	restart_num  31076 31381
1834.08/1839.47	c Use LS-small
1834.08/1839.47	restart_num  31381 31690
1853.93/1859.30	c Use LS-small
1853.93/1859.30	restart_num  31690 31999
1868.00/1873.49	c Use LS-small
1868.00/1873.49	restart_num  31999 32304
1880.97/1886.47	c Use LS-small
1880.97/1886.47	restart_num  32304 32611
2126.54/2132.62	c Use LS-small
2126.54/2132.62	restart_num  32611 32915
2139.81/2145.96	c Use LS-small
2139.81/2145.96	restart_num  32915 33219
2156.07/2162.24	c Use LS-small
2156.07/2162.24	restart_num  33219 33534
2173.83/2180.00	c Use LS-small
2173.83/2180.00	restart_num  33534 33837
2187.10/2193.37	c Use LS-small
2187.10/2193.37	restart_num  33837 34152
2202.06/2208.35	c Use LS-small
2202.06/2208.35	restart_num  34152 34460
2215.54/2221.82	c Use LS-small
2215.54/2221.82	restart_num  34460 34780
2242.07/2248.45	c Use LS-small
2242.07/2248.45	restart_num  34780 35087
2256.64/2263.10	c Use LS-small
2256.64/2263.10	restart_num  35087 35391
2270.61/2277.03	c Use LS-small
2270.61/2277.03	restart_num  35391 35708
2288.86/2295.32	c Use LS-small
2288.86/2295.32	restart_num  35708 36013
2305.62/2312.16	c Use LS-small
2305.62/2312.16	restart_num  36013 36355
2318.40/2324.93	c Use LS-small
2318.40/2324.93	restart_num  36355 36668
2359.79/2366.44	c Use LS-small
2359.79/2366.44	restart_num  36668 36970
2374.26/2380.90	c Use LS-small
2374.26/2380.90	restart_num  36970 37283
2388.92/2395.64	c Use LS-small
2388.92/2395.64	restart_num  37283 37585
2408.08/2414.85	c Use LS-small
2408.08/2414.85	restart_num  37585 37889
2420.45/2427.25	c Use LS-small
2420.45/2427.25	restart_num  37889 38190
2434.61/2441.43	c Use LS-small
2434.61/2441.43	restart_num  38190 38499
2447.88/2454.74	c Use LS-small
2447.88/2454.74	restart_num  38499 38822
2474.12/2481.03	c Use LS-small
2474.12/2481.03	restart_num  38822 39123
2489.58/2496.54	c Use LS-small
2489.58/2496.54	restart_num  39123 39424
2502.17/2509.13	c Use LS-small
2502.17/2509.13	restart_num  39424 39765
2521.71/2528.74	c Use LS-small
2521.71/2528.74	restart_num  39765 40112
2534.78/2541.82	c Use LS-small
2534.78/2541.82	restart_num  40112 40416
2550.65/2557.72	c Use LS-small
2550.65/2557.72	restart_num  40416 40722
2623.66/2630.92	c Use LS-small
2623.66/2630.92	restart_num  40722 41024
2636.54/2643.85	c Use LS-small
2636.54/2643.85	restart_num  41024 41331
2651.20/2658.50	c Use LS-small
2651.20/2658.50	restart_num  41331 41637
2663.87/2671.27	c Use LS-small
2663.87/2671.27	restart_num  41637 41941
2683.53/2690.93	c Use LS-small
2683.53/2690.93	restart_num  41941 42243
2698.09/2705.50	c Use LS-small
2698.09/2705.50	restart_num  42243 42550
2711.06/2718.59	c Use LS-small
2711.06/2718.59	restart_num  42550 42856
2736.80/2744.38	c Use LS-small
2736.80/2744.38	restart_num  42856 43157
2749.57/2757.16	c Use LS-small
2749.57/2757.16	restart_num  43157 43469
2765.73/2773.34	c Use LS-small
2765.73/2773.34	restart_num  43469 43777
2783.40/2791.07	c Use LS-small
2783.40/2791.07	restart_num  43777 44080
2796.47/2804.17	c Use LS-small
2796.47/2804.17	restart_num  44080 44385
2811.52/2819.28	c Use LS-small
2811.52/2819.28	restart_num  44385 44690
2824.69/2832.45	c Use LS-small
2824.69/2832.45	restart_num  44690 45008
2865.00/2872.85	c Use LS-small
2865.00/2872.85	restart_num  45008 45321
2879.46/2887.37	c Use LS-small
2879.46/2887.37	restart_num  45321 45636
2891.84/2899.75	c Use LS-small
2891.84/2899.75	restart_num  45636 45938
2910.39/2918.38	c Use LS-small
2910.39/2918.38	restart_num  45938 46268
2923.16/2931.12	c Use LS-small
2923.16/2931.12	restart_num  46268 46574
2939.13/2947.14	c Use LS-small
2939.13/2947.14	restart_num  46574 46884
2964.86/2972.93	c Use LS-small
2964.86/2972.93	restart_num  46884 47186
2979.03/2987.13	c Use LS-small
2979.03/2987.13	restart_num  47186 47489
2993.70/3001.83	c Use LS-small
2993.70/3001.83	restart_num  47489 47795
3007.06/3015.22	c Use LS-small
3007.06/3015.22	restart_num  47795 48098
3027.21/3035.42	c Use LS-small
3027.21/3035.42	restart_num  48098 48402
3041.38/3049.68	c Use LS-small
3041.38/3049.68	restart_num  48402 48704
3053.95/3062.22	c Use LS-small
3053.95/3062.22	restart_num  48704 49005
3184.33/3192.95	c Use LS-small
3184.33/3192.95	restart_num  49005 49313
3197.70/3206.32	c Use LS-small
3197.70/3206.32	restart_num  49313 49622
3213.76/3222.46	c Use LS-small
3213.76/3222.46	restart_num  49622 49940
3232.12/3240.83	c Use LS-small
3232.12/3240.83	restart_num  49940 50242
3244.99/3253.76	c Use LS-small
3244.99/3253.76	restart_num  50242 50549
3260.85/3269.63	c Use LS-small
3260.85/3269.63	restart_num  50549 50869
3273.52/3282.31	c Use LS-small
3273.52/3282.31	restart_num  50869 51186
3299.55/3308.47	c Use LS-small
3299.55/3308.47	restart_num  51186 51488
3314.23/3323.11	c Use LS-small
3314.23/3323.11	restart_num  51488 51789
3327.69/3336.62	c Use LS-small
3327.69/3336.62	restart_num  51789 52090
3346.65/3355.69	c Use LS-small
3346.65/3355.69	restart_num  52090 52394
3359.61/3368.67	c Use LS-small
3359.61/3368.67	restart_num  52394 52705
3376.28/3385.30	c Use LS-small
3376.28/3385.30	restart_num  52705 53026
3417.78/3426.95	c Use LS-small
3417.78/3426.95	restart_num  53026 53329
3431.54/3440.78	c Use LS-small
3431.54/3440.78	restart_num  53329 53635
3446.31/3455.57	c Use LS-small
3446.31/3455.57	restart_num  53635 53948
3465.67/3474.93	c Use LS-small
3465.67/3474.93	restart_num  53948 54271
3478.63/3487.95	c Use LS-small
3478.63/3487.95	restart_num  54271 54572
3493.10/3502.49	c Use LS-small
3493.10/3502.49	restart_num  54572 54876
3506.27/3515.62	c Use LS-small
3506.27/3515.62	restart_num  54876 55181
3532.10/3541.54	c Use LS-small
3532.10/3541.54	restart_num  55181 55496
3548.27/3557.73	c Use LS-small
3548.27/3557.73	restart_num  55496 55813
3561.74/3571.27	c Use LS-small
3561.74/3571.27	restart_num  55813 56125
3579.80/3589.31	c Use LS-small
3579.80/3589.31	restart_num  56125 56429
3593.47/3603.04	c Use LS-small
3593.47/3603.04	restart_num  56429 56733
3600.04/3609.60	c Use LS-small
3600.04/3609.60	c Program interrupted by user.
3600.04/3609.60	s UNKNOWN

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 (62340 MiB free)
  memory of node 1: 64465 MiB (63777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510018-1751193826/watcher-4510018-1751193826 -o /tmp/evaluation-result-4510018-1751193826/solver-4510018-1751193826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31849 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510018-1751193826.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
solver pid=31895, runsolver pid=31889
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.57 0.97 1.48 1/267 31908
/proc/meminfo: memFree=129134788/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=27740 memory=1280 CPUtime=0 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) D 31889 31895 31839 0 -1 4194304 112 0 4 0 0 0 0 0 20 0 1 0 35061433 28405760 320 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 6935 320 288 595 0 1117 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27740 KiB
Current children cumulated memory: 1280 KiB

[startup+0.205202 s]*
/proc/loadavg: 0.57 0.97 1.48 1/267 31908
/proc/meminfo: memFree=129128016/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=63796 memory=1792 CPUtime=0 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) D 31889 31895 31839 0 -1 4194304 152 0 11 0 0 0 0 0 20 0 1 0 35061433 65327104 448 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 15949 448 416 595 0 1172 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 63796 KiB
Current children cumulated memory: 1792 KiB

[startup+0.304821 s]*
/proc/loadavg: 0.57 0.97 1.48 5/267 31908
/proc/meminfo: memFree=129121716/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=84272 memory=11648 CPUtime=0 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 690 0 26 0 0 0 0 0 20 0 1 0 35061433 86294528 2912 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB

[startup+0.700117 s]
/proc/loadavg: 0.57 0.97 1.48 5/266 31916
/proc/meminfo: memFree=129114852/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=84272 memory=11648 CPUtime=0.39 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 690 0 26 0 30 9 0 0 20 0 1 0 35061433 86294528 2912 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB

[startup+1.5001 s]
/proc/loadavg: 0.84 1.02 1.50 4/263 31916
/proc/meminfo: memFree=129114724/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=84272 memory=11648 CPUtime=1.18 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 690 0 26 0 91 27 0 0 20 0 1 0 35061433 86294528 2912 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB

[startup+3.10451 s]
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106328/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=84272 memory=11648 CPUtime=2.78 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 690 0 26 0 216 62 0 0 20 0 1 0 35061433 86294528 2912 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB

[startup+6.30009 s]
/proc/loadavg: 1.10 1.07 1.51 5/267 31953
/proc/meminfo: memFree=129100004/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=84272 memory=11648 CPUtime=5.97 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 690 0 26 0 470 127 0 0 20 0 1 0 35061433 86294528 2912 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21068 2912 2496 595 0 5735 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 84272 KiB
Current children cumulated memory: 11648 KiB

[startup+12.7001 s]
/proc/loadavg: 1.33 1.12 1.52 5/267 31953
/proc/meminfo: memFree=129094460/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=86292 memory=16776 CPUtime=12.35 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 1693 0 26 0 1063 172 0 0 20 0 1 0 35061433 88363008 4194 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21573 4194 2528 595 0 6240 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 86292 KiB
Current children cumulated memory: 16776 KiB

[startup+25.5001 s]
/proc/loadavg: 1.82 1.23 1.56 5/267 31953
/proc/meminfo: memFree=129077520/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=87016 memory=17560 CPUtime=25.11 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 2689 0 26 0 2199 312 0 0 20 0 1 0 35061433 89104384 4390 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 21754 4390 2528 595 0 6421 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 87016 KiB
Current children cumulated memory: 17560 KiB

[startup+51.1049 s]
/proc/loadavg: 2.68 1.50 1.63 5/268 31955
/proc/meminfo: memFree=129065104/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=88000 memory=18504 CPUtime=50.64 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 4948 0 26 0 4500 564 0 0 20 0 1 0 35061433 90112000 4626 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22000 4626 2528 595 0 6667 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 18504 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.90 1.77 5/268 31961
/proc/meminfo: memFree=129062248/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=89312 memory=19764 CPUtime=101.69 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 8470 0 26 0 9108 1061 0 0 20 0 1 0 35061433 91455488 4941 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22328 4941 2528 595 0 6995 0
Current children cumulated CPU time: 101.69 s
Current children cumulated vsize: 89312 KiB
Current children cumulated memory: 19764 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.32 1.92 5/267 31967
/proc/meminfo: memFree=129058876/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=89760 memory=20244 CPUtime=161.52 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 11023 0 26 0 14430 1722 0 0 20 0 1 0 35061433 91914240 5061 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22440 5061 2528 595 0 7107 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 20244 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.64 2.06 5/266 31969
/proc/meminfo: memFree=129055084/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=90788 memory=21204 CPUtime=221.34 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 14492 0 26 0 20007 2127 0 0 20 0 1 0 35061433 92966912 5301 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22697 5301 2528 595 0 7364 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 90788 KiB
Current children cumulated memory: 21204 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.92 2.19 5/266 31971
/proc/meminfo: memFree=129050944/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=90916 memory=21332 CPUtime=281.16 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 17037 0 26 0 25346 2770 0 0 20 0 1 0 35061433 93097984 5333 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22729 5333 2528 595 0 7396 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 90916 KiB
Current children cumulated memory: 21332 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.14 2.31 5/265 31973
/proc/meminfo: memFree=129048340/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=91268 memory=21748 CPUtime=341 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 20277 0 26 0 30772 3328 0 0 20 0 1 0 35061433 93458432 5437 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22817 5437 2528 595 0 7484 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 91268 KiB
Current children cumulated memory: 21748 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.43 5/262 31975
/proc/meminfo: memFree=129047244/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=91428 memory=21908 CPUtime=400.82 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 23463 0 26 0 36136 3946 0 0 20 0 1 0 35061433 93622272 5477 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 22857 5477 2528 595 0 7524 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 91428 KiB
Current children cumulated memory: 21908 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.54 5/262 31976
/proc/meminfo: memFree=129044544/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=92324 memory=24788 CPUtime=460.63 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 27177 0 26 0 41940 4123 0 0 20 0 1 0 35061433 94539776 6197 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 23081 6197 2528 595 0 7748 0
Current children cumulated CPU time: 460.63 s

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

Current children cumulated memory: 29984 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.10 4.01 5/264 32105
/proc/meminfo: memFree=129039040/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97616 memory=30080 CPUtime=2854.52 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 158139 0 26 0 263152 22300 0 0 20 0 1 0 35061433 99958784 7520 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24404 7520 2528 595 0 9071 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 97616 KiB
Current children cumulated memory: 30080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.02 5/264 32107
/proc/meminfo: memFree=129038496/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97616 memory=30080 CPUtime=2914.38 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 160620 0 26 0 268601 22837 0 0 20 0 1 0 35061433 99958784 7520 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24404 7520 2528 595 0 9071 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 97616 KiB
Current children cumulated memory: 30080 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/263 32108
/proc/meminfo: memFree=129038200/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97648 memory=30208 CPUtime=2974.24 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 162850 0 26 0 274087 23337 0 0 20 0 1 0 35061433 99991552 7552 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24412 7552 2528 595 0 9079 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 97648 KiB
Current children cumulated memory: 30208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.13 4.03 5/264 32111
/proc/meminfo: memFree=129038140/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97648 memory=30208 CPUtime=3034.1 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 164859 0 26 0 279476 23934 0 0 20 0 1 0 35061433 99991552 7552 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24412 7552 2528 595 0 9079 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 97648 KiB
Current children cumulated memory: 30208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/264 32115
/proc/meminfo: memFree=129042548/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97712 memory=30176 CPUtime=3093.95 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 167674 0 26 0 285120 24275 0 0 20 0 1 0 35061433 100057088 7544 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24428 7544 2528 595 0 9095 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 97712 KiB
Current children cumulated memory: 30176 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/264 32122
/proc/meminfo: memFree=129042572/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=97936 memory=30400 CPUtime=3153.8 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 172130 0 26 0 291026 24354 0 0 20 0 1 0 35061433 100286464 7600 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24484 7600 2528 595 0 9151 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 97936 KiB
Current children cumulated memory: 30400 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 32124
/proc/meminfo: memFree=129042448/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98064 memory=30528 CPUtime=3213.66 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 175334 0 26 0 296676 24690 0 0 20 0 1 0 35061433 100417536 7632 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24516 7632 2528 595 0 9183 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 98064 KiB
Current children cumulated memory: 30528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 32126
/proc/meminfo: memFree=129041916/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98064 memory=30528 CPUtime=3273.52 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 177833 0 26 0 302071 25281 0 0 20 0 1 0 35061433 100417536 7632 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24516 7632 2528 595 0 9183 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 98064 KiB
Current children cumulated memory: 30528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/263 32128
/proc/meminfo: memFree=129041880/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98096 memory=30656 CPUtime=3333.38 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 180171 0 26 0 307483 25855 0 0 20 0 1 0 35061433 100450304 7664 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24524 7664 2528 595 0 9191 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 98096 KiB
Current children cumulated memory: 30656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/264 32131
/proc/meminfo: memFree=129042304/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98096 memory=30656 CPUtime=3393.24 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 182468 0 26 0 313002 26322 0 0 20 0 1 0 35061433 100450304 7664 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24524 7664 2528 595 0 9191 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 98096 KiB
Current children cumulated memory: 30656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 32133
/proc/meminfo: memFree=129041492/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98192 memory=30712 CPUtime=3453.09 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 185772 0 26 0 318533 26776 0 0 20 0 1 0 35061433 100548608 7678 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24548 7678 2528 595 0 9215 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 98192 KiB
Current children cumulated memory: 30712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/264 32136
/proc/meminfo: memFree=129041168/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98192 memory=30712 CPUtime=3512.96 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 189087 0 26 0 323926 27370 0 0 20 0 1 0 35061433 100548608 7678 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24548 7678 2528 595 0 9215 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 98192 KiB
Current children cumulated memory: 30712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 32138
/proc/meminfo: memFree=129041120/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98192 memory=30712 CPUtime=3572.81 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 192728 0 26 0 329446 27835 0 0 20 0 1 0 35061433 100548608 7678 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24548 7678 2528 595 0 9215 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 98192 KiB
Current children cumulated memory: 30712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.13 4.12 4.06 4/260 32148
/proc/meminfo: memFree=129037892/131249992 swapFree=33010684/33010684
[pid=31895] ppid=31889 vsize=98192 memory=30656 CPUtime=3600.04 cores=0,2
/proc/31895/stat : 31895 (SynLSCD) R 31889 31895 31839 0 -1 4194304 194095 0 26 0 331892 28112 0 0 20 0 1 0 35061433 100548608 7664 18446744073709551615 94334620164096 94334622598249 140724142876656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94334623079672 94334623112704 94334645948416 140724142881126 140724142881259 140724142881259 140724142886861 0
/proc/31895/statm: 24548 7664 2528 595 0 9215 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 98192 KiB
Current children cumulated memory: 30656 KiB

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

[startup+3609.6 s]
# the end of solver process 31895 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3318.93 s, system=281.126 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.05
CPU user time (s): 3318.93
CPU system time (s): 281.126
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 98608
Max. memory (cumulated for all children) (KiB): 30840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3318.93
system time used= 281.126
maximum resident set size= 31040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194126
page faults= 26
swaps= 0
block input operations= 12072
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 4540


# summary of solver processes directly reported to runsolver:
#   pid: 31895
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3318.93
#   total CPU system time (s): 281.126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88779 second user time and 12.3638 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 12:43:47
IDJOB=4510018
IDBENCH=159423
IDSOLVER=3369
FILE ID=nodeC025/4510018-1751193826
RUNJOBID= nodeC025-1751193826-31849
SLURM_JOB_ID= 9587592
Free space on /tmp= 433064 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-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-4510018-1751193826/watcher-4510018-1751193826 -o /tmp/evaluation-result-4510018-1751193826/solver-4510018-1751193826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31849 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510018-1751193826.opb

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

MD5SUM BENCH= d0c8f70b306f746a2531c5dc399515b9
RANDOM SEED=1569391300

nodeC025 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		: 3601.334
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.67
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		: 3598.857
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.67
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.846
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.67
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		: 3599.862
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.67
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.839
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.67
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.834
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.67
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		: 3602.572
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.67
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		: 3599.871
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129141784 kB
MemAvailable:   129819904 kB
Buffers:            3280 kB
Cached:          1479452 kB
SwapCached:            0 kB
Active:           327928 kB
Inactive:        1221572 kB
Active(anon):      84632 kB
Inactive(anon):        0 kB
Active(file):     243296 kB
Inactive(file):  1221572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13672 kB
Writeback:             0 kB
AnonPages:         69620 kB
Mapped:           102652 kB
Shmem:             18084 kB
KReclaimable:     104980 kB
Slab:             192740 kB
SReclaimable:     104980 kB
SUnreclaim:        87760 kB
KernelStack:        4128 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC025 at 2025-06-29 13:43:57