Trace number 4505677

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.32 3610.93

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.18/0.30	c #variables 40451 #constraints 40949
0.18/0.30	c objective is ce32 
0.28/0.32	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.28/0.32	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.28/0.32	c GLOBAL bounds - >= -24116532 @ 0.24976
0.28/0.37	c GLOBAL bounds - >= -24116532 @ 0.268274
0.38/0.42	c GLOBAL bounds - >= -24116532 @ 0.291208
0.38/0.46	c GLOBAL bounds - >= -24116532 @ 0.315527
0.48/0.52	c GLOBAL bounds - >= -24116532 @ 0.350035
0.48/0.58	c GLOBAL bounds - >= -24116532 @ 0.381533
0.58/0.63	c GLOBAL bounds - >= -24116532 @ 0.404985
0.58/0.67	c GLOBAL bounds - >= -24116532 @ 0.428557
0.67/0.73	c GLOBAL bounds - >= -24116532 @ 0.459562
0.67/0.79	c GLOBAL bounds - >= -24116532 @ 0.491238
0.77/0.84	c GLOBAL bounds - >= -24116532 @ 0.514671
0.77/0.89	c GLOBAL bounds - >= -24116532 @ 0.539316
0.87/0.95	c GLOBAL bounds - >= -24116532 @ 0.571179
0.97/1.00	c GLOBAL bounds - >= -24116532 @ 0.60656
0.97/1.06	c GLOBAL bounds - >= -24116532 @ 0.639874
1.08/1.11	c GLOBAL bounds - >= -24116532 @ 0.669027
1.08/1.17	c GLOBAL bounds - >= -24116532 @ 0.703995
1.17/1.23	c GLOBAL bounds - >= -24116532 @ 0.739602
1.17/1.28	c GLOBAL bounds - >= -24116532 @ 0.766748
1.27/1.33	c GLOBAL bounds - >= -24116532 @ 0.795877
1.27/1.39	c GLOBAL bounds - >= -24116532 @ 0.829282
1.37/1.44	c GLOBAL bounds - >= -24116532 @ 0.852224
1.37/1.49	c GLOBAL bounds - >= -24116532 @ 0.879429
1.47/1.55	c GLOBAL bounds - >= -24116532 @ 0.91085
1.57/1.61	c GLOBAL bounds - >= -24116532 @ 0.946292
1.57/1.66	c GLOBAL bounds - >= -24116532 @ 0.967722
1.67/1.72	c GLOBAL bounds - >= -24116532 @ 0.991016
1.67/1.78	c GLOBAL bounds - >= -24116532 @ 1.0229
2.66/2.74	c GLOBAL bounds - >= -24116532 @ 1.92805
2.77/2.81	c GLOBAL bounds - >= -24116532 @ 1.97902
2.77/2.86	c GLOBAL bounds - >= -24116532 @ 2.01231
2.86/2.92	c GLOBAL bounds - >= -24116532 @ 2.04672
3.27/3.33	c GLOBAL bounds - >= -24116532 @ 2.42794
3.27/3.39	c GLOBAL bounds - >= -24116532 @ 2.46019
3.36/3.46	c GLOBAL bounds - >= -24116532 @ 2.50587
3.47/3.53	c GLOBAL bounds - >= -24116532 @ 2.5474
3.56/3.60	c GLOBAL bounds - >= -24116532 @ 2.60128
3.56/3.66	c GLOBAL bounds - >= -24116532 @ 2.63112
4.36/4.42	c GLOBAL bounds - >= -24116532 @ 3.36533
4.36/4.49	c GLOBAL bounds - >= -24116532 @ 3.41594
4.47/4.57	c GLOBAL bounds - >= -24116532 @ 3.46315
4.57/4.63	c GLOBAL bounds - >= -24116532 @ 3.50398
4.66/4.70	c GLOBAL bounds - >= -24116532 @ 3.55289
4.66/4.76	c GLOBAL bounds - >= -24116532 @ 3.59307
4.76/4.88	c GLOBAL bounds - >= -24116532 @ 3.68473
4.97/5.01	c GLOBAL bounds - >= -24116532 @ 3.78513
4.97/5.09	c GLOBAL bounds - >= -24116532 @ 3.84918
5.06/5.16	c GLOBAL bounds - >= -24116532 @ 3.89843
5.16/5.25	c GLOBAL bounds - >= -24116532 @ 3.95679
5.26/5.35	c GLOBAL bounds - >= -24116532 @ 4.02543
5.36/5.41	c GLOBAL bounds - >= -24116532 @ 4.06605
5.36/5.49	c GLOBAL bounds - >= -24116532 @ 4.10983
5.46/5.58	c GLOBAL bounds - >= -24116532 @ 4.17491
5.76/5.84	c GLOBAL bounds - >= -24116532 @ 4.41859
5.96/6.01	c GLOBAL bounds - >= -24116532 @ 4.55181
5.96/6.07	c GLOBAL bounds - >= -24116532 @ 4.58871
6.15/6.20	c GLOBAL bounds - >= -24116532 @ 4.68574
6.15/6.27	c GLOBAL bounds - >= -24116532 @ 4.73794
6.25/6.35	c GLOBAL bounds - >= -24116532 @ 4.78655
6.36/6.43	c GLOBAL bounds - >= -24116532 @ 4.84782
6.66/6.70	c GLOBAL bounds - >= -24116532 @ 5.08624
6.75/6.81	c GLOBAL bounds - >= -24116532 @ 5.16925
6.75/6.89	c GLOBAL bounds - >= -24116532 @ 5.23079
6.85/6.96	c GLOBAL bounds - >= -24116532 @ 5.2865
6.96/7.07	c GLOBAL bounds - >= -24116532 @ 5.36785
7.06/7.15	c GLOBAL bounds - >= -24116532 @ 5.42157
7.15/7.22	c GLOBAL bounds - >= -24116532 @ 5.47372
7.25/7.30	c GLOBAL bounds - >= -24116532 @ 5.52953
7.25/7.39	c GLOBAL bounds - >= -24116532 @ 5.58702
7.55/7.61	c GLOBAL bounds - >= -24116532 @ 5.76162
7.55/7.67	c GLOBAL bounds - >= -24116532 @ 5.80181
8.96/9.09	c GLOBAL bounds - >= -24116532 @ 7.16498
9.06/9.18	c GLOBAL bounds - >= -24116532 @ 7.22625
9.15/9.26	c GLOBAL bounds - >= -24116532 @ 7.29441
9.25/9.34	c GLOBAL bounds - >= -24116532 @ 7.35779
9.35/9.42	c GLOBAL bounds - >= -24116532 @ 7.41872
9.55/9.61	c GLOBAL bounds - >= -24116532 @ 7.58899
9.65/9.70	c GLOBAL bounds - >= -24116532 @ 7.66477
9.75/9.85	c GLOBAL bounds - >= -24116532 @ 7.80052
9.95/10.08	c GLOBAL bounds - >= -24116532 @ 8.01093
10.05/10.17	c GLOBAL bounds - >= -24116532 @ 8.08878
10.25/10.31	c GLOBAL bounds - >= -24116532 @ 8.19714
13.24/13.38	c GLOBAL bounds - >= -24116532 @ 11.1507
13.44/13.53	c GLOBAL bounds - >= -24116532 @ 11.2704
13.74/13.83	c GLOBAL bounds - >= -24116532 @ 11.55
23.71/23.84	c #Conflicts:       1000 | #Constraints:       1556
23.71/23.84	c GLOBAL bounds - >= -24116532 @ 21.2447
23.91/24.01	c GLOBAL bounds - >= -24116532 @ 21.3913
24.02/24.18	c GLOBAL bounds - >= -24116532 @ 21.5341
25.60/25.72	c GLOBAL bounds - >= -24116532 @ 23.0136
25.80/25.92	c GLOBAL bounds - >= -24116532 @ 23.1814
26.20/26.30	c GLOBAL bounds - >= -24116532 @ 23.5286
26.30/26.49	c GLOBAL bounds - >= -24116532 @ 23.6865
26.50/26.69	c GLOBAL bounds - >= -24116532 @ 23.8672
27.09/27.24	c GLOBAL bounds - >= -24116532 @ 24.3926
29.00/29.15	c GLOBAL bounds - >= -24116532 @ 26.2504
29.29/29.40	c GLOBAL bounds - >= -24116532 @ 26.4688
33.08/33.25	c GLOBAL bounds - >= -24116532 @ 30.1795
33.28/33.48	c GLOBAL bounds - >= -24116532 @ 30.3869
33.58/33.73	c GLOBAL bounds - >= -24116532 @ 30.6015
34.48/34.61	c GLOBAL bounds - >= -24116532 @ 31.4494
34.77/34.94	c GLOBAL bounds - >= -24116532 @ 31.7629
34.98/35.17	c GLOBAL bounds - >= -24116532 @ 31.961
35.27/35.40	c GLOBAL bounds - >= -24116532 @ 32.1668
35.47/35.61	c GLOBAL bounds - >= -24116532 @ 32.3531
35.67/35.88	c GLOBAL bounds - >= -24116532 @ 32.5962
40.46/40.60	c GLOBAL bounds - >= -24116532 @ 37.1841
40.65/40.81	c GLOBAL bounds - >= -24116532 @ 37.3722
40.86/41.05	c GLOBAL bounds - >= -24116532 @ 37.5764
41.05/41.27	c GLOBAL bounds - >= -24116532 @ 37.7789
41.36/41.51	c GLOBAL bounds - >= -24116532 @ 37.9927
41.55/41.75	c GLOBAL bounds - >= -24116532 @ 38.2001
41.96/42.12	c GLOBAL bounds - >= -24116532 @ 38.5533
56.91/57.19	c #Conflicts:       2000 | #Constraints:       2610
56.91/57.19	c INPROCESSING
56.91/57.19	c GARBAGE COLLECT
56.91/57.19	c GLOBAL bounds - >= -24116532 @ 53.3697
87.21/87.56	c #Conflicts:       3000 | #Constraints:       2627
87.21/87.56	c GLOBAL bounds - >= -24116532 @ 83.2704
90.51/90.83	c GLOBAL bounds - >= -24116532 @ 86.4776
90.91/91.25	c GLOBAL bounds - >= -24116532 @ 86.8753
91.40/91.72	c GLOBAL bounds - >= -24116532 @ 87.3199
91.90/92.21	c GLOBAL bounds - >= -24116532 @ 87.7966
92.40/92.73	c GLOBAL bounds - >= -24116532 @ 88.2826
92.90/93.22	c GLOBAL bounds - >= -24116532 @ 88.759
94.09/94.44	c GLOBAL bounds - >= -24116532 @ 89.9487
110.54/110.97	c GLOBAL bounds - >= -24116532 @ 106.144
111.25/111.68	c GLOBAL bounds - >= -24116532 @ 106.837
112.24/112.64	c GLOBAL bounds - >= -24116532 @ 107.764
113.04/113.40	c GLOBAL bounds - >= -24116532 @ 108.476
113.74/114.12	c GLOBAL bounds - >= -24116532 @ 109.167
114.44/114.87	c GLOBAL bounds - >= -24116532 @ 109.891
115.13/115.51	c GLOBAL bounds - >= -24116532 @ 110.496
163.39/163.92	c #Conflicts:       4000 | #Constraints:       3657
163.39/163.92	c INPROCESSING
163.39/163.92	c GARBAGE COLLECT
163.39/163.92	c GLOBAL bounds - >= -24116532 @ 157.873
167.08/167.64	c GLOBAL bounds - >= -24116532 @ 161.555
186.22/186.81	c #Conflicts:       5000 | #Constraints:       3088
186.22/186.81	c GLOBAL bounds - >= -24116532 @ 180.528
187.42/188.09	c GLOBAL bounds - >= -24116532 @ 181.769
187.91/188.55	c GLOBAL bounds - >= -24116532 @ 182.21
188.42/189.02	c GLOBAL bounds - >= -24116532 @ 182.654
188.81/189.48	c GLOBAL bounds - >= -24116532 @ 183.085
189.61/190.29	c GLOBAL bounds - >= -24116532 @ 183.879
190.01/190.66	c GLOBAL bounds - >= -24116532 @ 184.226
190.52/191.14	c GLOBAL bounds - >= -24116532 @ 184.683
191.01/191.65	c GLOBAL bounds - >= -24116532 @ 185.179
193.60/194.27	c GLOBAL bounds - >= -24116532 @ 187.744
194.09/194.70	c GLOBAL bounds - >= -24116532 @ 188.145
197.78/198.45	c GLOBAL bounds - >= -24116532 @ 191.839
223.32/224.04	c #Conflicts:       6000 | #Constraints:       4112
223.32/224.04	c GLOBAL bounds - >= -24116532 @ 217.075
224.10/224.81	c GLOBAL bounds - >= -24116532 @ 217.812
224.80/225.53	c GLOBAL bounds - >= -24116532 @ 218.494
226.60/227.37	c GLOBAL bounds - >= -24116532 @ 220.302
227.20/227.96	c GLOBAL bounds - >= -24116532 @ 220.859
227.80/228.56	c GLOBAL bounds - >= -24116532 @ 221.42
228.49/229.24	c GLOBAL bounds - >= -24116532 @ 222.066
229.59/230.39	c GLOBAL bounds - >= -24116532 @ 223.18
256.92/257.74	c INPROCESSING
256.92/257.74	c GARBAGE COLLECT
256.92/257.74	c #Conflicts:       7000 | #Constraints:       3131
256.92/257.74	c GLOBAL bounds - >= -24116532 @ 250.305
259.01/259.85	c #Conflicts:       8000 | #Constraints:       4133
259.01/259.85	c GLOBAL bounds - >= -24116532 @ 252.363
259.41/260.26	c GLOBAL bounds - >= -24116532 @ 252.733
265.00/265.83	c GLOBAL bounds - >= -24116532 @ 258.182
265.50/266.36	c GLOBAL bounds - >= -24116532 @ 258.688
269.68/270.56	c GLOBAL bounds - >= -24116532 @ 262.834
273.47/274.38	c GLOBAL bounds - >= -24116532 @ 266.586
278.96/279.86	c GLOBAL bounds - >= -24116532 @ 271.984
303.09/304.07	c #Conflicts:       9000 | #Constraints:       5147
303.09/304.07	c INPROCESSING
303.09/304.07	c GARBAGE COLLECT
303.09/304.07	c GLOBAL bounds - >= -24116532 @ 295.934
305.48/306.40	c GLOBAL bounds - >= -24116532 @ 298.22
306.48/307.41	c GLOBAL bounds - >= -24116532 @ 299.205
306.87/307.86	c GLOBAL bounds - >= -24116532 @ 299.629
314.46/315.44	c GLOBAL bounds - >= -24116532 @ 307.086
315.16/316.12	c GLOBAL bounds - >= -24116532 @ 307.739
315.55/316.54	c GLOBAL bounds - >= -24116532 @ 308.145
317.64/318.69	c GLOBAL bounds - >= -24116532 @ 310.261
335.39/336.47	c #Conflicts:      10000 | #Constraints:       3872
335.39/336.47	c GLOBAL bounds - >= -24116532 @ 327.838
335.99/337.03	c GLOBAL bounds - >= -24116532 @ 328.377
369.09/370.25	c #Conflicts:      11000 | #Constraints:       4876
369.09/370.25	c GLOBAL bounds - >= -24116532 @ 361.29
385.54/386.76	c GLOBAL bounds - >= -24116532 @ 377.525
402.39/403.68	c GLOBAL bounds - >= -24116532 @ 394.275
415.55/416.81	c GLOBAL bounds - >= -24116532 @ 407.236
416.25/417.57	c GLOBAL bounds - >= -24116532 @ 407.956
424.03/425.38	c #Conflicts:      12000 | #Constraints:       5886
424.03/425.38	c INPROCESSING
424.03/425.38	c GARBAGE COLLECT
424.03/425.38	c GLOBAL bounds - >= -24116532 @ 415.654
424.43/425.78	c GLOBAL bounds - >= -24116532 @ 416.029
435.49/436.84	c GLOBAL bounds - >= -24116532 @ 426.994
449.25/450.63	c GLOBAL bounds - >= -24116532 @ 440.622
455.13/456.52	c GLOBAL bounds - >= -24116532 @ 446.427
455.74/457.19	c GLOBAL bounds - >= -24116532 @ 447.077
456.33/457.70	c GLOBAL bounds - >= -24116532 @ 447.561
456.74/458.19	c GLOBAL bounds - >= -24116532 @ 448.031
457.43/458.80	c GLOBAL bounds - >= -24116532 @ 448.612
656.83/658.86	c #Conflicts:      13000 | #Constraints:       4337
656.83/658.86	c #Conflicts:      14000 | #Constraints:       5337
656.83/658.86	c #Conflicts:      15000 | #Constraints:       6337
656.83/658.86	c INPROCESSING
656.83/658.86	c GARBAGE COLLECT
656.83/658.86	c GLOBAL bounds - >= -24116532 @ 647.064
661.61/663.61	c #Conflicts:      16000 | #Constraints:       4557
661.61/663.61	c GLOBAL bounds - >= -24116532 @ 651.756
826.91/829.43	c #Conflicts:      17000 | #Constraints:       5559
826.91/829.43	c #Conflicts:      18000 | #Constraints:       6559
826.91/829.43	c INPROCESSING
826.91/829.43	c GARBAGE COLLECT
826.91/829.43	c GLOBAL bounds - >= -24116532 @ 816.443
827.21/829.79	c GLOBAL bounds - >= -24116532 @ 816.767
827.61/830.18	c GLOBAL bounds - >= -24116532 @ 817.127
853.13/855.77	c #Conflicts:      19000 | #Constraints:       4575
853.13/855.77	c GLOBAL bounds - >= -24116532 @ 842.463
853.63/856.23	c GLOBAL bounds - >= -24116532 @ 842.904
854.23/856.81	c GLOBAL bounds - >= -24116532 @ 843.466
854.83/857.46	c GLOBAL bounds - >= -24116532 @ 844.098
855.44/858.09	c GLOBAL bounds - >= -24116532 @ 844.702
855.93/858.55	c GLOBAL bounds - >= -24116532 @ 845.131
856.43/859.03	c GLOBAL bounds - >= -24116532 @ 845.593
856.92/859.56	c GLOBAL bounds - >= -24116532 @ 846.096
857.43/860.07	c GLOBAL bounds - >= -24116532 @ 846.574
860.31/863.00	c GLOBAL bounds - >= -24116532 @ 849.445
860.91/863.57	c GLOBAL bounds - >= -24116532 @ 849.99
866.59/869.24	c GLOBAL bounds - >= -24116532 @ 855.575
873.68/876.37	c GLOBAL bounds - >= -24116532 @ 862.63
879.06/881.78	c GLOBAL bounds - >= -24116532 @ 867.952
893.43/896.19	c GLOBAL bounds - >= -24116532 @ 882.132
896.61/899.34	c GLOBAL bounds - >= -24116532 @ 885.212
911.77/914.55	c #Conflicts:      20000 | #Constraints:       5607
911.77/914.55	c GLOBAL bounds - >= -24116532 @ 899.997
913.66/916.41	c GLOBAL bounds - >= -24116532 @ 901.823
918.15/921.00	c GLOBAL bounds - >= -24116532 @ 906.349
920.25/923.01	c GLOBAL bounds - >= -24116532 @ 908.314
920.74/923.58	c GLOBAL bounds - >= -24116532 @ 908.854
928.61/931.48	c GLOBAL bounds - >= -24116532 @ 916.644
929.82/932.65	c GLOBAL bounds - >= -24116532 @ 917.78
930.51/933.36	c GLOBAL bounds - >= -24116532 @ 918.471
931.71/934.55	c GLOBAL bounds - >= -24116532 @ 919.61
932.61/935.48	c GLOBAL bounds - >= -24116532 @ 920.507
933.80/936.63	c GLOBAL bounds - >= -24116532 @ 921.612
934.50/937.37	c GLOBAL bounds - >= -24116532 @ 922.326
935.20/938.06	c GLOBAL bounds - >= -24116532 @ 922.993
936.09/938.90	c GLOBAL bounds - >= -24116532 @ 923.798
936.90/939.76	c GLOBAL bounds - >= -24116532 @ 924.637
937.48/940.34	c GLOBAL bounds - >= -24116532 @ 925.184
938.09/940.99	c GLOBAL bounds - >= -24116532 @ 925.792
942.87/945.75	c GLOBAL bounds - >= -24116532 @ 930.462
1024.33/1027.48	c #Conflicts:      21000 | #Constraints:       6643
1024.33/1027.48	c GLOBAL bounds - >= -24116532 @ 1011.26
1025.03/1028.15	c GLOBAL bounds - >= -24116532 @ 1011.91
1025.73/1028.83	c GLOBAL bounds - >= -24116532 @ 1012.56
1026.43/1029.53	c GLOBAL bounds - >= -24116532 @ 1013.23
1027.04/1030.19	c GLOBAL bounds - >= -24116532 @ 1013.86
1027.72/1030.85	c GLOBAL bounds - >= -24116532 @ 1014.49
1028.42/1031.52	c GLOBAL bounds - >= -24116532 @ 1015.12
1034.60/1037.76	c INPROCESSING
1034.60/1037.76	c GARBAGE COLLECT
1034.60/1037.76	c GLOBAL bounds - >= -24116532 @ 1021.29
1034.91/1038.09	c GLOBAL bounds - >= -24116532 @ 1021.6
1035.31/1038.40	c GLOBAL bounds - >= -24116532 @ 1021.88
1035.60/1038.76	c GLOBAL bounds - >= -24116532 @ 1022.22
1036.01/1039.16	c GLOBAL bounds - >= -24116532 @ 1022.59
1036.30/1039.48	c GLOBAL bounds - >= -24116532 @ 1022.88
1036.70/1039.81	c GLOBAL bounds - >= -24116532 @ 1023.19
1037.00/1040.18	c GLOBAL bounds - >= -24116532 @ 1023.52
1037.60/1040.79	c GLOBAL bounds - >= -24116532 @ 1024.1
1038.09/1041.21	c GLOBAL bounds - >= -24116532 @ 1024.5
1059.23/1062.48	c #Conflicts:      22000 | #Constraints:       4482
1059.23/1062.48	c GLOBAL bounds - >= -24116532 @ 1045.49
1059.73/1062.94	c GLOBAL bounds - >= -24116532 @ 1045.93
1061.23/1064.48	c GLOBAL bounds - >= -24116532 @ 1047.44
1081.27/1084.55	c #Conflicts:      23000 | #Constraints:       5488
1081.27/1084.55	c GLOBAL bounds - >= -24116532 @ 1067.22
1099.42/1102.73	c GLOBAL bounds - >= -24116532 @ 1085.21
1099.92/1103.24	c GLOBAL bounds - >= -24116532 @ 1085.69
1100.51/1103.89	c GLOBAL bounds - >= -24116532 @ 1086.31
1105.30/1108.62	c GLOBAL bounds - >= -24116532 @ 1090.98
1105.81/1109.15	c GLOBAL bounds - >= -24116532 @ 1091.49
1106.30/1109.69	c GLOBAL bounds - >= -24116532 @ 1092
1110.79/1114.19	c GLOBAL bounds - >= -24116532 @ 1096.44
1127.83/1131.23	c #Conflicts:      24000 | #Constraints:       6504
1127.83/1131.23	c GLOBAL bounds - >= -24116532 @ 1113.26
1134.32/1137.77	c GLOBAL bounds - >= -24116532 @ 1119.72
1139.20/1142.63	c GLOBAL bounds - >= -24116532 @ 1124.52
1139.90/1143.35	c GLOBAL bounds - >= -24116532 @ 1125.22
1228.73/1232.45	c #Conflicts:      25000 | #Constraints:       7512
1228.73/1232.45	c INPROCESSING
1228.73/1232.45	c GARBAGE COLLECT
1228.73/1232.45	c #Conflicts:      26000 | #Constraints:       5167
1228.73/1232.45	c #Conflicts:      27000 | #Constraints:       6167
1228.73/1232.45	c GLOBAL bounds - >= -24116532 @ 1213.4
1229.23/1232.90	c GLOBAL bounds - >= -24116532 @ 1213.83
1229.73/1233.46	c GLOBAL bounds - >= -24116532 @ 1214.36
1230.62/1234.37	c GLOBAL bounds - >= -24116532 @ 1215.24
1246.58/1250.30	c GLOBAL bounds - >= -24116532 @ 1231.02
1246.97/1250.76	c GLOBAL bounds - >= -24116532 @ 1231.46
1287.36/1291.27	c #Conflicts:      28000 | #Constraints:       7179
1287.36/1291.27	c GLOBAL bounds - >= -24116532 @ 1271.48
1287.96/1291.85	c GLOBAL bounds - >= -24116532 @ 1272.04
1288.55/1292.43	c GLOBAL bounds - >= -24116532 @ 1272.59
1289.05/1293.00	c GLOBAL bounds - >= -24116532 @ 1273.15
1289.75/1293.60	c GLOBAL bounds - >= -24116532 @ 1273.73
1290.35/1294.22	c GLOBAL bounds - >= -24116532 @ 1274.32
1290.95/1294.81	c GLOBAL bounds - >= -24116532 @ 1274.89
1291.55/1295.48	c GLOBAL bounds - >= -24116532 @ 1275.54
1292.15/1296.10	c GLOBAL bounds - >= -24116532 @ 1276.13
1292.74/1296.68	c GLOBAL bounds - >= -24116532 @ 1276.7
1293.34/1297.26	c GLOBAL bounds - >= -24116532 @ 1277.26
1293.94/1297.84	c GLOBAL bounds - >= -24116532 @ 1277.83
1294.84/1298.77	c GLOBAL bounds - >= -24116532 @ 1278.74
1295.54/1299.43	c GLOBAL bounds - >= -24116532 @ 1279.39
1296.43/1300.31	c GLOBAL bounds - >= -24116532 @ 1280.24
1316.08/1320.05	c GLOBAL bounds - >= -24116532 @ 1299.77
1317.18/1321.17	c GLOBAL bounds - >= -24116532 @ 1300.87
1317.87/1321.86	c GLOBAL bounds - >= -24116532 @ 1301.55
1347.38/1351.46	c #Conflicts:      29000 | #Constraints:       8215
1347.38/1351.46	c INPROCESSING
1347.38/1351.46	c GARBAGE COLLECT
1347.38/1351.46	c GLOBAL bounds - >= -24116532 @ 1330.79
1369.12/1373.23	c #Conflicts:      30000 | #Constraints:       5604
1369.12/1373.23	c GLOBAL bounds - >= -24116532 @ 1352.25
1456.86/1461.24	c #Conflicts:      31000 | #Constraints:       6606
1456.86/1461.24	c #Conflicts:      32000 | #Constraints:       7606
1456.86/1461.24	c GLOBAL bounds - >= -24116532 @ 1439.27
1523.85/1528.44	c #Conflicts:      33000 | #Constraints:       8608
1523.85/1528.44	c INPROCESSING
1523.85/1528.44	c GARBAGE COLLECT
1523.85/1528.44	c GLOBAL bounds - >= -24116532 @ 1505.81
1524.26/1528.82	c GLOBAL bounds - >= -24116532 @ 1506.17
1526.05/1530.64	c GLOBAL bounds - >= -24116532 @ 1507.94
1528.45/1533.03	c GLOBAL bounds - >= -24116532 @ 1510.29
1529.13/1533.71	c GLOBAL bounds - >= -24116532 @ 1510.95
1633.14/1638.03	c #Conflicts:      34000 | #Constraints:       5794
1633.14/1638.03	c #Conflicts:      35000 | #Constraints:       6794
1633.14/1638.03	c #Conflicts:      36000 | #Constraints:       7794
1633.14/1638.03	c #Conflicts:      37000 | #Constraints:       8794
1633.14/1638.03	c INPROCESSING
1633.14/1638.03	c GARBAGE COLLECT
1633.14/1638.03	c #Conflicts:      38000 | #Constraints:       5836
1633.14/1638.03	c GLOBAL bounds - >= -24116532 @ 1614
1660.46/1665.41	c #Conflicts:      39000 | #Constraints:       6838
1660.46/1665.41	c GLOBAL bounds - >= -24116532 @ 1641.03
1661.16/1666.17	c GLOBAL bounds - >= -24116532 @ 1641.77
1661.66/1666.69	c GLOBAL bounds - >= -24116532 @ 1642.27
1790.37/1795.73	c #Conflicts:      40000 | #Constraints:       7844
1790.37/1795.73	c #Conflicts:      41000 | #Constraints:       8844
1790.37/1795.73	c INPROCESSING
1790.37/1795.73	c GARBAGE COLLECT
1790.37/1795.73	c GLOBAL bounds - >= -24116532 @ 1769.5
1813.70/1819.16	c #Conflicts:      42000 | #Constraints:       5641
1813.70/1819.16	c GLOBAL bounds - >= -24116532 @ 1792.61
1994.78/2000.71	c #Conflicts:      43000 | #Constraints:       6643
1994.78/2000.71	c #Conflicts:      44000 | #Constraints:       7643
1994.78/2000.71	c GLOBAL bounds - >= -24116532 @ 1971.56
2011.43/2017.47	c GLOBAL bounds - >= -24116532 @ 1988.16
2042.54/2048.69	c #Conflicts:      45000 | #Constraints:       8647
2042.54/2048.69	c GLOBAL bounds - >= -24116532 @ 2019.11
2202.15/2208.76	c #Conflicts:      46000 | #Constraints:       9649
2202.15/2208.76	c INPROCESSING
2202.15/2208.76	c GARBAGE COLLECT
2202.15/2208.76	c GLOBAL bounds - >= -24116532 @ 2176.92
2202.75/2209.32	c GLOBAL bounds - >= -24116532 @ 2177.46
2233.16/2239.89	c #Conflicts:      47000 | #Constraints:       6219
2233.16/2239.89	c GLOBAL bounds - >= -24116532 @ 2207.18
2233.77/2240.46	c GLOBAL bounds - >= -24116532 @ 2207.73
2234.67/2241.35	c GLOBAL bounds - >= -24116532 @ 2208.59
2235.16/2241.86	c GLOBAL bounds - >= -24116532 @ 2209.08
2486.37/2493.75	c #Conflicts:      48000 | #Constraints:       7227
2486.37/2493.75	c #Conflicts:      49000 | #Constraints:       8227
2486.37/2493.75	c #Conflicts:      50000 | #Constraints:       9227
2486.37/2493.75	c #Conflicts:      51000 | #Constraints:      10227
2486.37/2493.75	c INPROCESSING
2486.37/2493.75	c GARBAGE COLLECT
2486.37/2493.75	c #Conflicts:      52000 | #Constraints:       6648
2486.37/2493.75	c #Conflicts:      53000 | #Constraints:       7648
2486.37/2493.75	c GLOBAL bounds - >= -24116532 @ 2458.62
2486.87/2494.26	c GLOBAL bounds - >= -24116532 @ 2459.1
2487.36/2494.79	c GLOBAL bounds - >= -24116532 @ 2459.61
2569.54/2577.11	c #Conflicts:      54000 | #Constraints:       8654
2569.54/2577.11	c GLOBAL bounds - >= -24116532 @ 2540.23
2570.04/2577.66	c GLOBAL bounds - >= -24116532 @ 2540.75
2570.63/2578.22	c GLOBAL bounds - >= -24116532 @ 2541.29
2571.13/2578.78	c GLOBAL bounds - >= -24116532 @ 2541.82
2571.73/2579.36	c GLOBAL bounds - >= -24116532 @ 2542.38
2572.33/2579.92	c GLOBAL bounds - >= -24116532 @ 2542.9
2572.83/2580.47	c GLOBAL bounds - >= -24116532 @ 2543.43
2573.43/2581.04	c GLOBAL bounds - >= -24116532 @ 2543.97
2573.93/2581.59	c GLOBAL bounds - >= -24116532 @ 2544.49
2574.53/2582.16	c GLOBAL bounds - >= -24116532 @ 2545.04
2575.12/2582.71	c GLOBAL bounds - >= -24116532 @ 2545.55
2620.70/2628.44	c #Conflicts:      55000 | #Constraints:       9676
2620.70/2628.44	c #Conflicts:      56000 | #Constraints:      10676
2620.70/2628.44	c INPROCESSING
2620.70/2628.44	c GARBAGE COLLECT
2620.70/2628.44	c GLOBAL bounds - >= -24116532 @ 2590.86
2621.89/2629.68	c GLOBAL bounds - >= -24116532 @ 2592.05
2622.29/2630.03	c GLOBAL bounds - >= -24116532 @ 2592.36
2622.59/2630.38	c GLOBAL bounds - >= -24116532 @ 2592.68
2628.08/2635.88	c GLOBAL bounds - >= -24116532 @ 2598.08
2634.66/2642.46	c GLOBAL bounds - >= -24116532 @ 2604.58
2680.64/2688.59	c #Conflicts:      57000 | #Constraints:       6865
2680.64/2688.59	c GLOBAL bounds - >= -24116532 @ 2650.3
2681.44/2689.30	c GLOBAL bounds - >= -24116532 @ 2650.98
2685.93/2693.83	c GLOBAL bounds - >= -24116532 @ 2655.45
2686.33/2694.27	c GLOBAL bounds - >= -24116532 @ 2655.87
2714.36/2722.34	c GLOBAL bounds - >= -24116532 @ 2683.34
2781.08/2789.28	c #Conflicts:      58000 | #Constraints:       7875
2781.08/2789.28	c GLOBAL bounds - >= -24116532 @ 2749.32
2888.34/2896.84	c #Conflicts:      59000 | #Constraints:       8877
2888.34/2896.84	c #Conflicts:      60000 | #Constraints:       9877
2888.34/2896.84	c #Conflicts:      61000 | #Constraints:      10877
2888.34/2896.84	c GLOBAL bounds - >= -24116532 @ 2855.68
3241.17/3250.70	c INPROCESSING
3241.17/3250.70	c GARBAGE COLLECT
3241.17/3250.70	c #Conflicts:      62000 | #Constraints:       6881
3241.17/3250.70	c #Conflicts:      63000 | #Constraints:       7881
3241.17/3250.70	c #Conflicts:      64000 | #Constraints:       8881
3241.17/3250.70	c #Conflicts:      65000 | #Constraints:       9881
3241.17/3250.70	c GLOBAL bounds - >= -24116532 @ 3207.41
3241.77/3251.36	c GLOBAL bounds - >= -24116532 @ 3208.05
3384.92/3394.97	c #Conflicts:      66000 | #Constraints:      10885
3384.92/3394.97	c INPROCESSING
3384.92/3394.97	c GARBAGE COLLECT
3384.92/3394.97	c GLOBAL bounds - >= -24116532 @ 3350.89
3600.08/3610.70	c #Conflicts:      67000 | #Constraints:       6698
3600.08/3610.70	c #Conflicts:      68000 | #Constraints:       7698
3600.08/3610.70	c #Conflicts:      69000 | #Constraints:       8698
3600.08/3610.70	c #Conflicts:      70000 | #Constraints:       9698
3600.08/3610.70	c cpu time 3565.17 s
3600.08/3610.70	c deterministic time 126 1.26e+02
3600.08/3610.70	c optimization time 3564.94 s
3600.08/3610.70	c total solve time 0 s
3600.08/3610.70	c core-guided solve time 0 s
3600.08/3610.70	c propagation time 0.013622 s
3600.08/3610.70	c conflict analysis time 0 s
3600.08/3610.70	c propagations 125
3600.08/3610.70	c resolve steps 0
3600.08/3610.70	c decisions 0
3600.08/3610.70	c conflicts 0
3600.08/3610.70	c restarts 0
3600.08/3610.70	c inprocessing phases 0
3600.08/3610.70	c garbage collections 0 ,( -nan )
3600.08/3610.70	c input clauses 40395 ,( 98.65 )
3600.08/3610.70	c input cardinalities 553 ,( 1.35 )
3600.08/3610.70	c input general constraints 1 ,( 0.00 )
3600.08/3610.70	c input average constraint length 5.42
3600.08/3610.70	c input average constraint degree 5.35
3600.08/3610.70	c learned clauses 0 ,( 0.00 )
3600.08/3610.70	c learned cardinalities 0 ,( 0.00 )
3600.08/3610.70	c learned general constraints 0 ,( 0.00 )
3600.08/3610.70	c learned average constraint length 0.00
3600.08/3610.70	c learned average constraint degree 0.00
3600.08/3610.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3610.70	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.08/3610.70	c watched   constraints 0 ,( 0.00 ) 
3600.08/3610.70	c counting  constraints 1 ,( 100.00 ) 
3600.08/3610.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3610.70	c gcd simplifications 0
3600.08/3610.70	c detected cardinalities 0
3600.08/3610.70	c weakened non-implied lits 0
3600.08/3610.70	c weakened non-implying lits 0
3600.08/3610.70	c original variables 40451
3600.08/3610.70	c clausal propagations 0
3600.08/3610.70	c cardinality propagations 0
3600.08/3610.70	c watched propagations 0
3600.08/3610.70	c counting propagations 0
3600.08/3610.70	c watch lookups 0
3600.08/3610.70	c watch backjump lookups 0
3600.08/3610.70	c watch checks 0
3600.08/3610.70	c propagation checks 0
3600.08/3610.70	c constraint additions 0
3600.08/3610.70	c trail pops 0
3600.08/3610.70	c formula constraints 40949
3600.08/3610.70	c learned constraints 0
3600.08/3610.70	c bound constraints 0
3600.08/3610.70	c core-guided constraints 0
3600.08/3610.70	c encountered formula constraints 0
3600.08/3610.70	c encountered learned constraints 0
3600.08/3610.70	c encountered bound constraints 0
3600.08/3610.70	c encountered core-guided constraints 0
3600.08/3610.70	c LP total time 0 s
3600.08/3610.70	c LP solve time 0 s
3600.08/3610.70	c LP constraints added 0
3600.08/3610.70	c LP constraints removed 0
3600.08/3610.70	c LP pivots internal 0
3600.08/3610.70	c LP pivots root 0
3600.08/3610.70	c LP calls 0
3600.08/3610.70	c LP optimalities 0
3600.08/3610.70	c LP no pivot count 0
3600.08/3610.70	c LP infeasibilities 0
3600.08/3610.70	c LP valid Farkas constraints 0
3600.08/3610.70	c LP learned Farkas constraints 0
3600.08/3610.70	c LP basis resets 0
3600.08/3610.70	c LP cycling count 0
3600.08/3610.70	c LP singular count 0
3600.08/3610.70	c LP no primal count 0
3600.08/3610.70	c LP no farkas count 0
3600.08/3610.70	c LP other issue count 0
3600.08/3610.70	c LP Gomory cuts 0
3600.08/3610.70	c LP learned cuts 0
3600.08/3610.70	c LP deleted cuts 0
3600.08/3610.70	c LP encountered Gomory constraints 0
3600.08/3610.70	c LP encountered Farkas constraints 0
3600.08/3610.70	c LP encountered learned Farkas constraints 0
3600.08/3610.70	c CG auxiliary variables introduced 0
3600.08/3610.70	c CG solutions found 0
3600.08/3610.70	c CG cores constructed 0
3600.08/3610.70	c CG core cardinality constraints returned 0
3600.08/3610.70	c CG unit cores 0
3600.08/3610.70	c CG single cores 0
3600.08/3610.70	c CG blocks removed during cardinality reduction 0
3600.08/3610.70	c CG first core best 0
3600.08/3610.70	c CG decision core best 0
3600.08/3610.70	c CG core reduction tie 0
3600.08/3610.70	c CG core degree average 0.00
3600.08/3610.70	c CG core slack average 0.00
3600.08/3610.70	c CG core upper bound improvements 0
3600.08/3610.70	c STR number of successful calls 0
3600.08/3610.70	c STR number of unsuccessful calls 0
3600.08/3610.70	c STR number of inconclusive calls 0
3600.08/3610.70	c STR number of successful attempts 0
3600.08/3610.70	c STR number of unsuccessful attempts 0
3600.08/3610.70	c STR number of inconclusive attempts 0
3600.08/3610.70	c STR average degree increase per successful call inf
3600.08/3610.70	c STR average degree increase per successful attempt inf
3600.08/3610.70	c STR total number of conflicts for successful attempts 0
3600.08/3610.70	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.70	c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.70	c STR average number of conflicts per successful attempt inf
3600.08/3610.70	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.70	c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.70	c AVG.sumWPerc 99.95 
3600.08/3610.70	c bigint constraints 0 
3600.08/3610.70	s UNKNOWN
3600.08/3610.70	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 (36062 MiB free)
  memory of node 1: 64507 MiB (49803 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=73778, runsolver pid=73775

[startup+0.10006 s]*
/proc/loadavg: 4.22 4.19 4.14 5/274 73780
/proc/meminfo: memFree=87899252/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=66672 memory=21880 CPUtime=0.07 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 4224 0 0 0 6 1 0 0 20 0 1 0 64031642 68272128 5470 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 16668 5470 1984 1147 0 4095 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70864 KiB
Current children cumulated memory: 24824 KiB

[startup+0.204921 s]*
/proc/loadavg: 4.22 4.19 4.14 5/274 73780
/proc/meminfo: memFree=87872160/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=81644 memory=39672 CPUtime=0.18 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 8309 0 0 0 14 4 0 0 20 0 1 0 64031642 83603456 9918 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 20411 9918 2272 1147 0 7838 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85836 KiB
Current children cumulated memory: 42616 KiB

[startup+0.306005 s]*
/proc/loadavg: 4.22 4.19 4.14 5/274 73780
/proc/meminfo: memFree=87830908/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=127284 memory=75140 CPUtime=0.28 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 11740 0 0 0 23 5 0 0 20 0 1 0 64031642 130338816 18785 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 31821 18785 2304 1147 0 19248 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 131476 KiB
Current children cumulated memory: 78084 KiB

[startup+0.700181 s]
/proc/loadavg: 4.22 4.19 4.14 5/274 73780
/proc/meminfo: memFree=87819400/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=139792 memory=84228 CPUtime=0.67 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 13995 0 0 0 43 24 0 0 20 0 1 0 64031642 143147008 21057 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 34948 21057 2336 1147 0 22375 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 143984 KiB
Current children cumulated memory: 87172 KiB

[startup+1.50016 s]
/proc/loadavg: 4.22 4.19 4.14 5/274 73780
/proc/meminfo: memFree=87803272/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=147036 memory=91556 CPUtime=1.47 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 14273 0 0 0 88 59 0 0 20 0 1 0 64031642 150564864 22889 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 36759 22889 2336 1147 0 24186 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151228 KiB
Current children cumulated memory: 94500 KiB

[startup+3.10581 s]
/proc/loadavg: 4.28 4.20 4.15 5/274 73780
/proc/meminfo: memFree=87707996/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=188880 memory=132884 CPUtime=3.07 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 15458 0 0 0 221 86 0 0 20 0 1 0 64031642 193413120 33221 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 47220 33221 2336 1147 0 34647 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 135828 KiB

[startup+6.30021 s]
/proc/loadavg: 4.28 4.20 4.15 5/274 73780
/proc/meminfo: memFree=87619620/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=238668 memory=167184 CPUtime=6.25 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 16372 0 0 0 474 151 0 0 20 0 1 0 64031642 244396032 41796 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 59667 41796 2336 1147 0 47094 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 242860 KiB
Current children cumulated memory: 170128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.19 4.15 5/273 73780
/proc/meminfo: memFree=87400488/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=441124 memory=312676 CPUtime=12.64 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 34891 0 0 0 1050 214 0 0 20 0 1 0 64031642 451710976 78169 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 110281 78169 2336 1147 0 97708 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 445316 KiB
Current children cumulated memory: 315620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.20 4.15 5/273 73780
/proc/meminfo: memFree=87020864/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=679424 memory=499664 CPUtime=25.4 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 61729 0 0 0 2280 260 0 0 20 0 1 0 64031642 695730176 124916 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 169856 124916 2336 1147 0 157283 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 683616 KiB
Current children cumulated memory: 502608 KiB

[startup+51.1059 s]
/proc/loadavg: 4.18 4.19 4.15 5/273 73781
/proc/meminfo: memFree=86124672/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=969548 memory=891940 CPUtime=50.93 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 130670 0 0 0 4737 356 0 0 20 0 1 0 64031642 992817152 222985 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 242387 222985 2336 1147 0 229814 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 973740 KiB
Current children cumulated memory: 894884 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/274 73784
/proc/meminfo: memFree=84603588/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=1788188 memory=1608896 CPUtime=101.97 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 276689 0 0 0 9762 435 0 0 20 0 1 0 64031642 1831104512 402224 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 447047 402224 2336 1147 0 434474 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1792380 KiB
Current children cumulated memory: 1611840 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/274 73786
/proc/meminfo: memFree=82844384/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=2781460 memory=2190412 CPUtime=161.8 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 393471 0 0 0 15630 550 0 0 20 0 1 0 64031642 2848215040 547603 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 695365 547603 2336 1147 0 682792 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2785652 KiB
Current children cumulated memory: 2193356 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/274 73793
/proc/meminfo: memFree=81483584/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=3021192 memory=2388212 CPUtime=221.62 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 431262 0 0 0 21538 624 0 0 20 0 1 0 64031642 3093700608 597053 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 755298 597053 2336 1147 0 742725 0

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

/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8194696 CPUtime=3153.06 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1581048 0 0 0 311954 3352 0 0 20 0 1 0 64031642 10531442688 2048674 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2048674 2336 1147 0 2558580 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8197640 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.20 2.07 2/249 74047
/proc/meminfo: memFree=107892504/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8214536 CPUtime=3212.86 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1581419 0 0 0 317922 3364 0 0 20 0 1 0 64031642 10531442688 2053634 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2053634 2336 1147 0 2558580 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8217480 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.18 2.00 2/249 74049
/proc/meminfo: memFree=107734784/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8239112 CPUtime=3272.67 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1581872 0 0 0 323879 3388 0 0 20 0 1 0 64031642 10531442688 2059778 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2059778 2336 1147 0 2558580 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8242056 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.18 1.95 2/248 74051
/proc/meminfo: memFree=107729984/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8244872 CPUtime=3332.48 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1582727 0 0 0 329848 3400 0 0 20 0 1 0 64031642 10531442688 2061218 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2061218 2336 1147 0 2558580 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8247816 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.16 1.89 2/248 74053
/proc/meminfo: memFree=107652888/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8316600 CPUtime=3392.29 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1582855 0 0 0 335815 3414 0 0 20 0 1 0 64031642 10531442688 2079150 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2079150 2336 1147 0 2558580 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8319544 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.14 1.84 2/248 74057
/proc/meminfo: memFree=107621228/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8316600 CPUtime=3452.13 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1583153 0 0 0 341772 3441 0 0 20 0 1 0 64031642 10531442688 2079150 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2079150 2336 1147 0 2558580 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8319544 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.14 1.80 2/250 74062
/proc/meminfo: memFree=107575300/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8316728 CPUtime=3511.94 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1583504 0 0 0 347726 3468 0 0 20 0 1 0 64031642 10531442688 2079182 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2079182 2336 1147 0 2558580 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8319672 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.13 1.75 2/251 74066
/proc/meminfo: memFree=107302952/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8322616 CPUtime=3571.75 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1583850 0 0 0 353687 3488 0 0 20 0 1 0 64031642 10531442688 2080654 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2080654 2336 1147 0 2558580 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8325560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.13 1.13 1.73 2/251 74067
/proc/meminfo: memFree=107297484/131250000 swapFree=33008100/33010684
[pid=73778] ppid=73775 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/73778/stat : 73778 (run-opt-log.sh) S 73775 73778 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 64031641 4292608 736 18446744073709551615 94839143833600 94839144728133 140734705581968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94839144967184 94839145014928 94839149813760 140734705584417 140734705584612 140734705584612 140734705590214 0
/proc/73778/statm: 1048 736 672 219 0 110 0
[pid=73780] ppid=73778 vsize=10284612 memory=8337464 CPUtime=3600.08 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73778 73778 72291 0 -1 4194304 1584086 0 0 0 356516 3492 0 0 20 0 1 0 64031642 10531442688 2084366 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 2571153 2084366 2336 1147 0 2558580 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 10288804 KiB
Current children cumulated memory: 8340408 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3565.19 s, system=35.1302 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.8 s]*
/proc/loadavg: 1.13 1.13 1.73 2/250 74067
/proc/meminfo: memFree=111006756/131250000 swapFree=33008100/33010684
[pid=73780] ppid=73775 vsize=4724904 memory=4600676 CPUtime=3600.19 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73775 73778 72291 0 -1 4194304 1584107 0 0 0 356518 3501 0 0 20 0 1 0 64031642 4838301696 1150169 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 1181226 1150169 2464 1147 0 1168653 0
Current cumulated CPU time of completed processes: 0.002665 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 4724904 KiB
Current children cumulated memory: 4600676 KiB

[startup+3610.91 s]
/proc/loadavg: 1.13 1.13 1.73 2/250 74067
/proc/meminfo: memFree=111006756/131250000 swapFree=33008100/33010684
[pid=73780] ppid=73775 vsize=4714940 memory=2373256 CPUtime=3600.28 cores=1,3
/proc/73780/stat : 73780 (roundingsat) R 73775 73778 72291 0 -1 4194304 1584107 0 0 0 356518 3510 0 0 20 0 1 0 64031642 4828098560 593314 18446744073709551615 4227072 8923433 140730758166016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 23961600 140730758170962 140730758171176 140730758171176 140730758176746 0
/proc/73780/statm: 1178735 593314 2464 1147 0 1166162 0
Current cumulated CPU time of completed processes: 0.002665 s
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 4714940 KiB
Current children cumulated memory: 2373256 KiB

Child status: 2

Real time (s): 3610.93
CPU time (s): 3600.32
CPU user time (s): 3565.19
CPU system time (s): 35.1302
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 10288804
Max. memory (cumulated for all children) (KiB): 8340408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.19
system time used= 35.1302
maximum resident set size= 8337848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1584330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28672776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210
involuntary context switches= 8536


# summary of solver processes directly reported to runsolver:
#   pid: 73778,73780
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3565.19
#   total CPU system time (s): 35.1302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3644 second user time and 16.8336 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 21:11:54
IDJOB=4505677
IDBENCH=156158
IDSOLVER=3351
FILE ID=nodeC013/4505677-1751483514
RUNJOBID= nodeC013-1751474816-72303
SLURM_JOB_ID= 9598506
Free space on /tmp= 432472 MiB

SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505677-1751483514/watcher-4505677-1751483514 -o /tmp/evaluation-result-4505677-1751483514/solver-4505677-1751483514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72303 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505677-1751483514.opb PROOFDIR/proof-4505677-1751483514

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=636872220

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.913
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		: 3537.085
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.774
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.849
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		: 3589.736
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		: 3613.113
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:        87926316 kB
MemAvailable:   112636236 kB
Buffers:            1668 kB
Cached:         25479544 kB
SwapCached:         2164 kB
Active:         17376496 kB
Inactive:       25226908 kB
Active(anon):   17115228 kB
Inactive(anon):    18104 kB
Active(file):     261268 kB
Inactive(file): 25208804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            232004 kB
Writeback:            12 kB
AnonPages:      17123180 kB
Mapped:           110808 kB
Shmem:             11112 kB
KReclaimable:     157772 kB
Slab:             255972 kB
SReclaimable:     157772 kB
SUnreclaim:        98200 kB
KernelStack:        4368 kB
PageTables:        40176 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   21118604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3362816 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= 432688 MiB
End job on nodeC013 at 2025-07-02 22:12:05