Trace number 4489602

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22ad? (TO) 3602.15 3612.77

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark28904.8
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 495293
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 495293
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-4489602-1751357662.opb'
0.66/0.78	c 	read 17.23MB  (760.40ms)
0.66/0.78	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.66/0.78	c 
0.66/0.78	c make graph and approximate orbits
1.25/1.36	c	 [group: #orbits ~= 0] (578.51ms)
1.25/1.36	c 
1.25/1.36	c detect special group actions
1.25/1.36	c 	probe for Johnson action (limit=64)
1.25/1.36	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.25/1.37	c 	probe for row symmetry (limit=64, splits=16.78M)
1.25/1.38	c 	 (23.44ms)
1.25/1.38	c 
1.25/1.38	c detect symmetries on remainder
1.25/1.38	c 	[graph: #vertices 706710 #edges 2766418]
1.25/1.39	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.36/1.45	c 	 [group: #symmetries 1.00*10^0 #generators 0] (67.92ms)
1.36/1.45	c 
1.36/1.45	c finalize break order and special generators
1.36/1.45	c 
1.36/1.45	c generation finished
1.36/1.45	c 	[sbp: #constraints 0 #add_vars 0]
1.36/1.45	c 
1.36/1.45	c write result to 'HOME/instance-4489602-1751357662.opb.pre'
1.45/1.50	c 	wrote 17.23MB (52.31ms)
1.45/1.50	c ------------------------------------------------------------------
1.45/1.50	c                 760.40ms 51.14% parse
1.45/1.50	c                 578.51ms 38.91% approx_orbits
1.45/1.50	c                  67.92ms  4.57% detect_generic
1.45/1.50	c                  52.31ms  3.52% output
1.45/1.50	c                  23.44ms  1.58% detect_special
1.45/1.50	c                   3.62ms  0.24% other
1.45/1.50	c                   0.55ms  0.04% finalize_order
1.45/1.50	c         ───────────────────────────────────────────────
1.45/1.50	c                1486.75ms   100% total
1.45/1.50	c ------------------------------------------------------------------
1.55/1.65	c RoundingSat 2
1.55/1.65	c branch pb25
1.55/1.65	c commit 63f22ad
4.13/4.25	c #variables 10000 #constraints 656900
4.13/4.25	c objective is ce32 
4.13/4.25	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.13/4.25	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.13/4.25	c bounds - >= 0 @ 1.89833
6.42/6.51	c rational objective 185.072
10.61/10.76	c bounds 6406 >= 0 @ 8.28454
10.71/10.81	c bounds 6383 >= 0 @ 8.32559
10.71/10.81	c bounds 6376 >= 0 @ 8.3318
10.71/10.82	c bounds 6350 >= 0 @ 8.34071
10.71/10.83	c bounds 6082 >= 0 @ 8.34837
10.71/10.84	c bounds 6015 >= 0 @ 8.35798
10.71/10.85	c bounds 5955 >= 0 @ 8.36679
10.71/10.86	c bounds 5900 >= 0 @ 8.37592
10.71/10.87	c bounds 5895 >= 0 @ 8.38406
10.71/10.88	c bounds 5836 >= 0 @ 8.39348
10.71/10.89	c bounds 5835 >= 0 @ 8.40023
10.71/10.89	c bounds 5784 >= 0 @ 8.40511
10.81/10.90	c bounds 5717 >= 0 @ 8.41279
10.81/10.91	c bounds 5706 >= 0 @ 8.4207
10.81/10.94	c bounds 5704 >= 0 @ 8.44912
10.81/10.95	c bounds 5701 >= 0 @ 8.45522
10.81/10.96	c bounds 5668 >= 0 @ 8.46305
10.81/10.97	c bounds 5661 >= 0 @ 8.47439
10.81/10.97	c bounds 5612 >= 0 @ 8.48068
10.81/10.98	c bounds 5608 >= 0 @ 8.48969
10.81/10.99	c bounds 5575 >= 0 @ 8.49488
10.92/11.02	c bounds 5570 >= 0 @ 8.51845
10.92/11.07	c bounds 5533 >= 0 @ 8.57415
10.92/11.08	c bounds 5358 >= 0 @ 8.58008
10.92/11.09	c bounds 5355 >= 0 @ 8.58683
11.02/11.13	c bounds 5337 >= 0 @ 8.62438
11.02/11.14	c bounds 5260 >= 0 @ 8.6361
11.02/11.15	c bounds 4904 >= 0 @ 8.64079
11.02/11.16	c bounds 4897 >= 0 @ 8.64691
11.02/11.18	c bounds 4896 >= 0 @ 8.67126
11.21/11.32	c bounds 4864 >= 0 @ 8.79732
11.21/11.33	c bounds 4832 >= 0 @ 8.80839
11.21/11.34	c bounds 4804 >= 0 @ 8.81864
11.31/11.43	c bounds 4733 >= 0 @ 8.9033
11.31/11.44	c bounds 4729 >= 0 @ 8.91033
11.31/11.45	c bounds 4690 >= 0 @ 8.91929
11.41/11.53	c bounds 4668 >= 0 @ 9.00539
11.50/11.62	c bounds 4627 >= 0 @ 9.0916
11.50/11.64	c bounds 4625 >= 0 @ 9.10986
11.50/11.65	c bounds 4577 >= 0 @ 9.1147
11.50/11.66	c bounds 4489 >= 0 @ 9.12115
11.50/11.66	c bounds 4412 >= 0 @ 9.12743
11.50/11.67	c bounds 4220 >= 0 @ 9.133
11.50/11.68	c bounds 4206 >= 0 @ 9.13653
11.61/11.77	c bounds 4194 >= 0 @ 9.22772
11.61/11.78	c bounds 4122 >= 0 @ 9.23289
11.61/11.79	c bounds 4039 >= 0 @ 9.2386
11.61/11.79	c bounds 3979 >= 0 @ 9.24409
11.70/11.80	c bounds 3931 >= 0 @ 9.25062
11.70/11.81	c bounds 3921 >= 0 @ 9.25618
11.70/11.81	c bounds 3918 >= 0 @ 9.26164
11.70/11.82	c bounds 3905 >= 0 @ 9.26631
11.70/11.83	c bounds 3807 >= 0 @ 9.27021
11.80/11.92	c bounds 3800 >= 0 @ 9.35362
11.80/11.93	c bounds 3782 >= 0 @ 9.3636
12.11/12.27	c bounds 3772 >= 0 @ 9.70521
12.11/12.28	c bounds 3700 >= 0 @ 9.71221
12.11/12.29	c bounds 3639 >= 0 @ 9.71825
12.21/12.30	c bounds 3591 >= 0 @ 9.7261
12.21/12.31	c bounds 3530 >= 0 @ 9.73345
12.21/12.32	c bounds 3441 >= 0 @ 9.73859
12.21/12.33	c bounds 3421 >= 0 @ 9.74594
12.21/12.34	c bounds 3318 >= 0 @ 9.7548
12.41/12.59	c bounds 3312 >= 0 @ 9.99715
12.51/12.60	c bounds 3309 >= 0 @ 10.0037
12.51/12.61	c bounds 3303 >= 0 @ 10.0104
12.51/12.63	c bounds 3299 >= 0 @ 10.0283
12.51/12.64	c bounds 3293 >= 0 @ 10.0358
12.60/12.74	c bounds 3292 >= 0 @ 10.1414
12.60/12.75	c bounds 3197 >= 0 @ 10.1492
12.60/12.77	c bounds 3189 >= 0 @ 10.162
12.70/12.86	c bounds 3183 >= 0 @ 10.2474
12.70/12.88	c bounds 3181 >= 0 @ 10.2628
12.80/12.99	c bounds 3163 >= 0 @ 10.3703
12.80/13.00	c bounds 3118 >= 0 @ 10.3785
13.02/13.12	c bounds 3116 >= 0 @ 10.4919
13.11/13.22	c bounds 3112 >= 0 @ 10.5935
13.21/13.31	c bounds 3110 >= 0 @ 10.6853
13.21/13.32	c bounds 3026 >= 0 @ 10.6924
13.21/13.33	c bounds 3023 >= 0 @ 10.699
13.21/13.34	c bounds 2925 >= 0 @ 10.7084
13.31/13.44	c bounds 2922 >= 0 @ 10.8014
13.31/13.45	c bounds 2788 >= 0 @ 10.8087
13.31/13.46	c bounds 2778 >= 0 @ 10.8162
13.31/13.48	c bounds 2768 >= 0 @ 10.8307
13.80/13.92	c bounds 2756 >= 0 @ 11.2674
13.80/13.93	c bounds 2703 >= 0 @ 11.2755
13.80/13.94	c bounds 2692 >= 0 @ 11.2821
13.80/13.96	c bounds 2483 >= 0 @ 11.2896
13.80/13.97	c bounds 2409 >= 0 @ 11.2972
13.80/13.98	c bounds 2336 >= 0 @ 11.3066
13.80/13.99	c bounds 2318 >= 0 @ 11.3146
13.92/14.01	c bounds 2248 >= 0 @ 11.3292
13.92/14.03	c bounds 2115 >= 0 @ 11.3374
13.92/14.04	c bounds 2070 >= 0 @ 11.3502
13.92/14.05	c bounds 2057 >= 0 @ 11.3557
13.92/14.06	c bounds 2042 >= 0 @ 11.3611
14.01/14.16	c bounds 1989 >= 0 @ 11.4576
14.01/14.18	c bounds 1899 >= 0 @ 11.4676
14.01/14.19	c bounds 1759 >= 0 @ 11.4729
14.10/14.20	c bounds 1754 >= 0 @ 11.4804
14.10/14.22	c bounds 1670 >= 0 @ 11.4935
14.30/14.41	c bounds 1608 >= 0 @ 11.6784
14.30/14.43	c bounds 1585 >= 0 @ 11.6869
14.30/14.47	c bounds 1367 >= 0 @ 11.722
14.30/14.48	c bounds 1285 >= 0 @ 11.7284
14.30/14.49	c bounds 1230 >= 0 @ 11.7363
14.40/14.51	c bounds 1137 >= 0 @ 11.7448
14.40/14.56	c bounds 1136 >= 0 @ 11.7864
14.50/14.68	c bounds 1117 >= 0 @ 11.9046
14.50/14.69	c bounds 987 >= 0 @ 11.9149
14.59/14.73	c bounds 976 >= 0 @ 11.9415
14.70/14.86	c #Conflicts:       1000 | #Constraints:     658029
14.70/14.86	c bounds 956 >= 0 @ 12.0693
15.01/15.17	c bounds 821 >= 0 @ 12.3569
15.01/15.18	c bounds 819 >= 0 @ 12.3645
15.01/15.19	c bounds 807 >= 0 @ 12.3703
16.29/16.42	c bounds 806 >= 0 @ 13.5781
16.39/16.54	c bounds 797 >= 0 @ 13.6942
16.39/16.59	c bounds 791 >= 0 @ 13.733
16.50/16.60	c bounds 704 >= 0 @ 13.743
17.00/17.12	c bounds 684 >= 0 @ 14.2322
17.09/17.24	c bounds 643 >= 0 @ 14.3379
20.18/20.39	c #Conflicts:       2000 | #Constraints:     659044
20.18/20.39	c INPROCESSING
20.18/20.39	c GARBAGE COLLECT
20.18/20.39	c bounds 570 >= 0 @ 17.4567
20.28/20.49	c bounds 516 >= 0 @ 17.5513
20.38/20.50	c bounds 516 >= 8 @ 17.5552
20.58/20.76	c bounds 448 >= 8 @ 17.8033
26.07/26.27	c #Conflicts:       3000 | #Constraints:     658923
26.07/26.27	c #Conflicts:       4000 | #Constraints:     659923
26.07/26.27	c INPROCESSING
26.07/26.27	c GARBAGE COLLECT
26.07/26.27	c bounds 443 >= 8 @ 23.2173
26.47/26.69	c bounds 442 >= 8 @ 23.6282
37.23/37.47	c #Conflicts:       5000 | #Constraints:     659324
37.23/37.47	c #Conflicts:       6000 | #Constraints:     660324
37.23/37.47	c INPROCESSING
37.23/37.47	c GARBAGE COLLECT
37.23/37.47	c bounds 441 >= 8 @ 34.2655
37.63/37.80	c bounds 440 >= 8 @ 34.5889
38.33/38.53	c bounds 439 >= 8 @ 35.3113
38.73/38.93	c bounds 438 >= 8 @ 35.7064
38.73/38.95	c bounds 438 >= 13 @ 35.7117
42.61/42.82	c #Conflicts:       7000 | #Constraints:     659345
42.61/42.82	c bounds 438 >= 18 @ 39.5619
44.81/45.08	c #Conflicts:       8000 | #Constraints:     660351
44.81/45.08	c bounds 437 >= 18 @ 41.7621
53.58/53.85	c #Conflicts:       9000 | #Constraints:     661352
53.58/53.85	c INPROCESSING
53.58/53.85	c GARBAGE COLLECT
53.58/53.85	c rational objective 187.25
76.71/77.08	c #Conflicts:      10000 | #Constraints:     660054
76.71/77.08	c #Conflicts:      11000 | #Constraints:     661054
76.71/77.08	c #Conflicts:      12000 | #Constraints:     662054
76.71/77.08	c INPROCESSING
76.71/77.08	c rational objective 187.467
80.39/80.79	c bounds 436 >= 18 @ 77.1334
80.50/80.84	c bounds 434 >= 18 @ 77.178
148.70/149.20	c #Conflicts:      13000 | #Constraints:     660518
148.70/149.20	c #Conflicts:      14000 | #Constraints:     661529
148.70/149.20	c #Conflicts:      15000 | #Constraints:     662541
148.70/149.20	c INPROCESSING
148.70/149.20	c GARBAGE COLLECT
148.70/149.20	c bounds 434 >= 22 @ 144.999
187.18/187.83	c #Conflicts:      16000 | #Constraints:     660746
187.18/187.83	c #Conflicts:      17000 | #Constraints:     661746
187.18/187.83	c #Conflicts:      18000 | #Constraints:     662746
187.18/187.83	c INPROCESSING
187.18/187.83	c GARBAGE COLLECT
187.18/187.83	c #Conflicts:      19000 | #Constraints:     660748
187.18/187.83	c #Conflicts:      20000 | #Constraints:     661749
187.18/187.83	c #Conflicts:      21000 | #Constraints:     662751
187.18/187.83	c INPROCESSING
187.18/187.83	c #Conflicts:      22000 | #Constraints:     660547
187.18/187.83	c #Conflicts:      23000 | #Constraints:     661548
187.18/187.83	c #Conflicts:      24000 | #Constraints:     662550
187.18/187.83	c #Conflicts:      25000 | #Constraints:     663552
187.18/187.83	c INPROCESSING
187.18/187.83	c GARBAGE COLLECT
187.18/187.83	c rational objective 188.085
209.82/210.50	c #Conflicts:      26000 | #Constraints:     661157
209.82/210.50	c #Conflicts:      27000 | #Constraints:     662160
209.82/210.50	c #Conflicts:      28000 | #Constraints:     663160
209.82/210.50	c #Conflicts:      29000 | #Constraints:     664160
209.82/210.50	c INPROCESSING
209.82/210.50	c GARBAGE COLLECT
209.82/210.50	c rational objective 188.829
239.64/240.48	c #Conflicts:      30000 | #Constraints:     661550
239.64/240.48	c #Conflicts:      31000 | #Constraints:     662551
239.64/240.48	c #Conflicts:      32000 | #Constraints:     663554
239.64/240.48	c #Conflicts:      33000 | #Constraints:     664556
239.64/240.48	c INPROCESSING
239.64/240.48	c GARBAGE COLLECT
239.64/240.48	c rational objective 188.946
299.46/300.42	c #Conflicts:      34000 | #Constraints:     661766
299.46/300.42	c #Conflicts:      35000 | #Constraints:     662851
299.46/300.42	c #Conflicts:      36000 | #Constraints:     663938
299.46/300.42	c #Conflicts:      37000 | #Constraints:     665027
299.46/300.42	c INPROCESSING
299.46/300.42	c GARBAGE COLLECT
299.46/300.42	c #Conflicts:      38000 | #Constraints:     661974
299.46/300.42	c #Conflicts:      39000 | #Constraints:     663035
299.46/300.42	c #Conflicts:      40000 | #Constraints:     664105
299.46/300.42	c #Conflicts:      41000 | #Constraints:     665174
299.46/300.42	c INPROCESSING
299.46/300.42	c GARBAGE COLLECT
299.46/300.42	c rational objective 188.948
326.99/328.03	c #Conflicts:      42000 | #Constraints:     661796
326.99/328.03	c #Conflicts:      43000 | #Constraints:     662813
326.99/328.03	c #Conflicts:      44000 | #Constraints:     663848
326.99/328.03	c #Conflicts:      45000 | #Constraints:     664908
326.99/328.03	c #Conflicts:      46000 | #Constraints:     665924
326.99/328.03	c INPROCESSING
326.99/328.03	c GARBAGE COLLECT
326.99/328.03	c rational objective 188.998
359.19/360.35	c #Conflicts:      47000 | #Constraints:     662352
359.19/360.35	c #Conflicts:      48000 | #Constraints:     663377
359.19/360.35	c #Conflicts:      49000 | #Constraints:     664394
359.19/360.35	c #Conflicts:      50000 | #Constraints:     665413
359.19/360.35	c #Conflicts:      51000 | #Constraints:     666467
359.19/360.35	c INPROCESSING
359.19/360.35	c GARBAGE COLLECT
359.19/360.35	c rational objective 188.998
388.41/389.68	c #Conflicts:      52000 | #Constraints:     662727
388.41/389.68	c #Conflicts:      53000 | #Constraints:     663748
388.41/389.68	c #Conflicts:      54000 | #Constraints:     664765
388.41/389.68	c #Conflicts:      55000 | #Constraints:     665793
388.41/389.68	c #Conflicts:      56000 | #Constraints:     666833
388.41/389.68	c INPROCESSING
388.41/389.68	c GARBAGE COLLECT
388.41/389.68	c rational objective 189.013
439.06/440.46	c #Conflicts:      57000 | #Constraints:     662918
439.06/440.46	c #Conflicts:      58000 | #Constraints:     663947
439.06/440.46	c #Conflicts:      59000 | #Constraints:     664977
439.06/440.46	c #Conflicts:      60000 | #Constraints:     666007
439.06/440.46	c #Conflicts:      61000 | #Constraints:     667043
439.06/440.46	c INPROCESSING
439.06/440.46	c GARBAGE COLLECT
439.06/440.46	c rational objective 189.028
471.07/472.58	c #Conflicts:      62000 | #Constraints:     662919
471.07/472.58	c #Conflicts:      63000 | #Constraints:     663927
471.07/472.58	c #Conflicts:      64000 | #Constraints:     664932
471.07/472.58	c #Conflicts:      65000 | #Constraints:     665933
471.07/472.58	c #Conflicts:      66000 | #Constraints:     666934
471.07/472.58	c INPROCESSING
471.07/472.58	c GARBAGE COLLECT
471.07/472.58	c rational objective 189.001
523.61/525.24	c #Conflicts:      67000 | #Constraints:     662656
523.61/525.24	c #Conflicts:      68000 | #Constraints:     663657
523.61/525.24	c #Conflicts:      69000 | #Constraints:     664658
523.61/525.24	c #Conflicts:      70000 | #Constraints:     665659
523.61/525.24	c #Conflicts:      71000 | #Constraints:     666661
523.61/525.24	c #Conflicts:      72000 | #Constraints:     667668
523.61/525.24	c INPROCESSING
523.61/525.24	c GARBAGE COLLECT
523.61/525.24	c rational objective 189.404
645.25/647.30	c #Conflicts:      73000 | #Constraints:     663218
645.25/647.30	c #Conflicts:      74000 | #Constraints:     664237
645.25/647.30	c #Conflicts:      75000 | #Constraints:     665259
645.25/647.30	c #Conflicts:      76000 | #Constraints:     666272
645.25/647.30	c #Conflicts:      77000 | #Constraints:     667292
645.25/647.30	c #Conflicts:      78000 | #Constraints:     668342
645.25/647.30	c INPROCESSING
645.25/647.30	c GARBAGE COLLECT
645.25/647.30	c #Conflicts:      79000 | #Constraints:     663656
645.25/647.30	c #Conflicts:      80000 | #Constraints:     664660
645.25/647.30	c #Conflicts:      81000 | #Constraints:     665661
645.25/647.30	c #Conflicts:      82000 | #Constraints:     666664
645.25/647.30	c #Conflicts:      83000 | #Constraints:     667664
645.25/647.30	c #Conflicts:      84000 | #Constraints:     668668
645.25/647.30	c INPROCESSING
645.25/647.30	c GARBAGE COLLECT
645.25/647.30	c rational objective 189.416
764.01/766.33	c #Conflicts:      85000 | #Constraints:     663836
764.01/766.33	c #Conflicts:      86000 | #Constraints:     664869
764.01/766.33	c #Conflicts:      87000 | #Constraints:     665915
764.01/766.33	c #Conflicts:      88000 | #Constraints:     666939
764.01/766.33	c #Conflicts:      89000 | #Constraints:     667969
764.01/766.33	c #Conflicts:      90000 | #Constraints:     668983
764.01/766.33	c INPROCESSING
764.01/766.33	c GARBAGE COLLECT
764.01/766.33	c #Conflicts:      91000 | #Constraints:     663889
764.01/766.33	c #Conflicts:      92000 | #Constraints:     664891
764.01/766.33	c #Conflicts:      93000 | #Constraints:     665897
764.01/766.33	c #Conflicts:      94000 | #Constraints:     666900
764.01/766.33	c #Conflicts:      95000 | #Constraints:     667906
764.01/766.33	c #Conflicts:      96000 | #Constraints:     668907
764.01/766.33	c INPROCESSING
764.01/766.33	c GARBAGE COLLECT
764.01/766.33	c rational objective 189.42
803.39/805.83	c #Conflicts:      97000 | #Constraints:     663660
803.39/805.83	c #Conflicts:      98000 | #Constraints:     664674
803.39/805.83	c #Conflicts:      99000 | #Constraints:     665688
803.39/805.83	c #Conflicts:     100000 | #Constraints:     666718
803.39/805.83	c #Conflicts:     101000 | #Constraints:     667731
803.39/805.83	c #Conflicts:     102000 | #Constraints:     668751
803.39/805.83	c #Conflicts:     103000 | #Constraints:     669765
803.39/805.83	c INPROCESSING
803.39/805.83	c GARBAGE COLLECT
803.39/805.83	c rational objective 189.42
821.84/824.35	c #Conflicts:     104000 | #Constraints:     664286
821.84/824.35	c bounds 431 >= 22 @ 815.478
940.50/943.34	c #Conflicts:     105000 | #Constraints:     665294
940.50/943.34	c #Conflicts:     106000 | #Constraints:     666300
940.50/943.34	c #Conflicts:     107000 | #Constraints:     667310
940.50/943.34	c #Conflicts:     108000 | #Constraints:     668324
940.50/943.34	c #Conflicts:     109000 | #Constraints:     669340
940.50/943.34	c #Conflicts:     110000 | #Constraints:     670353
940.50/943.34	c INPROCESSING
940.50/943.34	c GARBAGE COLLECT
940.50/943.34	c #Conflicts:     111000 | #Constraints:     664670
940.50/943.34	c #Conflicts:     112000 | #Constraints:     665684
940.50/943.34	c #Conflicts:     113000 | #Constraints:     666708
940.50/943.34	c #Conflicts:     114000 | #Constraints:     667721
940.50/943.34	c #Conflicts:     115000 | #Constraints:     668728
940.50/943.34	c #Conflicts:     116000 | #Constraints:     669746
940.50/943.34	c #Conflicts:     117000 | #Constraints:     670749
940.50/943.34	c INPROCESSING
940.50/943.34	c GARBAGE COLLECT
940.50/943.34	c #Conflicts:     118000 | #Constraints:     664871
940.50/943.34	c #Conflicts:     119000 | #Constraints:     665896
940.50/943.34	c #Conflicts:     120000 | #Constraints:     666932
940.50/943.34	c #Conflicts:     121000 | #Constraints:     667992
940.50/943.34	c #Conflicts:     122000 | #Constraints:     669026
940.50/943.34	c #Conflicts:     123000 | #Constraints:     670037
940.50/943.34	c #Conflicts:     124000 | #Constraints:     671050
940.50/943.34	c INPROCESSING
940.50/943.34	c GARBAGE COLLECT
940.50/943.34	c #Conflicts:     125000 | #Constraints:     664908
940.50/943.34	c #Conflicts:     126000 | #Constraints:     665910
940.50/943.34	c #Conflicts:     127000 | #Constraints:     666923
940.50/943.34	c #Conflicts:     128000 | #Constraints:     667955
940.50/943.34	c #Conflicts:     129000 | #Constraints:     668970
940.50/943.34	c #Conflicts:     130000 | #Constraints:     669994
940.50/943.34	c #Conflicts:     131000 | #Constraints:     671025
940.50/943.34	c INPROCESSING
940.50/943.34	c GARBAGE COLLECT
940.50/943.34	c rational objective 189.42
1000.14/1003.16	c #Conflicts:     132000 | #Constraints:     664709
1000.14/1003.16	c #Conflicts:     133000 | #Constraints:     665727
1000.14/1003.16	c #Conflicts:     134000 | #Constraints:     666735
1000.14/1003.16	c #Conflicts:     135000 | #Constraints:     667741
1000.14/1003.16	c #Conflicts:     136000 | #Constraints:     668771
1000.14/1003.16	c #Conflicts:     137000 | #Constraints:     669798
1000.14/1003.16	c #Conflicts:     138000 | #Constraints:     670819
1000.14/1003.16	c #Conflicts:     139000 | #Constraints:     671848
1000.14/1003.16	c INPROCESSING
1000.14/1003.16	c GARBAGE COLLECT
1000.14/1003.16	c rational objective 189.42
1008.80/1011.82	c bounds 430 >= 22 @ 1001.21
1008.80/1011.83	c bounds 430 >= 24 @ 1001.22
1008.80/1011.85	c bounds 430 >= 26 @ 1001.24
1008.80/1011.87	c bounds 430 >= 28 @ 1001.25
1008.80/1011.89	c bounds 430 >= 30 @ 1001.26
1008.90/1011.91	c bounds 430 >= 32 @ 1001.27
1008.90/1011.92	c bounds 430 >= 34 @ 1001.28
1008.90/1011.94	c bounds 430 >= 36 @ 1001.29
1011.69/1014.75	c bounds 430 >= 38 @ 1004.08
1012.69/1015.73	c bounds 430 >= 40 @ 1005.05
1041.20/1044.34	c #Conflicts:     140000 | #Constraints:     665373
1041.20/1044.34	c #Conflicts:     141000 | #Constraints:     666374
1041.20/1044.34	c #Conflicts:     142000 | #Constraints:     667376
1041.20/1044.34	c #Conflicts:     143000 | #Constraints:     668380
1041.20/1044.34	c #Conflicts:     144000 | #Constraints:     669381
1041.20/1044.34	c bounds 430 >= 42 @ 1033.5
1089.25/1092.54	c #Conflicts:     145000 | #Constraints:     670414
1089.25/1092.54	c #Conflicts:     146000 | #Constraints:     671505
1089.25/1092.54	c #Conflicts:     147000 | #Constraints:     672679
1089.25/1092.54	c INPROCESSING
1089.25/1092.54	c GARBAGE COLLECT
1089.25/1092.54	c rational objective 189.421
1159.06/1162.53	c #Conflicts:     148000 | #Constraints:     665852
1159.06/1162.53	c #Conflicts:     149000 | #Constraints:     666853
1159.06/1162.53	c #Conflicts:     150000 | #Constraints:     667855
1159.06/1162.53	c #Conflicts:     151000 | #Constraints:     668856
1159.06/1162.53	c #Conflicts:     152000 | #Constraints:     669859
1159.06/1162.53	c #Conflicts:     153000 | #Constraints:     670860
1159.06/1162.53	c #Conflicts:     154000 | #Constraints:     671862
1159.06/1162.53	c #Conflicts:     155000 | #Constraints:     672864
1159.06/1162.53	c INPROCESSING
1159.06/1162.53	c GARBAGE COLLECT
1159.06/1162.53	c bounds 427 >= 42 @ 1150.78
1162.16/1165.68	c bounds 426 >= 42 @ 1153.9
1163.56/1167.02	c bounds 424 >= 42 @ 1155.23
1163.56/1167.06	c bounds 421 >= 42 @ 1155.26
1163.66/1167.11	c bounds 420 >= 42 @ 1155.31
1164.44/1167.92	c #Conflicts:     156000 | #Constraints:     665977
1164.44/1167.92	c bounds 419 >= 42 @ 1156.11
1164.44/1167.95	c bounds 418 >= 42 @ 1156.14
1165.45/1168.95	c bounds 417 >= 42 @ 1157.13
1166.34/1169.86	c bounds 414 >= 42 @ 1158.03
1166.44/1169.98	c bounds 412 >= 42 @ 1158.15
1170.13/1173.62	c bounds 406 >= 42 @ 1161.76
1171.12/1174.63	c bounds 404 >= 42 @ 1162.75
1171.12/1174.68	c bounds 403 >= 42 @ 1162.8
1176.21/1179.79	c #Conflicts:     157000 | #Constraints:     667020
1176.21/1179.79	c bounds 401 >= 42 @ 1167.86
1177.91/1181.48	c bounds 400 >= 42 @ 1169.52
1179.20/1182.72	c bounds 399 >= 42 @ 1170.75
1182.61/1186.11	c #Conflicts:     158000 | #Constraints:     668042
1182.61/1186.11	c bounds 395 >= 42 @ 1174.11
1182.61/1186.14	c bounds 395 >= 43 @ 1174.13
1182.61/1186.17	c bounds 395 >= 44 @ 1174.14
1182.61/1186.19	c bounds 395 >= 45 @ 1174.16
1182.69/1186.22	c bounds 395 >= 46 @ 1174.18
1182.69/1186.24	c bounds 395 >= 47 @ 1174.2
1182.69/1186.27	c bounds 395 >= 48 @ 1174.22
1182.79/1186.30	c bounds 395 >= 49 @ 1174.24
1184.50/1188.10	c bounds 395 >= 50 @ 1176.03
1184.60/1188.14	c bounds 395 >= 51 @ 1176.06
1184.60/1188.18	c bounds 395 >= 52 @ 1176.08
1184.69/1188.22	c bounds 395 >= 53 @ 1176.12
1184.69/1188.25	c bounds 395 >= 54 @ 1176.15
1184.69/1188.29	c bounds 395 >= 55 @ 1176.18
1184.78/1188.36	c bounds 395 >= 56 @ 1176.24
1184.88/1188.46	c bounds 395 >= 57 @ 1176.33
1184.98/1188.51	c bounds 395 >= 58 @ 1176.38
1184.98/1188.59	c bounds 395 >= 59 @ 1176.45
1185.29/1188.83	c bounds 395 >= 60 @ 1176.68
1185.59/1189.17	c bounds 395 >= 61 @ 1177.02
1186.08/1189.62	c bounds 395 >= 62 @ 1177.46
1186.68/1190.20	c bounds 395 >= 63 @ 1178.02
1187.08/1190.66	c bounds 395 >= 64 @ 1178.47
1187.59/1191.14	c bounds 395 >= 65 @ 1178.93
1187.98/1191.58	c bounds 395 >= 66 @ 1179.36
1192.37/1195.97	c #Conflicts:     159000 | #Constraints:     669314
1192.37/1195.97	c bounds 395 >= 67 @ 1183.68
1194.48/1198.01	c #Conflicts:     160000 | #Constraints:     670341
1194.48/1198.01	c bounds 395 >= 68 @ 1185.68
1198.46/1202.08	c bounds 395 >= 69 @ 1189.7
1200.64/1204.21	c #Conflicts:     161000 | #Constraints:     671386
1200.64/1204.21	c bounds 395 >= 70 @ 1191.8
1277.99/1281.80	c #Conflicts:     162000 | #Constraints:     672410
1277.99/1281.80	c #Conflicts:     163000 | #Constraints:     673426
1277.99/1281.80	c INPROCESSING
1277.99/1281.80	c GARBAGE COLLECT
1277.99/1281.80	c rational objective 189.43
1289.18/1293.03	c bounds 395 >= 71 @ 1280.02
1289.87/1293.76	c bounds 395 >= 72 @ 1280.73
1290.27/1294.14	c bounds 395 >= 73 @ 1281.1
1291.45/1295.30	c #Conflicts:     164000 | #Constraints:     666283
1291.45/1295.30	c bounds 395 >= 74 @ 1282.25
1293.05/1296.95	c bounds 395 >= 75 @ 1283.88
1295.04/1298.94	c #Conflicts:     165000 | #Constraints:     667349
1295.04/1298.94	c bounds 395 >= 76 @ 1285.85
1306.13/1310.07	c #Conflicts:     166000 | #Constraints:     668383
1306.13/1310.07	c bounds 395 >= 77 @ 1296.9
1307.01/1310.96	c bounds 395 >= 78 @ 1297.78
1308.31/1312.29	c #Conflicts:     167000 | #Constraints:     669428
1308.31/1312.29	c bounds 395 >= 79 @ 1299.07
1310.31/1314.21	c bounds 395 >= 80 @ 1300.95
1313.49/1317.42	c #Conflicts:     168000 | #Constraints:     670485
1313.49/1317.42	c #Conflicts:     169000 | #Constraints:     671485
1313.49/1317.42	c bounds 395 >= 81 @ 1304.11
1326.76/1330.74	c #Conflicts:     170000 | #Constraints:     672531
1326.76/1330.74	c #Conflicts:     171000 | #Constraints:     673531
1326.76/1330.74	c bounds 395 >= 82 @ 1317.29
1434.53/1438.86	c INPROCESSING
1434.53/1438.86	c GARBAGE COLLECT
1434.53/1438.86	c #Conflicts:     172000 | #Constraints:     666182
1434.53/1438.86	c #Conflicts:     173000 | #Constraints:     667182
1434.53/1438.86	c #Conflicts:     174000 | #Constraints:     668182
1434.53/1438.86	c bounds 395 >= 83 @ 1424.89
1450.49/1454.86	c #Conflicts:     175000 | #Constraints:     669221
1450.49/1454.86	c #Conflicts:     176000 | #Constraints:     670221
1450.49/1454.86	c #Conflicts:     177000 | #Constraints:     671221
1450.49/1454.86	c bounds 395 >= 84 @ 1440.7
1475.41/1479.80	c #Conflicts:     178000 | #Constraints:     672257
1475.41/1479.80	c #Conflicts:     179000 | #Constraints:     673258
1475.41/1479.80	c #Conflicts:     180000 | #Constraints:     674258
1475.41/1479.80	c INPROCESSING
1475.41/1479.80	c GARBAGE COLLECT
1475.41/1479.80	c bounds 394 >= 84 @ 1465.43
1475.51/1479.95	c bounds 393 >= 84 @ 1465.58
1484.09/1488.53	c #Conflicts:     181000 | #Constraints:     666753
1484.09/1488.53	c bounds 389 >= 84 @ 1474.1
1501.44/1505.95	c #Conflicts:     182000 | #Constraints:     667763
1501.44/1505.95	c #Conflicts:     183000 | #Constraints:     668763
1501.44/1505.95	c #Conflicts:     184000 | #Constraints:     669763
1501.44/1505.95	c #Conflicts:     185000 | #Constraints:     670763
1501.44/1505.95	c bounds 389 >= 85 @ 1491.4
1625.27/1630.17	c #Conflicts:     186000 | #Constraints:     671823
1625.27/1630.17	c #Conflicts:     187000 | #Constraints:     672823
1625.27/1630.17	c #Conflicts:     188000 | #Constraints:     673823
1625.27/1630.17	c #Conflicts:     189000 | #Constraints:     674823
1625.27/1630.17	c INPROCESSING
1625.27/1630.17	c GARBAGE COLLECT
1625.27/1630.17	c rational objective 189.438
1630.85/1635.74	c bounds 389 >= 86 @ 1620.56
1670.34/1675.35	c #Conflicts:     190000 | #Constraints:     667184
1670.34/1675.35	c #Conflicts:     191000 | #Constraints:     668184
1670.34/1675.35	c #Conflicts:     192000 | #Constraints:     669185
1670.34/1675.35	c #Conflicts:     193000 | #Constraints:     670185
1670.34/1675.35	c #Conflicts:     194000 | #Constraints:     671186
1670.34/1675.35	c #Conflicts:     195000 | #Constraints:     672186
1670.34/1675.35	c bounds 389 >= 87 @ 1659.94
1704.33/1709.40	c #Conflicts:     196000 | #Constraints:     673243
1704.33/1709.40	c #Conflicts:     197000 | #Constraints:     674246
1704.33/1709.40	c #Conflicts:     198000 | #Constraints:     675258
1704.33/1709.40	c INPROCESSING
1704.33/1709.40	c GARBAGE COLLECT
1704.33/1709.40	c rational objective 189.438
1764.17/1769.49	c #Conflicts:     199000 | #Constraints:     667398
1764.17/1769.49	c #Conflicts:     200000 | #Constraints:     668398
1764.17/1769.49	c #Conflicts:     201000 | #Constraints:     669399
1764.17/1769.49	c #Conflicts:     202000 | #Constraints:     670399
1764.17/1769.49	c #Conflicts:     203000 | #Constraints:     671399
1764.17/1769.49	c #Conflicts:     204000 | #Constraints:     672399
1764.17/1769.49	c #Conflicts:     205000 | #Constraints:     673400
1764.17/1769.49	c #Conflicts:     206000 | #Constraints:     674400
1764.17/1769.49	c #Conflicts:     207000 | #Constraints:     675400
1764.17/1769.49	c INPROCESSING
1764.17/1769.49	c GARBAGE COLLECT
1764.17/1769.49	c rational objective 189.438
1908.35/1914.07	c #Conflicts:     208000 | #Constraints:     667359
1908.35/1914.07	c #Conflicts:     209000 | #Constraints:     668379
1908.35/1914.07	c #Conflicts:     210000 | #Constraints:     669379
1908.35/1914.07	c #Conflicts:     211000 | #Constraints:     670379
1908.35/1914.07	c #Conflicts:     212000 | #Constraints:     671381
1908.35/1914.07	c #Conflicts:     213000 | #Constraints:     672386
1908.35/1914.07	c #Conflicts:     214000 | #Constraints:     673386
1908.35/1914.07	c #Conflicts:     215000 | #Constraints:     674386
1908.35/1914.07	c #Conflicts:     216000 | #Constraints:     675393
1908.35/1914.07	c INPROCESSING
1908.35/1914.07	c GARBAGE COLLECT
1908.35/1914.07	c rational objective 189.438
2064.89/2071.08	c #Conflicts:     217000 | #Constraints:     667209
2064.89/2071.08	c #Conflicts:     218000 | #Constraints:     668209
2064.89/2071.08	c #Conflicts:     219000 | #Constraints:     669209
2064.89/2071.08	c #Conflicts:     220000 | #Constraints:     670210
2064.89/2071.08	c #Conflicts:     221000 | #Constraints:     671210
2064.89/2071.08	c #Conflicts:     222000 | #Constraints:     672210
2064.89/2071.08	c #Conflicts:     223000 | #Constraints:     673210
2064.89/2071.08	c #Conflicts:     224000 | #Constraints:     674210
2064.89/2071.08	c #Conflicts:     225000 | #Constraints:     675211
2064.89/2071.08	c #Conflicts:     226000 | #Constraints:     676211
2064.89/2071.08	c INPROCESSING
2064.89/2071.08	c GARBAGE COLLECT
2064.89/2071.08	c rational objective 189.461
2086.83/2093.04	c #Conflicts:     227000 | #Constraints:     667788
2086.83/2093.04	c #Conflicts:     228000 | #Constraints:     668788
2086.83/2093.04	c #Conflicts:     229000 | #Constraints:     669788
2086.83/2093.04	c bounds 389 >= 88 @ 2075.42
2106.77/2113.07	c #Conflicts:     230000 | #Constraints:     670855
2106.77/2113.07	c #Conflicts:     231000 | #Constraints:     671855
2106.77/2113.07	c #Conflicts:     232000 | #Constraints:     672855
2106.77/2113.07	c #Conflicts:     233000 | #Constraints:     673856
2106.77/2113.07	c #Conflicts:     234000 | #Constraints:     674857
2106.77/2113.07	c bounds 389 >= 89 @ 2095.25
2200.78/2207.38	c #Conflicts:     235000 | #Constraints:     675884
2200.78/2207.38	c #Conflicts:     236000 | #Constraints:     676884
2200.78/2207.38	c INPROCESSING
2200.78/2207.38	c GARBAGE COLLECT
2200.78/2207.38	c rational objective 189.542
2209.16/2215.78	c #Conflicts:     237000 | #Constraints:     668217
2209.16/2215.78	c bounds 387 >= 89 @ 2197.41
2370.49/2377.52	c #Conflicts:     238000 | #Constraints:     669219
2370.49/2377.52	c #Conflicts:     239000 | #Constraints:     670219
2370.49/2377.52	c #Conflicts:     240000 | #Constraints:     671219
2370.49/2377.52	c #Conflicts:     241000 | #Constraints:     672219
2370.49/2377.52	c #Conflicts:     242000 | #Constraints:     673219
2370.49/2377.52	c #Conflicts:     243000 | #Constraints:     674221
2370.49/2377.52	c #Conflicts:     244000 | #Constraints:     675221
2370.49/2377.52	c #Conflicts:     245000 | #Constraints:     676221
2370.49/2377.52	c #Conflicts:     246000 | #Constraints:     677221
2370.49/2377.52	c INPROCESSING
2370.49/2377.52	c GARBAGE COLLECT
2370.49/2377.52	c rational objective 189.542
2378.37/2385.49	c #Conflicts:     247000 | #Constraints:     668400
2378.37/2385.49	c bounds 386 >= 89 @ 2366.13
2378.57/2385.64	c bounds 380 >= 89 @ 2366.27
2378.77/2385.80	c bounds 376 >= 89 @ 2366.43
2379.08/2386.11	c bounds 375 >= 89 @ 2366.75
2494.34/2501.76	c #Conflicts:     248000 | #Constraints:     669404
2494.34/2501.76	c #Conflicts:     249000 | #Constraints:     670435
2494.34/2501.76	c #Conflicts:     250000 | #Constraints:     671452
2494.34/2501.76	c #Conflicts:     251000 | #Constraints:     672463
2494.34/2501.76	c #Conflicts:     252000 | #Constraints:     673473
2494.34/2501.76	c #Conflicts:     253000 | #Constraints:     674483
2494.34/2501.76	c #Conflicts:     254000 | #Constraints:     675502
2494.34/2501.76	c #Conflicts:     255000 | #Constraints:     676511
2494.34/2501.76	c bounds 373 >= 89 @ 2481.71
2503.81/2511.22	c #Conflicts:     256000 | #Constraints:     677516
2503.81/2511.22	c INPROCESSING
2503.81/2511.22	c GARBAGE COLLECT
2503.81/2511.22	c rational objective 189.512
2531.14/2538.69	c #Conflicts:     257000 | #Constraints:     668441
2531.14/2538.69	c #Conflicts:     258000 | #Constraints:     669441
2531.14/2538.69	c #Conflicts:     259000 | #Constraints:     670442
2531.14/2538.69	c bounds 373 >= 90 @ 2518.35
2709.81/2717.84	c #Conflicts:     260000 | #Constraints:     671506
2709.81/2717.84	c #Conflicts:     261000 | #Constraints:     672506
2709.81/2717.84	c #Conflicts:     262000 | #Constraints:     673506
2709.81/2717.84	c #Conflicts:     263000 | #Constraints:     674506
2709.81/2717.84	c #Conflicts:     264000 | #Constraints:     675506
2709.81/2717.84	c #Conflicts:     265000 | #Constraints:     676506
2709.81/2717.84	c #Conflicts:     266000 | #Constraints:     677506
2709.81/2717.84	c bounds 373 >= 91 @ 2696.65
2930.25/2938.90	c INPROCESSING
2930.25/2938.90	c GARBAGE COLLECT
2930.25/2938.90	c #Conflicts:     267000 | #Constraints:     668282
2930.25/2938.90	c #Conflicts:     268000 | #Constraints:     669282
2930.25/2938.90	c #Conflicts:     269000 | #Constraints:     670282
2930.25/2938.90	c #Conflicts:     270000 | #Constraints:     671282
2930.25/2938.90	c #Conflicts:     271000 | #Constraints:     672282
2930.25/2938.90	c #Conflicts:     272000 | #Constraints:     673282
2930.25/2938.90	c #Conflicts:     273000 | #Constraints:     674282
2930.25/2938.90	c #Conflicts:     274000 | #Constraints:     675282
2930.25/2938.90	c #Conflicts:     275000 | #Constraints:     676283
2930.25/2938.90	c #Conflicts:     276000 | #Constraints:     677283
2930.25/2938.90	c #Conflicts:     277000 | #Constraints:     678283
2930.25/2938.90	c INPROCESSING
2930.25/2938.90	c GARBAGE COLLECT
2930.25/2938.90	c rational objective 189.516
2978.32/2987.19	c #Conflicts:     278000 | #Constraints:     668856
2978.32/2987.19	c #Conflicts:     279000 | #Constraints:     669856
2978.32/2987.19	c #Conflicts:     280000 | #Constraints:     670856
2978.32/2987.19	c #Conflicts:     281000 | #Constraints:     671856
2978.32/2987.19	c bounds 373 >= 92 @ 2964.56
3014.99/3023.97	c #Conflicts:     282000 | #Constraints:     672922
3014.99/3023.97	c #Conflicts:     283000 | #Constraints:     673922
3014.99/3023.97	c #Conflicts:     284000 | #Constraints:     674922
3014.99/3023.97	c #Conflicts:     285000 | #Constraints:     675923
3014.99/3023.97	c #Conflicts:     286000 | #Constraints:     676923
3014.99/3023.97	c #Conflicts:     287000 | #Constraints:     677923
3014.99/3023.97	c #Conflicts:     288000 | #Constraints:     678923
3014.99/3023.97	c INPROCESSING
3014.99/3023.97	c GARBAGE COLLECT
3014.99/3023.97	c rational objective 189.539
3103.85/3113.07	c #Conflicts:     289000 | #Constraints:     669274
3103.85/3113.07	c #Conflicts:     290000 | #Constraints:     670274
3103.85/3113.07	c #Conflicts:     291000 | #Constraints:     671274
3103.85/3113.07	c #Conflicts:     292000 | #Constraints:     672274
3103.85/3113.07	c #Conflicts:     293000 | #Constraints:     673274
3103.85/3113.07	c #Conflicts:     294000 | #Constraints:     674274
3103.85/3113.07	c #Conflicts:     295000 | #Constraints:     675274
3103.85/3113.07	c #Conflicts:     296000 | #Constraints:     676275
3103.85/3113.07	c #Conflicts:     297000 | #Constraints:     677275
3103.85/3113.07	c #Conflicts:     298000 | #Constraints:     678275
3103.85/3113.07	c #Conflicts:     299000 | #Constraints:     679275
3103.85/3113.07	c INPROCESSING
3103.85/3113.07	c GARBAGE COLLECT
3103.85/3113.07	c rational objective 190.672
3196.27/3205.79	c #Conflicts:     300000 | #Constraints:     669461
3196.27/3205.79	c #Conflicts:     301000 | #Constraints:     670461
3196.27/3205.79	c #Conflicts:     302000 | #Constraints:     671461
3196.27/3205.79	c #Conflicts:     303000 | #Constraints:     672462
3196.27/3205.79	c #Conflicts:     304000 | #Constraints:     673462
3196.27/3205.79	c #Conflicts:     305000 | #Constraints:     674462
3196.27/3205.79	c #Conflicts:     306000 | #Constraints:     675462
3196.27/3205.79	c #Conflicts:     307000 | #Constraints:     676462
3196.27/3205.79	c #Conflicts:     308000 | #Constraints:     677463
3196.27/3205.79	c #Conflicts:     309000 | #Constraints:     678463
3196.27/3205.79	c #Conflicts:     310000 | #Constraints:     679464
3196.27/3205.79	c INPROCESSING
3196.27/3205.79	c GARBAGE COLLECT
3196.27/3205.79	c rational objective 190.724
3250.53/3260.19	c #Conflicts:     311000 | #Constraints:     669450
3250.53/3260.19	c #Conflicts:     312000 | #Constraints:     670450
3250.53/3260.19	c #Conflicts:     313000 | #Constraints:     671450
3250.53/3260.19	c #Conflicts:     314000 | #Constraints:     672450
3250.53/3260.19	c #Conflicts:     315000 | #Constraints:     673451
3250.53/3260.19	c #Conflicts:     316000 | #Constraints:     674456
3250.53/3260.19	c #Conflicts:     317000 | #Constraints:     675479
3250.53/3260.19	c #Conflicts:     318000 | #Constraints:     676479
3250.53/3260.19	c bounds 373 >= 93 @ 3235.42
3275.54/3285.25	c #Conflicts:     319000 | #Constraints:     677545
3275.54/3285.25	c #Conflicts:     320000 | #Constraints:     678546
3275.54/3285.25	c #Conflicts:     321000 | #Constraints:     679546
3275.54/3285.25	c INPROCESSING
3275.54/3285.25	c GARBAGE COLLECT
3275.54/3285.25	c rational objective 230.866
3397.28/3407.32	c #Conflicts:     322000 | #Constraints:     669311
3397.28/3407.32	c #Conflicts:     323000 | #Constraints:     670322
3397.28/3407.32	c #Conflicts:     324000 | #Constraints:     671362
3397.28/3407.32	c #Conflicts:     325000 | #Constraints:     672363
3397.28/3407.32	c #Conflicts:     326000 | #Constraints:     673364
3397.28/3407.32	c #Conflicts:     327000 | #Constraints:     674364
3397.28/3407.32	c #Conflicts:     328000 | #Constraints:     675364
3397.28/3407.32	c #Conflicts:     329000 | #Constraints:     676364
3397.28/3407.32	c #Conflicts:     330000 | #Constraints:     677364
3397.28/3407.32	c #Conflicts:     331000 | #Constraints:     678364
3397.28/3407.32	c #Conflicts:     332000 | #Constraints:     679373
3397.28/3407.32	c #Conflicts:     333000 | #Constraints:     680373
3397.28/3407.32	c INPROCESSING
3397.28/3407.32	c GARBAGE COLLECT
3397.28/3407.32	c bounds 373 >= 94 @ 3381.79

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63066 MiB free)
  memory of node 1: 64465 MiB (61274 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=127175916/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47473] ppid=47471 vsize=156864 memory=137240 CPUtime=0.07 cores=0,2
/proc/47473/stat : 47473 (pbsuma) R 47471 47471 46718 0 -1 4194304 1883 0 0 0 3 4 0 0 20 0 1 0 51445390 160628736 34310 18446744073709551615 4210688 4653049 140727340093840 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 22003712 140727340099939 140727340100146 140727340100146 140727340105711 0
/proc/47473/statm: 39216 34310 960 108 0 36624 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 161056 KiB
Current children cumulated memory: 140184 KiB

[startup+0.213675 s]*
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=127161676/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47473] ppid=47471 vsize=163668 memory=147092 CPUtime=0.18 cores=0,2
/proc/47473/stat : 47473 (pbsuma) R 47471 47471 46718 0 -1 4194304 4094 0 0 0 13 5 0 0 20 0 1 0 51445390 167596032 36773 18446744073709551615 4210688 4653049 140727340093840 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22003712 140727340099939 140727340100146 140727340100146 140727340105711 0
/proc/47473/statm: 40917 36773 960 108 0 38325 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 150036 KiB

[startup+0.313469 s]*
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=127131308/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47473] ppid=47471 vsize=170960 memory=155708 CPUtime=0.28 cores=0,2
/proc/47473/stat : 47473 (pbsuma) R 47471 47471 46718 0 -1 4194304 6333 0 0 0 22 6 0 0 20 0 1 0 51445390 175063040 38927 18446744073709551615 4210688 4653049 140727340093840 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22003712 140727340099939 140727340100146 140727340100146 140727340105711 0
/proc/47473/statm: 42740 38927 960 108 0 40148 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 175152 KiB
Current children cumulated memory: 158652 KiB

[startup+0.700427 s]
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=126992060/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47473] ppid=47471 vsize=194916 memory=183496 CPUtime=0.66 cores=0,2
/proc/47473/stat : 47473 (pbsuma) R 47471 47471 46718 0 -1 4194304 11844 0 0 0 56 10 0 0 20 0 1 0 51445390 199593984 45874 18446744073709551615 4210688 4653049 140727340093840 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22003712 140727340099939 140727340100146 140727340100146 140727340105711 0
/proc/47473/statm: 48729 45874 960 108 0 46137 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 199108 KiB
Current children cumulated memory: 186440 KiB

[startup+1.50037 s]
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=126864748/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47473] ppid=47471 vsize=208972 memory=191140 CPUtime=1.45 cores=0,2
/proc/47473/stat : 47473 (pbsuma) R 47471 47471 46718 0 -1 4194304 27897 0 0 0 127 18 0 0 20 0 1 0 51445390 213987328 47785 18446744073709551615 4210688 4653049 140727340093840 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22003712 140727340099939 140727340100146 140727340100146 140727340105711 0
/proc/47473/statm: 52243 47785 1024 108 0 49651 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 213164 KiB
Current children cumulated memory: 194084 KiB

[startup+3.11299 s]
/proc/loadavg: 4.24 4.23 4.15 5/252 47519
/proc/meminfo: memFree=129497936/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=126056 memory=74400 CPUtime=1.44 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 15103 0 0 0 99 45 0 0 20 0 1 0 51445554 129081344 18600 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 31514 18600 1888 1147 0 18941 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 130248 KiB
Current children cumulated memory: 77344 KiB

[startup+6.30036 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 47523
/proc/meminfo: memFree=127694308/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=888216 memory=640548 CPUtime=4.62 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 49138 0 0 0 387 75 0 0 20 0 1 0 51445554 909533184 160137 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 222054 160137 2272 1147 0 209481 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 892408 KiB
Current children cumulated memory: 643492 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.23 4.15 5/255 47524
/proc/meminfo: memFree=127024156/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1062748 memory=746104 CPUtime=11 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 55597 0 0 0 1009 91 0 0 20 0 1 0 51445554 1088253952 186526 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 265687 186526 2368 1147 0 253114 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1066940 KiB
Current children cumulated memory: 749048 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.22 4.15 5/255 47524
/proc/meminfo: memFree=126622264/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1168724 memory=849384 CPUtime=23.77 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 67376 0 0 0 2245 132 0 0 20 0 1 0 51445554 1196773376 212346 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 292181 212346 2400 1147 0 279608 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1172916 KiB
Current children cumulated memory: 852328 KiB

[startup+51.1133 s]
/proc/loadavg: 4.18 4.21 4.15 5/255 47524
/proc/meminfo: memFree=126110572/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1312648 memory=980248 CPUtime=49.3 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 82748 0 0 0 4771 159 0 0 20 0 1 0 51445554 1344151552 245062 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 328162 245062 2400 1147 0 315589 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1316840 KiB
Current children cumulated memory: 983192 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/255 47526
/proc/meminfo: memFree=124832552/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1897208 memory=1462680 CPUtime=100.34 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 145080 0 0 0 9834 200 0 0 20 0 1 0 51445554 1942740992 365670 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 474302 365670 2400 1147 0 461729 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1901400 KiB
Current children cumulated memory: 1465624 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 47528
/proc/meminfo: memFree=124283048/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1935304 memory=1536976 CPUtime=160.16 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 153088 0 0 0 15801 215 0 0 20 0 1 0 51445554 1981751296 384244 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 483826 384244 2400 1147 0 471253 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1939496 KiB
Current children cumulated memory: 1539920 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/254 47530
/proc/meminfo: memFree=124102392/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=1962840 memory=1556164 CPUtime=219.99 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 154397 0 0 0 21737 262 0 0 20 0 1 0 51445554 2009948160 389041 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 490710 389041 2400 1147 0 478137 0
Current children cumulated CPU time: 221.59 s

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

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/253 47683
/proc/meminfo: memFree=117099392/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4190212 memory=3278444 CPUtime=3330.87 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400389 0 0 0 331710 1377 0 0 20 0 1 0 51445554 4290777088 819611 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1047553 819611 2496 1147 0 1034980 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 4194404 KiB
Current children cumulated memory: 3281388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/253 47685
/proc/meminfo: memFree=116981220/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4190212 memory=3278444 CPUtime=3390.7 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400753 0 0 0 337679 1391 0 0 20 0 1 0 51445554 4290777088 819611 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1047553 819611 2496 1147 0 1034980 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 4194404 KiB
Current children cumulated memory: 3281388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 47690
/proc/meminfo: memFree=116987032/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4190212 memory=3278444 CPUtime=3450.52 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400754 0 0 0 343626 1426 0 0 20 0 1 0 51445554 4290777088 819611 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1047553 819611 2496 1147 0 1034980 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 4194404 KiB
Current children cumulated memory: 3281388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/254 47696
/proc/meminfo: memFree=116941148/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4190212 memory=3278444 CPUtime=3510.34 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400917 0 0 0 349594 1440 0 0 20 0 1 0 51445554 4290777088 819611 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1047553 819611 2496 1147 0 1034980 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 4194404 KiB
Current children cumulated memory: 3281388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 47698
/proc/meminfo: memFree=116893768/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4231272 memory=3303116 CPUtime=3570.15 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400971 0 0 0 355569 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 4235464 KiB
Current children cumulated memory: 3306060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.07 4.10 4.11 5/249 47707
/proc/meminfo: memFree=121856648/131382120 swapFree=33010160/33010684
[pid=47471] ppid=47468 vsize=4192 memory=2944 CPUtime=1.6 cores=0,2
/proc/47471/stat : 47471 (run-opt-break.s) S 47468 47471 46718 0 -1 4194304 238 27900 0 0 0 0 142 18 20 0 1 0 51445389 4292608 736 18446744073709551615 93941667393536 93941668288069 140731642857472 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93941668527120 93941668574864 93941672935424 140731642866017 140731642866146 140731642866146 140731642871748 0
/proc/47471/statm: 1048 736 672 219 0 110 0
[pid=47484] ppid=47471 vsize=4231272 memory=3303116 CPUtime=3598.46 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47471 47471 46718 0 -1 4194304 400971 0 0 0 358400 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4235464 KiB
Current children cumulated memory: 3306060 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3587.42 s, system=14.727 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+3611.2 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121857152/131382120 swapFree=33010160/33010684
[pid=47484] ppid=47468 vsize=4231272 memory=3303116 CPUtime=3598.96 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47468 47471 46718 0 -1 4194304 400971 0 0 0 358450 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current cumulated CPU time of completed processes: 1.61144 s
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 4231272 KiB
Current children cumulated memory: 3303116 KiB

[startup+3612 s]*
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47484] ppid=47468 vsize=4231272 memory=3303116 CPUtime=3599.77 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47468 47471 46718 0 -1 4194304 400971 0 0 0 358531 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current cumulated CPU time of completed processes: 1.61144 s
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 4231272 KiB
Current children cumulated memory: 3303116 KiB

[startup+3612.4 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47484] ppid=47468 vsize=4231272 memory=3303116 CPUtime=3600.15 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47468 47471 46718 0 -1 4194304 400971 0 0 0 358569 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current cumulated CPU time of completed processes: 1.61144 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 4231272 KiB
Current children cumulated memory: 3303116 KiB

[startup+3612.6 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47484] ppid=47468 vsize=4231272 memory=3303116 CPUtime=3600.35 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47468 47471 46718 0 -1 4194304 400971 0 0 0 358589 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current cumulated CPU time of completed processes: 1.61144 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 4231272 KiB
Current children cumulated memory: 3303116 KiB

[startup+3612.7 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47484] ppid=47468 vsize=4231272 memory=3303116 CPUtime=3600.45 cores=0,2
/proc/47484/stat : 47484 (roundingsat) R 47468 47471 46718 0 -1 4194304 400971 0 0 0 358599 1446 0 0 20 0 1 0 51445554 4332822528 825779 18446744073709551615 4227072 8923433 140732362296928 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41811968 140732362303844 140732362304040 140732362304040 140732362309610 0
/proc/47484/statm: 1057818 825779 2496 1147 0 1045245 0
Current cumulated CPU time of completed processes: 1.61144 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 4231272 KiB
Current children cumulated memory: 3303116 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.77
CPU time (s): 3602.15
CPU user time (s): 3587.42
CPU system time (s): 14.727
CPU usage (%): 99.706
Max. virtual memory (cumulated for all children) (KiB): 4244444
Max. memory (cumulated for all children) (KiB): 3331452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.42
system time used= 14.727
maximum resident set size= 3333540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 7893


# summary of solver processes directly reported to runsolver:
#   pid: 47471,47484
#   total CPU time (s): 3602.15
#   total CPU user time (s): 3587.42
#   total CPU system time (s): 14.727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6301 second user time and 36.447 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-01 10:14:23
IDJOB=4489602
IDBENCH=147558
IDSOLVER=3359
FILE ID=nodeC008/4489602-1751357662
RUNJOBID= nodeC008-1751350437-46728
SLURM_JOB_ID= 9598137
Free space on /tmp= 432956 MiB

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

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1450135855

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127333864 kB
MemAvailable:   127181416 kB
Buffers:            2144 kB
Cached:           657308 kB
SwapCached:           16 kB
Active:          3066752 kB
Inactive:         439728 kB
Active(anon):    2828312 kB
Inactive(anon):    36636 kB
Active(file):     238440 kB
Inactive(file):   403092 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             72716 kB
Writeback:             0 kB
AnonPages:       2845940 kB
Mapped:           110340 kB
Shmem:             17920 kB
KReclaimable:      91292 kB
Slab:             173804 kB
SReclaimable:      91292 kB
SUnreclaim:        82512 kB
KernelStack:        4080 kB
PageTables:         8636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3546976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2709504 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC008 at 2025-07-01 11:14:36