Trace number 4484631

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 63f22adOPT cert.1 93.5477 93.8809

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM0c08209891d9f5241a74237055766898
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.056181
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
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.00/0.04	c #variables 934 #constraints 1063
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.020595
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.022734
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.026057
0.00/0.06	c GLOBAL bounds - >= -546 @ 0.032791
0.00/0.06	c GLOBAL bounds - >= -546 @ 0.035562
0.00/0.07	c GLOBAL bounds - >= -546 @ 0.040741
0.00/0.08	c GLOBAL bounds - >= -546 @ 0.045285
0.00/0.08	c GLOBAL bounds - >= -546 @ 0.049504
0.00/0.08	c GLOBAL bounds - >= -546 @ 0.051587
0.07/0.18	c GLOBAL bounds - >= -546 @ 0.130179
0.07/0.19	c GLOBAL bounds - >= -546 @ 0.136704
0.07/0.19	c GLOBAL bounds - >= -546 @ 0.14073
0.07/0.19	c GLOBAL bounds - >= -546 @ 0.143371
0.07/0.20	c GLOBAL bounds - >= -546 @ 0.153034
0.17/0.24	c GLOBAL bounds - >= -546 @ 0.165312
0.17/0.25	c GLOBAL bounds - >= -546 @ 0.174917
0.17/0.26	c GLOBAL bounds - >= -546 @ 0.185457
0.17/0.26	c GLOBAL bounds - >= -546 @ 0.19112
0.17/0.27	c GLOBAL bounds - >= -546 @ 0.198207
0.17/0.29	c GLOBAL bounds - >= -546 @ 0.210879
0.26/0.32	c GLOBAL bounds - >= -546 @ 0.228325
0.26/0.33	c GLOBAL bounds - >= -546 @ 0.238475
0.26/0.34	c GLOBAL bounds - >= -546 @ 0.246691
0.26/0.35	c GLOBAL bounds - >= -546 @ 0.253483
0.26/0.36	c GLOBAL bounds - >= -546 @ 0.266095
0.26/0.38	c GLOBAL bounds - >= -546 @ 0.282665
0.26/0.39	c GLOBAL bounds - >= -546 @ 0.289223
0.26/0.40	c GLOBAL bounds - >= -546 @ 0.297585
0.35/0.42	c GLOBAL bounds - >= -546 @ 0.316908
0.35/0.44	c GLOBAL bounds - >= -546 @ 0.326465
0.35/0.46	c GLOBAL bounds - >= -546 @ 0.346948
0.35/0.48	c GLOBAL bounds - >= -546 @ 0.36124
0.35/0.49	c GLOBAL bounds - >= -546 @ 0.371209
0.35/0.50	c GLOBAL bounds - >= -546 @ 0.381999
0.45/0.58	c GLOBAL bounds - >= -546 @ 0.46038
0.45/0.59	c GLOBAL bounds - >= -546 @ 0.471407
0.54/0.61	c GLOBAL bounds - >= -546 @ 0.487233
0.54/0.64	c GLOBAL bounds - >= -546 @ 0.507663
0.54/0.65	c GLOBAL bounds - >= -546 @ 0.523087
0.63/0.72	c GLOBAL bounds - >= -546 @ 0.578718
0.63/0.75	c GLOBAL bounds - >= -546 @ 0.611133
0.63/0.77	c GLOBAL bounds - >= -546 @ 0.630136
0.73/0.86	c GLOBAL bounds - >= -546 @ 0.71217
0.73/0.88	c GLOBAL bounds - >= -546 @ 0.735802
0.82/0.90	c GLOBAL bounds - >= -546 @ 0.754444
0.82/0.97	c GLOBAL bounds - >= -546 @ 0.820502
0.82/1.00	c GLOBAL bounds - >= -546 @ 0.844197
1.13/1.27	c #Conflicts:       1000 | #Constraints:       2153
1.13/1.27	c GLOBAL bounds - >= -546 @ 1.10106
1.23/1.35	c GLOBAL bounds - >= -546 @ 1.17913
1.33/1.49	c GLOBAL bounds - >= -546 @ 1.31073
1.62/1.70	c GLOBAL bounds - >= -546 @ 1.51287
1.73/1.80	c GLOBAL bounds - >= -546 @ 1.6061
1.73/1.88	c #Conflicts:       2000 | #Constraints:       3163
1.73/1.88	c INPROCESSING
1.73/1.88	c GARBAGE COLLECT
1.73/1.88	c GLOBAL bounds - >= -546 @ 1.67967
1.73/1.89	c GLOBAL bounds - >= -546 @ 1.68779
2.13/2.26	c GLOBAL bounds - >= -546 @ 2.05062
2.43/2.58	c #Conflicts:       3000 | #Constraints:       3189
2.43/2.58	c GLOBAL bounds - >= -546 @ 2.36058
2.52/2.66	c GLOBAL bounds - >= -546 @ 2.44015
2.62/2.71	c GLOBAL bounds - >= -546 @ 2.48949
3.41/3.55	c #Conflicts:       4000 | #Constraints:       4195
3.41/3.55	c INPROCESSING
3.41/3.55	c GARBAGE COLLECT
3.41/3.55	c #Conflicts:       5000 | #Constraints:       3614
3.41/3.55	c GLOBAL bounds - >= -546 @ 3.29618
12.29/12.46	c #Conflicts:       6000 | #Constraints:       4616
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:       7000 | #Constraints:       3626
12.29/12.46	c #Conflicts:       8000 | #Constraints:       4626
12.29/12.46	c #Conflicts:       9000 | #Constraints:       5626
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:      10000 | #Constraints:       4334
12.29/12.46	c #Conflicts:      11000 | #Constraints:       5334
12.29/12.46	c #Conflicts:      12000 | #Constraints:       6334
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:      13000 | #Constraints:       4783
12.29/12.46	c #Conflicts:      14000 | #Constraints:       5783
12.29/12.46	c #Conflicts:      15000 | #Constraints:       6783
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:      16000 | #Constraints:       5008
12.29/12.46	c #Conflicts:      17000 | #Constraints:       6008
12.29/12.46	c #Conflicts:      18000 | #Constraints:       7008
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:      19000 | #Constraints:       5021
12.29/12.46	c #Conflicts:      20000 | #Constraints:       6021
12.29/12.46	c #Conflicts:      21000 | #Constraints:       7021
12.29/12.46	c INPROCESSING
12.29/12.46	c GARBAGE COLLECT
12.29/12.46	c #Conflicts:      22000 | #Constraints:       4827
12.29/12.46	c GLOBAL bounds - >= -546 @ 12.0346
41.51/41.70	c #Conflicts:      23000 | #Constraints:       5829
41.51/41.70	c #Conflicts:      24000 | #Constraints:       6829
41.51/41.70	c #Conflicts:      25000 | #Constraints:       7829
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      26000 | #Constraints:       5448
41.51/41.70	c #Conflicts:      27000 | #Constraints:       6448
41.51/41.70	c #Conflicts:      28000 | #Constraints:       7448
41.51/41.70	c #Conflicts:      29000 | #Constraints:       8448
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      30000 | #Constraints:       5855
41.51/41.70	c #Conflicts:      31000 | #Constraints:       6855
41.51/41.70	c #Conflicts:      32000 | #Constraints:       7855
41.51/41.70	c #Conflicts:      33000 | #Constraints:       8855
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      34000 | #Constraints:       6064
41.51/41.70	c #Conflicts:      35000 | #Constraints:       7064
41.51/41.70	c #Conflicts:      36000 | #Constraints:       8064
41.51/41.70	c #Conflicts:      37000 | #Constraints:       9064
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      38000 | #Constraints:       6072
41.51/41.70	c #Conflicts:      39000 | #Constraints:       7072
41.51/41.70	c #Conflicts:      40000 | #Constraints:       8072
41.51/41.70	c #Conflicts:      41000 | #Constraints:       9072
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      42000 | #Constraints:       5864
41.51/41.70	c #Conflicts:      43000 | #Constraints:       6864
41.51/41.70	c #Conflicts:      44000 | #Constraints:       7864
41.51/41.70	c #Conflicts:      45000 | #Constraints:       8864
41.51/41.70	c #Conflicts:      46000 | #Constraints:       9864
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      47000 | #Constraints:       6462
41.51/41.70	c #Conflicts:      48000 | #Constraints:       7462
41.51/41.70	c #Conflicts:      49000 | #Constraints:       8462
41.51/41.70	c #Conflicts:      50000 | #Constraints:       9462
41.51/41.70	c #Conflicts:      51000 | #Constraints:      10462
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      52000 | #Constraints:       6869
41.51/41.70	c #Conflicts:      53000 | #Constraints:       7869
41.51/41.70	c #Conflicts:      54000 | #Constraints:       8869
41.51/41.70	c #Conflicts:      55000 | #Constraints:       9869
41.51/41.70	c #Conflicts:      56000 | #Constraints:      10869
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      57000 | #Constraints:       7070
41.51/41.70	c #Conflicts:      58000 | #Constraints:       8070
41.51/41.70	c #Conflicts:      59000 | #Constraints:       9070
41.51/41.70	c #Conflicts:      60000 | #Constraints:      10070
41.51/41.70	c #Conflicts:      61000 | #Constraints:      11070
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      62000 | #Constraints:       7067
41.51/41.70	c #Conflicts:      63000 | #Constraints:       8067
41.51/41.70	c #Conflicts:      64000 | #Constraints:       9067
41.51/41.70	c #Conflicts:      65000 | #Constraints:      10067
41.51/41.70	c #Conflicts:      66000 | #Constraints:      11067
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      67000 | #Constraints:       6868
41.51/41.70	c #Conflicts:      68000 | #Constraints:       7868
41.51/41.70	c #Conflicts:      69000 | #Constraints:       8868
41.51/41.70	c #Conflicts:      70000 | #Constraints:       9868
41.51/41.70	c #Conflicts:      71000 | #Constraints:      10868
41.51/41.70	c #Conflicts:      72000 | #Constraints:      11868
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      73000 | #Constraints:       7468
41.51/41.70	c #Conflicts:      74000 | #Constraints:       8468
41.51/41.70	c #Conflicts:      75000 | #Constraints:       9468
41.51/41.70	c #Conflicts:      76000 | #Constraints:      10468
41.51/41.70	c #Conflicts:      77000 | #Constraints:      11468
41.51/41.70	c #Conflicts:      78000 | #Constraints:      12468
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      79000 | #Constraints:       7860
41.51/41.70	c #Conflicts:      80000 | #Constraints:       8860
41.51/41.70	c #Conflicts:      81000 | #Constraints:       9860
41.51/41.70	c #Conflicts:      82000 | #Constraints:      10860
41.51/41.70	c #Conflicts:      83000 | #Constraints:      11860
41.51/41.70	c #Conflicts:      84000 | #Constraints:      12860
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      85000 | #Constraints:       8070
41.51/41.70	c #Conflicts:      86000 | #Constraints:       9070
41.51/41.70	c #Conflicts:      87000 | #Constraints:      10070
41.51/41.70	c #Conflicts:      88000 | #Constraints:      11070
41.51/41.70	c #Conflicts:      89000 | #Constraints:      12070
41.51/41.70	c #Conflicts:      90000 | #Constraints:      13070
41.51/41.70	c INPROCESSING
41.51/41.70	c GARBAGE COLLECT
41.51/41.70	c #Conflicts:      91000 | #Constraints:       8062
41.51/41.70	c #Conflicts:      92000 | #Constraints:       9062
52.58/52.83	c #Conflicts:      93000 | #Constraints:      10062
52.58/52.83	c #Conflicts:      94000 | #Constraints:      11062
52.58/52.83	c #Conflicts:      95000 | #Constraints:      12062
52.58/52.83	c #Conflicts:      96000 | #Constraints:      13062
52.58/52.83	c INPROCESSING
52.58/52.83	c GARBAGE COLLECT
52.58/52.83	c #Conflicts:      97000 | #Constraints:       7869
52.58/52.83	c #Conflicts:      98000 | #Constraints:       8869
52.58/52.83	c #Conflicts:      99000 | #Constraints:       9869
52.58/52.83	c #Conflicts:     100000 | #Constraints:      10869
52.58/52.83	c #Conflicts:     101000 | #Constraints:      11869
52.58/52.83	c #Conflicts:     102000 | #Constraints:      12869
52.58/52.83	c #Conflicts:     103000 | #Constraints:      13869
52.58/52.83	c INPROCESSING
52.58/52.83	c GARBAGE COLLECT
52.58/52.83	c #Conflicts:     104000 | #Constraints:       8461
52.58/52.83	c #Conflicts:     105000 | #Constraints:       9461
52.58/52.83	c #Conflicts:     106000 | #Constraints:      10461
52.58/52.83	c #Conflicts:     107000 | #Constraints:      11461
52.58/52.83	c #Conflicts:     108000 | #Constraints:      12461
52.58/52.83	c #Conflicts:     109000 | #Constraints:      13461
52.58/52.83	c #Conflicts:     110000 | #Constraints:      14461
52.58/52.83	c INPROCESSING
52.58/52.83	c GARBAGE COLLECT
52.58/52.83	c #Conflicts:     111000 | #Constraints:       8862
52.58/52.83	c #Conflicts:     112000 | #Constraints:       9862
52.58/52.83	c #Conflicts:     113000 | #Constraints:      10862
52.58/52.83	c #Conflicts:     114000 | #Constraints:      11862
52.58/52.83	c #Conflicts:     115000 | #Constraints:      12862
52.58/52.83	c #Conflicts:     116000 | #Constraints:      13862
52.58/52.83	c #Conflicts:     117000 | #Constraints:      14862
52.58/52.83	c INPROCESSING
52.58/52.83	c GARBAGE COLLECT
52.58/52.83	c #Conflicts:     118000 | #Constraints:       9057
52.58/52.83	c #Conflicts:     119000 | #Constraints:      10057
52.58/52.83	c #Conflicts:     120000 | #Constraints:      11057
52.58/52.83	c GLOBAL bounds - >= -546 @ 51.8087
93.36/93.79	c #Conflicts:     121000 | #Constraints:      12059
93.36/93.79	c #Conflicts:     122000 | #Constraints:      13059
93.36/93.79	c #Conflicts:     123000 | #Constraints:      14059
93.36/93.79	c #Conflicts:     124000 | #Constraints:      15059
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     125000 | #Constraints:       9093
93.36/93.79	c #Conflicts:     126000 | #Constraints:      10093
93.36/93.79	c #Conflicts:     127000 | #Constraints:      11093
93.36/93.79	c #Conflicts:     128000 | #Constraints:      12093
93.36/93.79	c #Conflicts:     129000 | #Constraints:      13093
93.36/93.79	c #Conflicts:     130000 | #Constraints:      14093
93.36/93.79	c #Conflicts:     131000 | #Constraints:      15093
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     132000 | #Constraints:       8911
93.36/93.79	c #Conflicts:     133000 | #Constraints:       9911
93.36/93.79	c #Conflicts:     134000 | #Constraints:      10911
93.36/93.79	c #Conflicts:     135000 | #Constraints:      11911
93.36/93.79	c #Conflicts:     136000 | #Constraints:      12911
93.36/93.79	c #Conflicts:     137000 | #Constraints:      13911
93.36/93.79	c #Conflicts:     138000 | #Constraints:      14911
93.36/93.79	c #Conflicts:     139000 | #Constraints:      15911
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     140000 | #Constraints:       9518
93.36/93.79	c #Conflicts:     141000 | #Constraints:      10518
93.36/93.79	c #Conflicts:     142000 | #Constraints:      11518
93.36/93.79	c #Conflicts:     143000 | #Constraints:      12518
93.36/93.79	c #Conflicts:     144000 | #Constraints:      13518
93.36/93.79	c #Conflicts:     145000 | #Constraints:      14518
93.36/93.79	c #Conflicts:     146000 | #Constraints:      15518
93.36/93.79	c #Conflicts:     147000 | #Constraints:      16518
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     148000 | #Constraints:       9930
93.36/93.79	c #Conflicts:     149000 | #Constraints:      10930
93.36/93.79	c #Conflicts:     150000 | #Constraints:      11930
93.36/93.79	c #Conflicts:     151000 | #Constraints:      12930
93.36/93.79	c #Conflicts:     152000 | #Constraints:      13930
93.36/93.79	c #Conflicts:     153000 | #Constraints:      14930
93.36/93.79	c #Conflicts:     154000 | #Constraints:      15930
93.36/93.79	c #Conflicts:     155000 | #Constraints:      16930
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     156000 | #Constraints:      10129
93.36/93.79	c #Conflicts:     157000 | #Constraints:      11129
93.36/93.79	c #Conflicts:     158000 | #Constraints:      12129
93.36/93.79	c #Conflicts:     159000 | #Constraints:      13129
93.36/93.79	c #Conflicts:     160000 | #Constraints:      14129
93.36/93.79	c #Conflicts:     161000 | #Constraints:      15129
93.36/93.79	c #Conflicts:     162000 | #Constraints:      16129
93.36/93.79	c #Conflicts:     163000 | #Constraints:      17129
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     164000 | #Constraints:      10136
93.36/93.79	c #Conflicts:     165000 | #Constraints:      11136
93.36/93.79	c #Conflicts:     166000 | #Constraints:      12136
93.36/93.79	c #Conflicts:     167000 | #Constraints:      13136
93.36/93.79	c #Conflicts:     168000 | #Constraints:      14136
93.36/93.79	c #Conflicts:     169000 | #Constraints:      15136
93.36/93.79	c #Conflicts:     170000 | #Constraints:      16136
93.36/93.79	c #Conflicts:     171000 | #Constraints:      17136
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c #Conflicts:     172000 | #Constraints:       9941
93.36/93.79	c #Conflicts:     173000 | #Constraints:      10941
93.36/93.79	c #Conflicts:     174000 | #Constraints:      11941
93.36/93.79	c #Conflicts:     175000 | #Constraints:      12941
93.36/93.79	c #Conflicts:     176000 | #Constraints:      13941
93.36/93.79	c #Conflicts:     177000 | #Constraints:      14941
93.36/93.79	c #Conflicts:     178000 | #Constraints:      15941
93.36/93.79	c #Conflicts:     179000 | #Constraints:      16941
93.36/93.79	c #Conflicts:     180000 | #Constraints:      17941
93.36/93.79	c INPROCESSING
93.36/93.79	c GARBAGE COLLECT
93.36/93.79	c GLOBAL bounds - >= 1 @ 92.3564
93.46/93.85	c Conflict after adding new constraint
93.46/93.85	c cpu time 92.4227 s
93.46/93.85	c deterministic time 9534 9.53e+03
93.46/93.85	c optimization time 92.3471 s
93.46/93.85	c total solve time 0.061301 s
93.46/93.85	c core-guided solve time 0 s
93.46/93.85	c propagation time 0.033156 s
93.46/93.85	c conflict analysis time 0 s
93.46/93.85	c propagations 380
93.46/93.85	c resolve steps 0
93.46/93.85	c decisions 614
93.46/93.85	c conflicts 0
93.46/93.85	c restarts 1
93.46/93.85	c inprocessing phases 0
93.46/93.85	c garbage collections 0 ,( -nan )
93.46/93.85	c input clauses 885 ,( 72.07 )
93.46/93.85	c input cardinalities 343 ,( 27.93 )
93.46/93.85	c input general constraints 0 ,( 0.00 )
93.46/93.85	c input average constraint length 4.54
93.46/93.85	c input average constraint degree 1.54
93.46/93.85	c learned clauses 0 ,( 0.00 )
93.46/93.85	c learned cardinalities 0 ,( 0.00 )
93.46/93.85	c learned general constraints 0 ,( 0.00 )
93.46/93.85	c learned average constraint length 0.00
93.46/93.85	c learned average constraint degree 0.00
93.46/93.85	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
93.46/93.85	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
93.46/93.85	c watched   constraints 0 ,( -nan ) 
93.46/93.85	c counting  constraints 0 ,( -nan ) 
93.46/93.85	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 186 , 1088 , 0 ,( 0 , 0 )
93.46/93.85	c gcd simplifications 0
93.46/93.85	c detected cardinalities 0
93.46/93.85	c weakened non-implied lits 0
93.46/93.85	c weakened non-implying lits 0
93.46/93.85	c original variables 934
93.46/93.85	c clausal propagations 175
93.46/93.85	c cardinality propagations 204
93.46/93.85	c watched propagations 0
93.46/93.85	c counting propagations 0
93.46/93.85	c watch lookups 1274
93.46/93.85	c watch backjump lookups 0
93.46/93.85	c watch checks 3202
93.46/93.85	c propagation checks 1527
93.46/93.85	c constraint additions 0
93.46/93.85	c trail pops 993
93.46/93.85	c formula constraints 1063
93.46/93.85	c learned constraints 0
93.46/93.85	c bound constraints 0
93.46/93.85	c core-guided constraints 0
93.46/93.85	c encountered formula constraints 0
93.46/93.85	c encountered learned constraints 0
93.46/93.85	c encountered bound constraints 0
93.46/93.85	c encountered core-guided constraints 0
93.46/93.85	c LP total time 0.060397 s
93.46/93.85	c LP solve time 0.06 s
93.46/93.85	c LP constraints added 1063
93.46/93.85	c LP constraints removed 0
93.46/93.85	c LP pivots internal 543
93.46/93.85	c LP pivots root 1000
93.46/93.85	c LP calls 2
93.46/93.85	c LP optimalities 1
93.46/93.85	c LP no pivot count 0
93.46/93.85	c LP infeasibilities 0
93.46/93.85	c LP valid Farkas constraints 0
93.46/93.85	c LP learned Farkas constraints 0
93.46/93.85	c LP basis resets 0
93.46/93.85	c LP cycling count 0
93.46/93.85	c LP singular count 0
93.46/93.85	c LP no primal count 0
93.46/93.85	c LP no farkas count 0
93.46/93.85	c LP other issue count 0
93.46/93.86	c LP Gomory cuts 0
93.46/93.86	c LP learned cuts 0
93.46/93.86	c LP deleted cuts 0
93.46/93.86	c LP encountered Gomory constraints 0
93.46/93.86	c LP encountered Farkas constraints 0
93.46/93.86	c LP encountered learned Farkas constraints 0
93.46/93.86	c CG auxiliary variables introduced 60
93.46/93.86	c CG solutions found 1
93.46/93.86	c CG cores constructed 0
93.46/93.86	c CG core cardinality constraints returned 0
93.46/93.86	c CG unit cores 0
93.46/93.86	c CG single cores 0
93.46/93.86	c CG blocks removed during cardinality reduction 0
93.46/93.86	c CG first core best 0
93.46/93.86	c CG decision core best 0
93.46/93.86	c CG core reduction tie 0
93.46/93.86	c CG core degree average 0.00
93.46/93.86	c CG core slack average 0.00
93.46/93.86	c CG core upper bound improvements 0
93.46/93.86	c STR number of successful calls 0
93.46/93.86	c STR number of unsuccessful calls 0
93.46/93.86	c STR number of inconclusive calls 0
93.46/93.86	c STR number of successful attempts 0
93.46/93.86	c STR number of unsuccessful attempts 0
93.46/93.86	c STR number of inconclusive attempts 0
93.46/93.86	c STR average degree increase per successful call inf
93.46/93.86	c STR average degree increase per successful attempt inf
93.46/93.86	c STR total number of conflicts for successful attempts 0
93.46/93.86	c STR total number of conflicts for unsuccessful attempts 0
93.46/93.86	c STR total number of conflicts for inconclusive attempts 0
93.46/93.86	c STR average number of conflicts per successful attempt inf
93.46/93.86	c STR average number of conflicts per unsuccessful attempt inf
93.46/93.86	c STR average number of conflicts per inconclusive attempt inf
93.46/93.86	c AVG.sumWPerc -nan 
93.46/93.86	c bigint constraints 0 
93.46/93.86	o 1
93.46/93.86	s OPTIMUM FOUND
93.46/93.86	v x1 -x2 -x3 -x4 x5 x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 x127 x128 x129 -x130 x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 -x379 -x380 -x381 x382 x383 -x384 -x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 x443 x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 x459 x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 -x525 -x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 x539 x540 -x541 -x542 -x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 x613 x614 x615 x616 x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 x660 x661 -x662 -x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 -x718 x719 x720 -x721 -x722 -x723 x724 x725 -x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 -x743 -x744 x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 -x754 x755 x756 x757 x758 x759 x760 x761 -x762 x763 -x764 x765 x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 -x807 -x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 -x819 -x820 x821 x822 x823 x824 x825 x826 -x827 -x828 x829 x830 x831 -x832 -x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 -x852 x853 x854 x855 x856 x857 x858 x859 -x860 -x861 x862 x863 -x864 -x865 x866 x867 x868 x869 x870 x871 x872 -x873 x874 x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 x884 x885 x886 x887 x888 -x889 x890 x891 x892 -x893 x894 x895 -x896 -x897 x898 x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 x907 -x908 -x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 -x921 -x922 -x923 -x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934

Verifier Data 

OK	1

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 15:48:06 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 1 <= obj <= 1
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 1 <= obj <= 1
--summary--
ALL OK

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

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

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

solver pid=39264, runsolver pid=39261

[startup+0.100068 s]*
/proc/loadavg: 2.98 3.66 3.99 5/256 39266
/proc/meminfo: memFree=127446056/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=62296 memory=12208 CPUtime=0.07 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 1198 0 0 0 6 1 0 0 20 0 1 0 44905365 63791104 3052 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 15574 3052 2336 1147 0 3001 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66488 KiB
Current children cumulated memory: 15280 KiB

[startup+0.213387 s]*
/proc/loadavg: 2.98 3.66 3.99 5/256 39266
/proc/meminfo: memFree=127427928/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=63088 memory=13488 CPUtime=0.17 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 1487 0 0 0 15 2 0 0 20 0 1 0 44905365 64602112 3372 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 15772 3372 2368 1147 0 3199 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67280 KiB
Current children cumulated memory: 16560 KiB

[startup+0.313285 s]*
/proc/loadavg: 2.98 3.66 3.99 5/256 39266
/proc/meminfo: memFree=127423648/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=64408 memory=15280 CPUtime=0.26 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 1916 0 0 0 22 4 0 0 20 0 1 0 44905365 65953792 3820 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 16102 3820 2368 1147 0 3529 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 68600 KiB
Current children cumulated memory: 18352 KiB

[startup+0.700307 s]
/proc/loadavg: 2.98 3.66 3.99 5/256 39266
/proc/meminfo: memFree=127423648/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=68456 memory=21812 CPUtime=0.63 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 3060 0 0 0 56 7 0 0 20 0 1 0 44905365 70098944 5453 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 17114 5453 2368 1147 0 4541 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 72648 KiB
Current children cumulated memory: 24884 KiB

[startup+1.50037 s]
/proc/loadavg: 2.98 3.66 3.99 5/256 39266
/proc/meminfo: memFree=127399456/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=86532 memory=38076 CPUtime=1.42 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 6620 0 0 0 131 11 0 0 20 0 1 0 44905365 88608768 9519 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 21633 9519 2368 1147 0 9060 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 90724 KiB
Current children cumulated memory: 41148 KiB

[startup+3.11319 s]
/proc/loadavg: 3.06 3.67 3.99 5/256 39266
/proc/meminfo: memFree=127322552/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=115772 memory=57384 CPUtime=3.04 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 10939 0 0 0 287 17 0 0 20 0 1 0 44905365 118550528 14346 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 28943 14346 2368 1147 0 16370 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 119964 KiB
Current children cumulated memory: 60456 KiB

[startup+6.30037 s]
/proc/loadavg: 3.06 3.67 3.99 5/256 39266
/proc/meminfo: memFree=127083788/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=124812 memory=71560 CPUtime=6.21 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 13453 0 0 0 598 23 0 0 20 0 1 0 44905365 127807488 17890 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 31203 17890 2368 1147 0 18630 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 129004 KiB
Current children cumulated memory: 74632 KiB

[startup+12.7004 s]
/proc/loadavg: 3.20 3.68 3.99 5/258 39268
/proc/meminfo: memFree=126795484/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=144848 memory=88328 CPUtime=12.59 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 17159 0 0 0 1226 33 0 0 20 0 1 0 44905365 148324352 22082 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 36212 22082 2368 1147 0 23639 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 149040 KiB
Current children cumulated memory: 91400 KiB

[startup+25.5004 s]
/proc/loadavg: 3.33 3.69 3.99 5/258 39268
/proc/meminfo: memFree=126350796/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=156276 memory=100232 CPUtime=25.35 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 20138 0 0 0 2488 47 0 0 20 0 1 0 44905365 160026624 25058 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 39069 25058 2368 1147 0 26496 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 160468 KiB
Current children cumulated memory: 103304 KiB

[startup+51.1134 s]
/proc/loadavg: 3.71 3.75 4.00 5/258 39269
/proc/meminfo: memFree=125167184/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=169076 memory=109448 CPUtime=50.9 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 22422 0 0 0 5012 78 0 0 20 0 1 0 44905365 173133824 27362 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 42269 27362 2368 1147 0 29696 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 173268 KiB
Current children cumulated memory: 112520 KiB

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

# cumulated CPU time of all completed processes:  user=92.4298 s, system=1.11795 s

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

[startup+51.2005 s]
/proc/loadavg: 3.71 3.75 4.00 5/258 39269
/proc/meminfo: memFree=125167184/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=169076 memory=109448 CPUtime=50.99 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 22422 0 0 0 5021 78 0 0 20 0 1 0 44905365 173133824 27362 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 42269 27362 2368 1147 0 29696 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 173268 KiB
Current children cumulated memory: 112520 KiB

[startup+76.8004 s]
/proc/loadavg: 4.37 3.90 4.05 5/258 39270
/proc/meminfo: memFree=124185600/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=76.52 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23119 0 0 0 7554 98 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 76.52 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+83.2004 s]
/proc/loadavg: 4.62 3.97 4.07 5/258 39270
/proc/meminfo: memFree=124017056/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=82.89 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23126 0 0 0 8187 102 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 82.89 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+89.6004 s]
/proc/loadavg: 4.89 4.04 4.09 5/258 39270
/proc/meminfo: memFree=123804072/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=89.28 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23129 0 0 0 8820 108 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 89.28 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+91.2004 s]
/proc/loadavg: 4.89 4.04 4.09 5/258 39270
/proc/meminfo: memFree=123739500/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=90.88 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23129 0 0 0 8978 110 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 90.88 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+92.8004 s]
/proc/loadavg: 5.06 4.08 4.10 5/258 39270
/proc/meminfo: memFree=123694956/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=92.47 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23129 0 0 0 9137 110 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 92.47 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+93.6003 s]
/proc/loadavg: 5.06 4.08 4.10 5/258 39270
/proc/meminfo: memFree=123683064/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=93.26 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23134 0 0 0 9216 110 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 93.26 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

[startup+93.8003 s]
/proc/loadavg: 5.06 4.08 4.10 5/258 39270
/proc/meminfo: memFree=123683064/131382116 swapFree=33010684/33010684
[pid=39264] ppid=39261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39264/stat : 39264 (run-opt-log.sh) S 39261 39264 39143 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 44905364 4292608 768 18446744073709551615 94504227188736 94504228083269 140733567493728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94504228322320 94504228370064 94504258482176 140733567498529 140733567498724 140733567498724 140733567504326 0
/proc/39264/statm: 1048 768 704 219 0 110 0
[pid=39266] ppid=39264 vsize=172404 memory=112264 CPUtime=93.46 cores=5,7
/proc/39266/stat : 39266 (roundingsat) R 39264 39264 39143 0 -1 4194304 23139 0 0 0 9236 110 0 0 20 0 1 0 44905365 176541696 28066 18446744073709551615 4227072 8923433 140728501862816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30883840 140728501868882 140728501869096 140728501869096 140728501874666 0
/proc/39266/statm: 43101 28066 2368 1147 0 30528 0
Current children cumulated CPU time: 93.46 s
Current children cumulated vsize: 176596 KiB
Current children cumulated memory: 115336 KiB

Child status: 0

Real time (s): 93.8809
CPU time (s): 93.5477
CPU user time (s): 92.4298
CPU system time (s): 1.11795
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 176596
Max. memory (cumulated for all children) (KiB): 115336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.4298
system time used= 1.11795
maximum resident set size= 112392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 446888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162
involuntary context switches= 144


# summary of solver processes directly reported to runsolver:
#   pid: 39264
#   total CPU time (s): 93.5477
#   total CPU user time (s): 92.4298
#   total CPU system time (s): 1.11795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.550086 second user time and 0.995841 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 16:04:20
IDJOB=4484631
IDBENCH=146663
IDSOLVER=3351
FILE ID=nodeC010/4484631-1751292260
RUNJOBID= nodeC010-1751292234-39156
SLURM_JOB_ID= 9594261
Free space on /tmp= 432668 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484631-1751292260/watcher-4484631-1751292260 -o /tmp/evaluation-result-4484631-1751292260/solver-4484631-1751292260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39156 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484631-1751292260.opb PROOFDIR/proof-4484631-1751292260

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

MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=869255825

nodeC010 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		: 3661.830
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.36
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		: 3691.211
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.36
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		: 1197.563
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.36
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.217
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.36
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		: 3661.753
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.36
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		: 3491.682
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.36
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		: 3700.000
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.36
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		: 1197.151
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        127448072 kB
MemAvailable:   128468252 kB
Buffers:            3280 kB
Cached:          1828076 kB
SwapCached:            0 kB
Active:          1819060 kB
Inactive:        1523360 kB
Active(anon):    1529076 kB
Inactive(anon):        0 kB
Active(file):     289984 kB
Inactive(file):  1523360 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            582080 kB
Writeback:           256 kB
AnonPages:       1514440 kB
Mapped:           116988 kB
Shmem:             17960 kB
KReclaimable:      92924 kB
Slab:             191948 kB
SReclaimable:      92924 kB
SUnreclaim:        99024 kB
KernelStack:        4080 kB
PageTables:         6588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2228972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432664 MiB
End job on nodeC010 at 2025-06-30 16:05:54