Trace number 4505079

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.19 3611.28

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
MD5SUM1a585859cd518f3581f5f80c37fe0c7b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14659783
Best CPU time to get the best result obtained on this benchmark72002.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 99897344
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 45563322036
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 99897344
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 45563322036
Number of bits of the biggest sum of numbers36
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 RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.36/1.44	c #variables 125200 #constraints 257511
1.36/1.45	c objective is ce32 
1.46/1.57	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
1.46/1.57	c initial counting CF 32, 64, 128, Arb: 121376 , 0 , 0 , 0
1.46/1.57	c GLOBAL bounds - >= -50 @ 1.27641
1.96/2.01	c GLOBAL bounds - >= -50 @ 1.54272
2.07/2.13	c GLOBAL bounds - >= -50 @ 1.60456
2.16/2.26	c GLOBAL bounds - >= -50 @ 1.65296
2.26/2.39	c GLOBAL bounds - >= -50 @ 1.70823
2.46/2.51	c GLOBAL bounds - >= -50 @ 1.76396
2.55/2.64	c GLOBAL bounds - >= -50 @ 1.82586
2.66/2.77	c GLOBAL bounds - >= -50 @ 1.87657
2.76/2.89	c GLOBAL bounds - >= -50 @ 1.91936
2.96/3.01	c GLOBAL bounds - >= -50 @ 1.97921
3.06/3.13	c GLOBAL bounds - >= -50 @ 2.03525
3.16/3.26	c GLOBAL bounds - >= -50 @ 2.09798
3.25/3.39	c GLOBAL bounds - >= -50 @ 2.1418
3.46/3.51	c GLOBAL bounds - >= -50 @ 2.18955
3.56/3.63	c GLOBAL bounds - >= -50 @ 2.24121
3.76/3.81	c GLOBAL bounds - >= -50 @ 2.34774
3.86/3.93	c GLOBAL bounds - >= -50 @ 2.40364
3.95/4.06	c GLOBAL bounds - >= -50 @ 2.45221
4.06/4.19	c GLOBAL bounds - >= -50 @ 2.51094
4.26/4.31	c GLOBAL bounds - >= -50 @ 2.55978
4.35/4.44	c GLOBAL bounds - >= -50 @ 2.60504
4.46/4.56	c GLOBAL bounds - >= -50 @ 2.65623
4.56/4.69	c GLOBAL bounds - >= -50 @ 2.70822
4.75/4.82	c GLOBAL bounds - >= -50 @ 2.76631
4.85/4.94	c GLOBAL bounds - >= -50 @ 2.83297
4.96/5.08	c GLOBAL bounds - >= -50 @ 2.90299
5.15/5.21	c GLOBAL bounds - >= -50 @ 2.97231
5.25/5.34	c GLOBAL bounds - >= -50 @ 3.02892
5.35/5.47	c GLOBAL bounds - >= -50 @ 3.08813
5.45/5.59	c GLOBAL bounds - >= -50 @ 3.13747
5.65/5.72	c GLOBAL bounds - >= -50 @ 3.18842
5.75/5.85	c GLOBAL bounds - >= -50 @ 3.24934
5.85/6.00	c GLOBAL bounds - >= -50 @ 3.33434
6.05/6.12	c GLOBAL bounds - >= -50 @ 3.3789
6.15/6.25	c GLOBAL bounds - >= -50 @ 3.42728
6.35/6.42	c GLOBAL bounds - >= -50 @ 3.53065
6.45/6.55	c GLOBAL bounds - >= -50 @ 3.57906
6.74/6.83	c GLOBAL bounds - >= -50 @ 3.76559
6.95/7.00	c GLOBAL bounds - >= -50 @ 3.87633
7.15/7.29	c GLOBAL bounds - >= -50 @ 4.0824
7.45/7.58	c GLOBAL bounds - >= -50 @ 4.28132
7.85/7.99	c GLOBAL bounds - >= -50 @ 4.61007
8.05/8.18	c GLOBAL bounds - >= -50 @ 4.71371
8.24/8.35	c GLOBAL bounds - >= -50 @ 4.80064
8.45/8.50	c GLOBAL bounds - >= -50 @ 4.86875
8.54/8.65	c GLOBAL bounds - >= -50 @ 4.94937
8.75/8.81	c GLOBAL bounds - >= -50 @ 5.0236
8.84/8.97	c GLOBAL bounds - >= -50 @ 5.10979
9.05/9.16	c GLOBAL bounds - >= -50 @ 5.23122
9.24/9.35	c GLOBAL bounds - >= -50 @ 5.33496
9.44/9.54	c GLOBAL bounds - >= -50 @ 5.4454
9.64/9.78	c GLOBAL bounds - >= -50 @ 5.60196
10.05/10.12	c GLOBAL bounds - >= -50 @ 5.85336
10.34/10.42	c GLOBAL bounds - >= -50 @ 6.07322
10.73/10.89	c GLOBAL bounds - >= -50 @ 6.45675
11.04/11.17	c GLOBAL bounds - >= -50 @ 6.64527
11.23/11.38	c GLOBAL bounds - >= -50 @ 6.77838
11.74/11.89	c GLOBAL bounds - >= -50 @ 7.19881
12.05/12.18	c GLOBAL bounds - >= -50 @ 7.4013
13.13/13.28	c #Conflicts:       1000 | #Constraints:      54525
13.13/13.28	c GLOBAL bounds - >= -50 @ 8.41011
13.73/13.86	c GLOBAL bounds - >= -50 @ 8.89396
15.12/15.28	c GLOBAL bounds - >= -50 @ 10.1904
15.83/15.97	c GLOBAL bounds - >= -50 @ 10.7944
16.32/16.41	c GLOBAL bounds - >= -50 @ 11.1424
16.72/16.81	c GLOBAL bounds - >= -50 @ 11.4653
18.22/18.39	c GLOBAL bounds - >= -50 @ 12.928
19.31/19.41	c GLOBAL bounds - >= -50 @ 13.8467
23.59/23.78	c #Conflicts:       2000 | #Constraints:      68647
23.59/23.78	c INPROCESSING
23.59/23.78	c GARBAGE COLLECT
23.59/23.78	c GLOBAL bounds - >= -50 @ 18.0286
23.79/23.93	c GLOBAL bounds - >= -50 @ 18.1032
24.49/24.64	c GLOBAL bounds - >= -50 @ 18.7193
24.79/24.96	c GLOBAL bounds - >= -50 @ 18.9592
24.99/25.13	c GLOBAL bounds - >= -50 @ 19.0606
25.19/25.38	c GLOBAL bounds - >= -50 @ 19.2272
25.68/25.81	c GLOBAL bounds - >= -50 @ 19.5708
26.18/26.38	c GLOBAL bounds - >= -50 @ 20.0522
26.48/26.66	c GLOBAL bounds - >= -50 @ 20.2564
26.88/27.08	c GLOBAL bounds - >= -50 @ 20.5841
27.07/27.23	c GLOBAL bounds - >= -50 @ 20.6641
27.38/27.58	c GLOBAL bounds - >= -50 @ 20.9274
27.67/27.83	c GLOBAL bounds - >= -50 @ 21.0927
27.87/28.05	c GLOBAL bounds - >= -50 @ 21.2251
28.07/28.20	c GLOBAL bounds - >= -50 @ 21.294
28.37/28.56	c GLOBAL bounds - >= -50 @ 21.5722
28.77/28.98	c GLOBAL bounds - >= -50 @ 21.9108
29.96/30.15	c GLOBAL bounds - >= -50 @ 22.9958
30.26/30.45	c GLOBAL bounds - >= -50 @ 23.2114
30.76/30.96	c GLOBAL bounds - >= -50 @ 23.6368
31.16/31.34	c GLOBAL bounds - >= -50 @ 23.9413
31.66/31.89	c GLOBAL bounds - >= -50 @ 24.4086
33.15/33.38	c GLOBAL bounds - >= -50 @ 25.8056
34.25/34.42	c #Conflicts:       3000 | #Constraints:     108102
34.25/34.42	c GLOBAL bounds - >= -50 @ 26.7384
35.54/35.78	c GLOBAL bounds - >= -50 @ 28.0075
36.05/36.27	c GLOBAL bounds - >= -50 @ 28.4298
36.75/36.99	c GLOBAL bounds - >= -50 @ 29.0774
38.34/38.51	c GLOBAL bounds - >= -50 @ 30.4957
39.04/39.26	c GLOBAL bounds - >= -50 @ 31.1496
40.44/40.60	c GLOBAL bounds - >= -50 @ 32.3966
49.31/49.51	c #Conflicts:       4000 | #Constraints:     121480
49.31/49.51	c GLOBAL bounds - >= -50 @ 41.1222
49.71/49.98	c GLOBAL bounds - >= -50 @ 41.4985
51.51/51.73	c INPROCESSING
51.51/51.73	c GARBAGE COLLECT
51.51/51.73	c GLOBAL bounds - >= -50 @ 43.1618
52.41/52.68	c GLOBAL bounds - >= -50 @ 44.0207
55.69/55.97	c GLOBAL bounds - >= -50 @ 47.1876
56.29/56.55	c GLOBAL bounds - >= -50 @ 47.6888
57.39/57.66	c GLOBAL bounds - >= -50 @ 48.7074
58.29/58.54	c GLOBAL bounds - >= -50 @ 49.505
58.79/59.07	c GLOBAL bounds - >= -50 @ 49.9607
61.08/61.35	c #Conflicts:       5000 | #Constraints:     137005
61.08/61.35	c GLOBAL bounds - >= -50 @ 52.1379
61.38/61.67	c GLOBAL bounds - >= -50 @ 52.3753
62.68/62.97	c GLOBAL bounds - >= -50 @ 53.5891
63.18/63.47	c GLOBAL bounds - >= -50 @ 54.0071
67.87/68.12	c GLOBAL bounds - >= -50 @ 58.5229
68.96/69.20	c GLOBAL bounds - >= -50 @ 59.5187
69.36/69.68	c GLOBAL bounds - >= -50 @ 59.9171
69.87/70.19	c GLOBAL bounds - >= -50 @ 60.3562
78.13/78.48	c #Conflicts:       6000 | #Constraints:     152641
78.13/78.48	c GLOBAL bounds - >= -50 @ 68.4299
79.64/79.94	c GLOBAL bounds - >= -50 @ 69.7975
80.83/81.19	c GLOBAL bounds - >= -50 @ 70.948
81.73/82.08	c GLOBAL bounds - >= -50 @ 71.7535
83.42/83.76	c GLOBAL bounds - >= -50 @ 73.3136
84.32/84.65	c INPROCESSING
84.32/84.65	c GARBAGE COLLECT
84.32/84.65	c GLOBAL bounds - >= -50 @ 74.1375
84.82/85.15	c GLOBAL bounds - >= -50 @ 74.5526
85.92/86.25	c GLOBAL bounds - >= -50 @ 75.5624
87.11/87.43	c GLOBAL bounds - >= -50 @ 76.6345
88.31/88.66	c GLOBAL bounds - >= -50 @ 77.7758
88.61/88.91	c GLOBAL bounds - >= -50 @ 77.9418
89.40/89.72	c #Conflicts:       7000 | #Constraints:     172417
89.40/89.72	c GLOBAL bounds - >= -50 @ 78.6621
89.72/90.06	c GLOBAL bounds - >= -50 @ 78.9223
89.91/90.24	c GLOBAL bounds - >= -50 @ 79.0336
90.60/90.90	c GLOBAL bounds - >= -50 @ 79.6056
91.00/91.31	c GLOBAL bounds - >= -50 @ 79.9271
91.50/91.88	c GLOBAL bounds - >= -50 @ 80.4159
92.70/93.08	c GLOBAL bounds - >= -50 @ 81.5237
94.39/94.73	c GLOBAL bounds - >= -50 @ 83.0859
94.99/95.34	c GLOBAL bounds - >= -50 @ 83.6026
95.69/96.02	c GLOBAL bounds - >= -50 @ 84.2109
97.39/97.75	c GLOBAL bounds - >= -50 @ 85.8519
98.09/98.45	c GLOBAL bounds - >= -50 @ 86.4638
104.86/105.29	c #Conflicts:       8000 | #Constraints:     196593
104.86/105.29	c GLOBAL bounds - >= -50 @ 93.1545
105.56/105.92	c GLOBAL bounds - >= -50 @ 93.7113
105.77/106.13	c GLOBAL bounds - >= -50 @ 93.8481
106.56/106.99	c GLOBAL bounds - >= -50 @ 94.6283
107.86/108.24	c GLOBAL bounds - >= -50 @ 95.7942
110.45/110.89	c GLOBAL bounds - >= -50 @ 98.3533
117.44/117.88	c GLOBAL bounds - >= -50 @ 105.178
118.64/119.06	c GLOBAL bounds - >= -50 @ 106.272
130.70/131.17	c #Conflicts:       9000 | #Constraints:     213171
130.70/131.17	c INPROCESSING
130.70/131.17	c GARBAGE COLLECT
130.70/131.17	c GLOBAL bounds - >= -50 @ 118.165
130.90/131.34	c GLOBAL bounds - >= -50 @ 118.271
131.40/131.87	c GLOBAL bounds - >= -50 @ 118.717
131.80/132.23	c GLOBAL bounds - >= -50 @ 119.005
132.89/133.34	c GLOBAL bounds - >= -50 @ 120.019
133.78/134.22	c GLOBAL bounds - >= -50 @ 120.816
136.08/136.54	c GLOBAL bounds - >= -50 @ 123.032
140.57/141.01	c #Conflicts:      10000 | #Constraints:     225550
140.57/141.01	c GLOBAL bounds - >= -50 @ 127.376
144.26/144.72	c GLOBAL bounds - >= -50 @ 130.966
144.67/145.17	c GLOBAL bounds - >= -50 @ 131.33
148.25/148.70	c GLOBAL bounds - >= -50 @ 134.748
150.54/151.05	c GLOBAL bounds - >= -50 @ 136.999
151.44/151.94	c #Conflicts:      11000 | #Constraints:     236382
151.44/151.94	c GLOBAL bounds - >= -50 @ 137.807
152.93/153.45	c GLOBAL bounds - >= -50 @ 139.234
155.92/156.48	c GLOBAL bounds - >= -50 @ 142.173
156.63/157.10	c GLOBAL bounds - >= -50 @ 142.703
158.12/158.65	c GLOBAL bounds - >= -50 @ 144.158
158.63/159.19	c GLOBAL bounds - >= -50 @ 144.617
161.71/162.22	c GLOBAL bounds - >= -50 @ 147.551
164.00/164.50	c GLOBAL bounds - >= -50 @ 149.726
164.90/165.42	c GLOBAL bounds - >= -50 @ 150.574
183.24/183.81	c #Conflicts:      12000 | #Constraints:     255100
183.24/183.81	c INPROCESSING
183.24/183.81	c GARBAGE COLLECT
183.24/183.81	c GLOBAL bounds - >= -50 @ 168.691
219.04/219.77	c #Conflicts:      13000 | #Constraints:     255524
219.04/219.77	c #Conflicts:      14000 | #Constraints:     256524
219.04/219.77	c #Conflicts:      15000 | #Constraints:     257524
219.04/219.77	c INPROCESSING
219.04/219.77	c GARBAGE COLLECT
219.04/219.77	c GLOBAL bounds - >= -50 @ 204.279
232.10/232.80	c #Conflicts:      16000 | #Constraints:     257731
232.10/232.80	c GLOBAL bounds - >= -50 @ 217.098
234.50/235.21	c GLOBAL bounds - >= -50 @ 219.401
313.26/314.26	c #Conflicts:      17000 | #Constraints:     262709
313.26/314.26	c #Conflicts:      18000 | #Constraints:     263709
313.26/314.26	c INPROCESSING
313.26/314.26	c GARBAGE COLLECT
313.26/314.26	c #Conflicts:      19000 | #Constraints:     261714
313.26/314.26	c #Conflicts:      20000 | #Constraints:     262714
313.26/314.26	c GLOBAL bounds - >= -50 @ 297.686
313.47/314.49	c GLOBAL bounds - >= -50 @ 297.842
316.86/317.80	c #Conflicts:      21000 | #Constraints:     267758
316.86/317.80	c GLOBAL bounds - >= -50 @ 301.039
323.64/324.66	c GLOBAL bounds - >= -50 @ 307.747
331.52/332.58	c INPROCESSING
331.52/332.58	c GARBAGE COLLECT
331.52/332.58	c GLOBAL bounds - >= -50 @ 315.523
352.56/353.66	c #Conflicts:      22000 | #Constraints:     271682
352.56/353.66	c #Conflicts:      23000 | #Constraints:     272682
352.56/353.66	c GLOBAL bounds - >= -50 @ 336.332
387.36/388.59	c #Conflicts:      24000 | #Constraints:     275726
387.36/388.59	c GLOBAL bounds - >= -50 @ 370.914
427.93/429.26	c #Conflicts:      25000 | #Constraints:     278770
427.93/429.26	c INPROCESSING
427.93/429.26	c GARBAGE COLLECT
427.93/429.26	c #Conflicts:      26000 | #Constraints:     276394
427.93/429.26	c #Conflicts:      27000 | #Constraints:     277394
427.93/429.26	c GLOBAL bounds - >= -50 @ 411.135
429.94/431.21	c GLOBAL bounds - >= -50 @ 412.984
433.02/434.32	c GLOBAL bounds - >= -50 @ 415.985
603.55/605.34	c #Conflicts:      28000 | #Constraints:     284532
603.55/605.34	c #Conflicts:      29000 | #Constraints:     285532
603.55/605.34	c INPROCESSING
603.55/605.34	c GARBAGE COLLECT
603.55/605.34	c #Conflicts:      30000 | #Constraints:     282939
603.55/605.34	c #Conflicts:      31000 | #Constraints:     283939
603.55/605.34	c #Conflicts:      32000 | #Constraints:     284939
603.55/605.34	c #Conflicts:      33000 | #Constraints:     285939
603.55/605.34	c INPROCESSING
603.55/605.34	c GARBAGE COLLECT
603.55/605.34	c #Conflicts:      34000 | #Constraints:     283145
603.55/605.34	c #Conflicts:      35000 | #Constraints:     284145
603.55/605.34	c GLOBAL bounds - >= -50 @ 585.731
703.77/705.88	c #Conflicts:      36000 | #Constraints:     287191
703.77/705.88	c #Conflicts:      37000 | #Constraints:     288191
703.77/705.88	c INPROCESSING
703.77/705.88	c GARBAGE COLLECT
703.77/705.88	c #Conflicts:      38000 | #Constraints:     285183
703.77/705.88	c #Conflicts:      39000 | #Constraints:     286183
703.77/705.88	c GLOBAL bounds - >= -50 @ 685.576
1047.20/1050.21	c #Conflicts:      40000 | #Constraints:     289231
1047.20/1050.21	c #Conflicts:      41000 | #Constraints:     290231
1047.20/1050.21	c INPROCESSING
1047.20/1050.21	c GARBAGE COLLECT
1047.20/1050.21	c #Conflicts:      42000 | #Constraints:     287036
1047.20/1050.21	c #Conflicts:      43000 | #Constraints:     288036
1047.20/1050.21	c #Conflicts:      44000 | #Constraints:     289036
1047.20/1050.21	c #Conflicts:      45000 | #Constraints:     290036
1047.20/1050.21	c #Conflicts:      46000 | #Constraints:     291036
1047.20/1050.21	c INPROCESSING
1047.20/1050.21	c GARBAGE COLLECT
1047.20/1050.21	c #Conflicts:      47000 | #Constraints:     287637
1047.20/1050.21	c #Conflicts:      48000 | #Constraints:     288637
1047.20/1050.21	c #Conflicts:      49000 | #Constraints:     289637
1047.20/1050.21	c #Conflicts:      50000 | #Constraints:     290637
1047.20/1050.21	c #Conflicts:      51000 | #Constraints:     291637
1047.20/1050.21	c INPROCESSING
1047.20/1050.21	c GARBAGE COLLECT
1047.20/1050.21	c #Conflicts:      52000 | #Constraints:     288044
1047.20/1050.21	c #Conflicts:      53000 | #Constraints:     289044
1047.20/1050.21	c #Conflicts:      54000 | #Constraints:     290044
1047.20/1050.21	c #Conflicts:      55000 | #Constraints:     291044
1047.20/1050.21	c GLOBAL bounds - >= -50 @ 1027.46
1143.83/1147.18	c #Conflicts:      56000 | #Constraints:     294092
1143.83/1147.18	c INPROCESSING
1143.83/1147.18	c GARBAGE COLLECT
1143.83/1147.18	c #Conflicts:      57000 | #Constraints:     290290
1143.83/1147.18	c #Conflicts:      58000 | #Constraints:     291290
1143.83/1147.18	c #Conflicts:      59000 | #Constraints:     292290
1143.83/1147.18	c GLOBAL bounds - >= -50 @ 1123.77
1261.09/1264.76	c #Conflicts:      60000 | #Constraints:     295338
1261.09/1264.76	c #Conflicts:      61000 | #Constraints:     296338
1261.09/1264.76	c INPROCESSING
1261.09/1264.76	c GARBAGE COLLECT
1261.09/1264.76	c #Conflicts:      62000 | #Constraints:     292338
1261.09/1264.76	c #Conflicts:      63000 | #Constraints:     293338
1261.09/1264.76	c #Conflicts:      64000 | #Constraints:     294338
1261.09/1264.76	c GLOBAL bounds - >= -50 @ 1240.61
1261.89/1265.57	c GLOBAL bounds - >= -50 @ 1241.34
1384.64/1388.62	c #Conflicts:      65000 | #Constraints:     299450
1384.64/1388.62	c #Conflicts:      66000 | #Constraints:     300450
1384.64/1388.62	c INPROCESSING
1384.64/1388.62	c GARBAGE COLLECT
1384.64/1388.62	c #Conflicts:      67000 | #Constraints:     296250
1384.64/1388.62	c #Conflicts:      68000 | #Constraints:     297250
1384.64/1388.62	c #Conflicts:      69000 | #Constraints:     298250
1384.64/1388.62	c GLOBAL bounds - >= -50 @ 1363.5
1406.66/1410.71	c #Conflicts:      70000 | #Constraints:     301314
1406.66/1410.71	c GLOBAL bounds - >= -50 @ 1385.35
1410.06/1414.15	c GLOBAL bounds - >= -50 @ 1388.69
1426.21/1430.35	c #Conflicts:      71000 | #Constraints:     306442
1426.21/1430.35	c GLOBAL bounds - >= -50 @ 1404.69
1428.20/1432.37	c GLOBAL bounds - >= -50 @ 1406.61
1430.39/1434.51	c GLOBAL bounds - >= -50 @ 1408.66
1436.48/1440.69	c GLOBAL bounds - >= -50 @ 1414.73
1468.48/1472.75	c #Conflicts:      72000 | #Constraints:     315744
1468.48/1472.75	c INPROCESSING
1468.48/1472.75	c GARBAGE COLLECT
1468.48/1472.75	c GLOBAL bounds - >= -50 @ 1446.49
1503.59/1507.95	c #Conflicts:      73000 | #Constraints:     313434
1503.59/1507.95	c #Conflicts:      74000 | #Constraints:     314434
1503.59/1507.95	c GLOBAL bounds - >= -50 @ 1481.32
1525.82/1530.23	c #Conflicts:      75000 | #Constraints:     317524
1525.82/1530.23	c GLOBAL bounds - >= -50 @ 1503.38
1526.82/1531.22	c GLOBAL bounds - >= -50 @ 1504.3
1530.31/1534.75	c GLOBAL bounds - >= -50 @ 1507.72
2126.97/2133.18	c #Conflicts:      76000 | #Constraints:     324828
2126.97/2133.18	c #Conflicts:      77000 | #Constraints:     325828
2126.97/2133.18	c #Conflicts:      78000 | #Constraints:     326828
2126.97/2133.18	c INPROCESSING
2126.97/2133.18	c GARBAGE COLLECT
2126.97/2133.18	c #Conflicts:      79000 | #Constraints:     322229
2126.97/2133.18	c #Conflicts:      80000 | #Constraints:     323229
2126.97/2133.18	c #Conflicts:      81000 | #Constraints:     324229
2126.97/2133.18	c #Conflicts:      82000 | #Constraints:     325229
2126.97/2133.18	c #Conflicts:      83000 | #Constraints:     326229
2126.97/2133.18	c #Conflicts:      84000 | #Constraints:     327229
2126.97/2133.18	c INPROCESSING
2126.97/2133.18	c GARBAGE COLLECT
2126.97/2133.18	c #Conflicts:      85000 | #Constraints:     322416
2126.97/2133.18	c #Conflicts:      86000 | #Constraints:     323416
2126.97/2133.18	c #Conflicts:      87000 | #Constraints:     324416
2126.97/2133.18	c #Conflicts:      88000 | #Constraints:     325416
2126.97/2133.18	c #Conflicts:      89000 | #Constraints:     326416
2126.97/2133.18	c #Conflicts:      90000 | #Constraints:     327416
2126.97/2133.18	c INPROCESSING
2126.97/2133.18	c GARBAGE COLLECT
2126.97/2133.18	c #Conflicts:      91000 | #Constraints:     322421
2126.97/2133.18	c #Conflicts:      92000 | #Constraints:     323421
2126.97/2133.18	c #Conflicts:      93000 | #Constraints:     324421
2126.97/2133.18	c #Conflicts:      94000 | #Constraints:     325421
2126.97/2133.18	c #Conflicts:      95000 | #Constraints:     326421
2126.97/2133.18	c #Conflicts:      96000 | #Constraints:     327421
2126.97/2133.18	c INPROCESSING
2126.97/2133.18	c GARBAGE COLLECT
2126.97/2133.18	c #Conflicts:      97000 | #Constraints:     322217
2126.97/2133.18	c #Conflicts:      98000 | #Constraints:     323217
2126.97/2133.18	c GLOBAL bounds - >= -50 @ 2102.34
2498.41/2505.83	c #Conflicts:      99000 | #Constraints:     326321
2498.41/2505.83	c #Conflicts:     100000 | #Constraints:     327321
2498.41/2505.83	c #Conflicts:     101000 | #Constraints:     328321
2498.41/2505.83	c #Conflicts:     102000 | #Constraints:     329321
2498.41/2505.83	c #Conflicts:     103000 | #Constraints:     330321
2498.41/2505.83	c INPROCESSING
2498.41/2505.83	c GARBAGE COLLECT
2498.41/2505.83	c #Conflicts:     104000 | #Constraints:     324917
2498.41/2505.83	c #Conflicts:     105000 | #Constraints:     325917
2498.41/2505.83	c #Conflicts:     106000 | #Constraints:     326917
2498.41/2505.83	c #Conflicts:     107000 | #Constraints:     327917
2498.41/2505.83	c #Conflicts:     108000 | #Constraints:     328917
2498.41/2505.83	c #Conflicts:     109000 | #Constraints:     329917
2498.41/2505.83	c #Conflicts:     110000 | #Constraints:     330917
2498.41/2505.83	c INPROCESSING
2498.41/2505.83	c GARBAGE COLLECT
2498.41/2505.83	c #Conflicts:     111000 | #Constraints:     325318
2498.41/2505.83	c #Conflicts:     112000 | #Constraints:     326318
2498.41/2505.83	c GLOBAL bounds - >= -50 @ 2472.5
3600.07/3611.10	c #Conflicts:     113000 | #Constraints:     329422
3600.07/3611.10	c #Conflicts:     114000 | #Constraints:     330422
3600.07/3611.10	c #Conflicts:     115000 | #Constraints:     331422
3600.07/3611.10	c #Conflicts:     116000 | #Constraints:     332422
3600.07/3611.10	c #Conflicts:     117000 | #Constraints:     333422
3600.07/3611.10	c INPROCESSING
3600.07/3611.10	c GARBAGE COLLECT
3600.07/3611.10	c #Conflicts:     118000 | #Constraints:     327612
3600.07/3611.10	c #Conflicts:     119000 | #Constraints:     328612
3600.07/3611.10	c #Conflicts:     120000 | #Constraints:     329612
3600.07/3611.10	c #Conflicts:     121000 | #Constraints:     330612
3600.07/3611.10	c #Conflicts:     122000 | #Constraints:     331612
3600.07/3611.10	c #Conflicts:     123000 | #Constraints:     332612
3600.07/3611.10	c #Conflicts:     124000 | #Constraints:     333612
3600.07/3611.10	c INPROCESSING
3600.07/3611.10	c GARBAGE COLLECT
3600.07/3611.10	c #Conflicts:     125000 | #Constraints:     327616
3600.07/3611.10	c #Conflicts:     126000 | #Constraints:     328616
3600.07/3611.10	c #Conflicts:     127000 | #Constraints:     329616
3600.07/3611.10	c #Conflicts:     128000 | #Constraints:     330616
3600.07/3611.10	c #Conflicts:     129000 | #Constraints:     331616
3600.07/3611.10	c #Conflicts:     130000 | #Constraints:     332616
3600.07/3611.10	c #Conflicts:     131000 | #Constraints:     333616
3600.07/3611.10	c INPROCESSING
3600.07/3611.10	c GARBAGE COLLECT
3600.07/3611.10	c #Conflicts:     132000 | #Constraints:     327423
3600.07/3611.10	c #Conflicts:     133000 | #Constraints:     328423
3600.07/3611.10	c #Conflicts:     134000 | #Constraints:     329423
3600.07/3611.10	c #Conflicts:     135000 | #Constraints:     330423
3600.07/3611.10	c #Conflicts:     136000 | #Constraints:     331423
3600.07/3611.10	c #Conflicts:     137000 | #Constraints:     332423
3600.07/3611.10	c #Conflicts:     138000 | #Constraints:     333423
3600.07/3611.10	c #Conflicts:     139000 | #Constraints:     334423
3600.07/3611.10	c INPROCESSING
3600.07/3611.10	c GARBAGE COLLECT
3600.07/3611.10	c #Conflicts:     140000 | #Constraints:     328041
3600.07/3611.10	c #Conflicts:     141000 | #Constraints:     329041
3600.07/3611.10	c #Conflicts:     142000 | #Constraints:     330041
3600.07/3611.10	c #Conflicts:     143000 | #Constraints:     331041
3600.07/3611.10	c #Conflicts:     144000 | #Constraints:     332041
3600.07/3611.10	c #Conflicts:     145000 | #Constraints:     333041
3600.07/3611.10	c #Conflicts:     146000 | #Constraints:     334041
3600.07/3611.10	c cpu time 3570.45 s
3600.07/3611.10	c deterministic time 179 1.79e+02
3600.07/3611.10	c optimization time 3569.29 s
3600.07/3611.10	c total solve time 0 s
3600.07/3611.10	c core-guided solve time 0 s
3600.07/3611.10	c propagation time 0.090228 s
3600.07/3611.10	c conflict analysis time 0 s
3600.07/3611.10	c propagations 150
3600.07/3611.10	c resolve steps 0
3600.07/3611.10	c decisions 0
3600.07/3611.10	c conflicts 0
3600.07/3611.10	c restarts 0
3600.07/3611.10	c inprocessing phases 0
3600.07/3611.10	c garbage collections 0 ,( -nan )
3600.07/3611.10	c input clauses 136076 ,( 52.84 )
3600.07/3611.10	c input cardinalities 10 ,( 0.00 )
3600.07/3611.10	c input general constraints 121425 ,( 47.15 )
3600.07/3611.10	c input average constraint length 3.89
3600.07/3611.10	c input average constraint degree 1.94
3600.07/3611.10	c learned clauses 0 ,( 0.00 )
3600.07/3611.10	c learned cardinalities 0 ,( 0.00 )
3600.07/3611.10	c learned general constraints 0 ,( 0.00 )
3600.07/3611.10	c learned average constraint length 0.00
3600.07/3611.10	c learned average constraint degree 0.00
3600.07/3611.10	c watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3600.07/3611.10	c counting CF 32, 64, 128, Arb: 121376 , 0 , 0 , 0
3600.07/3611.10	c watched   constraints 50 ,( 0.04 ) 
3600.07/3611.10	c counting  constraints 121375 ,( 99.96 ) 
3600.07/3611.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 12 ,( 12 , 0 )
3600.07/3611.10	c gcd simplifications 0
3600.07/3611.10	c detected cardinalities 0
3600.07/3611.10	c weakened non-implied lits 0
3600.07/3611.10	c weakened non-implying lits 0
3600.07/3611.10	c original variables 125200
3600.07/3611.10	c clausal propagations 0
3600.07/3611.10	c cardinality propagations 0
3600.07/3611.10	c watched propagations 0
3600.07/3611.10	c counting propagations 0
3600.07/3611.10	c watch lookups 14
3600.07/3611.10	c watch backjump lookups 0
3600.07/3611.10	c watch checks 14
3600.07/3611.10	c propagation checks 0
3600.07/3611.10	c constraint additions 0
3600.07/3611.10	c trail pops 0
3600.07/3611.10	c formula constraints 257511
3600.07/3611.10	c learned constraints 0
3600.07/3611.10	c bound constraints 0
3600.07/3611.10	c core-guided constraints 0
3600.07/3611.10	c encountered formula constraints 0
3600.07/3611.10	c encountered learned constraints 0
3600.07/3611.10	c encountered bound constraints 0
3600.07/3611.10	c encountered core-guided constraints 0
3600.07/3611.10	c LP total time 0 s
3600.07/3611.10	c LP solve time 0 s
3600.07/3611.10	c LP constraints added 0
3600.07/3611.10	c LP constraints removed 0
3600.07/3611.10	c LP pivots internal 0
3600.07/3611.10	c LP pivots root 0
3600.07/3611.10	c LP calls 0
3600.07/3611.10	c LP optimalities 0
3600.07/3611.10	c LP no pivot count 0
3600.07/3611.10	c LP infeasibilities 0
3600.07/3611.10	c LP valid Farkas constraints 0
3600.07/3611.10	c LP learned Farkas constraints 0
3600.07/3611.10	c LP basis resets 0
3600.07/3611.10	c LP cycling count 0
3600.07/3611.10	c LP singular count 0
3600.07/3611.10	c LP no primal count 0
3600.07/3611.10	c LP no farkas count 0
3600.07/3611.10	c LP other issue count 0
3600.07/3611.10	c LP Gomory cuts 0
3600.07/3611.10	c LP learned cuts 0
3600.07/3611.10	c LP deleted cuts 0
3600.07/3611.10	c LP encountered Gomory constraints 0
3600.07/3611.10	c LP encountered Farkas constraints 0
3600.07/3611.10	c LP encountered learned Farkas constraints 0
3600.07/3611.10	c CG auxiliary variables introduced 0
3600.07/3611.10	c CG solutions found 0
3600.07/3611.10	c CG cores constructed 0
3600.07/3611.10	c CG core cardinality constraints returned 0
3600.07/3611.10	c CG unit cores 0
3600.07/3611.10	c CG single cores 0
3600.07/3611.10	c CG blocks removed during cardinality reduction 0
3600.07/3611.10	c CG first core best 0
3600.07/3611.10	c CG decision core best 0
3600.07/3611.10	c CG core reduction tie 0
3600.07/3611.10	c CG core degree average 0.00
3600.07/3611.10	c CG core slack average 0.00
3600.07/3611.10	c CG core upper bound improvements 0
3600.07/3611.10	c STR number of successful calls 0
3600.07/3611.10	c STR number of unsuccessful calls 0
3600.07/3611.10	c STR number of inconclusive calls 0
3600.07/3611.10	c STR number of successful attempts 0
3600.07/3611.10	c STR number of unsuccessful attempts 0
3600.07/3611.10	c STR number of inconclusive attempts 0
3600.07/3611.10	c STR average degree increase per successful call inf
3600.07/3611.10	c STR average degree increase per successful attempt inf
3600.07/3611.10	c STR total number of conflicts for successful attempts 0
3600.07/3611.10	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.10	c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.10	c STR average number of conflicts per successful attempt inf
3600.07/3611.10	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.10	c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.10	c AVG.sumWPerc 99.56 
3600.07/3611.10	c bigint constraints 0 
3600.07/3611.10	s UNKNOWN
3600.07/3611.10	c Program interrupted by user.

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: 63665 MiB (32334 MiB free)
  memory of node 1: 64507 MiB (12985 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505079-1751478442/watcher-4505079-1751478442 -o /tmp/evaluation-result-4505079-1751478442/solver-4505079-1751478442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72302 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505079-1751478442.opb PROOFDIR/proof-4505079-1751478442 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73132, runsolver pid=73129
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.28 4.25 4.18 5/275 73134
/proc/meminfo: memFree=46359248/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=79072 memory=34404 CPUtime=0.07 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 4492 0 0 0 5 2 0 0 20 0 1 0 63524520 80969728 8601 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 19768 8601 1984 1147 0 7195 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 83264 KiB
Current children cumulated memory: 37476 KiB

[startup+0.205983 s]*
/proc/loadavg: 4.28 4.25 4.18 5/275 73134
/proc/meminfo: memFree=46355468/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=83564 memory=40884 CPUtime=0.17 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 5589 0 0 0 13 4 0 0 20 0 1 0 63524520 85569536 10221 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 20891 10221 1984 1147 0 8318 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 87756 KiB
Current children cumulated memory: 43956 KiB

[startup+0.305992 s]*
/proc/loadavg: 4.28 4.25 4.18 5/275 73134
/proc/meminfo: memFree=46350680/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=90084 memory=45876 CPUtime=0.28 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 6833 0 0 0 22 6 0 0 20 0 1 0 63524520 92246016 11437 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 22521 11469 1984 1147 0 9948 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 94276 KiB
Current children cumulated memory: 48948 KiB

[startup+0.700184 s]
/proc/loadavg: 4.28 4.25 4.18 5/275 73134
/proc/meminfo: memFree=46317856/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=114824 memory=65284 CPUtime=0.66 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 11578 0 0 0 53 13 0 0 20 0 1 0 63524520 117579776 16321 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 28706 16321 1984 1147 0 16133 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 119016 KiB
Current children cumulated memory: 68356 KiB

[startup+1.50019 s]
/proc/loadavg: 4.28 4.25 4.18 5/275 73134
/proc/meminfo: memFree=46239912/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=328652 memory=280744 CPUtime=1.46 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 29364 0 0 0 120 26 0 0 20 0 1 0 63524520 336539648 70186 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 82163 70186 2336 1147 0 69590 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 332844 KiB
Current children cumulated memory: 283816 KiB

[startup+3.10579 s]
/proc/loadavg: 4.26 4.25 4.18 5/275 73134
/proc/meminfo: memFree=45913488/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=362784 memory=307380 CPUtime=3.06 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 34460 0 0 0 201 105 0 0 20 0 1 0 63524520 371490816 76845 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 90696 76845 2368 1147 0 78123 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 366976 KiB
Current children cumulated memory: 310452 KiB

[startup+6.30018 s]
/proc/loadavg: 4.26 4.25 4.18 5/275 73134
/proc/meminfo: memFree=45711536/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=383764 memory=326412 CPUtime=6.25 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 36171 0 0 0 347 278 0 0 20 0 1 0 63524520 392974336 81603 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 95941 81603 2368 1147 0 83368 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 387956 KiB
Current children cumulated memory: 329484 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.24 4.18 5/275 73135
/proc/meminfo: memFree=45241076/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=475132 memory=413016 CPUtime=12.63 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 50191 0 0 0 790 473 0 0 20 0 1 0 63524520 486535168 103254 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 118783 103254 2368 1147 0 106210 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 479324 KiB
Current children cumulated memory: 416088 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.25 4.18 4/269 73191
/proc/meminfo: memFree=95538196/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=612712 memory=522328 CPUtime=25.39 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 71394 0 0 0 1933 606 0 0 20 0 1 0 63524520 627417088 130582 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 153178 130582 2368 1147 0 140605 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 616904 KiB
Current children cumulated memory: 525400 KiB

[startup+51.1058 s]
/proc/loadavg: 4.30 4.26 4.19 5/274 73276
/proc/meminfo: memFree=125732864/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=833492 memory=728384 CPUtime=50.91 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 109832 0 0 0 4261 830 0 0 20 0 1 0 63524520 853495808 182096 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 208373 182096 2368 1147 0 195800 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 837684 KiB
Current children cumulated memory: 731456 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.25 4.18 5/273 73278
/proc/meminfo: memFree=123600492/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=1115688 memory=922832 CPUtime=101.97 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 149233 0 0 0 9026 1171 0 0 20 0 1 0 63524520 1142464512 230708 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 278922 230708 2368 1147 0 266349 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1119880 KiB
Current children cumulated memory: 925904 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/274 73281
/proc/meminfo: memFree=120324564/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=1184940 memory=1010284 CPUtime=161.81 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 164162 0 0 0 14762 1419 0 0 20 0 1 0 63524520 1213378560 252571 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 296235 252571 2368 1147 0 283662 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1189132 KiB
Current children cumulated memory: 1013356 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/273 73283
/proc/meminfo: memFree=117695072/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=1236876 memory=1098372 CPUtime=221.63 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 178295 0 0 0 20677 1486 0 0 20 0 1 0 63524520 1266561024 274593 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0

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

[pid=73134] ppid=73132 vsize=2424584 memory=2160840 CPUtime=3092.91 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 357484 0 0 0 306490 2801 0 0 20 0 1 0 63524520 2482774016 540210 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 606146 540210 2368 1147 0 593573 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 2428776 KiB
Current children cumulated memory: 2163912 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/276 73446
/proc/meminfo: memFree=48475788/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2445852 memory=2200212 CPUtime=3152.73 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 364196 0 0 0 312450 2823 0 0 20 0 1 0 63524520 2504552448 550053 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 611463 550053 2368 1147 0 598890 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 2450044 KiB
Current children cumulated memory: 2203284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/275 73447
/proc/meminfo: memFree=46897524/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2445852 memory=2200212 CPUtime=3212.51 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 364377 0 0 0 318409 2842 0 0 20 0 1 0 63524520 2504552448 550053 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 611463 550053 2368 1147 0 598890 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 2450044 KiB
Current children cumulated memory: 2203284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/275 73449
/proc/meminfo: memFree=45947664/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2445852 memory=2200212 CPUtime=3272.31 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 364408 0 0 0 324371 2860 0 0 20 0 1 0 63524520 2504552448 550053 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 611463 550053 2368 1147 0 598890 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 2450044 KiB
Current children cumulated memory: 2203284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/275 73451
/proc/meminfo: memFree=44878300/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2445852 memory=2200212 CPUtime=3332.11 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 364443 0 0 0 330334 2877 0 0 20 0 1 0 63524520 2504552448 550053 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 611463 550053 2368 1147 0 598890 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 2450044 KiB
Current children cumulated memory: 2203284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 73454
/proc/meminfo: memFree=43819376/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2474016 memory=2247684 CPUtime=3391.9 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 372653 0 0 0 336288 2902 0 0 20 0 1 0 63524520 2533392384 561921 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 618504 561921 2368 1147 0 605931 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 2478208 KiB
Current children cumulated memory: 2250756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 73460
/proc/meminfo: memFree=43022520/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2474016 memory=2247684 CPUtime=3451.7 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 372838 0 0 0 342248 2922 0 0 20 0 1 0 63524520 2533392384 561921 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 618504 561921 2368 1147 0 605931 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 2478208 KiB
Current children cumulated memory: 2250756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 73462
/proc/meminfo: memFree=42037344/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2474016 memory=2247684 CPUtime=3511.52 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 372869 0 0 0 348215 2937 0 0 20 0 1 0 63524520 2533392384 561921 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 618504 561921 2368 1147 0 605931 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 2478208 KiB
Current children cumulated memory: 2250756 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 73464
/proc/meminfo: memFree=40983264/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2474016 memory=2247812 CPUtime=3571.34 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 372937 0 0 0 354180 2954 0 0 20 0 1 0 63524520 2533392384 561953 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 618504 561953 2368 1147 0 605931 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 2478208 KiB
Current children cumulated memory: 2250884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 73511
/proc/meminfo: memFree=51865632/131250000 swapFree=33008100/33010684
[pid=73132] ppid=73129 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73132/stat : 73132 (run-opt-log.sh) S 73129 73132 72291 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 63524519 4292608 768 18446744073709551615 93873348284416 93873349178949 140726032521072 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93873349418000 93873349465744 93873355132928 140726032525601 140726032525796 140726032525796 140726032531398 0
/proc/73132/statm: 1048 768 704 219 0 110 0
[pid=73134] ppid=73132 vsize=2479372 memory=2268620 CPUtime=3600.07 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73132 73132 72291 0 -1 4194304 376102 0 0 0 357045 2962 0 0 20 0 1 0 63524520 2538876928 567155 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 619843 567155 2368 1147 0 607270 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2483564 KiB
Current children cumulated memory: 2271692 KiB

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

[startup+3611.11 s]
# the end of solver process 73132 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.001965 s

[startup+3611.28 s]
# the end of solver process 73134 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3570.52 s, system=29.664 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.2 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 73511
/proc/meminfo: memFree=52833864/131250000 swapFree=33008100/33010684
[pid=73134] ppid=73129 vsize=1834036 memory=1252420 CPUtime=3600.12 cores=4,6
/proc/73134/stat : 73134 (roundingsat) R 73129 73132 72291 0 -1 4194304 376113 0 0 0 357047 2965 0 0 20 0 1 0 63524520 1878052864 313105 18446744073709551615 4227072 8923433 140732610603536 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 31911936 140732610611538 140732610611752 140732610611752 140732610617322 0
/proc/73134/statm: 458509 313105 2432 1147 0 445936 0
Current cumulated CPU time of completed processes: 0.001965 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 1834036 KiB
Current children cumulated memory: 1252420 KiB

Child status: 2

Real time (s): 3611.28
CPU time (s): 3600.19
CPU user time (s): 3570.52
CPU system time (s): 29.664
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 2483564
Max. memory (cumulated for all children) (KiB): 2271692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.52
system time used= 29.664
maximum resident set size= 2268876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32819584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2087
involuntary context switches= 6512


# summary of solver processes directly reported to runsolver:
#   pid: 73132,73134
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3570.52
#   total CPU system time (s): 29.664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35255 second user time and 18.64 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 19:47:23
IDJOB=4505079
IDBENCH=155733
IDSOLVER=3351
FILE ID=nodeC013/4505079-1751478442
RUNJOBID= nodeC013-1751474816-72302
SLURM_JOB_ID= 9598506
Free space on /tmp= 432636 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_3_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505079-1751478442/watcher-4505079-1751478442 -o /tmp/evaluation-result-4505079-1751478442/solver-4505079-1751478442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72302 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505079-1751478442.opb PROOFDIR/proof-4505079-1751478442

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

MD5SUM BENCH= 1a585859cd518f3581f5f80c37fe0c7b
RANDOM SEED=1347517049

nodeC013 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		: 3599.846
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		: 3599.762
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		: 3618.521
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		: 3597.824
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		: 3614.624
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.861
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		: 3599.840
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		: 3700.000
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:       131250000 kB
MemFree:        46416876 kB
MemAvailable:   101016140 kB
Buffers:            1668 kB
Cached:         55241492 kB
SwapCached:         2172 kB
Active:         28593948 kB
Inactive:       55004856 kB
Active(anon):   28348964 kB
Inactive(anon):    18188 kB
Active(file):     244984 kB
Inactive(file): 54986668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7267728 kB
Writeback:             0 kB
AnonPages:      28354984 kB
Mapped:           113280 kB
Shmem:             11104 kB
KReclaimable:     413304 kB
Slab:             734372 kB
SReclaimable:     413304 kB
SUnreclaim:       321068 kB
KernelStack:        4448 kB
PageTables:        65340 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   33842100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3145728 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432244 MiB
End job on nodeC013 at 2025-07-02 20:47:34