Trace number 4485505

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3601.54 3632.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
MD5SUM544c048089694b51508f2abafcc5af71
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34229441638400
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42650
Total number of constraints1202
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1202
Minimum length of a constraint38
Maximum length of a constraint42650
Number of terms in the objective function 42650
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 4779625155602030321168
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 4779727555602030321168
Number of bits of the biggest sum of numbers73
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.07/0.19	c #variables 42650 #constraints 2399
0.07/0.19	c objective is ce96 
0.17/0.24	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.24	c initial counting CF 32, 64, 128, Arb: 2398 , 0 , 2 , 0
0.17/0.24	c GLOBAL bounds - >= 0 @ 0.181061
0.38/0.41	c GLOBAL bounds - >= 0 @ 0.304479
0.48/0.54	c GLOBAL bounds - >= 0 @ 0.418173
0.57/0.63	c GLOBAL bounds - >= 0 @ 0.501372
28.96/29.12	c #Conflicts:       1000 | #Constraints:       3682
28.96/29.12	c GLOBAL bounds - >= 0 @ 28.112
32.04/32.20	c GLOBAL bounds - >= 0 @ 31.1286
32.15/32.36	c GLOBAL bounds - >= 0 @ 31.2801
33.65/33.81	c GLOBAL bounds - >= 0 @ 32.6801
174.03/174.64	c #Conflicts:       2000 | #Constraints:       5062
174.03/174.64	c INPROCESSING
174.03/174.64	c GARBAGE COLLECT
174.03/174.64	c #Conflicts:       3000 | #Constraints:       5081
174.03/174.64	c #Conflicts:       4000 | #Constraints:       6081
174.03/174.64	c INPROCESSING
174.03/174.64	c GARBAGE COLLECT
174.03/174.64	c #Conflicts:       5000 | #Constraints:       5529
174.03/174.64	c #Conflicts:       6000 | #Constraints:       6529
174.03/174.64	c INPROCESSING
174.03/174.64	c GARBAGE COLLECT
174.03/174.64	c #Conflicts:       7000 | #Constraints:       5578
174.03/174.64	c GLOBAL bounds - >= 0 @ 170.054
220.38/221.13	c #Conflicts:       8000 | #Constraints:       6673
220.38/221.13	c #Conflicts:       9000 | #Constraints:       7673
220.38/221.13	c INPROCESSING
220.38/221.13	c GARBAGE COLLECT
220.38/221.13	c GLOBAL bounds - >= 0 @ 215.492
300.04/301.07	c #Conflicts:      10000 | #Constraints:       6546
300.04/301.07	c #Conflicts:      11000 | #Constraints:       7546
300.04/301.07	c #Conflicts:      12000 | #Constraints:       8546
300.04/301.07	c INPROCESSING
300.04/301.07	c GARBAGE COLLECT
300.04/301.07	c #Conflicts:      13000 | #Constraints:       7025
300.04/301.07	c GLOBAL bounds - >= 0 @ 293.609
300.83/301.82	c GLOBAL bounds - >= 0 @ 294.339
467.26/468.70	c #Conflicts:      14000 | #Constraints:       8215
467.26/468.70	c #Conflicts:      15000 | #Constraints:       9215
467.26/468.70	c INPROCESSING
467.26/468.70	c GARBAGE COLLECT
467.26/468.70	c #Conflicts:      16000 | #Constraints:       7465
467.26/468.70	c #Conflicts:      17000 | #Constraints:       8465
467.26/468.70	c #Conflicts:      18000 | #Constraints:       9465
467.26/468.70	c INPROCESSING
467.26/468.70	c GARBAGE COLLECT
467.26/468.70	c #Conflicts:      19000 | #Constraints:       7495
467.26/468.70	c #Conflicts:      20000 | #Constraints:       8495
467.26/468.70	c #Conflicts:      21000 | #Constraints:       9495
467.26/468.70	c INPROCESSING
467.26/468.70	c GARBAGE COLLECT
467.26/468.70	c #Conflicts:      22000 | #Constraints:       7381
467.26/468.70	c #Conflicts:      23000 | #Constraints:       8381
467.26/468.70	c #Conflicts:      24000 | #Constraints:       9381
467.26/468.70	c GLOBAL bounds - >= 0 @ 457.204
490.40/491.92	c #Conflicts:      25000 | #Constraints:      10476
490.40/491.92	c INPROCESSING
490.40/491.92	c GARBAGE COLLECT
490.40/491.92	c GLOBAL bounds - >= 0 @ 479.872
604.81/606.64	c #Conflicts:      26000 | #Constraints:       8171
604.81/606.64	c #Conflicts:      27000 | #Constraints:       9171
604.81/606.64	c #Conflicts:      28000 | #Constraints:      10171
604.81/606.64	c #Conflicts:      29000 | #Constraints:      11171
604.81/606.64	c INPROCESSING
604.81/606.64	c GARBAGE COLLECT
604.81/606.64	c #Conflicts:      30000 | #Constraints:       8589
604.81/606.64	c #Conflicts:      31000 | #Constraints:       9589
604.81/606.64	c #Conflicts:      32000 | #Constraints:      10589
604.81/606.64	c #Conflicts:      33000 | #Constraints:      11589
604.81/606.64	c INPROCESSING
604.81/606.64	c GARBAGE COLLECT
604.81/606.64	c GLOBAL bounds - >= 0 @ 592.021
970.50/973.31	c #Conflicts:      34000 | #Constraints:       8907
970.50/973.31	c #Conflicts:      35000 | #Constraints:       9907
970.50/973.31	c #Conflicts:      36000 | #Constraints:      10907
970.50/973.31	c #Conflicts:      37000 | #Constraints:      11907
970.50/973.31	c INPROCESSING
970.50/973.31	c GARBAGE COLLECT
970.50/973.31	c #Conflicts:      38000 | #Constraints:       8919
970.50/973.31	c #Conflicts:      39000 | #Constraints:       9919
970.50/973.31	c #Conflicts:      40000 | #Constraints:      10919
970.50/973.31	c #Conflicts:      41000 | #Constraints:      11919
970.50/973.31	c INPROCESSING
970.50/973.31	c GARBAGE COLLECT
970.50/973.31	c #Conflicts:      42000 | #Constraints:       8694
970.50/973.31	c #Conflicts:      43000 | #Constraints:       9694
970.50/973.31	c #Conflicts:      44000 | #Constraints:      10694
970.50/973.31	c #Conflicts:      45000 | #Constraints:      11694
970.50/973.31	c #Conflicts:      46000 | #Constraints:      12694
970.50/973.31	c INPROCESSING
970.50/973.31	c GARBAGE COLLECT
970.50/973.31	c #Conflicts:      47000 | #Constraints:       9372
970.50/973.31	c #Conflicts:      48000 | #Constraints:      10372
970.50/973.31	c #Conflicts:      49000 | #Constraints:      11372
970.50/973.31	c #Conflicts:      50000 | #Constraints:      12372
970.50/973.31	c #Conflicts:      51000 | #Constraints:      13372
970.50/973.31	c INPROCESSING
970.50/973.31	c GARBAGE COLLECT
970.50/973.31	c #Conflicts:      52000 | #Constraints:       9776
970.50/973.31	c #Conflicts:      53000 | #Constraints:      10776
970.50/973.31	c #Conflicts:      54000 | #Constraints:      11776
970.50/973.31	c #Conflicts:      55000 | #Constraints:      12776
970.50/973.31	c #Conflicts:      56000 | #Constraints:      13776
970.50/973.31	c INPROCESSING
970.50/973.31	c GARBAGE COLLECT
970.50/973.31	c #Conflicts:      57000 | #Constraints:      10029
970.50/973.31	c #Conflicts:      58000 | #Constraints:      11029
970.50/973.31	c #Conflicts:      59000 | #Constraints:      12029
970.50/973.31	c GLOBAL bounds - >= 0 @ 950.955
1534.93/1539.49	c #Conflicts:      60000 | #Constraints:      13124
1534.93/1539.49	c #Conflicts:      61000 | #Constraints:      14124
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      62000 | #Constraints:      10139
1534.93/1539.49	c #Conflicts:      63000 | #Constraints:      11139
1534.93/1539.49	c #Conflicts:      64000 | #Constraints:      12139
1534.93/1539.49	c #Conflicts:      65000 | #Constraints:      13139
1534.93/1539.49	c #Conflicts:      66000 | #Constraints:      14139
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      67000 | #Constraints:       9920
1534.93/1539.49	c #Conflicts:      68000 | #Constraints:      10920
1534.93/1539.49	c #Conflicts:      69000 | #Constraints:      11920
1534.93/1539.49	c #Conflicts:      70000 | #Constraints:      12920
1534.93/1539.49	c #Conflicts:      71000 | #Constraints:      13920
1534.93/1539.49	c #Conflicts:      72000 | #Constraints:      14920
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      73000 | #Constraints:      10519
1534.93/1539.49	c #Conflicts:      74000 | #Constraints:      11519
1534.93/1539.49	c #Conflicts:      75000 | #Constraints:      12519
1534.93/1539.49	c #Conflicts:      76000 | #Constraints:      13519
1534.93/1539.49	c #Conflicts:      77000 | #Constraints:      14519
1534.93/1539.49	c #Conflicts:      78000 | #Constraints:      15519
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      79000 | #Constraints:      10941
1534.93/1539.49	c #Conflicts:      80000 | #Constraints:      11941
1534.93/1539.49	c #Conflicts:      81000 | #Constraints:      12941
1534.93/1539.49	c #Conflicts:      82000 | #Constraints:      13941
1534.93/1539.49	c #Conflicts:      83000 | #Constraints:      14941
1534.93/1539.49	c #Conflicts:      84000 | #Constraints:      15941
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      85000 | #Constraints:      11141
1534.93/1539.49	c #Conflicts:      86000 | #Constraints:      12141
1534.93/1539.49	c #Conflicts:      87000 | #Constraints:      13141
1534.93/1539.49	c #Conflicts:      88000 | #Constraints:      14141
1534.93/1539.49	c #Conflicts:      89000 | #Constraints:      15141
1534.93/1539.49	c #Conflicts:      90000 | #Constraints:      16141
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      91000 | #Constraints:      11213
1534.93/1539.49	c #Conflicts:      92000 | #Constraints:      12213
1534.93/1539.49	c #Conflicts:      93000 | #Constraints:      13213
1534.93/1539.49	c #Conflicts:      94000 | #Constraints:      14213
1534.93/1539.49	c #Conflicts:      95000 | #Constraints:      15213
1534.93/1539.49	c #Conflicts:      96000 | #Constraints:      16213
1534.93/1539.49	c INPROCESSING
1534.93/1539.49	c GARBAGE COLLECT
1534.93/1539.49	c #Conflicts:      97000 | #Constraints:      11005
1534.93/1539.49	c GLOBAL bounds - >= 0 @ 1506.73
1559.84/1564.49	c #Conflicts:      98000 | #Constraints:      12100
1559.84/1564.49	c GLOBAL bounds - >= 0 @ 1531.22
2035.82/2041.81	c #Conflicts:      99000 | #Constraints:      13195
2035.82/2041.81	c #Conflicts:     100000 | #Constraints:      14195
2035.82/2041.81	c #Conflicts:     101000 | #Constraints:      15195
2035.82/2041.81	c #Conflicts:     102000 | #Constraints:      16195
2035.82/2041.81	c #Conflicts:     103000 | #Constraints:      17195
2035.82/2041.81	c INPROCESSING
2035.82/2041.81	c GARBAGE COLLECT
2035.82/2041.81	c #Conflicts:     104000 | #Constraints:      11821
2035.82/2041.81	c #Conflicts:     105000 | #Constraints:      12821
2035.82/2041.81	c #Conflicts:     106000 | #Constraints:      13821
2035.82/2041.81	c #Conflicts:     107000 | #Constraints:      14821
2035.82/2041.81	c #Conflicts:     108000 | #Constraints:      15821
2035.82/2041.81	c #Conflicts:     109000 | #Constraints:      16821
2035.82/2041.81	c #Conflicts:     110000 | #Constraints:      17821
2035.82/2041.81	c INPROCESSING
2035.82/2041.81	c GARBAGE COLLECT
2035.82/2041.81	c #Conflicts:     111000 | #Constraints:      12206
2035.82/2041.81	c #Conflicts:     112000 | #Constraints:      13206
2035.82/2041.81	c #Conflicts:     113000 | #Constraints:      14206
2035.82/2041.81	c #Conflicts:     114000 | #Constraints:      15206
2035.82/2041.81	c #Conflicts:     115000 | #Constraints:      16206
2035.82/2041.81	c #Conflicts:     116000 | #Constraints:      17206
2035.82/2041.81	c #Conflicts:     117000 | #Constraints:      18206
2035.82/2041.81	c INPROCESSING
2035.82/2041.81	c GARBAGE COLLECT
2035.82/2041.81	c #Conflicts:     118000 | #Constraints:      12367
2035.82/2041.81	c #Conflicts:     119000 | #Constraints:      13367
2035.82/2041.81	c #Conflicts:     120000 | #Constraints:      14367
2035.82/2041.81	c #Conflicts:     121000 | #Constraints:      15367
2035.82/2041.81	c #Conflicts:     122000 | #Constraints:      16367
2035.82/2041.81	c #Conflicts:     123000 | #Constraints:      17367
2035.82/2041.81	c #Conflicts:     124000 | #Constraints:      18367
2035.82/2041.81	c INPROCESSING
2035.82/2041.81	c GARBAGE COLLECT
2035.82/2041.81	c #Conflicts:     125000 | #Constraints:      12378
2035.82/2041.81	c #Conflicts:     126000 | #Constraints:      13378
2035.82/2041.81	c #Conflicts:     127000 | #Constraints:      14378
2035.82/2041.81	c GLOBAL bounds - >= 0 @ 1999.86
2281.67/2288.53	c #Conflicts:     128000 | #Constraints:      15473
2281.67/2288.53	c #Conflicts:     129000 | #Constraints:      16473
2281.67/2288.53	c #Conflicts:     130000 | #Constraints:      17473
2281.67/2288.53	c #Conflicts:     131000 | #Constraints:      18473
2281.67/2288.53	c INPROCESSING
2281.67/2288.53	c GARBAGE COLLECT
2281.67/2288.53	c #Conflicts:     132000 | #Constraints:      12255
2281.67/2288.53	c #Conflicts:     133000 | #Constraints:      13255
2281.67/2288.53	c #Conflicts:     134000 | #Constraints:      14255
2281.67/2288.53	c #Conflicts:     135000 | #Constraints:      15255
2281.67/2288.53	c #Conflicts:     136000 | #Constraints:      16255
2281.67/2288.53	c #Conflicts:     137000 | #Constraints:      17255
2281.67/2288.53	c #Conflicts:     138000 | #Constraints:      18255
2281.67/2288.53	c #Conflicts:     139000 | #Constraints:      19255
2281.67/2288.53	c INPROCESSING
2281.67/2288.53	c GARBAGE COLLECT
2281.67/2288.53	c #Conflicts:     140000 | #Constraints:      12847
2281.67/2288.53	c GLOBAL bounds - >= 0 @ 2241.82
2282.27/2289.14	c GLOBAL bounds - >= 0 @ 2242.4
2282.76/2289.64	c GLOBAL bounds - >= 0 @ 2242.9
3600.09/3611.15	c #Conflicts:     141000 | #Constraints:      14132
3600.09/3611.15	c #Conflicts:     142000 | #Constraints:      15132
3600.09/3611.15	c #Conflicts:     143000 | #Constraints:      16132
3600.09/3611.15	c #Conflicts:     144000 | #Constraints:      17132
3600.09/3611.15	c #Conflicts:     145000 | #Constraints:      18132
3600.09/3611.15	c #Conflicts:     146000 | #Constraints:      19132
3600.09/3611.15	c #Conflicts:     147000 | #Constraints:      20132
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     148000 | #Constraints:      13538
3600.09/3611.15	c #Conflicts:     149000 | #Constraints:      14538
3600.09/3611.15	c #Conflicts:     150000 | #Constraints:      15538
3600.09/3611.15	c #Conflicts:     151000 | #Constraints:      16538
3600.09/3611.15	c #Conflicts:     152000 | #Constraints:      17538
3600.09/3611.15	c #Conflicts:     153000 | #Constraints:      18538
3600.09/3611.15	c #Conflicts:     154000 | #Constraints:      19538
3600.09/3611.15	c #Conflicts:     155000 | #Constraints:      20538
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     156000 | #Constraints:      13773
3600.09/3611.15	c #Conflicts:     157000 | #Constraints:      14773
3600.09/3611.15	c #Conflicts:     158000 | #Constraints:      15773
3600.09/3611.15	c #Conflicts:     159000 | #Constraints:      16773
3600.09/3611.15	c #Conflicts:     160000 | #Constraints:      17773
3600.09/3611.15	c #Conflicts:     161000 | #Constraints:      18773
3600.09/3611.15	c #Conflicts:     162000 | #Constraints:      19773
3600.09/3611.15	c #Conflicts:     163000 | #Constraints:      20773
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     164000 | #Constraints:      13730
3600.09/3611.15	c #Conflicts:     165000 | #Constraints:      14730
3600.09/3611.15	c #Conflicts:     166000 | #Constraints:      15730
3600.09/3611.15	c #Conflicts:     167000 | #Constraints:      16730
3600.09/3611.15	c #Conflicts:     168000 | #Constraints:      17730
3600.09/3611.15	c #Conflicts:     169000 | #Constraints:      18730
3600.09/3611.15	c #Conflicts:     170000 | #Constraints:      19730
3600.09/3611.15	c #Conflicts:     171000 | #Constraints:      20730
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     172000 | #Constraints:      13554
3600.09/3611.15	c #Conflicts:     173000 | #Constraints:      14554
3600.09/3611.15	c #Conflicts:     174000 | #Constraints:      15554
3600.09/3611.15	c #Conflicts:     175000 | #Constraints:      16554
3600.09/3611.15	c #Conflicts:     176000 | #Constraints:      17554
3600.09/3611.15	c #Conflicts:     177000 | #Constraints:      18554
3600.09/3611.15	c #Conflicts:     178000 | #Constraints:      19554
3600.09/3611.15	c #Conflicts:     179000 | #Constraints:      20554
3600.09/3611.15	c #Conflicts:     180000 | #Constraints:      21554
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     181000 | #Constraints:      14186
3600.09/3611.15	c #Conflicts:     182000 | #Constraints:      15186
3600.09/3611.15	c #Conflicts:     183000 | #Constraints:      16186
3600.09/3611.15	c #Conflicts:     184000 | #Constraints:      17186
3600.09/3611.15	c #Conflicts:     185000 | #Constraints:      18186
3600.09/3611.15	c #Conflicts:     186000 | #Constraints:      19186
3600.09/3611.15	c #Conflicts:     187000 | #Constraints:      20186
3600.09/3611.15	c #Conflicts:     188000 | #Constraints:      21186
3600.09/3611.15	c #Conflicts:     189000 | #Constraints:      22186
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     190000 | #Constraints:      14631
3600.09/3611.15	c #Conflicts:     191000 | #Constraints:      15631
3600.09/3611.15	c #Conflicts:     192000 | #Constraints:      16631
3600.09/3611.15	c #Conflicts:     193000 | #Constraints:      17631
3600.09/3611.15	c #Conflicts:     194000 | #Constraints:      18631
3600.09/3611.15	c #Conflicts:     195000 | #Constraints:      19631
3600.09/3611.15	c #Conflicts:     196000 | #Constraints:      20631
3600.09/3611.15	c #Conflicts:     197000 | #Constraints:      21631
3600.09/3611.15	c #Conflicts:     198000 | #Constraints:      22631
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     199000 | #Constraints:      14775
3600.09/3611.15	c #Conflicts:     200000 | #Constraints:      15775
3600.09/3611.15	c #Conflicts:     201000 | #Constraints:      16775
3600.09/3611.15	c #Conflicts:     202000 | #Constraints:      17775
3600.09/3611.15	c #Conflicts:     203000 | #Constraints:      18775
3600.09/3611.15	c #Conflicts:     204000 | #Constraints:      19775
3600.09/3611.15	c #Conflicts:     205000 | #Constraints:      20775
3600.09/3611.15	c #Conflicts:     206000 | #Constraints:      21775
3600.09/3611.15	c #Conflicts:     207000 | #Constraints:      22775
3600.09/3611.15	c INPROCESSING
3600.09/3611.15	c GARBAGE COLLECT
3600.09/3611.15	c #Conflicts:     208000 | #Constraints:      14798
3600.09/3611.15	c #Conflicts:     209000 | #Constraints:      15798
3600.09/3611.15	c #Conflicts:     210000 | #Constraints:      16798
3600.09/3611.15	c #Conflicts:     211000 | #Constraints:      17798
3600.09/3611.15	c cpu time 3541.88 s
3600.09/3611.15	c deterministic time 17300 1.73e+04
3600.09/3611.15	c optimization time 3541.74 s
3600.09/3611.15	c total solve time 0 s
3600.09/3611.15	c core-guided solve time 0 s
3600.09/3611.15	c propagation time 0.001305 s
3600.09/3611.15	c conflict analysis time 0 s
3600.09/3611.15	c propagations 17251
3600.09/3611.15	c resolve steps 0
3600.09/3611.15	c decisions 0
3600.09/3611.15	c conflicts 0
3600.09/3611.15	c restarts 0
3600.09/3611.15	c inprocessing phases 0
3600.09/3611.15	c garbage collections 0 ,( -nan )
3600.09/3611.15	c input clauses 0 ,( 0.00 )
3600.09/3611.15	c input cardinalities 0 ,( 0.00 )
3600.09/3611.15	c input general constraints 2399 ,( 100.00 )
3600.09/3611.15	c input average constraint length 81.98
3600.09/3611.15	c input average constraint degree 1984165238399358976.00
3600.09/3611.15	c learned clauses 0 ,( 0.00 )
3600.09/3611.15	c learned cardinalities 0 ,( 0.00 )
3600.09/3611.15	c learned general constraints 0 ,( 0.00 )
3600.09/3611.15	c learned average constraint length 0.00
3600.09/3611.15	c learned average constraint degree 0.00
3600.09/3611.15	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.15	c counting CF 32, 64, 128, Arb: 2398 , 0 , 2 , 0
3600.09/3611.15	c watched   constraints 0 ,( 0.00 ) 
3600.09/3611.15	c counting  constraints 2399 ,( 100.00 ) 
3600.09/3611.15	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 2 ,( 0 , 2 )
3600.09/3611.15	c gcd simplifications 0
3600.09/3611.15	c detected cardinalities 0
3600.09/3611.15	c weakened non-implied lits 0
3600.09/3611.15	c weakened non-implying lits 0
3600.09/3611.15	c original variables 42650
3600.09/3611.15	c clausal propagations 0
3600.09/3611.15	c cardinality propagations 0
3600.09/3611.15	c watched propagations 0
3600.09/3611.15	c counting propagations 0
3600.09/3611.15	c watch lookups 30
3600.09/3611.15	c watch backjump lookups 0
3600.09/3611.15	c watch checks 0
3600.09/3611.15	c propagation checks 18
3600.09/3611.15	c constraint additions 0
3600.09/3611.15	c trail pops 0
3600.09/3611.15	c formula constraints 2399
3600.09/3611.15	c learned constraints 0
3600.09/3611.15	c bound constraints 0
3600.09/3611.15	c core-guided constraints 0
3600.09/3611.15	c encountered formula constraints 0
3600.09/3611.15	c encountered learned constraints 0
3600.09/3611.15	c encountered bound constraints 0
3600.09/3611.15	c encountered core-guided constraints 0
3600.09/3611.15	c LP total time 0 s
3600.09/3611.15	c LP solve time 0 s
3600.09/3611.15	c LP constraints added 0
3600.09/3611.15	c LP constraints removed 0
3600.09/3611.15	c LP pivots internal 0
3600.09/3611.15	c LP pivots root 0
3600.09/3611.15	c LP calls 0
3600.09/3611.15	c LP optimalities 0
3600.09/3611.15	c LP no pivot count 0
3600.09/3611.15	c LP infeasibilities 0
3600.09/3611.15	c LP valid Farkas constraints 0
3600.09/3611.15	c LP learned Farkas constraints 0
3600.09/3611.15	c LP basis resets 0
3600.09/3611.15	c LP cycling count 0
3600.09/3611.15	c LP singular count 0
3600.09/3611.15	c LP no primal count 0
3600.09/3611.15	c LP no farkas count 0
3600.09/3611.15	c LP other issue count 0
3600.09/3611.15	c LP Gomory cuts 0
3600.09/3611.15	c LP learned cuts 0
3600.09/3611.15	c LP deleted cuts 0
3600.09/3611.15	c LP encountered Gomory constraints 0
3600.09/3611.15	c LP encountered Farkas constraints 0
3600.09/3611.15	c LP encountered learned Farkas constraints 0
3600.09/3611.15	c CG auxiliary variables introduced 0
3600.09/3611.15	c CG solutions found 0
3600.09/3611.15	c CG cores constructed 0
3600.09/3611.15	c CG core cardinality constraints returned 0
3600.09/3611.15	c CG unit cores 0
3600.09/3611.15	c CG single cores 0
3600.09/3611.15	c CG blocks removed during cardinality reduction 0
3600.09/3611.15	c CG first core best 0
3600.09/3611.15	c CG decision core best 0
3600.09/3611.15	c CG core reduction tie 0
3600.09/3611.15	c CG core degree average 0.00
3600.09/3611.15	c CG core slack average 0.00
3600.09/3611.15	c CG core upper bound improvements 0
3600.09/3611.15	c STR number of successful calls 0
3600.09/3611.15	c STR number of unsuccessful calls 0
3600.09/3611.15	c STR number of inconclusive calls 0
3600.09/3611.15	c STR number of successful attempts 0
3600.09/3611.15	c STR number of unsuccessful attempts 0
3600.09/3611.15	c STR number of inconclusive attempts 0
3600.09/3611.15	c STR average degree increase per successful call inf
3600.09/3611.15	c STR average degree increase per successful attempt inf
3600.09/3611.15	c STR total number of conflicts for successful attempts 0
3600.09/3611.15	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.15	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.15	c STR average number of conflicts per successful attempt inf
3600.09/3611.15	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.15	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.15	c AVG.sumWPerc 94.62 
3600.09/3611.15	c bigint constraints 2 
3600.09/3611.15	s UNKNOWN
3600.09/3611.15	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (17775 MiB free)
  memory of node 1: 64465 MiB (122 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100063 s]*
/proc/loadavg: 4.18 4.13 4.12 5/274 41437
/proc/meminfo: memFree=18314776/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=68832 memory=24208 CPUtime=0.07 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 5460 0 0 0 6 1 0 0 20 0 1 0 46829711 70483968 6052 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 17208 6052 1984 1147 0 4635 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 73024 KiB
Current children cumulated memory: 27280 KiB

[startup+0.205782 s]*
/proc/loadavg: 4.18 4.13 4.12 4/273 41437
/proc/meminfo: memFree=18278172/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=102800 memory=54180 CPUtime=0.17 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 12441 0 0 0 15 2 0 0 20 0 1 0 46829711 105267200 13545 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 25700 13545 2336 1147 0 13127 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 106992 KiB
Current children cumulated memory: 57252 KiB

[startup+0.305966 s]*
/proc/loadavg: 4.18 4.13 4.12 8/273 41437
/proc/meminfo: memFree=18263800/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=110820 memory=65508 CPUtime=0.27 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 14733 0 0 0 21 6 0 0 20 0 1 0 46829711 113479680 16377 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 27705 16377 2368 1147 0 15132 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 115012 KiB
Current children cumulated memory: 68580 KiB

[startup+0.700254 s]
/proc/loadavg: 4.18 4.13 4.12 5/273 41437
/proc/meminfo: memFree=18228436/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=131960 memory=79624 CPUtime=0.67 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 17734 0 0 0 56 11 0 0 20 0 1 0 46829711 135127040 19906 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 32990 19906 2368 1147 0 20417 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 136152 KiB
Current children cumulated memory: 82696 KiB

[startup+1.50024 s]
/proc/loadavg: 4.18 4.13 4.12 5/273 41437
/proc/meminfo: memFree=18171240/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=136152 memory=83848 CPUtime=1.46 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 18813 0 0 0 135 11 0 0 20 0 1 0 46829711 139419648 20962 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 34038 20962 2368 1147 0 21465 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 140344 KiB
Current children cumulated memory: 86920 KiB

[startup+3.10683 s]
/proc/loadavg: 4.16 4.12 4.12 4/271 41437
/proc/meminfo: memFree=25414776/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=149852 memory=98428 CPUtime=3.06 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 21435 0 0 0 292 14 0 0 20 0 1 0 46829711 153448448 24607 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 37463 24607 2368 1147 0 24890 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 154044 KiB
Current children cumulated memory: 101500 KiB

[startup+6.30015 s]
/proc/loadavg: 4.16 4.12 4.12 5/266 41464
/proc/meminfo: memFree=47248704/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=178692 memory=120956 CPUtime=6.24 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 26566 0 0 0 604 20 0 0 20 0 1 0 46829711 182980608 30239 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 44673 30239 2368 1147 0 32100 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 182884 KiB
Current children cumulated memory: 124028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.11 4/271 41530
/proc/meminfo: memFree=68204252/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=197556 memory=145180 CPUtime=12.61 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 31603 0 0 0 1221 40 0 0 20 0 1 0 46829711 202297344 36295 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 49389 36295 2368 1147 0 36816 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 201748 KiB
Current children cumulated memory: 148252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.11 5/273 41576
/proc/meminfo: memFree=127212764/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=273960 memory=202204 CPUtime=25.37 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 42786 0 0 0 2461 76 0 0 20 0 1 0 46829711 280535040 50551 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 68490 50551 2368 1147 0 55917 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 278152 KiB
Current children cumulated memory: 205276 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.11 5/273 41576
/proc/meminfo: memFree=124589020/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=347340 memory=267072 CPUtime=50.9 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 54651 0 0 0 4955 135 0 0 20 0 1 0 46829711 355676160 66768 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 86835 66768 2368 1147 0 74262 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 351532 KiB
Current children cumulated memory: 270144 KiB

[startup+102.3 s]
/proc/loadavg: 4.41 4.20 4.14 5/272 41578
/proc/meminfo: memFree=120638608/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=525712 memory=425152 CPUtime=101.96 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 83723 0 0 0 9940 256 0 0 20 0 1 0 46829711 538329088 106288 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 131428 106288 2368 1147 0 118855 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 529904 KiB
Current children cumulated memory: 428224 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 4.22 4.15 5/272 41581
/proc/meminfo: memFree=117151952/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=600120 memory=532380 CPUtime=161.79 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 103818 0 0 0 15801 378 0 0 20 0 1 0 46829711 614522880 133095 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 150030 133095 2368 1147 0 137457 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 604312 KiB
Current children cumulated memory: 535452 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.20 4.15 5/272 41583
/proc/meminfo: memFree=113693416/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=684612 memory=585372 CPUtime=221.58 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 116689 0 0 0 21662 496 0 0 20 0 1 0 46829711 701042688 146343 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 171153 146343 2368 1147 0 158580 0

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

Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 1341752 KiB
Current children cumulated memory: 1160800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/274 41766
/proc/meminfo: memFree=1040356/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=1338668 memory=1166280 CPUtime=3391.95 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 261397 0 0 0 333625 5570 0 0 20 0 1 0 46829711 1370796032 291570 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 334667 291570 2368 1147 0 322094 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 1342860 KiB
Current children cumulated memory: 1169352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/274 41768
/proc/meminfo: memFree=862444/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=1338668 memory=1166280 CPUtime=3451.76 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 261521 0 0 0 339532 5644 0 0 20 0 1 0 46829711 1370796032 291570 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 334667 291570 2368 1147 0 322094 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 1342860 KiB
Current children cumulated memory: 1169352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/275 41778
/proc/meminfo: memFree=889236/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=1342300 memory=1173372 CPUtime=3511.57 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 263596 0 0 0 345450 5707 0 0 20 0 1 0 46829711 1374515200 293343 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 335575 293343 2368 1147 0 323002 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 1346492 KiB
Current children cumulated memory: 1176444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/275 41780
/proc/meminfo: memFree=974928/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=1347036 memory=1189468 CPUtime=3571.38 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 266276 0 0 0 351345 5793 0 0 20 0 1 0 46829711 1379364864 297367 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 336759 297367 2368 1147 0 324186 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 1351228 KiB
Current children cumulated memory: 1192540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.22 4.14 4.12 5/275 41780
/proc/meminfo: memFree=822964/131249996 swapFree=33010416/33010684
[pid=41435] ppid=41432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41435/stat : 41435 (run-opt-log.sh) S 41432 41435 40729 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 46829710 4292608 768 18446744073709551615 94087623196672 94087624091205 140734190040864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94087624330256 94087624378000 94087652589568 140734190045473 140734190045668 140734190045668 140734190051270 0
/proc/41435/statm: 1048 768 704 219 0 110 0
[pid=41437] ppid=41435 vsize=1416912 memory=1256028 CPUtime=3600.09 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41435 41435 40729 0 -1 4194304 283142 0 0 0 354186 5823 0 0 20 0 1 0 46829711 1450917888 314007 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314007 2368 1147 0 341655 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1421104 KiB
Current children cumulated memory: 1259100 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

[startup+0 s]*
/proc/loadavg: 4.20 4.14 4.12 4/274 41780
/proc/meminfo: memFree=941360/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3601.13 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5925 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 256 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 9
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
??? kill 41437 sig 9
??? end of watcher thread

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

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

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

[startup+3611.2 s]*
/proc/loadavg: 4.22 4.14 4.12 5/274 41780
/proc/meminfo: memFree=810492/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3600.17 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5829 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
Current cumulated CPU time of completed processes: 0.002174 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1416912 KiB
Current children cumulated memory: 1256412 KiB

[startup+3612 s]*
/proc/loadavg: 4.22 4.14 4.12 5/274 41780
/proc/meminfo: memFree=966172/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3600.96 cores=4,6
/proc/41437/stat : 41437 (roundingsat) R 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5908 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
Current cumulated CPU time of completed processes: 0.002174 s
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 1416912 KiB
Current children cumulated memory: 1256412 KiB

[startup+3612.8 s]
/proc/loadavg: 4.22 4.14 4.12 5/274 41780
/proc/meminfo: memFree=966172/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3601.12 cores=4,6
/proc/41437/stat : 41437 (roundingsat) D 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5924 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
Current cumulated CPU time of completed processes: 0.002174 s
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 1416912 KiB
Current children cumulated memory: 1256412 KiB

[startup+3613 s]*
/proc/loadavg: 4.20 4.14 4.12 4/274 41780
/proc/meminfo: memFree=939648/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3601.12 cores=4,6
/proc/41437/stat : 41437 (roundingsat) D 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5924 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
Current cumulated CPU time of completed processes: 0.002174 s
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 1416912 KiB
Current children cumulated memory: 1256412 KiB

[startup+3613.11 s]
/proc/loadavg: 4.20 4.14 4.12 4/274 41780
/proc/meminfo: memFree=939648/131249996 swapFree=33010416/33010684
[pid=41437] ppid=41432 vsize=1416912 memory=1256412 CPUtime=3601.13 cores=4,6
/proc/41437/stat : 41437 (roundingsat) D 41432 41435 40729 0 -1 4194304 283148 0 1 0 354188 5925 0 0 20 0 1 0 46829711 1450917888 314103 18446744073709551615 4227072 8923433 140720741539040 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 13463552 140720741542226 140720741542440 140720741542440 140720741548010 0
/proc/41437/statm: 354228 314103 2464 1147 0 341655 0
Current cumulated CPU time of completed processes: 0.002174 s
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 1416912 KiB
Current children cumulated memory: 1256412 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3632.83
CPU time (s): 3601.54
CPU user time (s): 3541.96
CPU system time (s): 59.5757
CPU usage (%): 99.1385
Max. virtual memory (cumulated for all children) (KiB): 1421104
Max. memory (cumulated for all children) (KiB): 1259100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.96
system time used= 59.5757
maximum resident set size= 1256412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283358
page faults= 1
swaps= 0
block input operations= 4168
block output operations= 122365928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339405
involuntary context switches= 8885


# summary of solver processes directly reported to runsolver:
#   pid: 41435,41437
#   total CPU time (s): 3601.54
#   total CPU user time (s): 3541.96
#   total CPU system time (s): 59.5757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54035 second user time and 16.9862 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 21:25:22
IDJOB=4485505
IDBENCH=146799
IDSOLVER=3351
FILE ID=nodeC015/4485505-1751311522
RUNJOBID= nodeC015-1751304294-40740
SLURM_JOB_ID= 9594299
Free space on /tmp= 432984 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485505-1751311522/watcher-4485505-1751311522 -o /tmp/evaluation-result-4485505-1751311522/solver-4485505-1751311522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40740 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485505-1751311522.opb PROOFDIR/proof-4485505-1751311522

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

MD5SUM BENCH= 544c048089694b51508f2abafcc5af71
RANDOM SEED=1718330732

nodeC015 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		: 3600.092
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	: 7000.14
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		: 3600.080
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        18327880 kB
MemAvailable:   112603924 kB
Buffers:            2128 kB
Cached:         94896120 kB
SwapCached:           24 kB
Active:         17015860 kB
Inactive:       94582288 kB
Active(anon):   16697888 kB
Inactive(anon):    20084 kB
Active(file):     317972 kB
Inactive(file): 94562204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:          10309668 kB
Writeback:             0 kB
AnonPages:      16701024 kB
Mapped:           117236 kB
Shmem:             18052 kB
KReclaimable:     456668 kB
Slab:             870944 kB
SReclaimable:     456668 kB
SUnreclaim:       414276 kB
KernelStack:        4416 kB
PageTables:        40568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   21029804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 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:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC015 at 2025-06-30 22:25:55