Trace number 4522275

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.12 3616.44

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
MD5SUM8fca917194ea3f00cf99a1d77833d022
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1285215
Best CPU time to get the best result obtained on this benchmark13.3284
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11890
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1473
Number of terms in the objective function 11734
Biggest coefficient in the objective function 512291
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 500000167
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 512291
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 500000167
Number of bits of the biggest sum of numbers29
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.16/0.29	c #variables 12675 #constraints 11890
0.16/0.29	c objective is ce32 
0.26/0.32	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.26/0.32	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.26/0.32	c GLOBAL bounds - >= -500000167 @ 0.222511
0.26/0.37	c GLOBAL bounds - >= -500000167 @ 0.249673
0.36/0.43	c GLOBAL bounds - >= -500000167 @ 0.276457
0.36/0.48	c GLOBAL bounds - >= -500000167 @ 0.30078
0.36/0.52	c GLOBAL bounds - >= -500000167 @ 0.31839
0.46/0.56	c GLOBAL bounds - >= -500000167 @ 0.341829
0.46/0.59	c GLOBAL bounds - >= -500000167 @ 0.361474
0.55/0.62	c GLOBAL bounds - >= -500000167 @ 0.379771
0.55/0.65	c GLOBAL bounds - >= -500000167 @ 0.39819
0.55/0.69	c GLOBAL bounds - >= -500000167 @ 0.414973
0.64/0.73	c GLOBAL bounds - >= -500000167 @ 0.439695
0.64/0.76	c GLOBAL bounds - >= -500000167 @ 0.454727
0.64/0.79	c GLOBAL bounds - >= -500000167 @ 0.475712
0.73/0.82	c GLOBAL bounds - >= -500000167 @ 0.490529
0.73/0.86	c GLOBAL bounds - >= -500000167 @ 0.509118
0.73/0.89	c GLOBAL bounds - >= -500000167 @ 0.52358
0.83/0.92	c GLOBAL bounds - >= -500000167 @ 0.54083
0.83/0.95	c GLOBAL bounds - >= -500000167 @ 0.560652
0.83/0.98	c GLOBAL bounds - >= -500000167 @ 0.581634
0.94/1.01	c GLOBAL bounds - >= -500000167 @ 0.598534
0.94/1.04	c GLOBAL bounds - >= -500000167 @ 0.616176
0.94/1.06	c GLOBAL bounds - >= -500000167 @ 0.631099
0.94/1.09	c GLOBAL bounds - >= -500000167 @ 0.64263
1.04/1.12	c GLOBAL bounds - >= -500000167 @ 0.667129
1.04/1.14	c GLOBAL bounds - >= -500000167 @ 0.682259
1.04/1.17	c GLOBAL bounds - >= -500000167 @ 0.706287
1.12/1.20	c GLOBAL bounds - >= -500000167 @ 0.72338
1.12/1.22	c GLOBAL bounds - >= -500000167 @ 0.739768
1.12/1.24	c GLOBAL bounds - >= -500000167 @ 0.754474
1.12/1.27	c GLOBAL bounds - >= -500000167 @ 0.768422
1.22/1.30	c GLOBAL bounds - >= -500000167 @ 0.790202
1.22/1.33	c GLOBAL bounds - >= -500000167 @ 0.809069
1.22/1.35	c GLOBAL bounds - >= -500000167 @ 0.819974
1.22/1.38	c GLOBAL bounds - >= -500000167 @ 0.839401
1.32/1.45	c GLOBAL bounds - >= -500000167 @ 0.908183
1.32/1.48	c GLOBAL bounds - >= -500000167 @ 0.925545
1.43/1.51	c GLOBAL bounds - >= -500000167 @ 0.948503
1.53/1.60	c GLOBAL bounds - >= -500000167 @ 1.03322
1.53/1.66	c GLOBAL bounds - >= -500000167 @ 1.08094
1.53/1.68	c GLOBAL bounds - >= -500000167 @ 1.09862
1.63/1.71	c GLOBAL bounds - >= -500000167 @ 1.11629
1.63/1.74	c GLOBAL bounds - >= -500000167 @ 1.13889
1.63/1.76	c GLOBAL bounds - >= -500000167 @ 1.16144
1.63/1.79	c GLOBAL bounds - >= -500000167 @ 1.17739
1.72/1.83	c GLOBAL bounds - >= -500000167 @ 1.20857
1.72/1.86	c GLOBAL bounds - >= -500000167 @ 1.23212
1.82/1.91	c GLOBAL bounds - >= -500000167 @ 1.27465
1.82/1.94	c GLOBAL bounds - >= -500000167 @ 1.29617
1.82/1.97	c GLOBAL bounds - >= -500000167 @ 1.31699
1.82/1.99	c GLOBAL bounds - >= -500000167 @ 1.33254
1.92/2.02	c GLOBAL bounds - >= -500000167 @ 1.35431
1.92/2.05	c GLOBAL bounds - >= -500000167 @ 1.37278
1.92/2.08	c GLOBAL bounds - >= -500000167 @ 1.38959
1.92/2.11	c GLOBAL bounds - >= -500000167 @ 1.41118
2.02/2.13	c GLOBAL bounds - >= -500000167 @ 1.42711
2.02/2.17	c GLOBAL bounds - >= -500000167 @ 1.46605
2.11/2.20	c GLOBAL bounds - >= -500000167 @ 1.48039
2.11/2.23	c GLOBAL bounds - >= -500000167 @ 1.50103
2.11/2.25	c GLOBAL bounds - >= -500000167 @ 1.51937
2.11/2.27	c GLOBAL bounds - >= -500000167 @ 1.53656
2.20/2.30	c GLOBAL bounds - >= -500000167 @ 1.5583
2.20/2.32	c GLOBAL bounds - >= -500000167 @ 1.57573
2.20/2.34	c GLOBAL bounds - >= -500000167 @ 1.59003
2.20/2.37	c GLOBAL bounds - >= -500000167 @ 1.60539
2.20/2.39	c GLOBAL bounds - >= -500000167 @ 1.61566
2.50/2.64	c GLOBAL bounds - >= -500000167 @ 1.84757
2.50/2.67	c GLOBAL bounds - >= -500000167 @ 1.86763
2.61/2.71	c GLOBAL bounds - >= -500000167 @ 1.90036
2.61/2.78	c GLOBAL bounds - >= -500000167 @ 1.96536
2.80/2.90	c GLOBAL bounds - >= -500000167 @ 2.07874
2.80/2.95	c GLOBAL bounds - >= -500000167 @ 2.11727
2.80/2.99	c GLOBAL bounds - >= -500000167 @ 2.14874
2.92/3.02	c GLOBAL bounds - >= -500000167 @ 2.17358
2.92/3.06	c GLOBAL bounds - >= -500000167 @ 2.20546
2.92/3.10	c GLOBAL bounds - >= -500000167 @ 2.24046
3.01/3.14	c GLOBAL bounds - >= -500000167 @ 2.27104
3.01/3.17	c GLOBAL bounds - >= -500000167 @ 2.29551
3.10/3.20	c GLOBAL bounds - >= -500000167 @ 2.31656
3.10/3.26	c GLOBAL bounds - >= -500000167 @ 2.37303
3.10/3.29	c GLOBAL bounds - >= -500000167 @ 2.39742
3.21/3.33	c GLOBAL bounds - >= -500000167 @ 2.428
3.21/3.36	c GLOBAL bounds - >= -500000167 @ 2.45065
3.21/3.39	c GLOBAL bounds - >= -500000167 @ 2.46944
3.30/3.41	c GLOBAL bounds - >= -500000167 @ 2.48495
3.30/3.48	c GLOBAL bounds - >= -500000167 @ 2.54503
3.40/3.51	c GLOBAL bounds - >= -500000167 @ 2.56473
3.40/3.55	c GLOBAL bounds - >= -500000167 @ 2.59409
3.40/3.59	c GLOBAL bounds - >= -500000167 @ 2.63048
3.50/3.63	c GLOBAL bounds - >= -500000167 @ 2.66557
3.50/3.66	c GLOBAL bounds - >= -500000167 @ 2.69135
3.50/3.69	c GLOBAL bounds - >= -500000167 @ 2.71161
4.29/4.49	c GLOBAL bounds - >= -500000167 @ 3.48241
4.69/4.81	c GLOBAL bounds - >= -500000167 @ 3.79122
4.69/4.85	c GLOBAL bounds - >= -500000167 @ 3.82265
4.80/4.94	c GLOBAL bounds - >= -500000167 @ 3.89738
4.91/5.07	c GLOBAL bounds - >= -500000167 @ 3.99637
5.01/5.16	c GLOBAL bounds - >= -500000167 @ 4.05957
5.08/5.23	c GLOBAL bounds - >= -500000167 @ 4.11599
5.18/5.32	c GLOBAL bounds - >= -500000167 @ 4.1879
5.28/5.42	c GLOBAL bounds - >= -500000167 @ 4.26644
6.17/6.34	c GLOBAL bounds - >= -500000167 @ 5.1458
6.26/6.43	c GLOBAL bounds - >= -500000167 @ 5.22333
6.26/6.48	c GLOBAL bounds - >= -500000167 @ 5.26874
6.36/6.55	c GLOBAL bounds - >= -500000167 @ 5.33737
6.56/6.74	c GLOBAL bounds - >= -500000167 @ 5.5143
6.76/6.90	c GLOBAL bounds - >= -500000167 @ 5.6631
6.76/6.96	c GLOBAL bounds - >= -500000167 @ 5.7171
6.88/7.06	c GLOBAL bounds - >= -500000167 @ 5.80168
7.07/7.28	c GLOBAL bounds - >= -500000167 @ 6.01955
7.16/7.35	c GLOBAL bounds - >= -500000167 @ 6.08011
7.26/7.41	c GLOBAL bounds - >= -500000167 @ 6.13246
7.76/7.94	c GLOBAL bounds - >= -500000167 @ 6.6503
7.87/8.04	c GLOBAL bounds - >= -500000167 @ 6.74273
7.87/8.11	c GLOBAL bounds - >= -500000167 @ 6.80447
8.16/8.37	c GLOBAL bounds - >= -500000167 @ 7.0619
8.26/8.44	c GLOBAL bounds - >= -500000167 @ 7.12553
8.36/8.53	c GLOBAL bounds - >= -500000167 @ 7.20339
8.36/8.59	c GLOBAL bounds - >= -500000167 @ 7.25179
8.46/8.65	c GLOBAL bounds - >= -500000167 @ 7.30822
8.56/8.72	c GLOBAL bounds - >= -500000167 @ 7.37325
8.66/8.81	c GLOBAL bounds - >= -500000167 @ 7.44599
8.97/9.15	c GLOBAL bounds - >= -500000167 @ 7.77948
10.45/10.61	c GLOBAL bounds - >= -500000167 @ 9.223
10.87/11.02	c GLOBAL bounds - >= -500000167 @ 9.61915
11.35/11.58	c GLOBAL bounds - >= -500000167 @ 10.1702
12.26/12.49	c GLOBAL bounds - >= -500000167 @ 11.0721
12.55/12.76	c GLOBAL bounds - >= -500000167 @ 11.3296
14.96/15.16	c GLOBAL bounds - >= -500000167 @ 13.7059
15.05/15.28	c GLOBAL bounds - >= -500000167 @ 13.818
15.25/15.42	c GLOBAL bounds - >= -500000167 @ 13.9528
15.34/15.57	c GLOBAL bounds - >= -500000167 @ 14.091
15.54/15.70	c GLOBAL bounds - >= -500000167 @ 14.2121
15.65/15.83	c GLOBAL bounds - >= -500000167 @ 14.3358
15.74/15.93	c GLOBAL bounds - >= -500000167 @ 14.431
15.85/16.10	c GLOBAL bounds - >= -500000167 @ 14.5875
16.04/16.20	c GLOBAL bounds - >= -500000167 @ 14.6756
16.54/16.79	c #Conflicts:       1000 | #Constraints:       1367
16.54/16.79	c GLOBAL bounds - >= -500000167 @ 15.2579
16.74/16.99	c GLOBAL bounds - >= -500000167 @ 15.4482
16.95/17.18	c GLOBAL bounds - >= -500000167 @ 15.6261
18.03/18.20	c GLOBAL bounds - >= -500000167 @ 16.6275
18.43/18.61	c GLOBAL bounds - >= -500000167 @ 17.0231
18.73/18.95	c GLOBAL bounds - >= -500000167 @ 17.3542
19.85/20.08	c GLOBAL bounds - >= -500000167 @ 18.4685
23.52/23.73	c GLOBAL bounds - >= -500000167 @ 22.0583
26.51/26.77	c GLOBAL bounds - >= -500000167 @ 25.0557
30.59/30.89	c GLOBAL bounds - >= -500000167 @ 29.1037
31.59/31.88	c GLOBAL bounds - >= -500000167 @ 30.0808
36.88/37.16	c #Conflicts:       2000 | #Constraints:       2389
36.88/37.16	c INPROCESSING
36.88/37.16	c GARBAGE COLLECT
36.88/37.16	c GLOBAL bounds - >= -500000167 @ 35.3128
41.36/41.60	c GLOBAL bounds - >= -500000167 @ 39.7087
43.65/43.99	c GLOBAL bounds - >= -500000167 @ 42.0821
83.74/84.12	c #Conflicts:       3000 | #Constraints:       2403
83.74/84.12	c GLOBAL bounds - >= -500000167 @ 81.9251
102.46/103.00	c #Conflicts:       4000 | #Constraints:       3405
102.46/103.00	c INPROCESSING
102.46/103.00	c GARBAGE COLLECT
102.46/103.00	c GLOBAL bounds - >= -500000167 @ 100.639
135.74/136.31	c #Conflicts:       5000 | #Constraints:       2810
135.74/136.31	c GLOBAL bounds - >= -500000167 @ 133.707
321.82/323.02	c #Conflicts:       6000 | #Constraints:       3812
321.82/323.02	c INPROCESSING
321.82/323.02	c GARBAGE COLLECT
321.82/323.02	c #Conflicts:       7000 | #Constraints:       2815
321.82/323.02	c #Conflicts:       8000 | #Constraints:       3815
321.82/323.02	c #Conflicts:       9000 | #Constraints:       4815
321.82/323.02	c INPROCESSING
321.82/323.02	c GARBAGE COLLECT
321.82/323.02	c GLOBAL bounds - >= -500000167 @ 319.169
323.60/324.88	c GLOBAL bounds - >= -500000167 @ 321.005
327.48/328.73	c GLOBAL bounds - >= -500000167 @ 324.816
328.90/330.16	c GLOBAL bounds - >= -500000167 @ 326.228
340.84/342.15	c GLOBAL bounds - >= -500000167 @ 338.092
347.31/348.68	c #Conflicts:      10000 | #Constraints:       3526
347.31/348.68	c GLOBAL bounds - >= -500000167 @ 344.583
356.48/357.88	c GLOBAL bounds - >= -500000167 @ 353.717
372.23/373.67	c GLOBAL bounds - >= -500000167 @ 369.428
383.49/384.91	c #Conflicts:      11000 | #Constraints:       4532
383.49/384.91	c GLOBAL bounds - >= -500000167 @ 380.598
552.69/554.80	c #Conflicts:      12000 | #Constraints:       5534
552.69/554.80	c INPROCESSING
552.69/554.80	c GARBAGE COLLECT
552.69/554.80	c #Conflicts:      13000 | #Constraints:       3985
552.69/554.80	c #Conflicts:      14000 | #Constraints:       4985
552.69/554.80	c GLOBAL bounds - >= -500000167 @ 549.326
586.93/589.27	c #Conflicts:      15000 | #Constraints:       5987
586.93/589.27	c INPROCESSING
586.93/589.27	c GARBAGE COLLECT
586.93/589.27	c #Conflicts:      16000 | #Constraints:       4209
586.93/589.27	c GLOBAL bounds - >= -500000167 @ 583.525
617.33/619.75	c GLOBAL bounds - >= -500000167 @ 613.815
649.54/652.06	c #Conflicts:      17000 | #Constraints:       5213
649.54/652.06	c GLOBAL bounds - >= -500000167 @ 645.954
652.64/655.16	c GLOBAL bounds - >= -500000167 @ 649.034
682.92/685.57	c #Conflicts:      18000 | #Constraints:       6217
682.92/685.57	c INPROCESSING
682.92/685.57	c GARBAGE COLLECT
682.92/685.57	c GLOBAL bounds - >= -500000167 @ 679.274
694.77/697.47	c GLOBAL bounds - >= -500000167 @ 691.116
697.57/700.25	c GLOBAL bounds - >= -500000167 @ 693.867
704.04/706.71	c #Conflicts:      19000 | #Constraints:       4247
704.04/706.71	c GLOBAL bounds - >= -500000167 @ 700.267
715.60/718.38	c GLOBAL bounds - >= -500000167 @ 711.861
723.39/726.13	c GLOBAL bounds - >= -500000167 @ 719.559
725.47/728.21	c GLOBAL bounds - >= -500000167 @ 721.62
725.87/728.66	c GLOBAL bounds - >= -500000167 @ 722.065
731.45/734.26	c GLOBAL bounds - >= -500000167 @ 727.624
735.14/737.99	c GLOBAL bounds - >= -500000167 @ 731.331
736.83/739.66	c GLOBAL bounds - >= -500000167 @ 732.979
737.83/740.66	c GLOBAL bounds - >= -500000167 @ 733.964
748.79/751.68	c #Conflicts:      20000 | #Constraints:       5265
748.79/751.68	c GLOBAL bounds - >= -500000167 @ 744.913
835.22/838.35	c #Conflicts:      21000 | #Constraints:       6267
835.22/838.35	c INPROCESSING
835.22/838.35	c GARBAGE COLLECT
835.22/838.35	c #Conflicts:      22000 | #Constraints:       4082
835.22/838.35	c GLOBAL bounds - >= -500000167 @ 831.091
907.54/910.92	c #Conflicts:      23000 | #Constraints:       5084
907.54/910.92	c GLOBAL bounds - >= -500000167 @ 903.227
1030.63/1034.48	c #Conflicts:      24000 | #Constraints:       6086
1030.63/1034.48	c #Conflicts:      25000 | #Constraints:       7086
1030.63/1034.48	c INPROCESSING
1030.63/1034.48	c GARBAGE COLLECT
1030.63/1034.48	c GLOBAL bounds - >= -500000167 @ 1026.13
1089.63/1093.61	c #Conflicts:      26000 | #Constraints:       4680
1089.63/1093.61	c #Conflicts:      27000 | #Constraints:       5680
1089.63/1093.61	c GLOBAL bounds - >= -500000167 @ 1084.93
1195.70/1200.11	c #Conflicts:      28000 | #Constraints:       6682
1195.70/1200.11	c #Conflicts:      29000 | #Constraints:       7682
1195.70/1200.11	c INPROCESSING
1195.70/1200.11	c GARBAGE COLLECT
1195.70/1200.11	c #Conflicts:      30000 | #Constraints:       5082
1195.70/1200.11	c GLOBAL bounds - >= -500000167 @ 1190.83
1223.79/1228.24	c #Conflicts:      31000 | #Constraints:       6084
1223.79/1228.24	c GLOBAL bounds - >= -500000167 @ 1218.74
1258.87/1263.44	c #Conflicts:      32000 | #Constraints:       7086
1258.87/1263.44	c GLOBAL bounds - >= -500000167 @ 1253.72
1451.55/1456.64	c #Conflicts:      33000 | #Constraints:       8088
1451.55/1456.64	c INPROCESSING
1451.55/1456.64	c GARBAGE COLLECT
1451.55/1456.64	c #Conflicts:      34000 | #Constraints:       5301
1451.55/1456.64	c #Conflicts:      35000 | #Constraints:       6301
1451.55/1456.64	c GLOBAL bounds - >= -500000167 @ 1446.11
1554.36/1559.72	c #Conflicts:      36000 | #Constraints:       7303
1554.36/1559.72	c #Conflicts:      37000 | #Constraints:       8303
1554.36/1559.72	c INPROCESSING
1554.36/1559.72	c GARBAGE COLLECT
1554.36/1559.72	c GLOBAL bounds - >= -500000167 @ 1548.77
1555.67/1561.05	c GLOBAL bounds - >= -500000167 @ 1550.09
1581.88/1587.31	c #Conflicts:      38000 | #Constraints:       5334
1581.88/1587.31	c GLOBAL bounds - >= -500000167 @ 1576.24
1915.47/1921.83	c #Conflicts:      39000 | #Constraints:       6336
1915.47/1921.83	c #Conflicts:      40000 | #Constraints:       7336
1915.47/1921.83	c #Conflicts:      41000 | #Constraints:       8336
1915.47/1921.83	c INPROCESSING
1915.47/1921.83	c GARBAGE COLLECT
1915.47/1921.83	c #Conflicts:      42000 | #Constraints:       5128
1915.47/1921.83	c #Conflicts:      43000 | #Constraints:       6128
1915.47/1921.83	c #Conflicts:      44000 | #Constraints:       7128
1915.47/1921.83	c GLOBAL bounds - >= -500000167 @ 1909.48
1969.02/1975.50	c #Conflicts:      45000 | #Constraints:       8130
1969.02/1975.50	c GLOBAL bounds - >= -500000167 @ 1962.92
2020.58/2027.29	c #Conflicts:      46000 | #Constraints:       9132
2020.58/2027.29	c INPROCESSING
2020.58/2027.29	c GARBAGE COLLECT
2020.58/2027.29	c GLOBAL bounds - >= -500000167 @ 2014.49
2040.13/2046.84	c GLOBAL bounds - >= -500000167 @ 2033.94
2107.44/2114.31	c #Conflicts:      47000 | #Constraints:       5717
2107.44/2114.31	c #Conflicts:      48000 | #Constraints:       6717
2107.44/2114.31	c GLOBAL bounds - >= -500000167 @ 2101.1
2313.58/2321.04	c #Conflicts:      49000 | #Constraints:       7719
2313.58/2321.04	c #Conflicts:      50000 | #Constraints:       8719
2313.58/2321.04	c #Conflicts:      51000 | #Constraints:       9719
2313.58/2321.04	c INPROCESSING
2313.58/2321.04	c GARBAGE COLLECT
2313.58/2321.04	c GLOBAL bounds - >= -500000167 @ 2306.99
2338.30/2345.83	c #Conflicts:      52000 | #Constraints:       6116
2338.30/2345.83	c GLOBAL bounds - >= -500000167 @ 2331.63
2484.91/2492.87	c #Conflicts:      53000 | #Constraints:       7118
2484.91/2492.87	c #Conflicts:      54000 | #Constraints:       8118
2484.91/2492.87	c #Conflicts:      55000 | #Constraints:       9118
2484.91/2492.87	c GLOBAL bounds - >= -500000167 @ 2478.03
2596.99/2605.21	c #Conflicts:      56000 | #Constraints:      10120
2596.99/2605.21	c INPROCESSING
2596.99/2605.21	c GARBAGE COLLECT
2596.99/2605.21	c #Conflicts:      57000 | #Constraints:       6329
2596.99/2605.21	c GLOBAL bounds - >= -500000167 @ 2589.84
2675.97/2684.44	c #Conflicts:      58000 | #Constraints:       7331
2675.97/2684.44	c #Conflicts:      59000 | #Constraints:       8331
2675.97/2684.44	c GLOBAL bounds - >= -500000167 @ 2668.76
2787.67/2796.49	c #Conflicts:      60000 | #Constraints:       9333
2787.67/2796.49	c #Conflicts:      61000 | #Constraints:      10333
2787.67/2796.49	c GLOBAL bounds - >= -500000167 @ 2780.39
3315.36/3325.63	c INPROCESSING
3315.36/3325.63	c GARBAGE COLLECT
3315.36/3325.63	c #Conflicts:      62000 | #Constraints:       6322
3315.36/3325.63	c #Conflicts:      63000 | #Constraints:       7322
3315.36/3325.63	c #Conflicts:      64000 | #Constraints:       8322
3315.36/3325.63	c #Conflicts:      65000 | #Constraints:       9322
3315.36/3325.63	c #Conflicts:      66000 | #Constraints:      10322
3315.36/3325.63	c INPROCESSING
3315.36/3325.63	c GARBAGE COLLECT
3315.36/3325.63	c #Conflicts:      67000 | #Constraints:       6126
3315.36/3325.63	c #Conflicts:      68000 | #Constraints:       7126
3315.36/3325.63	c #Conflicts:      69000 | #Constraints:       8126
3315.36/3325.63	c GLOBAL bounds - >= -500000167 @ 3307.27
3432.32/3442.95	c #Conflicts:      70000 | #Constraints:       9128
3432.32/3442.95	c #Conflicts:      71000 | #Constraints:      10128
3432.32/3442.95	c #Conflicts:      72000 | #Constraints:      11128
3432.32/3442.95	c INPROCESSING
3432.32/3442.95	c GARBAGE COLLECT
3432.32/3442.95	c GLOBAL bounds - >= -500000167 @ 3423.95
3469.81/3480.56	c #Conflicts:      73000 | #Constraints:       6722
3469.81/3480.56	c #Conflicts:      74000 | #Constraints:       7722
3469.81/3480.56	c GLOBAL bounds - >= -500000167 @ 3461.28
3525.04/3535.91	c #Conflicts:      75000 | #Constraints:       8724
3525.04/3535.91	c GLOBAL bounds - >= -500000167 @ 3516.35
3552.26/3563.27	c #Conflicts:      76000 | #Constraints:       9726
3552.26/3563.27	c GLOBAL bounds - >= -500000167 @ 3543.56
3600.03/3611.12	c #Conflicts:      77000 | #Constraints:      10728
3600.03/3611.12	c cpu time 3591.17 s
3600.03/3611.12	c deterministic time 1 1.00e+00
3600.03/3611.12	c optimization time 3590.97 s
3600.03/3611.12	c total solve time 0 s
3600.03/3611.12	c core-guided solve time 0 s
3600.03/3611.12	c propagation time 0.013717 s
3600.03/3611.12	c conflict analysis time 0 s
3600.03/3611.12	c propagations 0
3600.03/3611.12	c resolve steps 0
3600.03/3611.12	c decisions 0
3600.03/3611.12	c conflicts 0
3600.03/3611.12	c restarts 0
3600.03/3611.12	c inprocessing phases 0
3600.03/3611.12	c garbage collections 0 ,( -nan )
3600.03/3611.12	c input clauses 11766 ,( 98.96 )
3600.03/3611.12	c input cardinalities 124 ,( 1.04 )
3600.03/3611.12	c input general constraints 0 ,( 0.00 )
3600.03/3611.12	c input average constraint length 6.12
3600.03/3611.12	c input average constraint degree 5.12
3600.03/3611.12	c learned clauses 0 ,( 0.00 )
3600.03/3611.12	c learned cardinalities 0 ,( 0.00 )
3600.03/3611.12	c learned general constraints 0 ,( 0.00 )
3600.03/3611.12	c learned average constraint length 0.00
3600.03/3611.12	c learned average constraint degree 0.00
3600.03/3611.12	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3611.12	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3611.12	c watched   constraints 0 ,( -nan ) 
3600.03/3611.12	c counting  constraints 0 ,( -nan ) 
3600.03/3611.12	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3611.12	c gcd simplifications 0
3600.03/3611.12	c detected cardinalities 0
3600.03/3611.12	c weakened non-implied lits 0
3600.03/3611.12	c weakened non-implying lits 0
3600.03/3611.12	c original variables 12675
3600.03/3611.12	c clausal propagations 0
3600.03/3611.12	c cardinality propagations 0
3600.03/3611.12	c watched propagations 0
3600.03/3611.12	c counting propagations 0
3600.03/3611.12	c watch lookups 0
3600.03/3611.12	c watch backjump lookups 0
3600.03/3611.12	c watch checks 0
3600.03/3611.12	c propagation checks 0
3600.03/3611.12	c constraint additions 0
3600.03/3611.12	c trail pops 0
3600.03/3611.12	c formula constraints 11890
3600.03/3611.12	c learned constraints 0
3600.03/3611.12	c bound constraints 0
3600.03/3611.12	c core-guided constraints 0
3600.03/3611.12	c encountered formula constraints 0
3600.03/3611.12	c encountered learned constraints 0
3600.03/3611.12	c encountered bound constraints 0
3600.03/3611.12	c encountered core-guided constraints 0
3600.03/3611.12	c LP total time 0 s
3600.03/3611.12	c LP solve time 0 s
3600.03/3611.12	c LP constraints added 0
3600.03/3611.12	c LP constraints removed 0
3600.03/3611.12	c LP pivots internal 0
3600.03/3611.12	c LP pivots root 0
3600.03/3611.12	c LP calls 0
3600.03/3611.12	c LP optimalities 0
3600.03/3611.12	c LP no pivot count 0
3600.03/3611.12	c LP infeasibilities 0
3600.03/3611.12	c LP valid Farkas constraints 0
3600.03/3611.12	c LP learned Farkas constraints 0
3600.03/3611.12	c LP basis resets 0
3600.03/3611.12	c LP cycling count 0
3600.03/3611.12	c LP singular count 0
3600.03/3611.12	c LP no primal count 0
3600.03/3611.12	c LP no farkas count 0
3600.03/3611.12	c LP other issue count 0
3600.03/3611.12	c LP Gomory cuts 0
3600.03/3611.12	c LP learned cuts 0
3600.03/3611.12	c LP deleted cuts 0
3600.03/3611.12	c LP encountered Gomory constraints 0
3600.03/3611.12	c LP encountered Farkas constraints 0
3600.03/3611.12	c LP encountered learned Farkas constraints 0
3600.03/3611.12	c CG auxiliary variables introduced 0
3600.03/3611.12	c CG solutions found 0
3600.03/3611.12	c CG cores constructed 0
3600.03/3611.12	c CG core cardinality constraints returned 0
3600.03/3611.12	c CG unit cores 0
3600.03/3611.12	c CG single cores 0
3600.03/3611.12	c CG blocks removed during cardinality reduction 0
3600.03/3611.12	c CG first core best 0
3600.03/3611.12	c CG decision core best 0
3600.03/3611.12	c CG core reduction tie 0
3600.03/3611.12	c CG core degree average 0.00
3600.03/3611.12	c CG core slack average 0.00
3600.03/3611.12	c CG core upper bound improvements 0
3600.03/3611.12	c STR number of successful calls 0
3600.03/3611.12	c STR number of unsuccessful calls 0
3600.03/3611.12	c STR number of inconclusive calls 0
3600.03/3611.12	c STR number of successful attempts 0
3600.03/3611.12	c STR number of unsuccessful attempts 0
3600.03/3611.12	c STR number of inconclusive attempts 0
3600.03/3611.12	c STR average degree increase per successful call inf
3600.03/3611.12	c STR average degree increase per successful attempt inf
3600.03/3611.12	c STR total number of conflicts for successful attempts 0
3600.03/3611.12	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.12	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.12	c STR average number of conflicts per successful attempt inf
3600.03/3611.12	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.12	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.12	c AVG.sumWPerc -nan 
3600.03/3611.12	c bigint constraints 0 
3600.03/3611.12	s UNKNOWN
3600.03/3611.12	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: 63794 MiB (3794 MiB free)
  memory of node 1: 64507 MiB (61956 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=84523, runsolver pid=84520
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.22 4.14 4.10 3/258 84529
/proc/meminfo: memFree=67321164/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=59164 memory=14032 CPUtime=0.06 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 1800 0 0 0 5 1 0 0 20 0 1 0 75477329 60583936 3508 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 14791 3508 1920 1147 0 2218 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63356 KiB
Current children cumulated memory: 16976 KiB

[startup+0.209784 s]*
/proc/loadavg: 4.22 4.14 4.10 4/258 84537
/proc/meminfo: memFree=67325896/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=62312 memory=18000 CPUtime=0.16 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 2494 0 0 0 13 3 0 0 20 0 1 0 75477329 63807488 4468 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 15578 4500 2208 1147 0 3005 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 20944 KiB

[startup+0.309912 s]*
/proc/loadavg: 4.22 4.14 4.10 3/258 84539
/proc/meminfo: memFree=67309436/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=79508 memory=30272 CPUtime=0.26 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 5459 0 0 0 21 5 0 0 20 0 1 0 75477329 81416192 7568 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 19877 7568 2272 1147 0 7304 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83700 KiB
Current children cumulated memory: 33216 KiB

[startup+0.700458 s]
/proc/loadavg: 4.22 4.14 4.10 5/257 84545
/proc/meminfo: memFree=67306796/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=83416 memory=36204 CPUtime=0.64 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 6385 0 0 0 42 22 0 0 20 0 1 0 75477329 85417984 9051 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 20854 9051 2304 1147 0 8281 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 87608 KiB
Current children cumulated memory: 39148 KiB

[startup+1.50058 s]
/proc/loadavg: 4.22 4.14 4.10 7/255 84551
/proc/meminfo: memFree=67290304/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=87112 memory=39020 CPUtime=1.43 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 7102 0 0 0 94 49 0 0 20 0 1 0 75477329 89202688 9755 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 21778 9755 2304 1147 0 9205 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 41964 KiB

[startup+3.11422 s]
/proc/loadavg: 4.29 4.16 4.10 4/261 84571
/proc/meminfo: memFree=71080844/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=115084 memory=58836 CPUtime=3.01 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 9479 0 0 0 224 77 0 0 20 0 1 0 75477329 117846016 14709 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 28771 14709 2336 1147 0 16198 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 119276 KiB
Current children cumulated memory: 61780 KiB

[startup+6.30028 s]
/proc/loadavg: 4.29 4.16 4.10 5/258 84608
/proc/meminfo: memFree=76142964/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=139452 memory=91240 CPUtime=6.17 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 11410 0 0 0 510 107 0 0 20 0 1 0 75477329 142798848 22810 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 34863 22810 2336 1147 0 22290 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 143644 KiB
Current children cumulated memory: 94184 KiB

[startup+12.7004 s]
/proc/loadavg: 4.34 4.17 4.11 5/264 84618
/proc/meminfo: memFree=127071656/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=249756 memory=161764 CPUtime=12.55 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 19355 0 0 0 1126 129 0 0 20 0 1 0 75477329 255750144 40441 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 62439 40441 2336 1147 0 49866 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 253948 KiB
Current children cumulated memory: 164708 KiB

[startup+25.5004 s]
/proc/loadavg: 4.27 4.16 4.11 5/259 84645
/proc/meminfo: memFree=125797920/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=383336 memory=270856 CPUtime=25.31 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 31786 0 0 0 2379 152 0 0 20 0 1 0 75477329 392536064 67714 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 95834 67714 2336 1147 0 83261 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 387528 KiB
Current children cumulated memory: 273800 KiB

[startup+51.1141 s]
/proc/loadavg: 4.24 4.16 4.11 5/264 84666
/proc/meminfo: memFree=122613300/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=423744 memory=351008 CPUtime=50.84 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 40605 0 0 0 4915 169 0 0 20 0 1 0 75477329 433913856 87752 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 105936 87752 2336 1147 0 93363 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 427936 KiB
Current children cumulated memory: 353952 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/263 84678
/proc/meminfo: memFree=117247912/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=618768 memory=510288 CPUtime=101.86 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 54878 0 0 0 9995 191 0 0 20 0 1 0 75477329 633618432 127572 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 154692 127572 2336 1147 0 142119 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 622960 KiB
Current children cumulated memory: 513232 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/262 84680
/proc/meminfo: memFree=110896156/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=661680 memory=574092 CPUtime=161.65 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 64179 0 0 0 15952 213 0 0 20 0 1 0 75477329 677560320 143523 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 165420 143523 2336 1147 0 152847 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 665872 KiB
Current children cumulated memory: 577036 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/263 84683
/proc/meminfo: memFree=107266256/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=888960 memory=629648 CPUtime=221.45 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 68445 0 0 0 21911 234 0 0 20 0 1 0 75477329 910295040 157412 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 222240 157412 2336 1147 0 209667 0

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

Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 2578332 KiB
Current children cumulated memory: 1881144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/261 84906
/proc/meminfo: memFree=71693852/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=2574908 memory=1878712 CPUtime=3391.84 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 213417 0 0 0 338354 830 0 0 20 0 1 0 75477329 2636705792 469678 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 643727 469678 2336 1147 0 631154 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 2579100 KiB
Current children cumulated memory: 1881656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/265 84914
/proc/meminfo: memFree=70980348/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=2578492 memory=1911872 CPUtime=3451.66 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 214027 0 0 0 344311 855 0 0 20 0 1 0 75477329 2640375808 477968 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 644623 477968 2336 1147 0 632050 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 2582684 KiB
Current children cumulated memory: 1914816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/264 84920
/proc/meminfo: memFree=70465776/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=2580028 memory=1912768 CPUtime=3511.49 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 214270 0 0 0 350281 868 0 0 20 0 1 0 75477329 2641948672 478192 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 645007 478192 2336 1147 0 632434 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 2584220 KiB
Current children cumulated memory: 1915712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/262 84922
/proc/meminfo: memFree=69832184/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=2589500 memory=1918656 CPUtime=3571.3 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 215729 0 0 0 356247 883 0 0 20 0 1 0 75477329 2651648000 479664 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647375 479664 2336 1147 0 634802 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 2593692 KiB
Current children cumulated memory: 1921600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.17 4.17 4.18 5/262 84922
/proc/meminfo: memFree=69554480/131382120 swapFree=33010416/33010684
[pid=84523] ppid=84520 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84523/stat : 84523 (run-opt-log.sh) S 84520 84523 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477327 4292608 736 18446744073709551615 94089587490816 94089588385349 140726540501872 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94089588624400 94089588672144 94089594269696 140726540503329 140726540503524 140726540503524 140726540509126 0
/proc/84523/statm: 1048 736 672 219 0 110 0
[pid=84525] ppid=84523 vsize=2589756 memory=1918912 CPUtime=3600.03 cores=5,7
/proc/84525/stat : 84525 (roundingsat) R 84523 84523 84092 0 -1 4194304 215807 0 0 0 359116 887 0 0 20 0 1 0 75477329 2651910144 479728 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479728 2336 1147 0 634866 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2593948 KiB
Current children cumulated memory: 1921856 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002558 s, system=0.003445 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.17 4.17 4.18 4/261 84923
/proc/meminfo: memFree=69541104/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 9
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
??? kill 84525 sig 9
??? end of watcher thread

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]*
/proc/loadavg: 4.17 4.17 4.18 4/261 84922
/proc/meminfo: memFree=69554480/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2589756 KiB
Current children cumulated memory: 1919168 KiB

[startup+3612 s]*
/proc/loadavg: 4.17 4.17 4.18 4/261 84923
/proc/meminfo: memFree=69541824/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2589756 KiB
Current children cumulated memory: 1919168 KiB

[startup+3612.8 s]
/proc/loadavg: 4.17 4.17 4.18 4/261 84923
/proc/meminfo: memFree=69541824/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2589756 KiB
Current children cumulated memory: 1919168 KiB

[startup+3613 s]*
/proc/loadavg: 4.17 4.17 4.18 4/261 84923
/proc/meminfo: memFree=69541104/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2589756 KiB
Current children cumulated memory: 1919168 KiB

[startup+3613.11 s]
/proc/loadavg: 4.17 4.17 4.18 4/261 84923
/proc/meminfo: memFree=69541104/131382120 swapFree=33010416/33010684
[pid=84525] ppid=84520 vsize=2589756 memory=1919168 CPUtime=3600.04 cores=5,7
/proc/84525/stat : 84525 (roundingsat) D 84520 84523 84092 0 -1 4194304 215813 0 0 0 359117 887 0 0 20 0 1 0 75477329 2651910144 479792 18446744073709551615 4227072 8923433 140725636238416 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35164160 140725636245842 140725636246056 140725636246056 140725636251626 0
/proc/84525/statm: 647439 479792 2400 1147 0 634866 0
Current cumulated CPU time of completed processes: 0.006003 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2589756 KiB
Current children cumulated memory: 1919168 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.44
CPU time (s): 3600.12
CPU user time (s): 3591.18
CPU system time (s): 8.93882
CPU usage (%): 99.5486
Max. virtual memory (cumulated for all children) (KiB): 2593948
Max. memory (cumulated for all children) (KiB): 1921856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.18
system time used= 8.93882
maximum resident set size= 1919168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 469192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 311
involuntary context switches= 6705


# summary of solver processes directly reported to runsolver:
#   pid: 84523,84525
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3591.18
#   total CPU system time (s): 8.93882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0782 second user time and 38.479 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-04 04:59:40
IDJOB=4522275
IDBENCH=178655
IDSOLVER=3351
FILE ID=nodeC006/4522275-1751597979
RUNJOBID= nodeC006-1751594361-84105
SLURM_JOB_ID= 9598859
Free space on /tmp= 432064 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-ab51-40-100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522275-1751597979/watcher-4522275-1751597979 -o /tmp/evaluation-result-4522275-1751597979/solver-4522275-1751597979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84105 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522275-1751597979.opb PROOFDIR/proof-4522275-1751597979

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

MD5SUM BENCH= 8fca917194ea3f00cf99a1d77833d022
RANDOM SEED=1559260774

nodeC006 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	: 0xb00001f
cpu MHz		: 1197.496
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.139
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1196.456
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.141
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3624.062
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.133
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.609
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 2992.841
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        67247508 kB
MemAvailable:   124099656 kB
Buffers:            2128 kB
Cached:         57573540 kB
SwapCached:           12 kB
Active:          5912648 kB
Inactive:       57108636 kB
Active(anon):    5452576 kB
Inactive(anon):    10992 kB
Active(file):     460072 kB
Inactive(file): 57097644 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89204 kB
Writeback:      11836828 kB
AnonPages:       5447300 kB
Mapped:           115684 kB
Shmem:             17948 kB
KReclaimable:     267736 kB
Slab:             772768 kB
SReclaimable:     267736 kB
SUnreclaim:       505032 kB
KernelStack:        4192 kB
PageTables:        13772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6083504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5169152 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431956 MiB
End job on nodeC006 at 2025-07-04 05:59:56