Trace number 4489878

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+pbsuma-opt 63f22ad? (TO) 3602.06 3611.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489878-1751371504.opb'
0.28/0.35	c 	read 17.23MB  (340.07ms)
0.28/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.67/0.70	c	 [group: #orbits ~= 0] (350.25ms)
0.67/0.70	c 
0.67/0.70	c detect special group actions
0.67/0.70	c 	probe for Johnson action (limit=64)
0.67/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	 (17.11ms)
0.67/0.72	c 
0.67/0.72	c detect symmetries on remainder
0.67/0.72	c 	[graph: #vertices 706680 #edges 2766358]
0.67/0.73	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.77	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.78ms)
0.67/0.77	c 
0.67/0.77	c finalize break order and special generators
0.67/0.77	c 
0.67/0.77	c generation finished
0.67/0.77	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.77	c 
0.67/0.77	c write result to 'HOME/instance-4489878-1751371504.opb.pre'
0.77/0.81	c 	wrote 17.23MB (35.48ms)
0.77/0.81	c ------------------------------------------------------------------
0.77/0.81	c                 350.25ms 44.09% approx_orbits
0.77/0.81	c                 340.07ms 42.81% parse
0.77/0.81	c                  48.78ms  6.14% detect_generic
0.77/0.81	c                  35.48ms  4.47% output
0.77/0.81	c                  17.11ms  2.15% detect_special
0.77/0.81	c                   2.34ms  0.29% other
0.77/0.81	c                   0.38ms  0.05% finalize_order
0.77/0.81	c         ───────────────────────────────────────────────
0.77/0.81	c                 794.41ms   100% total
0.77/0.81	c ------------------------------------------------------------------
0.87/0.94	c RoundingSat 2
0.87/0.94	c branch pb25
0.87/0.94	c commit 63f22ad
3.43/3.50	c #variables 10000 #constraints 656900
3.43/3.50	c objective is ce32 
3.43/3.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.43/3.50	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.43/3.50	c bounds - >= 0 @ 1.91916
5.33/5.49	c rational objective 160.199
9.72/9.84	c bounds 6900 >= 0 @ 8.13042
9.72/9.85	c bounds 6811 >= 0 @ 8.14576
9.72/9.86	c bounds 6793 >= 0 @ 8.14972
9.72/9.87	c bounds 6743 >= 0 @ 8.1572
9.72/9.88	c bounds 6620 >= 0 @ 8.1637
9.72/9.88	c bounds 6265 >= 0 @ 8.17042
9.72/9.89	c bounds 6215 >= 0 @ 8.17383
9.82/9.90	c bounds 5907 >= 0 @ 8.17854
9.82/9.91	c bounds 5892 >= 0 @ 8.18525
9.82/9.91	c bounds 5695 >= 0 @ 8.18993
9.82/9.92	c bounds 5617 >= 0 @ 8.19732
9.82/9.93	c bounds 5477 >= 0 @ 8.20196
9.82/9.94	c bounds 5389 >= 0 @ 8.20556
9.82/9.95	c bounds 5381 >= 0 @ 8.21431
9.82/9.95	c bounds 5248 >= 0 @ 8.21904
9.82/9.96	c bounds 4920 >= 0 @ 8.22402
9.82/9.98	c bounds 4914 >= 0 @ 8.24298
9.82/9.99	c bounds 4898 >= 0 @ 8.2469
9.82/9.99	c bounds 4817 >= 0 @ 8.2497
9.93/10.00	c bounds 4751 >= 0 @ 8.25274
9.93/10.01	c bounds 4702 >= 0 @ 8.25669
9.93/10.02	c bounds 4684 >= 0 @ 8.26265
9.93/10.02	c bounds 4677 >= 0 @ 8.26676
9.93/10.03	c bounds 4637 >= 0 @ 8.27195
9.93/10.04	c bounds 4616 >= 0 @ 8.27768
9.93/10.05	c bounds 4542 >= 0 @ 8.2829
9.93/10.06	c bounds 4463 >= 0 @ 8.28801
9.93/10.07	c bounds 4371 >= 0 @ 8.29311
9.93/10.07	c bounds 4275 >= 0 @ 8.29702
9.93/10.08	c bounds 4224 >= 0 @ 8.30193
9.93/10.09	c bounds 3975 >= 0 @ 8.30799
9.93/10.10	c bounds 3913 >= 0 @ 8.31308
10.02/10.11	c bounds 3833 >= 0 @ 8.31711
10.02/10.12	c bounds 3792 >= 0 @ 8.32443
10.02/10.12	c bounds 3789 >= 0 @ 8.33065
10.02/10.19	c bounds 3782 >= 0 @ 8.38941
10.12/10.20	c bounds 3780 >= 0 @ 8.39796
10.12/10.21	c bounds 3779 >= 0 @ 8.40228
10.22/10.31	c bounds 3757 >= 0 @ 8.4928
10.22/10.31	c bounds 3755 >= 0 @ 8.49707
10.22/10.33	c bounds 3737 >= 0 @ 8.5183
10.22/10.34	c bounds 3706 >= 0 @ 8.52304
10.22/10.35	c bounds 3626 >= 0 @ 8.52792
10.22/10.36	c bounds 3604 >= 0 @ 8.53379
10.32/10.46	c bounds 3467 >= 0 @ 8.63783
10.32/10.47	c bounds 3398 >= 0 @ 8.64351
10.32/10.48	c bounds 3351 >= 0 @ 8.65106
10.42/10.51	c bounds 3336 >= 0 @ 8.67476
10.42/10.52	c bounds 3322 >= 0 @ 8.6866
10.42/10.53	c bounds 3199 >= 0 @ 8.69246
10.42/10.54	c bounds 3144 >= 0 @ 8.69723
10.42/10.55	c bounds 3131 >= 0 @ 8.70491
10.42/10.56	c bounds 3106 >= 0 @ 8.71341
10.42/10.57	c bounds 3080 >= 0 @ 8.72143
10.42/10.58	c bounds 2889 >= 0 @ 8.72554
10.52/10.68	c bounds 2878 >= 0 @ 8.81902
10.52/10.69	c bounds 2727 >= 0 @ 8.82547
10.62/10.70	c bounds 2726 >= 0 @ 8.83533
10.62/10.71	c bounds 2663 >= 0 @ 8.84044
10.72/10.81	c bounds 2661 >= 0 @ 8.93613
10.72/10.82	c bounds 2660 >= 0 @ 8.94257
10.72/10.87	c bounds 2659 >= 0 @ 8.99473
10.72/10.88	c bounds 2634 >= 0 @ 9.0012
10.92/11.10	c bounds 2633 >= 0 @ 9.20413
11.02/11.11	c bounds 2620 >= 0 @ 9.21059
11.02/11.12	c bounds 2574 >= 0 @ 9.21711
11.02/11.13	c bounds 2509 >= 0 @ 9.22486
11.02/11.14	c bounds 2462 >= 0 @ 9.23151
11.02/11.15	c bounds 2461 >= 0 @ 9.23563
11.02/11.16	c bounds 2362 >= 0 @ 9.24235
11.02/11.17	c bounds 2317 >= 0 @ 9.24924
11.02/11.18	c bounds 2105 >= 0 @ 9.25531
11.02/11.19	c bounds 2072 >= 0 @ 9.26301
11.11/11.21	c bounds 2055 >= 0 @ 9.27662
11.11/11.22	c bounds 1948 >= 0 @ 9.28428
11.42/11.53	c bounds 1943 >= 0 @ 9.59632
11.42/11.56	c bounds 1935 >= 0 @ 9.61668
11.42/11.57	c bounds 1906 >= 0 @ 9.6222
11.42/11.58	c bounds 1851 >= 0 @ 9.62852
11.42/11.59	c bounds 1845 >= 0 @ 9.6349
11.61/11.70	c bounds 1784 >= 0 @ 9.73679
11.61/11.71	c bounds 1768 >= 0 @ 9.7452
11.61/11.72	c bounds 1673 >= 0 @ 9.75118
11.61/11.73	c bounds 1616 >= 0 @ 9.75957
11.61/11.75	c bounds 1615 >= 0 @ 9.77144
11.61/11.76	c bounds 1562 >= 0 @ 9.78221
11.61/11.78	c bounds 1353 >= 0 @ 9.79025
11.61/11.79	c bounds 1319 >= 0 @ 9.79565
11.72/11.80	c bounds 1213 >= 0 @ 9.8032
11.72/11.81	c bounds 1082 >= 0 @ 9.81326
11.72/11.83	c bounds 1046 >= 0 @ 9.82193
11.72/11.84	c bounds 1001 >= 0 @ 9.82787
11.72/11.85	c bounds 994 >= 0 @ 9.83186
11.92/12.00	c bounds 966 >= 0 @ 9.98016
11.92/12.01	c bounds 964 >= 0 @ 9.98648
11.92/12.02	c bounds 952 >= 0 @ 9.99001
12.02/12.15	c bounds 946 >= 0 @ 10.1141
12.02/12.16	c bounds 940 >= 0 @ 10.121
12.02/12.17	c bounds 891 >= 0 @ 10.1306
12.21/12.39	c #Conflicts:       1000 | #Constraints:     658005
12.21/12.39	c bounds 873 >= 0 @ 10.3438
12.31/12.41	c bounds 860 >= 0 @ 10.3505
12.31/12.41	c bounds 859 >= 0 @ 10.3553
12.31/12.42	c bounds 855 >= 0 @ 10.358
12.42/12.56	c bounds 852 >= 0 @ 10.496
12.51/12.61	c bounds 823 >= 0 @ 10.5444
12.81/12.98	c bounds 752 >= 0 @ 10.8816
12.81/12.98	c bounds 750 >= 0 @ 10.888
13.21/13.37	c bounds 742 >= 0 @ 11.2671
18.10/18.26	c #Conflicts:       2000 | #Constraints:     659015
18.10/18.26	c INPROCESSING
18.10/18.26	c GARBAGE COLLECT
18.10/18.26	c #Conflicts:       3000 | #Constraints:     658914
18.10/18.26	c bounds 663 >= 0 @ 16.0462
18.10/18.28	c bounds 659 >= 0 @ 16.0567
18.10/18.29	c bounds 656 >= 0 @ 16.0712
18.20/18.30	c bounds 652 >= 0 @ 16.0773
18.20/18.32	c bounds 645 >= 0 @ 16.0885
18.20/18.33	c bounds 639 >= 0 @ 16.0933
18.20/18.34	c bounds 633 >= 0 @ 16.1067
18.30/18.47	c bounds 632 >= 0 @ 16.2288
18.30/18.49	c bounds 626 >= 0 @ 16.2384
18.69/18.80	c bounds 618 >= 0 @ 16.5509
18.79/18.92	c bounds 589 >= 0 @ 16.6552
18.99/19.13	c bounds 588 >= 0 @ 16.8576
21.09/21.24	c #Conflicts:       4000 | #Constraints:     659926
21.09/21.24	c INPROCESSING
21.09/21.24	c GARBAGE COLLECT
21.09/21.24	c bounds 584 >= 0 @ 18.939
30.16/30.36	c #Conflicts:       5000 | #Constraints:     659316
30.16/30.36	c #Conflicts:       6000 | #Constraints:     660316
30.16/30.36	c INPROCESSING
30.16/30.36	c GARBAGE COLLECT
30.16/30.36	c bounds 581 >= 0 @ 27.938
30.66/30.82	c bounds 579 >= 0 @ 28.3885
85.58/85.96	c #Conflicts:       7000 | #Constraints:     659333
85.58/85.96	c #Conflicts:       8000 | #Constraints:     660353
85.58/85.96	c #Conflicts:       9000 | #Constraints:     661371
85.58/85.96	c INPROCESSING
85.58/85.96	c GARBAGE COLLECT
85.58/85.96	c #Conflicts:      10000 | #Constraints:     660050
85.58/85.96	c #Conflicts:      11000 | #Constraints:     661050
85.58/85.96	c #Conflicts:      12000 | #Constraints:     662050
85.58/85.96	c INPROCESSING
85.58/85.96	c GARBAGE COLLECT
85.58/85.96	c #Conflicts:      13000 | #Constraints:     660487
85.58/85.96	c #Conflicts:      14000 | #Constraints:     661487
85.58/85.96	c #Conflicts:      15000 | #Constraints:     662487
85.58/85.96	c INPROCESSING
85.58/85.96	c GARBAGE COLLECT
85.58/85.96	c #Conflicts:      16000 | #Constraints:     660715
85.58/85.96	c #Conflicts:      17000 | #Constraints:     661715
85.58/85.96	c #Conflicts:      18000 | #Constraints:     662715
85.58/85.96	c INPROCESSING
85.58/85.96	c GARBAGE COLLECT
85.58/85.96	c rational objective 161.125
104.53/104.95	c #Conflicts:      19000 | #Constraints:     660734
104.53/104.95	c #Conflicts:      20000 | #Constraints:     661734
104.53/104.95	c #Conflicts:      21000 | #Constraints:     662734
104.53/104.95	c INPROCESSING
104.53/104.95	c GARBAGE COLLECT
104.53/104.95	c rational objective 161.171
121.89/122.36	c #Conflicts:      22000 | #Constraints:     660540
121.89/122.36	c #Conflicts:      23000 | #Constraints:     661540
121.89/122.36	c #Conflicts:      24000 | #Constraints:     662540
121.89/122.36	c #Conflicts:      25000 | #Constraints:     663540
121.89/122.36	c INPROCESSING
121.89/122.36	c GARBAGE COLLECT
121.89/122.36	c rational objective 162.016
144.13/144.61	c #Conflicts:      26000 | #Constraints:     661147
144.13/144.61	c #Conflicts:      27000 | #Constraints:     662147
144.13/144.61	c #Conflicts:      28000 | #Constraints:     663147
144.13/144.61	c #Conflicts:      29000 | #Constraints:     664147
144.13/144.61	c INPROCESSING
144.13/144.61	c GARBAGE COLLECT
144.13/144.61	c rational objective 163.25
175.86/176.46	c #Conflicts:      30000 | #Constraints:     661547
175.86/176.46	c #Conflicts:      31000 | #Constraints:     662547
175.86/176.46	c #Conflicts:      32000 | #Constraints:     663547
175.86/176.46	c #Conflicts:      33000 | #Constraints:     664547
175.86/176.46	c INPROCESSING
175.86/176.46	c GARBAGE COLLECT
175.86/176.46	c #Conflicts:      34000 | #Constraints:     661747
175.86/176.46	c #Conflicts:      35000 | #Constraints:     662747
175.86/176.46	c #Conflicts:      36000 | #Constraints:     663747
175.86/176.46	c #Conflicts:      37000 | #Constraints:     664747
175.86/176.46	c INPROCESSING
175.86/176.46	c GARBAGE COLLECT
175.86/176.46	c rational objective 163.644
200.80/201.46	c #Conflicts:      38000 | #Constraints:     661751
200.80/201.46	c #Conflicts:      39000 | #Constraints:     662751
200.80/201.46	c #Conflicts:      40000 | #Constraints:     663751
200.80/201.46	c #Conflicts:      41000 | #Constraints:     664751
200.80/201.46	c INPROCESSING
200.80/201.46	c GARBAGE COLLECT
200.80/201.46	c rational objective 163.704
224.04/224.70	c #Conflicts:      42000 | #Constraints:     661562
224.04/224.70	c #Conflicts:      43000 | #Constraints:     662562
224.04/224.70	c #Conflicts:      44000 | #Constraints:     663562
224.04/224.70	c #Conflicts:      45000 | #Constraints:     664562
224.04/224.70	c #Conflicts:      46000 | #Constraints:     665562
224.04/224.70	c INPROCESSING
224.04/224.70	c GARBAGE COLLECT
224.04/224.70	c rational objective 163.738
244.99/245.77	c #Conflicts:      47000 | #Constraints:     662150
244.99/245.77	c #Conflicts:      48000 | #Constraints:     663150
244.99/245.77	c #Conflicts:      49000 | #Constraints:     664150
244.99/245.77	c #Conflicts:      50000 | #Constraints:     665150
244.99/245.77	c #Conflicts:      51000 | #Constraints:     666150
244.99/245.77	c INPROCESSING
244.99/245.77	c GARBAGE COLLECT
244.99/245.77	c rational objective 163.741
250.17/250.94	c bounds 573 >= 0 @ 246.475
250.17/250.95	c bounds 573 >= 6 @ 246.484
266.13/266.96	c #Conflicts:      52000 | #Constraints:     662565
266.13/266.96	c #Conflicts:      53000 | #Constraints:     663569
266.13/266.96	c #Conflicts:      54000 | #Constraints:     664577
266.13/266.96	c #Conflicts:      55000 | #Constraints:     665584
266.13/266.96	c #Conflicts:      56000 | #Constraints:     666594
266.13/266.96	c INPROCESSING
266.13/266.96	c GARBAGE COLLECT
266.13/266.96	c bounds 572 >= 6 @ 262.277
292.86/293.77	c #Conflicts:      57000 | #Constraints:     662775
292.86/293.77	c #Conflicts:      58000 | #Constraints:     663778
292.86/293.77	c #Conflicts:      59000 | #Constraints:     664779
292.86/293.77	c #Conflicts:      60000 | #Constraints:     665779
292.86/293.77	c #Conflicts:      61000 | #Constraints:     666782
292.86/293.77	c INPROCESSING
292.86/293.77	c GARBAGE COLLECT
292.86/293.77	c rational objective 163.744
297.85/298.73	c bounds 570 >= 6 @ 293.79
297.85/298.76	c bounds 564 >= 6 @ 293.808
297.95/298.82	c bounds 561 >= 6 @ 293.862
300.05/300.99	c bounds 560 >= 6 @ 296.015
300.15/301.01	c bounds 560 >= 10 @ 296.024
300.15/301.02	c bounds 560 >= 14 @ 296.036
300.15/301.05	c bounds 560 >= 18 @ 296.054
303.34/304.22	c bounds 560 >= 22 @ 299.202
306.23/307.18	c #Conflicts:      62000 | #Constraints:     662806
306.23/307.18	c #Conflicts:      63000 | #Constraints:     663806
306.23/307.18	c bounds 560 >= 26 @ 302.136
314.70/315.60	c #Conflicts:      64000 | #Constraints:     664821
314.70/315.60	c bounds 559 >= 26 @ 310.494
327.97/328.96	c #Conflicts:      65000 | #Constraints:     665839
327.97/328.96	c #Conflicts:      66000 | #Constraints:     666839
327.97/328.96	c INPROCESSING
327.97/328.96	c GARBAGE COLLECT
327.97/328.96	c rational objective 163.821
360.09/361.11	c #Conflicts:      67000 | #Constraints:     662611
360.09/361.11	c #Conflicts:      68000 | #Constraints:     663611
360.09/361.11	c #Conflicts:      69000 | #Constraints:     664611
360.09/361.11	c #Conflicts:      70000 | #Constraints:     665611
360.09/361.11	c #Conflicts:      71000 | #Constraints:     666611
360.09/361.11	c #Conflicts:      72000 | #Constraints:     667611
360.09/361.11	c INPROCESSING
360.09/361.11	c GARBAGE COLLECT
360.09/361.11	c rational objective 163.831
363.98/365.06	c bounds 555 >= 26 @ 359.574
373.26/374.34	c #Conflicts:      73000 | #Constraints:     663214
373.26/374.34	c bounds 552 >= 26 @ 368.773
373.26/374.36	c bounds 552 >= 29 @ 368.794
373.36/374.46	c bounds 552 >= 32 @ 368.882
374.65/375.75	c bounds 552 >= 35 @ 370.153
390.81/391.92	c #Conflicts:      74000 | #Constraints:     664246
390.81/391.92	c #Conflicts:      75000 | #Constraints:     665246
390.81/391.92	c #Conflicts:      76000 | #Constraints:     666246
390.81/391.92	c #Conflicts:      77000 | #Constraints:     667246
390.81/391.92	c #Conflicts:      78000 | #Constraints:     668246
390.81/391.92	c INPROCESSING
390.81/391.92	c GARBAGE COLLECT
390.81/391.92	c rational objective 163.895
400.09/401.23	c bounds 550 >= 35 @ 395.405
400.79/401.94	c bounds 550 >= 37 @ 396.099
428.72/429.95	c #Conflicts:      79000 | #Constraints:     663623
428.72/429.95	c #Conflicts:      80000 | #Constraints:     664623
428.72/429.95	c #Conflicts:      81000 | #Constraints:     665625
428.72/429.95	c #Conflicts:      82000 | #Constraints:     666644
428.72/429.95	c #Conflicts:      83000 | #Constraints:     667653
428.72/429.95	c #Conflicts:      84000 | #Constraints:     668670
428.72/429.95	c INPROCESSING
428.72/429.95	c GARBAGE COLLECT
428.72/429.95	c rational objective 163.895
496.95/498.35	c #Conflicts:      85000 | #Constraints:     663841
496.95/498.35	c #Conflicts:      86000 | #Constraints:     664862
496.95/498.35	c #Conflicts:      87000 | #Constraints:     665875
496.95/498.35	c #Conflicts:      88000 | #Constraints:     666894
496.95/498.35	c #Conflicts:      89000 | #Constraints:     667914
496.95/498.35	c #Conflicts:      90000 | #Constraints:     668931
496.95/498.35	c INPROCESSING
496.95/498.35	c GARBAGE COLLECT
496.95/498.35	c #Conflicts:      91000 | #Constraints:     663864
496.95/498.35	c #Conflicts:      92000 | #Constraints:     664885
496.95/498.35	c #Conflicts:      93000 | #Constraints:     665913
496.95/498.35	c #Conflicts:      94000 | #Constraints:     666937
496.95/498.35	c #Conflicts:      95000 | #Constraints:     667941
496.95/498.35	c #Conflicts:      96000 | #Constraints:     668966
496.95/498.35	c INPROCESSING
496.95/498.35	c GARBAGE COLLECT
496.95/498.35	c rational objective 163.929
530.77/532.25	c #Conflicts:      97000 | #Constraints:     663693
530.77/532.25	c #Conflicts:      98000 | #Constraints:     664696
530.77/532.25	c #Conflicts:      99000 | #Constraints:     665721
530.77/532.25	c #Conflicts:     100000 | #Constraints:     666764
530.77/532.25	c #Conflicts:     101000 | #Constraints:     667772
530.77/532.25	c #Conflicts:     102000 | #Constraints:     668796
530.77/532.25	c #Conflicts:     103000 | #Constraints:     669808
530.77/532.25	c INPROCESSING
530.77/532.25	c GARBAGE COLLECT
530.77/532.25	c bounds 549 >= 37 @ 525.671
535.16/536.67	c #Conflicts:     104000 | #Constraints:     664330
535.16/536.67	c bounds 544 >= 37 @ 530.064
535.16/536.69	c bounds 544 >= 38 @ 530.078
535.26/536.71	c bounds 544 >= 39 @ 530.088
535.26/536.72	c bounds 544 >= 40 @ 530.101
535.26/536.74	c bounds 544 >= 41 @ 530.113
535.26/536.76	c bounds 544 >= 42 @ 530.126
535.26/536.78	c bounds 544 >= 43 @ 530.137
535.26/536.79	c bounds 544 >= 44 @ 530.144
535.35/536.81	c bounds 544 >= 45 @ 530.157
535.35/536.83	c bounds 544 >= 46 @ 530.169
535.35/536.85	c bounds 544 >= 47 @ 530.177
535.35/536.87	c bounds 544 >= 48 @ 530.188
535.35/536.88	c bounds 544 >= 49 @ 530.199
535.45/536.90	c bounds 544 >= 50 @ 530.213
535.45/536.92	c bounds 544 >= 51 @ 530.227
535.45/536.93	c bounds 544 >= 52 @ 530.238
535.45/536.95	c bounds 544 >= 53 @ 530.249
535.45/536.97	c bounds 544 >= 54 @ 530.258
535.45/536.99	c bounds 544 >= 55 @ 530.27
535.55/537.01	c bounds 544 >= 56 @ 530.285
535.55/537.02	c bounds 544 >= 57 @ 530.297
535.55/537.04	c bounds 544 >= 58 @ 530.308
535.55/537.06	c bounds 544 >= 59 @ 530.321
535.55/537.08	c bounds 544 >= 60 @ 530.333
535.55/537.10	c bounds 544 >= 61 @ 530.346
535.66/537.11	c bounds 544 >= 62 @ 530.355
535.66/537.13	c bounds 544 >= 63 @ 530.371
535.66/537.15	c bounds 544 >= 64 @ 530.381
535.66/537.17	c bounds 544 >= 65 @ 530.392
535.66/537.19	c bounds 544 >= 66 @ 530.406
535.75/537.20	c bounds 544 >= 67 @ 530.422
545.32/546.86	c bounds 544 >= 68 @ 540.028
545.43/546.91	c bounds 544 >= 69 @ 540.063
545.43/546.95	c bounds 544 >= 70 @ 540.093
545.43/546.99	c bounds 544 >= 71 @ 540.125
545.54/547.04	c bounds 544 >= 72 @ 540.171
545.64/547.11	c bounds 544 >= 73 @ 540.232
545.83/547.30	c bounds 544 >= 74 @ 540.4
546.03/547.55	c bounds 544 >= 75 @ 540.645
546.33/547.88	c bounds 544 >= 76 @ 540.956
546.63/548.20	c bounds 544 >= 77 @ 541.259
547.03/548.59	c #Conflicts:     105000 | #Constraints:     665650
547.03/548.59	c bounds 544 >= 78 @ 541.647
547.63/549.12	c bounds 544 >= 79 @ 542.162
548.63/550.12	c #Conflicts:     106000 | #Constraints:     666692
548.63/550.12	c bounds 544 >= 80 @ 543.143
549.82/551.30	c bounds 544 >= 81 @ 544.286
551.11/552.62	c #Conflicts:     107000 | #Constraints:     667758
551.11/552.62	c bounds 544 >= 82 @ 545.562
553.41/554.92	c #Conflicts:     108000 | #Constraints:     668785
553.41/554.92	c bounds 544 >= 83 @ 547.812
554.81/556.36	c bounds 543 >= 83 @ 549.24
721.49/723.47	c #Conflicts:     109000 | #Constraints:     669831
721.49/723.47	c #Conflicts:     110000 | #Constraints:     670831
721.49/723.47	c INPROCESSING
721.49/723.47	c GARBAGE COLLECT
721.49/723.47	c bounds 541 >= 83 @ 715.819
721.49/723.49	c bounds 537 >= 83 @ 715.835
721.58/723.51	c bounds 535 >= 83 @ 715.853
721.58/723.53	c bounds 532 >= 83 @ 715.869
723.28/725.20	c bounds 531 >= 83 @ 717.526
723.78/725.74	c bounds 531 >= 84 @ 718.043
730.17/732.16	c #Conflicts:     111000 | #Constraints:     665069
730.17/732.16	c bounds 531 >= 85 @ 724.394
732.46/734.43	c #Conflicts:     112000 | #Constraints:     666099
732.46/734.43	c #Conflicts:     113000 | #Constraints:     667099
732.46/734.43	c bounds 531 >= 86 @ 726.603
741.53/743.57	c #Conflicts:     114000 | #Constraints:     668138
741.53/743.57	c #Conflicts:     115000 | #Constraints:     669138
741.53/743.57	c bounds 531 >= 87 @ 735.617
741.74/743.73	c bounds 530 >= 87 @ 735.76
742.15/744.18	c bounds 526 >= 87 @ 736.212
743.43/745.44	c bounds 525 >= 87 @ 737.456
743.83/745.80	c #Conflicts:     116000 | #Constraints:     670178
743.83/745.80	c bounds 524 >= 87 @ 737.823
750.32/752.32	c #Conflicts:     117000 | #Constraints:     671180
750.32/752.32	c INPROCESSING
750.32/752.32	c GARBAGE COLLECT
750.32/752.32	c rational objective 164.087
761.69/763.74	c #Conflicts:     118000 | #Constraints:     665251
761.69/763.74	c bounds 523 >= 87 @ 755.669
777.05/779.12	c #Conflicts:     119000 | #Constraints:     666263
777.05/779.12	c #Conflicts:     120000 | #Constraints:     667263
777.05/779.12	c #Conflicts:     121000 | #Constraints:     668263
777.05/779.12	c #Conflicts:     122000 | #Constraints:     669263
777.05/779.12	c #Conflicts:     123000 | #Constraints:     670263
777.05/779.12	c bounds 523 >= 88 @ 770.897
784.94/787.10	c #Conflicts:     124000 | #Constraints:     671311
784.94/787.10	c INPROCESSING
784.94/787.10	c GARBAGE COLLECT
784.94/787.10	c rational objective 164.109
805.77/807.91	c #Conflicts:     125000 | #Constraints:     665231
805.77/807.91	c #Conflicts:     126000 | #Constraints:     666231
805.77/807.91	c #Conflicts:     127000 | #Constraints:     667231
805.77/807.91	c bounds 523 >= 89 @ 799.413
806.77/808.95	c bounds 519 >= 89 @ 800.435
806.77/808.97	c bounds 517 >= 89 @ 800.449
810.17/812.32	c #Conflicts:     128000 | #Constraints:     668269
810.17/812.32	c bounds 515 >= 89 @ 803.787
831.51/833.79	c #Conflicts:     129000 | #Constraints:     669270
831.51/833.79	c #Conflicts:     130000 | #Constraints:     670271
831.51/833.79	c #Conflicts:     131000 | #Constraints:     671271
831.51/833.79	c INPROCESSING
831.51/833.79	c GARBAGE COLLECT
831.51/833.79	c rational objective 164.115
842.58/844.89	c #Conflicts:     132000 | #Constraints:     665019
842.58/844.89	c #Conflicts:     133000 | #Constraints:     666019
842.58/844.89	c bounds 515 >= 90 @ 836.049
868.73/871.03	c #Conflicts:     134000 | #Constraints:     667071
868.73/871.03	c #Conflicts:     135000 | #Constraints:     668071
868.73/871.03	c #Conflicts:     136000 | #Constraints:     669071
868.73/871.03	c #Conflicts:     137000 | #Constraints:     670071
868.73/871.03	c bounds 515 >= 91 @ 862.005
963.89/966.46	c #Conflicts:     138000 | #Constraints:     671107
963.89/966.46	c #Conflicts:     139000 | #Constraints:     672107
963.89/966.46	c INPROCESSING
963.89/966.46	c GARBAGE COLLECT
963.89/966.46	c #Conflicts:     140000 | #Constraints:     665681
963.89/966.46	c #Conflicts:     141000 | #Constraints:     666681
963.89/966.46	c #Conflicts:     142000 | #Constraints:     667681
963.89/966.46	c #Conflicts:     143000 | #Constraints:     668682
963.89/966.46	c #Conflicts:     144000 | #Constraints:     669682
963.89/966.46	c #Conflicts:     145000 | #Constraints:     670682
963.89/966.46	c #Conflicts:     146000 | #Constraints:     671682
963.89/966.46	c #Conflicts:     147000 | #Constraints:     672683
963.89/966.46	c INPROCESSING
963.89/966.46	c GARBAGE COLLECT
963.89/966.46	c bounds 515 >= 92 @ 956.997
999.30/1001.97	c #Conflicts:     148000 | #Constraints:     666100
999.30/1001.97	c #Conflicts:     149000 | #Constraints:     667100
999.30/1001.97	c #Conflicts:     150000 | #Constraints:     668100
999.30/1001.97	c #Conflicts:     151000 | #Constraints:     669100
999.30/1001.97	c #Conflicts:     152000 | #Constraints:     670100
999.30/1001.97	c #Conflicts:     153000 | #Constraints:     671100
999.30/1001.97	c bounds 515 >= 93 @ 992.15
1112.62/1115.54	c #Conflicts:     154000 | #Constraints:     672163
1112.62/1115.54	c #Conflicts:     155000 | #Constraints:     673163
1112.62/1115.54	c INPROCESSING
1112.62/1115.54	c GARBAGE COLLECT
1112.62/1115.54	c rational objective 164.116
1116.91/1119.85	c bounds 514 >= 93 @ 1109.63
1116.91/1119.86	c bounds 513 >= 93 @ 1109.64
1116.91/1119.89	c bounds 510 >= 93 @ 1109.66
1122.21/1125.10	c #Conflicts:     156000 | #Constraints:     666325
1122.21/1125.10	c bounds 503 >= 93 @ 1114.84
1158.62/1161.67	c #Conflicts:     157000 | #Constraints:     667328
1158.62/1161.67	c #Conflicts:     158000 | #Constraints:     668328
1158.62/1161.67	c #Conflicts:     159000 | #Constraints:     669328
1158.62/1161.67	c #Conflicts:     160000 | #Constraints:     670328
1158.62/1161.67	c #Conflicts:     161000 | #Constraints:     671328
1158.62/1161.67	c #Conflicts:     162000 | #Constraints:     672328
1158.62/1161.67	c bounds 503 >= 94 @ 1151.07
1158.62/1161.69	c bounds 502 >= 94 @ 1151.09
1350.93/1354.48	c #Conflicts:     163000 | #Constraints:     673386
1350.93/1354.48	c INPROCESSING
1350.93/1354.48	c GARBAGE COLLECT
1350.93/1354.48	c rational objective 164.116
1408.40/1412.04	c #Conflicts:     164000 | #Constraints:     666347
1408.40/1412.04	c #Conflicts:     165000 | #Constraints:     667347
1408.40/1412.04	c #Conflicts:     166000 | #Constraints:     668348
1408.40/1412.04	c #Conflicts:     167000 | #Constraints:     669348
1408.40/1412.04	c #Conflicts:     168000 | #Constraints:     670348
1408.40/1412.04	c #Conflicts:     169000 | #Constraints:     671348
1408.40/1412.04	c #Conflicts:     170000 | #Constraints:     672348
1408.40/1412.04	c bounds 502 >= 95 @ 1400.47
1410.89/1414.59	c #Conflicts:     171000 | #Constraints:     673405
1410.89/1414.59	c bounds 501 >= 95 @ 1402.99
1600.52/1604.61	c INPROCESSING
1600.52/1604.61	c GARBAGE COLLECT
1600.52/1604.61	c #Conflicts:     172000 | #Constraints:     666150
1600.52/1604.61	c #Conflicts:     173000 | #Constraints:     667150
1600.52/1604.61	c #Conflicts:     174000 | #Constraints:     668150
1600.52/1604.61	c #Conflicts:     175000 | #Constraints:     669150
1600.52/1604.61	c #Conflicts:     176000 | #Constraints:     670150
1600.52/1604.61	c #Conflicts:     177000 | #Constraints:     671150
1600.52/1604.61	c #Conflicts:     178000 | #Constraints:     672150
1600.52/1604.61	c #Conflicts:     179000 | #Constraints:     673150
1600.52/1604.61	c bounds 501 >= 96 @ 1592.11
1600.52/1604.63	c bounds 500 >= 96 @ 1592.12
1604.91/1609.06	c #Conflicts:     180000 | #Constraints:     674193
1604.91/1609.06	c INPROCESSING
1604.91/1609.06	c GARBAGE COLLECT
1604.91/1609.06	c rational objective 164.116
1610.00/1614.19	c bounds 499 >= 96 @ 1601.63
1610.30/1614.44	c bounds 490 >= 96 @ 1601.88
1610.40/1614.52	c bounds 487 >= 96 @ 1601.95
1610.50/1614.61	c bounds 486 >= 96 @ 1602.04
1685.21/1689.57	c #Conflicts:     181000 | #Constraints:     666902
1685.21/1689.57	c #Conflicts:     182000 | #Constraints:     667987
1685.21/1689.57	c #Conflicts:     183000 | #Constraints:     669046
1685.21/1689.57	c #Conflicts:     184000 | #Constraints:     670152
1685.21/1689.57	c #Conflicts:     185000 | #Constraints:     671197
1685.21/1689.57	c #Conflicts:     186000 | #Constraints:     672296
1685.21/1689.57	c bounds 485 >= 96 @ 1676.59
1699.88/1704.27	c #Conflicts:     187000 | #Constraints:     673333
1699.88/1704.27	c #Conflicts:     188000 | #Constraints:     674333
1699.88/1704.27	c #Conflicts:     189000 | #Constraints:     675333
1699.88/1704.27	c INPROCESSING
1699.88/1704.27	c GARBAGE COLLECT
1699.88/1704.27	c rational objective 164.116
1795.94/1800.50	c #Conflicts:     190000 | #Constraints:     667432
1795.94/1800.50	c #Conflicts:     191000 | #Constraints:     668432
1795.94/1800.50	c #Conflicts:     192000 | #Constraints:     669432
1795.94/1800.50	c #Conflicts:     193000 | #Constraints:     670432
1795.94/1800.50	c #Conflicts:     194000 | #Constraints:     671432
1795.94/1800.50	c #Conflicts:     195000 | #Constraints:     672432
1795.94/1800.50	c #Conflicts:     196000 | #Constraints:     673432
1795.94/1800.50	c #Conflicts:     197000 | #Constraints:     674433
1795.94/1800.50	c #Conflicts:     198000 | #Constraints:     675434
1795.94/1800.50	c INPROCESSING
1795.94/1800.50	c GARBAGE COLLECT
1795.94/1800.50	c rational objective 164.116
1801.63/1806.28	c bounds 485 >= 97 @ 1792.76
2055.82/2061.00	c #Conflicts:     199000 | #Constraints:     667533
2055.82/2061.00	c #Conflicts:     200000 | #Constraints:     668534
2055.82/2061.00	c #Conflicts:     201000 | #Constraints:     669534
2055.82/2061.00	c #Conflicts:     202000 | #Constraints:     670534
2055.82/2061.00	c #Conflicts:     203000 | #Constraints:     671535
2055.82/2061.00	c #Conflicts:     204000 | #Constraints:     672535
2055.82/2061.00	c #Conflicts:     205000 | #Constraints:     673536
2055.82/2061.00	c #Conflicts:     206000 | #Constraints:     674536
2055.82/2061.00	c #Conflicts:     207000 | #Constraints:     675536
2055.82/2061.00	c INPROCESSING
2055.82/2061.00	c GARBAGE COLLECT
2055.82/2061.00	c #Conflicts:     208000 | #Constraints:     667445
2055.82/2061.00	c #Conflicts:     209000 | #Constraints:     668445
2055.82/2061.00	c #Conflicts:     210000 | #Constraints:     669445
2055.82/2061.00	c #Conflicts:     211000 | #Constraints:     670445
2055.82/2061.00	c bounds 485 >= 98 @ 2046.5
2147.49/2152.94	c #Conflicts:     212000 | #Constraints:     671499
2147.49/2152.94	c #Conflicts:     213000 | #Constraints:     672499
2147.49/2152.94	c #Conflicts:     214000 | #Constraints:     673499
2147.49/2152.94	c #Conflicts:     215000 | #Constraints:     674499
2147.49/2152.94	c #Conflicts:     216000 | #Constraints:     675499
2147.49/2152.94	c INPROCESSING
2147.49/2152.94	c GARBAGE COLLECT
2147.49/2152.94	c #Conflicts:     217000 | #Constraints:     667249
2147.49/2152.94	c #Conflicts:     218000 | #Constraints:     668249
2147.49/2152.94	c #Conflicts:     219000 | #Constraints:     669249
2147.49/2152.94	c #Conflicts:     220000 | #Constraints:     670249
2147.49/2152.94	c #Conflicts:     221000 | #Constraints:     671250
2147.49/2152.94	c #Conflicts:     222000 | #Constraints:     672250
2147.49/2152.94	c #Conflicts:     223000 | #Constraints:     673250
2147.49/2152.94	c #Conflicts:     224000 | #Constraints:     674250
2147.49/2152.94	c #Conflicts:     225000 | #Constraints:     675251
2147.49/2152.94	c #Conflicts:     226000 | #Constraints:     676251
2147.49/2152.94	c INPROCESSING
2147.49/2152.94	c GARBAGE COLLECT
2147.49/2152.94	c rational objective 164.116
2152.67/2158.13	c bounds 485 >= 99 @ 2143.1
3128.83/3136.73	c #Conflicts:     227000 | #Constraints:     667895
3128.83/3136.73	c #Conflicts:     228000 | #Constraints:     668896
3128.83/3136.73	c #Conflicts:     229000 | #Constraints:     669896
3128.83/3136.73	c #Conflicts:     230000 | #Constraints:     670896
3128.83/3136.73	c #Conflicts:     231000 | #Constraints:     671896
3128.83/3136.73	c #Conflicts:     232000 | #Constraints:     672896
3128.83/3136.73	c #Conflicts:     233000 | #Constraints:     673897
3128.83/3136.73	c #Conflicts:     234000 | #Constraints:     674897
3128.83/3136.73	c #Conflicts:     235000 | #Constraints:     675897
3128.83/3136.73	c #Conflicts:     236000 | #Constraints:     676897
3128.83/3136.73	c INPROCESSING
3128.83/3136.73	c GARBAGE COLLECT
3128.83/3136.73	c #Conflicts:     237000 | #Constraints:     668265
3128.83/3136.73	c #Conflicts:     238000 | #Constraints:     669265
3128.83/3136.73	c #Conflicts:     239000 | #Constraints:     670265
3128.83/3136.73	c #Conflicts:     240000 | #Constraints:     671265
3128.83/3136.73	c #Conflicts:     241000 | #Constraints:     672265
3128.83/3136.73	c #Conflicts:     242000 | #Constraints:     673266
3128.83/3136.73	c #Conflicts:     243000 | #Constraints:     674266
3128.83/3136.73	c #Conflicts:     244000 | #Constraints:     675266
3128.83/3136.73	c #Conflicts:     245000 | #Constraints:     676266
3128.83/3136.73	c #Conflicts:     246000 | #Constraints:     677266
3128.83/3136.73	c INPROCESSING
3128.83/3136.73	c GARBAGE COLLECT
3128.83/3136.73	c #Conflicts:     247000 | #Constraints:     668453
3128.83/3136.73	c #Conflicts:     248000 | #Constraints:     669453
3128.83/3136.73	c #Conflicts:     249000 | #Constraints:     670453
3128.83/3136.73	c #Conflicts:     250000 | #Constraints:     671453
3128.83/3136.73	c #Conflicts:     251000 | #Constraints:     672453
3128.83/3136.73	c #Conflicts:     252000 | #Constraints:     673454
3128.83/3136.73	c #Conflicts:     253000 | #Constraints:     674454
3128.83/3136.73	c #Conflicts:     254000 | #Constraints:     675454
3128.83/3136.73	c #Conflicts:     255000 | #Constraints:     676454
3128.83/3136.73	c #Conflicts:     256000 | #Constraints:     677454
3128.83/3136.73	c INPROCESSING
3128.83/3136.73	c GARBAGE COLLECT
3128.83/3136.73	c #Conflicts:     257000 | #Constraints:     668438
3128.83/3136.73	c #Conflicts:     258000 | #Constraints:     669438
3128.83/3136.73	c #Conflicts:     259000 | #Constraints:     670438
3128.83/3136.73	c #Conflicts:     260000 | #Constraints:     671438
3128.83/3136.73	c #Conflicts:     261000 | #Constraints:     672438
3128.83/3136.73	c #Conflicts:     262000 | #Constraints:     673438
3128.83/3136.73	c #Conflicts:     263000 | #Constraints:     674438
3128.83/3136.73	c #Conflicts:     264000 | #Constraints:     675438
3128.83/3136.73	c #Conflicts:     265000 | #Constraints:     676438
3128.83/3136.73	c #Conflicts:     266000 | #Constraints:     677438
3128.83/3136.73	c INPROCESSING
3128.83/3136.73	c GARBAGE COLLECT
3128.83/3136.73	c rational objective 164.116
3133.13/3141.05	c bounds 484 >= 99 @ 3121.72
3143.49/3151.48	c #Conflicts:     267000 | #Constraints:     668227
3143.49/3151.48	c #Conflicts:     268000 | #Constraints:     669227
3143.49/3151.48	c #Conflicts:     269000 | #Constraints:     670227
3143.49/3151.48	c bounds 483 >= 99 @ 3132.11
3394.34/3402.97	c #Conflicts:     270000 | #Constraints:     671228
3394.34/3402.97	c #Conflicts:     271000 | #Constraints:     672229
3394.34/3402.97	c #Conflicts:     272000 | #Constraints:     673229
3394.34/3402.97	c #Conflicts:     273000 | #Constraints:     674229
3394.34/3402.97	c #Conflicts:     274000 | #Constraints:     675229
3394.34/3402.97	c #Conflicts:     275000 | #Constraints:     676229
3394.34/3402.97	c #Conflicts:     276000 | #Constraints:     677229
3394.34/3402.97	c #Conflicts:     277000 | #Constraints:     678229
3394.34/3402.97	c INPROCESSING
3394.34/3402.97	c GARBAGE COLLECT
3394.34/3402.97	c bounds 482 >= 99 @ 3382.58
3401.32/3409.99	c #Conflicts:     278000 | #Constraints:     668826
3401.32/3409.99	c bounds 481 >= 99 @ 3389.53
3467.24/3476.06	c #Conflicts:     279000 | #Constraints:     669827
3467.24/3476.06	c #Conflicts:     280000 | #Constraints:     670827
3467.24/3476.06	c #Conflicts:     281000 | #Constraints:     671827
3467.24/3476.06	c #Conflicts:     282000 | #Constraints:     672827
3467.24/3476.06	c #Conflicts:     283000 | #Constraints:     673827
3467.24/3476.06	c #Conflicts:     284000 | #Constraints:     674827
3467.24/3476.06	c #Conflicts:     285000 | #Constraints:     675827
3467.24/3476.06	c #Conflicts:     286000 | #Constraints:     676828
3467.24/3476.06	c #Conflicts:     287000 | #Constraints:     677828
3467.24/3476.06	c #Conflicts:     288000 | #Constraints:     678828
3467.24/3476.06	c INPROCESSING
3467.24/3476.06	c GARBAGE COLLECT
3467.24/3476.06	c rational objective 164.116
3471.72/3480.53	c bounds 477 >= 99 @ 3459.4
3471.72/3480.54	c bounds 471 >= 99 @ 3459.41
3472.62/3481.46	c bounds 467 >= 99 @ 3460.31
3473.42/3482.29	c bounds 463 >= 99 @ 3461.13

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 (62813 MiB free)
  memory of node 1: 64507 MiB (62441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489878-1751371504/watcher-4489878-1751371504 -o /tmp/evaluation-result-4489878-1751371504/solver-4489878-1751371504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56779 --watchdog 3760 run-opt-break.sh HOME/instance-4489878-1751371504.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 1.80 2.77 3.55 3/255 56819
/proc/meminfo: memFree=128114168/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56808] ppid=56806 vsize=163536 memory=146964 CPUtime=0.07 cores=1,3
/proc/56808/stat : 56808 (pbsuma) R 56806 56806 56765 0 -1 4194304 4051 0 0 0 4 3 0 0 20 0 1 0 52828318 167460864 36741 18446744073709551615 4210688 4653049 140734909697040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17104896 140734909704547 140734909704754 140734909704754 140734909710319 0
/proc/56808/statm: 40884 36741 960 108 0 38292 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167728 KiB
Current children cumulated memory: 150036 KiB

[startup+0.205424 s]*
/proc/loadavg: 1.80 2.77 3.55 5/269 56840
/proc/meminfo: memFree=127595632/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56808] ppid=56806 vsize=180656 memory=165980 CPUtime=0.18 cores=1,3
/proc/56808/stat : 56808 (pbsuma) R 56806 56806 56765 0 -1 4194304 8997 0 0 0 14 4 0 0 20 0 1 0 52828318 184991744 41495 18446744073709551615 4210688 4653049 140734909697040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17104896 140734909704547 140734909704754 140734909704754 140734909710319 0
/proc/56808/statm: 45164 41495 960 108 0 42572 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 169052 KiB

[startup+0.305762 s]*
/proc/loadavg: 1.80 2.77 3.55 5/269 56840
/proc/meminfo: memFree=127250972/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56808] ppid=56806 vsize=193728 memory=182152 CPUtime=0.28 cores=1,3
/proc/56808/stat : 56808 (pbsuma) R 56806 56806 56765 0 -1 4194304 12548 0 0 0 23 5 0 0 20 0 1 0 52828318 198377472 45538 18446744073709551615 4210688 4653049 140734909697040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17104896 140734909704547 140734909704754 140734909704754 140734909710319 0
/proc/56808/statm: 48432 45538 960 108 0 45840 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 197920 KiB
Current children cumulated memory: 185224 KiB

[startup+0.700209 s]
/proc/loadavg: 1.80 2.77 3.55 5/269 56840
/proc/meminfo: memFree=127039648/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56808] ppid=56806 vsize=330012 memory=272700 CPUtime=0.67 cores=1,3
/proc/56808/stat : 56808 (pbsuma) R 56806 56806 56765 0 -1 4194304 25202 0 0 0 59 8 0 0 20 0 1 0 52828318 337932288 68175 18446744073709551615 4210688 4653049 140734909697040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17104896 140734909704547 140734909704754 140734909704754 140734909710319 0
/proc/56808/statm: 82503 68175 960 108 0 79911 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 334204 KiB
Current children cumulated memory: 275772 KiB

[startup+1.5002 s]
/proc/loadavg: 1.80 2.77 3.55 5/269 56841
/proc/meminfo: memFree=126794360/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=79480 memory=34676 CPUtime=0.55 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 6116 0 0 0 39 16 0 0 20 0 1 0 52828410 81387520 8669 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 19870 8669 1920 1147 0 7297 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 83672 KiB
Current children cumulated memory: 37748 KiB

[startup+3.1055 s]
/proc/loadavg: 1.98 2.79 3.56 5/269 56843
/proc/meminfo: memFree=126790868/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=440240 memory=354460 CPUtime=2.15 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 28553 0 0 0 161 54 0 0 20 0 1 0 52828410 450805760 88615 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 110060 88615 2240 1147 0 97487 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 444432 KiB
Current children cumulated memory: 357532 KiB

[startup+6.3002 s]
/proc/loadavg: 1.98 2.79 3.56 5/269 56844
/proc/meminfo: memFree=126582564/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=913876 memory=654560 CPUtime=5.34 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 49348 0 0 0 464 70 0 0 20 0 1 0 52828410 935809024 163640 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 228469 163640 2368 1147 0 215896 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 918068 KiB
Current children cumulated memory: 657632 KiB

[startup+12.7002 s]
/proc/loadavg: 2.14 2.81 3.56 6/267 56858
/proc/meminfo: memFree=126686360/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1083240 memory=774268 CPUtime=11.71 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 56949 0 0 0 1061 110 0 0 20 0 1 0 52828410 1109237760 193567 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 270810 193567 2400 1147 0 258237 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1087432 KiB
Current children cumulated memory: 777340 KiB

[startup+25.5002 s]
/proc/loadavg: 2.70 2.90 3.58 5/270 56984
/proc/meminfo: memFree=126459576/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1147024 memory=827372 CPUtime=24.47 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 61578 0 0 0 2310 137 0 0 20 0 1 0 52828410 1174552576 206843 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 286756 206843 2400 1147 0 274183 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1151216 KiB
Current children cumulated memory: 830444 KiB

[startup+51.1055 s]
/proc/loadavg: 3.14 2.99 3.59 5/268 57047
/proc/meminfo: memFree=126278036/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1669708 memory=1292588 CPUtime=50 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 130883 0 0 0 4839 161 0 0 20 0 1 0 52828410 1709780992 323147 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 417427 323147 2400 1147 0 404854 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1673900 KiB
Current children cumulated memory: 1295660 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 3.18 3.62 5/269 57222
/proc/meminfo: memFree=126746904/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1711892 memory=1324484 CPUtime=101.04 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 135453 0 0 0 9903 201 0 0 20 0 1 0 52828410 1752977408 331121 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 427973 331121 2400 1147 0 415400 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1716084 KiB
Current children cumulated memory: 1327556 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.34 3.65 5/270 57271
/proc/meminfo: memFree=126972332/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1711892 memory=1325380 CPUtime=160.89 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 135631 0 0 0 15842 247 0 0 20 0 1 0 52828410 1752977408 331345 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 427973 331345 2400 1147 0 415400 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1716084 KiB
Current children cumulated memory: 1328452 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.48 3.68 5/270 57273
/proc/meminfo: memFree=126915848/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=1714456 memory=1336392 CPUtime=220.75 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 136327 0 0 0 21806 269 0 0 20 0 1 0 52828410 1755602944 334098 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 428614 334098 2400 1147 0 416041 0

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

/proc/meminfo: memFree=125659332/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2452692 memory=2143968 CPUtime=3273.14 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 330468 0 0 0 326224 1090 0 0 20 0 1 0 52828410 2511556608 535992 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 613173 535992 2528 1147 0 600600 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 2456884 KiB
Current children cumulated memory: 2147040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 57484
/proc/meminfo: memFree=125635760/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2452692 memory=2143968 CPUtime=3333 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 330489 0 0 0 332208 1092 0 0 20 0 1 0 52828410 2511556608 535992 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 613173 535992 2528 1147 0 600600 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 2456884 KiB
Current children cumulated memory: 2147040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 57497
/proc/meminfo: memFree=125623684/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2452692 memory=2143968 CPUtime=3392.84 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 330499 0 0 0 338190 1094 0 0 20 0 1 0 52828410 2511556608 535992 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 613173 535992 2528 1147 0 600600 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 2456884 KiB
Current children cumulated memory: 2147040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 57499
/proc/meminfo: memFree=125610256/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2435080 memory=2129248 CPUtime=3452.67 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 352901 0 0 0 344129 1138 0 0 20 0 1 0 52828410 2493521920 532312 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 608770 532312 2528 1147 0 596197 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 2439272 KiB
Current children cumulated memory: 2132320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 57501
/proc/meminfo: memFree=125615640/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2434468 memory=2128736 CPUtime=3512.49 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 363799 0 0 0 350084 1165 0 0 20 0 1 0 52828410 2492895232 532184 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 608617 532184 2528 1147 0 596044 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 2438660 KiB
Current children cumulated memory: 2131808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 57504
/proc/meminfo: memFree=125583148/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2436808 memory=2131040 CPUtime=3572.32 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 373583 0 0 0 356040 1192 0 0 20 0 1 0 52828410 2495291392 532760 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 532760 2528 1147 0 596629 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 2441000 KiB
Current children cumulated memory: 2134112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 57504
/proc/meminfo: memFree=125583652/131249996 swapFree=33010684/33010684
[pid=56806] ppid=56802 vsize=4192 memory=3072 CPUtime=0.9 cores=1,3
/proc/56806/stat : 56806 (run-opt-break.s) S 56802 56806 56765 0 -1 4194304 237 31238 0 0 0 0 80 10 20 0 1 0 52828317 4292608 768 18446744073709551615 94054019174400 94054020068933 140731049876688 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94054020307984 94054020355728 94054026764288 140731049884001 140731049884130 140731049884130 140731049889732 0
/proc/56806/statm: 1048 768 704 219 0 110 0
[pid=56841] ppid=56806 vsize=2436808 memory=2131040 CPUtime=3599.13 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56806 56806 56765 0 -1 4194304 373628 0 0 0 358719 1194 0 0 20 0 1 0 52828410 2495291392 532760 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 532760 2528 1147 0 596629 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2441000 KiB
Current children cumulated memory: 2134112 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3589.99 s, system=12.072 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

[startup+3609.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 57504
/proc/meminfo: memFree=125583652/131249996 swapFree=33010684/33010684
[pid=56841] ppid=56802 vsize=2436808 memory=2131040 CPUtime=3599.53 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56802 56806 56765 0 -1 4194304 373628 0 0 0 358759 1194 0 0 20 0 1 0 52828410 2495291392 532760 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 532760 2528 1147 0 596629 0
Current cumulated CPU time of completed processes: 0.913834 s
Current children cumulated CPU time: 3599.53 s
Current children cumulated vsize: 2436808 KiB
Current children cumulated memory: 2131040 KiB

[startup+3610.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 57504
/proc/meminfo: memFree=125583404/131249996 swapFree=33010684/33010684
[pid=56841] ppid=56802 vsize=2436808 memory=2135776 CPUtime=3600.33 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56802 56806 56765 0 -1 4194304 373775 0 0 0 358838 1195 0 0 20 0 1 0 52828410 2495291392 533944 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 533944 2528 1147 0 596629 0
Current cumulated CPU time of completed processes: 0.913834 s
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 2436808 KiB
Current children cumulated memory: 2135776 KiB

[startup+3610.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 57504
/proc/meminfo: memFree=125583404/131249996 swapFree=33010684/33010684
[pid=56841] ppid=56802 vsize=2436808 memory=2135776 CPUtime=3600.73 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56802 56806 56765 0 -1 4194304 373775 0 0 0 358878 1195 0 0 20 0 1 0 52828410 2495291392 533944 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 533944 2528 1147 0 596629 0
Current cumulated CPU time of completed processes: 0.913834 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 2436808 KiB
Current children cumulated memory: 2135776 KiB

[startup+3611.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 57504
/proc/meminfo: memFree=125583420/131249996 swapFree=33010684/33010684
[pid=56841] ppid=56802 vsize=2436808 memory=2135776 CPUtime=3601.13 cores=1,3
/proc/56841/stat : 56841 (roundingsat) R 56802 56806 56765 0 -1 4194304 373775 0 0 0 358918 1195 0 0 20 0 1 0 52828410 2495291392 533944 18446744073709551615 4227072 8923433 140733257504768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22450176 140733257513316 140733257513512 140733257513512 140733257519082 0
/proc/56841/statm: 609202 533944 2528 1147 0 596629 0
Current cumulated CPU time of completed processes: 0.913834 s
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 2436808 KiB
Current children cumulated memory: 2135776 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.21
CPU time (s): 3602.06
CPU user time (s): 3589.99
CPU system time (s): 12.072
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 2556996
Max. memory (cumulated for all children) (KiB): 2260324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 12.072
maximum resident set size= 2257272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240
involuntary context switches= 2426


# summary of solver processes directly reported to runsolver:
#   pid: 56806,56841
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3589.99
#   total CPU system time (s): 12.072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0736 second user time and 17.6702 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-01 14:05:04
IDJOB=4489878
IDBENCH=147565
IDSOLVER=3359
FILE ID=nodeC024/4489878-1751371504
RUNJOBID= nodeC024-1751371504-56779
SLURM_JOB_ID= 9598196
Free space on /tmp= 432768 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489878-1751371504/watcher-4489878-1751371504 -o /tmp/evaluation-result-4489878-1751371504/solver-4489878-1751371504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56779 --watchdog 3760  run-opt-break.sh HOME/instance-4489878-1751371504.opb

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=896706812

nodeC024 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.700
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.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	: 0xb00002a
cpu MHz		: 3599.650
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.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	: 0xb00002a
cpu MHz		: 3633.912
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.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	: 0xb00002a
cpu MHz		: 3586.471
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.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	: 0xb00002a
cpu MHz		: 3599.697
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.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	: 0xb00002a
cpu MHz		: 3599.668
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.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	: 0xb00002a
cpu MHz		: 3703.372
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.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	: 0xb00002a
cpu MHz		: 3545.243
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128260676 kB
MemAvailable:   129762852 kB
Buffers:            3280 kB
Cached:          2295640 kB
SwapCached:            0 kB
Active:           333212 kB
Inactive:        2038844 kB
Active(anon):      91524 kB
Inactive(anon):        0 kB
Active(file):     241688 kB
Inactive(file):  2038844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            170428 kB
Writeback:            16 kB
AnonPages:         76932 kB
Mapped:           103516 kB
Shmem:             18064 kB
KReclaimable:     121364 kB
Slab:             210904 kB
SReclaimable:     121364 kB
SUnreclaim:        89540 kB
KernelStack:        4096 kB
PageTables:         2872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     346608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC024 at 2025-07-01 15:05:15