Trace number 4484722

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 63f22ad? (TO) 3600.09 3611.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM71e47456366b2ddac308424c74922847
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56
Best CPU time to get the best result obtained on this benchmark3587
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
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.29/0.40	c #variables 1400 #constraints 110038
0.29/0.40	c objective is ce32 
0.57/0.62	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.57/0.62	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.57/0.62	c GLOBAL bounds - >= -1400 @ 0.408945
0.57/0.62	c GLOBAL bounds - >= -1400 @ 0.409577
0.57/0.62	c GLOBAL bounds - >= -1400 @ 0.409588
0.57/0.62	c GLOBAL bounds - >= -1400 @ 0.410151
0.57/0.64	c GLOBAL bounds - >= -1400 @ 0.425196
0.57/0.65	c GLOBAL bounds - >= -1400 @ 0.434719
0.57/0.65	c GLOBAL bounds - >= -1400 @ 0.435535
0.57/0.65	c GLOBAL bounds - >= -1400 @ 0.435535
0.57/0.65	c GLOBAL bounds - >= -1400 @ 0.435535
0.57/0.65	c GLOBAL bounds - >= -1400 @ 0.435535
0.57/0.66	c GLOBAL bounds - >= -1400 @ 0.43602
0.57/0.66	c GLOBAL bounds - >= -1400 @ 0.436527
0.57/0.66	c GLOBAL bounds - >= -1400 @ 0.436671
0.57/0.66	c GLOBAL bounds - >= -1400 @ 0.437516
0.57/0.66	c GLOBAL bounds - >= -1400 @ 0.437874
0.57/0.69	c GLOBAL bounds - >= -1400 @ 0.465328
0.57/0.69	c GLOBAL bounds - >= -1400 @ 0.466172
0.57/0.69	c GLOBAL bounds - >= -1400 @ 0.469309
0.67/0.70	c GLOBAL bounds - >= -1400 @ 0.47403
0.67/0.70	c GLOBAL bounds - >= -1400 @ 0.474844
0.67/0.71	c GLOBAL bounds - >= -1400 @ 0.486754
0.67/0.71	c GLOBAL bounds - >= -1400 @ 0.489651
0.67/0.72	c GLOBAL bounds - >= -1400 @ 0.493265
0.67/0.73	c GLOBAL bounds - >= -1400 @ 0.506347
0.67/0.73	c GLOBAL bounds - >= -1400 @ 0.506773
0.67/0.73	c GLOBAL bounds - >= -1400 @ 0.507438
0.67/0.73	c GLOBAL bounds - >= -1400 @ 0.509227
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.510296
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.511301
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.511998
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.515712
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.516548
0.67/0.74	c GLOBAL bounds - >= -1400 @ 0.517937
0.67/0.75	c GLOBAL bounds - >= -1400 @ 0.52004
0.67/0.75	c GLOBAL bounds - >= -1400 @ 0.526111
0.67/0.75	c GLOBAL bounds - >= -1400 @ 0.526949
0.67/0.75	c GLOBAL bounds - >= -1400 @ 0.527498
0.67/0.75	c GLOBAL bounds - >= -1400 @ 0.528382
0.67/0.76	c GLOBAL bounds - >= -1400 @ 0.52905
0.67/0.76	c GLOBAL bounds - >= -1400 @ 0.529914
0.67/0.76	c GLOBAL bounds - >= -1400 @ 0.530534
0.67/0.76	c GLOBAL bounds - >= -1400 @ 0.53267
0.67/0.76	c GLOBAL bounds - >= -1400 @ 0.533697
0.67/0.79	c GLOBAL bounds - >= -1400 @ 0.563092
0.67/0.79	c GLOBAL bounds - >= -1400 @ 0.56617
1.37/1.41	c #Conflicts:       1000 | #Constraints:     111124
1.37/1.41	c GLOBAL bounds - >= -1400 @ 1.17918
222.78/223.49	c #Conflicts:       2000 | #Constraints:     112126
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:       3000 | #Constraints:     112132
222.78/223.49	c #Conflicts:       4000 | #Constraints:     113132
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:       5000 | #Constraints:     112538
222.78/223.49	c #Conflicts:       6000 | #Constraints:     113538
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:       7000 | #Constraints:     112544
222.78/223.49	c #Conflicts:       8000 | #Constraints:     113544
222.78/223.49	c #Conflicts:       9000 | #Constraints:     114544
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      10000 | #Constraints:     113243
222.78/223.49	c #Conflicts:      11000 | #Constraints:     114243
222.78/223.49	c #Conflicts:      12000 | #Constraints:     115243
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      13000 | #Constraints:     113691
222.78/223.49	c #Conflicts:      14000 | #Constraints:     114691
222.78/223.49	c #Conflicts:      15000 | #Constraints:     115691
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      16000 | #Constraints:     113919
222.78/223.49	c #Conflicts:      17000 | #Constraints:     114919
222.78/223.49	c #Conflicts:      18000 | #Constraints:     115919
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      19000 | #Constraints:     113932
222.78/223.49	c #Conflicts:      20000 | #Constraints:     114932
222.78/223.49	c #Conflicts:      21000 | #Constraints:     115932
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      22000 | #Constraints:     113738
222.78/223.49	c #Conflicts:      23000 | #Constraints:     114738
222.78/223.49	c #Conflicts:      24000 | #Constraints:     115738
222.78/223.49	c #Conflicts:      25000 | #Constraints:     116738
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      26000 | #Constraints:     114343
222.78/223.49	c #Conflicts:      27000 | #Constraints:     115343
222.78/223.49	c #Conflicts:      28000 | #Constraints:     116343
222.78/223.49	c #Conflicts:      29000 | #Constraints:     117343
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      30000 | #Constraints:     114746
222.78/223.49	c #Conflicts:      31000 | #Constraints:     115746
222.78/223.49	c #Conflicts:      32000 | #Constraints:     116746
222.78/223.49	c #Conflicts:      33000 | #Constraints:     117746
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      34000 | #Constraints:     114944
222.78/223.49	c #Conflicts:      35000 | #Constraints:     115944
222.78/223.49	c #Conflicts:      36000 | #Constraints:     116944
222.78/223.49	c #Conflicts:      37000 | #Constraints:     117944
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      38000 | #Constraints:     114942
222.78/223.49	c #Conflicts:      39000 | #Constraints:     115942
222.78/223.49	c #Conflicts:      40000 | #Constraints:     116942
222.78/223.49	c #Conflicts:      41000 | #Constraints:     117942
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      42000 | #Constraints:     114743
222.78/223.49	c #Conflicts:      43000 | #Constraints:     115743
222.78/223.49	c #Conflicts:      44000 | #Constraints:     116743
222.78/223.49	c #Conflicts:      45000 | #Constraints:     117743
222.78/223.49	c #Conflicts:      46000 | #Constraints:     118743
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      47000 | #Constraints:     115341
222.78/223.49	c #Conflicts:      48000 | #Constraints:     116341
222.78/223.49	c #Conflicts:      49000 | #Constraints:     117341
222.78/223.49	c #Conflicts:      50000 | #Constraints:     118341
222.78/223.49	c #Conflicts:      51000 | #Constraints:     119341
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      52000 | #Constraints:     115742
222.78/223.49	c #Conflicts:      53000 | #Constraints:     116742
222.78/223.49	c #Conflicts:      54000 | #Constraints:     117742
222.78/223.49	c #Conflicts:      55000 | #Constraints:     118742
222.78/223.49	c #Conflicts:      56000 | #Constraints:     119742
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      57000 | #Constraints:     115942
222.78/223.49	c #Conflicts:      58000 | #Constraints:     116942
222.78/223.49	c #Conflicts:      59000 | #Constraints:     117942
222.78/223.49	c #Conflicts:      60000 | #Constraints:     118942
222.78/223.49	c #Conflicts:      61000 | #Constraints:     119942
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      62000 | #Constraints:     115943
222.78/223.49	c #Conflicts:      63000 | #Constraints:     116943
222.78/223.49	c #Conflicts:      64000 | #Constraints:     117943
222.78/223.49	c #Conflicts:      65000 | #Constraints:     118943
222.78/223.49	c #Conflicts:      66000 | #Constraints:     119943
222.78/223.49	c INPROCESSING
222.78/223.49	c GARBAGE COLLECT
222.78/223.49	c #Conflicts:      67000 | #Constraints:     115744
222.78/223.49	c #Conflicts:      68000 | #Constraints:     116744
222.78/223.49	c #Conflicts:      69000 | #Constraints:     117744
646.49/648.36	c #Conflicts:      70000 | #Constraints:     118744
646.49/648.36	c #Conflicts:      71000 | #Constraints:     119744
646.49/648.36	c #Conflicts:      72000 | #Constraints:     120744
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:      73000 | #Constraints:     116339
646.49/648.36	c #Conflicts:      74000 | #Constraints:     117339
646.49/648.36	c #Conflicts:      75000 | #Constraints:     118339
646.49/648.36	c #Conflicts:      76000 | #Constraints:     119339
646.49/648.36	c #Conflicts:      77000 | #Constraints:     120339
646.49/648.36	c #Conflicts:      78000 | #Constraints:     121339
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:      79000 | #Constraints:     116744
646.49/648.36	c #Conflicts:      80000 | #Constraints:     117744
646.49/648.36	c #Conflicts:      81000 | #Constraints:     118744
646.49/648.36	c #Conflicts:      82000 | #Constraints:     119744
646.49/648.36	c #Conflicts:      83000 | #Constraints:     120744
646.49/648.36	c #Conflicts:      84000 | #Constraints:     121744
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:      85000 | #Constraints:     116942
646.49/648.36	c #Conflicts:      86000 | #Constraints:     117942
646.49/648.36	c #Conflicts:      87000 | #Constraints:     118942
646.49/648.36	c #Conflicts:      88000 | #Constraints:     119942
646.49/648.36	c #Conflicts:      89000 | #Constraints:     120942
646.49/648.36	c #Conflicts:      90000 | #Constraints:     121942
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:      91000 | #Constraints:     116944
646.49/648.36	c #Conflicts:      92000 | #Constraints:     117944
646.49/648.36	c #Conflicts:      93000 | #Constraints:     118944
646.49/648.36	c #Conflicts:      94000 | #Constraints:     119944
646.49/648.36	c #Conflicts:      95000 | #Constraints:     120944
646.49/648.36	c #Conflicts:      96000 | #Constraints:     121944
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:      97000 | #Constraints:     116742
646.49/648.36	c #Conflicts:      98000 | #Constraints:     117742
646.49/648.36	c #Conflicts:      99000 | #Constraints:     118742
646.49/648.36	c #Conflicts:     100000 | #Constraints:     119742
646.49/648.36	c #Conflicts:     101000 | #Constraints:     120742
646.49/648.36	c #Conflicts:     102000 | #Constraints:     121742
646.49/648.36	c #Conflicts:     103000 | #Constraints:     122742
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     104000 | #Constraints:     117344
646.49/648.36	c #Conflicts:     105000 | #Constraints:     118344
646.49/648.36	c #Conflicts:     106000 | #Constraints:     119344
646.49/648.36	c #Conflicts:     107000 | #Constraints:     120344
646.49/648.36	c #Conflicts:     108000 | #Constraints:     121344
646.49/648.36	c #Conflicts:     109000 | #Constraints:     122344
646.49/648.36	c #Conflicts:     110000 | #Constraints:     123344
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     111000 | #Constraints:     117744
646.49/648.36	c #Conflicts:     112000 | #Constraints:     118744
646.49/648.36	c #Conflicts:     113000 | #Constraints:     119744
646.49/648.36	c #Conflicts:     114000 | #Constraints:     120744
646.49/648.36	c #Conflicts:     115000 | #Constraints:     121744
646.49/648.36	c #Conflicts:     116000 | #Constraints:     122744
646.49/648.36	c #Conflicts:     117000 | #Constraints:     123744
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     118000 | #Constraints:     117945
646.49/648.36	c #Conflicts:     119000 | #Constraints:     118945
646.49/648.36	c #Conflicts:     120000 | #Constraints:     119945
646.49/648.36	c #Conflicts:     121000 | #Constraints:     120945
646.49/648.36	c #Conflicts:     122000 | #Constraints:     121945
646.49/648.36	c #Conflicts:     123000 | #Constraints:     122945
646.49/648.36	c #Conflicts:     124000 | #Constraints:     123945
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     125000 | #Constraints:     117943
646.49/648.36	c #Conflicts:     126000 | #Constraints:     118943
646.49/648.36	c #Conflicts:     127000 | #Constraints:     119943
646.49/648.36	c #Conflicts:     128000 | #Constraints:     120943
646.49/648.36	c #Conflicts:     129000 | #Constraints:     121943
646.49/648.36	c #Conflicts:     130000 | #Constraints:     122943
646.49/648.36	c #Conflicts:     131000 | #Constraints:     123943
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     132000 | #Constraints:     117742
646.49/648.36	c #Conflicts:     133000 | #Constraints:     118742
646.49/648.36	c #Conflicts:     134000 | #Constraints:     119742
646.49/648.36	c #Conflicts:     135000 | #Constraints:     120742
646.49/648.36	c #Conflicts:     136000 | #Constraints:     121742
646.49/648.36	c #Conflicts:     137000 | #Constraints:     122742
646.49/648.36	c #Conflicts:     138000 | #Constraints:     123742
646.49/648.36	c #Conflicts:     139000 | #Constraints:     124742
646.49/648.36	c INPROCESSING
646.49/648.36	c GARBAGE COLLECT
646.49/648.36	c #Conflicts:     140000 | #Constraints:     118345
646.49/648.36	c #Conflicts:     141000 | #Constraints:     119345
1185.77/1189.15	c #Conflicts:     142000 | #Constraints:     120345
1185.77/1189.15	c #Conflicts:     143000 | #Constraints:     121345
1185.77/1189.15	c #Conflicts:     144000 | #Constraints:     122345
1185.77/1189.15	c #Conflicts:     145000 | #Constraints:     123345
1185.77/1189.15	c #Conflicts:     146000 | #Constraints:     124345
1185.77/1189.15	c #Conflicts:     147000 | #Constraints:     125345
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     148000 | #Constraints:     118746
1185.77/1189.15	c #Conflicts:     149000 | #Constraints:     119746
1185.77/1189.15	c #Conflicts:     150000 | #Constraints:     120746
1185.77/1189.15	c #Conflicts:     151000 | #Constraints:     121746
1185.77/1189.15	c #Conflicts:     152000 | #Constraints:     122746
1185.77/1189.15	c #Conflicts:     153000 | #Constraints:     123746
1185.77/1189.15	c #Conflicts:     154000 | #Constraints:     124746
1185.77/1189.15	c #Conflicts:     155000 | #Constraints:     125746
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     156000 | #Constraints:     118945
1185.77/1189.15	c #Conflicts:     157000 | #Constraints:     119945
1185.77/1189.15	c #Conflicts:     158000 | #Constraints:     120945
1185.77/1189.15	c #Conflicts:     159000 | #Constraints:     121945
1185.77/1189.15	c #Conflicts:     160000 | #Constraints:     122945
1185.77/1189.15	c #Conflicts:     161000 | #Constraints:     123945
1185.77/1189.15	c #Conflicts:     162000 | #Constraints:     124945
1185.77/1189.15	c #Conflicts:     163000 | #Constraints:     125945
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     164000 | #Constraints:     118947
1185.77/1189.15	c #Conflicts:     165000 | #Constraints:     119947
1185.77/1189.15	c #Conflicts:     166000 | #Constraints:     120947
1185.77/1189.15	c #Conflicts:     167000 | #Constraints:     121947
1185.77/1189.15	c #Conflicts:     168000 | #Constraints:     122947
1185.77/1189.15	c #Conflicts:     169000 | #Constraints:     123947
1185.77/1189.15	c #Conflicts:     170000 | #Constraints:     124947
1185.77/1189.15	c #Conflicts:     171000 | #Constraints:     125947
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     172000 | #Constraints:     118746
1185.77/1189.15	c #Conflicts:     173000 | #Constraints:     119746
1185.77/1189.15	c #Conflicts:     174000 | #Constraints:     120746
1185.77/1189.15	c #Conflicts:     175000 | #Constraints:     121746
1185.77/1189.15	c #Conflicts:     176000 | #Constraints:     122746
1185.77/1189.15	c #Conflicts:     177000 | #Constraints:     123746
1185.77/1189.15	c #Conflicts:     178000 | #Constraints:     124746
1185.77/1189.15	c #Conflicts:     179000 | #Constraints:     125746
1185.77/1189.15	c #Conflicts:     180000 | #Constraints:     126746
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     181000 | #Constraints:     119345
1185.77/1189.15	c #Conflicts:     182000 | #Constraints:     120345
1185.77/1189.15	c #Conflicts:     183000 | #Constraints:     121345
1185.77/1189.15	c #Conflicts:     184000 | #Constraints:     122345
1185.77/1189.15	c #Conflicts:     185000 | #Constraints:     123345
1185.77/1189.15	c #Conflicts:     186000 | #Constraints:     124345
1185.77/1189.15	c #Conflicts:     187000 | #Constraints:     125345
1185.77/1189.15	c #Conflicts:     188000 | #Constraints:     126345
1185.77/1189.15	c #Conflicts:     189000 | #Constraints:     127345
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     190000 | #Constraints:     119745
1185.77/1189.15	c #Conflicts:     191000 | #Constraints:     120745
1185.77/1189.15	c #Conflicts:     192000 | #Constraints:     121745
1185.77/1189.15	c #Conflicts:     193000 | #Constraints:     122745
1185.77/1189.15	c #Conflicts:     194000 | #Constraints:     123745
1185.77/1189.15	c #Conflicts:     195000 | #Constraints:     124745
1185.77/1189.15	c #Conflicts:     196000 | #Constraints:     125745
1185.77/1189.15	c #Conflicts:     197000 | #Constraints:     126745
1185.77/1189.15	c #Conflicts:     198000 | #Constraints:     127745
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     199000 | #Constraints:     119942
1185.77/1189.15	c #Conflicts:     200000 | #Constraints:     120942
1185.77/1189.15	c #Conflicts:     201000 | #Constraints:     121942
1185.77/1189.15	c #Conflicts:     202000 | #Constraints:     122942
1185.77/1189.15	c #Conflicts:     203000 | #Constraints:     123942
1185.77/1189.15	c #Conflicts:     204000 | #Constraints:     124942
1185.77/1189.15	c #Conflicts:     205000 | #Constraints:     125942
1185.77/1189.15	c #Conflicts:     206000 | #Constraints:     126942
1185.77/1189.15	c #Conflicts:     207000 | #Constraints:     127942
1185.77/1189.15	c INPROCESSING
1185.77/1189.15	c GARBAGE COLLECT
1185.77/1189.15	c #Conflicts:     208000 | #Constraints:     119941
1185.77/1189.15	c #Conflicts:     209000 | #Constraints:     120941
1185.77/1189.15	c #Conflicts:     210000 | #Constraints:     121941
1185.77/1189.15	c #Conflicts:     211000 | #Constraints:     122941
1185.77/1189.15	c #Conflicts:     212000 | #Constraints:     123941
1185.77/1189.15	c #Conflicts:     213000 | #Constraints:     124941
1185.77/1189.15	c #Conflicts:     214000 | #Constraints:     125941
1793.42/1798.78	c #Conflicts:     215000 | #Constraints:     126941
1793.42/1798.78	c #Conflicts:     216000 | #Constraints:     127941
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     217000 | #Constraints:     119742
1793.42/1798.78	c #Conflicts:     218000 | #Constraints:     120742
1793.42/1798.78	c #Conflicts:     219000 | #Constraints:     121742
1793.42/1798.78	c #Conflicts:     220000 | #Constraints:     122742
1793.42/1798.78	c #Conflicts:     221000 | #Constraints:     123742
1793.42/1798.78	c #Conflicts:     222000 | #Constraints:     124742
1793.42/1798.78	c #Conflicts:     223000 | #Constraints:     125742
1793.42/1798.78	c #Conflicts:     224000 | #Constraints:     126742
1793.42/1798.78	c #Conflicts:     225000 | #Constraints:     127742
1793.42/1798.78	c #Conflicts:     226000 | #Constraints:     128742
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     227000 | #Constraints:     120344
1793.42/1798.78	c #Conflicts:     228000 | #Constraints:     121344
1793.42/1798.78	c #Conflicts:     229000 | #Constraints:     122344
1793.42/1798.78	c #Conflicts:     230000 | #Constraints:     123344
1793.42/1798.78	c #Conflicts:     231000 | #Constraints:     124344
1793.42/1798.78	c #Conflicts:     232000 | #Constraints:     125344
1793.42/1798.78	c #Conflicts:     233000 | #Constraints:     126344
1793.42/1798.78	c #Conflicts:     234000 | #Constraints:     127344
1793.42/1798.78	c #Conflicts:     235000 | #Constraints:     128344
1793.42/1798.78	c #Conflicts:     236000 | #Constraints:     129344
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     237000 | #Constraints:     120746
1793.42/1798.78	c #Conflicts:     238000 | #Constraints:     121746
1793.42/1798.78	c #Conflicts:     239000 | #Constraints:     122746
1793.42/1798.78	c #Conflicts:     240000 | #Constraints:     123746
1793.42/1798.78	c #Conflicts:     241000 | #Constraints:     124746
1793.42/1798.78	c #Conflicts:     242000 | #Constraints:     125746
1793.42/1798.78	c #Conflicts:     243000 | #Constraints:     126746
1793.42/1798.78	c #Conflicts:     244000 | #Constraints:     127746
1793.42/1798.78	c #Conflicts:     245000 | #Constraints:     128746
1793.42/1798.78	c #Conflicts:     246000 | #Constraints:     129746
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     247000 | #Constraints:     120944
1793.42/1798.78	c #Conflicts:     248000 | #Constraints:     121944
1793.42/1798.78	c #Conflicts:     249000 | #Constraints:     122944
1793.42/1798.78	c #Conflicts:     250000 | #Constraints:     123944
1793.42/1798.78	c #Conflicts:     251000 | #Constraints:     124944
1793.42/1798.78	c #Conflicts:     252000 | #Constraints:     125944
1793.42/1798.78	c #Conflicts:     253000 | #Constraints:     126944
1793.42/1798.78	c #Conflicts:     254000 | #Constraints:     127944
1793.42/1798.78	c #Conflicts:     255000 | #Constraints:     128944
1793.42/1798.78	c #Conflicts:     256000 | #Constraints:     129944
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     257000 | #Constraints:     120946
1793.42/1798.78	c #Conflicts:     258000 | #Constraints:     121946
1793.42/1798.78	c #Conflicts:     259000 | #Constraints:     122946
1793.42/1798.78	c #Conflicts:     260000 | #Constraints:     123946
1793.42/1798.78	c #Conflicts:     261000 | #Constraints:     124946
1793.42/1798.78	c #Conflicts:     262000 | #Constraints:     125946
1793.42/1798.78	c #Conflicts:     263000 | #Constraints:     126946
1793.42/1798.78	c #Conflicts:     264000 | #Constraints:     127946
1793.42/1798.78	c #Conflicts:     265000 | #Constraints:     128946
1793.42/1798.78	c #Conflicts:     266000 | #Constraints:     129946
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     267000 | #Constraints:     120745
1793.42/1798.78	c #Conflicts:     268000 | #Constraints:     121745
1793.42/1798.78	c #Conflicts:     269000 | #Constraints:     122745
1793.42/1798.78	c #Conflicts:     270000 | #Constraints:     123745
1793.42/1798.78	c #Conflicts:     271000 | #Constraints:     124745
1793.42/1798.78	c #Conflicts:     272000 | #Constraints:     125745
1793.42/1798.78	c #Conflicts:     273000 | #Constraints:     126745
1793.42/1798.78	c #Conflicts:     274000 | #Constraints:     127745
1793.42/1798.78	c #Conflicts:     275000 | #Constraints:     128745
1793.42/1798.78	c #Conflicts:     276000 | #Constraints:     129745
1793.42/1798.78	c #Conflicts:     277000 | #Constraints:     130745
1793.42/1798.78	c INPROCESSING
1793.42/1798.78	c GARBAGE COLLECT
1793.42/1798.78	c #Conflicts:     278000 | #Constraints:     121347
1793.42/1798.78	c #Conflicts:     279000 | #Constraints:     122347
1793.42/1798.78	c #Conflicts:     280000 | #Constraints:     123347
1793.42/1798.78	c #Conflicts:     281000 | #Constraints:     124347
1793.42/1798.78	c #Conflicts:     282000 | #Constraints:     125347
1793.42/1798.78	c #Conflicts:     283000 | #Constraints:     126347
1793.42/1798.78	c #Conflicts:     284000 | #Constraints:     127347
1793.42/1798.78	c #Conflicts:     285000 | #Constraints:     128347
1793.42/1798.78	c #Conflicts:     286000 | #Constraints:     129347
1793.42/1798.78	c #Conflicts:     287000 | #Constraints:     130347
1793.42/1798.78	c #Conflicts:     288000 | #Constraints:     131347
1793.42/1798.78	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     289000 | #Constraints:     121745
2449.50/2456.93	c #Conflicts:     290000 | #Constraints:     122745
2449.50/2456.93	c #Conflicts:     291000 | #Constraints:     123745
2449.50/2456.93	c #Conflicts:     292000 | #Constraints:     124745
2449.50/2456.93	c #Conflicts:     293000 | #Constraints:     125745
2449.50/2456.93	c #Conflicts:     294000 | #Constraints:     126745
2449.50/2456.93	c #Conflicts:     295000 | #Constraints:     127745
2449.50/2456.93	c #Conflicts:     296000 | #Constraints:     128745
2449.50/2456.93	c #Conflicts:     297000 | #Constraints:     129745
2449.50/2456.93	c #Conflicts:     298000 | #Constraints:     130745
2449.50/2456.93	c #Conflicts:     299000 | #Constraints:     131745
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     300000 | #Constraints:     121946
2449.50/2456.93	c #Conflicts:     301000 | #Constraints:     122946
2449.50/2456.93	c #Conflicts:     302000 | #Constraints:     123946
2449.50/2456.93	c #Conflicts:     303000 | #Constraints:     124946
2449.50/2456.93	c #Conflicts:     304000 | #Constraints:     125946
2449.50/2456.93	c #Conflicts:     305000 | #Constraints:     126946
2449.50/2456.93	c #Conflicts:     306000 | #Constraints:     127946
2449.50/2456.93	c #Conflicts:     307000 | #Constraints:     128946
2449.50/2456.93	c #Conflicts:     308000 | #Constraints:     129946
2449.50/2456.93	c #Conflicts:     309000 | #Constraints:     130946
2449.50/2456.93	c #Conflicts:     310000 | #Constraints:     131946
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     311000 | #Constraints:     121947
2449.50/2456.93	c #Conflicts:     312000 | #Constraints:     122947
2449.50/2456.93	c #Conflicts:     313000 | #Constraints:     123947
2449.50/2456.93	c #Conflicts:     314000 | #Constraints:     124947
2449.50/2456.93	c #Conflicts:     315000 | #Constraints:     125947
2449.50/2456.93	c #Conflicts:     316000 | #Constraints:     126947
2449.50/2456.93	c #Conflicts:     317000 | #Constraints:     127947
2449.50/2456.93	c #Conflicts:     318000 | #Constraints:     128947
2449.50/2456.93	c #Conflicts:     319000 | #Constraints:     129947
2449.50/2456.93	c #Conflicts:     320000 | #Constraints:     130947
2449.50/2456.93	c #Conflicts:     321000 | #Constraints:     131947
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     322000 | #Constraints:     121749
2449.50/2456.93	c #Conflicts:     323000 | #Constraints:     122749
2449.50/2456.93	c #Conflicts:     324000 | #Constraints:     123749
2449.50/2456.93	c #Conflicts:     325000 | #Constraints:     124749
2449.50/2456.93	c #Conflicts:     326000 | #Constraints:     125749
2449.50/2456.93	c #Conflicts:     327000 | #Constraints:     126749
2449.50/2456.93	c #Conflicts:     328000 | #Constraints:     127749
2449.50/2456.93	c #Conflicts:     329000 | #Constraints:     128749
2449.50/2456.93	c #Conflicts:     330000 | #Constraints:     129749
2449.50/2456.93	c #Conflicts:     331000 | #Constraints:     130749
2449.50/2456.93	c #Conflicts:     332000 | #Constraints:     131749
2449.50/2456.93	c #Conflicts:     333000 | #Constraints:     132749
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     334000 | #Constraints:     122351
2449.50/2456.93	c #Conflicts:     335000 | #Constraints:     123351
2449.50/2456.93	c #Conflicts:     336000 | #Constraints:     124351
2449.50/2456.93	c #Conflicts:     337000 | #Constraints:     125351
2449.50/2456.93	c #Conflicts:     338000 | #Constraints:     126351
2449.50/2456.93	c #Conflicts:     339000 | #Constraints:     127351
2449.50/2456.93	c #Conflicts:     340000 | #Constraints:     128351
2449.50/2456.93	c #Conflicts:     341000 | #Constraints:     129351
2449.50/2456.93	c #Conflicts:     342000 | #Constraints:     130351
2449.50/2456.93	c #Conflicts:     343000 | #Constraints:     131351
2449.50/2456.93	c #Conflicts:     344000 | #Constraints:     132351
2449.50/2456.93	c #Conflicts:     345000 | #Constraints:     133351
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     346000 | #Constraints:     122750
2449.50/2456.93	c #Conflicts:     347000 | #Constraints:     123750
2449.50/2456.93	c #Conflicts:     348000 | #Constraints:     124750
2449.50/2456.93	c #Conflicts:     349000 | #Constraints:     125750
2449.50/2456.93	c #Conflicts:     350000 | #Constraints:     126750
2449.50/2456.93	c #Conflicts:     351000 | #Constraints:     127750
2449.50/2456.93	c #Conflicts:     352000 | #Constraints:     128750
2449.50/2456.93	c #Conflicts:     353000 | #Constraints:     129750
2449.50/2456.93	c #Conflicts:     354000 | #Constraints:     130750
2449.50/2456.93	c #Conflicts:     355000 | #Constraints:     131750
2449.50/2456.93	c #Conflicts:     356000 | #Constraints:     132750
2449.50/2456.93	c #Conflicts:     357000 | #Constraints:     133750
2449.50/2456.93	c INPROCESSING
2449.50/2456.93	c GARBAGE COLLECT
2449.50/2456.93	c #Conflicts:     358000 | #Constraints:     122948
2449.50/2456.93	c #Conflicts:     359000 | #Constraints:     123948
2449.50/2456.93	c #Conflicts:     360000 | #Constraints:     124948
2449.50/2456.93	c #Conflicts:     361000 | #Constraints:     125948
2449.50/2456.93	c #Conflicts:     362000 | #Constraints:     126948
2449.50/2456.93	c #Conflicts:     363000 | #Constraints:     127948
3183.82/3193.66	c #Conflicts:     364000 | #Constraints:     128948
3183.82/3193.66	c #Conflicts:     365000 | #Constraints:     129948
3183.82/3193.66	c #Conflicts:     366000 | #Constraints:     130948
3183.82/3193.66	c #Conflicts:     367000 | #Constraints:     131948
3183.82/3193.66	c #Conflicts:     368000 | #Constraints:     132948
3183.82/3193.66	c #Conflicts:     369000 | #Constraints:     133948
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     370000 | #Constraints:     122947
3183.82/3193.66	c #Conflicts:     371000 | #Constraints:     123947
3183.82/3193.66	c #Conflicts:     372000 | #Constraints:     124947
3183.82/3193.66	c #Conflicts:     373000 | #Constraints:     125947
3183.82/3193.66	c #Conflicts:     374000 | #Constraints:     126947
3183.82/3193.66	c #Conflicts:     375000 | #Constraints:     127947
3183.82/3193.66	c #Conflicts:     376000 | #Constraints:     128947
3183.82/3193.66	c #Conflicts:     377000 | #Constraints:     129947
3183.82/3193.66	c #Conflicts:     378000 | #Constraints:     130947
3183.82/3193.66	c #Conflicts:     379000 | #Constraints:     131947
3183.82/3193.66	c #Conflicts:     380000 | #Constraints:     132947
3183.82/3193.66	c #Conflicts:     381000 | #Constraints:     133947
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     382000 | #Constraints:     122743
3183.82/3193.66	c #Conflicts:     383000 | #Constraints:     123743
3183.82/3193.66	c #Conflicts:     384000 | #Constraints:     124743
3183.82/3193.66	c #Conflicts:     385000 | #Constraints:     125743
3183.82/3193.66	c #Conflicts:     386000 | #Constraints:     126743
3183.82/3193.66	c #Conflicts:     387000 | #Constraints:     127743
3183.82/3193.66	c #Conflicts:     388000 | #Constraints:     128743
3183.82/3193.66	c #Conflicts:     389000 | #Constraints:     129743
3183.82/3193.66	c #Conflicts:     390000 | #Constraints:     130743
3183.82/3193.66	c #Conflicts:     391000 | #Constraints:     131743
3183.82/3193.66	c #Conflicts:     392000 | #Constraints:     132743
3183.82/3193.66	c #Conflicts:     393000 | #Constraints:     133743
3183.82/3193.66	c #Conflicts:     394000 | #Constraints:     134743
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     395000 | #Constraints:     123342
3183.82/3193.66	c #Conflicts:     396000 | #Constraints:     124342
3183.82/3193.66	c #Conflicts:     397000 | #Constraints:     125342
3183.82/3193.66	c #Conflicts:     398000 | #Constraints:     126342
3183.82/3193.66	c #Conflicts:     399000 | #Constraints:     127342
3183.82/3193.66	c #Conflicts:     400000 | #Constraints:     128342
3183.82/3193.66	c #Conflicts:     401000 | #Constraints:     129342
3183.82/3193.66	c #Conflicts:     402000 | #Constraints:     130342
3183.82/3193.66	c #Conflicts:     403000 | #Constraints:     131342
3183.82/3193.66	c #Conflicts:     404000 | #Constraints:     132342
3183.82/3193.66	c #Conflicts:     405000 | #Constraints:     133342
3183.82/3193.66	c #Conflicts:     406000 | #Constraints:     134342
3183.82/3193.66	c #Conflicts:     407000 | #Constraints:     135342
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     408000 | #Constraints:     123743
3183.82/3193.66	c #Conflicts:     409000 | #Constraints:     124743
3183.82/3193.66	c #Conflicts:     410000 | #Constraints:     125743
3183.82/3193.66	c #Conflicts:     411000 | #Constraints:     126743
3183.82/3193.66	c #Conflicts:     412000 | #Constraints:     127743
3183.82/3193.66	c #Conflicts:     413000 | #Constraints:     128743
3183.82/3193.66	c #Conflicts:     414000 | #Constraints:     129743
3183.82/3193.66	c #Conflicts:     415000 | #Constraints:     130743
3183.82/3193.66	c #Conflicts:     416000 | #Constraints:     131743
3183.82/3193.66	c #Conflicts:     417000 | #Constraints:     132743
3183.82/3193.66	c #Conflicts:     418000 | #Constraints:     133743
3183.82/3193.66	c #Conflicts:     419000 | #Constraints:     134743
3183.82/3193.66	c #Conflicts:     420000 | #Constraints:     135743
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     421000 | #Constraints:     123943
3183.82/3193.66	c #Conflicts:     422000 | #Constraints:     124943
3183.82/3193.66	c #Conflicts:     423000 | #Constraints:     125943
3183.82/3193.66	c #Conflicts:     424000 | #Constraints:     126943
3183.82/3193.66	c #Conflicts:     425000 | #Constraints:     127943
3183.82/3193.66	c #Conflicts:     426000 | #Constraints:     128943
3183.82/3193.66	c #Conflicts:     427000 | #Constraints:     129943
3183.82/3193.66	c #Conflicts:     428000 | #Constraints:     130943
3183.82/3193.66	c #Conflicts:     429000 | #Constraints:     131943
3183.82/3193.66	c #Conflicts:     430000 | #Constraints:     132943
3183.82/3193.66	c #Conflicts:     431000 | #Constraints:     133943
3183.82/3193.66	c #Conflicts:     432000 | #Constraints:     134943
3183.82/3193.66	c #Conflicts:     433000 | #Constraints:     135943
3183.82/3193.66	c INPROCESSING
3183.82/3193.66	c GARBAGE COLLECT
3183.82/3193.66	c #Conflicts:     434000 | #Constraints:     123946
3183.82/3193.66	c #Conflicts:     435000 | #Constraints:     124946
3183.82/3193.66	c #Conflicts:     436000 | #Constraints:     125946
3183.82/3193.66	c #Conflicts:     437000 | #Constraints:     126946
3183.82/3193.66	c #Conflicts:     438000 | #Constraints:     127946
3600.04/3611.21	c #Conflicts:     439000 | #Constraints:     128946
3600.04/3611.21	c #Conflicts:     440000 | #Constraints:     129946
3600.04/3611.21	c #Conflicts:     441000 | #Constraints:     130946
3600.04/3611.21	c #Conflicts:     442000 | #Constraints:     131946
3600.04/3611.21	c #Conflicts:     443000 | #Constraints:     132946
3600.04/3611.21	c #Conflicts:     444000 | #Constraints:     133946
3600.04/3611.21	c #Conflicts:     445000 | #Constraints:     134946
3600.04/3611.21	c #Conflicts:     446000 | #Constraints:     135946
3600.04/3611.21	c INPROCESSING
3600.04/3611.21	c GARBAGE COLLECT
3600.04/3611.21	c #Conflicts:     447000 | #Constraints:     123747
3600.04/3611.21	c #Conflicts:     448000 | #Constraints:     124747
3600.04/3611.21	c #Conflicts:     449000 | #Constraints:     125747
3600.04/3611.21	c #Conflicts:     450000 | #Constraints:     126747
3600.04/3611.21	c #Conflicts:     451000 | #Constraints:     127747
3600.04/3611.21	c #Conflicts:     452000 | #Constraints:     128747
3600.04/3611.21	c #Conflicts:     453000 | #Constraints:     129747
3600.04/3611.21	c #Conflicts:     454000 | #Constraints:     130747
3600.04/3611.21	c #Conflicts:     455000 | #Constraints:     131747
3600.04/3611.21	c #Conflicts:     456000 | #Constraints:     132747
3600.04/3611.21	c #Conflicts:     457000 | #Constraints:     133747
3600.04/3611.21	c #Conflicts:     458000 | #Constraints:     134747
3600.04/3611.21	c #Conflicts:     459000 | #Constraints:     135747
3600.04/3611.21	c #Conflicts:     460000 | #Constraints:     136747
3600.04/3611.21	c INPROCESSING
3600.04/3611.21	c GARBAGE COLLECT
3600.04/3611.21	c #Conflicts:     461000 | #Constraints:     124345
3600.04/3611.21	c #Conflicts:     462000 | #Constraints:     125345
3600.04/3611.21	c #Conflicts:     463000 | #Constraints:     126345
3600.04/3611.21	c #Conflicts:     464000 | #Constraints:     127345
3600.04/3611.21	c #Conflicts:     465000 | #Constraints:     128345
3600.04/3611.21	c #Conflicts:     466000 | #Constraints:     129345
3600.04/3611.21	c #Conflicts:     467000 | #Constraints:     130345
3600.04/3611.21	c #Conflicts:     468000 | #Constraints:     131345
3600.04/3611.21	c #Conflicts:     469000 | #Constraints:     132345
3600.04/3611.21	c #Conflicts:     470000 | #Constraints:     133345
3600.04/3611.21	c #Conflicts:     471000 | #Constraints:     134345
3600.04/3611.21	c cpu time 3595.93 s
3600.04/3611.21	c deterministic time 1 1.00e+00
3600.04/3611.21	c optimization time 3595.64 s
3600.04/3611.21	c total solve time 0 s
3600.04/3611.21	c core-guided solve time 0 s
3600.04/3611.21	c propagation time 0.032335 s
3600.04/3611.21	c conflict analysis time 0 s
3600.04/3611.21	c propagations 0
3600.04/3611.21	c resolve steps 0
3600.04/3611.21	c decisions 0
3600.04/3611.21	c conflicts 0
3600.04/3611.21	c restarts 0
3600.04/3611.21	c inprocessing phases 0
3600.04/3611.21	c garbage collections 0 ,( -nan )
3600.04/3611.21	c input clauses 110038 ,( 100.00 )
3600.04/3611.21	c input cardinalities 0 ,( 0.00 )
3600.04/3611.21	c input general constraints 0 ,( 0.00 )
3600.04/3611.21	c input average constraint length 2.00
3600.04/3611.21	c input average constraint degree 1.00
3600.04/3611.21	c learned clauses 0 ,( 0.00 )
3600.04/3611.21	c learned cardinalities 0 ,( 0.00 )
3600.04/3611.21	c learned general constraints 0 ,( 0.00 )
3600.04/3611.21	c learned average constraint length 0.00
3600.04/3611.21	c learned average constraint degree 0.00
3600.04/3611.21	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.21	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.21	c watched   constraints 0 ,( -nan ) 
3600.04/3611.21	c counting  constraints 0 ,( -nan ) 
3600.04/3611.21	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.21	c gcd simplifications 0
3600.04/3611.21	c detected cardinalities 0
3600.04/3611.21	c weakened non-implied lits 0
3600.04/3611.21	c weakened non-implying lits 0
3600.04/3611.21	c original variables 1400
3600.04/3611.21	c clausal propagations 0
3600.04/3611.21	c cardinality propagations 0
3600.04/3611.21	c watched propagations 0
3600.04/3611.21	c counting propagations 0
3600.04/3611.21	c watch lookups 0
3600.04/3611.21	c watch backjump lookups 0
3600.04/3611.21	c watch checks 0
3600.04/3611.21	c propagation checks 0
3600.04/3611.21	c constraint additions 0
3600.04/3611.21	c trail pops 0
3600.04/3611.21	c formula constraints 110038
3600.04/3611.21	c learned constraints 0
3600.04/3611.21	c bound constraints 0
3600.04/3611.21	c core-guided constraints 0
3600.04/3611.21	c encountered formula constraints 0
3600.04/3611.21	c encountered learned constraints 0
3600.04/3611.21	c encountered bound constraints 0
3600.04/3611.21	c encountered core-guided constraints 0
3600.04/3611.21	c LP total time 0 s
3600.04/3611.21	c LP solve time 0 s
3600.04/3611.21	c LP constraints added 0
3600.04/3611.21	c LP constraints removed 0
3600.04/3611.21	c LP pivots internal 0
3600.04/3611.21	c LP pivots root 0
3600.04/3611.21	c LP calls 0
3600.04/3611.21	c LP optimalities 0
3600.04/3611.21	c LP no pivot count 0
3600.04/3611.21	c LP infeasibilities 0
3600.04/3611.21	c LP valid Farkas constraints 0
3600.04/3611.21	c LP learned Farkas constraints 0
3600.04/3611.21	c LP basis resets 0
3600.04/3611.21	c LP cycling count 0
3600.04/3611.21	c LP singular count 0
3600.04/3611.21	c LP no primal count 0
3600.04/3611.21	c LP no farkas count 0
3600.04/3611.21	c LP other issue count 0
3600.04/3611.21	c LP Gomory cuts 0
3600.04/3611.21	c LP learned cuts 0
3600.04/3611.21	c LP deleted cuts 0
3600.04/3611.21	c LP encountered Gomory constraints 0
3600.04/3611.21	c LP encountered Farkas constraints 0
3600.04/3611.21	c LP encountered learned Farkas constraints 0
3600.04/3611.21	c CG auxiliary variables introduced 0
3600.04/3611.21	c CG solutions found 0
3600.04/3611.21	c CG cores constructed 0
3600.04/3611.21	c CG core cardinality constraints returned 0
3600.04/3611.21	c CG unit cores 0
3600.04/3611.21	c CG single cores 0
3600.04/3611.21	c CG blocks removed during cardinality reduction 0
3600.04/3611.21	c CG first core best 0
3600.04/3611.21	c CG decision core best 0
3600.04/3611.21	c CG core reduction tie 0
3600.04/3611.21	c CG core degree average 0.00
3600.04/3611.21	c CG core slack average 0.00
3600.04/3611.21	c CG core upper bound improvements 0
3600.04/3611.21	c STR number of successful calls 0
3600.04/3611.21	c STR number of unsuccessful calls 0
3600.04/3611.21	c STR number of inconclusive calls 0
3600.04/3611.21	c STR number of successful attempts 0
3600.04/3611.21	c STR number of unsuccessful attempts 0
3600.04/3611.21	c STR number of inconclusive attempts 0
3600.04/3611.21	c STR average degree increase per successful call inf
3600.04/3611.21	c STR average degree increase per successful attempt inf
3600.04/3611.21	c STR total number of conflicts for successful attempts 0
3600.04/3611.21	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.21	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.21	c STR average number of conflicts per successful attempt inf
3600.04/3611.21	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.21	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.21	c AVG.sumWPerc -nan 
3600.04/3611.21	c bigint constraints 0 
3600.04/3611.21	s UNKNOWN
3600.04/3611.21	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 (60002 MiB free)
  memory of node 1: 64465 MiB (59340 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484722-1751292343/watcher-4484722-1751292343 -o /tmp/evaluation-result-4484722-1751292343/solver-4484722-1751292343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760 run-opt.sh HOME/instance-4484722-1751292343.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39323, runsolver pid=39320

[startup+0.100065 s]*
/proc/loadavg: 3.62 2.58 3.02 5/271 39325
/proc/meminfo: memFree=122195240/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=58416 memory=12988 CPUtime=0.08 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 1188 0 0 0 6 2 0 0 20 0 1 0 44908819 59817984 3247 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 14604 3247 1856 1147 0 2031 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62608 KiB
Current children cumulated memory: 15932 KiB

[startup+0.205623 s]*
/proc/loadavg: 3.62 2.58 3.02 5/271 39325
/proc/meminfo: memFree=122195240/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=61716 memory=18200 CPUtime=0.18 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 2111 0 0 0 13 5 0 0 20 0 1 0 44908819 63197184 4550 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 15429 4550 1856 1147 0 2856 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 21144 KiB

[startup+0.305529 s]*
/proc/loadavg: 3.62 2.58 3.02 5/271 39325
/proc/meminfo: memFree=122156172/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=100804 memory=45876 CPUtime=0.29 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 6278 0 0 0 21 8 0 0 20 0 1 0 44908819 103223296 11469 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 25201 11469 2208 1147 0 12628 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104996 KiB
Current children cumulated memory: 48820 KiB

[startup+0.700206 s]
/proc/loadavg: 3.62 2.58 3.02 5/271 39325
/proc/meminfo: memFree=122055364/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=214652 memory=162888 CPUtime=0.67 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26013 0 0 0 47 20 0 0 20 0 1 0 44908819 219803648 40722 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 53663 40722 2336 1147 0 41090 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 165832 KiB

[startup+1.50021 s]
/proc/loadavg: 3.62 2.58 3.02 5/271 39325
/proc/meminfo: memFree=122038572/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=214652 memory=162888 CPUtime=1.47 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26016 0 0 0 126 21 0 0 20 0 1 0 44908819 219803648 40722 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 53663 40722 2336 1147 0 41090 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 165832 KiB

[startup+3.10546 s]
/proc/loadavg: 3.65 2.60 3.03 5/271 39328
/proc/meminfo: memFree=122038928/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=214652 memory=163016 CPUtime=3.07 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26058 0 0 0 285 22 0 0 20 0 1 0 44908819 219803648 40754 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 53663 40754 2336 1147 0 41090 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 165960 KiB

[startup+6.30021 s]
/proc/loadavg: 3.65 2.60 3.03 5/271 39328
/proc/meminfo: memFree=122026924/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=214652 memory=163016 CPUtime=6.26 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26061 0 0 0 603 23 0 0 20 0 1 0 44908819 219803648 40754 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 53663 40754 2336 1147 0 41090 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218844 KiB
Current children cumulated memory: 165960 KiB

[startup+12.7002 s]
/proc/loadavg: 3.70 2.65 3.04 5/271 39328
/proc/meminfo: memFree=121933688/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=263972 memory=201364 CPUtime=12.64 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26442 0 0 0 1239 25 0 0 20 0 1 0 44908819 270307328 50341 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 65993 50341 2336 1147 0 53420 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 268164 KiB
Current children cumulated memory: 204308 KiB

[startup+25.5002 s]
/proc/loadavg: 3.75 2.69 3.05 5/271 39328
/proc/meminfo: memFree=121921372/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=263972 memory=211612 CPUtime=25.41 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26450 0 0 0 2512 29 0 0 20 0 1 0 44908819 270307328 52903 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 65993 52903 2336 1147 0 53420 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 268164 KiB
Current children cumulated memory: 214556 KiB

[startup+51.1055 s]
/proc/loadavg: 3.83 2.80 3.08 5/271 39328
/proc/meminfo: memFree=121802064/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=294792 memory=220932 CPUtime=50.95 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26737 0 0 0 5060 35 0 0 20 0 1 0 44908819 301867008 55233 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 73698 55233 2336 1147 0 61125 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 298984 KiB
Current children cumulated memory: 223876 KiB

[startup+102.3 s]
/proc/loadavg: 3.99 3.02 3.14 5/271 39330
/proc/meminfo: memFree=121475568/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=294792 memory=233232 CPUtime=102 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 26753 0 0 0 10154 46 0 0 20 0 1 0 44908819 301867008 58308 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 73698 58308 2336 1147 0 61125 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 298984 KiB
Current children cumulated memory: 236176 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.21 3.20 5/270 39333
/proc/meminfo: memFree=120954256/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=296400 memory=243480 CPUtime=161.84 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 27291 0 0 0 16128 56 0 0 20 0 1 0 44908819 303513600 60870 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 74100 60870 2336 1147 0 61527 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 300592 KiB
Current children cumulated memory: 246424 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.39 3.26 5/271 39339
/proc/meminfo: memFree=120471036/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=354420 memory=261892 CPUtime=221.68 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 29844 0 0 0 22100 68 0 0 20 0 1 0 44908819 362926080 65473 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 88605 65473 2336 1147 0 76032 0

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

/proc/39325/statm: 140543 124754 2336 1147 0 127970 0
Current children cumulated CPU time: 3033.01 s
Current children cumulated vsize: 566364 KiB
Current children cumulated memory: 501960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 39482
/proc/meminfo: memFree=112857124/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=562172 memory=499016 CPUtime=3092.81 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 59633 0 0 0 308905 376 0 0 20 0 1 0 44908819 575664128 124754 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 140543 124754 2336 1147 0 127970 0
Current children cumulated CPU time: 3092.81 s
Current children cumulated vsize: 566364 KiB
Current children cumulated memory: 501960 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 39485
/proc/meminfo: memFree=112421388/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=696484 memory=507472 CPUtime=3152.62 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 60712 0 0 0 314881 381 0 0 20 0 1 0 44908819 713199616 126868 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174121 126868 2336 1147 0 161548 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 700676 KiB
Current children cumulated memory: 510416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 39490
/proc/meminfo: memFree=111901172/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=696484 memory=507472 CPUtime=3212.42 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 60736 0 0 0 320856 386 0 0 20 0 1 0 44908819 713199616 126868 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174121 126868 2336 1147 0 161548 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 700676 KiB
Current children cumulated memory: 510416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 39493
/proc/meminfo: memFree=111797784/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=696484 memory=507600 CPUtime=3272.22 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 60746 0 0 0 326831 391 0 0 20 0 1 0 44908819 713199616 126900 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174121 126900 2336 1147 0 161548 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 700676 KiB
Current children cumulated memory: 510544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 39506
/proc/meminfo: memFree=111784516/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=699048 memory=512248 CPUtime=3332.03 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 61395 0 0 0 332808 395 0 0 20 0 1 0 44908819 715825152 128062 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174762 128062 2336 1147 0 162189 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 703240 KiB
Current children cumulated memory: 515192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 39508
/proc/meminfo: memFree=111732332/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=699048 memory=512376 CPUtime=3391.83 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 61426 0 0 0 338785 398 0 0 20 0 1 0 44908819 715825152 128094 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174762 128094 2336 1147 0 162189 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 703240 KiB
Current children cumulated memory: 515320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39510
/proc/meminfo: memFree=111694468/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=699048 memory=512376 CPUtime=3451.63 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 61440 0 0 0 344761 402 0 0 20 0 1 0 44908819 715825152 128094 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 174762 128094 2336 1147 0 162189 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 703240 KiB
Current children cumulated memory: 515320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 39650
/proc/meminfo: memFree=124009064/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=702052 memory=515064 CPUtime=3511.42 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 62112 0 0 0 350735 407 0 0 20 0 1 0 44908819 718901248 128766 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 175513 128766 2336 1147 0 162940 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 706244 KiB
Current children cumulated memory: 518008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 39657
/proc/meminfo: memFree=123964512/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=702052 memory=515064 CPUtime=3571.23 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 62157 0 0 0 356712 411 0 0 20 0 1 0 44908819 718901248 128766 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 175513 128766 2336 1147 0 162940 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 706244 KiB
Current children cumulated memory: 518008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 39658
/proc/meminfo: memFree=123931656/131249992 swapFree=33010160/33010684
[pid=39323] ppid=39320 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39323/stat : 39323 (run-opt.sh) S 39320 39323 39107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 44908818 4292608 736 18446744073709551615 94788323086336 94788323980869 140732049366624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94788324219920 94788324267664 94788352794624 140732049373549 140732049373672 140732049373672 140732049379274 0
/proc/39323/statm: 1048 736 672 219 0 110 0
[pid=39325] ppid=39323 vsize=702052 memory=516856 CPUtime=3600.04 cores=0,2
/proc/39325/stat : 39325 (roundingsat) R 39323 39323 39107 0 -1 4194304 62189 0 0 0 359591 413 0 0 20 0 1 0 44908819 718901248 129214 18446744073709551615 4227072 8923433 140731017338672 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20205568 140731017345442 140731017345576 140731017345576 140731017351146 0
/proc/39325/statm: 175513 129214 2336 1147 0 162940 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 706244 KiB
Current children cumulated memory: 519800 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

Child status: 2

Real time (s): 3611.24
CPU time (s): 3600.09
CPU user time (s): 3595.95
CPU system time (s): 4.14555
CPU usage (%): 99.6914
Max. virtual memory (cumulated for all children) (KiB): 706244
Max. memory (cumulated for all children) (KiB): 519800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.95
system time used= 4.14555
maximum resident set size= 517240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62444
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= 160
involuntary context switches= 8019


# summary of solver processes directly reported to runsolver:
#   pid: 39323,39325
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.95
#   total CPU system time (s): 4.14555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70857 second user time and 16.2132 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-30 16:05:43
IDJOB=4484722
IDBENCH=146666
IDSOLVER=3350
FILE ID=nodeC035/4484722-1751292343
RUNJOBID= nodeC035-1751292233-39122
SLURM_JOB_ID= 9594262
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484722-1751292343/watcher-4484722-1751292343 -o /tmp/evaluation-result-4484722-1751292343/solver-4484722-1751292343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39122 --watchdog 3760  run-opt.sh HOME/instance-4484722-1751292343.opb

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

MD5SUM BENCH= 71e47456366b2ddac308424c74922847
RANDOM SEED=310512475

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		: 3598.630
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.753
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		: 3599.810
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		: 3763.743
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.751
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.819
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.282
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		: 3599.813
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:        122206528 kB
MemAvailable:   126851784 kB
Buffers:            1840 kB
Cached:          5398736 kB
SwapCached:            8 kB
Active:          3197756 kB
Inactive:        5119280 kB
Active(anon):    2922884 kB
Inactive(anon):    11624 kB
Active(file):     274872 kB
Inactive(file):  5107656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9732 kB
Writeback:            12 kB
AnonPages:       2919552 kB
Mapped:           116272 kB
Shmem:             18048 kB
KReclaimable:     203932 kB
Slab:             292544 kB
SReclaimable:     203932 kB
SUnreclaim:        88612 kB
KernelStack:        4384 kB
PageTables:         9692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3817108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 433024 MiB
End job on nodeC035 at 2025-06-30 17:05:54