Trace number 4484630

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 63f22adOPT1 87.4695 87.7096

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 934 #constraints 1063
0.00/0.02	c objective is ce32 
0.00/0.02	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.007562
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.008036
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.008823
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.010514
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.011188
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.01277
0.00/0.02	c GLOBAL bounds - >= -546 @ 0.014205
0.00/0.03	c GLOBAL bounds - >= -546 @ 0.014769
0.00/0.03	c GLOBAL bounds - >= -546 @ 0.015274
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.035814
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.037678
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.038743
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.039694
0.00/0.05	c GLOBAL bounds - >= -546 @ 0.042369
0.00/0.06	c GLOBAL bounds - >= -546 @ 0.047414
0.00/0.06	c GLOBAL bounds - >= -546 @ 0.050748
0.00/0.06	c GLOBAL bounds - >= -546 @ 0.053632
0.00/0.07	c GLOBAL bounds - >= -546 @ 0.055036
0.00/0.07	c GLOBAL bounds - >= -546 @ 0.058208
0.00/0.07	c GLOBAL bounds - >= -546 @ 0.063474
0.00/0.08	c GLOBAL bounds - >= -546 @ 0.068259
0.00/0.09	c GLOBAL bounds - >= -546 @ 0.071008
0.00/0.09	c GLOBAL bounds - >= -546 @ 0.074155
0.00/0.09	c GLOBAL bounds - >= -546 @ 0.076435
0.00/0.10	c GLOBAL bounds - >= -546 @ 0.080575
0.08/0.10	c GLOBAL bounds - >= -546 @ 0.085862
0.08/0.10	c GLOBAL bounds - >= -546 @ 0.088453
0.08/0.11	c GLOBAL bounds - >= -546 @ 0.089545
0.08/0.11	c GLOBAL bounds - >= -546 @ 0.095423
0.08/0.12	c GLOBAL bounds - >= -546 @ 0.099225
0.08/0.13	c GLOBAL bounds - >= -546 @ 0.104723
0.08/0.13	c GLOBAL bounds - >= -546 @ 0.108289
0.08/0.13	c GLOBAL bounds - >= -546 @ 0.111465
0.08/0.14	c GLOBAL bounds - >= -546 @ 0.112574
0.08/0.16	c GLOBAL bounds - >= -546 @ 0.134401
0.08/0.16	c GLOBAL bounds - >= -546 @ 0.138363
0.08/0.17	c GLOBAL bounds - >= -546 @ 0.142524
0.08/0.18	c GLOBAL bounds - >= -546 @ 0.150109
0.08/0.18	c GLOBAL bounds - >= -546 @ 0.153891
0.08/0.20	c GLOBAL bounds - >= -546 @ 0.171576
0.19/0.21	c GLOBAL bounds - >= -546 @ 0.182967
0.19/0.22	c GLOBAL bounds - >= -546 @ 0.188637
0.19/0.25	c GLOBAL bounds - >= -546 @ 0.21518
0.19/0.26	c GLOBAL bounds - >= -546 @ 0.223152
0.19/0.26	c GLOBAL bounds - >= -546 @ 0.230402
0.19/0.29	c GLOBAL bounds - >= -546 @ 0.251872
0.19/0.30	c GLOBAL bounds - >= -546 @ 0.259666
0.29/0.39	c #Conflicts:       1000 | #Constraints:       2153
0.29/0.39	c GLOBAL bounds - >= -546 @ 0.343019
0.39/0.43	c GLOBAL bounds - >= -546 @ 0.380565
0.39/0.50	c GLOBAL bounds - >= -546 @ 0.444421
0.58/0.61	c GLOBAL bounds - >= -546 @ 0.553637
0.58/0.67	c GLOBAL bounds - >= -546 @ 0.611922
0.68/0.73	c #Conflicts:       2000 | #Constraints:       3163
0.68/0.73	c INPROCESSING
0.68/0.73	c GARBAGE COLLECT
0.68/0.73	c GLOBAL bounds - >= -546 @ 0.668188
0.68/0.74	c GLOBAL bounds - >= -546 @ 0.674045
0.88/0.97	c GLOBAL bounds - >= -546 @ 0.901248
1.18/1.22	c #Conflicts:       3000 | #Constraints:       3189
1.18/1.22	c GLOBAL bounds - >= -546 @ 1.14346
1.18/1.29	c GLOBAL bounds - >= -546 @ 1.20905
1.28/1.33	c GLOBAL bounds - >= -546 @ 1.24802
1.98/2.03	c #Conflicts:       4000 | #Constraints:       4195
1.98/2.03	c INPROCESSING
1.98/2.03	c GARBAGE COLLECT
1.98/2.03	c #Conflicts:       5000 | #Constraints:       3614
1.98/2.03	c GLOBAL bounds - >= -546 @ 1.92577
9.85/10.00	c #Conflicts:       6000 | #Constraints:       4616
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:       7000 | #Constraints:       3626
9.85/10.00	c #Conflicts:       8000 | #Constraints:       4626
9.85/10.00	c #Conflicts:       9000 | #Constraints:       5626
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:      10000 | #Constraints:       4334
9.85/10.00	c #Conflicts:      11000 | #Constraints:       5334
9.85/10.00	c #Conflicts:      12000 | #Constraints:       6334
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:      13000 | #Constraints:       4783
9.85/10.00	c #Conflicts:      14000 | #Constraints:       5783
9.85/10.00	c #Conflicts:      15000 | #Constraints:       6783
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:      16000 | #Constraints:       5008
9.85/10.00	c #Conflicts:      17000 | #Constraints:       6008
9.85/10.00	c #Conflicts:      18000 | #Constraints:       7008
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:      19000 | #Constraints:       5021
9.85/10.00	c #Conflicts:      20000 | #Constraints:       6021
9.85/10.00	c #Conflicts:      21000 | #Constraints:       7021
9.85/10.00	c INPROCESSING
9.85/10.00	c GARBAGE COLLECT
9.85/10.00	c #Conflicts:      22000 | #Constraints:       4827
9.85/10.00	c GLOBAL bounds - >= -546 @ 9.75432
37.18/37.39	c #Conflicts:      23000 | #Constraints:       5829
37.18/37.39	c #Conflicts:      24000 | #Constraints:       6829
37.18/37.39	c #Conflicts:      25000 | #Constraints:       7829
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      26000 | #Constraints:       5448
37.18/37.39	c #Conflicts:      27000 | #Constraints:       6448
37.18/37.39	c #Conflicts:      28000 | #Constraints:       7448
37.18/37.39	c #Conflicts:      29000 | #Constraints:       8448
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      30000 | #Constraints:       5855
37.18/37.39	c #Conflicts:      31000 | #Constraints:       6855
37.18/37.39	c #Conflicts:      32000 | #Constraints:       7855
37.18/37.39	c #Conflicts:      33000 | #Constraints:       8855
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      34000 | #Constraints:       6064
37.18/37.39	c #Conflicts:      35000 | #Constraints:       7064
37.18/37.39	c #Conflicts:      36000 | #Constraints:       8064
37.18/37.39	c #Conflicts:      37000 | #Constraints:       9064
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      38000 | #Constraints:       6072
37.18/37.39	c #Conflicts:      39000 | #Constraints:       7072
37.18/37.39	c #Conflicts:      40000 | #Constraints:       8072
37.18/37.39	c #Conflicts:      41000 | #Constraints:       9072
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      42000 | #Constraints:       5864
37.18/37.39	c #Conflicts:      43000 | #Constraints:       6864
37.18/37.39	c #Conflicts:      44000 | #Constraints:       7864
37.18/37.39	c #Conflicts:      45000 | #Constraints:       8864
37.18/37.39	c #Conflicts:      46000 | #Constraints:       9864
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      47000 | #Constraints:       6462
37.18/37.39	c #Conflicts:      48000 | #Constraints:       7462
37.18/37.39	c #Conflicts:      49000 | #Constraints:       8462
37.18/37.39	c #Conflicts:      50000 | #Constraints:       9462
37.18/37.39	c #Conflicts:      51000 | #Constraints:      10462
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      52000 | #Constraints:       6869
37.18/37.39	c #Conflicts:      53000 | #Constraints:       7869
37.18/37.39	c #Conflicts:      54000 | #Constraints:       8869
37.18/37.39	c #Conflicts:      55000 | #Constraints:       9869
37.18/37.39	c #Conflicts:      56000 | #Constraints:      10869
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      57000 | #Constraints:       7070
37.18/37.39	c #Conflicts:      58000 | #Constraints:       8070
37.18/37.39	c #Conflicts:      59000 | #Constraints:       9070
37.18/37.39	c #Conflicts:      60000 | #Constraints:      10070
37.18/37.39	c #Conflicts:      61000 | #Constraints:      11070
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      62000 | #Constraints:       7067
37.18/37.39	c #Conflicts:      63000 | #Constraints:       8067
37.18/37.39	c #Conflicts:      64000 | #Constraints:       9067
37.18/37.39	c #Conflicts:      65000 | #Constraints:      10067
37.18/37.39	c #Conflicts:      66000 | #Constraints:      11067
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      67000 | #Constraints:       6868
37.18/37.39	c #Conflicts:      68000 | #Constraints:       7868
37.18/37.39	c #Conflicts:      69000 | #Constraints:       8868
37.18/37.39	c #Conflicts:      70000 | #Constraints:       9868
37.18/37.39	c #Conflicts:      71000 | #Constraints:      10868
37.18/37.39	c #Conflicts:      72000 | #Constraints:      11868
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      73000 | #Constraints:       7468
37.18/37.39	c #Conflicts:      74000 | #Constraints:       8468
37.18/37.39	c #Conflicts:      75000 | #Constraints:       9468
37.18/37.39	c #Conflicts:      76000 | #Constraints:      10468
37.18/37.39	c #Conflicts:      77000 | #Constraints:      11468
37.18/37.39	c #Conflicts:      78000 | #Constraints:      12468
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      79000 | #Constraints:       7860
37.18/37.39	c #Conflicts:      80000 | #Constraints:       8860
37.18/37.39	c #Conflicts:      81000 | #Constraints:       9860
37.18/37.39	c #Conflicts:      82000 | #Constraints:      10860
37.18/37.39	c #Conflicts:      83000 | #Constraints:      11860
37.18/37.39	c #Conflicts:      84000 | #Constraints:      12860
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      85000 | #Constraints:       8070
37.18/37.39	c #Conflicts:      86000 | #Constraints:       9070
37.18/37.39	c #Conflicts:      87000 | #Constraints:      10070
37.18/37.39	c #Conflicts:      88000 | #Constraints:      11070
37.18/37.39	c #Conflicts:      89000 | #Constraints:      12070
37.18/37.39	c #Conflicts:      90000 | #Constraints:      13070
37.18/37.39	c INPROCESSING
37.18/37.39	c GARBAGE COLLECT
37.18/37.39	c #Conflicts:      91000 | #Constraints:       8062
37.18/37.39	c #Conflicts:      92000 | #Constraints:       9062
47.55/47.75	c #Conflicts:      93000 | #Constraints:      10062
47.55/47.75	c #Conflicts:      94000 | #Constraints:      11062
47.55/47.75	c #Conflicts:      95000 | #Constraints:      12062
47.55/47.75	c #Conflicts:      96000 | #Constraints:      13062
47.55/47.75	c INPROCESSING
47.55/47.75	c GARBAGE COLLECT
47.55/47.75	c #Conflicts:      97000 | #Constraints:       7869
47.55/47.75	c #Conflicts:      98000 | #Constraints:       8869
47.55/47.75	c #Conflicts:      99000 | #Constraints:       9869
47.55/47.75	c #Conflicts:     100000 | #Constraints:      10869
47.55/47.75	c #Conflicts:     101000 | #Constraints:      11869
47.55/47.75	c #Conflicts:     102000 | #Constraints:      12869
47.55/47.75	c #Conflicts:     103000 | #Constraints:      13869
47.55/47.75	c INPROCESSING
47.55/47.75	c GARBAGE COLLECT
47.55/47.75	c #Conflicts:     104000 | #Constraints:       8461
47.55/47.75	c #Conflicts:     105000 | #Constraints:       9461
47.55/47.75	c #Conflicts:     106000 | #Constraints:      10461
47.55/47.75	c #Conflicts:     107000 | #Constraints:      11461
47.55/47.75	c #Conflicts:     108000 | #Constraints:      12461
47.55/47.75	c #Conflicts:     109000 | #Constraints:      13461
47.55/47.75	c #Conflicts:     110000 | #Constraints:      14461
47.55/47.75	c INPROCESSING
47.55/47.75	c GARBAGE COLLECT
47.55/47.75	c #Conflicts:     111000 | #Constraints:       8862
47.55/47.75	c #Conflicts:     112000 | #Constraints:       9862
47.55/47.75	c #Conflicts:     113000 | #Constraints:      10862
47.55/47.75	c #Conflicts:     114000 | #Constraints:      11862
47.55/47.75	c #Conflicts:     115000 | #Constraints:      12862
47.55/47.75	c #Conflicts:     116000 | #Constraints:      13862
47.55/47.75	c #Conflicts:     117000 | #Constraints:      14862
47.55/47.75	c INPROCESSING
47.55/47.75	c GARBAGE COLLECT
47.55/47.75	c #Conflicts:     118000 | #Constraints:       9057
47.55/47.75	c #Conflicts:     119000 | #Constraints:      10057
47.55/47.75	c #Conflicts:     120000 | #Constraints:      11057
47.55/47.75	c GLOBAL bounds - >= -546 @ 47.0227
87.34/87.63	c #Conflicts:     121000 | #Constraints:      12059
87.34/87.63	c #Conflicts:     122000 | #Constraints:      13059
87.34/87.63	c #Conflicts:     123000 | #Constraints:      14059
87.34/87.63	c #Conflicts:     124000 | #Constraints:      15059
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     125000 | #Constraints:       9093
87.34/87.63	c #Conflicts:     126000 | #Constraints:      10093
87.34/87.63	c #Conflicts:     127000 | #Constraints:      11093
87.34/87.63	c #Conflicts:     128000 | #Constraints:      12093
87.34/87.63	c #Conflicts:     129000 | #Constraints:      13093
87.34/87.63	c #Conflicts:     130000 | #Constraints:      14093
87.34/87.63	c #Conflicts:     131000 | #Constraints:      15093
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     132000 | #Constraints:       8911
87.34/87.63	c #Conflicts:     133000 | #Constraints:       9911
87.34/87.63	c #Conflicts:     134000 | #Constraints:      10911
87.34/87.63	c #Conflicts:     135000 | #Constraints:      11911
87.34/87.63	c #Conflicts:     136000 | #Constraints:      12911
87.34/87.63	c #Conflicts:     137000 | #Constraints:      13911
87.34/87.63	c #Conflicts:     138000 | #Constraints:      14911
87.34/87.63	c #Conflicts:     139000 | #Constraints:      15911
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     140000 | #Constraints:       9518
87.34/87.63	c #Conflicts:     141000 | #Constraints:      10518
87.34/87.63	c #Conflicts:     142000 | #Constraints:      11518
87.34/87.63	c #Conflicts:     143000 | #Constraints:      12518
87.34/87.63	c #Conflicts:     144000 | #Constraints:      13518
87.34/87.63	c #Conflicts:     145000 | #Constraints:      14518
87.34/87.63	c #Conflicts:     146000 | #Constraints:      15518
87.34/87.63	c #Conflicts:     147000 | #Constraints:      16518
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     148000 | #Constraints:       9930
87.34/87.63	c #Conflicts:     149000 | #Constraints:      10930
87.34/87.63	c #Conflicts:     150000 | #Constraints:      11930
87.34/87.63	c #Conflicts:     151000 | #Constraints:      12930
87.34/87.63	c #Conflicts:     152000 | #Constraints:      13930
87.34/87.63	c #Conflicts:     153000 | #Constraints:      14930
87.34/87.63	c #Conflicts:     154000 | #Constraints:      15930
87.34/87.63	c #Conflicts:     155000 | #Constraints:      16930
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     156000 | #Constraints:      10129
87.34/87.63	c #Conflicts:     157000 | #Constraints:      11129
87.34/87.63	c #Conflicts:     158000 | #Constraints:      12129
87.34/87.63	c #Conflicts:     159000 | #Constraints:      13129
87.34/87.63	c #Conflicts:     160000 | #Constraints:      14129
87.34/87.63	c #Conflicts:     161000 | #Constraints:      15129
87.34/87.63	c #Conflicts:     162000 | #Constraints:      16129
87.34/87.63	c #Conflicts:     163000 | #Constraints:      17129
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     164000 | #Constraints:      10136
87.34/87.63	c #Conflicts:     165000 | #Constraints:      11136
87.34/87.63	c #Conflicts:     166000 | #Constraints:      12136
87.34/87.63	c #Conflicts:     167000 | #Constraints:      13136
87.34/87.63	c #Conflicts:     168000 | #Constraints:      14136
87.34/87.63	c #Conflicts:     169000 | #Constraints:      15136
87.34/87.63	c #Conflicts:     170000 | #Constraints:      16136
87.34/87.63	c #Conflicts:     171000 | #Constraints:      17136
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c #Conflicts:     172000 | #Constraints:       9941
87.34/87.63	c #Conflicts:     173000 | #Constraints:      10941
87.34/87.63	c #Conflicts:     174000 | #Constraints:      11941
87.34/87.63	c #Conflicts:     175000 | #Constraints:      12941
87.34/87.63	c #Conflicts:     176000 | #Constraints:      13941
87.34/87.63	c #Conflicts:     177000 | #Constraints:      14941
87.34/87.63	c #Conflicts:     178000 | #Constraints:      15941
87.34/87.63	c #Conflicts:     179000 | #Constraints:      16941
87.34/87.63	c #Conflicts:     180000 | #Constraints:      17941
87.34/87.63	c INPROCESSING
87.34/87.63	c GARBAGE COLLECT
87.34/87.63	c GLOBAL bounds - >= 1 @ 86.571
87.45/87.70	c Conflict after adding new constraint
87.45/87.70	c cpu time 86.6373 s
87.45/87.70	c deterministic time 9534 9.53e+03
87.45/87.70	c optimization time 86.5694 s
87.45/87.70	c total solve time 0.062416 s
87.45/87.70	c core-guided solve time 0 s
87.45/87.70	c propagation time 0.033724 s
87.45/87.70	c conflict analysis time 0 s
87.45/87.70	c propagations 380
87.45/87.70	c resolve steps 0
87.45/87.70	c decisions 614
87.45/87.70	c conflicts 0
87.45/87.70	c restarts 1
87.45/87.70	c inprocessing phases 0
87.45/87.70	c garbage collections 0 ,( -nan )
87.45/87.70	c input clauses 885 ,( 72.07 )
87.45/87.70	c input cardinalities 343 ,( 27.93 )
87.45/87.70	c input general constraints 0 ,( 0.00 )
87.45/87.70	c input average constraint length 4.54
87.45/87.70	c input average constraint degree 1.54
87.45/87.70	c learned clauses 0 ,( 0.00 )
87.45/87.70	c learned cardinalities 0 ,( 0.00 )
87.45/87.70	c learned general constraints 0 ,( 0.00 )
87.45/87.70	c learned average constraint length 0.00
87.45/87.70	c learned average constraint degree 0.00
87.45/87.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
87.45/87.70	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
87.45/87.70	c watched   constraints 0 ,( -nan ) 
87.45/87.70	c counting  constraints 0 ,( -nan ) 
87.45/87.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 186 , 1088 , 0 ,( 0 , 0 )
87.45/87.70	c gcd simplifications 0
87.45/87.70	c detected cardinalities 0
87.45/87.70	c weakened non-implied lits 0
87.45/87.70	c weakened non-implying lits 0
87.45/87.70	c original variables 934
87.45/87.70	c clausal propagations 175
87.45/87.70	c cardinality propagations 204
87.45/87.70	c watched propagations 0
87.45/87.70	c counting propagations 0
87.45/87.70	c watch lookups 1274
87.45/87.70	c watch backjump lookups 0
87.45/87.70	c watch checks 3202
87.45/87.70	c propagation checks 1527
87.45/87.70	c constraint additions 0
87.45/87.70	c trail pops 993
87.45/87.70	c formula constraints 1063
87.45/87.70	c learned constraints 0
87.45/87.70	c bound constraints 0
87.45/87.70	c core-guided constraints 0
87.45/87.70	c encountered formula constraints 0
87.45/87.70	c encountered learned constraints 0
87.45/87.70	c encountered bound constraints 0
87.45/87.70	c encountered core-guided constraints 0
87.45/87.70	c LP total time 0.062241 s
87.45/87.70	c LP solve time 0.06 s
87.45/87.70	c LP constraints added 1063
87.45/87.70	c LP constraints removed 0
87.45/87.70	c LP pivots internal 543
87.45/87.70	c LP pivots root 1000
87.45/87.70	c LP calls 2
87.45/87.70	c LP optimalities 1
87.45/87.70	c LP no pivot count 0
87.45/87.70	c LP infeasibilities 0
87.45/87.70	c LP valid Farkas constraints 0
87.45/87.70	c LP learned Farkas constraints 0
87.45/87.70	c LP basis resets 0
87.45/87.70	c LP cycling count 0
87.45/87.70	c LP singular count 0
87.45/87.70	c LP no primal count 0
87.45/87.70	c LP no farkas count 0
87.45/87.70	c LP other issue count 0
87.45/87.70	c LP Gomory cuts 0
87.45/87.70	c LP learned cuts 0
87.45/87.70	c LP deleted cuts 0
87.45/87.70	c LP encountered Gomory constraints 0
87.45/87.70	c LP encountered Farkas constraints 0
87.45/87.70	c LP encountered learned Farkas constraints 0
87.45/87.70	c CG auxiliary variables introduced 60
87.45/87.70	c CG solutions found 1
87.45/87.70	c CG cores constructed 0
87.45/87.70	c CG core cardinality constraints returned 0
87.45/87.70	c CG unit cores 0
87.45/87.70	c CG single cores 0
87.45/87.70	c CG blocks removed during cardinality reduction 0
87.45/87.70	c CG first core best 0
87.45/87.70	c CG decision core best 0
87.45/87.70	c CG core reduction tie 0
87.45/87.70	c CG core degree average 0.00
87.45/87.70	c CG core slack average 0.00
87.45/87.70	c CG core upper bound improvements 0
87.45/87.70	c STR number of successful calls 0
87.45/87.70	c STR number of unsuccessful calls 0
87.45/87.70	c STR number of inconclusive calls 0
87.45/87.70	c STR number of successful attempts 0
87.45/87.70	c STR number of unsuccessful attempts 0
87.45/87.70	c STR number of inconclusive attempts 0
87.45/87.70	c STR average degree increase per successful call inf
87.45/87.70	c STR average degree increase per successful attempt inf
87.45/87.70	c STR total number of conflicts for successful attempts 0
87.45/87.70	c STR total number of conflicts for unsuccessful attempts 0
87.45/87.70	c STR total number of conflicts for inconclusive attempts 0
87.45/87.70	c STR average number of conflicts per successful attempt inf
87.45/87.70	c STR average number of conflicts per unsuccessful attempt inf
87.45/87.70	c STR average number of conflicts per inconclusive attempt inf
87.45/87.70	c AVG.sumWPerc -nan 
87.45/87.70	c bigint constraints 0 
87.45/87.70	o 1
87.45/87.70	s OPTIMUM FOUND
87.45/87.70	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

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: 63708 MiB (60341 MiB free)
  memory of node 1: 64465 MiB (60518 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484630-1751292252/watcher-4484630-1751292252 -o /tmp/evaluation-result-4484630-1751292252/solver-4484630-1751292252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760 run-opt.sh HOME/instance-4484630-1751292252.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39229, runsolver pid=39226
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 1.74 2.03 2.91 5/271 39231
/proc/meminfo: memFree=123722708/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=64876 memory=15948 CPUtime=0.08 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 2113 0 0 0 8 0 0 0 20 0 1 0 44899772 66433024 3987 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 16219 3987 2368 1147 0 3646 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69068 KiB
Current children cumulated memory: 19020 KiB

[startup+0.205491 s]*
/proc/loadavg: 1.74 2.03 2.91 5/271 39231
/proc/meminfo: memFree=123696688/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=68388 memory=21764 CPUtime=0.19 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 3036 0 0 0 17 2 0 0 20 0 1 0 44899772 70029312 5441 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 17097 5441 2368 1147 0 4524 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72580 KiB
Current children cumulated memory: 24836 KiB

[startup+0.305522 s]*
/proc/loadavg: 1.74 2.03 2.91 5/271 39231
/proc/meminfo: memFree=123668464/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=74660 memory=28292 CPUtime=0.29 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 4676 0 0 0 26 3 0 0 20 0 1 0 44899772 76451840 7073 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 18665 7073 2368 1147 0 6092 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78852 KiB
Current children cumulated memory: 31364 KiB

[startup+0.700167 s]
/proc/loadavg: 1.74 2.03 2.91 5/271 39231
/proc/meminfo: memFree=123651264/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=94732 memory=45632 CPUtime=0.68 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 7992 0 0 0 63 5 0 0 20 0 1 0 44899772 97005568 11408 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 23683 11408 2368 1147 0 11110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98924 KiB
Current children cumulated memory: 48704 KiB

[startup+1.50016 s]
/proc/loadavg: 1.74 2.03 2.91 5/271 39231
/proc/meminfo: memFree=123604892/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=114972 memory=56640 CPUtime=1.47 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 10752 0 0 0 140 7 0 0 20 0 1 0 44899772 117731328 14160 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 28743 14160 2368 1147 0 16170 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119164 KiB
Current children cumulated memory: 59712 KiB

[startup+3.10527 s]
/proc/loadavg: 1.92 2.06 2.91 5/271 39231
/proc/meminfo: memFree=123585000/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=122592 memory=66452 CPUtime=3.08 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 12670 0 0 0 298 10 0 0 20 0 1 0 44899772 125534208 16613 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 30648 16613 2368 1147 0 18075 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 69524 KiB

[startup+6.30014 s]
/proc/loadavg: 1.92 2.06 2.91 5/271 39231
/proc/meminfo: memFree=123484300/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=136032 memory=81804 CPUtime=6.27 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 15516 0 0 0 612 15 0 0 20 0 1 0 44899772 139296768 20451 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 34008 20451 2368 1147 0 21435 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 140224 KiB
Current children cumulated memory: 84876 KiB

[startup+12.7001 s]
/proc/loadavg: 2.09 2.09 2.92 5/271 39231
/proc/meminfo: memFree=123371440/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=153444 memory=96140 CPUtime=12.64 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 19077 0 0 0 1240 24 0 0 20 0 1 0 44899772 157126656 24035 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 38361 24035 2368 1147 0 25788 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 99212 KiB

[startup+25.5002 s]
/proc/loadavg: 2.51 2.19 2.94 5/271 39231
/proc/meminfo: memFree=123327368/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=155492 memory=100364 CPUtime=25.41 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 20147 0 0 0 2502 39 0 0 20 0 1 0 44899772 159223808 25091 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 38873 25091 2368 1147 0 26300 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 159684 KiB
Current children cumulated memory: 103436 KiB

[startup+51.1053 s]
/proc/loadavg: 3.09 2.35 2.97 5/271 39232
/proc/meminfo: memFree=122643912/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=170596 memory=111116 CPUtime=50.95 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22833 0 0 0 5033 62 0 0 20 0 1 0 44899772 174690304 27779 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42649 27779 2368 1147 0 30076 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 174788 KiB
Current children cumulated memory: 114188 KiB

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

# cumulated CPU time of all completed processes:  user=86.6396 s, system=0.829819 s

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

[startup+51.2002 s]
/proc/loadavg: 3.09 2.35 2.97 5/271 39232
/proc/meminfo: memFree=122643912/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=170596 memory=111116 CPUtime=51.04 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22833 0 0 0 5042 62 0 0 20 0 1 0 44899772 174690304 27779 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42649 27779 2368 1147 0 30076 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 174788 KiB
Current children cumulated memory: 114188 KiB

[startup+64.0001 s]*
/proc/loadavg: 3.29 2.43 2.99 5/271 39233
/proc/meminfo: memFree=122554592/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=170852 memory=111244 CPUtime=63.82 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22871 0 0 0 6311 71 0 0 20 0 1 0 44899772 174952448 27811 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42713 27811 2368 1147 0 30140 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 175044 KiB
Current children cumulated memory: 114316 KiB

[startup+76.8001 s]
/proc/loadavg: 3.40 2.49 3.00 5/271 39233
/proc/meminfo: memFree=122547160/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=76.58 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22966 0 0 0 7583 75 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+83.2002 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122469772/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=82.96 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22970 0 0 0 8217 79 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+84.8001 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122458212/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=84.55 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22970 0 0 0 8376 79 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 84.55 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+86.4001 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122425952/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=86.16 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22970 0 0 0 8535 81 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 86.16 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+87.2002 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122361312/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=86.95 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22971 0 0 0 8614 81 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 86.95 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+87.6002 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122361312/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111628 CPUtime=87.34 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22975 0 0 0 8653 81 0 0 20 0 1 0 44899772 175476736 27907 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27907 2368 1147 0 30268 0
Current children cumulated CPU time: 87.34 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114700 KiB

[startup+87.7001 s]
/proc/loadavg: 3.50 2.54 3.01 5/271 39233
/proc/meminfo: memFree=122361312/131249992 swapFree=33010160/33010684
[pid=39229] ppid=39226 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/39229/stat : 39229 (run-opt.sh) S 39226 39229 39107 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 44899771 4292608 768 18446744073709551615 94731048722432 94731049616965 140725526152752 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94731049856016 94731049903760 94731059548160 140725526157677 140725526157800 140725526157800 140725526163402 0
/proc/39229/statm: 1048 768 704 219 0 110 0
[pid=39231] ppid=39229 vsize=171364 memory=111756 CPUtime=87.45 cores=0,2
/proc/39231/stat : 39231 (roundingsat) R 39229 39229 39107 0 -1 4194304 22981 0 0 0 8663 82 0 0 20 0 1 0 44899772 175476736 27939 18446744073709551615 4227072 8923433 140722073386640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20672512 140722073393570 140722073393704 140722073393704 140722073399274 0
/proc/39231/statm: 42841 27939 2400 1147 0 30268 0
Current children cumulated CPU time: 87.45 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 114828 KiB

Child status: 0

Real time (s): 87.7096
CPU time (s): 87.4695
CPU user time (s): 86.6396
CPU system time (s): 0.829819
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 175556
Max. memory (cumulated for all children) (KiB): 114828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.6396
system time used= 0.829819
maximum resident set size= 111756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 211


# summary of solver processes directly reported to runsolver:
#   pid: 39229
#   total CPU time (s): 87.4695
#   total CPU user time (s): 86.6396
#   total CPU system time (s): 0.829819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173467 second user time and 0.388901 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-30 16:04:12
IDJOB=4484630
IDBENCH=146663
IDSOLVER=3350
FILE ID=nodeC035/4484630-1751292252
RUNJOBID= nodeC035-1751292233-39122
SLURM_JOB_ID= 9594262
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484630-1751292252/watcher-4484630-1751292252 -o /tmp/evaluation-result-4484630-1751292252/solver-4484630-1751292252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760  run-opt.sh HOME/instance-4484630-1751292252.opb

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

MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=869255825

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        123812736 kB
MemAvailable:   128455312 kB
Buffers:            1840 kB
Cached:          5396080 kB
SwapCached:            8 kB
Active:          1622172 kB
Inactive:        5116624 kB
Active(anon):    1347300 kB
Inactive(anon):    11624 kB
Active(file):     274872 kB
Inactive(file):  5105000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7220 kB
Writeback:             4 kB
AnonPages:       1343896 kB
Mapped:           116184 kB
Shmem:             18048 kB
KReclaimable:     203888 kB
Slab:             292432 kB
SReclaimable:     203888 kB
SUnreclaim:        88544 kB
KernelStack:        4416 kB
PageTables:         6064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1985728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC035 at 2025-06-30 16:05:40