Trace number 4484907

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM79c0a8033bde71aac2f7ead78fdb13b7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark593.296
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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 1150
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 1150
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 1150
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.78/0.87	c #variables 1150 #constraints 80258
0.78/0.87	c objective is ce32 
1.17/1.20	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.17/1.20	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.17/1.20	c GLOBAL bounds - >= -1150 @ 0.924932
1.17/1.21	c GLOBAL bounds - >= -1150 @ 0.926319
1.17/1.21	c GLOBAL bounds - >= -1150 @ 0.928647
1.17/1.21	c GLOBAL bounds - >= -1150 @ 0.930634
1.17/1.23	c GLOBAL bounds - >= -1150 @ 0.949548
1.17/1.25	c GLOBAL bounds - >= -1150 @ 0.966122
1.17/1.25	c GLOBAL bounds - >= -1150 @ 0.968077
1.17/1.25	c GLOBAL bounds - >= -1150 @ 0.970037
1.17/1.26	c GLOBAL bounds - >= -1150 @ 0.975158
1.17/1.26	c GLOBAL bounds - >= -1150 @ 0.978282
1.27/1.31	c GLOBAL bounds - >= -1150 @ 1.02725
1.27/1.31	c GLOBAL bounds - >= -1150 @ 1.02907
1.27/1.32	c GLOBAL bounds - >= -1150 @ 1.03254
1.27/1.32	c GLOBAL bounds - >= -1150 @ 1.03602
1.27/1.32	c GLOBAL bounds - >= -1150 @ 1.03675
1.27/1.33	c GLOBAL bounds - >= -1150 @ 1.03723
1.27/1.33	c GLOBAL bounds - >= -1150 @ 1.03906
1.27/1.33	c GLOBAL bounds - >= -1150 @ 1.04085
1.27/1.33	c GLOBAL bounds - >= -1150 @ 1.04208
1.27/1.34	c GLOBAL bounds - >= -1150 @ 1.04894
1.27/1.36	c GLOBAL bounds - >= -1150 @ 1.06649
1.27/1.36	c GLOBAL bounds - >= -1150 @ 1.06764
1.27/1.36	c GLOBAL bounds - >= -1150 @ 1.06937
1.27/1.37	c GLOBAL bounds - >= -1150 @ 1.07851
1.27/1.38	c GLOBAL bounds - >= -1150 @ 1.08391
1.27/1.38	c GLOBAL bounds - >= -1150 @ 1.08528
1.27/1.38	c GLOBAL bounds - >= -1150 @ 1.08644
1.27/1.38	c GLOBAL bounds - >= -1150 @ 1.08893
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.09302
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.09535
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.09714
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.0984
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.09879
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.09985
1.27/1.39	c GLOBAL bounds - >= -1150 @ 1.10094
1.37/1.40	c GLOBAL bounds - >= -1150 @ 1.10804
1.37/1.40	c GLOBAL bounds - >= -1150 @ 1.11086
1.37/1.41	c GLOBAL bounds - >= -1150 @ 1.11228
1.37/1.41	c GLOBAL bounds - >= -1150 @ 1.11355
1.37/1.41	c GLOBAL bounds - >= -1150 @ 1.11456
1.37/1.41	c GLOBAL bounds - >= -1150 @ 1.11658
1.37/1.41	c GLOBAL bounds - >= -1150 @ 1.11987
1.37/1.49	c GLOBAL bounds - >= -1150 @ 1.19905
1.47/1.50	c GLOBAL bounds - >= -1150 @ 1.20466
234.45/235.29	c #Conflicts:       1000 | #Constraints:      81342
234.45/235.29	c #Conflicts:       2000 | #Constraints:      82342
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:       3000 | #Constraints:      82348
234.45/235.29	c #Conflicts:       4000 | #Constraints:      83348
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:       5000 | #Constraints:      82754
234.45/235.29	c #Conflicts:       6000 | #Constraints:      83754
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:       7000 | #Constraints:      82754
234.45/235.29	c #Conflicts:       8000 | #Constraints:      83754
234.45/235.29	c #Conflicts:       9000 | #Constraints:      84754
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      10000 | #Constraints:      83454
234.45/235.29	c #Conflicts:      11000 | #Constraints:      84454
234.45/235.29	c #Conflicts:      12000 | #Constraints:      85454
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      13000 | #Constraints:      83906
234.45/235.29	c #Conflicts:      14000 | #Constraints:      84906
234.45/235.29	c #Conflicts:      15000 | #Constraints:      85906
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      16000 | #Constraints:      84132
234.45/235.29	c #Conflicts:      17000 | #Constraints:      85132
234.45/235.29	c #Conflicts:      18000 | #Constraints:      86132
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      19000 | #Constraints:      84143
234.45/235.29	c #Conflicts:      20000 | #Constraints:      85143
234.45/235.29	c #Conflicts:      21000 | #Constraints:      86143
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      22000 | #Constraints:      83952
234.45/235.29	c #Conflicts:      23000 | #Constraints:      84952
234.45/235.29	c #Conflicts:      24000 | #Constraints:      85952
234.45/235.29	c #Conflicts:      25000 | #Constraints:      86952
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      26000 | #Constraints:      84555
234.45/235.29	c #Conflicts:      27000 | #Constraints:      85555
234.45/235.29	c #Conflicts:      28000 | #Constraints:      86555
234.45/235.29	c #Conflicts:      29000 | #Constraints:      87555
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      30000 | #Constraints:      84956
234.45/235.29	c #Conflicts:      31000 | #Constraints:      85956
234.45/235.29	c #Conflicts:      32000 | #Constraints:      86956
234.45/235.29	c #Conflicts:      33000 | #Constraints:      87956
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      34000 | #Constraints:      85158
234.45/235.29	c #Conflicts:      35000 | #Constraints:      86158
234.45/235.29	c #Conflicts:      36000 | #Constraints:      87158
234.45/235.29	c #Conflicts:      37000 | #Constraints:      88158
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      38000 | #Constraints:      85155
234.45/235.29	c #Conflicts:      39000 | #Constraints:      86155
234.45/235.29	c #Conflicts:      40000 | #Constraints:      87155
234.45/235.29	c #Conflicts:      41000 | #Constraints:      88155
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      42000 | #Constraints:      84958
234.45/235.29	c #Conflicts:      43000 | #Constraints:      85958
234.45/235.29	c #Conflicts:      44000 | #Constraints:      86958
234.45/235.29	c #Conflicts:      45000 | #Constraints:      87958
234.45/235.29	c #Conflicts:      46000 | #Constraints:      88958
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      47000 | #Constraints:      85558
234.45/235.29	c #Conflicts:      48000 | #Constraints:      86558
234.45/235.29	c #Conflicts:      49000 | #Constraints:      87558
234.45/235.29	c #Conflicts:      50000 | #Constraints:      88558
234.45/235.29	c #Conflicts:      51000 | #Constraints:      89558
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      52000 | #Constraints:      85956
234.45/235.29	c #Conflicts:      53000 | #Constraints:      86956
234.45/235.29	c #Conflicts:      54000 | #Constraints:      87956
234.45/235.29	c #Conflicts:      55000 | #Constraints:      88956
234.45/235.29	c #Conflicts:      56000 | #Constraints:      89956
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      57000 | #Constraints:      86156
234.45/235.29	c #Conflicts:      58000 | #Constraints:      87156
234.45/235.29	c #Conflicts:      59000 | #Constraints:      88156
234.45/235.29	c #Conflicts:      60000 | #Constraints:      89156
234.45/235.29	c #Conflicts:      61000 | #Constraints:      90156
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      62000 | #Constraints:      86159
234.45/235.29	c #Conflicts:      63000 | #Constraints:      87159
234.45/235.29	c #Conflicts:      64000 | #Constraints:      88159
234.45/235.29	c #Conflicts:      65000 | #Constraints:      89159
234.45/235.29	c #Conflicts:      66000 | #Constraints:      90159
234.45/235.29	c INPROCESSING
234.45/235.29	c GARBAGE COLLECT
234.45/235.29	c #Conflicts:      67000 | #Constraints:      85957
234.45/235.29	c #Conflicts:      68000 | #Constraints:      86957
645.69/647.78	c #Conflicts:      69000 | #Constraints:      87957
645.69/647.78	c #Conflicts:      70000 | #Constraints:      88957
645.69/647.78	c #Conflicts:      71000 | #Constraints:      89957
645.69/647.78	c #Conflicts:      72000 | #Constraints:      90957
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:      73000 | #Constraints:      86558
645.69/647.78	c #Conflicts:      74000 | #Constraints:      87558
645.69/647.78	c #Conflicts:      75000 | #Constraints:      88558
645.69/647.78	c #Conflicts:      76000 | #Constraints:      89558
645.69/647.78	c #Conflicts:      77000 | #Constraints:      90558
645.69/647.78	c #Conflicts:      78000 | #Constraints:      91558
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:      79000 | #Constraints:      86957
645.69/647.78	c #Conflicts:      80000 | #Constraints:      87957
645.69/647.78	c #Conflicts:      81000 | #Constraints:      88957
645.69/647.78	c #Conflicts:      82000 | #Constraints:      89957
645.69/647.78	c #Conflicts:      83000 | #Constraints:      90957
645.69/647.78	c #Conflicts:      84000 | #Constraints:      91957
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:      85000 | #Constraints:      87157
645.69/647.78	c #Conflicts:      86000 | #Constraints:      88157
645.69/647.78	c #Conflicts:      87000 | #Constraints:      89157
645.69/647.78	c #Conflicts:      88000 | #Constraints:      90157
645.69/647.78	c #Conflicts:      89000 | #Constraints:      91157
645.69/647.78	c #Conflicts:      90000 | #Constraints:      92157
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:      91000 | #Constraints:      87157
645.69/647.78	c #Conflicts:      92000 | #Constraints:      88157
645.69/647.78	c #Conflicts:      93000 | #Constraints:      89157
645.69/647.78	c #Conflicts:      94000 | #Constraints:      90157
645.69/647.78	c #Conflicts:      95000 | #Constraints:      91157
645.69/647.78	c #Conflicts:      96000 | #Constraints:      92157
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:      97000 | #Constraints:      86957
645.69/647.78	c #Conflicts:      98000 | #Constraints:      87957
645.69/647.78	c #Conflicts:      99000 | #Constraints:      88957
645.69/647.78	c #Conflicts:     100000 | #Constraints:      89957
645.69/647.78	c #Conflicts:     101000 | #Constraints:      90957
645.69/647.78	c #Conflicts:     102000 | #Constraints:      91957
645.69/647.78	c #Conflicts:     103000 | #Constraints:      92957
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     104000 | #Constraints:      87555
645.69/647.78	c #Conflicts:     105000 | #Constraints:      88555
645.69/647.78	c #Conflicts:     106000 | #Constraints:      89555
645.69/647.78	c #Conflicts:     107000 | #Constraints:      90555
645.69/647.78	c #Conflicts:     108000 | #Constraints:      91555
645.69/647.78	c #Conflicts:     109000 | #Constraints:      92555
645.69/647.78	c #Conflicts:     110000 | #Constraints:      93555
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     111000 | #Constraints:      87958
645.69/647.78	c #Conflicts:     112000 | #Constraints:      88958
645.69/647.78	c #Conflicts:     113000 | #Constraints:      89958
645.69/647.78	c #Conflicts:     114000 | #Constraints:      90958
645.69/647.78	c #Conflicts:     115000 | #Constraints:      91958
645.69/647.78	c #Conflicts:     116000 | #Constraints:      92958
645.69/647.78	c #Conflicts:     117000 | #Constraints:      93958
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     118000 | #Constraints:      88159
645.69/647.78	c #Conflicts:     119000 | #Constraints:      89159
645.69/647.78	c #Conflicts:     120000 | #Constraints:      90159
645.69/647.78	c #Conflicts:     121000 | #Constraints:      91159
645.69/647.78	c #Conflicts:     122000 | #Constraints:      92159
645.69/647.78	c #Conflicts:     123000 | #Constraints:      93159
645.69/647.78	c #Conflicts:     124000 | #Constraints:      94159
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     125000 | #Constraints:      88156
645.69/647.78	c #Conflicts:     126000 | #Constraints:      89156
645.69/647.78	c #Conflicts:     127000 | #Constraints:      90156
645.69/647.78	c #Conflicts:     128000 | #Constraints:      91156
645.69/647.78	c #Conflicts:     129000 | #Constraints:      92156
645.69/647.78	c #Conflicts:     130000 | #Constraints:      93156
645.69/647.78	c #Conflicts:     131000 | #Constraints:      94156
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     132000 | #Constraints:      87955
645.69/647.78	c #Conflicts:     133000 | #Constraints:      88955
645.69/647.78	c #Conflicts:     134000 | #Constraints:      89955
645.69/647.78	c #Conflicts:     135000 | #Constraints:      90955
645.69/647.78	c #Conflicts:     136000 | #Constraints:      91955
645.69/647.78	c #Conflicts:     137000 | #Constraints:      92955
645.69/647.78	c #Conflicts:     138000 | #Constraints:      93955
645.69/647.78	c #Conflicts:     139000 | #Constraints:      94955
645.69/647.78	c INPROCESSING
645.69/647.78	c GARBAGE COLLECT
645.69/647.78	c #Conflicts:     140000 | #Constraints:      88559
1156.50/1160.02	c #Conflicts:     141000 | #Constraints:      89559
1156.50/1160.02	c #Conflicts:     142000 | #Constraints:      90559
1156.50/1160.02	c #Conflicts:     143000 | #Constraints:      91559
1156.50/1160.02	c #Conflicts:     144000 | #Constraints:      92559
1156.50/1160.02	c #Conflicts:     145000 | #Constraints:      93559
1156.50/1160.02	c #Conflicts:     146000 | #Constraints:      94559
1156.50/1160.02	c #Conflicts:     147000 | #Constraints:      95559
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     148000 | #Constraints:      88960
1156.50/1160.02	c #Conflicts:     149000 | #Constraints:      89960
1156.50/1160.02	c #Conflicts:     150000 | #Constraints:      90960
1156.50/1160.02	c #Conflicts:     151000 | #Constraints:      91960
1156.50/1160.02	c #Conflicts:     152000 | #Constraints:      92960
1156.50/1160.02	c #Conflicts:     153000 | #Constraints:      93960
1156.50/1160.02	c #Conflicts:     154000 | #Constraints:      94960
1156.50/1160.02	c #Conflicts:     155000 | #Constraints:      95960
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     156000 | #Constraints:      89158
1156.50/1160.02	c #Conflicts:     157000 | #Constraints:      90158
1156.50/1160.02	c #Conflicts:     158000 | #Constraints:      91158
1156.50/1160.02	c #Conflicts:     159000 | #Constraints:      92158
1156.50/1160.02	c #Conflicts:     160000 | #Constraints:      93158
1156.50/1160.02	c #Conflicts:     161000 | #Constraints:      94158
1156.50/1160.02	c #Conflicts:     162000 | #Constraints:      95158
1156.50/1160.02	c #Conflicts:     163000 | #Constraints:      96158
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     164000 | #Constraints:      89159
1156.50/1160.02	c #Conflicts:     165000 | #Constraints:      90159
1156.50/1160.02	c #Conflicts:     166000 | #Constraints:      91159
1156.50/1160.02	c #Conflicts:     167000 | #Constraints:      92159
1156.50/1160.02	c #Conflicts:     168000 | #Constraints:      93159
1156.50/1160.02	c #Conflicts:     169000 | #Constraints:      94159
1156.50/1160.02	c #Conflicts:     170000 | #Constraints:      95159
1156.50/1160.02	c #Conflicts:     171000 | #Constraints:      96159
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     172000 | #Constraints:      88961
1156.50/1160.02	c #Conflicts:     173000 | #Constraints:      89961
1156.50/1160.02	c #Conflicts:     174000 | #Constraints:      90961
1156.50/1160.02	c #Conflicts:     175000 | #Constraints:      91961
1156.50/1160.02	c #Conflicts:     176000 | #Constraints:      92961
1156.50/1160.02	c #Conflicts:     177000 | #Constraints:      93961
1156.50/1160.02	c #Conflicts:     178000 | #Constraints:      94961
1156.50/1160.02	c #Conflicts:     179000 | #Constraints:      95961
1156.50/1160.02	c #Conflicts:     180000 | #Constraints:      96961
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     181000 | #Constraints:      89558
1156.50/1160.02	c #Conflicts:     182000 | #Constraints:      90558
1156.50/1160.02	c #Conflicts:     183000 | #Constraints:      91558
1156.50/1160.02	c #Conflicts:     184000 | #Constraints:      92558
1156.50/1160.02	c #Conflicts:     185000 | #Constraints:      93558
1156.50/1160.02	c #Conflicts:     186000 | #Constraints:      94558
1156.50/1160.02	c #Conflicts:     187000 | #Constraints:      95558
1156.50/1160.02	c #Conflicts:     188000 | #Constraints:      96558
1156.50/1160.02	c #Conflicts:     189000 | #Constraints:      97558
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     190000 | #Constraints:      89948
1156.50/1160.02	c #Conflicts:     191000 | #Constraints:      90948
1156.50/1160.02	c #Conflicts:     192000 | #Constraints:      91948
1156.50/1160.02	c #Conflicts:     193000 | #Constraints:      92948
1156.50/1160.02	c #Conflicts:     194000 | #Constraints:      93948
1156.50/1160.02	c #Conflicts:     195000 | #Constraints:      94948
1156.50/1160.02	c #Conflicts:     196000 | #Constraints:      95948
1156.50/1160.02	c #Conflicts:     197000 | #Constraints:      96948
1156.50/1160.02	c #Conflicts:     198000 | #Constraints:      97948
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     199000 | #Constraints:      90151
1156.50/1160.02	c #Conflicts:     200000 | #Constraints:      91151
1156.50/1160.02	c #Conflicts:     201000 | #Constraints:      92151
1156.50/1160.02	c #Conflicts:     202000 | #Constraints:      93151
1156.50/1160.02	c #Conflicts:     203000 | #Constraints:      94151
1156.50/1160.02	c #Conflicts:     204000 | #Constraints:      95151
1156.50/1160.02	c #Conflicts:     205000 | #Constraints:      96151
1156.50/1160.02	c #Conflicts:     206000 | #Constraints:      97151
1156.50/1160.02	c #Conflicts:     207000 | #Constraints:      98151
1156.50/1160.02	c INPROCESSING
1156.50/1160.02	c GARBAGE COLLECT
1156.50/1160.02	c #Conflicts:     208000 | #Constraints:      90153
1156.50/1160.02	c #Conflicts:     209000 | #Constraints:      91153
1156.50/1160.02	c #Conflicts:     210000 | #Constraints:      92153
1156.50/1160.02	c #Conflicts:     211000 | #Constraints:      93153
1156.50/1160.02	c #Conflicts:     212000 | #Constraints:      94153
1156.50/1160.02	c #Conflicts:     213000 | #Constraints:      95153
1811.86/1817.38	c #Conflicts:     214000 | #Constraints:      96153
1811.86/1817.38	c #Conflicts:     215000 | #Constraints:      97153
1811.86/1817.38	c #Conflicts:     216000 | #Constraints:      98153
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     217000 | #Constraints:      89954
1811.86/1817.38	c #Conflicts:     218000 | #Constraints:      90954
1811.86/1817.38	c #Conflicts:     219000 | #Constraints:      91954
1811.86/1817.38	c #Conflicts:     220000 | #Constraints:      92954
1811.86/1817.38	c #Conflicts:     221000 | #Constraints:      93954
1811.86/1817.38	c #Conflicts:     222000 | #Constraints:      94954
1811.86/1817.38	c #Conflicts:     223000 | #Constraints:      95954
1811.86/1817.38	c #Conflicts:     224000 | #Constraints:      96954
1811.86/1817.38	c #Conflicts:     225000 | #Constraints:      97954
1811.86/1817.38	c #Conflicts:     226000 | #Constraints:      98954
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     227000 | #Constraints:      90553
1811.86/1817.38	c #Conflicts:     228000 | #Constraints:      91553
1811.86/1817.38	c #Conflicts:     229000 | #Constraints:      92553
1811.86/1817.38	c #Conflicts:     230000 | #Constraints:      93553
1811.86/1817.38	c #Conflicts:     231000 | #Constraints:      94553
1811.86/1817.38	c #Conflicts:     232000 | #Constraints:      95553
1811.86/1817.38	c #Conflicts:     233000 | #Constraints:      96553
1811.86/1817.38	c #Conflicts:     234000 | #Constraints:      97553
1811.86/1817.38	c #Conflicts:     235000 | #Constraints:      98553
1811.86/1817.38	c #Conflicts:     236000 | #Constraints:      99553
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     237000 | #Constraints:      90955
1811.86/1817.38	c #Conflicts:     238000 | #Constraints:      91955
1811.86/1817.38	c #Conflicts:     239000 | #Constraints:      92955
1811.86/1817.38	c #Conflicts:     240000 | #Constraints:      93955
1811.86/1817.38	c #Conflicts:     241000 | #Constraints:      94955
1811.86/1817.38	c #Conflicts:     242000 | #Constraints:      95955
1811.86/1817.38	c #Conflicts:     243000 | #Constraints:      96955
1811.86/1817.38	c #Conflicts:     244000 | #Constraints:      97955
1811.86/1817.38	c #Conflicts:     245000 | #Constraints:      98955
1811.86/1817.38	c #Conflicts:     246000 | #Constraints:      99955
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     247000 | #Constraints:      91161
1811.86/1817.38	c #Conflicts:     248000 | #Constraints:      92161
1811.86/1817.38	c #Conflicts:     249000 | #Constraints:      93161
1811.86/1817.38	c #Conflicts:     250000 | #Constraints:      94161
1811.86/1817.38	c #Conflicts:     251000 | #Constraints:      95161
1811.86/1817.38	c #Conflicts:     252000 | #Constraints:      96161
1811.86/1817.38	c #Conflicts:     253000 | #Constraints:      97161
1811.86/1817.38	c #Conflicts:     254000 | #Constraints:      98161
1811.86/1817.38	c #Conflicts:     255000 | #Constraints:      99161
1811.86/1817.38	c #Conflicts:     256000 | #Constraints:     100161
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     257000 | #Constraints:      91158
1811.86/1817.38	c #Conflicts:     258000 | #Constraints:      92158
1811.86/1817.38	c #Conflicts:     259000 | #Constraints:      93158
1811.86/1817.38	c #Conflicts:     260000 | #Constraints:      94158
1811.86/1817.38	c #Conflicts:     261000 | #Constraints:      95158
1811.86/1817.38	c #Conflicts:     262000 | #Constraints:      96158
1811.86/1817.38	c #Conflicts:     263000 | #Constraints:      97158
1811.86/1817.38	c #Conflicts:     264000 | #Constraints:      98158
1811.86/1817.38	c #Conflicts:     265000 | #Constraints:      99158
1811.86/1817.38	c #Conflicts:     266000 | #Constraints:     100158
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     267000 | #Constraints:      90957
1811.86/1817.38	c #Conflicts:     268000 | #Constraints:      91957
1811.86/1817.38	c #Conflicts:     269000 | #Constraints:      92957
1811.86/1817.38	c #Conflicts:     270000 | #Constraints:      93957
1811.86/1817.38	c #Conflicts:     271000 | #Constraints:      94957
1811.86/1817.38	c #Conflicts:     272000 | #Constraints:      95957
1811.86/1817.38	c #Conflicts:     273000 | #Constraints:      96957
1811.86/1817.38	c #Conflicts:     274000 | #Constraints:      97957
1811.86/1817.38	c #Conflicts:     275000 | #Constraints:      98957
1811.86/1817.38	c #Conflicts:     276000 | #Constraints:      99957
1811.86/1817.38	c #Conflicts:     277000 | #Constraints:     100957
1811.86/1817.38	c INPROCESSING
1811.86/1817.38	c GARBAGE COLLECT
1811.86/1817.38	c #Conflicts:     278000 | #Constraints:      91555
1811.86/1817.38	c #Conflicts:     279000 | #Constraints:      92555
1811.86/1817.38	c #Conflicts:     280000 | #Constraints:      93555
1811.86/1817.38	c #Conflicts:     281000 | #Constraints:      94555
1811.86/1817.38	c #Conflicts:     282000 | #Constraints:      95555
1811.86/1817.38	c #Conflicts:     283000 | #Constraints:      96555
1811.86/1817.38	c #Conflicts:     284000 | #Constraints:      97555
1811.86/1817.38	c #Conflicts:     285000 | #Constraints:      98555
1811.86/1817.38	c #Conflicts:     286000 | #Constraints:      99555
1811.86/1817.38	c #Conflicts:     287000 | #Constraints:     100555
1811.86/1817.38	c #Conflicts:     288000 | #Constraints:     101555
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     289000 | #Constraints:      91960
2534.52/2542.10	c #Conflicts:     290000 | #Constraints:      92960
2534.52/2542.10	c #Conflicts:     291000 | #Constraints:      93960
2534.52/2542.10	c #Conflicts:     292000 | #Constraints:      94960
2534.52/2542.10	c #Conflicts:     293000 | #Constraints:      95960
2534.52/2542.10	c #Conflicts:     294000 | #Constraints:      96960
2534.52/2542.10	c #Conflicts:     295000 | #Constraints:      97960
2534.52/2542.10	c #Conflicts:     296000 | #Constraints:      98960
2534.52/2542.10	c #Conflicts:     297000 | #Constraints:      99960
2534.52/2542.10	c #Conflicts:     298000 | #Constraints:     100960
2534.52/2542.10	c #Conflicts:     299000 | #Constraints:     101960
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     300000 | #Constraints:      92161
2534.52/2542.10	c #Conflicts:     301000 | #Constraints:      93161
2534.52/2542.10	c #Conflicts:     302000 | #Constraints:      94161
2534.52/2542.10	c #Conflicts:     303000 | #Constraints:      95161
2534.52/2542.10	c #Conflicts:     304000 | #Constraints:      96161
2534.52/2542.10	c #Conflicts:     305000 | #Constraints:      97161
2534.52/2542.10	c #Conflicts:     306000 | #Constraints:      98161
2534.52/2542.10	c #Conflicts:     307000 | #Constraints:      99161
2534.52/2542.10	c #Conflicts:     308000 | #Constraints:     100161
2534.52/2542.10	c #Conflicts:     309000 | #Constraints:     101161
2534.52/2542.10	c #Conflicts:     310000 | #Constraints:     102161
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     311000 | #Constraints:      92154
2534.52/2542.10	c #Conflicts:     312000 | #Constraints:      93154
2534.52/2542.10	c #Conflicts:     313000 | #Constraints:      94154
2534.52/2542.10	c #Conflicts:     314000 | #Constraints:      95154
2534.52/2542.10	c #Conflicts:     315000 | #Constraints:      96154
2534.52/2542.10	c #Conflicts:     316000 | #Constraints:      97154
2534.52/2542.10	c #Conflicts:     317000 | #Constraints:      98154
2534.52/2542.10	c #Conflicts:     318000 | #Constraints:      99154
2534.52/2542.10	c #Conflicts:     319000 | #Constraints:     100154
2534.52/2542.10	c #Conflicts:     320000 | #Constraints:     101154
2534.52/2542.10	c #Conflicts:     321000 | #Constraints:     102154
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     322000 | #Constraints:      91952
2534.52/2542.10	c #Conflicts:     323000 | #Constraints:      92952
2534.52/2542.10	c #Conflicts:     324000 | #Constraints:      93952
2534.52/2542.10	c #Conflicts:     325000 | #Constraints:      94952
2534.52/2542.10	c #Conflicts:     326000 | #Constraints:      95952
2534.52/2542.10	c #Conflicts:     327000 | #Constraints:      96952
2534.52/2542.10	c #Conflicts:     328000 | #Constraints:      97952
2534.52/2542.10	c #Conflicts:     329000 | #Constraints:      98952
2534.52/2542.10	c #Conflicts:     330000 | #Constraints:      99952
2534.52/2542.10	c #Conflicts:     331000 | #Constraints:     100952
2534.52/2542.10	c #Conflicts:     332000 | #Constraints:     101952
2534.52/2542.10	c #Conflicts:     333000 | #Constraints:     102952
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     334000 | #Constraints:      92555
2534.52/2542.10	c #Conflicts:     335000 | #Constraints:      93555
2534.52/2542.10	c #Conflicts:     336000 | #Constraints:      94555
2534.52/2542.10	c #Conflicts:     337000 | #Constraints:      95555
2534.52/2542.10	c #Conflicts:     338000 | #Constraints:      96555
2534.52/2542.10	c #Conflicts:     339000 | #Constraints:      97555
2534.52/2542.10	c #Conflicts:     340000 | #Constraints:      98555
2534.52/2542.10	c #Conflicts:     341000 | #Constraints:      99555
2534.52/2542.10	c #Conflicts:     342000 | #Constraints:     100555
2534.52/2542.10	c #Conflicts:     343000 | #Constraints:     101555
2534.52/2542.10	c #Conflicts:     344000 | #Constraints:     102555
2534.52/2542.10	c #Conflicts:     345000 | #Constraints:     103555
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     346000 | #Constraints:      92958
2534.52/2542.10	c #Conflicts:     347000 | #Constraints:      93958
2534.52/2542.10	c #Conflicts:     348000 | #Constraints:      94958
2534.52/2542.10	c #Conflicts:     349000 | #Constraints:      95958
2534.52/2542.10	c #Conflicts:     350000 | #Constraints:      96958
2534.52/2542.10	c #Conflicts:     351000 | #Constraints:      97958
2534.52/2542.10	c #Conflicts:     352000 | #Constraints:      98958
2534.52/2542.10	c #Conflicts:     353000 | #Constraints:      99958
2534.52/2542.10	c #Conflicts:     354000 | #Constraints:     100958
2534.52/2542.10	c #Conflicts:     355000 | #Constraints:     101958
2534.52/2542.10	c #Conflicts:     356000 | #Constraints:     102958
2534.52/2542.10	c #Conflicts:     357000 | #Constraints:     103958
2534.52/2542.10	c INPROCESSING
2534.52/2542.10	c GARBAGE COLLECT
2534.52/2542.10	c #Conflicts:     358000 | #Constraints:      93160
2534.52/2542.10	c #Conflicts:     359000 | #Constraints:      94160
2534.52/2542.10	c #Conflicts:     360000 | #Constraints:      95160
2534.52/2542.10	c #Conflicts:     361000 | #Constraints:      96160
2534.52/2542.10	c #Conflicts:     362000 | #Constraints:      97160
3328.63/3338.66	c #Conflicts:     363000 | #Constraints:      98160
3328.63/3338.66	c #Conflicts:     364000 | #Constraints:      99160
3328.63/3338.66	c #Conflicts:     365000 | #Constraints:     100160
3328.63/3338.66	c #Conflicts:     366000 | #Constraints:     101160
3328.63/3338.66	c #Conflicts:     367000 | #Constraints:     102160
3328.63/3338.66	c #Conflicts:     368000 | #Constraints:     103160
3328.63/3338.66	c #Conflicts:     369000 | #Constraints:     104160
3328.63/3338.66	c INPROCESSING
3328.63/3338.66	c GARBAGE COLLECT
3328.63/3338.66	c #Conflicts:     370000 | #Constraints:      93163
3328.63/3338.66	c #Conflicts:     371000 | #Constraints:      94163
3328.63/3338.66	c #Conflicts:     372000 | #Constraints:      95163
3328.63/3338.66	c #Conflicts:     373000 | #Constraints:      96163
3328.63/3338.66	c #Conflicts:     374000 | #Constraints:      97163
3328.63/3338.66	c #Conflicts:     375000 | #Constraints:      98163
3328.63/3338.66	c #Conflicts:     376000 | #Constraints:      99163
3328.63/3338.66	c #Conflicts:     377000 | #Constraints:     100163
3328.63/3338.66	c #Conflicts:     378000 | #Constraints:     101163
3328.63/3338.66	c #Conflicts:     379000 | #Constraints:     102163
3328.63/3338.66	c #Conflicts:     380000 | #Constraints:     103163
3328.63/3338.66	c #Conflicts:     381000 | #Constraints:     104163
3328.63/3338.67	c INPROCESSING
3328.63/3338.67	c GARBAGE COLLECT
3328.63/3338.67	c #Conflicts:     382000 | #Constraints:      92963
3328.63/3338.67	c #Conflicts:     383000 | #Constraints:      93963
3328.63/3338.67	c #Conflicts:     384000 | #Constraints:      94963
3328.63/3338.67	c #Conflicts:     385000 | #Constraints:      95963
3328.63/3338.67	c #Conflicts:     386000 | #Constraints:      96963
3328.63/3338.67	c #Conflicts:     387000 | #Constraints:      97963
3328.63/3338.67	c #Conflicts:     388000 | #Constraints:      98963
3328.63/3338.67	c #Conflicts:     389000 | #Constraints:      99963
3328.63/3338.67	c #Conflicts:     390000 | #Constraints:     100963
3328.63/3338.67	c #Conflicts:     391000 | #Constraints:     101963
3328.63/3338.67	c #Conflicts:     392000 | #Constraints:     102963
3328.63/3338.67	c #Conflicts:     393000 | #Constraints:     103963
3328.63/3338.67	c #Conflicts:     394000 | #Constraints:     104963
3328.63/3338.67	c INPROCESSING
3328.63/3338.67	c GARBAGE COLLECT
3328.63/3338.67	c #Conflicts:     395000 | #Constraints:      93564
3328.63/3338.67	c #Conflicts:     396000 | #Constraints:      94564
3328.63/3338.67	c #Conflicts:     397000 | #Constraints:      95564
3328.63/3338.67	c #Conflicts:     398000 | #Constraints:      96564
3328.63/3338.67	c #Conflicts:     399000 | #Constraints:      97564
3328.63/3338.67	c #Conflicts:     400000 | #Constraints:      98564
3328.63/3338.67	c #Conflicts:     401000 | #Constraints:      99564
3328.63/3338.67	c #Conflicts:     402000 | #Constraints:     100564
3328.63/3338.67	c #Conflicts:     403000 | #Constraints:     101564
3328.63/3338.67	c #Conflicts:     404000 | #Constraints:     102564
3328.63/3338.67	c #Conflicts:     405000 | #Constraints:     103564
3328.63/3338.67	c #Conflicts:     406000 | #Constraints:     104564
3328.63/3338.67	c #Conflicts:     407000 | #Constraints:     105564
3328.63/3338.67	c INPROCESSING
3328.63/3338.67	c GARBAGE COLLECT
3328.63/3338.67	c #Conflicts:     408000 | #Constraints:      93962
3328.63/3338.67	c #Conflicts:     409000 | #Constraints:      94962
3328.63/3338.67	c #Conflicts:     410000 | #Constraints:      95962
3328.63/3338.67	c #Conflicts:     411000 | #Constraints:      96962
3328.63/3338.67	c #Conflicts:     412000 | #Constraints:      97962
3328.63/3338.67	c #Conflicts:     413000 | #Constraints:      98962
3328.63/3338.67	c #Conflicts:     414000 | #Constraints:      99962
3328.63/3338.67	c #Conflicts:     415000 | #Constraints:     100962
3328.63/3338.67	c #Conflicts:     416000 | #Constraints:     101962
3328.63/3338.67	c #Conflicts:     417000 | #Constraints:     102962
3328.63/3338.67	c #Conflicts:     418000 | #Constraints:     103962
3328.63/3338.67	c #Conflicts:     419000 | #Constraints:     104962
3328.63/3338.67	c #Conflicts:     420000 | #Constraints:     105962
3328.63/3338.67	c INPROCESSING
3328.63/3338.67	c GARBAGE COLLECT
3328.63/3338.67	c #Conflicts:     421000 | #Constraints:      94158
3328.63/3338.67	c #Conflicts:     422000 | #Constraints:      95158
3328.63/3338.67	c #Conflicts:     423000 | #Constraints:      96158
3328.63/3338.67	c #Conflicts:     424000 | #Constraints:      97158
3328.63/3338.67	c #Conflicts:     425000 | #Constraints:      98158
3328.63/3338.67	c #Conflicts:     426000 | #Constraints:      99158
3328.63/3338.67	c #Conflicts:     427000 | #Constraints:     100158
3328.63/3338.67	c #Conflicts:     428000 | #Constraints:     101158
3328.63/3338.67	c #Conflicts:     429000 | #Constraints:     102158
3328.63/3338.67	c #Conflicts:     430000 | #Constraints:     103158
3328.63/3338.67	c #Conflicts:     431000 | #Constraints:     104158
3328.63/3338.67	c #Conflicts:     432000 | #Constraints:     105158
3328.63/3338.67	c #Conflicts:     433000 | #Constraints:     106158
3328.63/3338.67	c INPROCESSING
3328.63/3338.67	c GARBAGE COLLECT
3328.63/3338.67	c #Conflicts:     434000 | #Constraints:      94159
3328.63/3338.67	c #Conflicts:     435000 | #Constraints:      95159
3328.63/3338.67	c #Conflicts:     436000 | #Constraints:      96159
3328.63/3338.67	c #Conflicts:     437000 | #Constraints:      97159
3600.02/3610.81	c #Conflicts:     438000 | #Constraints:      98159
3600.02/3610.81	c #Conflicts:     439000 | #Constraints:      99159
3600.02/3610.81	c #Conflicts:     440000 | #Constraints:     100159
3600.02/3610.81	c #Conflicts:     441000 | #Constraints:     101159
3600.02/3610.81	c #Conflicts:     442000 | #Constraints:     102159
3600.02/3610.81	c #Conflicts:     443000 | #Constraints:     103159
3600.02/3610.81	c #Conflicts:     444000 | #Constraints:     104159
3600.02/3610.81	c #Conflicts:     445000 | #Constraints:     105159
3600.02/3610.81	c #Conflicts:     446000 | #Constraints:     106159
3600.02/3610.81	c INPROCESSING
3600.02/3610.81	c GARBAGE COLLECT
3600.02/3610.81	c #Conflicts:     447000 | #Constraints:      93963
3600.02/3610.81	c #Conflicts:     448000 | #Constraints:      94963
3600.02/3610.81	c #Conflicts:     449000 | #Constraints:      95963
3600.02/3610.81	c #Conflicts:     450000 | #Constraints:      96963
3600.02/3610.81	c #Conflicts:     451000 | #Constraints:      97963
3600.02/3610.81	c #Conflicts:     452000 | #Constraints:      98963
3600.02/3610.81	c #Conflicts:     453000 | #Constraints:      99963
3600.02/3610.81	c #Conflicts:     454000 | #Constraints:     100963
3600.02/3610.81	c #Conflicts:     455000 | #Constraints:     101963
3600.02/3610.81	c #Conflicts:     456000 | #Constraints:     102963
3600.02/3610.81	c #Conflicts:     457000 | #Constraints:     103963
3600.02/3610.81	c #Conflicts:     458000 | #Constraints:     104963
3600.02/3610.81	c #Conflicts:     459000 | #Constraints:     105963
3600.02/3610.81	c #Conflicts:     460000 | #Constraints:     106963
3600.02/3610.81	c INPROCESSING
3600.02/3610.81	c GARBAGE COLLECT
3600.02/3610.81	c #Conflicts:     461000 | #Constraints:      94565
3600.02/3610.81	c #Conflicts:     462000 | #Constraints:      95565
3600.02/3610.81	c cpu time 3596.24 s
3600.02/3610.81	c deterministic time 1 1.00e+00
3600.02/3610.81	c optimization time 3595.54 s
3600.02/3610.81	c total solve time 0 s
3600.02/3610.81	c core-guided solve time 0 s
3600.02/3610.81	c propagation time 0.070992 s
3600.02/3610.81	c conflict analysis time 0 s
3600.02/3610.81	c propagations 0
3600.02/3610.81	c resolve steps 0
3600.02/3610.81	c decisions 0
3600.02/3610.81	c conflicts 0
3600.02/3610.81	c restarts 0
3600.02/3610.81	c inprocessing phases 0
3600.02/3610.81	c garbage collections 0 ,( -nan )
3600.02/3610.81	c input clauses 80258 ,( 100.00 )
3600.02/3610.81	c input cardinalities 0 ,( 0.00 )
3600.02/3610.81	c input general constraints 0 ,( 0.00 )
3600.02/3610.81	c input average constraint length 2.00
3600.02/3610.81	c input average constraint degree 1.00
3600.02/3610.81	c learned clauses 0 ,( 0.00 )
3600.02/3610.81	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.81	c learned general constraints 0 ,( 0.00 )
3600.02/3610.81	c learned average constraint length 0.00
3600.02/3610.81	c learned average constraint degree 0.00
3600.02/3610.81	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.81	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.81	c watched   constraints 0 ,( -nan ) 
3600.02/3610.81	c counting  constraints 0 ,( -nan ) 
3600.02/3610.81	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.81	c gcd simplifications 0
3600.02/3610.81	c detected cardinalities 0
3600.02/3610.81	c weakened non-implied lits 0
3600.02/3610.81	c weakened non-implying lits 0
3600.02/3610.81	c original variables 1150
3600.02/3610.81	c clausal propagations 0
3600.02/3610.81	c cardinality propagations 0
3600.02/3610.81	c watched propagations 0
3600.02/3610.81	c counting propagations 0
3600.02/3610.81	c watch lookups 0
3600.02/3610.81	c watch backjump lookups 0
3600.02/3610.81	c watch checks 0
3600.02/3610.81	c propagation checks 0
3600.02/3610.81	c constraint additions 0
3600.02/3610.81	c trail pops 0
3600.02/3610.81	c formula constraints 80258
3600.02/3610.81	c learned constraints 0
3600.02/3610.81	c bound constraints 0
3600.02/3610.81	c core-guided constraints 0
3600.02/3610.81	c encountered formula constraints 0
3600.02/3610.81	c encountered learned constraints 0
3600.02/3610.81	c encountered bound constraints 0
3600.02/3610.81	c encountered core-guided constraints 0
3600.02/3610.81	c LP total time 0 s
3600.02/3610.81	c LP solve time 0 s
3600.02/3610.81	c LP constraints added 0
3600.02/3610.81	c LP constraints removed 0
3600.02/3610.81	c LP pivots internal 0
3600.02/3610.81	c LP pivots root 0
3600.02/3610.81	c LP calls 0
3600.02/3610.81	c LP optimalities 0
3600.02/3610.81	c LP no pivot count 0
3600.02/3610.81	c LP infeasibilities 0
3600.02/3610.81	c LP valid Farkas constraints 0
3600.02/3610.81	c LP learned Farkas constraints 0
3600.02/3610.81	c LP basis resets 0
3600.02/3610.81	c LP cycling count 0
3600.02/3610.81	c LP singular count 0
3600.02/3610.81	c LP no primal count 0
3600.02/3610.81	c LP no farkas count 0
3600.02/3610.81	c LP other issue count 0
3600.02/3610.81	c LP Gomory cuts 0
3600.02/3610.81	c LP learned cuts 0
3600.02/3610.81	c LP deleted cuts 0
3600.02/3610.81	c LP encountered Gomory constraints 0
3600.02/3610.81	c LP encountered Farkas constraints 0
3600.02/3610.81	c LP encountered learned Farkas constraints 0
3600.02/3610.81	c CG auxiliary variables introduced 0
3600.02/3610.81	c CG solutions found 0
3600.02/3610.81	c CG cores constructed 0
3600.02/3610.81	c CG core cardinality constraints returned 0
3600.02/3610.81	c CG unit cores 0
3600.02/3610.81	c CG single cores 0
3600.02/3610.81	c CG blocks removed during cardinality reduction 0
3600.02/3610.81	c CG first core best 0
3600.02/3610.81	c CG decision core best 0
3600.02/3610.81	c CG core reduction tie 0
3600.02/3610.81	c CG core degree average 0.00
3600.02/3610.81	c CG core slack average 0.00
3600.02/3610.81	c CG core upper bound improvements 0
3600.02/3610.81	c STR number of successful calls 0
3600.02/3610.81	c STR number of unsuccessful calls 0
3600.02/3610.81	c STR number of inconclusive calls 0
3600.02/3610.81	c STR number of successful attempts 0
3600.02/3610.81	c STR number of unsuccessful attempts 0
3600.02/3610.81	c STR number of inconclusive attempts 0
3600.02/3610.81	c STR average degree increase per successful call inf
3600.02/3610.81	c STR average degree increase per successful attempt inf
3600.02/3610.81	c STR total number of conflicts for successful attempts 0
3600.02/3610.81	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.81	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.81	c STR average number of conflicts per successful attempt inf
3600.02/3610.81	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.81	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.81	c AVG.sumWPerc -nan 
3600.02/3610.81	c bigint constraints 0 
3600.02/3610.81	s UNKNOWN
3600.02/3610.81	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: 63837 MiB (62788 MiB free)
  memory of node 1: 64465 MiB (63038 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100109 s]*
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128838056/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=56800 memory=11936 CPUtime=0.09 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 772 0 0 0 7 2 0 0 20 0 1 0 45277344 58163200 2984 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 14200 2984 1952 1147 0 1627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60992 KiB
Current children cumulated memory: 14624 KiB

[startup+0.213692 s]*
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128837300/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=58284 memory=13464 CPUtime=0.2 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 1178 0 0 0 15 5 0 0 20 0 1 0 45277344 59682816 3366 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 14571 3366 1952 1147 0 1998 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62476 KiB
Current children cumulated memory: 16152 KiB

[startup+0.313686 s]*
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128836292/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=59624 memory=14504 CPUtime=0.3 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 1521 0 0 0 24 6 0 0 20 0 1 0 45277344 61054976 3626 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 14906 3626 1952 1147 0 2333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63816 KiB
Current children cumulated memory: 17192 KiB

[startup+0.700388 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128830840/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=118368 memory=51008 CPUtime=0.67 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 6462 0 0 0 53 14 0 0 20 0 1 0 45277344 121208832 12752 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 29592 12752 2272 1147 0 17019 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122560 KiB
Current children cumulated memory: 53696 KiB

[startup+1.50041 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128718368/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=194932 memory=128096 CPUtime=1.47 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21120 0 0 0 120 27 0 0 20 0 1 0 45277344 199610368 32024 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 48733 32024 2368 1147 0 36160 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 199124 KiB
Current children cumulated memory: 130784 KiB

[startup+3.11341 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128710808/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=194932 memory=128096 CPUtime=3.08 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21124 0 0 0 280 28 0 0 20 0 1 0 45277344 199610368 32024 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 48733 32024 2368 1147 0 36160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 199124 KiB
Current children cumulated memory: 130784 KiB

[startup+6.30044 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128710844/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=225284 memory=153596 CPUtime=6.25 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21358 0 0 0 595 30 0 0 20 0 1 0 45277344 230690816 38399 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 56321 38399 2368 1147 0 43748 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 229476 KiB
Current children cumulated memory: 156284 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128686524/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=225284 memory=158336 CPUtime=12.63 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21548 0 0 0 1232 31 0 0 20 0 1 0 45277344 230690816 39584 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 56321 39584 2368 1147 0 43748 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 229476 KiB
Current children cumulated memory: 161024 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 39747
/proc/meminfo: memFree=128708500/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=243584 memory=165128 CPUtime=25.4 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21867 0 0 0 2503 37 0 0 20 0 1 0 45277344 249430016 41282 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 60896 41282 2368 1147 0 48323 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 247776 KiB
Current children cumulated memory: 167816 KiB

[startup+51.1137 s]
/proc/loadavg: 4.11 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128663160/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=243584 memory=173332 CPUtime=50.93 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 21873 0 0 0 5051 42 0 0 20 0 1 0 45277344 249430016 43333 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 60896 43333 2368 1147 0 48323 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 247776 KiB
Current children cumulated memory: 176020 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/258 39749
/proc/meminfo: memFree=128616972/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=274404 memory=185900 CPUtime=101.95 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 22462 0 0 0 10141 54 0 0 20 0 1 0 45277344 280989696 46475 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 68601 46475 2368 1147 0 56028 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 278596 KiB
Current children cumulated memory: 188588 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 39751
/proc/meminfo: memFree=128560760/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=278072 memory=194660 CPUtime=161.77 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 23132 0 0 0 16112 65 0 0 20 0 1 0 45277344 284745728 48665 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 69518 48665 2368 1147 0 56945 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 282264 KiB
Current children cumulated memory: 197348 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 39753
/proc/meminfo: memFree=128497776/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=283640 memory=206036 CPUtime=221.59 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 24467 0 0 0 22085 74 0 0 20 0 1 0 45277344 290447360 51509 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 70910 51509 2368 1147 0 58337 0

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

/proc/39747/statm: 130693 102066 2368 1147 0 118120 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 526964 KiB
Current children cumulated memory: 410952 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/254 39899
/proc/meminfo: memFree=127398756/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=523188 memory=408520 CPUtime=3093.04 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 50820 0 0 0 308958 346 0 0 20 0 1 0 45277344 535744512 102130 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 130797 102130 2368 1147 0 118224 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 527380 KiB
Current children cumulated memory: 411208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.15 5/254 39901
/proc/meminfo: memFree=127367840/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=533784 memory=421348 CPUtime=3152.85 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 52998 0 0 0 314935 350 0 0 20 0 1 0 45277344 546594816 105337 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 133446 105337 2368 1147 0 120873 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 537976 KiB
Current children cumulated memory: 424036 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/255 39904
/proc/meminfo: memFree=127360512/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=533784 memory=425060 CPUtime=3212.66 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 53049 0 0 0 320914 352 0 0 20 0 1 0 45277344 546594816 106265 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 133446 106265 2368 1147 0 120873 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 537976 KiB
Current children cumulated memory: 427748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/255 39917
/proc/meminfo: memFree=127355076/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=533940 memory=428004 CPUtime=3272.49 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 53090 0 0 0 326894 355 0 0 20 0 1 0 45277344 546754560 107001 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 133485 107001 2368 1147 0 120912 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 538132 KiB
Current children cumulated memory: 430692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/256 39926
/proc/meminfo: memFree=127324020/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=538396 memory=436064 CPUtime=3332.32 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 54072 0 0 0 332874 358 0 0 20 0 1 0 45277344 551317504 109016 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 134599 109016 2368 1147 0 122026 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 542588 KiB
Current children cumulated memory: 438752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/257 39929
/proc/meminfo: memFree=127324512/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=538396 memory=436064 CPUtime=3392.15 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 54072 0 0 0 338853 362 0 0 20 0 1 0 45277344 551317504 109016 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 134599 109016 2368 1147 0 122026 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 542588 KiB
Current children cumulated memory: 438752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/257 39931
/proc/meminfo: memFree=127310396/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=542240 memory=441444 CPUtime=3451.98 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 54894 0 0 0 344832 366 0 0 20 0 1 0 45277344 555253760 110361 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 135560 110361 2368 1147 0 122987 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 546432 KiB
Current children cumulated memory: 444132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.57 4.25 4.17 5/258 40072
/proc/meminfo: memFree=128705196/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=542240 memory=441572 CPUtime=3511.76 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 54935 0 0 0 350801 375 0 0 20 0 1 0 45277344 555253760 110393 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 135560 110393 2368 1147 0 122987 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 546432 KiB
Current children cumulated memory: 444260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.26 4.18 5/258 40074
/proc/meminfo: memFree=128624760/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=542240 memory=441572 CPUtime=3571.6 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 55026 0 0 0 356782 378 0 0 20 0 1 0 45277344 555253760 110393 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 135560 110393 2368 1147 0 122987 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 546432 KiB
Current children cumulated memory: 444260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.35 4.26 4.18 5/258 40074
/proc/meminfo: memFree=128601432/131382116 swapFree=33010684/33010684
[pid=39745] ppid=39742 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/39745/stat : 39745 (run-opt-log.sh) S 39742 39745 39143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45277343 4292608 672 18446744073709551615 94606313828352 94606314722885 140736161582944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94606314961936 94606315009680 94606337900544 140736161589537 140736161589732 140736161589732 140736161595334 0
/proc/39745/statm: 1048 672 640 219 0 110 0
[pid=39747] ppid=39745 vsize=544804 memory=444132 CPUtime=3600.02 cores=5,7
/proc/39747/stat : 39747 (roundingsat) R 39745 39745 39143 0 -1 4194304 55724 0 0 0 359622 380 0 0 20 0 1 0 45277344 557879296 111033 18446744073709551615 4227072 8923433 140736410683696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39940096 140736410687826 140736410688040 140736410688040 140736410693610 0
/proc/39747/statm: 136201 111033 2368 1147 0 123628 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 548996 KiB
Current children cumulated memory: 446820 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000837 s, system=0.004379 s

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

# cumulated CPU time of all completed processes:  user=3596.25 s, system=3.81011 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): 3610.83
CPU time (s): 3600.06
CPU user time (s): 3596.25
CPU system time (s): 3.81011
CPU usage (%): 99.7018
Max. virtual memory (cumulated for all children) (KiB): 548996
Max. memory (cumulated for all children) (KiB): 446820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 3.81011
maximum resident set size= 444516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 169552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230
involuntary context switches= 4857


# summary of solver processes directly reported to runsolver:
#   pid: 39745,39747
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.25
#   total CPU system time (s): 3.81011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7673 second user time and 36.1192 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 17:06:19
IDJOB=4484907
IDBENCH=146675
IDSOLVER=3351
FILE ID=nodeC010/4484907-1751295979
RUNJOBID= nodeC010-1751292234-39156
SLURM_JOB_ID= 9594261
Free space on /tmp= 432664 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484907-1751295979/watcher-4484907-1751295979 -o /tmp/evaluation-result-4484907-1751295979/solver-4484907-1751295979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39156 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484907-1751295979.opb PROOFDIR/proof-4484907-1751295979

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

MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7
RANDOM SEED=2037655857

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128841452 kB
MemAvailable:   129252392 kB
Buffers:            3280 kB
Cached:          1218620 kB
SwapCached:            0 kB
Active:          1016680 kB
Inactive:         913816 kB
Active(anon):     726584 kB
Inactive(anon):        0 kB
Active(file):     290096 kB
Inactive(file):   913816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11448 kB
Writeback:            48 kB
AnonPages:        711696 kB
Mapped:           117132 kB
Shmem:             17960 kB
KReclaimable:      93308 kB
Slab:             177116 kB
SReclaimable:      93308 kB
SUnreclaim:        83808 kB
KernelStack:        4160 kB
PageTables:         4592 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1137540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC010 at 2025-06-30 18:06:30