Trace number 4505676

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 63f22ad? (TO) 3600.37 3610.6

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
MD5SUM0390bfe3f6c229f0cac833c3202307c0
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 benchmark-186459
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 24116532
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 24116532
Number of bits of the biggest sum of numbers25
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.19/0.24	c #variables 40451 #constraints 40949
0.19/0.24	c objective is ce32 
0.19/0.26	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.26	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.19/0.26	c GLOBAL bounds - >= -24116532 @ 0.193294
0.19/0.30	c GLOBAL bounds - >= -24116532 @ 0.210709
0.29/0.34	c GLOBAL bounds - >= -24116532 @ 0.226511
0.29/0.38	c GLOBAL bounds - >= -24116532 @ 0.245234
0.39/0.43	c GLOBAL bounds - >= -24116532 @ 0.267574
0.39/0.48	c GLOBAL bounds - >= -24116532 @ 0.288182
0.49/0.52	c GLOBAL bounds - >= -24116532 @ 0.303586
0.49/0.56	c GLOBAL bounds - >= -24116532 @ 0.322433
0.58/0.61	c GLOBAL bounds - >= -24116532 @ 0.353045
0.58/0.66	c GLOBAL bounds - >= -24116532 @ 0.377418
0.68/0.70	c GLOBAL bounds - >= -24116532 @ 0.394994
0.68/0.75	c GLOBAL bounds - >= -24116532 @ 0.410984
0.78/0.80	c GLOBAL bounds - >= -24116532 @ 0.436268
0.78/0.85	c GLOBAL bounds - >= -24116532 @ 0.457356
0.78/0.89	c GLOBAL bounds - >= -24116532 @ 0.47018
0.88/0.94	c GLOBAL bounds - >= -24116532 @ 0.488822
0.88/0.99	c GLOBAL bounds - >= -24116532 @ 0.516428
0.98/1.04	c GLOBAL bounds - >= -24116532 @ 0.546596
0.98/1.08	c GLOBAL bounds - >= -24116532 @ 0.566853
1.08/1.13	c GLOBAL bounds - >= -24116532 @ 0.593209
1.08/1.18	c GLOBAL bounds - >= -24116532 @ 0.62468
1.18/1.23	c GLOBAL bounds - >= -24116532 @ 0.642907
1.18/1.27	c GLOBAL bounds - >= -24116532 @ 0.665931
1.28/1.32	c GLOBAL bounds - >= -24116532 @ 0.690142
1.28/1.38	c GLOBAL bounds - >= -24116532 @ 0.719436
1.38/1.42	c GLOBAL bounds - >= -24116532 @ 0.745031
1.38/1.47	c GLOBAL bounds - >= -24116532 @ 0.765329
1.48/1.52	c GLOBAL bounds - >= -24116532 @ 0.793021
2.38/2.44	c GLOBAL bounds - >= -24116532 @ 1.66004
2.47/2.50	c GLOBAL bounds - >= -24116532 @ 1.70237
2.47/2.55	c GLOBAL bounds - >= -24116532 @ 1.73022
2.57/2.61	c GLOBAL bounds - >= -24116532 @ 1.76453
2.87/2.99	c GLOBAL bounds - >= -24116532 @ 2.12086
2.98/3.04	c GLOBAL bounds - >= -24116532 @ 2.15032
3.07/3.11	c GLOBAL bounds - >= -24116532 @ 2.18954
3.07/3.16	c GLOBAL bounds - >= -24116532 @ 2.22385
3.17/3.23	c GLOBAL bounds - >= -24116532 @ 2.27148
3.17/3.28	c GLOBAL bounds - >= -24116532 @ 2.29432
3.87/3.99	c GLOBAL bounds - >= -24116532 @ 2.96646
3.97/4.06	c GLOBAL bounds - >= -24116532 @ 3.01042
4.08/4.12	c GLOBAL bounds - >= -24116532 @ 3.05135
4.08/4.18	c GLOBAL bounds - >= -24116532 @ 3.08974
4.17/4.25	c GLOBAL bounds - >= -24116532 @ 3.1361
4.27/4.30	c GLOBAL bounds - >= -24116532 @ 3.16548
4.37/4.41	c GLOBAL bounds - >= -24116532 @ 3.25452
4.47/4.52	c GLOBAL bounds - >= -24116532 @ 3.34916
4.47/4.59	c GLOBAL bounds - >= -24116532 @ 3.39424
4.56/4.65	c GLOBAL bounds - >= -24116532 @ 3.43823
4.67/4.73	c GLOBAL bounds - >= -24116532 @ 3.4848
4.77/4.81	c GLOBAL bounds - >= -24116532 @ 3.54202
4.77/4.87	c GLOBAL bounds - >= -24116532 @ 3.5765
4.86/4.93	c GLOBAL bounds - >= -24116532 @ 3.61485
4.98/5.01	c GLOBAL bounds - >= -24116532 @ 3.66795
5.16/5.22	c GLOBAL bounds - >= -24116532 @ 3.85083
5.27/5.37	c GLOBAL bounds - >= -24116532 @ 3.97648
5.36/5.43	c GLOBAL bounds - >= -24116532 @ 4.00968
5.47/5.54	c GLOBAL bounds - >= -24116532 @ 4.09666
5.57/5.61	c GLOBAL bounds - >= -24116532 @ 4.14164
5.57/5.68	c GLOBAL bounds - >= -24116532 @ 4.18406
5.67/5.76	c GLOBAL bounds - >= -24116532 @ 4.23442
5.86/5.98	c GLOBAL bounds - >= -24116532 @ 4.43272
5.97/6.08	c GLOBAL bounds - >= -24116532 @ 4.50277
6.07/6.15	c GLOBAL bounds - >= -24116532 @ 4.55335
6.16/6.22	c GLOBAL bounds - >= -24116532 @ 4.59778
6.26/6.31	c GLOBAL bounds - >= -24116532 @ 4.66705
6.26/6.38	c GLOBAL bounds - >= -24116532 @ 4.71736
6.36/6.45	c GLOBAL bounds - >= -24116532 @ 4.76588
6.46/6.52	c GLOBAL bounds - >= -24116532 @ 4.81923
6.56/6.60	c GLOBAL bounds - >= -24116532 @ 4.87433
6.76/6.80	c GLOBAL bounds - >= -24116532 @ 5.03009
6.76/6.86	c GLOBAL bounds - >= -24116532 @ 5.06284
7.86/7.95	c GLOBAL bounds - >= -24116532 @ 6.10657
7.97/8.03	c GLOBAL bounds - >= -24116532 @ 6.16206
8.06/8.11	c GLOBAL bounds - >= -24116532 @ 6.22118
8.06/8.18	c GLOBAL bounds - >= -24116532 @ 6.27589
8.16/8.25	c GLOBAL bounds - >= -24116532 @ 6.33291
8.36/8.43	c GLOBAL bounds - >= -24116532 @ 6.4881
8.45/8.50	c GLOBAL bounds - >= -24116532 @ 6.5526
8.56/8.64	c GLOBAL bounds - >= -24116532 @ 6.67758
8.76/8.85	c GLOBAL bounds - >= -24116532 @ 6.8663
8.85/8.93	c GLOBAL bounds - >= -24116532 @ 6.9282
8.96/9.05	c GLOBAL bounds - >= -24116532 @ 7.03535
11.84/11.95	c GLOBAL bounds - >= -24116532 @ 9.81677
11.95/12.09	c GLOBAL bounds - >= -24116532 @ 9.92753
12.25/12.37	c GLOBAL bounds - >= -24116532 @ 10.1844
21.82/21.97	c #Conflicts:       1000 | #Constraints:       1556
21.82/21.97	c GLOBAL bounds - >= -24116532 @ 19.4997
22.03/22.14	c GLOBAL bounds - >= -24116532 @ 19.6378
22.22/22.30	c GLOBAL bounds - >= -24116532 @ 19.7768
23.61/23.75	c GLOBAL bounds - >= -24116532 @ 21.1774
23.82/23.94	c GLOBAL bounds - >= -24116532 @ 21.3468
24.21/24.32	c GLOBAL bounds - >= -24116532 @ 21.6873
24.41/24.50	c GLOBAL bounds - >= -24116532 @ 21.8377
24.51/24.69	c GLOBAL bounds - >= -24116532 @ 22.0059
25.11/25.22	c GLOBAL bounds - >= -24116532 @ 22.5059
26.91/27.07	c GLOBAL bounds - >= -24116532 @ 24.3029
27.21/27.32	c GLOBAL bounds - >= -24116532 @ 24.5088
30.29/30.40	c GLOBAL bounds - >= -24116532 @ 27.4824
30.49/30.63	c GLOBAL bounds - >= -24116532 @ 27.6847
30.69/30.86	c GLOBAL bounds - >= -24116532 @ 27.8876
31.40/31.55	c GLOBAL bounds - >= -24116532 @ 28.5471
31.69/31.88	c GLOBAL bounds - >= -24116532 @ 28.8453
31.89/32.10	c GLOBAL bounds - >= -24116532 @ 29.0333
32.19/32.32	c GLOBAL bounds - >= -24116532 @ 29.2267
32.39/32.53	c GLOBAL bounds - >= -24116532 @ 29.412
32.59/32.78	c GLOBAL bounds - >= -24116532 @ 29.6474
36.78/37.00	c GLOBAL bounds - >= -24116532 @ 33.7571
37.07/37.21	c GLOBAL bounds - >= -24116532 @ 33.9355
37.28/37.43	c GLOBAL bounds - >= -24116532 @ 34.1367
37.47/37.65	c GLOBAL bounds - >= -24116532 @ 34.3303
37.67/37.88	c GLOBAL bounds - >= -24116532 @ 34.5402
37.98/38.11	c GLOBAL bounds - >= -24116532 @ 34.7392
38.27/38.47	c GLOBAL bounds - >= -24116532 @ 35.0727
52.33/52.51	c #Conflicts:       2000 | #Constraints:       2610
52.33/52.51	c INPROCESSING
52.33/52.51	c GARBAGE COLLECT
52.33/52.51	c GLOBAL bounds - >= -24116532 @ 48.9195
80.86/81.16	c #Conflicts:       3000 | #Constraints:       2627
80.86/81.16	c GLOBAL bounds - >= -24116532 @ 77.1617
83.85/84.19	c GLOBAL bounds - >= -24116532 @ 80.1365
84.34/84.60	c GLOBAL bounds - >= -24116532 @ 80.5283
84.75/85.06	c GLOBAL bounds - >= -24116532 @ 80.9555
85.24/85.54	c GLOBAL bounds - >= -24116532 @ 81.42
85.74/86.05	c GLOBAL bounds - >= -24116532 @ 81.9112
86.24/86.53	c GLOBAL bounds - >= -24116532 @ 82.3718
87.43/87.72	c GLOBAL bounds - >= -24116532 @ 83.526
103.59/103.95	c GLOBAL bounds - >= -24116532 @ 99.4685
104.29/104.66	c GLOBAL bounds - >= -24116532 @ 100.152
105.29/105.61	c GLOBAL bounds - >= -24116532 @ 101.062
105.98/106.35	c GLOBAL bounds - >= -24116532 @ 101.779
106.68/107.07	c GLOBAL bounds - >= -24116532 @ 102.474
107.48/107.81	c GLOBAL bounds - >= -24116532 @ 103.188
108.08/108.44	c GLOBAL bounds - >= -24116532 @ 103.793
153.16/153.66	c #Conflicts:       4000 | #Constraints:       3657
153.16/153.66	c INPROCESSING
153.16/153.66	c GARBAGE COLLECT
153.16/153.66	c GLOBAL bounds - >= -24116532 @ 148.112
156.75/157.26	c GLOBAL bounds - >= -24116532 @ 151.677
175.39/175.93	c #Conflicts:       5000 | #Constraints:       3088
175.39/175.93	c GLOBAL bounds - >= -24116532 @ 170.175
176.60/177.15	c GLOBAL bounds - >= -24116532 @ 171.373
177.09/177.61	c GLOBAL bounds - >= -24116532 @ 171.808
177.49/178.07	c GLOBAL bounds - >= -24116532 @ 172.244
177.99/178.52	c GLOBAL bounds - >= -24116532 @ 172.663
178.69/179.29	c GLOBAL bounds - >= -24116532 @ 173.408
179.08/179.65	c GLOBAL bounds - >= -24116532 @ 173.746
179.59/180.11	c GLOBAL bounds - >= -24116532 @ 174.181
180.09/180.61	c GLOBAL bounds - >= -24116532 @ 174.659
182.38/182.95	c GLOBAL bounds - >= -24116532 @ 176.971
182.77/183.36	c GLOBAL bounds - >= -24116532 @ 177.365
186.17/186.72	c GLOBAL bounds - >= -24116532 @ 180.669
210.50/211.17	c #Conflicts:       6000 | #Constraints:       4112
210.50/211.17	c GLOBAL bounds - >= -24116532 @ 204.867
211.30/211.93	c GLOBAL bounds - >= -24116532 @ 205.585
212.00/212.64	c GLOBAL bounds - >= -24116532 @ 206.261
213.79/214.42	c GLOBAL bounds - >= -24116532 @ 208.006
214.40/215.00	c GLOBAL bounds - >= -24116532 @ 208.551
214.89/215.59	c GLOBAL bounds - >= -24116532 @ 209.119
215.59/216.25	c GLOBAL bounds - >= -24116532 @ 209.749
216.68/217.39	c GLOBAL bounds - >= -24116532 @ 210.843
241.82/242.56	c INPROCESSING
241.82/242.56	c GARBAGE COLLECT
241.82/242.56	c #Conflicts:       7000 | #Constraints:       3131
241.82/242.56	c GLOBAL bounds - >= -24116532 @ 235.791
243.81/244.51	c #Conflicts:       8000 | #Constraints:       4133
243.81/244.51	c GLOBAL bounds - >= -24116532 @ 237.695
244.21/244.91	c GLOBAL bounds - >= -24116532 @ 238.061
249.30/250.03	c GLOBAL bounds - >= -24116532 @ 243.094
249.79/250.54	c GLOBAL bounds - >= -24116532 @ 243.593
253.79/254.52	c GLOBAL bounds - >= -24116532 @ 247.527
257.07/257.82	c GLOBAL bounds - >= -24116532 @ 250.779
262.17/262.98	c GLOBAL bounds - >= -24116532 @ 255.873
285.00/285.81	c #Conflicts:       9000 | #Constraints:       5147
285.00/285.81	c INPROCESSING
285.00/285.81	c GARBAGE COLLECT
285.00/285.81	c GLOBAL bounds - >= -24116532 @ 278.508
287.00/287.82	c GLOBAL bounds - >= -24116532 @ 280.472
287.99/288.80	c GLOBAL bounds - >= -24116532 @ 281.429
288.39/289.23	c GLOBAL bounds - >= -24116532 @ 281.833
295.37/296.27	c GLOBAL bounds - >= -24116532 @ 288.771
296.07/296.93	c GLOBAL bounds - >= -24116532 @ 289.412
296.47/297.34	c GLOBAL bounds - >= -24116532 @ 289.801
298.56/299.42	c GLOBAL bounds - >= -24116532 @ 291.846
315.42/316.39	c #Conflicts:      10000 | #Constraints:       3872
315.42/316.39	c GLOBAL bounds - >= -24116532 @ 308.665
316.01/316.94	c GLOBAL bounds - >= -24116532 @ 309.196
347.73/348.70	c #Conflicts:      11000 | #Constraints:       4876
347.73/348.70	c GLOBAL bounds - >= -24116532 @ 340.678
363.29/364.31	c GLOBAL bounds - >= -24116532 @ 356.086
379.74/380.89	c GLOBAL bounds - >= -24116532 @ 372.511
392.30/393.42	c GLOBAL bounds - >= -24116532 @ 384.926
393.01/394.17	c GLOBAL bounds - >= -24116532 @ 385.631
400.79/401.94	c #Conflicts:      12000 | #Constraints:       5886
400.79/401.94	c INPROCESSING
400.79/401.94	c GARBAGE COLLECT
400.79/401.94	c GLOBAL bounds - >= -24116532 @ 393.311
401.19/402.33	c GLOBAL bounds - >= -24116532 @ 393.672
411.66/412.84	c GLOBAL bounds - >= -24116532 @ 404.104
424.82/426.08	c GLOBAL bounds - >= -24116532 @ 417.208
430.70/431.91	c GLOBAL bounds - >= -24116532 @ 422.968
431.30/432.57	c GLOBAL bounds - >= -24116532 @ 423.591
431.81/433.06	c GLOBAL bounds - >= -24116532 @ 424.063
432.30/433.54	c GLOBAL bounds - >= -24116532 @ 424.519
432.90/434.13	c GLOBAL bounds - >= -24116532 @ 425.087
625.86/627.68	c #Conflicts:      13000 | #Constraints:       4337
625.86/627.68	c #Conflicts:      14000 | #Constraints:       5337
625.86/627.68	c #Conflicts:      15000 | #Constraints:       6337
625.86/627.68	c INPROCESSING
625.86/627.68	c GARBAGE COLLECT
625.86/627.68	c GLOBAL bounds - >= -24116532 @ 617.402
630.44/632.24	c #Conflicts:      16000 | #Constraints:       4557
630.44/632.24	c GLOBAL bounds - >= -24116532 @ 621.914
791.39/793.69	c #Conflicts:      17000 | #Constraints:       5559
791.39/793.69	c #Conflicts:      18000 | #Constraints:       6559
791.39/793.69	c INPROCESSING
791.39/793.69	c GARBAGE COLLECT
791.39/793.69	c GLOBAL bounds - >= -24116532 @ 782.48
791.80/794.03	c GLOBAL bounds - >= -24116532 @ 782.802
792.18/794.42	c GLOBAL bounds - >= -24116532 @ 783.159
815.52/817.82	c #Conflicts:      19000 | #Constraints:       4575
815.52/817.82	c GLOBAL bounds - >= -24116532 @ 806.403
815.92/818.28	c GLOBAL bounds - >= -24116532 @ 806.84
816.52/818.85	c GLOBAL bounds - >= -24116532 @ 807.388
817.22/819.50	c GLOBAL bounds - >= -24116532 @ 808.012
817.82/820.11	c GLOBAL bounds - >= -24116532 @ 808.598
818.22/820.56	c GLOBAL bounds - >= -24116532 @ 809.025
818.72/821.04	c GLOBAL bounds - >= -24116532 @ 809.478
819.21/821.56	c GLOBAL bounds - >= -24116532 @ 809.975
819.72/822.06	c GLOBAL bounds - >= -24116532 @ 810.451
822.41/824.78	c GLOBAL bounds - >= -24116532 @ 813.123
823.00/825.35	c GLOBAL bounds - >= -24116532 @ 813.662
828.49/830.88	c GLOBAL bounds - >= -24116532 @ 819.099
835.17/837.53	c GLOBAL bounds - >= -24116532 @ 825.692
840.26/842.68	c GLOBAL bounds - >= -24116532 @ 830.777
853.62/856.00	c GLOBAL bounds - >= -24116532 @ 843.89
856.61/859.03	c GLOBAL bounds - >= -24116532 @ 846.858
870.47/873.00	c #Conflicts:      20000 | #Constraints:       5607
870.47/873.00	c GLOBAL bounds - >= -24116532 @ 860.455
872.37/874.84	c GLOBAL bounds - >= -24116532 @ 862.265
876.86/879.37	c GLOBAL bounds - >= -24116532 @ 866.75
878.85/881.37	c GLOBAL bounds - >= -24116532 @ 868.696
879.45/881.93	c GLOBAL bounds - >= -24116532 @ 869.231
886.92/889.40	c GLOBAL bounds - >= -24116532 @ 876.618
888.02/890.54	c GLOBAL bounds - >= -24116532 @ 877.729
888.72/891.25	c GLOBAL bounds - >= -24116532 @ 878.407
889.92/892.42	c GLOBAL bounds - >= -24116532 @ 879.542
890.81/893.35	c GLOBAL bounds - >= -24116532 @ 880.439
891.92/894.47	c GLOBAL bounds - >= -24116532 @ 881.523
892.62/895.19	c GLOBAL bounds - >= -24116532 @ 882.216
893.31/895.88	c GLOBAL bounds - >= -24116532 @ 882.867
894.11/896.69	c GLOBAL bounds - >= -24116532 @ 883.646
895.00/897.54	c GLOBAL bounds - >= -24116532 @ 884.458
895.61/898.11	c GLOBAL bounds - >= -24116532 @ 885.004
896.20/898.74	c GLOBAL bounds - >= -24116532 @ 885.615
900.50/903.08	c GLOBAL bounds - >= -24116532 @ 889.895
978.28/981.04	c #Conflicts:      21000 | #Constraints:       6643
978.28/981.04	c GLOBAL bounds - >= -24116532 @ 967.129
978.97/981.71	c GLOBAL bounds - >= -24116532 @ 967.765
979.57/982.38	c GLOBAL bounds - >= -24116532 @ 968.409
980.27/983.07	c GLOBAL bounds - >= -24116532 @ 969.074
980.97/983.73	c GLOBAL bounds - >= -24116532 @ 969.709
981.57/984.38	c GLOBAL bounds - >= -24116532 @ 970.326
982.27/985.04	c GLOBAL bounds - >= -24116532 @ 970.955
988.36/991.17	c INPROCESSING
988.36/991.17	c GARBAGE COLLECT
988.36/991.17	c GLOBAL bounds - >= -24116532 @ 977.02
988.75/991.50	c GLOBAL bounds - >= -24116532 @ 977.329
989.05/991.80	c GLOBAL bounds - >= -24116532 @ 977.6
989.35/992.15	c GLOBAL bounds - >= -24116532 @ 977.917
989.75/992.53	c GLOBAL bounds - >= -24116532 @ 978.273
990.04/992.85	c GLOBAL bounds - >= -24116532 @ 978.564
990.34/993.17	c GLOBAL bounds - >= -24116532 @ 978.868
990.74/993.52	c GLOBAL bounds - >= -24116532 @ 979.203
991.35/994.13	c GLOBAL bounds - >= -24116532 @ 979.779
991.74/994.54	c GLOBAL bounds - >= -24116532 @ 980.168
1011.29/1014.15	c #Conflicts:      22000 | #Constraints:       4482
1011.29/1014.15	c GLOBAL bounds - >= -24116532 @ 999.585
1011.78/1014.60	c GLOBAL bounds - >= -24116532 @ 1000.02
1013.08/1015.99	c GLOBAL bounds - >= -24116532 @ 1001.37
1032.33/1035.23	c #Conflicts:      23000 | #Constraints:       5488
1032.33/1035.23	c GLOBAL bounds - >= -24116532 @ 1020.4
1049.78/1052.74	c GLOBAL bounds - >= -24116532 @ 1037.73
1050.28/1053.23	c GLOBAL bounds - >= -24116532 @ 1038.2
1050.87/1053.87	c GLOBAL bounds - >= -24116532 @ 1038.82
1055.47/1058.48	c GLOBAL bounds - >= -24116532 @ 1043.37
1056.07/1059.00	c GLOBAL bounds - >= -24116532 @ 1043.88
1056.56/1059.53	c GLOBAL bounds - >= -24116532 @ 1044.38
1060.65/1063.66	c GLOBAL bounds - >= -24116532 @ 1048.46
1076.70/1079.70	c #Conflicts:      24000 | #Constraints:       6504
1076.70/1079.70	c GLOBAL bounds - >= -24116532 @ 1064.34
1082.99/1086.01	c GLOBAL bounds - >= -24116532 @ 1070.6
1087.57/1090.69	c GLOBAL bounds - >= -24116532 @ 1075.21
1088.37/1091.40	c GLOBAL bounds - >= -24116532 @ 1075.9
1171.94/1175.25	c #Conflicts:      25000 | #Constraints:       7512
1171.94/1175.25	c INPROCESSING
1171.94/1175.25	c GARBAGE COLLECT
1171.94/1175.25	c #Conflicts:      26000 | #Constraints:       5167
1171.94/1175.25	c #Conflicts:      27000 | #Constraints:       6167
1171.94/1175.25	c GLOBAL bounds - >= -24116532 @ 1159.02
1172.33/1175.70	c GLOBAL bounds - >= -24116532 @ 1159.44
1172.94/1176.24	c GLOBAL bounds - >= -24116532 @ 1159.96
1173.74/1177.09	c GLOBAL bounds - >= -24116532 @ 1160.78
1188.30/1191.60	c GLOBAL bounds - >= -24116532 @ 1175.16
1188.70/1192.06	c GLOBAL bounds - >= -24116532 @ 1175.61
1225.99/1229.42	c #Conflicts:      28000 | #Constraints:       7179
1225.99/1229.42	c GLOBAL bounds - >= -24116532 @ 1212.66
1226.49/1229.99	c GLOBAL bounds - >= -24116532 @ 1213.22
1227.09/1230.56	c GLOBAL bounds - >= -24116532 @ 1213.77
1227.69/1231.13	c GLOBAL bounds - >= -24116532 @ 1214.32
1228.28/1231.72	c GLOBAL bounds - >= -24116532 @ 1214.89
1228.88/1232.34	c GLOBAL bounds - >= -24116532 @ 1215.49
1229.48/1232.92	c GLOBAL bounds - >= -24116532 @ 1216.05
1230.07/1233.59	c GLOBAL bounds - >= -24116532 @ 1216.7
1230.68/1234.19	c GLOBAL bounds - >= -24116532 @ 1217.29
1231.28/1234.77	c GLOBAL bounds - >= -24116532 @ 1217.85
1231.87/1235.35	c GLOBAL bounds - >= -24116532 @ 1218.4
1232.47/1235.92	c GLOBAL bounds - >= -24116532 @ 1218.97
1233.36/1236.82	c GLOBAL bounds - >= -24116532 @ 1219.85
1233.97/1237.48	c GLOBAL bounds - >= -24116532 @ 1220.48
1234.86/1238.35	c GLOBAL bounds - >= -24116532 @ 1221.33
1252.92/1256.45	c GLOBAL bounds - >= -24116532 @ 1239.31
1254.01/1257.54	c GLOBAL bounds - >= -24116532 @ 1240.37
1254.71/1258.23	c GLOBAL bounds - >= -24116532 @ 1241.04
1281.23/1284.87	c #Conflicts:      29000 | #Constraints:       8215
1281.23/1284.87	c INPROCESSING
1281.23/1284.87	c GARBAGE COLLECT
1281.23/1284.87	c GLOBAL bounds - >= -24116532 @ 1267.45
1300.18/1303.86	c #Conflicts:      30000 | #Constraints:       5604
1300.18/1303.86	c GLOBAL bounds - >= -24116532 @ 1286.2
1383.76/1387.62	c #Conflicts:      31000 | #Constraints:       6606
1383.76/1387.62	c #Conflicts:      32000 | #Constraints:       7606
1383.76/1387.62	c GLOBAL bounds - >= -24116532 @ 1369.14
1446.98/1451.08	c #Conflicts:      33000 | #Constraints:       8608
1446.98/1451.08	c INPROCESSING
1446.98/1451.08	c GARBAGE COLLECT
1446.98/1451.08	c GLOBAL bounds - >= -24116532 @ 1432.1
1447.37/1451.45	c GLOBAL bounds - >= -24116532 @ 1432.45
1448.98/1453.03	c GLOBAL bounds - >= -24116532 @ 1433.99
1451.16/1455.21	c GLOBAL bounds - >= -24116532 @ 1436.13
1451.77/1455.86	c GLOBAL bounds - >= -24116532 @ 1436.76
1546.41/1550.72	c #Conflicts:      34000 | #Constraints:       5794
1546.41/1550.72	c #Conflicts:      35000 | #Constraints:       6794
1546.41/1550.72	c #Conflicts:      36000 | #Constraints:       7794
1546.41/1550.72	c #Conflicts:      37000 | #Constraints:       8794
1546.41/1550.72	c INPROCESSING
1546.41/1550.72	c GARBAGE COLLECT
1546.41/1550.72	c #Conflicts:      38000 | #Constraints:       5836
1546.41/1550.72	c GLOBAL bounds - >= -24116532 @ 1530.83
1568.15/1572.52	c #Conflicts:      39000 | #Constraints:       6838
1568.15/1572.52	c GLOBAL bounds - >= -24116532 @ 1552.49
1568.85/1573.26	c GLOBAL bounds - >= -24116532 @ 1553.22
1569.35/1573.77	c GLOBAL bounds - >= -24116532 @ 1553.72
1679.46/1684.15	c #Conflicts:      40000 | #Constraints:       7844
1679.46/1684.15	c #Conflicts:      41000 | #Constraints:       8844
1679.46/1684.15	c INPROCESSING
1679.46/1684.15	c GARBAGE COLLECT
1679.46/1684.15	c GLOBAL bounds - >= -24116532 @ 1663.09
1699.30/1704.10	c #Conflicts:      42000 | #Constraints:       5641
1699.30/1704.10	c GLOBAL bounds - >= -24116532 @ 1682.86
1830.24/1835.35	c #Conflicts:      43000 | #Constraints:       6643
1830.24/1835.35	c #Conflicts:      44000 | #Constraints:       7643
1830.24/1835.35	c GLOBAL bounds - >= -24116532 @ 1813.4
1845.59/1850.73	c GLOBAL bounds - >= -24116532 @ 1828.65
1874.91/1880.11	c #Conflicts:      45000 | #Constraints:       8647
1874.91/1880.11	c GLOBAL bounds - >= -24116532 @ 1857.84
2027.98/2033.61	c #Conflicts:      46000 | #Constraints:       9649
2027.98/2033.61	c INPROCESSING
2027.98/2033.61	c GARBAGE COLLECT
2027.98/2033.61	c GLOBAL bounds - >= -24116532 @ 2009.55
2028.48/2034.16	c GLOBAL bounds - >= -24116532 @ 2010.08
2058.40/2064.14	c #Conflicts:      47000 | #Constraints:       6219
2058.40/2064.14	c GLOBAL bounds - >= -24116532 @ 2039.35
2058.99/2064.72	c GLOBAL bounds - >= -24116532 @ 2039.9
2059.79/2065.57	c GLOBAL bounds - >= -24116532 @ 2040.72
2060.29/2066.08	c GLOBAL bounds - >= -24116532 @ 2041.2
2299.19/2305.65	c #Conflicts:      48000 | #Constraints:       7227
2299.19/2305.65	c #Conflicts:      49000 | #Constraints:       8227
2299.19/2305.65	c #Conflicts:      50000 | #Constraints:       9227
2299.19/2305.65	c #Conflicts:      51000 | #Constraints:      10227
2299.19/2305.65	c INPROCESSING
2299.19/2305.65	c GARBAGE COLLECT
2299.19/2305.65	c #Conflicts:      52000 | #Constraints:       6648
2299.19/2305.65	c #Conflicts:      53000 | #Constraints:       7648
2299.19/2305.65	c GLOBAL bounds - >= -24116532 @ 2278.98
2299.70/2306.15	c GLOBAL bounds - >= -24116532 @ 2279.46
2300.19/2306.68	c GLOBAL bounds - >= -24116532 @ 2279.95
2382.45/2389.11	c #Conflicts:      54000 | #Constraints:       8654
2382.45/2389.11	c GLOBAL bounds - >= -24116532 @ 2360.79
2382.94/2389.66	c GLOBAL bounds - >= -24116532 @ 2361.31
2383.55/2390.23	c GLOBAL bounds - >= -24116532 @ 2361.85
2384.04/2390.78	c GLOBAL bounds - >= -24116532 @ 2362.38
2384.64/2391.36	c GLOBAL bounds - >= -24116532 @ 2362.92
2385.23/2391.91	c GLOBAL bounds - >= -24116532 @ 2363.44
2385.73/2392.46	c GLOBAL bounds - >= -24116532 @ 2363.96
2386.34/2393.03	c GLOBAL bounds - >= -24116532 @ 2364.5
2386.83/2393.58	c GLOBAL bounds - >= -24116532 @ 2365.02
2387.44/2394.14	c GLOBAL bounds - >= -24116532 @ 2365.56
2387.93/2394.70	c GLOBAL bounds - >= -24116532 @ 2366.08
2430.40/2437.29	c #Conflicts:      55000 | #Constraints:       9676
2430.40/2437.29	c #Conflicts:      56000 | #Constraints:      10676
2430.40/2437.29	c INPROCESSING
2430.40/2437.29	c GARBAGE COLLECT
2430.40/2437.29	c GLOBAL bounds - >= -24116532 @ 2408.41
2431.70/2438.56	c GLOBAL bounds - >= -24116532 @ 2409.62
2432.10/2438.90	c GLOBAL bounds - >= -24116532 @ 2409.93
2432.39/2439.25	c GLOBAL bounds - >= -24116532 @ 2410.25
2437.28/2444.20	c GLOBAL bounds - >= -24116532 @ 2415.13
2443.16/2450.09	c GLOBAL bounds - >= -24116532 @ 2420.95
2485.14/2492.17	c #Conflicts:      57000 | #Constraints:       6865
2485.14/2492.17	c GLOBAL bounds - >= -24116532 @ 2462.76
2485.84/2492.88	c GLOBAL bounds - >= -24116532 @ 2463.44
2490.41/2497.48	c GLOBAL bounds - >= -24116532 @ 2467.97
2490.92/2497.91	c GLOBAL bounds - >= -24116532 @ 2468.39
2504.98/2512.05	c GLOBAL bounds - >= -24116532 @ 2482.44
2571.47/2578.78	c #Conflicts:      58000 | #Constraints:       7875
2571.47/2578.78	c GLOBAL bounds - >= -24116532 @ 2548.28
2675.25/2682.85	c #Conflicts:      59000 | #Constraints:       8877
2675.25/2682.85	c #Conflicts:      60000 | #Constraints:       9877
2675.25/2682.85	c #Conflicts:      61000 | #Constraints:      10877
2675.25/2682.85	c GLOBAL bounds - >= -24116532 @ 2651.47
3028.77/3037.43	c INPROCESSING
3028.77/3037.43	c GARBAGE COLLECT
3028.77/3037.43	c #Conflicts:      62000 | #Constraints:       6881
3028.77/3037.43	c #Conflicts:      63000 | #Constraints:       7881
3028.77/3037.43	c #Conflicts:      64000 | #Constraints:       8881
3028.77/3037.43	c #Conflicts:      65000 | #Constraints:       9881
3028.77/3037.43	c GLOBAL bounds - >= -24116532 @ 3004.15
3029.37/3038.09	c GLOBAL bounds - >= -24116532 @ 3004.79
3175.42/3184.55	c #Conflicts:      66000 | #Constraints:      10885
3175.42/3184.55	c INPROCESSING
3175.42/3184.55	c GARBAGE COLLECT
3175.42/3184.55	c GLOBAL bounds - >= -24116532 @ 3150.52
3421.43/3431.26	c #Conflicts:      67000 | #Constraints:       6698
3421.43/3431.26	c #Conflicts:      68000 | #Constraints:       7698
3421.43/3431.26	c #Conflicts:      69000 | #Constraints:       8698
3421.43/3431.26	c #Conflicts:      70000 | #Constraints:       9698
3421.43/3431.26	c GLOBAL bounds - >= -24116532 @ 3395.82
3422.03/3431.86	c GLOBAL bounds - >= -24116532 @ 3396.39
3422.52/3432.37	c GLOBAL bounds - >= -24116532 @ 3396.87
3423.02/3432.85	c GLOBAL bounds - >= -24116532 @ 3397.32
3526.15/3536.25	c #Conflicts:      71000 | #Constraints:      10706
3526.15/3536.25	c GLOBAL bounds - >= -24116532 @ 3500.27
3527.74/3537.88	c GLOBAL bounds - >= -24116532 @ 3501.88
3528.84/3538.94	c GLOBAL bounds - >= -24116532 @ 3502.92
3600.05/3610.30	c #Conflicts:      72000 | #Constraints:      11712
3600.05/3610.30	c INPROCESSING
3600.05/3610.30	c GARBAGE COLLECT
3600.05/3610.30	c #Conflicts:      73000 | #Constraints:       7290
3600.05/3610.30	c #Conflicts:      74000 | #Constraints:       8290
3600.05/3610.30	c #Conflicts:      75000 | #Constraints:       9290
3600.05/3610.30	c cpu time 3573.75 s
3600.05/3610.30	c deterministic time 126 1.26e+02
3600.05/3610.30	c optimization time 3573.57 s
3600.05/3610.30	c total solve time 0 s
3600.05/3610.30	c core-guided solve time 0 s
3600.05/3610.30	c propagation time 0.012484 s
3600.05/3610.30	c conflict analysis time 0 s
3600.05/3610.30	c propagations 125
3600.05/3610.30	c resolve steps 0
3600.05/3610.30	c decisions 0
3600.05/3610.30	c conflicts 0
3600.05/3610.30	c restarts 0
3600.05/3610.30	c inprocessing phases 0
3600.05/3610.30	c garbage collections 0 ,( -nan )
3600.05/3610.30	c input clauses 40395 ,( 98.65 )
3600.05/3610.30	c input cardinalities 553 ,( 1.35 )
3600.05/3610.30	c input general constraints 1 ,( 0.00 )
3600.05/3610.30	c input average constraint length 5.42
3600.05/3610.30	c input average constraint degree 5.35
3600.05/3610.30	c learned clauses 0 ,( 0.00 )
3600.05/3610.30	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.30	c learned general constraints 0 ,( 0.00 )
3600.05/3610.30	c learned average constraint length 0.00
3600.05/3610.30	c learned average constraint degree 0.00
3600.05/3610.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.30	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.05/3610.30	c watched   constraints 0 ,( 0.00 ) 
3600.05/3610.30	c counting  constraints 1 ,( 100.00 ) 
3600.05/3610.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.30	c gcd simplifications 0
3600.05/3610.30	c detected cardinalities 0
3600.05/3610.30	c weakened non-implied lits 0
3600.05/3610.30	c weakened non-implying lits 0
3600.05/3610.30	c original variables 40451
3600.05/3610.30	c clausal propagations 0
3600.05/3610.30	c cardinality propagations 0
3600.05/3610.30	c watched propagations 0
3600.05/3610.30	c counting propagations 0
3600.05/3610.30	c watch lookups 0
3600.05/3610.30	c watch backjump lookups 0
3600.05/3610.30	c watch checks 0
3600.05/3610.30	c propagation checks 0
3600.05/3610.30	c constraint additions 0
3600.05/3610.30	c trail pops 0
3600.05/3610.30	c formula constraints 40949
3600.05/3610.30	c learned constraints 0
3600.05/3610.30	c bound constraints 0
3600.05/3610.30	c core-guided constraints 0
3600.05/3610.30	c encountered formula constraints 0
3600.05/3610.30	c encountered learned constraints 0
3600.05/3610.30	c encountered bound constraints 0
3600.05/3610.30	c encountered core-guided constraints 0
3600.05/3610.30	c LP total time 0 s
3600.05/3610.30	c LP solve time 0 s
3600.05/3610.30	c LP constraints added 0
3600.05/3610.30	c LP constraints removed 0
3600.05/3610.30	c LP pivots internal 0
3600.05/3610.30	c LP pivots root 0
3600.05/3610.30	c LP calls 0
3600.05/3610.30	c LP optimalities 0
3600.05/3610.30	c LP no pivot count 0
3600.05/3610.30	c LP infeasibilities 0
3600.05/3610.30	c LP valid Farkas constraints 0
3600.05/3610.30	c LP learned Farkas constraints 0
3600.05/3610.30	c LP basis resets 0
3600.05/3610.30	c LP cycling count 0
3600.05/3610.30	c LP singular count 0
3600.05/3610.30	c LP no primal count 0
3600.05/3610.30	c LP no farkas count 0
3600.05/3610.30	c LP other issue count 0
3600.05/3610.30	c LP Gomory cuts 0
3600.05/3610.30	c LP learned cuts 0
3600.05/3610.30	c LP deleted cuts 0
3600.05/3610.30	c LP encountered Gomory constraints 0
3600.05/3610.30	c LP encountered Farkas constraints 0
3600.05/3610.30	c LP encountered learned Farkas constraints 0
3600.05/3610.30	c CG auxiliary variables introduced 0
3600.05/3610.30	c CG solutions found 0
3600.05/3610.30	c CG cores constructed 0
3600.05/3610.30	c CG core cardinality constraints returned 0
3600.05/3610.30	c CG unit cores 0
3600.05/3610.30	c CG single cores 0
3600.05/3610.30	c CG blocks removed during cardinality reduction 0
3600.05/3610.30	c CG first core best 0
3600.05/3610.30	c CG decision core best 0
3600.05/3610.30	c CG core reduction tie 0
3600.05/3610.30	c CG core degree average 0.00
3600.05/3610.30	c CG core slack average 0.00
3600.05/3610.30	c CG core upper bound improvements 0
3600.05/3610.30	c STR number of successful calls 0
3600.05/3610.30	c STR number of unsuccessful calls 0
3600.05/3610.30	c STR number of inconclusive calls 0
3600.05/3610.30	c STR number of successful attempts 0
3600.05/3610.30	c STR number of unsuccessful attempts 0
3600.05/3610.30	c STR number of inconclusive attempts 0
3600.05/3610.30	c STR average degree increase per successful call inf
3600.05/3610.30	c STR average degree increase per successful attempt inf
3600.05/3610.30	c STR total number of conflicts for successful attempts 0
3600.05/3610.30	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.30	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.30	c STR average number of conflicts per successful attempt inf
3600.05/3610.30	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.30	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.30	c AVG.sumWPerc 99.95 
3600.05/3610.30	c bigint constraints 0 
3600.05/3610.30	s UNKNOWN
3600.05/3610.30	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 (54674 MiB free)
  memory of node 1: 64507 MiB (55169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505676-1751489838/watcher-4505676-1751489838 -o /tmp/evaluation-result-4505676-1751489838/solver-4505676-1751489838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760 run-opt.sh HOME/instance-4505676-1751489838.opb 

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 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=69676, runsolver pid=69673
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.06 4.08 4.00 5/271 69678
/proc/meminfo: memFree=112483268/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=66176 memory=21288 CPUtime=0.08 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 4127 0 0 0 6 2 0 0 20 0 1 0 64661569 67764224 5322 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 16544 5322 1920 1147 0 3971 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70368 KiB
Current children cumulated memory: 24104 KiB

[startup+0.20593 s]*
/proc/loadavg: 4.06 4.08 4.00 5/271 69678
/proc/meminfo: memFree=112467900/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=103280 memory=55456 CPUtime=0.19 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 10228 0 0 0 15 4 0 0 20 0 1 0 64661569 105758720 13864 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 25820 13864 2240 1147 0 13247 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107472 KiB
Current children cumulated memory: 58272 KiB

[startup+0.305908 s]*
/proc/loadavg: 4.06 4.08 4.00 5/271 69678
/proc/meminfo: memFree=112458324/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=130644 memory=76580 CPUtime=0.29 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 13512 0 0 0 21 8 0 0 20 0 1 0 64661569 133779456 19145 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 32661 19145 2336 1147 0 20088 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134836 KiB
Current children cumulated memory: 79396 KiB

[startup+0.700212 s]
/proc/loadavg: 4.06 4.08 4.00 5/271 69679
/proc/meminfo: memFree=112450260/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=134808 memory=79780 CPUtime=0.68 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 14318 0 0 0 39 29 0 0 20 0 1 0 64661569 138043392 19945 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 33702 19945 2336 1147 0 21129 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139000 KiB
Current children cumulated memory: 82596 KiB

[startup+1.5002 s]
/proc/loadavg: 4.06 4.08 4.00 5/271 69679
/proc/meminfo: memFree=112450260/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=154052 memory=89992 CPUtime=1.48 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 14841 0 0 0 78 70 0 0 20 0 1 0 64661569 157749248 22498 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 38513 22498 2336 1147 0 25940 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158244 KiB
Current children cumulated memory: 92808 KiB

[startup+3.10566 s]
/proc/loadavg: 4.06 4.08 4.00 5/271 69679
/proc/meminfo: memFree=112459880/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=203372 memory=133536 CPUtime=3.07 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 16047 0 0 0 218 89 0 0 20 0 1 0 64661569 208252928 33384 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 50843 33384 2336 1147 0 38270 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 207564 KiB
Current children cumulated memory: 136352 KiB

[startup+6.30021 s]
/proc/loadavg: 4.05 4.08 4.00 5/270 69679
/proc/meminfo: memFree=112491056/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=234192 memory=168624 CPUtime=6.26 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 16652 0 0 0 465 161 0 0 20 0 1 0 64661569 239812608 42156 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 58548 42156 2336 1147 0 45975 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 238384 KiB
Current children cumulated memory: 171440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.00 5/270 69679
/proc/meminfo: memFree=112387712/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=469640 memory=355152 CPUtime=12.64 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 43890 0 0 0 1048 216 0 0 20 0 1 0 64661569 480911360 88788 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 117410 88788 2336 1147 0 104837 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 473832 KiB
Current children cumulated memory: 357968 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.01 5/270 69679
/proc/meminfo: memFree=112284704/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=684532 memory=508292 CPUtime=25.41 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 64818 0 0 0 2276 265 0 0 20 0 1 0 64661569 700960768 127073 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 171133 127073 2336 1147 0 158560 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 688724 KiB
Current children cumulated memory: 511108 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.08 4.01 5/270 69679
/proc/meminfo: memFree=112098972/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=1185672 memory=911488 CPUtime=50.94 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 132892 0 0 0 4753 341 0 0 20 0 1 0 64661569 1214128128 227872 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 296418 227872 2336 1147 0 283845 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1189864 KiB
Current children cumulated memory: 914304 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/269 69681
/proc/meminfo: memFree=111271464/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=1819388 memory=1695464 CPUtime=102 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 289054 0 0 0 9783 417 0 0 20 0 1 0 64661569 1863053312 423866 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 454847 423866 2336 1147 0 442274 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1823580 KiB
Current children cumulated memory: 1698280 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.02 5/270 69684
/proc/meminfo: memFree=110742088/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=2769832 memory=2182996 CPUtime=161.83 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 393072 0 0 0 15666 517 0 0 20 0 1 0 64661569 2836307968 545749 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 692458 545749 2336 1147 0 679885 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2774024 KiB
Current children cumulated memory: 2185812 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.01 5/269 69688
/proc/meminfo: memFree=110124440/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=3029696 memory=2451344 CPUtime=221.67 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 436741 0 0 0 21568 599 0 0 20 0 1 0 64661569 3102408704 612836 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 757424 612836 2336 1147 0 744851 0
Current children cumulated CPU time: 221.67 s

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

/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8146484 CPUtime=3153.29 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1578467 0 0 0 312841 2488 0 0 20 0 1 0 64661569 10504273920 2036621 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2036621 2336 1147 0 2551947 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8149300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 69949
/proc/meminfo: memFree=102839312/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8220252 CPUtime=3213.11 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1579000 0 0 0 318800 2511 0 0 20 0 1 0 64661569 10504273920 2055063 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055063 2336 1147 0 2551947 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8223068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 70000
/proc/meminfo: memFree=111172540/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8220380 CPUtime=3272.93 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1579355 0 0 0 324755 2538 0 0 20 0 1 0 64661569 10504273920 2055095 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055095 2336 1147 0 2551947 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8223196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 70003
/proc/meminfo: memFree=110712672/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8222684 CPUtime=3332.76 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1579750 0 0 0 330726 2550 0 0 20 0 1 0 64661569 10504273920 2055671 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055671 2336 1147 0 2551947 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8225500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 70005
/proc/meminfo: memFree=110607496/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8222684 CPUtime=3392.6 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1580082 0 0 0 336700 2560 0 0 20 0 1 0 64661569 10504273920 2055671 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055671 2336 1147 0 2551947 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8225500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 70008
/proc/meminfo: memFree=110506856/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8222684 CPUtime=3452.45 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1580837 0 0 0 342662 2583 0 0 20 0 1 0 64661569 10504273920 2055671 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055671 2336 1147 0 2551947 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8225500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 70010
/proc/meminfo: memFree=110488608/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8222684 CPUtime=3512.29 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1581616 0 0 0 348639 2590 0 0 20 0 1 0 64661569 10504273920 2055671 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2055671 2336 1147 0 2551947 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8225500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 70016
/proc/meminfo: memFree=110342292/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8254380 CPUtime=3572.13 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1583008 0 0 0 354590 2623 0 0 20 0 1 0 64661569 10504273920 2063595 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2063595 2336 1147 0 2551947 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8257196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 70017
/proc/meminfo: memFree=110344252/131249996 swapFree=33010160/33010684
[pid=69676] ppid=69673 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/69676/stat : 69676 (run-opt.sh) S 69673 69676 69363 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64661568 4292608 704 18446744073709551615 93911742730240 93911743624773 140732801013200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93911743863824 93911743911568 93911754969088 140732801018221 140732801018344 140732801018344 140732801023946 0
/proc/69676/statm: 1048 704 672 219 0 110 0
[pid=69678] ppid=69676 vsize=10258080 memory=8254380 CPUtime=3600.05 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69676 69676 69363 0 -1 4194304 1583198 0 0 0 357375 2630 0 0 20 0 1 0 64661569 10504273920 2063595 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 2564520 2063595 2336 1147 0 2551947 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10262272 KiB
Current children cumulated memory: 8257196 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001168 s, system=0.001177 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3573.78 s, system=26.5913 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+3610.4 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 70017
/proc/meminfo: memFree=112602208/131249996 swapFree=33010160/33010684
[pid=69678] ppid=69673 vsize=6660812 memory=5877860 CPUtime=3600.16 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69673 69676 69363 0 -1 4194304 1583217 0 0 0 357376 2640 0 0 20 0 1 0 64661569 6820671488 1469977 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 1665203 1469465 2432 1147 0 1652630 0
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 6660812 KiB
Current children cumulated memory: 5877860 KiB

[startup+3610.51 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 70017
/proc/meminfo: memFree=112602208/131249996 swapFree=33010160/33010684
[pid=69678] ppid=69673 vsize=2624512 memory=2417656 CPUtime=3600.26 cores=4,6
/proc/69678/stat : 69678 (roundingsat) R 69673 69676 69363 0 -1 4194304 1583217 0 0 0 357376 2650 0 0 20 0 1 0 64661569 2687500288 604926 18446744073709551615 4227072 8923433 140727464125056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39583744 140727464130978 140727464131112 140727464131112 140727464136682 0
/proc/69678/statm: 656128 604414 2432 1147 0 643555 0
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 2624512 KiB
Current children cumulated memory: 2417656 KiB

Child status: 2

Real time (s): 3610.6
CPU time (s): 3600.37
CPU user time (s): 3573.78
CPU system time (s): 26.5913
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 10262272
Max. memory (cumulated for all children) (KiB): 8257196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.78
system time used= 26.5913
maximum resident set size= 8254764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1583455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 3017


# summary of solver processes directly reported to runsolver:
#   pid: 69676,69678
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3573.78
#   total CPU system time (s): 26.5913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41723 second user time and 15.6002 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-02 22:57:19
IDJOB=4505676
IDBENCH=156158
IDSOLVER=3350
FILE ID=nodeC021/4505676-1751489838
RUNJOBID= nodeC021-1751488380-69374
SLURM_JOB_ID= 9598545
Free space on /tmp= 428812 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505676-1751489838/watcher-4505676-1751489838 -o /tmp/evaluation-result-4505676-1751489838/solver-4505676-1751489838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760  run-opt.sh HOME/instance-4505676-1751489838.opb

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=1188597885

nodeC021 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.781
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.56
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.778
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.56
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.873
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.56
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.991
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.56
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.858
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.56
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.777
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.184
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.56
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		: 3630.477
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112480300 kB
MemAvailable:   116325960 kB
Buffers:            2128 kB
Cached:          4583912 kB
SwapCached:           20 kB
Active:         12944468 kB
Inactive:        4105176 kB
Active(anon):   12470720 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  4094252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10052 kB
Writeback:             4 kB
AnonPages:      12465828 kB
Mapped:           115180 kB
Shmem:             18040 kB
KReclaimable:     233400 kB
Slab:             325244 kB
SReclaimable:     233400 kB
SUnreclaim:        91844 kB
KernelStack:        4320 kB
PageTables:        29732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14621120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3004416 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431024 MiB
End job on nodeC021 at 2025-07-02 23:57:30