Trace number 4523148

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.05 3610.23

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
MD5SUMc0a31fcc227365986291d6c595cc47ca
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-7236
Best CPU time to get the best result obtained on this benchmark0.231602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6424
Total number of constraints180
Number of constraints which are clauses8
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1816
Number of terms in the objective function 6423
Biggest coefficient in the objective function 261
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 684049
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 684049
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 6424 #constraints 180
0.00/0.02	c objective is ce32 
0.00/0.02	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02	c GLOBAL bounds - >= -684049 @ 0.010743
0.00/0.03	c GLOBAL bounds - >= -684049 @ 0.012599
0.00/0.04	c GLOBAL bounds - >= -684049 @ 0.014078
0.00/0.04	c GLOBAL bounds - >= -684049 @ 0.016717
0.00/0.05	c GLOBAL bounds - >= -684049 @ 0.021765
0.00/0.06	c GLOBAL bounds - >= -684049 @ 0.02356
0.00/0.06	c GLOBAL bounds - >= -684049 @ 0.02582
0.00/0.07	c GLOBAL bounds - >= -684049 @ 0.029042
0.00/0.07	c GLOBAL bounds - >= -684049 @ 0.034714
0.00/0.08	c GLOBAL bounds - >= -684049 @ 0.038443
0.00/0.08	c GLOBAL bounds - >= -684049 @ 0.040667
0.00/0.09	c GLOBAL bounds - >= -684049 @ 0.043519
0.00/0.09	c GLOBAL bounds - >= -684049 @ 0.046695
0.00/0.10	c GLOBAL bounds - >= -684049 @ 0.048816
0.09/0.11	c GLOBAL bounds - >= -684049 @ 0.054598
0.09/0.12	c GLOBAL bounds - >= -684049 @ 0.060595
0.09/0.12	c GLOBAL bounds - >= -684049 @ 0.064759
0.09/0.13	c GLOBAL bounds - >= -684049 @ 0.072007
0.09/0.14	c GLOBAL bounds - >= -684049 @ 0.075772
0.09/0.14	c GLOBAL bounds - >= -684049 @ 0.079492
0.09/0.15	c GLOBAL bounds - >= -684049 @ 0.080531
0.09/0.16	c GLOBAL bounds - >= -684049 @ 0.083471
0.09/0.17	c GLOBAL bounds - >= -684049 @ 0.087785
0.09/0.17	c GLOBAL bounds - >= -684049 @ 0.091767
0.09/0.18	c GLOBAL bounds - >= -684049 @ 0.095668
0.09/0.18	c GLOBAL bounds - >= -684049 @ 0.098274
0.09/0.19	c GLOBAL bounds - >= -684049 @ 0.101803
0.09/0.20	c GLOBAL bounds - >= -684049 @ 0.10785
0.09/0.20	c GLOBAL bounds - >= -684049 @ 0.110539
0.19/0.21	c GLOBAL bounds - >= -684049 @ 0.112746
0.19/0.22	c GLOBAL bounds - >= -684049 @ 0.113423
0.19/0.22	c GLOBAL bounds - >= -684049 @ 0.118416
0.19/0.23	c GLOBAL bounds - >= -684049 @ 0.127109
0.19/0.24	c GLOBAL bounds - >= -684049 @ 0.13309
0.19/0.25	c GLOBAL bounds - >= -684049 @ 0.13649
0.19/0.25	c GLOBAL bounds - >= -684049 @ 0.139827
0.19/0.26	c GLOBAL bounds - >= -684049 @ 0.142393
0.19/0.26	c GLOBAL bounds - >= -684049 @ 0.149001
0.19/0.27	c GLOBAL bounds - >= -684049 @ 0.152494
0.19/0.27	c GLOBAL bounds - >= -684049 @ 0.155675
0.19/0.28	c GLOBAL bounds - >= -684049 @ 0.158009
0.19/0.28	c GLOBAL bounds - >= -684049 @ 0.162189
0.19/0.30	c GLOBAL bounds - >= -684049 @ 0.17504
0.29/0.31	c GLOBAL bounds - >= -684049 @ 0.180066
0.29/0.33	c GLOBAL bounds - >= -684049 @ 0.193216
0.29/0.33	c GLOBAL bounds - >= -684049 @ 0.195645
0.29/0.34	c GLOBAL bounds - >= -684049 @ 0.200236
0.29/0.35	c GLOBAL bounds - >= -684049 @ 0.206972
0.29/0.36	c GLOBAL bounds - >= -684049 @ 0.21377
0.29/0.36	c GLOBAL bounds - >= -684049 @ 0.217332
0.29/0.37	c GLOBAL bounds - >= -684049 @ 0.223313
0.29/0.38	c GLOBAL bounds - >= -684049 @ 0.229436
0.29/0.39	c GLOBAL bounds - >= -684049 @ 0.234875
0.29/0.40	c GLOBAL bounds - >= -684049 @ 0.241351
0.39/0.41	c GLOBAL bounds - >= -684049 @ 0.249718
0.39/0.41	c GLOBAL bounds - >= -684049 @ 0.254321
0.39/0.42	c GLOBAL bounds - >= -684049 @ 0.25991
0.39/0.43	c GLOBAL bounds - >= -684049 @ 0.261721
0.39/0.44	c GLOBAL bounds - >= -684049 @ 0.268196
0.39/0.44	c GLOBAL bounds - >= -684049 @ 0.273084
0.49/0.52	c GLOBAL bounds - >= -684049 @ 0.34807
0.58/0.68	c GLOBAL bounds - >= -684049 @ 0.496475
0.68/0.70	c GLOBAL bounds - >= -684049 @ 0.514513
0.68/0.73	c GLOBAL bounds - >= -684049 @ 0.537652
0.68/0.74	c GLOBAL bounds - >= -684049 @ 0.548453
0.68/0.75	c GLOBAL bounds - >= -684049 @ 0.55441
0.68/0.76	c GLOBAL bounds - >= -684049 @ 0.559309
0.68/0.79	c GLOBAL bounds - >= -684049 @ 0.585234
0.78/0.82	c GLOBAL bounds - >= -684049 @ 0.614998
0.78/0.83	c GLOBAL bounds - >= -684049 @ 0.624491
0.78/0.85	c GLOBAL bounds - >= -684049 @ 0.642812
0.78/0.86	c GLOBAL bounds - >= -684049 @ 0.647808
0.78/0.87	c GLOBAL bounds - >= -684049 @ 0.65392
1.08/1.19	c GLOBAL bounds - >= -684049 @ 0.963912
1.17/1.22	c GLOBAL bounds - >= -684049 @ 0.990427
1.57/1.60	c GLOBAL bounds - >= -684049 @ 1.36396
1.57/1.68	c GLOBAL bounds - >= -684049 @ 1.44197
1.77/1.83	c GLOBAL bounds - >= -684049 @ 1.58176
1.98/2.02	c GLOBAL bounds - >= -684049 @ 1.75936
2.08/2.11	c GLOBAL bounds - >= -684049 @ 1.85406
2.57/2.62	c GLOBAL bounds - >= -684049 @ 2.35644
4.27/4.31	c #Conflicts:       1000 | #Constraints:       1338
4.27/4.31	c GLOBAL bounds - >= -684049 @ 4.02778
4.46/4.56	c GLOBAL bounds - >= -684049 @ 4.26832
5.66/5.74	c GLOBAL bounds - >= -684049 @ 5.43782
5.87/5.90	c GLOBAL bounds - >= -684049 @ 5.59357
5.87/5.93	c GLOBAL bounds - >= -684049 @ 5.62301
5.97/6.02	c GLOBAL bounds - >= -684049 @ 5.70908
5.97/6.06	c GLOBAL bounds - >= -684049 @ 5.7405
27.90/28.01	c #Conflicts:       2000 | #Constraints:       2352
27.90/28.01	c INPROCESSING
27.90/28.01	c GARBAGE COLLECT
27.90/28.01	c #Conflicts:       3000 | #Constraints:       2361
27.90/28.01	c GLOBAL bounds - >= -684049 @ 27.5215
39.56/39.74	c #Conflicts:       4000 | #Constraints:       3363
39.56/39.74	c INPROCESSING
39.56/39.74	c GARBAGE COLLECT
39.56/39.74	c #Conflicts:       5000 | #Constraints:       2768
39.56/39.74	c GLOBAL bounds - >= -684049 @ 39.1573
40.56/40.78	c GLOBAL bounds - >= -684049 @ 40.1956
58.60/58.81	c #Conflicts:       6000 | #Constraints:       3772
58.60/58.81	c GLOBAL bounds - >= -684049 @ 58.1369
67.98/68.24	c INPROCESSING
67.98/68.24	c GARBAGE COLLECT
67.98/68.24	c #Conflicts:       7000 | #Constraints:       2774
67.98/68.24	c GLOBAL bounds - >= -684049 @ 67.5061
68.27/68.52	c GLOBAL bounds - >= -684049 @ 67.773
77.34/77.66	c #Conflicts:       8000 | #Constraints:       3778
77.34/77.66	c GLOBAL bounds - >= -684049 @ 76.845
77.54/77.85	c GLOBAL bounds - >= -684049 @ 77.0267
85.03/85.32	c #Conflicts:       9000 | #Constraints:       4782
85.03/85.32	c INPROCESSING
85.03/85.32	c GARBAGE COLLECT
85.03/85.32	c GLOBAL bounds - >= -684049 @ 84.4501
96.99/97.33	c #Conflicts:      10000 | #Constraints:       3485
96.99/97.33	c #Conflicts:      11000 | #Constraints:       4485
96.99/97.33	c GLOBAL bounds - >= -684049 @ 96.3977
111.05/111.49	c #Conflicts:      12000 | #Constraints:       5487
111.05/111.49	c INPROCESSING
111.05/111.49	c GARBAGE COLLECT
111.05/111.49	c GLOBAL bounds - >= -684049 @ 110.485
114.34/114.73	c GLOBAL bounds - >= -684049 @ 113.699
116.53/116.96	c GLOBAL bounds - >= -684049 @ 115.912
119.63/120.08	c GLOBAL bounds - >= -684049 @ 119.009
168.27/168.82	c #Conflicts:      13000 | #Constraints:       3945
168.27/168.82	c #Conflicts:      14000 | #Constraints:       4945
168.27/168.82	c #Conflicts:      15000 | #Constraints:       5945
168.27/168.82	c INPROCESSING
168.27/168.82	c GARBAGE COLLECT
168.27/168.82	c #Conflicts:      16000 | #Constraints:       4177
168.27/168.82	c #Conflicts:      17000 | #Constraints:       5177
168.27/168.82	c #Conflicts:      18000 | #Constraints:       6177
168.27/168.82	c INPROCESSING
168.27/168.82	c GARBAGE COLLECT
168.27/168.82	c #Conflicts:      19000 | #Constraints:       4193
168.27/168.82	c GLOBAL bounds - >= -684049 @ 167.456
188.21/188.80	c #Conflicts:      20000 | #Constraints:       5195
188.21/188.80	c #Conflicts:      21000 | #Constraints:       6195
188.21/188.80	c INPROCESSING
188.21/188.80	c GARBAGE COLLECT
188.21/188.80	c GLOBAL bounds - >= -684049 @ 187.29
188.21/188.86	c GLOBAL bounds - >= -684049 @ 187.35
211.24/211.98	c #Conflicts:      22000 | #Constraints:       3999
211.24/211.98	c #Conflicts:      23000 | #Constraints:       4999
211.24/211.98	c #Conflicts:      24000 | #Constraints:       5999
211.24/211.98	c GLOBAL bounds - >= -684049 @ 210.35
211.44/212.10	c GLOBAL bounds - >= -684049 @ 210.468
211.53/212.21	c GLOBAL bounds - >= -684049 @ 210.571
211.64/212.31	c GLOBAL bounds - >= -684049 @ 210.662
211.73/212.41	c GLOBAL bounds - >= -684049 @ 210.765
214.13/214.84	c GLOBAL bounds - >= -684049 @ 213.164
214.52/215.21	c GLOBAL bounds - >= -684049 @ 213.53
216.23/216.91	c GLOBAL bounds - >= -684049 @ 215.225
242.55/243.38	c #Conflicts:      25000 | #Constraints:       7015
242.55/243.38	c INPROCESSING
242.55/243.38	c GARBAGE COLLECT
242.55/243.38	c #Conflicts:      26000 | #Constraints:       4617
242.55/243.38	c #Conflicts:      27000 | #Constraints:       5617
242.55/243.38	c GLOBAL bounds - >= -684049 @ 241.585
243.64/244.43	c GLOBAL bounds - >= -684049 @ 242.625
250.12/250.92	c #Conflicts:      28000 | #Constraints:       6621
250.12/250.92	c GLOBAL bounds - >= -684049 @ 249.083
255.61/256.48	c GLOBAL bounds - >= -684049 @ 254.604
280.43/281.31	c #Conflicts:      29000 | #Constraints:       7625
280.43/281.31	c INPROCESSING
280.43/281.31	c GARBAGE COLLECT
280.43/281.31	c #Conflicts:      30000 | #Constraints:       5030
280.43/281.31	c #Conflicts:      31000 | #Constraints:       6030
280.43/281.31	c GLOBAL bounds - >= -684049 @ 279.294
289.70/290.66	c #Conflicts:      32000 | #Constraints:       7032
289.70/290.66	c GLOBAL bounds - >= -684049 @ 288.581
338.35/339.48	c #Conflicts:      33000 | #Constraints:       8034
338.35/339.48	c INPROCESSING
338.35/339.48	c GARBAGE COLLECT
338.35/339.48	c #Conflicts:      34000 | #Constraints:       5243
338.35/339.48	c #Conflicts:      35000 | #Constraints:       6243
338.35/339.48	c #Conflicts:      36000 | #Constraints:       7243
338.35/339.48	c #Conflicts:      37000 | #Constraints:       8243
338.35/339.48	c INPROCESSING
338.35/339.48	c GARBAGE COLLECT
338.35/339.48	c GLOBAL bounds - >= -684049 @ 337.146
339.85/340.91	c GLOBAL bounds - >= -684049 @ 338.572
341.25/342.34	c GLOBAL bounds - >= -684049 @ 339.992
350.42/351.57	c #Conflicts:      38000 | #Constraints:       5246
350.42/351.57	c #Conflicts:      39000 | #Constraints:       6246
350.42/351.57	c GLOBAL bounds - >= -684049 @ 349.18
366.57/367.78	c #Conflicts:      40000 | #Constraints:       7248
366.57/367.78	c #Conflicts:      41000 | #Constraints:       8248
366.57/367.78	c GLOBAL bounds - >= -684049 @ 365.306
369.56/370.71	c INPROCESSING
369.56/370.71	c GARBAGE COLLECT
369.56/370.71	c #Conflicts:      42000 | #Constraints:       5048
369.56/370.71	c GLOBAL bounds - >= -684049 @ 368.224
385.82/387.09	c #Conflicts:      43000 | #Constraints:       6050
385.82/387.09	c #Conflicts:      44000 | #Constraints:       7050
385.82/387.09	c GLOBAL bounds - >= -684049 @ 384.515
513.13/514.77	c #Conflicts:      45000 | #Constraints:       8052
513.13/514.77	c #Conflicts:      46000 | #Constraints:       9052
513.13/514.77	c INPROCESSING
513.13/514.77	c GARBAGE COLLECT
513.13/514.77	c #Conflicts:      47000 | #Constraints:       5661
513.13/514.77	c #Conflicts:      48000 | #Constraints:       6661
513.13/514.77	c #Conflicts:      49000 | #Constraints:       7661
513.13/514.77	c #Conflicts:      50000 | #Constraints:       8661
513.13/514.77	c #Conflicts:      51000 | #Constraints:       9661
513.13/514.77	c INPROCESSING
513.13/514.77	c GARBAGE COLLECT
513.13/514.77	c #Conflicts:      52000 | #Constraints:       6069
513.13/514.77	c #Conflicts:      53000 | #Constraints:       7069
513.13/514.77	c #Conflicts:      54000 | #Constraints:       8069
513.13/514.77	c #Conflicts:      55000 | #Constraints:       9069
513.13/514.77	c #Conflicts:      56000 | #Constraints:      10069
513.13/514.77	c INPROCESSING
513.13/514.77	c GARBAGE COLLECT
513.13/514.77	c #Conflicts:      57000 | #Constraints:       6276
513.13/514.77	c #Conflicts:      58000 | #Constraints:       7276
513.13/514.77	c #Conflicts:      59000 | #Constraints:       8276
513.13/514.77	c #Conflicts:      60000 | #Constraints:       9276
513.13/514.77	c #Conflicts:      61000 | #Constraints:      10276
513.13/514.77	c INPROCESSING
513.13/514.77	c GARBAGE COLLECT
513.13/514.77	c GLOBAL bounds - >= -684049 @ 511.528
550.11/551.83	c #Conflicts:      62000 | #Constraints:       6293
550.11/551.83	c #Conflicts:      63000 | #Constraints:       7293
550.11/551.83	c #Conflicts:      64000 | #Constraints:       8293
550.11/551.83	c #Conflicts:      65000 | #Constraints:       9293
550.11/551.83	c #Conflicts:      66000 | #Constraints:      10293
550.11/551.83	c GLOBAL bounds - >= -684049 @ 548.421
553.51/555.29	c GLOBAL bounds - >= -684049 @ 551.864
577.14/578.97	c INPROCESSING
577.14/578.97	c GARBAGE COLLECT
577.14/578.97	c #Conflicts:      67000 | #Constraints:       6077
577.14/578.97	c #Conflicts:      68000 | #Constraints:       7077
577.14/578.97	c #Conflicts:      69000 | #Constraints:       8077
577.14/578.97	c GLOBAL bounds - >= -684049 @ 575.431
587.90/589.77	c #Conflicts:      70000 | #Constraints:       9079
587.90/589.77	c #Conflicts:      71000 | #Constraints:      10079
587.90/589.77	c GLOBAL bounds - >= -684049 @ 586.173
628.98/630.99	c #Conflicts:      72000 | #Constraints:      11081
628.98/630.99	c INPROCESSING
628.98/630.99	c GARBAGE COLLECT
628.98/630.99	c #Conflicts:      73000 | #Constraints:       6691
628.98/630.99	c #Conflicts:      74000 | #Constraints:       7691
628.98/630.99	c #Conflicts:      75000 | #Constraints:       8691
628.98/630.99	c #Conflicts:      76000 | #Constraints:       9691
628.98/630.99	c GLOBAL bounds - >= -684049 @ 627.166
629.19/631.10	c GLOBAL bounds - >= -684049 @ 627.284
629.28/631.25	c GLOBAL bounds - >= -684049 @ 627.427
629.68/631.60	c GLOBAL bounds - >= -684049 @ 627.774
629.87/631.81	c GLOBAL bounds - >= -684049 @ 627.98
638.85/640.87	c #Conflicts:      77000 | #Constraints:      10701
638.85/640.87	c GLOBAL bounds - >= -684049 @ 636.984
659.19/661.25	c #Conflicts:      78000 | #Constraints:      11703
659.19/661.25	c INPROCESSING
659.19/661.25	c GARBAGE COLLECT
659.19/661.25	c #Conflicts:      79000 | #Constraints:       7093
659.19/661.25	c #Conflicts:      80000 | #Constraints:       8093
659.19/661.25	c GLOBAL bounds - >= -684049 @ 657.267
695.57/697.70	c #Conflicts:      81000 | #Constraints:       9095
695.57/697.70	c #Conflicts:      82000 | #Constraints:      10095
695.57/697.70	c #Conflicts:      83000 | #Constraints:      11095
695.57/697.70	c #Conflicts:      84000 | #Constraints:      12095
695.57/697.70	c INPROCESSING
695.57/697.70	c GARBAGE COLLECT
695.57/697.70	c GLOBAL bounds - >= -684049 @ 693.539
822.39/824.96	c #Conflicts:      85000 | #Constraints:       7298
822.39/824.96	c #Conflicts:      86000 | #Constraints:       8298
822.39/824.96	c #Conflicts:      87000 | #Constraints:       9298
822.39/824.96	c #Conflicts:      88000 | #Constraints:      10298
822.39/824.96	c #Conflicts:      89000 | #Constraints:      11298
822.39/824.96	c #Conflicts:      90000 | #Constraints:      12298
822.39/824.96	c INPROCESSING
822.39/824.96	c GARBAGE COLLECT
822.39/824.96	c #Conflicts:      91000 | #Constraints:       7295
822.39/824.96	c #Conflicts:      92000 | #Constraints:       8295
822.39/824.96	c #Conflicts:      93000 | #Constraints:       9295
822.39/824.96	c #Conflicts:      94000 | #Constraints:      10295
822.39/824.96	c #Conflicts:      95000 | #Constraints:      11295
822.39/824.96	c #Conflicts:      96000 | #Constraints:      12295
822.39/824.96	c INPROCESSING
822.39/824.96	c GARBAGE COLLECT
822.39/824.96	c #Conflicts:      97000 | #Constraints:       7103
822.39/824.96	c #Conflicts:      98000 | #Constraints:       8103
822.39/824.96	c #Conflicts:      99000 | #Constraints:       9103
822.39/824.96	c #Conflicts:     100000 | #Constraints:      10103
822.39/824.96	c #Conflicts:     101000 | #Constraints:      11103
822.39/824.96	c #Conflicts:     102000 | #Constraints:      12103
822.39/824.96	c #Conflicts:     103000 | #Constraints:      13103
822.39/824.96	c INPROCESSING
822.39/824.96	c GARBAGE COLLECT
822.39/824.96	c GLOBAL bounds - >= -684049 @ 820.251
887.49/890.21	c #Conflicts:     104000 | #Constraints:       7700
887.49/890.21	c #Conflicts:     105000 | #Constraints:       8700
887.49/890.21	c #Conflicts:     106000 | #Constraints:       9700
887.49/890.21	c #Conflicts:     107000 | #Constraints:      10700
887.49/890.21	c #Conflicts:     108000 | #Constraints:      11700
887.49/890.21	c #Conflicts:     109000 | #Constraints:      12700
887.49/890.21	c GLOBAL bounds - >= -684049 @ 885.21
931.75/934.60	c #Conflicts:     110000 | #Constraints:      13702
931.75/934.60	c INPROCESSING
931.75/934.60	c GARBAGE COLLECT
931.75/934.60	c #Conflicts:     111000 | #Constraints:       8099
931.75/934.60	c #Conflicts:     112000 | #Constraints:       9099
931.75/934.60	c #Conflicts:     113000 | #Constraints:      10099
931.75/934.60	c #Conflicts:     114000 | #Constraints:      11099
931.75/934.60	c GLOBAL bounds - >= -684049 @ 929.378
942.82/945.73	c #Conflicts:     115000 | #Constraints:      12101
942.82/945.73	c GLOBAL bounds - >= -684049 @ 940.448
1046.92/1050.16	c #Conflicts:     116000 | #Constraints:      13103
1046.92/1050.16	c #Conflicts:     117000 | #Constraints:      14103
1046.92/1050.16	c INPROCESSING
1046.92/1050.16	c GARBAGE COLLECT
1046.92/1050.16	c #Conflicts:     118000 | #Constraints:       8302
1046.92/1050.16	c #Conflicts:     119000 | #Constraints:       9302
1046.92/1050.16	c #Conflicts:     120000 | #Constraints:      10302
1046.92/1050.16	c #Conflicts:     121000 | #Constraints:      11302
1046.92/1050.16	c #Conflicts:     122000 | #Constraints:      12302
1046.92/1050.16	c #Conflicts:     123000 | #Constraints:      13302
1046.92/1050.16	c #Conflicts:     124000 | #Constraints:      14302
1046.92/1050.16	c INPROCESSING
1046.92/1050.16	c GARBAGE COLLECT
1046.92/1050.16	c #Conflicts:     125000 | #Constraints:       8302
1046.92/1050.16	c #Conflicts:     126000 | #Constraints:       9302
1046.92/1050.16	c #Conflicts:     127000 | #Constraints:      10302
1046.92/1050.16	c GLOBAL bounds - >= -684049 @ 1044.42
1189.01/1192.68	c #Conflicts:     128000 | #Constraints:      11304
1189.01/1192.68	c #Conflicts:     129000 | #Constraints:      12304
1189.01/1192.68	c #Conflicts:     130000 | #Constraints:      13304
1189.01/1192.68	c #Conflicts:     131000 | #Constraints:      14304
1189.01/1192.68	c INPROCESSING
1189.01/1192.68	c GARBAGE COLLECT
1189.01/1192.68	c #Conflicts:     132000 | #Constraints:       8108
1189.01/1192.68	c #Conflicts:     133000 | #Constraints:       9108
1189.01/1192.68	c #Conflicts:     134000 | #Constraints:      10108
1189.01/1192.68	c #Conflicts:     135000 | #Constraints:      11108
1189.01/1192.68	c #Conflicts:     136000 | #Constraints:      12108
1189.01/1192.68	c #Conflicts:     137000 | #Constraints:      13108
1189.01/1192.68	c #Conflicts:     138000 | #Constraints:      14108
1189.01/1192.68	c #Conflicts:     139000 | #Constraints:      15108
1189.01/1192.68	c INPROCESSING
1189.01/1192.68	c GARBAGE COLLECT
1189.01/1192.68	c #Conflicts:     140000 | #Constraints:       8706
1189.01/1192.68	c #Conflicts:     141000 | #Constraints:       9706
1189.01/1192.68	c #Conflicts:     142000 | #Constraints:      10706
1189.01/1192.68	c #Conflicts:     143000 | #Constraints:      11706
1189.01/1192.68	c #Conflicts:     144000 | #Constraints:      12706
1189.01/1192.68	c GLOBAL bounds - >= -684049 @ 1186.32
1902.37/1907.95	c #Conflicts:     145000 | #Constraints:      13708
1902.37/1907.95	c #Conflicts:     146000 | #Constraints:      14708
1902.37/1907.95	c #Conflicts:     147000 | #Constraints:      15708
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     148000 | #Constraints:       9105
1902.37/1907.95	c #Conflicts:     149000 | #Constraints:      10105
1902.37/1907.95	c #Conflicts:     150000 | #Constraints:      11105
1902.37/1907.95	c #Conflicts:     151000 | #Constraints:      12105
1902.37/1907.95	c #Conflicts:     152000 | #Constraints:      13105
1902.37/1907.95	c #Conflicts:     153000 | #Constraints:      14105
1902.37/1907.95	c #Conflicts:     154000 | #Constraints:      15105
1902.37/1907.95	c #Conflicts:     155000 | #Constraints:      16105
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     156000 | #Constraints:       9305
1902.37/1907.95	c #Conflicts:     157000 | #Constraints:      10305
1902.37/1907.95	c #Conflicts:     158000 | #Constraints:      11305
1902.37/1907.95	c #Conflicts:     159000 | #Constraints:      12305
1902.37/1907.95	c #Conflicts:     160000 | #Constraints:      13305
1902.37/1907.95	c #Conflicts:     161000 | #Constraints:      14305
1902.37/1907.95	c #Conflicts:     162000 | #Constraints:      15305
1902.37/1907.95	c #Conflicts:     163000 | #Constraints:      16305
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     164000 | #Constraints:       9313
1902.37/1907.95	c #Conflicts:     165000 | #Constraints:      10313
1902.37/1907.95	c #Conflicts:     166000 | #Constraints:      11313
1902.37/1907.95	c #Conflicts:     167000 | #Constraints:      12313
1902.37/1907.95	c #Conflicts:     168000 | #Constraints:      13313
1902.37/1907.95	c #Conflicts:     169000 | #Constraints:      14313
1902.37/1907.95	c #Conflicts:     170000 | #Constraints:      15313
1902.37/1907.95	c #Conflicts:     171000 | #Constraints:      16313
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     172000 | #Constraints:       9121
1902.37/1907.95	c #Conflicts:     173000 | #Constraints:      10121
1902.37/1907.95	c #Conflicts:     174000 | #Constraints:      11121
1902.37/1907.95	c #Conflicts:     175000 | #Constraints:      12121
1902.37/1907.95	c #Conflicts:     176000 | #Constraints:      13121
1902.37/1907.95	c #Conflicts:     177000 | #Constraints:      14121
1902.37/1907.95	c #Conflicts:     178000 | #Constraints:      15121
1902.37/1907.95	c #Conflicts:     179000 | #Constraints:      16121
1902.37/1907.95	c #Conflicts:     180000 | #Constraints:      17121
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     181000 | #Constraints:       9714
1902.37/1907.95	c #Conflicts:     182000 | #Constraints:      10714
1902.37/1907.95	c #Conflicts:     183000 | #Constraints:      11714
1902.37/1907.95	c #Conflicts:     184000 | #Constraints:      12714
1902.37/1907.95	c #Conflicts:     185000 | #Constraints:      13714
1902.37/1907.95	c #Conflicts:     186000 | #Constraints:      14714
1902.37/1907.95	c #Conflicts:     187000 | #Constraints:      15714
1902.37/1907.95	c #Conflicts:     188000 | #Constraints:      16714
1902.37/1907.95	c #Conflicts:     189000 | #Constraints:      17714
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     190000 | #Constraints:      10121
1902.37/1907.95	c #Conflicts:     191000 | #Constraints:      11121
1902.37/1907.95	c #Conflicts:     192000 | #Constraints:      12121
1902.37/1907.95	c #Conflicts:     193000 | #Constraints:      13121
1902.37/1907.95	c #Conflicts:     194000 | #Constraints:      14121
1902.37/1907.95	c #Conflicts:     195000 | #Constraints:      15121
1902.37/1907.95	c #Conflicts:     196000 | #Constraints:      16121
1902.37/1907.95	c #Conflicts:     197000 | #Constraints:      17121
1902.37/1907.95	c #Conflicts:     198000 | #Constraints:      18121
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     199000 | #Constraints:      10315
1902.37/1907.95	c #Conflicts:     200000 | #Constraints:      11315
1902.37/1907.95	c #Conflicts:     201000 | #Constraints:      12315
1902.37/1907.95	c #Conflicts:     202000 | #Constraints:      13315
1902.37/1907.95	c #Conflicts:     203000 | #Constraints:      14315
1902.37/1907.95	c #Conflicts:     204000 | #Constraints:      15315
1902.37/1907.95	c #Conflicts:     205000 | #Constraints:      16315
1902.37/1907.95	c #Conflicts:     206000 | #Constraints:      17315
1902.37/1907.95	c #Conflicts:     207000 | #Constraints:      18315
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     208000 | #Constraints:      10311
1902.37/1907.95	c #Conflicts:     209000 | #Constraints:      11311
1902.37/1907.95	c #Conflicts:     210000 | #Constraints:      12311
1902.37/1907.95	c #Conflicts:     211000 | #Constraints:      13311
1902.37/1907.95	c #Conflicts:     212000 | #Constraints:      14311
1902.37/1907.95	c #Conflicts:     213000 | #Constraints:      15311
1902.37/1907.95	c #Conflicts:     214000 | #Constraints:      16311
1902.37/1907.95	c #Conflicts:     215000 | #Constraints:      17311
1902.37/1907.95	c #Conflicts:     216000 | #Constraints:      18311
1902.37/1907.95	c INPROCESSING
1902.37/1907.95	c GARBAGE COLLECT
1902.37/1907.95	c #Conflicts:     217000 | #Constraints:      10112
1902.37/1907.95	c #Conflicts:     218000 | #Constraints:      11112
2576.37/2583.71	c #Conflicts:     219000 | #Constraints:      12112
2576.37/2583.71	c #Conflicts:     220000 | #Constraints:      13112
2576.37/2583.71	c #Conflicts:     221000 | #Constraints:      14112
2576.37/2583.71	c #Conflicts:     222000 | #Constraints:      15112
2576.37/2583.71	c #Conflicts:     223000 | #Constraints:      16112
2576.37/2583.71	c #Conflicts:     224000 | #Constraints:      17112
2576.37/2583.71	c #Conflicts:     225000 | #Constraints:      18112
2576.37/2583.71	c #Conflicts:     226000 | #Constraints:      19112
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     227000 | #Constraints:      10709
2576.37/2583.71	c #Conflicts:     228000 | #Constraints:      11709
2576.37/2583.71	c #Conflicts:     229000 | #Constraints:      12709
2576.37/2583.71	c #Conflicts:     230000 | #Constraints:      13709
2576.37/2583.71	c #Conflicts:     231000 | #Constraints:      14709
2576.37/2583.71	c #Conflicts:     232000 | #Constraints:      15709
2576.37/2583.71	c #Conflicts:     233000 | #Constraints:      16709
2576.37/2583.71	c #Conflicts:     234000 | #Constraints:      17709
2576.37/2583.71	c #Conflicts:     235000 | #Constraints:      18709
2576.37/2583.71	c #Conflicts:     236000 | #Constraints:      19709
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     237000 | #Constraints:      11104
2576.37/2583.71	c #Conflicts:     238000 | #Constraints:      12104
2576.37/2583.71	c #Conflicts:     239000 | #Constraints:      13104
2576.37/2583.71	c #Conflicts:     240000 | #Constraints:      14104
2576.37/2583.71	c #Conflicts:     241000 | #Constraints:      15104
2576.37/2583.71	c #Conflicts:     242000 | #Constraints:      16104
2576.37/2583.71	c #Conflicts:     243000 | #Constraints:      17104
2576.37/2583.71	c #Conflicts:     244000 | #Constraints:      18104
2576.37/2583.71	c #Conflicts:     245000 | #Constraints:      19104
2576.37/2583.71	c #Conflicts:     246000 | #Constraints:      20104
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     247000 | #Constraints:      11306
2576.37/2583.71	c #Conflicts:     248000 | #Constraints:      12306
2576.37/2583.71	c #Conflicts:     249000 | #Constraints:      13306
2576.37/2583.71	c #Conflicts:     250000 | #Constraints:      14306
2576.37/2583.71	c #Conflicts:     251000 | #Constraints:      15306
2576.37/2583.71	c #Conflicts:     252000 | #Constraints:      16306
2576.37/2583.71	c #Conflicts:     253000 | #Constraints:      17306
2576.37/2583.71	c #Conflicts:     254000 | #Constraints:      18306
2576.37/2583.71	c #Conflicts:     255000 | #Constraints:      19306
2576.37/2583.71	c #Conflicts:     256000 | #Constraints:      20306
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     257000 | #Constraints:      11310
2576.37/2583.71	c #Conflicts:     258000 | #Constraints:      12310
2576.37/2583.71	c #Conflicts:     259000 | #Constraints:      13310
2576.37/2583.71	c #Conflicts:     260000 | #Constraints:      14310
2576.37/2583.71	c #Conflicts:     261000 | #Constraints:      15310
2576.37/2583.71	c #Conflicts:     262000 | #Constraints:      16310
2576.37/2583.71	c #Conflicts:     263000 | #Constraints:      17310
2576.37/2583.71	c #Conflicts:     264000 | #Constraints:      18310
2576.37/2583.71	c #Conflicts:     265000 | #Constraints:      19310
2576.37/2583.71	c #Conflicts:     266000 | #Constraints:      20310
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     267000 | #Constraints:      11114
2576.37/2583.71	c #Conflicts:     268000 | #Constraints:      12114
2576.37/2583.71	c #Conflicts:     269000 | #Constraints:      13114
2576.37/2583.71	c #Conflicts:     270000 | #Constraints:      14114
2576.37/2583.71	c #Conflicts:     271000 | #Constraints:      15114
2576.37/2583.71	c #Conflicts:     272000 | #Constraints:      16114
2576.37/2583.71	c #Conflicts:     273000 | #Constraints:      17114
2576.37/2583.71	c #Conflicts:     274000 | #Constraints:      18114
2576.37/2583.71	c #Conflicts:     275000 | #Constraints:      19114
2576.37/2583.71	c #Conflicts:     276000 | #Constraints:      20114
2576.37/2583.71	c #Conflicts:     277000 | #Constraints:      21114
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     278000 | #Constraints:      11713
2576.37/2583.71	c #Conflicts:     279000 | #Constraints:      12713
2576.37/2583.71	c #Conflicts:     280000 | #Constraints:      13713
2576.37/2583.71	c #Conflicts:     281000 | #Constraints:      14713
2576.37/2583.71	c #Conflicts:     282000 | #Constraints:      15713
2576.37/2583.71	c #Conflicts:     283000 | #Constraints:      16713
2576.37/2583.71	c #Conflicts:     284000 | #Constraints:      17713
2576.37/2583.71	c #Conflicts:     285000 | #Constraints:      18713
2576.37/2583.71	c #Conflicts:     286000 | #Constraints:      19713
2576.37/2583.71	c #Conflicts:     287000 | #Constraints:      20713
2576.37/2583.71	c #Conflicts:     288000 | #Constraints:      21713
2576.37/2583.71	c INPROCESSING
2576.37/2583.71	c GARBAGE COLLECT
2576.37/2583.71	c #Conflicts:     289000 | #Constraints:      12116
2576.37/2583.71	c #Conflicts:     290000 | #Constraints:      13116
2576.37/2583.71	c #Conflicts:     291000 | #Constraints:      14116
2576.37/2583.71	c #Conflicts:     292000 | #Constraints:      15116
2695.45/2703.15	c #Conflicts:     293000 | #Constraints:      16116
2695.45/2703.15	c #Conflicts:     294000 | #Constraints:      17116
2695.45/2703.15	c #Conflicts:     295000 | #Constraints:      18116
2695.45/2703.15	c #Conflicts:     296000 | #Constraints:      19116
2695.45/2703.15	c #Conflicts:     297000 | #Constraints:      20116
2695.45/2703.15	c #Conflicts:     298000 | #Constraints:      21116
2695.45/2703.15	c #Conflicts:     299000 | #Constraints:      22116
2695.45/2703.15	c INPROCESSING
2695.45/2703.15	c GARBAGE COLLECT
2695.45/2703.15	c #Conflicts:     300000 | #Constraints:      12323
2695.45/2703.15	c #Conflicts:     301000 | #Constraints:      13323
2695.45/2703.15	c #Conflicts:     302000 | #Constraints:      14323
2695.45/2703.15	c #Conflicts:     303000 | #Constraints:      15323
2695.45/2703.15	c GLOBAL bounds - >= -684049 @ 2690.87
3157.74/3166.74	c #Conflicts:     304000 | #Constraints:      16325
3157.74/3166.74	c #Conflicts:     305000 | #Constraints:      17325
3157.74/3166.74	c #Conflicts:     306000 | #Constraints:      18325
3157.74/3166.74	c #Conflicts:     307000 | #Constraints:      19325
3157.74/3166.74	c #Conflicts:     308000 | #Constraints:      20325
3157.74/3166.74	c #Conflicts:     309000 | #Constraints:      21325
3157.74/3166.74	c #Conflicts:     310000 | #Constraints:      22325
3157.74/3166.74	c INPROCESSING
3157.74/3166.74	c GARBAGE COLLECT
3157.74/3166.74	c #Conflicts:     311000 | #Constraints:      12338
3157.74/3166.74	c #Conflicts:     312000 | #Constraints:      13338
3157.74/3166.74	c #Conflicts:     313000 | #Constraints:      14338
3157.74/3166.74	c #Conflicts:     314000 | #Constraints:      15338
3157.74/3166.74	c #Conflicts:     315000 | #Constraints:      16338
3157.74/3166.74	c #Conflicts:     316000 | #Constraints:      17338
3157.74/3166.74	c #Conflicts:     317000 | #Constraints:      18338
3157.74/3166.74	c #Conflicts:     318000 | #Constraints:      19338
3157.74/3166.74	c #Conflicts:     319000 | #Constraints:      20338
3157.74/3166.74	c #Conflicts:     320000 | #Constraints:      21338
3157.74/3166.74	c #Conflicts:     321000 | #Constraints:      22338
3157.74/3166.74	c INPROCESSING
3157.74/3166.74	c GARBAGE COLLECT
3157.74/3166.74	c #Conflicts:     322000 | #Constraints:      12130
3157.74/3166.74	c #Conflicts:     323000 | #Constraints:      13130
3157.74/3166.74	c #Conflicts:     324000 | #Constraints:      14130
3157.74/3166.74	c #Conflicts:     325000 | #Constraints:      15130
3157.74/3166.74	c #Conflicts:     326000 | #Constraints:      16130
3157.74/3166.74	c #Conflicts:     327000 | #Constraints:      17130
3157.74/3166.74	c #Conflicts:     328000 | #Constraints:      18130
3157.74/3166.74	c #Conflicts:     329000 | #Constraints:      19130
3157.74/3166.74	c #Conflicts:     330000 | #Constraints:      20130
3157.74/3166.74	c #Conflicts:     331000 | #Constraints:      21130
3157.74/3166.74	c #Conflicts:     332000 | #Constraints:      22130
3157.74/3166.74	c #Conflicts:     333000 | #Constraints:      23130
3157.74/3166.74	c INPROCESSING
3157.74/3166.74	c GARBAGE COLLECT
3157.74/3166.74	c #Conflicts:     334000 | #Constraints:      12738
3157.74/3166.74	c #Conflicts:     335000 | #Constraints:      13738
3157.74/3166.74	c #Conflicts:     336000 | #Constraints:      14738
3157.74/3166.74	c #Conflicts:     337000 | #Constraints:      15738
3157.74/3166.74	c #Conflicts:     338000 | #Constraints:      16738
3157.74/3166.74	c #Conflicts:     339000 | #Constraints:      17738
3157.74/3166.74	c #Conflicts:     340000 | #Constraints:      18738
3157.74/3166.74	c #Conflicts:     341000 | #Constraints:      19738
3157.74/3166.74	c #Conflicts:     342000 | #Constraints:      20738
3157.74/3166.74	c #Conflicts:     343000 | #Constraints:      21738
3157.74/3166.74	c GLOBAL bounds - >= -684049 @ 3152.63
3600.01/3610.20	c #Conflicts:     344000 | #Constraints:      22740
3600.01/3610.20	c #Conflicts:     345000 | #Constraints:      23740
3600.01/3610.20	c INPROCESSING
3600.01/3610.20	c GARBAGE COLLECT
3600.01/3610.20	c #Conflicts:     346000 | #Constraints:      13133
3600.01/3610.20	c #Conflicts:     347000 | #Constraints:      14133
3600.01/3610.20	c #Conflicts:     348000 | #Constraints:      15133
3600.01/3610.20	c #Conflicts:     349000 | #Constraints:      16133
3600.01/3610.20	c #Conflicts:     350000 | #Constraints:      17133
3600.01/3610.20	c #Conflicts:     351000 | #Constraints:      18133
3600.01/3610.20	c #Conflicts:     352000 | #Constraints:      19133
3600.01/3610.20	c #Conflicts:     353000 | #Constraints:      20133
3600.01/3610.20	c #Conflicts:     354000 | #Constraints:      21133
3600.01/3610.20	c #Conflicts:     355000 | #Constraints:      22133
3600.01/3610.20	c #Conflicts:     356000 | #Constraints:      23133
3600.01/3610.20	c #Conflicts:     357000 | #Constraints:      24133
3600.01/3610.20	c INPROCESSING
3600.01/3610.20	c GARBAGE COLLECT
3600.01/3610.20	c #Conflicts:     358000 | #Constraints:      13340
3600.01/3610.20	c #Conflicts:     359000 | #Constraints:      14340
3600.01/3610.20	c #Conflicts:     360000 | #Constraints:      15340
3600.01/3610.20	c #Conflicts:     361000 | #Constraints:      16340
3600.01/3610.20	c #Conflicts:     362000 | #Constraints:      17340
3600.01/3610.20	c #Conflicts:     363000 | #Constraints:      18340
3600.01/3610.20	c #Conflicts:     364000 | #Constraints:      19340
3600.01/3610.20	c #Conflicts:     365000 | #Constraints:      20340
3600.01/3610.20	c #Conflicts:     366000 | #Constraints:      21340
3600.01/3610.20	c #Conflicts:     367000 | #Constraints:      22340
3600.01/3610.20	c #Conflicts:     368000 | #Constraints:      23340
3600.01/3610.20	c #Conflicts:     369000 | #Constraints:      24340
3600.01/3610.20	c INPROCESSING
3600.01/3610.20	c GARBAGE COLLECT
3600.01/3610.20	c #Conflicts:     370000 | #Constraints:      13332
3600.01/3610.20	c #Conflicts:     371000 | #Constraints:      14332
3600.01/3610.20	c #Conflicts:     372000 | #Constraints:      15332
3600.01/3610.20	c #Conflicts:     373000 | #Constraints:      16332
3600.01/3610.20	c #Conflicts:     374000 | #Constraints:      17332
3600.01/3610.20	c #Conflicts:     375000 | #Constraints:      18332
3600.01/3610.20	c #Conflicts:     376000 | #Constraints:      19332
3600.01/3610.20	c #Conflicts:     377000 | #Constraints:      20332
3600.01/3610.20	c #Conflicts:     378000 | #Constraints:      21332
3600.01/3610.20	c #Conflicts:     379000 | #Constraints:      22332
3600.01/3610.20	c #Conflicts:     380000 | #Constraints:      23332
3600.01/3610.20	c cpu time 3594.38 s
3600.01/3610.20	c deterministic time 1 1.00e+00
3600.01/3610.20	c optimization time 3594.37 s
3600.01/3610.20	c total solve time 0 s
3600.01/3610.20	c core-guided solve time 0 s
3600.01/3610.20	c propagation time 8.5e-05 s
3600.01/3610.20	c conflict analysis time 0 s
3600.01/3610.20	c propagations 0
3600.01/3610.20	c resolve steps 0
3600.01/3610.20	c decisions 0
3600.01/3610.20	c conflicts 0
3600.01/3610.20	c restarts 0
3600.01/3610.20	c inprocessing phases 0
3600.01/3610.20	c garbage collections 0 ,( -nan )
3600.01/3610.20	c input clauses 8 ,( 4.44 )
3600.01/3610.20	c input cardinalities 172 ,( 95.56 )
3600.01/3610.20	c input general constraints 0 ,( 0.00 )
3600.01/3610.20	c input average constraint length 104.88
3600.01/3610.20	c input average constraint degree 103.88
3600.01/3610.20	c learned clauses 0 ,( 0.00 )
3600.01/3610.20	c learned cardinalities 0 ,( 0.00 )
3600.01/3610.20	c learned general constraints 0 ,( 0.00 )
3600.01/3610.20	c learned average constraint length 0.00
3600.01/3610.20	c learned average constraint degree 0.00
3600.01/3610.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.20	c watched   constraints 0 ,( -nan ) 
3600.01/3610.20	c counting  constraints 0 ,( -nan ) 
3600.01/3610.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.20	c gcd simplifications 0
3600.01/3610.20	c detected cardinalities 0
3600.01/3610.20	c weakened non-implied lits 0
3600.01/3610.20	c weakened non-implying lits 0
3600.01/3610.20	c original variables 6424
3600.01/3610.20	c clausal propagations 0
3600.01/3610.20	c cardinality propagations 0
3600.01/3610.20	c watched propagations 0
3600.01/3610.20	c counting propagations 0
3600.01/3610.20	c watch lookups 0
3600.01/3610.20	c watch backjump lookups 0
3600.01/3610.20	c watch checks 0
3600.01/3610.20	c propagation checks 0
3600.01/3610.20	c constraint additions 0
3600.01/3610.20	c trail pops 0
3600.01/3610.20	c formula constraints 180
3600.01/3610.20	c learned constraints 0
3600.01/3610.20	c bound constraints 0
3600.01/3610.20	c core-guided constraints 0
3600.01/3610.20	c encountered formula constraints 0
3600.01/3610.20	c encountered learned constraints 0
3600.01/3610.20	c encountered bound constraints 0
3600.01/3610.20	c encountered core-guided constraints 0
3600.01/3610.20	c LP total time 0 s
3600.01/3610.20	c LP solve time 0 s
3600.01/3610.20	c LP constraints added 0
3600.01/3610.20	c LP constraints removed 0
3600.01/3610.20	c LP pivots internal 0
3600.01/3610.20	c LP pivots root 0
3600.01/3610.20	c LP calls 0
3600.01/3610.20	c LP optimalities 0
3600.01/3610.20	c LP no pivot count 0
3600.01/3610.20	c LP infeasibilities 0
3600.01/3610.20	c LP valid Farkas constraints 0
3600.01/3610.20	c LP learned Farkas constraints 0
3600.01/3610.20	c LP basis resets 0
3600.01/3610.20	c LP cycling count 0
3600.01/3610.20	c LP singular count 0
3600.01/3610.20	c LP no primal count 0
3600.01/3610.20	c LP no farkas count 0
3600.01/3610.20	c LP other issue count 0
3600.01/3610.20	c LP Gomory cuts 0
3600.01/3610.20	c LP learned cuts 0
3600.01/3610.20	c LP deleted cuts 0
3600.01/3610.20	c LP encountered Gomory constraints 0
3600.01/3610.20	c LP encountered Farkas constraints 0
3600.01/3610.20	c LP encountered learned Farkas constraints 0
3600.01/3610.20	c CG auxiliary variables introduced 0
3600.01/3610.20	c CG solutions found 0
3600.01/3610.20	c CG cores constructed 0
3600.01/3610.20	c CG core cardinality constraints returned 0
3600.01/3610.20	c CG unit cores 0
3600.01/3610.20	c CG single cores 0
3600.01/3610.20	c CG blocks removed during cardinality reduction 0
3600.01/3610.20	c CG first core best 0
3600.01/3610.20	c CG decision core best 0
3600.01/3610.20	c CG core reduction tie 0
3600.01/3610.20	c CG core degree average 0.00
3600.01/3610.20	c CG core slack average 0.00
3600.01/3610.20	c CG core upper bound improvements 0
3600.01/3610.20	c STR number of successful calls 0
3600.01/3610.20	c STR number of unsuccessful calls 0
3600.01/3610.20	c STR number of inconclusive calls 0
3600.01/3610.20	c STR number of successful attempts 0
3600.01/3610.20	c STR number of unsuccessful attempts 0
3600.01/3610.20	c STR number of inconclusive attempts 0
3600.01/3610.20	c STR average degree increase per successful call inf
3600.01/3610.20	c STR average degree increase per successful attempt inf
3600.01/3610.20	c STR total number of conflicts for successful attempts 0
3600.01/3610.20	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20	c STR average number of conflicts per successful attempt inf
3600.01/3610.20	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20	c AVG.sumWPerc -nan 
3600.01/3610.20	c bigint constraints 0 
3600.01/3610.20	s UNKNOWN
3600.01/3610.20	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: 63665 MiB (59015 MiB free)
  memory of node 1: 64507 MiB (30949 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523148-1751649883/watcher-4523148-1751649883 -o /tmp/evaluation-result-4523148-1751649883/solver-4523148-1751649883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101044 --watchdog 3760 run-opt.sh HOME/instance-4523148-1751649883.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.el
solver pid=101293, runsolver pid=101290
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.09 4.09 4.01 5/267 101295
/proc/meminfo: memFree=92119344/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=65792 memory=18072 CPUtime=0.09 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 2323 0 0 0 5 4 0 0 20 0 1 0 80666072 67371008 4518 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 16448 4518 2304 1147 0 3875 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 21016 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.09 4.09 4.01 5/267 101295
/proc/meminfo: memFree=92119272/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=65792 memory=18072 CPUtime=0.19 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 2343 0 0 0 11 8 0 0 20 0 1 0 80666072 67371008 4518 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 16448 4518 2304 1147 0 3875 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 21016 KiB

[startup+0.305494 s]*
/proc/loadavg: 4.09 4.09 4.01 5/267 101295
/proc/meminfo: memFree=92117760/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=65792 memory=19352 CPUtime=0.29 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 2646 0 0 0 17 12 0 0 20 0 1 0 80666072 67371008 4838 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 16448 4838 2304 1147 0 3875 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 22296 KiB

[startup+0.700179 s]
/proc/loadavg: 4.09 4.09 4.01 5/267 101295
/proc/meminfo: memFree=92112468/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=74036 memory=27720 CPUtime=0.68 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 4195 0 0 0 51 17 0 0 20 0 1 0 80666072 75812864 6930 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 18509 6930 2336 1147 0 5936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78228 KiB
Current children cumulated memory: 30664 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.09 4.00 5/267 101295
/proc/meminfo: memFree=92104592/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=94376 memory=41120 CPUtime=1.47 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 6017 0 0 0 125 22 0 0 20 0 1 0 80666072 96641024 10280 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 23594 10280 2336 1147 0 11021 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98568 KiB
Current children cumulated memory: 44064 KiB

[startup+3.10545 s]
/proc/loadavg: 4.08 4.09 4.00 5/267 101295
/proc/meminfo: memFree=92076616/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=117384 memory=63608 CPUtime=3.08 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 7553 0 0 0 282 26 0 0 20 0 1 0 80666072 120201216 15902 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 29346 15902 2336 1147 0 16773 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121576 KiB
Current children cumulated memory: 66552 KiB

[startup+6.30018 s]
/proc/loadavg: 4.07 4.08 4.00 5/267 101295
/proc/meminfo: memFree=92041576/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=155560 memory=91468 CPUtime=6.26 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 9938 0 0 0 596 30 0 0 20 0 1 0 80666072 159293440 22867 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 38890 22867 2336 1147 0 26317 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 159752 KiB
Current children cumulated memory: 94412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.00 5/267 101296
/proc/meminfo: memFree=91997028/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=224096 memory=139900 CPUtime=12.65 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 14907 0 0 0 1231 34 0 0 20 0 1 0 80666072 229474304 34975 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 56024 34975 2336 1147 0 43451 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 228288 KiB
Current children cumulated memory: 142844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.00 5/267 101296
/proc/meminfo: memFree=91945212/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=245856 memory=179144 CPUtime=25.4 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 20106 0 0 0 2502 38 0 0 20 0 1 0 80666072 251756544 44786 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 61464 44786 2336 1147 0 48891 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 250048 KiB
Current children cumulated memory: 182088 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.09 4.01 5/267 101296
/proc/meminfo: memFree=91873340/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=355356 memory=236272 CPUtime=50.93 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 27234 0 0 0 5046 47 0 0 20 0 1 0 80666072 363884544 59068 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 88839 59068 2336 1147 0 76266 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 359548 KiB
Current children cumulated memory: 239216 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/267 101298
/proc/meminfo: memFree=91607164/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=416592 memory=320440 CPUtime=101.97 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 41170 0 0 0 10133 64 0 0 20 0 1 0 80666072 426590208 80110 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 104148 80110 2336 1147 0 91575 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 420784 KiB
Current children cumulated memory: 323384 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.14 4.02 5/267 101300
/proc/meminfo: memFree=91400004/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=536988 memory=434396 CPUtime=161.79 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 66566 0 0 0 16098 81 0 0 20 0 1 0 80666072 549875712 108599 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 134247 108599 2336 1147 0 121674 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 541180 KiB
Current children cumulated memory: 437340 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.04 5/266 101302
/proc/meminfo: memFree=90298740/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=642864 memory=525020 CPUtime=221.61 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 89237 0 0 0 22058 103 0 0 20 0 1 0 80666072 658292736 131255 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 160716 131255 2336 1147 0 148143 0
Current children cumulated CPU time: 221.61 s

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

/proc/101295/statm: 494105 389100 2336 1147 0 481532 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 1980612 KiB
Current children cumulated memory: 1559344 KiB

[startup+3102.3 s]
/proc/loadavg: 3.23 3.14 3.19 4/259 101625
/proc/meminfo: memFree=114617032/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2040424 memory=1629032 CPUtime=3093.52 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 282692 0 0 0 308844 508 0 0 20 0 1 0 80666072 2089394176 407258 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 510106 407258 2336 1147 0 497533 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 2044616 KiB
Current children cumulated memory: 1631976 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.12 3.18 4/259 101627
/proc/meminfo: memFree=114601108/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2040936 memory=1629288 CPUtime=3153.35 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 282761 0 0 0 314820 515 0 0 20 0 1 0 80666072 2089918464 407322 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 510234 407322 2336 1147 0 497661 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 2045128 KiB
Current children cumulated memory: 1632232 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.11 3.18 4/260 101630
/proc/meminfo: memFree=114566408/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2043496 memory=1630824 CPUtime=3213.19 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 283146 0 0 0 320796 523 0 0 20 0 1 0 80666072 2092539904 407706 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 510874 407706 2336 1147 0 498301 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 2047688 KiB
Current children cumulated memory: 1633768 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.11 3.17 4/260 101632
/proc/meminfo: memFree=114544012/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2043496 memory=1630824 CPUtime=3273.02 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 283149 0 0 0 326774 528 0 0 20 0 1 0 80666072 2092539904 407706 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 510874 407706 2336 1147 0 498301 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 2047688 KiB
Current children cumulated memory: 1633768 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.10 3.16 4/260 101634
/proc/meminfo: memFree=114388288/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2063464 memory=1645416 CPUtime=3332.85 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 286810 0 0 0 332751 534 0 0 20 0 1 0 80666072 2112987136 411354 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 515866 411354 2336 1147 0 503293 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 2067656 KiB
Current children cumulated memory: 1648360 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.09 3.16 4/260 101636
/proc/meminfo: memFree=114126896/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2064488 memory=1646312 CPUtime=3392.69 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 287053 0 0 0 338725 544 0 0 20 0 1 0 80666072 2114035712 411578 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 516122 411578 2336 1147 0 503549 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 2068680 KiB
Current children cumulated memory: 1649256 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.10 3.16 4/260 101644
/proc/meminfo: memFree=114053880/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2068072 memory=1649640 CPUtime=3452.52 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 287887 0 0 0 344703 549 0 0 20 0 1 0 80666072 2117705728 412410 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 517018 412410 2336 1147 0 504445 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 2072264 KiB
Current children cumulated memory: 1652584 KiB

[startup+3522.3 s]
/proc/loadavg: 3.04 3.08 3.15 4/259 101646
/proc/meminfo: memFree=114016844/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2072680 memory=1653224 CPUtime=3512.35 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 288773 0 0 0 350680 555 0 0 20 0 1 0 80666072 2122424320 413306 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 518170 413306 2336 1147 0 505597 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 2076872 KiB
Current children cumulated memory: 1656168 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.10 3.15 4/259 101648
/proc/meminfo: memFree=113996732/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2072680 memory=1653224 CPUtime=3572.18 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 288777 0 0 0 356659 559 0 0 20 0 1 0 80666072 2122424320 413306 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 518170 413306 2336 1147 0 505597 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 2076872 KiB
Current children cumulated memory: 1656168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 3.08 3.09 3.14 4/259 101649
/proc/meminfo: memFree=113981128/131249996 swapFree=33010416/33010684
[pid=101293] ppid=101290 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/101293/stat : 101293 (run-opt.sh) S 101290 101293 100629 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80666071 4292608 736 18446744073709551615 94158814093312 94158814987845 140733567922304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94158815226896 94158815274640 94158839889920 140733567928683 140733567928806 140733567928806 140733567934410 0
/proc/101293/statm: 1048 736 672 219 0 110 0
[pid=101295] ppid=101293 vsize=2076776 memory=1655912 CPUtime=3600.01 cores=0,2
/proc/101295/stat : 101295 (roundingsat) R 101293 101293 100629 0 -1 4194304 289467 0 0 0 359438 563 0 0 20 0 1 0 80666072 2126618624 413978 18446744073709551615 4227072 8923433 140732023462336 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40742912 140732023466400 140732023466534 140732023466534 140732023472106 0
/proc/101295/statm: 519194 413978 2336 1147 0 506621 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2080968 KiB
Current children cumulated memory: 1658856 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.001821 s

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

# cumulated CPU time of all completed processes:  user=3594.38 s, system=5.66594 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.23
CPU time (s): 3600.05
CPU user time (s): 3594.38
CPU system time (s): 5.66594
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 2080968
Max. memory (cumulated for all children) (KiB): 1658856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.38
system time used= 5.66594
maximum resident set size= 1656168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289695
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= 264
involuntary context switches= 8042


# summary of solver processes directly reported to runsolver:
#   pid: 101293,101295
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.38
#   total CPU system time (s): 5.66594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33306 second user time and 15.7279 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-04 19:24:43
IDJOB=4523148
IDBENCH=179713
IDSOLVER=3350
FILE ID=nodeC022/4523148-1751649883
RUNJOBID= nodeC022-1751647175-101044
SLURM_JOB_ID= 9672327
Free space on /tmp= 432332 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523148-1751649883/watcher-4523148-1751649883 -o /tmp/evaluation-result-4523148-1751649883/solver-4523148-1751649883 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101044 --watchdog 3760  run-opt.sh HOME/instance-4523148-1751649883.opb

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

MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=894533849

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.753
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.44
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.713
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.44
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		: 3606.714
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.44
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		: 3582.404
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.44
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.714
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.44
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.922
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.44
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.075
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        92123932 kB
MemAvailable:   99811532 kB
Buffers:            2128 kB
Cached:          8436484 kB
SwapCached:           32 kB
Active:         30577192 kB
Inactive:        7785420 kB
Active(anon):   29937852 kB
Inactive(anon):     4176 kB
Active(file):     639340 kB
Inactive(file):  7781244 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:      29927020 kB
Mapped:           118796 kB
Shmem:             18028 kB
KReclaimable:     212108 kB
Slab:             304868 kB
SReclaimable:     212108 kB
SUnreclaim:        92760 kB
KernelStack:        4352 kB
PageTables:        65092 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   34023740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8810496 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= 432260 MiB
End job on nodeC022 at 2025-07-04 20:24:54