Trace number 4460189

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 log (2)? (TO) 3602.11 3614.12

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
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 benchmark239
Best CPU time to get the best result obtained on this benchmark3558.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 494177
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 494177
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.09/2.16	c #variables 10000 #constraints 656900
3.68/3.73	c bounds - >= 0 @ 1.66018
3.68/3.73	c rational objective 172.654
10.75/10.82	c bounds 6268 >= 0 @ 4.40584
10.75/10.82	c bounds 6251 >= 0 @ 4.41132
10.75/10.82	c bounds 6237 >= 0 @ 4.66285
10.75/10.82	c bounds 6232 >= 0 @ 4.67621
10.75/10.82	c bounds 6185 >= 0 @ 4.68224
10.75/10.82	c bounds 6124 >= 0 @ 4.69652
10.75/10.82	c bounds 6036 >= 0 @ 4.70169
10.75/10.82	c bounds 6024 >= 0 @ 4.70787
10.75/10.82	c bounds 6007 >= 0 @ 4.71364
10.75/10.82	c bounds 5906 >= 0 @ 4.71929
10.75/10.82	c bounds 5438 >= 0 @ 4.92462
10.75/10.82	c bounds 5414 >= 0 @ 4.93025
10.75/10.82	c bounds 5356 >= 0 @ 4.93567
10.75/10.82	c bounds 5350 >= 0 @ 4.94162
10.75/10.82	c bounds 5312 >= 0 @ 4.95017
10.75/10.82	c bounds 5236 >= 0 @ 4.96078
10.75/10.82	c bounds 5186 >= 0 @ 4.9724
10.75/10.82	c bounds 5144 >= 0 @ 4.97486
10.75/10.82	c bounds 5138 >= 0 @ 4.98376
10.75/10.82	c bounds 5104 >= 0 @ 4.9921
10.75/10.82	c bounds 5095 >= 0 @ 4.997
10.75/10.82	c bounds 5084 >= 0 @ 5.00158
10.75/10.82	c bounds 5045 >= 0 @ 5.01181
10.75/10.82	c bounds 5041 >= 0 @ 5.01504
10.75/10.82	c bounds 4963 >= 0 @ 5.14356
10.75/10.82	c bounds 4942 >= 0 @ 5.15295
10.75/10.82	c bounds 4903 >= 0 @ 5.16201
10.75/10.82	c bounds 4890 >= 0 @ 5.16839
10.75/10.82	c bounds 4864 >= 0 @ 5.18
10.75/10.82	c bounds 4856 >= 0 @ 5.18868
10.75/10.82	c bounds 4834 >= 0 @ 5.19715
10.75/10.82	c bounds 4793 >= 0 @ 5.2052
10.75/10.82	c bounds 4679 >= 0 @ 5.20963
10.75/10.82	c bounds 4658 >= 0 @ 5.21865
10.75/10.82	c bounds 4644 >= 0 @ 5.34641
10.75/10.82	c bounds 4625 >= 0 @ 5.35621
10.75/10.82	c bounds 4539 >= 0 @ 5.36287
10.75/10.82	c bounds 4525 >= 0 @ 5.36987
10.75/10.82	c bounds 4487 >= 0 @ 5.38239
10.75/10.82	c bounds 4464 >= 0 @ 5.38929
10.75/10.82	c bounds 4461 >= 0 @ 5.52331
10.75/10.82	c bounds 4409 >= 0 @ 5.57842
10.75/10.82	c bounds 4400 >= 0 @ 5.58458
10.75/10.82	c bounds 4340 >= 0 @ 5.68704
10.75/10.82	c bounds 4331 >= 0 @ 5.82892
10.75/10.82	c bounds 4321 >= 0 @ 5.83804
10.75/10.82	c bounds 4231 >= 0 @ 5.84369
10.75/10.82	c bounds 4168 >= 0 @ 5.85047
10.75/10.82	c bounds 4161 >= 0 @ 6.00874
10.75/10.82	c bounds 4128 >= 0 @ 6.01319
10.75/10.82	c bounds 3973 >= 0 @ 6.01804
10.75/10.82	c bounds 3965 >= 0 @ 6.55553
10.75/10.82	c bounds 3934 >= 0 @ 6.66662
10.75/10.82	c bounds 3927 >= 0 @ 6.67621
10.75/10.82	c bounds 3880 >= 0 @ 6.68591
10.75/10.82	c bounds 3878 >= 0 @ 6.78546
10.75/10.82	c bounds 3875 >= 0 @ 6.79448
10.75/10.82	c bounds 3839 >= 0 @ 6.81391
10.75/10.82	c bounds 3772 >= 0 @ 6.92759
10.75/10.82	c bounds 3696 >= 0 @ 6.9349
10.75/10.82	c bounds 3657 >= 0 @ 6.93869
10.75/10.82	c bounds 3631 >= 0 @ 7.07483
10.75/10.82	c bounds 3610 >= 0 @ 7.0819
10.75/10.82	c bounds 3591 >= 0 @ 7.21064
10.75/10.82	c bounds 3580 >= 0 @ 7.23422
10.75/10.82	c bounds 3560 >= 0 @ 7.23814
10.75/10.82	c bounds 3554 >= 0 @ 7.33132
10.75/10.82	c bounds 3482 >= 0 @ 7.33932
10.75/10.82	c bounds 3468 >= 0 @ 7.55899
10.75/10.82	c bounds 3457 >= 0 @ 7.56993
10.75/10.82	c bounds 3435 >= 0 @ 7.72429
10.75/10.82	c bounds 3433 >= 0 @ 7.7298
10.75/10.82	c bounds 3400 >= 0 @ 7.736
10.75/10.82	c bounds 3394 >= 0 @ 7.75615
10.75/10.82	c bounds 3387 >= 0 @ 7.76167
10.75/10.82	c bounds 3375 >= 0 @ 7.76703
10.75/10.82	c bounds 3309 >= 0 @ 7.77354
10.75/10.82	c bounds 3281 >= 0 @ 7.79242
10.75/10.82	c bounds 3271 >= 0 @ 7.89469
10.75/10.82	c bounds 3243 >= 0 @ 8.52799
10.75/10.82	c bounds 3208 >= 0 @ 8.5445
10.75/10.82	c bounds 3202 >= 0 @ 8.55359
10.75/10.82	c bounds 3201 >= 0 @ 8.56526
10.75/10.82	c bounds 3127 >= 0 @ 8.573
10.75/10.82	c bounds 3115 >= 0 @ 8.58632
10.75/10.82	c bounds 3102 >= 0 @ 8.5935
10.75/10.82	c bounds 3098 >= 0 @ 8.60028
10.75/10.82	c bounds 3096 >= 0 @ 8.6077
10.75/10.82	c bounds 3055 >= 0 @ 8.61388
10.75/10.82	c bounds 3040 >= 0 @ 8.61815
10.75/10.82	c bounds 3035 >= 0 @ 8.74675
10.75/10.82	c bounds 3024 >= 0 @ 8.76198
10.75/10.82	c #Conflicts:       1000 | #Constraints:     657999
10.75/10.82	c bounds 2988 >= 0 @ 8.87315
10.75/10.82	c bounds 2871 >= 0 @ 8.87999
10.75/10.82	c bounds 2863 >= 0 @ 8.8857
10.75/10.82	c bounds 2853 >= 0 @ 8.89162
10.75/10.82	c bounds 2844 >= 0 @ 8.92497
10.75/10.82	c bounds 2837 >= 0 @ 8.9342
10.75/10.82	c bounds 2819 >= 0 @ 8.9515
10.75/10.82	c bounds 2685 >= 0 @ 8.95677
10.75/10.82	c bounds 2665 >= 0 @ 8.97048
10.75/10.82	c bounds 2622 >= 0 @ 8.98144
10.75/10.82	c bounds 2616 >= 0 @ 8.99185
10.75/10.82	c bounds 2603 >= 0 @ 9.0016
10.75/10.82	c bounds 2591 >= 0 @ 9.00968
10.75/10.82	c bounds 2572 >= 0 @ 9.02006
10.75/10.82	c bounds 2568 >= 0 @ 9.03066
10.75/10.82	c bounds 2565 >= 0 @ 9.04102
10.75/10.82	c bounds 2558 >= 0 @ 9.06821
10.75/10.82	c bounds 2545 >= 0 @ 9.07715
10.75/10.82	c bounds 2498 >= 0 @ 9.0907
10.75/10.82	c bounds 2493 >= 0 @ 9.09997
10.75/10.82	c bounds 2476 >= 0 @ 9.11138
10.75/10.82	c bounds 2474 >= 0 @ 9.12606
10.75/10.82	c bounds 2473 >= 0 @ 9.13073
10.75/10.82	c bounds 2467 >= 0 @ 9.14802
10.75/10.82	c bounds 2434 >= 0 @ 9.16401
10.75/10.82	c bounds 2405 >= 0 @ 9.17443
10.75/10.82	c bounds 2387 >= 0 @ 9.18295
10.75/10.82	c bounds 2354 >= 0 @ 9.19631
10.75/10.82	c bounds 2353 >= 0 @ 9.20123
10.75/10.82	c bounds 2296 >= 0 @ 9.20838
10.75/10.82	c bounds 2263 >= 0 @ 9.22142
10.75/10.82	c bounds 2256 >= 0 @ 9.22774
10.75/10.82	c bounds 2162 >= 0 @ 9.23414
10.75/10.82	c bounds 2161 >= 0 @ 9.24426
10.75/10.82	c bounds 2132 >= 0 @ 9.25528
10.75/10.82	c bounds 2115 >= 0 @ 9.26297
10.75/10.82	c bounds 2114 >= 0 @ 9.27172
10.75/10.82	c bounds 2086 >= 0 @ 9.33886
10.75/10.82	c bounds 2078 >= 0 @ 9.34703
10.75/10.82	c bounds 2076 >= 0 @ 9.36508
10.75/10.82	c bounds 1975 >= 0 @ 9.37486
10.75/10.82	c bounds 1974 >= 0 @ 9.47159
10.75/10.82	c bounds 1944 >= 0 @ 9.48502
10.75/10.82	c bounds 1924 >= 0 @ 9.49636
10.75/10.82	c bounds 1888 >= 0 @ 9.50545
10.75/10.82	c bounds 1845 >= 0 @ 9.51428
10.75/10.82	c bounds 1833 >= 0 @ 9.52742
10.75/10.82	c bounds 1816 >= 0 @ 9.53705
10.75/10.82	c bounds 1804 >= 0 @ 9.68111
47.96/48.19	c bounds 1743 >= 0 @ 9.68831
47.96/48.19	c bounds 1715 >= 0 @ 9.69978
47.96/48.19	c bounds 1689 >= 0 @ 9.74646
47.96/48.19	c bounds 1680 >= 0 @ 9.75555
47.96/48.19	c bounds 1617 >= 0 @ 9.76554
47.96/48.19	c bounds 1455 >= 0 @ 9.77534
47.96/48.19	c bounds 1446 >= 0 @ 9.78248
47.96/48.19	c bounds 1388 >= 0 @ 9.79103
47.96/48.19	c bounds 1340 >= 0 @ 9.79819
47.96/48.19	c bounds 1334 >= 0 @ 9.80387
47.96/48.19	c bounds 1254 >= 0 @ 9.80971
47.96/48.19	c bounds 1246 >= 0 @ 9.81489
47.96/48.19	c bounds 1245 >= 0 @ 9.82077
47.96/48.19	c bounds 1243 >= 0 @ 9.82707
47.96/48.19	c bounds 1186 >= 0 @ 9.84352
47.96/48.19	c bounds 1174 >= 0 @ 9.8525
47.96/48.19	c bounds 1173 >= 0 @ 9.85556
47.96/48.19	c bounds 1078 >= 0 @ 9.86314
47.96/48.19	c bounds 1065 >= 0 @ 10.0058
47.96/48.19	c bounds 1059 >= 0 @ 10.013
47.96/48.19	c bounds 1054 >= 0 @ 10.0196
47.96/48.19	c bounds 998 >= 0 @ 10.0287
47.96/48.19	c bounds 978 >= 0 @ 10.0443
47.96/48.19	c bounds 949 >= 0 @ 10.0531
47.96/48.19	c bounds 770 >= 0 @ 10.0639
47.96/48.19	c bounds 769 >= 0 @ 10.0802
47.96/48.19	c bounds 737 >= 0 @ 10.2774
47.96/48.19	c bounds 730 >= 0 @ 10.2867
47.96/48.19	c bounds 722 >= 0 @ 10.2941
47.96/48.19	c bounds 715 >= 0 @ 10.3716
47.96/48.19	c bounds 704 >= 0 @ 10.3804
47.96/48.19	c bounds 692 >= 0 @ 10.3881
47.96/48.19	c bounds 691 >= 0 @ 10.3956
47.96/48.19	c bounds 688 >= 0 @ 10.4072
47.96/48.19	c bounds 599 >= 0 @ 10.4815
47.96/48.19	c bounds 595 >= 0 @ 11.1362
47.96/48.19	c #Conflicts:       2000 | #Constraints:     659084
47.96/48.19	c INPROCESSING
47.96/48.19	c GARBAGE COLLECT
47.96/48.19	c bounds 593 >= 0 @ 13.5272
47.96/48.19	c bounds 533 >= 0 @ 14.3432
47.96/48.19	c #Conflicts:       3000 | #Constraints:     658911
47.96/48.19	c #Conflicts:       4000 | #Constraints:     659911
47.96/48.19	c INPROCESSING
47.96/48.19	c GARBAGE COLLECT
47.96/48.19	c bounds 529 >= 0 @ 23.3263
47.96/48.19	c #Conflicts:       5000 | #Constraints:     659315
47.96/48.19	c #Conflicts:       6000 | #Constraints:     660315
47.96/48.19	c INPROCESSING
47.96/48.19	c GARBAGE COLLECT
47.96/48.19	c #Conflicts:       7000 | #Constraints:     659322
47.96/48.19	c bounds 525 >= 0 @ 36.2595
47.96/48.19	c #Conflicts:       8000 | #Constraints:     660332
47.96/48.19	c #Conflicts:       9000 | #Constraints:     661332
47.96/48.19	c INPROCESSING
47.96/48.19	c GARBAGE COLLECT
47.96/48.19	c rational objective 172.654
61.72/61.97	c #Conflicts:      10000 | #Constraints:     660027
61.72/61.97	c #Conflicts:      11000 | #Constraints:     661027
61.72/61.97	c #Conflicts:      12000 | #Constraints:     662027
61.72/61.97	c INPROCESSING
61.72/61.97	c GARBAGE COLLECT
61.72/61.97	c rational objective 172.949
73.68/73.95	c #Conflicts:      13000 | #Constraints:     660481
73.68/73.95	c #Conflicts:      14000 | #Constraints:     661481
73.68/73.95	c #Conflicts:      15000 | #Constraints:     662481
73.68/73.95	c INPROCESSING
73.68/73.95	c GARBAGE COLLECT
73.68/73.95	c rational objective 173.7
91.24/91.52	c bounds 523 >= 0 @ 71.8596
91.24/91.52	c bounds 520 >= 0 @ 76.0156
91.24/91.52	c #Conflicts:      16000 | #Constraints:     660722
91.24/91.52	c #Conflicts:      17000 | #Constraints:     661722
91.24/91.52	c #Conflicts:      18000 | #Constraints:     662722
91.24/91.52	c INPROCESSING
91.24/91.52	c GARBAGE COLLECT
91.24/91.52	c rational objective 173.7
107.50/107.82	c #Conflicts:      19000 | #Constraints:     660729
107.50/107.82	c #Conflicts:      20000 | #Constraints:     661729
107.50/107.82	c #Conflicts:      21000 | #Constraints:     662729
107.50/107.82	c INPROCESSING
107.50/107.82	c GARBAGE COLLECT
107.50/107.82	c rational objective 173.75
124.34/124.77	c #Conflicts:      22000 | #Constraints:     660539
124.34/124.77	c #Conflicts:      23000 | #Constraints:     661539
124.34/124.77	c #Conflicts:      24000 | #Constraints:     662539
124.34/124.77	c #Conflicts:      25000 | #Constraints:     663539
124.34/124.77	c INPROCESSING
124.34/124.77	c GARBAGE COLLECT
124.34/124.77	c rational objective 173.831
138.51/138.98	c #Conflicts:      26000 | #Constraints:     661144
138.51/138.98	c #Conflicts:      27000 | #Constraints:     662144
138.51/138.98	c #Conflicts:      28000 | #Constraints:     663144
138.51/138.98	c #Conflicts:      29000 | #Constraints:     664144
138.51/138.98	c INPROCESSING
138.51/138.98	c GARBAGE COLLECT
138.51/138.98	c rational objective 173.905
157.26/157.73	c #Conflicts:      30000 | #Constraints:     661547
157.26/157.73	c #Conflicts:      31000 | #Constraints:     662547
157.26/157.73	c #Conflicts:      32000 | #Constraints:     663547
157.26/157.73	c #Conflicts:      33000 | #Constraints:     664547
157.26/157.73	c INPROCESSING
157.26/157.73	c GARBAGE COLLECT
157.26/157.73	c rational objective 173.925
239.64/240.32	c #Conflicts:      34000 | #Constraints:     661765
239.64/240.32	c #Conflicts:      35000 | #Constraints:     662777
239.64/240.32	c #Conflicts:      36000 | #Constraints:     663794
239.64/240.32	c #Conflicts:      37000 | #Constraints:     664808
239.64/240.32	c INPROCESSING
239.64/240.32	c GARBAGE COLLECT
239.64/240.32	c #Conflicts:      38000 | #Constraints:     661770
239.64/240.32	c #Conflicts:      39000 | #Constraints:     662770
239.64/240.32	c #Conflicts:      40000 | #Constraints:     663770
239.64/240.32	c #Conflicts:      41000 | #Constraints:     664770
239.64/240.32	c INPROCESSING
239.64/240.32	c GARBAGE COLLECT
239.64/240.32	c rational objective 173.927
262.48/263.26	c #Conflicts:      42000 | #Constraints:     661562
262.48/263.26	c #Conflicts:      43000 | #Constraints:     662562
262.48/263.26	c #Conflicts:      44000 | #Constraints:     663562
262.48/263.26	c #Conflicts:      45000 | #Constraints:     664562
262.48/263.26	c #Conflicts:      46000 | #Constraints:     665562
262.48/263.26	c INPROCESSING
262.48/263.26	c GARBAGE COLLECT
262.48/263.26	c rational objective 173.927
289.80/290.61	c #Conflicts:      47000 | #Constraints:     662155
289.80/290.61	c #Conflicts:      48000 | #Constraints:     663155
289.80/290.61	c #Conflicts:      49000 | #Constraints:     664155
289.80/290.61	c #Conflicts:      50000 | #Constraints:     665155
289.80/290.61	c #Conflicts:      51000 | #Constraints:     666155
289.80/290.61	c INPROCESSING
289.80/290.61	c GARBAGE COLLECT
289.80/290.61	c rational objective 173.927
312.65/313.56	c #Conflicts:      52000 | #Constraints:     662548
312.65/313.56	c #Conflicts:      53000 | #Constraints:     663548
312.65/313.56	c #Conflicts:      54000 | #Constraints:     664548
312.65/313.56	c #Conflicts:      55000 | #Constraints:     665548
312.65/313.56	c #Conflicts:      56000 | #Constraints:     666548
312.65/313.56	c INPROCESSING
312.65/313.56	c GARBAGE COLLECT
312.65/313.56	c rational objective 173.927
340.96/341.91	c #Conflicts:      57000 | #Constraints:     662751
340.96/341.91	c #Conflicts:      58000 | #Constraints:     663751
340.96/341.91	c #Conflicts:      59000 | #Constraints:     664751
340.96/341.91	c #Conflicts:      60000 | #Constraints:     665751
340.96/341.91	c #Conflicts:      61000 | #Constraints:     666751
340.96/341.91	c INPROCESSING
340.96/341.91	c GARBAGE COLLECT
340.96/341.91	c rational objective 173.927
368.00/369.07	c #Conflicts:      62000 | #Constraints:     662755
368.00/369.07	c #Conflicts:      63000 | #Constraints:     663755
368.00/369.07	c #Conflicts:      64000 | #Constraints:     664755
368.00/369.07	c #Conflicts:      65000 | #Constraints:     665755
368.00/369.07	c #Conflicts:      66000 | #Constraints:     666755
368.00/369.07	c INPROCESSING
368.00/369.07	c GARBAGE COLLECT
368.00/369.07	c rational objective 173.927
397.11/398.30	c #Conflicts:      67000 | #Constraints:     662558
397.11/398.30	c #Conflicts:      68000 | #Constraints:     663558
397.11/398.30	c #Conflicts:      69000 | #Constraints:     664558
397.11/398.30	c #Conflicts:      70000 | #Constraints:     665558
397.11/398.30	c #Conflicts:      71000 | #Constraints:     666558
397.11/398.30	c #Conflicts:      72000 | #Constraints:     667558
397.11/398.30	c INPROCESSING
397.11/398.30	c GARBAGE COLLECT
397.11/398.30	c rational objective 173.927
424.85/426.09	c #Conflicts:      73000 | #Constraints:     663166
424.85/426.09	c #Conflicts:      74000 | #Constraints:     664166
424.85/426.09	c #Conflicts:      75000 | #Constraints:     665166
424.85/426.09	c #Conflicts:      76000 | #Constraints:     666166
424.85/426.09	c #Conflicts:      77000 | #Constraints:     667166
424.85/426.09	c #Conflicts:      78000 | #Constraints:     668166
424.85/426.09	c INPROCESSING
424.85/426.09	c GARBAGE COLLECT
424.85/426.09	c rational objective 173.927
455.65/456.95	c #Conflicts:      79000 | #Constraints:     663561
455.65/456.95	c #Conflicts:      80000 | #Constraints:     664561
455.65/456.95	c #Conflicts:      81000 | #Constraints:     665561
455.65/456.95	c #Conflicts:      82000 | #Constraints:     666561
455.65/456.95	c #Conflicts:      83000 | #Constraints:     667561
455.65/456.95	c #Conflicts:      84000 | #Constraints:     668561
455.65/456.95	c INPROCESSING
455.65/456.95	c GARBAGE COLLECT
455.65/456.95	c rational objective 173.968
543.93/545.42	c bounds 517 >= 0 @ 450.106
543.93/545.42	c bounds 511 >= 0 @ 450.248
543.93/545.42	c bounds 503 >= 0 @ 450.291
543.93/545.42	c bounds 499 >= 0 @ 452.828
543.93/545.42	c bounds 499 >= 5 @ 452.849
543.93/545.42	c bounds 499 >= 10 @ 452.871
543.93/545.42	c bounds 499 >= 15 @ 452.904
543.93/545.42	c #Conflicts:      85000 | #Constraints:     663790
543.93/545.42	c #Conflicts:      86000 | #Constraints:     664790
543.93/545.42	c bounds 499 >= 20 @ 483.453
543.93/545.42	c #Conflicts:      87000 | #Constraints:     665799
543.93/545.42	c #Conflicts:      88000 | #Constraints:     666802
543.93/545.42	c #Conflicts:      89000 | #Constraints:     667816
543.93/545.42	c #Conflicts:      90000 | #Constraints:     668827
543.93/545.42	c INPROCESSING
543.93/545.42	c GARBAGE COLLECT
543.93/545.42	c rational objective 173.968
728.06/730.08	c bounds 492 >= 20 @ 539.832
728.06/730.08	c #Conflicts:      91000 | #Constraints:     663798
728.06/730.08	c #Conflicts:      92000 | #Constraints:     664798
728.06/730.08	c #Conflicts:      93000 | #Constraints:     665798
728.06/730.08	c #Conflicts:      94000 | #Constraints:     666798
728.06/730.08	c #Conflicts:      95000 | #Constraints:     667798
728.06/730.08	c #Conflicts:      96000 | #Constraints:     668798
728.06/730.08	c INPROCESSING
728.06/730.08	c GARBAGE COLLECT
728.06/730.08	c rational objective 173.968
922.23/924.70	c bounds 489 >= 20 @ 722.974
922.23/924.70	c #Conflicts:      97000 | #Constraints:     663615
922.23/924.70	c bounds 486 >= 20 @ 723.816
922.23/924.70	c bounds 485 >= 20 @ 724.173
922.23/924.70	c bounds 477 >= 20 @ 724.235
922.23/924.70	c bounds 476 >= 20 @ 724.666
922.23/924.70	c bounds 468 >= 20 @ 725.273
922.23/924.70	c bounds 464 >= 20 @ 725.774
922.23/924.70	c bounds 462 >= 20 @ 725.845
922.23/924.70	c bounds 453 >= 20 @ 726.259
922.23/924.70	c bounds 452 >= 20 @ 726.677
922.23/924.70	c bounds 450 >= 20 @ 726.755
922.23/924.70	c bounds 444 >= 20 @ 726.814
922.23/924.70	c #Conflicts:      98000 | #Constraints:     664660
922.23/924.70	c #Conflicts:      99000 | #Constraints:     665676
922.23/924.70	c #Conflicts:     100000 | #Constraints:     666689
922.23/924.70	c #Conflicts:     101000 | #Constraints:     667698
922.23/924.70	c #Conflicts:     102000 | #Constraints:     668707
922.23/924.70	c bounds 443 >= 20 @ 807.466
922.23/924.70	c bounds 442 >= 20 @ 809.418
922.23/924.70	c bounds 441 >= 20 @ 811.635
922.23/924.70	c #Conflicts:     103000 | #Constraints:     669727
922.23/924.70	c INPROCESSING
922.23/924.70	c GARBAGE COLLECT
922.23/924.70	c rational objective 173.968
1046.02/1048.82	c bounds 438 >= 20 @ 918.225
1046.02/1048.82	c bounds 438 >= 24 @ 918.408
1046.02/1048.82	c #Conflicts:     104000 | #Constraints:     664247
1046.02/1048.82	c #Conflicts:     105000 | #Constraints:     665247
1046.02/1048.82	c #Conflicts:     106000 | #Constraints:     666247
1046.02/1048.82	c #Conflicts:     107000 | #Constraints:     667247
1046.02/1048.82	c #Conflicts:     108000 | #Constraints:     668247
1046.02/1048.82	c #Conflicts:     109000 | #Constraints:     669247
1046.02/1048.82	c #Conflicts:     110000 | #Constraints:     670247
1046.02/1048.82	c INPROCESSING
1046.02/1048.82	c GARBAGE COLLECT
1046.02/1048.82	c rational objective 173.968
1194.44/1197.63	c bounds 433 >= 24 @ 1035.53
1194.44/1197.63	c #Conflicts:     111000 | #Constraints:     664612
1194.44/1197.63	c #Conflicts:     112000 | #Constraints:     665630
1194.44/1197.63	c bounds 428 >= 24 @ 1072.93
1194.44/1197.63	c #Conflicts:     113000 | #Constraints:     666650
1194.44/1197.63	c bounds 427 >= 24 @ 1079.26
1194.44/1197.63	c #Conflicts:     114000 | #Constraints:     667667
1194.44/1197.63	c #Conflicts:     115000 | #Constraints:     668682
1194.44/1197.63	c #Conflicts:     116000 | #Constraints:     669697
1194.44/1197.63	c bounds 426 >= 24 @ 1168.76
1194.44/1197.63	c bounds 426 >= 27 @ 1168.84
1194.44/1197.63	c bounds 426 >= 30 @ 1168.91
1194.44/1197.63	c #Conflicts:     117000 | #Constraints:     670719
1194.44/1197.63	c INPROCESSING
1194.44/1197.63	c GARBAGE COLLECT
1194.44/1197.63	c rational objective 173.968
1242.33/1245.61	c #Conflicts:     118000 | #Constraints:     664833
1242.33/1245.61	c #Conflicts:     119000 | #Constraints:     665834
1242.33/1245.61	c #Conflicts:     120000 | #Constraints:     666834
1242.33/1245.61	c #Conflicts:     121000 | #Constraints:     667835
1242.33/1245.61	c #Conflicts:     122000 | #Constraints:     668836
1242.33/1245.61	c #Conflicts:     123000 | #Constraints:     669837
1242.33/1245.61	c #Conflicts:     124000 | #Constraints:     670839
1242.33/1245.61	c INPROCESSING
1242.33/1245.61	c rational objective 173.968
1294.88/1298.36	c #Conflicts:     125000 | #Constraints:     664807
1294.88/1298.36	c #Conflicts:     126000 | #Constraints:     665807
1294.88/1298.36	c #Conflicts:     127000 | #Constraints:     666808
1294.88/1298.36	c #Conflicts:     128000 | #Constraints:     667809
1294.88/1298.36	c #Conflicts:     129000 | #Constraints:     668809
1294.88/1298.36	c #Conflicts:     130000 | #Constraints:     669809
1294.88/1298.36	c #Conflicts:     131000 | #Constraints:     670810
1294.88/1298.36	c INPROCESSING
1294.88/1298.36	c GARBAGE COLLECT
1294.88/1298.36	c rational objective 173.968
1342.07/1345.69	c #Conflicts:     132000 | #Constraints:     664582
1342.07/1345.69	c #Conflicts:     133000 | #Constraints:     665582
1342.07/1345.69	c #Conflicts:     134000 | #Constraints:     666583
1342.07/1345.69	c #Conflicts:     135000 | #Constraints:     667583
1342.07/1345.69	c #Conflicts:     136000 | #Constraints:     668585
1342.07/1345.69	c #Conflicts:     137000 | #Constraints:     669586
1342.07/1345.69	c #Conflicts:     138000 | #Constraints:     670586
1342.07/1345.69	c #Conflicts:     139000 | #Constraints:     671586
1342.07/1345.69	c INPROCESSING
1342.07/1345.69	c rational objective 174.014
1402.11/1405.80	c #Conflicts:     140000 | #Constraints:     665179
1402.11/1405.80	c #Conflicts:     141000 | #Constraints:     666180
1402.11/1405.80	c #Conflicts:     142000 | #Constraints:     667180
1402.11/1405.80	c #Conflicts:     143000 | #Constraints:     668180
1402.11/1405.80	c #Conflicts:     144000 | #Constraints:     669180
1402.11/1405.80	c #Conflicts:     145000 | #Constraints:     670181
1402.11/1405.80	c #Conflicts:     146000 | #Constraints:     671183
1402.11/1405.80	c #Conflicts:     147000 | #Constraints:     672183
1402.11/1405.80	c INPROCESSING
1402.11/1405.80	c GARBAGE COLLECT
1402.11/1405.80	c rational objective 174.014
1464.45/1468.31	c #Conflicts:     148000 | #Constraints:     665586
1464.45/1468.31	c #Conflicts:     149000 | #Constraints:     666587
1464.45/1468.31	c #Conflicts:     150000 | #Constraints:     667587
1464.45/1468.31	c #Conflicts:     151000 | #Constraints:     668587
1464.45/1468.31	c #Conflicts:     152000 | #Constraints:     669587
1464.45/1468.31	c #Conflicts:     153000 | #Constraints:     670587
1464.45/1468.31	c #Conflicts:     154000 | #Constraints:     671588
1464.45/1468.31	c #Conflicts:     155000 | #Constraints:     672589
1464.45/1468.31	c INPROCESSING
1464.45/1468.31	c rational objective 174.014
1544.83/1548.96	c #Conflicts:     156000 | #Constraints:     665784
1544.83/1548.96	c #Conflicts:     157000 | #Constraints:     666784
1544.83/1548.96	c #Conflicts:     158000 | #Constraints:     667784
1544.83/1548.96	c #Conflicts:     159000 | #Constraints:     668785
1544.83/1548.96	c #Conflicts:     160000 | #Constraints:     669787
1544.83/1548.96	c #Conflicts:     161000 | #Constraints:     670788
1544.83/1548.96	c #Conflicts:     162000 | #Constraints:     671789
1544.83/1548.96	c #Conflicts:     163000 | #Constraints:     672790
1544.83/1548.96	c INPROCESSING
1544.83/1548.96	c GARBAGE COLLECT
1544.83/1548.96	c rational objective 174.014
1608.87/1613.11	c #Conflicts:     164000 | #Constraints:     665788
1608.87/1613.11	c #Conflicts:     165000 | #Constraints:     666789
1608.87/1613.11	c #Conflicts:     166000 | #Constraints:     667790
1608.87/1613.11	c #Conflicts:     167000 | #Constraints:     668790
1608.87/1613.11	c #Conflicts:     168000 | #Constraints:     669791
1608.87/1613.11	c #Conflicts:     169000 | #Constraints:     670791
1608.87/1613.11	c #Conflicts:     170000 | #Constraints:     671793
1608.87/1613.11	c #Conflicts:     171000 | #Constraints:     672793
1608.87/1613.11	c INPROCESSING
1608.87/1613.11	c rational objective 174.014
1667.02/1671.44	c #Conflicts:     172000 | #Constraints:     665587
1667.02/1671.44	c #Conflicts:     173000 | #Constraints:     666587
1667.02/1671.44	c #Conflicts:     174000 | #Constraints:     667587
1667.02/1671.44	c #Conflicts:     175000 | #Constraints:     668587
1667.02/1671.44	c #Conflicts:     176000 | #Constraints:     669588
1667.02/1671.44	c #Conflicts:     177000 | #Constraints:     670588
1667.02/1671.44	c #Conflicts:     178000 | #Constraints:     671588
1667.02/1671.44	c #Conflicts:     179000 | #Constraints:     672588
1667.02/1671.44	c #Conflicts:     180000 | #Constraints:     673589
1667.02/1671.44	c INPROCESSING
1667.02/1671.44	c GARBAGE COLLECT
1667.02/1671.44	c rational objective 174.014
1731.05/1735.62	c #Conflicts:     181000 | #Constraints:     666193
1731.05/1735.62	c #Conflicts:     182000 | #Constraints:     667194
1731.05/1735.62	c #Conflicts:     183000 | #Constraints:     668194
1731.05/1735.62	c #Conflicts:     184000 | #Constraints:     669194
1731.05/1735.62	c #Conflicts:     185000 | #Constraints:     670194
1731.05/1735.62	c #Conflicts:     186000 | #Constraints:     671195
1731.05/1735.62	c #Conflicts:     187000 | #Constraints:     672196
1731.05/1735.62	c #Conflicts:     188000 | #Constraints:     673197
1731.05/1735.62	c #Conflicts:     189000 | #Constraints:     674197
1731.05/1735.62	c INPROCESSING
1731.05/1735.62	c rational objective 174.014
1794.50/1799.26	c #Conflicts:     190000 | #Constraints:     666601
1794.50/1799.26	c #Conflicts:     191000 | #Constraints:     667602
1794.50/1799.26	c #Conflicts:     192000 | #Constraints:     668602
1794.50/1799.26	c #Conflicts:     193000 | #Constraints:     669602
1794.50/1799.26	c #Conflicts:     194000 | #Constraints:     670602
1794.50/1799.26	c #Conflicts:     195000 | #Constraints:     671602
1794.50/1799.26	c #Conflicts:     196000 | #Constraints:     672602
1794.50/1799.26	c #Conflicts:     197000 | #Constraints:     673603
1794.50/1799.26	c #Conflicts:     198000 | #Constraints:     674604
1794.50/1799.26	c INPROCESSING
1794.50/1799.26	c GARBAGE COLLECT
1794.50/1799.26	c rational objective 174.014
2059.41/2064.81	c bounds 425 >= 30 @ 1778.7
2059.41/2064.81	c #Conflicts:     199000 | #Constraints:     666804
2059.41/2064.81	c bounds 423 >= 30 @ 1799.7
2059.41/2064.81	c bounds 423 >= 32 @ 1799.77
2059.41/2064.81	c #Conflicts:     200000 | #Constraints:     667824
2059.41/2064.81	c bounds 423 >= 34 @ 1800.17
2059.41/2064.81	c #Conflicts:     201000 | #Constraints:     668830
2059.41/2064.81	c #Conflicts:     202000 | #Constraints:     669830
2059.41/2064.81	c bounds 423 >= 36 @ 1861.28
2059.41/2064.81	c bounds 418 >= 36 @ 1861.48
2059.41/2064.81	c #Conflicts:     203000 | #Constraints:     670845
2059.41/2064.81	c #Conflicts:     204000 | #Constraints:     671856
2059.41/2064.81	c bounds 417 >= 36 @ 1892.92
2059.41/2064.81	c #Conflicts:     205000 | #Constraints:     672858
2059.41/2064.81	c #Conflicts:     206000 | #Constraints:     673858
2059.41/2064.81	c #Conflicts:     207000 | #Constraints:     674858
2059.41/2064.81	c INPROCESSING
2059.41/2064.81	c GARBAGE COLLECT
2059.41/2064.81	c rational objective 174.014
2287.55/2293.58	c #Conflicts:     208000 | #Constraints:     666842
2287.55/2293.58	c #Conflicts:     209000 | #Constraints:     667849
2287.55/2293.58	c #Conflicts:     210000 | #Constraints:     668862
2287.55/2293.58	c #Conflicts:     211000 | #Constraints:     669879
2287.55/2293.58	c #Conflicts:     212000 | #Constraints:     670889
2287.55/2293.58	c #Conflicts:     213000 | #Constraints:     671898
2287.55/2293.58	c #Conflicts:     214000 | #Constraints:     672909
2287.55/2293.58	c #Conflicts:     215000 | #Constraints:     673920
2287.55/2293.58	c #Conflicts:     216000 | #Constraints:     674936
2287.55/2293.58	c INPROCESSING
2287.55/2293.58	c GARBAGE COLLECT
2287.55/2293.58	c rational objective 174.014
2688.75/2695.70	c #Conflicts:     217000 | #Constraints:     666669
2688.75/2695.70	c #Conflicts:     218000 | #Constraints:     667669
2688.75/2695.70	c #Conflicts:     219000 | #Constraints:     668669
2688.75/2695.70	c #Conflicts:     220000 | #Constraints:     669669
2688.75/2695.70	c #Conflicts:     221000 | #Constraints:     670669
2688.75/2695.70	c #Conflicts:     222000 | #Constraints:     671669
2688.75/2695.70	c #Conflicts:     223000 | #Constraints:     672669
2688.75/2695.70	c #Conflicts:     224000 | #Constraints:     673669
2688.75/2695.70	c #Conflicts:     225000 | #Constraints:     674669
2688.75/2695.70	c #Conflicts:     226000 | #Constraints:     675669
2688.75/2695.70	c INPROCESSING
2688.75/2695.70	c GARBAGE COLLECT
2688.75/2695.70	c rational objective 174.014
2892.85/2900.36	c #Conflicts:     227000 | #Constraints:     667294
2892.85/2900.36	c bounds 414 >= 36 @ 2679.31
2892.85/2900.36	c bounds 412 >= 36 @ 2679.42
2892.85/2900.36	c #Conflicts:     228000 | #Constraints:     668311
2892.85/2900.36	c #Conflicts:     229000 | #Constraints:     669320
2892.85/2900.36	c #Conflicts:     230000 | #Constraints:     670325
2892.85/2900.36	c #Conflicts:     231000 | #Constraints:     671337
2892.85/2900.36	c #Conflicts:     232000 | #Constraints:     672348
2892.85/2900.36	c bounds 408 >= 36 @ 2786.23
2892.85/2900.36	c bounds 408 >= 37 @ 2786.31
2892.85/2900.36	c bounds 408 >= 38 @ 2786.39
2892.85/2900.36	c bounds 408 >= 39 @ 2786.48
2892.85/2900.36	c bounds 408 >= 40 @ 2786.56
2892.85/2900.36	c bounds 408 >= 41 @ 2786.65
2892.85/2900.36	c bounds 408 >= 42 @ 2786.73
2892.85/2900.36	c bounds 408 >= 43 @ 2786.83
2892.85/2900.36	c bounds 408 >= 44 @ 2786.93
2892.85/2900.36	c bounds 408 >= 45 @ 2787.02
2892.85/2900.36	c bounds 408 >= 46 @ 2787.12
2892.85/2900.36	c bounds 408 >= 47 @ 2787.22
2892.85/2900.36	c bounds 408 >= 48 @ 2787.31
2892.85/2900.36	c bounds 408 >= 49 @ 2787.48
2892.85/2900.36	c bounds 408 >= 50 @ 2787.9
2892.85/2900.36	c bounds 408 >= 51 @ 2788.06
2892.85/2900.36	c bounds 408 >= 52 @ 2791.44
2892.85/2900.36	c bounds 408 >= 53 @ 2791.68
2892.85/2900.36	c bounds 408 >= 54 @ 2792.34
2892.85/2900.36	c bounds 408 >= 55 @ 2793.32
2892.85/2900.36	c bounds 408 >= 56 @ 2795.63
2892.85/2900.36	c bounds 408 >= 57 @ 2797.61
2892.85/2900.36	c bounds 408 >= 58 @ 2798.95
2892.85/2900.36	c bounds 408 >= 59 @ 2801.77
2892.85/2900.36	c #Conflicts:     233000 | #Constraints:     673593
2892.85/2900.36	c bounds 408 >= 60 @ 2804.96
2892.85/2900.36	c bounds 408 >= 61 @ 2808.76
2892.85/2900.36	c bounds 408 >= 62 @ 2813.96
2892.85/2900.36	c #Conflicts:     234000 | #Constraints:     674668
2892.85/2900.36	c bounds 408 >= 63 @ 2821.58
2892.85/2900.36	c bounds 408 >= 64 @ 2832.75
2892.85/2900.36	c bounds 408 >= 65 @ 2840.42
2892.85/2900.36	c #Conflicts:     235000 | #Constraints:     675755
2892.85/2900.36	c bounds 408 >= 66 @ 2851.37
2892.85/2900.36	c #Conflicts:     236000 | #Constraints:     676785
2892.85/2900.36	c INPROCESSING
2892.85/2900.36	c GARBAGE COLLECT
2892.85/2900.36	c rational objective 174.014
2997.39/3005.11	c bounds 408 >= 67 @ 2868.29
2997.39/3005.11	c #Conflicts:     237000 | #Constraints:     668113
2997.39/3005.11	c bounds 408 >= 68 @ 2872.46
2997.39/3005.11	c #Conflicts:     238000 | #Constraints:     669140
2997.39/3005.11	c bounds 408 >= 69 @ 2889.69
2997.39/3005.11	c #Conflicts:     239000 | #Constraints:     670167
2997.39/3005.11	c #Conflicts:     240000 | #Constraints:     671167
2997.39/3005.11	c bounds 408 >= 70 @ 2904.46
2997.39/3005.11	c #Conflicts:     241000 | #Constraints:     672200
2997.39/3005.11	c #Conflicts:     242000 | #Constraints:     673200
2997.39/3005.11	c #Conflicts:     243000 | #Constraints:     674200
2997.39/3005.11	c #Conflicts:     244000 | #Constraints:     675200
2997.39/3005.11	c bounds 408 >= 71 @ 2943.96
2997.39/3005.11	c #Conflicts:     245000 | #Constraints:     676239
2997.39/3005.11	c bounds 407 >= 71 @ 2953.86
2997.39/3005.11	c #Conflicts:     246000 | #Constraints:     677244
2997.39/3005.11	c INPROCESSING
2997.39/3005.11	c GARBAGE COLLECT
2997.39/3005.11	c rational objective 174.014
3125.34/3133.44	c #Conflicts:     247000 | #Constraints:     668406
3125.34/3133.44	c #Conflicts:     248000 | #Constraints:     669406
3125.34/3133.44	c bounds 407 >= 72 @ 2990.36
3125.34/3133.44	c #Conflicts:     249000 | #Constraints:     670427
3125.34/3133.44	c bounds 401 >= 72 @ 2994.87
3125.34/3133.44	c bounds 393 >= 72 @ 3001.85
3125.34/3133.44	c #Conflicts:     250000 | #Constraints:     671444
3125.34/3133.44	c bounds 387 >= 72 @ 3008.81
3125.34/3133.44	c #Conflicts:     251000 | #Constraints:     672451
3125.34/3133.44	c #Conflicts:     252000 | #Constraints:     673451
3125.34/3133.44	c #Conflicts:     253000 | #Constraints:     674451
3125.34/3133.44	c bounds 387 >= 73 @ 3052.44
3125.34/3133.44	c bounds 386 >= 73 @ 3052.54
3125.34/3133.44	c #Conflicts:     254000 | #Constraints:     675497
3125.34/3133.44	c bounds 384 >= 73 @ 3055.66
3125.34/3133.44	c bounds 382 >= 73 @ 3056.6
3125.34/3133.44	c bounds 376 >= 73 @ 3058.06
3125.34/3133.44	c bounds 375 >= 73 @ 3059.78
3125.34/3133.44	c bounds 373 >= 73 @ 3060.1
3125.34/3133.44	c bounds 371 >= 73 @ 3061.2
3125.34/3133.44	c bounds 365 >= 73 @ 3067.17
3125.34/3133.44	c bounds 364 >= 73 @ 3067.64
3125.34/3133.44	c #Conflicts:     255000 | #Constraints:     676510
3125.34/3133.44	c bounds 360 >= 73 @ 3076.26
3125.34/3133.44	c bounds 358 >= 73 @ 3080.15
3125.34/3133.44	c bounds 357 >= 73 @ 3080.27
3125.34/3133.44	c bounds 351 >= 73 @ 3080.76
3125.34/3133.44	c bounds 345 >= 73 @ 3081.12
3125.34/3133.44	c #Conflicts:     256000 | #Constraints:     677538
3125.34/3133.44	c bounds 342 >= 73 @ 3081.55
3125.34/3133.44	c INPROCESSING
3125.34/3133.44	c GARBAGE COLLECT
3125.34/3133.44	c rational objective 174.014
3273.16/3281.61	c #Conflicts:     257000 | #Constraints:     668465
3273.16/3281.61	c #Conflicts:     258000 | #Constraints:     669465
3273.16/3281.61	c #Conflicts:     259000 | #Constraints:     670465
3273.16/3281.61	c #Conflicts:     260000 | #Constraints:     671465
3273.16/3281.61	c bounds 342 >= 74 @ 3142.83
3273.16/3281.61	c bounds 340 >= 74 @ 3142.86
3273.16/3281.61	c bounds 339 >= 74 @ 3144.1
3273.16/3281.61	c bounds 334 >= 74 @ 3144.58
3273.16/3281.61	c bounds 326 >= 74 @ 3144.93
3273.16/3281.61	c #Conflicts:     261000 | #Constraints:     672514
3273.16/3281.61	c bounds 324 >= 74 @ 3151.3
3273.16/3281.61	c bounds 323 >= 74 @ 3154.51
3273.16/3281.61	c bounds 322 >= 74 @ 3154.64
3273.16/3281.61	c bounds 320 >= 74 @ 3156.26
3273.16/3281.61	c bounds 318 >= 74 @ 3157.71
3273.16/3281.61	c bounds 317 >= 74 @ 3157.78
3273.16/3281.61	c bounds 313 >= 74 @ 3157.85
3273.16/3281.61	c #Conflicts:     262000 | #Constraints:     673542
3273.16/3281.61	c bounds 311 >= 74 @ 3159.89
3273.16/3281.61	c bounds 310 >= 74 @ 3164.85
3273.16/3281.61	c bounds 309 >= 74 @ 3166.09
3273.16/3281.61	c bounds 308 >= 74 @ 3169.56
3273.16/3281.61	c bounds 306 >= 74 @ 3169.69
3273.16/3281.61	c #Conflicts:     263000 | #Constraints:     674566
3273.16/3281.61	c #Conflicts:     264000 | #Constraints:     675575
3273.16/3281.61	c #Conflicts:     265000 | #Constraints:     676582
3273.16/3281.61	c #Conflicts:     266000 | #Constraints:     677594
3273.16/3281.61	c INPROCESSING
3273.16/3281.61	c GARBAGE COLLECT
3273.16/3281.61	c rational objective 174.014
3408.34/3417.18	c #Conflicts:     267000 | #Constraints:     668327
3408.34/3417.18	c #Conflicts:     268000 | #Constraints:     669327
3408.34/3417.18	c #Conflicts:     269000 | #Constraints:     670327
3408.34/3417.18	c #Conflicts:     270000 | #Constraints:     671327
3408.34/3417.18	c bounds 306 >= 75 @ 3283.58
3408.34/3417.18	c #Conflicts:     271000 | #Constraints:     672363
3408.34/3417.18	c #Conflicts:     272000 | #Constraints:     673363
3408.34/3417.18	c #Conflicts:     273000 | #Constraints:     674363
3408.34/3417.18	c #Conflicts:     274000 | #Constraints:     675363
3408.34/3417.18	c #Conflicts:     275000 | #Constraints:     676363
3408.34/3417.18	c bounds 306 >= 76 @ 3349.24
3408.34/3417.18	c #Conflicts:     276000 | #Constraints:     677384
3408.34/3417.18	c #Conflicts:     277000 | #Constraints:     678384
3408.34/3417.18	c INPROCESSING
3408.34/3417.18	c GARBAGE COLLECT
3408.34/3417.18	c rational objective 174.014

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: 63931 MiB (49614 MiB free)
  memory of node 1: 64510 MiB (58234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460189-1722064838/watcher-4460189-1722064838 -o /tmp/evaluation-result-4460189-1722064838/solver-4460189-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460189-1722064838 --lp-cut-gomory=0 HOME/instance-4460189-1722064838.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=310402, runsolver pid=310399
Current StackSize limit: 8192 KiB


[startup+0.100236 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110426684/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=41212 memory=11500 CPUtime=0.09 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 1592 0 0 0 7 2 0 0 20 0 1 0 43008023 42201088 2875 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 10303 2875 1363 992 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11500 KiB

[startup+0.205496 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110418204/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=42140 memory=13084 CPUtime=0.2 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 1946 0 0 0 15 5 0 0 20 0 1 0 43008023 43151360 3271 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 10535 3271 1363 992 0 2393 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 13084 KiB

[startup+0.305641 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110412688/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=45520 memory=15284 CPUtime=0.29 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 2538 0 0 0 22 7 0 0 20 0 1 0 43008023 46612480 3821 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 11380 3821 1363 992 0 3238 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 15284 KiB

[startup+0.700188 s]
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110400172/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=56400 memory=27156 CPUtime=0.68 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 4948 0 0 0 51 17 0 0 20 0 1 0 43008023 57753600 6789 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 14100 6789 1363 992 0 5958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 27156 KiB

[startup+1.5002 s]
/proc/loadavg: 0.38 0.15 0.11 5/256 310403
/proc/meminfo: memFree=110373040/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=84168 memory=47160 CPUtime=1.48 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 8435 0 0 0 111 37 0 0 20 0 1 0 43008023 86188032 11790 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 21042 11790 1363 992 0 12900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84168 KiB
Current children cumulated memory: 47160 KiB

[startup+3.1057 s]
/proc/loadavg: 0.38 0.15 0.11 5/257 310406
/proc/meminfo: memFree=109763404/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=361148 memory=329540 CPUtime=3.09 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 59498 0 0 0 251 58 0 0 20 0 1 0 43008023 369815552 82385 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 90287 82385 1729 992 0 82145 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 329540 KiB

[startup+6.30022 s]
/proc/loadavg: 0.67 0.21 0.13 6/260 310409
/proc/meminfo: memFree=109706060/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=367240 memory=322224 CPUtime=6.27 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 60699 0 0 0 555 72 0 0 20 0 1 0 43008023 376053760 80556 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 91810 80556 1808 992 0 83668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 322224 KiB

[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 5/260 310410
/proc/meminfo: memFree=109177344/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=428788 memory=382284 CPUtime=12.66 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 65990 0 0 0 1125 141 0 0 20 0 1 0 43008023 439078912 95571 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 107197 95571 1887 992 0 99055 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 428788 KiB
Current children cumulated memory: 382284 KiB

[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 5/260 310412
/proc/meminfo: memFree=109038340/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=454624 memory=399792 CPUtime=25.42 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 68350 0 0 0 2381 161 0 0 20 0 1 0 43008023 465534976 99948 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 113656 99948 1887 992 0 105514 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 454624 KiB
Current children cumulated memory: 399792 KiB

[startup+51.1057 s]
/proc/loadavg: 2.49 0.76 0.32 5/260 310415
/proc/meminfo: memFree=108142956/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=654172 memory=537340 CPUtime=50.96 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 75579 0 0 0 4890 206 0 0 20 0 1 0 43008023 669872128 134335 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 163543 134335 1887 992 0 155401 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 654172 KiB
Current children cumulated memory: 537340 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 5/260 310427
/proc/meminfo: memFree=107029056/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=664436 memory=570172 CPUtime=102.01 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 75790 0 0 0 9933 268 0 0 20 0 1 0 43008023 680382464 142543 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 166109 142543 1887 992 0 157967 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 664436 KiB
Current children cumulated memory: 570172 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.79 0.75 5/260 310437
/proc/meminfo: memFree=106404768/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=756088 memory=598884 CPUtime=161.85 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 76551 0 0 0 15842 343 0 0 20 0 1 0 43008023 774234112 149721 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 189022 149721 1887 992 0 180880 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 756088 KiB
Current children cumulated memory: 598884 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.24 0.97 5/260 310448
/proc/meminfo: memFree=103090328/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=1198324 memory=1059324 CPUtime=221.69 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 121788 0 0 0 21725 444 0 0 20 0 1 0 43008023 1227083776 264831 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 299581 264831 1887 992 0 291439 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1198324 KiB
Current children cumulated memory: 1059324 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.59 1.17 5/261 310842
/proc/meminfo: memFree=102721792/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=1198324 memory=1059328 CPUtime=281.53 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 121892 0 0 0 27659 494 0 0 20 0 1 0 43008023 1227083776 264832 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 299581 264832 1887 992 0 291439 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1198324 KiB
Current children cumulated memory: 1059328 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 5/258 310852
/proc/meminfo: memFree=102429600/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=1198324 memory=1059332 CPUtime=341.36 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 122088 0 0 0 33587 549 0 0 20 0 1 0 43008023 1227083776 264833 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 299581 264833 1887 992 0 291439 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1198324 KiB
Current children cumulated memory: 1059332 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.10 1.54 5/258 310864
/proc/meminfo: memFree=102275544/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=1213720 memory=1069264 CPUtime=401.2 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 123257 0 0 0 39513 607 0 0 20 0 1 0 43008023 1242849280 267316 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 303430 267316 1887 992 0 295288 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1213720 KiB
Current children cumulated memory: 1069264 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 3.32 1.71 5/258 310874
/proc/meminfo: memFree=102111544/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=1213720 memory=1069264 CPUtime=461.05 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 123456 0 0 0 45440 665 0 0 20 0 1 0 43008023 1242849280 267316 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 303430 267316 1887 992 0 295288 0

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

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.04 5/271 312202
/proc/meminfo: memFree=25956604/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3358924 memory=2759804 CPUtime=3154.17 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 312124 0 0 0 312404 3013 0 0 20 0 1 0 43008023 3439538176 689951 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 839731 689951 1903 992 0 831589 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2759804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/269 312213
/proc/meminfo: memFree=23581748/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3358924 memory=2759808 CPUtime=3214.01 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 313170 0 0 0 318288 3113 0 0 20 0 1 0 43008023 3439538176 689952 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 839731 689952 1903 992 0 831589 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2759808 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/263 312224
/proc/meminfo: memFree=21809140/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3358924 memory=2763912 CPUtime=3273.86 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 314369 0 0 0 324224 3162 0 0 20 0 1 0 43008023 3439538176 690978 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 839731 690978 1903 992 0 831589 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2763912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/262 312236
/proc/meminfo: memFree=19494860/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3358924 memory=2763916 CPUtime=3333.71 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 315401 0 0 0 330139 3232 0 0 20 0 1 0 43008023 3439538176 690979 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 839731 690979 1903 992 0 831589 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2763916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.06 6/262 312249
/proc/meminfo: memFree=17175808/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3358924 memory=2763920 CPUtime=3393.57 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 316475 0 0 0 336059 3298 0 0 20 0 1 0 43008023 3439538176 690980 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 839731 690980 1903 992 0 831589 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 3358924 KiB
Current children cumulated memory: 2763920 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.06 6/263 312261
/proc/meminfo: memFree=14499588/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2766132 CPUtime=3453.43 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 318252 0 0 0 341949 3394 0 0 20 0 1 0 43008023 3448233984 691533 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 691533 1903 992 0 833712 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.16 4.08 5/263 312271
/proc/meminfo: memFree=12184368/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2766132 CPUtime=3513.29 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 319450 0 0 0 347800 3529 0 0 20 0 1 0 43008023 3448233984 691533 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 691533 1903 992 0 833712 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.08 5/264 312286
/proc/meminfo: memFree=10054312/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2766132 CPUtime=3573.15 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 320702 0 0 0 353737 3578 0 0 20 0 1 0 43008023 3448233984 691533 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 691533 1903 992 0 833712 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2766132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.23 4.16 4.08 4/264 312290
/proc/meminfo: memFree=9194888/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3600.09 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321438 0 0 0 356421 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3566.21 s, system=35.8947 s

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

[startup+3609.6 s]
/proc/loadavg: 4.23 4.16 4.08 4/264 312290
/proc/meminfo: memFree=9194888/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3600.39 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321438 0 0 0 356451 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

[startup+3610.4 s]
/proc/loadavg: 4.23 4.16 4.08 3/264 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3601.19 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321442 0 0 0 356531 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

[startup+3610.8 s]
/proc/loadavg: 4.23 4.16 4.08 3/264 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3601.59 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321442 0 0 0 356571 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

[startup+3611.2 s]
/proc/loadavg: 4.23 4.16 4.08 3/263 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3601.99 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321442 0 0 0 356611 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

[startup+3611.3 s]
/proc/loadavg: 4.23 4.16 4.08 3/263 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310402] ppid=310399 vsize=3367416 memory=2770052 CPUtime=3602.09 cores=4,6
/proc/310402/stat : 310402 (roundingsat) R 310399 310402 310236 0 -1 4194304 321442 0 0 0 356621 3588 0 0 20 0 1 0 43008023 3448233984 692513 134679101440 4194304 8254357 140736891874864 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16752640 140736891876187 140736891876449 140736891876449 140736891883465 0
/proc/310402/statm: 841854 692513 1903 992 0 833712 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 3367416 KiB
Current children cumulated memory: 2770052 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.12
CPU time (s): 3602.11
CPU user time (s): 3566.21
CPU system time (s): 35.8947
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 3367416
Max. memory (cumulated for all children) (KiB): 2770052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.21
system time used= 35.8947
maximum resident set size= 2770052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53412336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 8094


# summary of solver processes directly reported to runsolver:
#   pid: 310402
#   total CPU time (s): 3602.11
#   total CPU user time (s): 3566.21
#   total CPU system time (s): 35.8947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97522 second user time and 17.4445 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-27 09:20:38
IDJOB=4460189
IDBENCH=147564
IDSOLVER=3086
FILE ID=nodeC034/4460189-1722064838
RUNJOBID= nodeC034-1722064836-310247
SLURM_JOB_ID= 8248102
Free space on /tmp= 890032 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460189-1722064838/watcher-4460189-1722064838 -o /tmp/evaluation-result-4460189-1722064838/solver-4460189-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460189-1722064838 --lp-cut-gomory=0 HOME/instance-4460189-1722064838.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1859590444

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3651.948
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3670.460
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3607.086
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3633.729
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3637.421
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3678.032
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3653.026
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3601.382
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110442168 kB
MemAvailable:   129598052 kB
Buffers:          365240 kB
Cached:         19557580 kB
SwapCached:          112 kB
Active:          1869228 kB
Inactive:       18492824 kB
Active(anon):       1912 kB
Inactive(anon):   487812 kB
Active(file):    1867316 kB
Inactive(file): 18005012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:            103520 kB
Writeback:             0 kB
AnonPages:        438108 kB
Mapped:           103244 kB
Shmem:             50772 kB
KReclaimable:     246408 kB
Slab:             365092 kB
SReclaimable:     246408 kB
SUnreclaim:       118684 kB
KernelStack:        4084 kB
PageTables:        10344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     949052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC034 at 2024-07-27 10:20:53