Trace number 4489646

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-ls+pbsuma 63f22ad? (TO) 3602.14 3613.96

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
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 benchmark240
Best CPU time to get the best result obtained on this benchmark3586.04
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 492823
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 492823
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489646-1751363764.opb'
0.27/0.36	c 	read 17.23MB  (341.29ms)
0.27/0.36	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.36	c 
0.27/0.36	c make graph and approximate orbits
0.66/0.70	c	 [group: #orbits ~= 0] (342.75ms)
0.66/0.70	c 
0.66/0.70	c detect special group actions
0.66/0.70	c 	probe for Johnson action (limit=64)
0.66/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.72	c 	 (16.85ms)
0.66/0.72	c 
0.66/0.72	c detect symmetries on remainder
0.66/0.72	c 	[graph: #vertices 706685 #edges 2766368]
0.66/0.73	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.77	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.16ms)
0.66/0.77	c 
0.66/0.77	c finalize break order and special generators
0.66/0.77	c 
0.66/0.77	c generation finished
0.66/0.77	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.77	c 
0.66/0.77	c write result to 'HOME/instance-4489646-1751363764.opb.pre'
0.76/0.81	c 	wrote 17.23MB (35.44ms)
0.76/0.81	c ------------------------------------------------------------------
0.76/0.81	c                 342.75ms 43.49% approx_orbits
0.76/0.81	c                 341.29ms 43.31% parse
0.76/0.81	c                  49.16ms  6.24% detect_generic
0.76/0.81	c                  35.44ms  4.50% output
0.76/0.81	c                  16.85ms  2.14% detect_special
0.76/0.81	c                   2.18ms  0.28% other
0.76/0.81	c                   0.39ms  0.05% finalize_order
0.76/0.81	c         ───────────────────────────────────────────────
0.76/0.81	c                 788.05ms   100% total
0.76/0.81	c ------------------------------------------------------------------
0.86/0.96	c RoundingSat 2
0.86/0.96	c branch pb25
0.86/0.96	c commit 63f22ad
3.51/3.65	c #variables 10000 #constraints 656900
3.51/3.65	c objective is ce32 
4.31/4.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.31/4.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.31/4.46	c bounds 5722 >= 0 @ 2.79827
6.01/6.15	c rational objective 165.925
9.60/9.77	c bounds 5653 >= 0 @ 7.97977
9.60/9.77	c bounds 5387 >= 0 @ 7.98695
9.60/9.79	c bounds 5386 >= 0 @ 8.00479
9.70/9.81	c bounds 5379 >= 0 @ 8.0159
9.70/9.82	c bounds 5337 >= 0 @ 8.0255
9.70/9.84	c bounds 5310 >= 0 @ 8.04428
9.70/9.84	c bounds 5305 >= 0 @ 8.04931
9.70/9.85	c bounds 5272 >= 0 @ 8.056
9.70/9.86	c bounds 5190 >= 0 @ 8.06335
9.70/9.86	c bounds 5187 >= 0 @ 8.06808
9.70/9.88	c bounds 5142 >= 0 @ 8.08231
9.80/9.95	c bounds 5133 >= 0 @ 8.15004
9.80/9.95	c bounds 5084 >= 0 @ 8.15473
9.80/9.96	c bounds 5072 >= 0 @ 8.15902
9.80/9.96	c bounds 4989 >= 0 @ 8.16271
9.80/9.98	c bounds 4976 >= 0 @ 8.18522
9.80/9.99	c bounds 4921 >= 0 @ 8.19096
9.80/10.00	c bounds 4860 >= 0 @ 8.19567
9.90/10.01	c bounds 4850 >= 0 @ 8.20556
9.90/10.01	c bounds 4849 >= 0 @ 8.21102
9.90/10.02	c bounds 4838 >= 0 @ 8.21521
9.90/10.02	c bounds 4764 >= 0 @ 8.219
9.90/10.03	c bounds 4754 >= 0 @ 8.22361
9.90/10.07	c bounds 4691 >= 0 @ 8.25925
9.90/10.09	c bounds 4665 >= 0 @ 8.27872
9.90/10.10	c bounds 4588 >= 0 @ 8.28182
10.00/10.10	c bounds 4573 >= 0 @ 8.28916
10.00/10.11	c bounds 4559 >= 0 @ 8.29334
10.00/10.14	c bounds 4557 >= 0 @ 8.3198
10.00/10.14	c bounds 4525 >= 0 @ 8.32597
10.00/10.15	c bounds 4472 >= 0 @ 8.32815
10.00/10.16	c bounds 4396 >= 0 @ 8.33137
10.00/10.16	c bounds 4279 >= 0 @ 8.3367
10.00/10.17	c bounds 4277 >= 0 @ 8.34202
10.00/10.18	c bounds 4254 >= 0 @ 8.34654
10.10/10.22	c bounds 4251 >= 0 @ 8.39231
10.10/10.23	c bounds 4233 >= 0 @ 8.39769
10.10/10.25	c bounds 4220 >= 0 @ 8.41138
10.10/10.25	c bounds 4217 >= 0 @ 8.41534
10.10/10.26	c bounds 4200 >= 0 @ 8.42261
10.20/10.30	c bounds 4184 >= 0 @ 8.46098
10.20/10.31	c bounds 4135 >= 0 @ 8.46684
10.20/10.37	c bounds 4056 >= 0 @ 8.52945
10.20/10.38	c bounds 4003 >= 0 @ 8.5358
10.20/10.39	c bounds 3971 >= 0 @ 8.54231
10.30/10.48	c bounds 3959 >= 0 @ 8.6288
10.30/10.49	c bounds 3838 >= 0 @ 8.63277
10.39/10.58	c bounds 3835 >= 0 @ 8.71675
10.50/10.60	c bounds 3827 >= 0 @ 8.7348
10.50/10.60	c bounds 3801 >= 0 @ 8.73837
10.50/10.62	c bounds 3759 >= 0 @ 8.7543
10.60/10.70	c bounds 3706 >= 0 @ 8.83136
10.60/10.71	c bounds 3648 >= 0 @ 8.83755
10.60/10.72	c bounds 3635 >= 0 @ 8.84414
10.69/10.80	c bounds 3589 >= 0 @ 8.92675
10.69/10.89	c bounds 3583 >= 0 @ 9.01233
10.90/11.00	c bounds 3556 >= 0 @ 9.12107
10.90/11.10	c bounds 3501 >= 0 @ 9.21381
11.00/11.11	c bounds 3429 >= 0 @ 9.21925
11.00/11.12	c bounds 3422 >= 0 @ 9.2316
11.09/11.22	c bounds 3405 >= 0 @ 9.32548
11.09/11.23	c bounds 3401 >= 0 @ 9.33104
11.09/11.23	c bounds 3328 >= 0 @ 9.33655
11.19/11.31	c bounds 3298 >= 0 @ 9.41524
11.79/12.00	c bounds 3264 >= 0 @ 10.0927
11.90/12.02	c bounds 3240 >= 0 @ 10.1104
11.90/12.08	c bounds 3239 >= 0 @ 10.1652
11.90/12.09	c bounds 3232 >= 0 @ 10.1695
11.90/12.09	c bounds 3221 >= 0 @ 10.1758
12.00/12.10	c bounds 3175 >= 0 @ 10.1802
12.00/12.11	c bounds 3120 >= 0 @ 10.1856
12.00/12.12	c bounds 3114 >= 0 @ 10.1921
12.00/12.13	c bounds 3080 >= 0 @ 10.1988
12.00/12.14	c bounds 3040 >= 0 @ 10.208
12.00/12.15	c bounds 3021 >= 0 @ 10.2108
12.00/12.16	c bounds 3012 >= 0 @ 10.217
12.00/12.16	c bounds 2963 >= 0 @ 10.2238
12.00/12.19	c bounds 2952 >= 0 @ 10.2438
12.00/12.20	c bounds 2877 >= 0 @ 10.2496
12.10/12.21	c bounds 2874 >= 0 @ 10.2609
12.10/12.22	c bounds 2827 >= 0 @ 10.2649
12.10/12.23	c bounds 2826 >= 0 @ 10.2709
12.10/12.23	c bounds 2824 >= 0 @ 10.2761
12.10/12.24	c bounds 2791 >= 0 @ 10.2822
12.10/12.25	c bounds 2790 >= 0 @ 10.2896
12.10/12.27	c bounds 2778 >= 0 @ 10.3043
12.10/12.28	c bounds 2773 >= 0 @ 10.3159
12.10/12.29	c bounds 2771 >= 0 @ 10.3217
12.19/12.30	c bounds 2687 >= 0 @ 10.3278
12.19/12.31	c bounds 2673 >= 0 @ 10.337
12.19/12.32	c bounds 2632 >= 0 @ 10.3436
12.19/12.33	c bounds 2597 >= 0 @ 10.3483
12.19/12.36	c bounds 2582 >= 0 @ 10.3796
12.19/12.38	c bounds 2578 >= 0 @ 10.3907
12.19/12.39	c bounds 2526 >= 0 @ 10.398
12.29/12.40	c bounds 2482 >= 0 @ 10.4081
12.29/12.41	c bounds 2471 >= 0 @ 10.4196
12.29/12.42	c bounds 2468 >= 0 @ 10.4243
12.29/12.43	c bounds 2360 >= 0 @ 10.4305
12.29/12.44	c bounds 2359 >= 0 @ 10.4425
12.29/12.45	c bounds 2303 >= 0 @ 10.4476
12.29/12.47	c bounds 2300 >= 0 @ 10.4547
12.29/12.47	c bounds 2286 >= 0 @ 10.4618
12.40/12.50	c bounds 2255 >= 0 @ 10.4796
12.40/12.54	c bounds 2236 >= 0 @ 10.5159
12.40/12.55	c bounds 2206 >= 0 @ 10.5212
12.40/12.56	c bounds 2048 >= 0 @ 10.5316
12.40/12.57	c bounds 1865 >= 0 @ 10.5386
12.40/12.58	c bounds 1688 >= 0 @ 10.5467
12.49/12.60	c bounds 1627 >= 0 @ 10.5544
12.49/12.61	c bounds 1609 >= 0 @ 10.5613
12.49/12.63	c bounds 1473 >= 0 @ 10.5779
12.49/12.64	c bounds 1467 >= 0 @ 10.5828
12.49/12.65	c bounds 1445 >= 0 @ 10.5938
12.49/12.66	c bounds 1327 >= 0 @ 10.6028
12.49/12.67	c bounds 1318 >= 0 @ 10.6118
12.49/12.68	c bounds 1244 >= 0 @ 10.6162
12.59/12.70	c bounds 1180 >= 0 @ 10.6249
12.59/12.72	c bounds 1176 >= 0 @ 10.6395
12.59/12.73	c bounds 1112 >= 0 @ 10.6469
12.59/12.74	c bounds 1076 >= 0 @ 10.6566
12.59/12.75	c bounds 1075 >= 0 @ 10.6626
12.59/12.76	c bounds 1020 >= 0 @ 10.6734
12.59/12.77	c bounds 1016 >= 0 @ 10.6794
12.59/12.78	c bounds 1002 >= 0 @ 10.6908
12.79/12.96	c bounds 921 >= 0 @ 10.8547
12.79/12.97	c bounds 906 >= 0 @ 10.8616
12.89/13.05	c bounds 897 >= 0 @ 10.9393
12.89/13.06	c bounds 886 >= 0 @ 10.9463
13.89/14.10	c #Conflicts:       1000 | #Constraints:     658035
13.89/14.10	c bounds 878 >= 0 @ 11.9472
13.99/14.11	c bounds 873 >= 0 @ 11.9619
13.99/14.14	c bounds 867 >= 0 @ 11.9779
13.99/14.16	c bounds 853 >= 0 @ 12.0028
13.99/14.18	c bounds 782 >= 0 @ 12.0119
14.09/14.20	c bounds 734 >= 0 @ 12.0248
14.09/14.22	c bounds 668 >= 0 @ 12.0368
14.28/14.48	c bounds 665 >= 0 @ 12.2717
14.39/14.59	c bounds 644 >= 0 @ 12.3809
15.38/15.52	c bounds 573 >= 0 @ 13.2789
32.43/32.69	c #Conflicts:       2000 | #Constraints:     659045
32.43/32.69	c INPROCESSING
32.43/32.69	c GARBAGE COLLECT
32.43/32.69	c #Conflicts:       3000 | #Constraints:     658909
32.43/32.69	c #Conflicts:       4000 | #Constraints:     659909
32.43/32.69	c INPROCESSING
32.43/32.69	c GARBAGE COLLECT
32.43/32.69	c #Conflicts:       5000 | #Constraints:     659315
32.43/32.69	c #Conflicts:       6000 | #Constraints:     660315
32.43/32.69	c INPROCESSING
32.43/32.69	c GARBAGE COLLECT
32.43/32.69	c bounds 569 >= 0 @ 30.1951
44.20/44.41	c #Conflicts:       7000 | #Constraints:     659321
44.20/44.41	c #Conflicts:       8000 | #Constraints:     660321
44.20/44.41	c #Conflicts:       9000 | #Constraints:     661321
44.20/44.41	c INPROCESSING
44.20/44.41	c GARBAGE COLLECT
44.20/44.41	c rational objective 167.467
48.49/48.76	c bounds 441 >= 0 @ 46.0971
53.28/53.59	c #Conflicts:      10000 | #Constraints:     660023
53.28/53.59	c #Conflicts:      11000 | #Constraints:     661023
53.28/53.59	c #Conflicts:      12000 | #Constraints:     662023
53.28/53.59	c INPROCESSING
53.28/53.59	c GARBAGE COLLECT
53.28/53.59	c bounds 435 >= 0 @ 50.8112
53.47/53.71	c bounds 434 >= 0 @ 50.9233
53.47/53.72	c bounds 432 >= 0 @ 50.9333
53.47/53.75	c bounds 426 >= 0 @ 50.96
54.58/54.86	c bounds 423 >= 0 @ 52.0502
54.58/54.87	c bounds 423 >= 6 @ 52.0543
66.04/66.32	c #Conflicts:      13000 | #Constraints:     660485
66.04/66.32	c #Conflicts:      14000 | #Constraints:     661485
66.04/66.32	c #Conflicts:      15000 | #Constraints:     662485
66.04/66.32	c INPROCESSING
66.04/66.32	c GARBAGE COLLECT
66.04/66.32	c rational objective 169.5
69.52/69.84	c bounds 421 >= 6 @ 66.8738
69.52/69.85	c bounds 421 >= 11 @ 66.8772
69.52/69.88	c bounds 421 >= 16 @ 66.8947
72.22/72.51	c #Conflicts:      16000 | #Constraints:     660727
72.22/72.51	c bounds 421 >= 21 @ 69.4941
72.73/73.07	c bounds 420 >= 21 @ 70.0535
105.73/106.16	c #Conflicts:      17000 | #Constraints:     661744
105.73/106.16	c #Conflicts:      18000 | #Constraints:     662755
105.73/106.16	c INPROCESSING
105.73/106.16	c rational objective 171
145.11/145.68	c #Conflicts:      19000 | #Constraints:     660751
145.11/145.68	c #Conflicts:      20000 | #Constraints:     661751
145.11/145.68	c #Conflicts:      21000 | #Constraints:     662751
145.11/145.68	c INPROCESSING
145.11/145.68	c GARBAGE COLLECT
145.11/145.68	c #Conflicts:      22000 | #Constraints:     660551
145.11/145.68	c #Conflicts:      23000 | #Constraints:     661551
145.11/145.68	c #Conflicts:      24000 | #Constraints:     662551
145.11/145.68	c #Conflicts:      25000 | #Constraints:     663551
145.11/145.68	c INPROCESSING
145.11/145.68	c GARBAGE COLLECT
145.11/145.68	c rational objective 171.9
169.26/169.86	c #Conflicts:      26000 | #Constraints:     661163
169.26/169.86	c #Conflicts:      27000 | #Constraints:     662163
169.26/169.86	c #Conflicts:      28000 | #Constraints:     663163
169.26/169.86	c #Conflicts:      29000 | #Constraints:     664163
169.26/169.86	c INPROCESSING
169.26/169.86	c GARBAGE COLLECT
169.26/169.86	c rational objective 172.045
193.78/194.40	c #Conflicts:      30000 | #Constraints:     661570
193.78/194.40	c #Conflicts:      31000 | #Constraints:     662570
193.78/194.40	c #Conflicts:      32000 | #Constraints:     663570
193.78/194.40	c #Conflicts:      33000 | #Constraints:     664570
193.78/194.40	c INPROCESSING
193.78/194.40	c GARBAGE COLLECT
193.78/194.40	c rational objective 172.928
220.92/221.63	c #Conflicts:      34000 | #Constraints:     661779
220.92/221.63	c #Conflicts:      35000 | #Constraints:     662779
220.92/221.63	c #Conflicts:      36000 | #Constraints:     663779
220.92/221.63	c #Conflicts:      37000 | #Constraints:     664779
220.92/221.63	c INPROCESSING
220.92/221.63	c GARBAGE COLLECT
220.92/221.63	c rational objective 173.23
225.20/225.94	c bounds 419 >= 21 @ 221.656
231.29/232.01	c #Conflicts:      38000 | #Constraints:     661791
231.29/232.01	c bounds 412 >= 21 @ 227.684
231.29/232.03	c bounds 412 >= 25 @ 227.701
249.04/249.89	c #Conflicts:      39000 | #Constraints:     662800
249.04/249.89	c #Conflicts:      40000 | #Constraints:     663800
249.04/249.89	c #Conflicts:      41000 | #Constraints:     664800
249.04/249.89	c INPROCESSING
249.04/249.89	c GARBAGE COLLECT
249.04/249.89	c rational objective 174
272.08/272.95	c #Conflicts:      42000 | #Constraints:     661580
272.08/272.95	c #Conflicts:      43000 | #Constraints:     662580
272.08/272.95	c #Conflicts:      44000 | #Constraints:     663580
272.08/272.95	c #Conflicts:      45000 | #Constraints:     664580
272.08/272.95	c #Conflicts:      46000 | #Constraints:     665580
272.08/272.95	c INPROCESSING
272.08/272.95	c GARBAGE COLLECT
272.08/272.95	c rational objective 175
296.71/297.65	c #Conflicts:      47000 | #Constraints:     662167
296.71/297.65	c #Conflicts:      48000 | #Constraints:     663167
296.71/297.65	c #Conflicts:      49000 | #Constraints:     664167
296.71/297.65	c #Conflicts:      50000 | #Constraints:     665167
296.71/297.65	c #Conflicts:      51000 | #Constraints:     666167
296.71/297.65	c INPROCESSING
296.71/297.65	c rational objective 175.5
300.70/301.60	c bounds 403 >= 25 @ 296.674
300.70/301.62	c bounds 396 >= 25 @ 296.698
301.40/302.32	c bounds 393 >= 25 @ 297.385
301.40/302.33	c bounds 393 >= 28 @ 297.394
319.95/320.99	c #Conflicts:      52000 | #Constraints:     662574
319.95/320.99	c #Conflicts:      53000 | #Constraints:     663576
319.95/320.99	c #Conflicts:      54000 | #Constraints:     664577
319.95/320.99	c #Conflicts:      55000 | #Constraints:     665578
319.95/320.99	c #Conflicts:      56000 | #Constraints:     666578
319.95/320.99	c INPROCESSING
319.95/320.99	c GARBAGE COLLECT
319.95/320.99	c rational objective 175.5
324.53/325.58	c bounds 392 >= 28 @ 320.396
325.04/326.01	c bounds 391 >= 28 @ 320.817
325.33/326.34	c bounds 387 >= 28 @ 321.14
325.93/326.92	c bounds 386 >= 28 @ 321.71
326.23/327.24	c bounds 385 >= 28 @ 322.033
326.23/327.27	c bounds 381 >= 28 @ 322.058
326.33/327.37	c bounds 380 >= 28 @ 322.151
326.63/327.63	c bounds 373 >= 28 @ 322.41
327.62/328.66	c bounds 370 >= 28 @ 323.433
327.62/328.67	c bounds 370 >= 30 @ 323.441
327.62/328.69	c bounds 370 >= 32 @ 323.447
327.72/328.70	c bounds 370 >= 34 @ 323.453
328.43/329.45	c bounds 370 >= 36 @ 324.19
344.58/345.67	c #Conflicts:      57000 | #Constraints:     662816
344.58/345.67	c #Conflicts:      58000 | #Constraints:     663816
344.58/345.67	c #Conflicts:      59000 | #Constraints:     664816
344.58/345.67	c #Conflicts:      60000 | #Constraints:     665816
344.58/345.67	c bounds 370 >= 38 @ 340.252
347.18/348.21	c bounds 369 >= 38 @ 342.77
352.56/353.65	c #Conflicts:      61000 | #Constraints:     666832
352.56/353.65	c INPROCESSING
352.56/353.65	c GARBAGE COLLECT
352.56/353.65	c rational objective 175.5
358.05/359.14	c bounds 366 >= 38 @ 353.635
386.86/388.08	c #Conflicts:      62000 | #Constraints:     662798
386.86/388.08	c #Conflicts:      63000 | #Constraints:     663798
386.86/388.08	c #Conflicts:      64000 | #Constraints:     664798
386.86/388.08	c #Conflicts:      65000 | #Constraints:     665798
386.86/388.08	c #Conflicts:      66000 | #Constraints:     666798
386.86/388.08	c INPROCESSING
386.86/388.08	c GARBAGE COLLECT
386.86/388.08	c rational objective 176.203
393.14/394.38	c #Conflicts:      67000 | #Constraints:     662599
393.14/394.38	c bounds 365 >= 38 @ 388.594
393.33/394.51	c bounds 363 >= 38 @ 388.721
395.53/396.73	c bounds 361 >= 38 @ 390.922
395.53/396.76	c bounds 360 >= 38 @ 390.941
398.82/400.04	c bounds 359 >= 38 @ 394.188
398.82/400.05	c bounds 359 >= 39 @ 394.197
398.82/400.06	c bounds 359 >= 40 @ 394.203
398.82/400.08	c bounds 359 >= 41 @ 394.214
398.82/400.09	c bounds 359 >= 42 @ 394.224
398.92/400.11	c bounds 359 >= 43 @ 394.232
398.92/400.12	c bounds 359 >= 44 @ 394.24
398.92/400.14	c bounds 359 >= 45 @ 394.251
398.92/400.15	c bounds 359 >= 46 @ 394.259
398.92/400.17	c bounds 359 >= 47 @ 394.272
398.92/400.19	c bounds 359 >= 48 @ 394.283
399.02/400.21	c bounds 359 >= 49 @ 394.299
399.02/400.23	c bounds 359 >= 50 @ 394.315
399.02/400.25	c bounds 359 >= 51 @ 394.327
399.02/400.27	c bounds 359 >= 52 @ 394.344
401.70/402.97	c bounds 359 >= 53 @ 397.017
401.70/403.00	c bounds 359 >= 54 @ 397.038
401.81/403.04	c bounds 359 >= 55 @ 397.074
401.81/403.08	c bounds 359 >= 56 @ 397.105
401.91/403.18	c bounds 359 >= 57 @ 397.199
402.01/403.22	c bounds 359 >= 58 @ 397.236
402.11/403.37	c #Conflicts:      68000 | #Constraints:     663767
402.11/403.37	c bounds 359 >= 59 @ 397.373
402.50/403.75	c bounds 359 >= 60 @ 397.744
403.00/404.25	c bounds 359 >= 61 @ 398.228
403.81/405.01	c bounds 359 >= 62 @ 398.962
403.81/405.10	c bounds 359 >= 63 @ 399.042
404.30/405.59	c bounds 359 >= 64 @ 399.515
405.20/406.49	c #Conflicts:      69000 | #Constraints:     664908
405.20/406.49	c bounds 359 >= 65 @ 400.385
406.19/407.43	c bounds 359 >= 66 @ 401.308
417.16/418.45	c #Conflicts:      70000 | #Constraints:     665953
417.16/418.45	c #Conflicts:      71000 | #Constraints:     666957
417.16/418.45	c #Conflicts:      72000 | #Constraints:     667960
417.16/418.45	c bounds 357 >= 66 @ 412.202
423.24/424.55	c INPROCESSING
423.24/424.55	c GARBAGE COLLECT
423.24/424.55	c rational objective 176.46
427.03/428.31	c bounds 357 >= 67 @ 421.981
427.23/428.58	c bounds 357 >= 68 @ 422.23
427.83/429.19	c bounds 357 >= 69 @ 422.818
429.12/430.44	c #Conflicts:      73000 | #Constraints:     663510
429.12/430.44	c bounds 357 >= 70 @ 424.03
430.81/432.16	c #Conflicts:      74000 | #Constraints:     664561
430.81/432.16	c bounds 357 >= 71 @ 425.706
432.41/433.70	c #Conflicts:      75000 | #Constraints:     665594
432.41/433.70	c bounds 357 >= 72 @ 427.225
443.87/445.23	c #Conflicts:      76000 | #Constraints:     666615
443.87/445.23	c bounds 357 >= 73 @ 438.645
446.86/448.20	c #Conflicts:      77000 | #Constraints:     667651
446.86/448.20	c bounds 357 >= 74 @ 441.549
511.54/513.12	c #Conflicts:      78000 | #Constraints:     668684
511.54/513.12	c INPROCESSING
511.54/513.12	c GARBAGE COLLECT
511.54/513.12	c #Conflicts:      79000 | #Constraints:     663969
511.54/513.12	c #Conflicts:      80000 | #Constraints:     664969
511.54/513.12	c bounds 357 >= 75 @ 506.086
519.42/521.06	c #Conflicts:      81000 | #Constraints:     666014
519.42/521.06	c #Conflicts:      82000 | #Constraints:     667014
519.42/521.06	c #Conflicts:      83000 | #Constraints:     668014
519.42/521.06	c bounds 357 >= 76 @ 513.962
651.47/653.58	c #Conflicts:      84000 | #Constraints:     669053
651.47/653.58	c INPROCESSING
651.47/653.58	c GARBAGE COLLECT
651.47/653.58	c rational objective 176.708
654.66/656.71	c bounds 356 >= 76 @ 649.028
677.09/679.28	c #Conflicts:      85000 | #Constraints:     664201
677.09/679.28	c #Conflicts:      86000 | #Constraints:     665201
677.09/679.28	c #Conflicts:      87000 | #Constraints:     666201
677.09/679.28	c bounds 355 >= 76 @ 671.456
689.65/691.87	c #Conflicts:      88000 | #Constraints:     667203
689.65/691.87	c #Conflicts:      89000 | #Constraints:     668203
689.65/691.87	c #Conflicts:      90000 | #Constraints:     669203
689.65/691.87	c INPROCESSING
689.65/691.87	c GARBAGE COLLECT
689.65/691.87	c rational objective 177.406
702.61/704.85	c #Conflicts:      91000 | #Constraints:     664166
702.61/704.85	c #Conflicts:      92000 | #Constraints:     665166
702.61/704.85	c bounds 355 >= 77 @ 696.861
720.54/722.86	c #Conflicts:      93000 | #Constraints:     666229
720.54/722.86	c #Conflicts:      94000 | #Constraints:     667229
720.54/722.86	c #Conflicts:      95000 | #Constraints:     668229
720.54/722.86	c #Conflicts:      96000 | #Constraints:     669229
720.54/722.86	c bounds 355 >= 78 @ 714.756
725.13/727.47	c INPROCESSING
725.13/727.47	c GARBAGE COLLECT
725.13/727.47	c rational objective 177.535
817.71/820.35	c #Conflicts:      97000 | #Constraints:     664014
817.71/820.35	c #Conflicts:      98000 | #Constraints:     665015
817.71/820.35	c #Conflicts:      99000 | #Constraints:     666015
817.71/820.35	c #Conflicts:     100000 | #Constraints:     667015
817.71/820.35	c #Conflicts:     101000 | #Constraints:     668015
817.71/820.35	c #Conflicts:     102000 | #Constraints:     669015
817.71/820.35	c #Conflicts:     103000 | #Constraints:     670015
817.71/820.35	c INPROCESSING
817.71/820.35	c GARBAGE COLLECT
817.71/820.35	c rational objective 177.766
849.12/851.82	c #Conflicts:     104000 | #Constraints:     664594
849.12/851.82	c #Conflicts:     105000 | #Constraints:     665594
849.12/851.82	c #Conflicts:     106000 | #Constraints:     666595
849.12/851.82	c #Conflicts:     107000 | #Constraints:     667596
849.12/851.82	c #Conflicts:     108000 | #Constraints:     668597
849.12/851.82	c bounds 355 >= 79 @ 842.844
883.89/886.73	c #Conflicts:     109000 | #Constraints:     669651
883.89/886.73	c #Conflicts:     110000 | #Constraints:     670651
883.89/886.73	c INPROCESSING
883.89/886.73	c GARBAGE COLLECT
883.89/886.73	c rational objective 178.501
925.06/928.08	c #Conflicts:     111000 | #Constraints:     665012
925.06/928.08	c #Conflicts:     112000 | #Constraints:     666014
925.06/928.08	c #Conflicts:     113000 | #Constraints:     667014
925.06/928.08	c #Conflicts:     114000 | #Constraints:     668015
925.06/928.08	c #Conflicts:     115000 | #Constraints:     669015
925.06/928.08	c bounds 355 >= 80 @ 918.54
937.81/940.83	c #Conflicts:     116000 | #Constraints:     670063
937.81/940.83	c #Conflicts:     117000 | #Constraints:     671064
937.81/940.83	c INPROCESSING
937.81/940.83	c GARBAGE COLLECT
937.81/940.83	c rational objective 178.527
976.59/979.76	c #Conflicts:     118000 | #Constraints:     665248
976.59/979.76	c #Conflicts:     119000 | #Constraints:     666249
976.59/979.76	c #Conflicts:     120000 | #Constraints:     667250
976.59/979.76	c #Conflicts:     121000 | #Constraints:     668251
976.59/979.76	c #Conflicts:     122000 | #Constraints:     669251
976.59/979.76	c #Conflicts:     123000 | #Constraints:     670252
976.59/979.76	c bounds 355 >= 81 @ 969.828
1177.71/1181.52	c #Conflicts:     124000 | #Constraints:     671303
1177.71/1181.52	c INPROCESSING
1177.71/1181.52	c GARBAGE COLLECT
1177.71/1181.52	c #Conflicts:     125000 | #Constraints:     665260
1177.71/1181.52	c #Conflicts:     126000 | #Constraints:     666262
1177.71/1181.52	c #Conflicts:     127000 | #Constraints:     667263
1177.71/1181.52	c #Conflicts:     128000 | #Constraints:     668263
1177.71/1181.52	c #Conflicts:     129000 | #Constraints:     669263
1177.71/1181.52	c #Conflicts:     130000 | #Constraints:     670264
1177.71/1181.52	c #Conflicts:     131000 | #Constraints:     671264
1177.71/1181.52	c INPROCESSING
1177.71/1181.52	c GARBAGE COLLECT
1177.71/1181.52	c rational objective 178.532
1225.95/1229.92	c #Conflicts:     132000 | #Constraints:     665049
1225.95/1229.92	c #Conflicts:     133000 | #Constraints:     666051
1225.95/1229.92	c #Conflicts:     134000 | #Constraints:     667052
1225.95/1229.92	c #Conflicts:     135000 | #Constraints:     668052
1225.95/1229.92	c #Conflicts:     136000 | #Constraints:     669052
1225.95/1229.92	c #Conflicts:     137000 | #Constraints:     670052
1225.95/1229.92	c #Conflicts:     138000 | #Constraints:     671052
1225.95/1229.92	c bounds 355 >= 82 @ 1218.46
1316.93/1321.28	c #Conflicts:     139000 | #Constraints:     672133
1316.93/1321.28	c INPROCESSING
1316.93/1321.28	c GARBAGE COLLECT
1316.93/1321.28	c rational objective 178.533
1383.91/1388.42	c #Conflicts:     140000 | #Constraints:     665693
1383.91/1388.42	c #Conflicts:     141000 | #Constraints:     666696
1383.91/1388.42	c #Conflicts:     142000 | #Constraints:     667737
1383.91/1388.42	c #Conflicts:     143000 | #Constraints:     668737
1383.91/1388.42	c #Conflicts:     144000 | #Constraints:     669737
1383.91/1388.42	c #Conflicts:     145000 | #Constraints:     670738
1383.91/1388.42	c #Conflicts:     146000 | #Constraints:     671738
1383.91/1388.42	c #Conflicts:     147000 | #Constraints:     672794
1383.91/1388.42	c INPROCESSING
1383.91/1388.42	c GARBAGE COLLECT
1383.91/1388.42	c rational objective 179.692
1389.00/1393.56	c bounds 355 >= 83 @ 1381.26
1453.68/1458.44	c #Conflicts:     148000 | #Constraints:     666234
1453.68/1458.44	c #Conflicts:     149000 | #Constraints:     667234
1453.68/1458.44	c #Conflicts:     150000 | #Constraints:     668234
1453.68/1458.44	c #Conflicts:     151000 | #Constraints:     669234
1453.68/1458.44	c #Conflicts:     152000 | #Constraints:     670234
1453.68/1458.44	c #Conflicts:     153000 | #Constraints:     671234
1453.68/1458.44	c #Conflicts:     154000 | #Constraints:     672234
1453.68/1458.44	c #Conflicts:     155000 | #Constraints:     673235
1453.68/1458.44	c INPROCESSING
1453.68/1458.44	c GARBAGE COLLECT
1453.68/1458.44	c rational objective 179.692
1528.53/1533.53	c #Conflicts:     156000 | #Constraints:     666388
1528.53/1533.53	c #Conflicts:     157000 | #Constraints:     667388
1528.53/1533.53	c #Conflicts:     158000 | #Constraints:     668388
1528.53/1533.53	c #Conflicts:     159000 | #Constraints:     669390
1528.53/1533.53	c #Conflicts:     160000 | #Constraints:     670392
1528.53/1533.53	c #Conflicts:     161000 | #Constraints:     671393
1528.53/1533.53	c #Conflicts:     162000 | #Constraints:     672400
1528.53/1533.53	c #Conflicts:     163000 | #Constraints:     673401
1528.53/1533.53	c INPROCESSING
1528.53/1533.53	c GARBAGE COLLECT
1528.53/1533.53	c rational objective 181.306
1708.32/1713.90	c #Conflicts:     164000 | #Constraints:     666361
1708.32/1713.90	c #Conflicts:     165000 | #Constraints:     667361
1708.32/1713.90	c #Conflicts:     166000 | #Constraints:     668361
1708.32/1713.90	c #Conflicts:     167000 | #Constraints:     669361
1708.32/1713.90	c #Conflicts:     168000 | #Constraints:     670363
1708.32/1713.90	c #Conflicts:     169000 | #Constraints:     671363
1708.32/1713.90	c #Conflicts:     170000 | #Constraints:     672366
1708.32/1713.90	c #Conflicts:     171000 | #Constraints:     673367
1708.32/1713.90	c INPROCESSING
1708.32/1713.90	c GARBAGE COLLECT
1708.32/1713.90	c rational objective 181.306
1713.10/1718.75	c bounds 353 >= 83 @ 1704.25
1713.80/1719.47	c bounds 352 >= 83 @ 1704.95
1716.19/1721.85	c #Conflicts:     172000 | #Constraints:     666140
1716.19/1721.85	c bounds 350 >= 83 @ 1707.32
1728.25/1733.97	c #Conflicts:     173000 | #Constraints:     667178
1728.25/1733.97	c bounds 349 >= 83 @ 1719.37
1810.88/1816.83	c #Conflicts:     174000 | #Constraints:     668216
1810.88/1816.83	c #Conflicts:     175000 | #Constraints:     669217
1810.88/1816.83	c #Conflicts:     176000 | #Constraints:     670218
1810.88/1816.83	c #Conflicts:     177000 | #Constraints:     671218
1810.88/1816.83	c #Conflicts:     178000 | #Constraints:     672222
1810.88/1816.83	c #Conflicts:     179000 | #Constraints:     673222
1810.88/1816.83	c #Conflicts:     180000 | #Constraints:     674223
1810.88/1816.83	c INPROCESSING
1810.88/1816.83	c GARBAGE COLLECT
1810.88/1816.83	c rational objective 181.306
1815.36/1821.34	c bounds 348 >= 83 @ 1806.13
1815.36/1821.37	c bounds 347 >= 83 @ 1806.15
1815.36/1821.38	c bounds 343 >= 83 @ 1806.15
1815.46/1821.40	c bounds 340 >= 83 @ 1806.16
1815.46/1821.41	c bounds 339 >= 83 @ 1806.18
1815.86/1821.84	c bounds 332 >= 83 @ 1806.59
1815.95/1821.94	c bounds 330 >= 83 @ 1806.69
1818.95/1824.98	c #Conflicts:     181000 | #Constraints:     666779
1818.95/1824.98	c bounds 329 >= 83 @ 1809.71
1995.14/2001.70	c #Conflicts:     182000 | #Constraints:     667780
1995.14/2001.70	c #Conflicts:     183000 | #Constraints:     668780
1995.14/2001.70	c #Conflicts:     184000 | #Constraints:     669780
1995.14/2001.70	c #Conflicts:     185000 | #Constraints:     670781
1995.14/2001.70	c #Conflicts:     186000 | #Constraints:     671781
1995.14/2001.70	c #Conflicts:     187000 | #Constraints:     672781
1995.14/2001.70	c #Conflicts:     188000 | #Constraints:     673781
1995.14/2001.70	c #Conflicts:     189000 | #Constraints:     674792
1995.14/2001.70	c INPROCESSING
1995.14/2001.70	c GARBAGE COLLECT
1995.14/2001.70	c rational objective 181.306
2039.60/2046.38	c #Conflicts:     190000 | #Constraints:     667159
2039.60/2046.38	c #Conflicts:     191000 | #Constraints:     668200
2039.60/2046.38	c #Conflicts:     192000 | #Constraints:     669274
2039.60/2046.38	c #Conflicts:     193000 | #Constraints:     670280
2039.60/2046.38	c bounds 328 >= 83 @ 2030.05
2064.12/2070.91	c #Conflicts:     194000 | #Constraints:     671286
2064.12/2070.91	c #Conflicts:     195000 | #Constraints:     672286
2064.12/2070.91	c #Conflicts:     196000 | #Constraints:     673286
2064.12/2070.91	c #Conflicts:     197000 | #Constraints:     674286
2064.12/2070.91	c #Conflicts:     198000 | #Constraints:     675286
2064.12/2070.91	c INPROCESSING
2064.12/2070.91	c GARBAGE COLLECT
2064.12/2070.91	c rational objective 177.508
2092.42/2099.36	c #Conflicts:     199000 | #Constraints:     667401
2092.42/2099.36	c #Conflicts:     200000 | #Constraints:     668401
2092.42/2099.36	c #Conflicts:     201000 | #Constraints:     669401
2092.42/2099.36	c #Conflicts:     202000 | #Constraints:     670401
2092.42/2099.36	c bounds 328 >= 84 @ 2082.72
2113.45/2120.49	c #Conflicts:     203000 | #Constraints:     671494
2113.45/2120.49	c #Conflicts:     204000 | #Constraints:     672494
2113.45/2120.49	c #Conflicts:     205000 | #Constraints:     673494
2113.45/2120.49	c #Conflicts:     206000 | #Constraints:     674494
2113.45/2120.49	c #Conflicts:     207000 | #Constraints:     675494
2113.45/2120.49	c INPROCESSING
2113.45/2120.49	c GARBAGE COLLECT
2113.45/2120.49	c rational objective 178.379
2249.99/2257.43	c #Conflicts:     208000 | #Constraints:     667422
2249.99/2257.43	c #Conflicts:     209000 | #Constraints:     668422
2249.99/2257.43	c #Conflicts:     210000 | #Constraints:     669422
2249.99/2257.43	c #Conflicts:     211000 | #Constraints:     670422
2249.99/2257.43	c #Conflicts:     212000 | #Constraints:     671422
2249.99/2257.43	c #Conflicts:     213000 | #Constraints:     672423
2249.99/2257.43	c #Conflicts:     214000 | #Constraints:     673423
2249.99/2257.43	c #Conflicts:     215000 | #Constraints:     674423
2249.99/2257.43	c #Conflicts:     216000 | #Constraints:     675425
2249.99/2257.43	c INPROCESSING
2249.99/2257.43	c GARBAGE COLLECT
2249.99/2257.43	c rational objective 178.417
2283.67/2291.23	c #Conflicts:     217000 | #Constraints:     667184
2283.67/2291.23	c #Conflicts:     218000 | #Constraints:     668186
2283.67/2291.23	c bounds 328 >= 85 @ 2273.58
2330.21/2337.94	c #Conflicts:     219000 | #Constraints:     669246
2330.21/2337.94	c #Conflicts:     220000 | #Constraints:     670246
2330.21/2337.94	c #Conflicts:     221000 | #Constraints:     671246
2330.21/2337.94	c #Conflicts:     222000 | #Constraints:     672246
2330.21/2337.94	c #Conflicts:     223000 | #Constraints:     673246
2330.21/2337.94	c #Conflicts:     224000 | #Constraints:     674246
2330.21/2337.94	c #Conflicts:     225000 | #Constraints:     675247
2330.21/2337.94	c #Conflicts:     226000 | #Constraints:     676248
2330.21/2337.94	c INPROCESSING
2330.21/2337.94	c GARBAGE COLLECT
2330.21/2337.94	c rational objective 178.418
2401.77/2409.74	c #Conflicts:     227000 | #Constraints:     667816
2401.77/2409.74	c #Conflicts:     228000 | #Constraints:     668817
2401.77/2409.74	c #Conflicts:     229000 | #Constraints:     669817
2401.77/2409.74	c #Conflicts:     230000 | #Constraints:     670818
2401.77/2409.74	c #Conflicts:     231000 | #Constraints:     671818
2401.77/2409.74	c #Conflicts:     232000 | #Constraints:     672818
2401.77/2409.74	c #Conflicts:     233000 | #Constraints:     673818
2401.77/2409.74	c #Conflicts:     234000 | #Constraints:     674819
2401.77/2409.74	c #Conflicts:     235000 | #Constraints:     675819
2401.77/2409.74	c #Conflicts:     236000 | #Constraints:     676819
2401.77/2409.74	c INPROCESSING
2401.77/2409.74	c GARBAGE COLLECT
2401.77/2409.74	c rational objective 178.472
2427.00/2435.03	c #Conflicts:     237000 | #Constraints:     668198
2427.00/2435.03	c #Conflicts:     238000 | #Constraints:     669198
2427.00/2435.03	c bounds 326 >= 85 @ 2416.37
2474.94/2483.18	c #Conflicts:     239000 | #Constraints:     670204
2474.94/2483.18	c #Conflicts:     240000 | #Constraints:     671204
2474.94/2483.18	c #Conflicts:     241000 | #Constraints:     672204
2474.94/2483.18	c #Conflicts:     242000 | #Constraints:     673204
2474.94/2483.18	c #Conflicts:     243000 | #Constraints:     674204
2474.94/2483.18	c #Conflicts:     244000 | #Constraints:     675204
2474.94/2483.18	c #Conflicts:     245000 | #Constraints:     676204
2474.94/2483.18	c #Conflicts:     246000 | #Constraints:     677205
2474.94/2483.18	c INPROCESSING
2474.94/2483.18	c GARBAGE COLLECT
2474.94/2483.18	c rational objective 178.472
2570.11/2578.68	c #Conflicts:     247000 | #Constraints:     668403
2570.11/2578.68	c #Conflicts:     248000 | #Constraints:     669404
2570.11/2578.68	c #Conflicts:     249000 | #Constraints:     670404
2570.11/2578.68	c #Conflicts:     250000 | #Constraints:     671405
2570.11/2578.68	c #Conflicts:     251000 | #Constraints:     672406
2570.11/2578.68	c #Conflicts:     252000 | #Constraints:     673406
2570.11/2578.68	c #Conflicts:     253000 | #Constraints:     674406
2570.11/2578.68	c #Conflicts:     254000 | #Constraints:     675406
2570.11/2578.68	c #Conflicts:     255000 | #Constraints:     676407
2570.11/2578.68	c #Conflicts:     256000 | #Constraints:     677408
2570.11/2578.68	c bounds 326 >= 86 @ 2558.9
2714.81/2723.82	c INPROCESSING
2714.81/2723.82	c GARBAGE COLLECT
2714.81/2723.82	c rational objective 178.472
2795.63/2804.95	c #Conflicts:     257000 | #Constraints:     668444
2795.63/2804.95	c #Conflicts:     258000 | #Constraints:     669444
2795.63/2804.95	c #Conflicts:     259000 | #Constraints:     670444
2795.63/2804.95	c #Conflicts:     260000 | #Constraints:     671445
2795.63/2804.95	c #Conflicts:     261000 | #Constraints:     672445
2795.63/2804.95	c #Conflicts:     262000 | #Constraints:     673446
2795.63/2804.95	c #Conflicts:     263000 | #Constraints:     674446
2795.63/2804.95	c #Conflicts:     264000 | #Constraints:     675446
2795.63/2804.95	c #Conflicts:     265000 | #Constraints:     676446
2795.63/2804.95	c #Conflicts:     266000 | #Constraints:     677447
2795.63/2804.95	c INPROCESSING
2795.63/2804.95	c GARBAGE COLLECT
2795.63/2804.95	c rational objective 178.472
2870.09/2879.65	c #Conflicts:     267000 | #Constraints:     668242
2870.09/2879.65	c #Conflicts:     268000 | #Constraints:     669242
2870.09/2879.65	c #Conflicts:     269000 | #Constraints:     670242
2870.09/2879.65	c #Conflicts:     270000 | #Constraints:     671242
2870.09/2879.65	c #Conflicts:     271000 | #Constraints:     672243
2870.09/2879.65	c #Conflicts:     272000 | #Constraints:     673244
2870.09/2879.65	c #Conflicts:     273000 | #Constraints:     674246
2870.09/2879.65	c #Conflicts:     274000 | #Constraints:     675246
2870.09/2879.65	c #Conflicts:     275000 | #Constraints:     676246
2870.09/2879.65	c #Conflicts:     276000 | #Constraints:     677246
2870.09/2879.65	c #Conflicts:     277000 | #Constraints:     678246
2870.09/2879.65	c INPROCESSING
2870.09/2879.65	c GARBAGE COLLECT
2870.09/2879.65	c rational objective 178.479
3001.34/3011.30	c #Conflicts:     278000 | #Constraints:     668825
3001.34/3011.30	c #Conflicts:     279000 | #Constraints:     669845
3001.34/3011.30	c #Conflicts:     280000 | #Constraints:     670855
3001.34/3011.30	c #Conflicts:     281000 | #Constraints:     671867
3001.34/3011.30	c #Conflicts:     282000 | #Constraints:     672975
3001.34/3011.30	c #Conflicts:     283000 | #Constraints:     673998
3001.34/3011.30	c #Conflicts:     284000 | #Constraints:     675010
3001.34/3011.30	c #Conflicts:     285000 | #Constraints:     676018
3001.34/3011.30	c #Conflicts:     286000 | #Constraints:     677030
3001.34/3011.30	c bounds 324 >= 86 @ 2988.55
3014.90/3024.90	c #Conflicts:     287000 | #Constraints:     678038
3014.90/3024.90	c #Conflicts:     288000 | #Constraints:     679038
3014.90/3024.90	c INPROCESSING
3014.90/3024.90	c GARBAGE COLLECT
3014.90/3024.90	c rational objective 178.432
3102.30/3112.63	c #Conflicts:     289000 | #Constraints:     669327
3102.30/3112.63	c #Conflicts:     290000 | #Constraints:     670328
3102.30/3112.63	c #Conflicts:     291000 | #Constraints:     671329
3102.30/3112.63	c #Conflicts:     292000 | #Constraints:     672330
3102.30/3112.63	c #Conflicts:     293000 | #Constraints:     673330
3102.30/3112.63	c #Conflicts:     294000 | #Constraints:     674331
3102.30/3112.63	c #Conflicts:     295000 | #Constraints:     675331
3102.30/3112.63	c #Conflicts:     296000 | #Constraints:     676332
3102.30/3112.63	c #Conflicts:     297000 | #Constraints:     677332
3102.30/3112.63	c #Conflicts:     298000 | #Constraints:     678333
3102.30/3112.63	c #Conflicts:     299000 | #Constraints:     679334
3102.30/3112.63	c INPROCESSING
3102.30/3112.63	c GARBAGE COLLECT
3102.30/3112.63	c rational objective 178.433
3273.62/3284.58	c #Conflicts:     300000 | #Constraints:     669470
3273.62/3284.58	c #Conflicts:     301000 | #Constraints:     670471
3273.62/3284.58	c #Conflicts:     302000 | #Constraints:     671471
3273.62/3284.58	c #Conflicts:     303000 | #Constraints:     672471
3273.62/3284.58	c #Conflicts:     304000 | #Constraints:     673471
3273.62/3284.58	c #Conflicts:     305000 | #Constraints:     674471
3273.62/3284.58	c #Conflicts:     306000 | #Constraints:     675471
3273.62/3284.58	c #Conflicts:     307000 | #Constraints:     676472
3273.62/3284.58	c #Conflicts:     308000 | #Constraints:     677472
3273.62/3284.58	c #Conflicts:     309000 | #Constraints:     678472
3273.62/3284.58	c #Conflicts:     310000 | #Constraints:     679472
3273.62/3284.58	c INPROCESSING
3273.62/3284.58	c GARBAGE COLLECT
3273.62/3284.58	c #Conflicts:     311000 | #Constraints:     669462
3273.62/3284.58	c #Conflicts:     312000 | #Constraints:     670462
3273.62/3284.58	c #Conflicts:     313000 | #Constraints:     671463
3273.62/3284.58	c #Conflicts:     314000 | #Constraints:     672463
3273.62/3284.58	c #Conflicts:     315000 | #Constraints:     673463
3273.62/3284.58	c #Conflicts:     316000 | #Constraints:     674464
3273.62/3284.58	c #Conflicts:     317000 | #Constraints:     675464
3273.62/3284.58	c #Conflicts:     318000 | #Constraints:     676464
3273.62/3284.58	c #Conflicts:     319000 | #Constraints:     677464
3273.62/3284.58	c #Conflicts:     320000 | #Constraints:     678464
3273.62/3284.58	c #Conflicts:     321000 | #Constraints:     679464
3273.62/3284.58	c INPROCESSING
3273.62/3284.58	c GARBAGE COLLECT
3273.62/3284.58	c rational objective 178.435
3355.37/3366.55	c #Conflicts:     322000 | #Constraints:     669246
3355.37/3366.55	c #Conflicts:     323000 | #Constraints:     670246
3355.37/3366.55	c #Conflicts:     324000 | #Constraints:     671247
3355.37/3366.55	c #Conflicts:     325000 | #Constraints:     672249
3355.37/3366.55	c #Conflicts:     326000 | #Constraints:     673250
3355.37/3366.55	c #Conflicts:     327000 | #Constraints:     674250
3355.37/3366.55	c #Conflicts:     328000 | #Constraints:     675250
3355.37/3366.55	c #Conflicts:     329000 | #Constraints:     676250
3355.37/3366.55	c #Conflicts:     330000 | #Constraints:     677250
3355.37/3366.55	c #Conflicts:     331000 | #Constraints:     678250
3355.37/3366.55	c #Conflicts:     332000 | #Constraints:     679250
3355.37/3366.55	c #Conflicts:     333000 | #Constraints:     680250
3355.37/3366.55	c INPROCESSING
3355.37/3366.55	c GARBAGE COLLECT
3355.37/3366.55	c rational objective 178.435
3408.52/3419.87	c #Conflicts:     334000 | #Constraints:     669840
3408.52/3419.87	c #Conflicts:     335000 | #Constraints:     670840
3408.52/3419.87	c #Conflicts:     336000 | #Constraints:     671840
3408.52/3419.87	c #Conflicts:     337000 | #Constraints:     672840
3408.52/3419.87	c #Conflicts:     338000 | #Constraints:     673841
3408.52/3419.87	c #Conflicts:     339000 | #Constraints:     674841
3408.52/3419.87	c bounds 324 >= 87 @ 3394.06
3451.79/3463.21	c #Conflicts:     340000 | #Constraints:     675907
3451.79/3463.21	c #Conflicts:     341000 | #Constraints:     676907
3451.79/3463.21	c #Conflicts:     342000 | #Constraints:     677908
3451.79/3463.21	c #Conflicts:     343000 | #Constraints:     678908
3451.79/3463.21	c #Conflicts:     344000 | #Constraints:     679908
3451.79/3463.21	c #Conflicts:     345000 | #Constraints:     680908
3451.79/3463.21	c INPROCESSING
3451.79/3463.21	c GARBAGE COLLECT
3451.79/3463.21	c rational objective 178.435

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63010 MiB free)
  memory of node 1: 64465 MiB (63930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489646-1751363764/watcher-4489646-1751363764 -o /tmp/evaluation-result-4489646-1751363764/solver-4489646-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51139 --watchdog 3760 run-opt-ls.sh HOME/instance-4489646-1751363764.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=51191, runsolver pid=51175

[startup+0.100065 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129345996/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51193] ppid=51191 vsize=162612 memory=145124 CPUtime=0.07 cores=5,7
/proc/51193/stat : 51193 (pbsuma) R 51191 51191 51126 0 -1 4194304 3623 0 0 0 4 3 0 0 20 0 1 0 52054345 166514688 36281 18446744073709551615 4210688 4653049 140723306910752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5378048 140723306912099 140723306912306 140723306912306 140723306917871 0
/proc/51193/statm: 40653 36281 928 108 0 38061 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166804 KiB
Current children cumulated memory: 148196 KiB

[startup+0.205809 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129133676/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51193] ppid=51191 vsize=179468 memory=161344 CPUtime=0.18 cores=5,7
/proc/51193/stat : 51193 (pbsuma) R 51191 51191 51126 0 -1 4194304 8372 0 0 0 14 4 0 0 20 0 1 0 52054345 183775232 40336 18446744073709551615 4210688 4653049 140723306910752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5378048 140723306912099 140723306912306 140723306912306 140723306917871 0
/proc/51193/statm: 44867 40336 928 108 0 42275 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 183660 KiB
Current children cumulated memory: 164416 KiB

[startup+0.305813 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129045152/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51193] ppid=51191 vsize=193200 memory=180496 CPUtime=0.27 cores=5,7
/proc/51193/stat : 51193 (pbsuma) R 51191 51191 51126 0 -1 4194304 11632 0 0 0 22 5 0 0 20 0 1 0 52054345 197836800 45124 18446744073709551615 4210688 4653049 140723306910752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5378048 140723306912099 140723306912306 140723306912306 140723306917871 0
/proc/51193/statm: 48300 45124 928 108 0 45708 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 197392 KiB
Current children cumulated memory: 183568 KiB

[startup+0.700204 s]
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=128810232/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51193] ppid=51191 vsize=330004 memory=273780 CPUtime=0.66 cores=5,7
/proc/51193/stat : 51193 (pbsuma) R 51191 51191 51126 0 -1 4194304 22387 0 0 0 58 8 0 0 20 0 1 0 52054345 337924096 68413 18446744073709551615 4210688 4653049 140723306910752 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5378048 140723306912099 140723306912306 140723306912306 140723306917871 0
/proc/51193/statm: 82501 68445 960 108 0 79909 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 334196 KiB
Current children cumulated memory: 276852 KiB

[startup+1.5002 s]
/proc/loadavg: 0.76 1.03 1.78 5/267 51201
/proc/meminfo: memFree=128791760/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=119816 memory=73164 CPUtime=0.53 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 16282 0 2 0 39 14 0 0 20 0 1 0 52054437 122691584 18291 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 29954 18291 2016 1147 0 17381 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 124008 KiB
Current children cumulated memory: 76236 KiB

[startup+3.10551 s]
/proc/loadavg: 0.76 1.03 1.78 5/267 51203
/proc/meminfo: memFree=128650400/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=564304 memory=391588 CPUtime=2.13 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 57512 0 2 0 155 58 0 0 20 0 1 0 52054437 577847296 97897 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 141076 97897 2272 1147 0 128503 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 568496 KiB
Current children cumulated memory: 394660 KiB

[startup+6.3002 s]
/proc/loadavg: 1.02 1.08 1.79 5/267 51203
/proc/meminfo: memFree=127488472/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1065620 memory=797040 CPUtime=5.31 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 85121 0 2 0 453 78 0 0 20 0 1 0 52054437 1091194880 199260 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 266405 199260 2400 1147 0 253832 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1069812 KiB
Current children cumulated memory: 800112 KiB

[startup+12.7002 s]
/proc/loadavg: 1.26 1.13 1.80 5/265 51217
/proc/meminfo: memFree=127622664/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1234764 memory=916300 CPUtime=11.7 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 93653 0 2 0 1062 108 0 0 20 0 1 0 52054437 1264398336 229075 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 308691 229075 2432 1147 0 296118 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1238956 KiB
Current children cumulated memory: 919372 KiB

[startup+25.5002 s]
/proc/loadavg: 1.68 1.23 1.83 5/267 51250
/proc/meminfo: memFree=127164644/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1320124 memory=987232 CPUtime=24.47 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 104308 0 2 0 2311 136 0 0 20 0 1 0 52054437 1351806976 246808 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 330031 246808 2432 1147 0 317458 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1324316 KiB
Current children cumulated memory: 990304 KiB

[startup+51.1055 s]
/proc/loadavg: 2.71 1.53 1.91 5/264 51311
/proc/meminfo: memFree=127287072/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1330392 memory=1000372 CPUtime=50 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 104530 0 2 0 4839 161 0 0 20 0 1 0 52054437 1362321408 250093 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 332598 250093 2432 1147 0 320025 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1334584 KiB
Current children cumulated memory: 1003444 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.92 2.03 5/267 51444
/proc/meminfo: memFree=126357732/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1820440 memory=1445600 CPUtime=101.04 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 171216 0 2 0 9899 205 0 0 20 0 1 0 52054437 1864130560 361400 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 455110 361400 2464 1147 0 442537 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1824632 KiB
Current children cumulated memory: 1448672 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.30 2.15 5/270 51589
/proc/meminfo: memFree=126434580/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1981700 memory=1504012 CPUtime=160.89 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 174708 0 2 0 15846 243 0 0 20 0 1 0 52054437 2029260800 376003 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 495425 376003 2464 1147 0 482852 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1985892 KiB
Current children cumulated memory: 1507084 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.28 5/270 51591
/proc/meminfo: memFree=126208500/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=1995152 memory=1521940 CPUtime=220.73 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 176973 0 2 0 21803 270 0 0 20 0 1 0 52054437 2043035648 380485 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 498788 380485 2464 1147 0 486215 0
Current children cumulated CPU time: 221.62 s

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

/proc/meminfo: memFree=120297384/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4164640 memory=3240516 CPUtime=3270.54 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 416697 0 2 0 325741 1313 0 0 20 0 1 0 52054437 4264591360 810129 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1041160 810129 2560 1147 0 1028587 0
Current children cumulated CPU time: 3271.43 s
Current children cumulated vsize: 4168832 KiB
Current children cumulated memory: 3243588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/267 51842
/proc/meminfo: memFree=120263012/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4164640 memory=3240516 CPUtime=3330.34 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 416704 0 2 0 331707 1327 0 0 20 0 1 0 52054437 4264591360 810129 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1041160 810129 2560 1147 0 1028587 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 4168832 KiB
Current children cumulated memory: 3243588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/267 51846
/proc/meminfo: memFree=120254768/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4164640 memory=3240516 CPUtime=3390.18 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 417089 0 2 0 337664 1354 0 0 20 0 1 0 52054437 4264591360 810129 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1041160 810129 2560 1147 0 1028587 0
Current children cumulated CPU time: 3391.07 s
Current children cumulated vsize: 4168832 KiB
Current children cumulated memory: 3243588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/266 51848
/proc/meminfo: memFree=120234508/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4165956 memory=3241836 CPUtime=3449.99 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 419913 0 2 0 343613 1386 0 0 20 0 1 0 52054437 4265938944 810459 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1041489 810459 2560 1147 0 1028916 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 4170148 KiB
Current children cumulated memory: 3244908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/267 51851
/proc/meminfo: memFree=120232400/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4165956 memory=3241836 CPUtime=3509.82 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 421582 0 2 0 349569 1413 0 0 20 0 1 0 52054437 4265938944 810459 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1041489 810459 2560 1147 0 1028916 0
Current children cumulated CPU time: 3510.71 s
Current children cumulated vsize: 4170148 KiB
Current children cumulated memory: 3244908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 51853
/proc/meminfo: memFree=120229836/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4175400 memory=3257040 CPUtime=3569.66 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 425427 0 2 0 355528 1438 0 0 20 0 1 0 52054437 4275609600 814260 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814260 2560 1147 0 1031277 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 4179592 KiB
Current children cumulated memory: 3260112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.15 4.11 4.05 4/262 51861
/proc/meminfo: memFree=126371324/131249996 swapFree=33005272/33010684
[pid=51191] ppid=51175 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/51191/stat : 51191 (run-opt-ls.sh) S 51175 51191 51126 0 -1 4194304 237 28604 0 0 0 0 79 10 20 0 1 0 52054344 4292608 768 18446744073709551615 94599967137792 94599968032325 140722899026592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94599968271376 94599968319120 94599998844928 140722899032423 140722899032549 140722899032549 140722899038151 0
/proc/51191/statm: 1048 768 704 219 0 110 0
[pid=51201] ppid=51191 vsize=4175400 memory=3259600 CPUtime=3599.16 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51191 51191 51126 0 -1 4194304 425429 0 2 0 358477 1439 0 0 20 0 1 0 52054437 4275609600 814900 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814900 2560 1147 0 1031277 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4179592 KiB
Current children cumulated memory: 3262672 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

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

[startup+3612.8 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 51867
/proc/meminfo: memFree=126371324/131249996 swapFree=33005272/33010684
[pid=51201] ppid=51175 vsize=4175400 memory=3259600 CPUtime=3600.07 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51175 51191 51126 0 -1 4194304 425429 0 2 0 358567 1440 0 0 20 0 1 0 52054437 4275609600 814900 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814900 2560 1147 0 1031277 0
Current cumulated CPU time of completed processes: 0.906246 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4175400 KiB
Current children cumulated memory: 3259600 KiB

[startup+3613.6 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 51867
/proc/meminfo: memFree=126371336/131249996 swapFree=33005272/33010684
[pid=51201] ppid=51175 vsize=4175400 memory=3259600 CPUtime=3600.87 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51175 51191 51126 0 -1 4194304 425429 0 2 0 358647 1440 0 0 20 0 1 0 52054437 4275609600 814900 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814900 2560 1147 0 1031277 0
Current cumulated CPU time of completed processes: 0.906246 s
Current children cumulated CPU time: 3600.87 s
Current children cumulated vsize: 4175400 KiB
Current children cumulated memory: 3259600 KiB

[startup+3613.8 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 51867
/proc/meminfo: memFree=126371336/131249996 swapFree=33005272/33010684
[pid=51201] ppid=51175 vsize=4175400 memory=3259600 CPUtime=3601.06 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51175 51191 51126 0 -1 4194304 425429 0 2 0 358666 1440 0 0 20 0 1 0 52054437 4275609600 814900 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814900 2560 1147 0 1031277 0
Current cumulated CPU time of completed processes: 0.906246 s
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 4175400 KiB
Current children cumulated memory: 3259600 KiB

[startup+3613.9 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 51867
/proc/meminfo: memFree=126371336/131249996 swapFree=33005272/33010684
[pid=51201] ppid=51175 vsize=4175400 memory=3259600 CPUtime=3601.16 cores=5,7
/proc/51201/stat : 51201 (roundingsat) R 51175 51191 51126 0 -1 4194304 425429 0 2 0 358676 1440 0 0 20 0 1 0 52054437 4275609600 814900 18446744073709551615 4227072 8923433 140732480326544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42246144 140732480330054 140732480330280 140732480330280 140732480335850 0
/proc/51201/statm: 1043850 814900 2560 1147 0 1031277 0
Current cumulated CPU time of completed processes: 0.906246 s
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 4175400 KiB
Current children cumulated memory: 3259600 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.96
CPU time (s): 3602.14
CPU user time (s): 3587.56
CPU system time (s): 14.5746
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 4218140
Max. memory (cumulated for all children) (KiB): 3298616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.56
system time used= 14.5746
maximum resident set size= 3295544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454270
page faults= 2
swaps= 0
block input operations= 128
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261
involuntary context switches= 18985


# summary of solver processes directly reported to runsolver:
#   pid: 51191,51201
#   total CPU time (s): 3602.14
#   total CPU user time (s): 3587.56
#   total CPU system time (s): 14.5746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1708 second user time and 11.892 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 11:56:05
IDJOB=4489646
IDBENCH=147559
IDSOLVER=3355
FILE ID=nodeC023/4489646-1751363764
RUNJOBID= nodeC023-1751363764-51139
SLURM_JOB_ID= 9598180
Free space on /tmp= 432904 MiB

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

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=137257437

nodeC023 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.895
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.78
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		: 3595.490
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.78
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		: 3399.516
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.78
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		: 3599.872
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.78
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.869
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.78
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		: 3730.368
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.78
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		: 3734.914
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.78
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		: 3600.530
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129988164 kB
MemAvailable:   129748544 kB
Buffers:            1328 kB
Cached:           559744 kB
SwapCached:          444 kB
Active:           233800 kB
Inactive:         407120 kB
Active(anon):      38928 kB
Inactive(anon):    54640 kB
Active(file):     194872 kB
Inactive(file):   352480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            153168 kB
Writeback:             0 kB
AnonPages:         82852 kB
Mapped:            98468 kB
Shmem:             13364 kB
KReclaimable:     104532 kB
Slab:             192084 kB
SReclaimable:     104532 kB
SUnreclaim:        87552 kB
KernelStack:        4048 kB
PageTables:         2736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     339908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC023 at 2025-07-01 12:56:19