Trace number 4489833

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-log 63f22ad? (TO) 3602.19 3634.59

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark3587.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4489833-1751370004.opb'
0.27/0.35	c 	read 17.23MB  (323.04ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.35	c output proof to 'PROOFDIR/proof-4489833-1751370004'
0.27/0.35	c 
0.27/0.35	c make graph and approximate orbits
0.66/0.71	c	 [group: #orbits ~= 0] (363.83ms)
0.66/0.71	c 
0.66/0.71	c detect special group actions
0.66/0.71	c 	probe for Johnson action (limit=64)
0.66/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.73	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.74	c 	 (24.91ms)
0.66/0.74	c 
0.66/0.74	c detect symmetries on remainder
0.66/0.74	c 	[graph: #vertices 706709 #edges 2766416]
0.66/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (52.38ms)
0.66/0.79	c 
0.66/0.79	c finalize break order and special generators
0.66/0.79	c 
0.66/0.79	c generation finished
0.66/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.79	c 
0.66/0.79	c write result to 'HOME/instance-4489833-1751370004.opb.pre'
0.76/0.83	c 	wrote 17.23MB (35.54ms)
0.76/0.83	c ------------------------------------------------------------------
0.76/0.83	c                 363.83ms 45.31% approx_orbits
0.76/0.83	c                 323.04ms 40.23% parse
0.76/0.83	c                  52.38ms  6.52% detect_generic
0.76/0.83	c                  35.54ms  4.43% output
0.76/0.83	c                  24.91ms  3.10% detect_special
0.76/0.83	c                   2.92ms  0.36% other
0.76/0.83	c                   0.39ms  0.05% finalize_order
0.76/0.83	c         ───────────────────────────────────────────────
0.76/0.83	c                 803.00ms   100% total
0.76/0.83	c ------------------------------------------------------------------
0.86/0.99	c RoundingSat 2
0.86/0.99	c branch pb25
0.86/0.99	c commit 63f22ad
4.21/4.37	c #variables 10000 #constraints 656900
4.21/4.37	c objective is ce32 
4.21/4.37	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.21/4.37	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.21/4.37	c bounds - >= 0 @ 2.67488
6.92/7.00	c rational objective 172.654
11.40/11.59	c bounds 5810 >= 0 @ 9.7531
11.49/11.60	c bounds 5701 >= 0 @ 9.75892
11.49/11.60	c bounds 5510 >= 0 @ 9.76284
11.49/11.63	c bounds 5500 >= 0 @ 9.78694
11.49/11.64	c bounds 5454 >= 0 @ 9.79676
11.49/11.65	c bounds 5381 >= 0 @ 9.80014
11.49/11.66	c bounds 5314 >= 0 @ 9.80339
11.49/11.66	c bounds 5294 >= 0 @ 9.80774
11.49/11.69	c bounds 5274 >= 0 @ 9.83203
11.60/11.70	c bounds 5080 >= 0 @ 9.8388
11.60/11.71	c bounds 4446 >= 0 @ 9.84308
11.60/11.71	c bounds 4355 >= 0 @ 9.85005
11.60/11.72	c bounds 4349 >= 0 @ 9.85668
11.69/11.82	c bounds 4347 >= 0 @ 9.94439
12.20/12.31	c bounds 4332 >= 0 @ 10.4245
12.20/12.32	c bounds 4283 >= 0 @ 10.4298
12.20/12.33	c bounds 4043 >= 0 @ 10.4403
12.20/12.34	c bounds 3961 >= 0 @ 10.447
12.20/12.35	c bounds 3899 >= 0 @ 10.4525
12.20/12.36	c bounds 3892 >= 0 @ 10.4641
12.20/12.37	c bounds 3852 >= 0 @ 10.4726
12.30/12.40	c bounds 3849 >= 0 @ 10.4913
12.30/12.41	c bounds 3835 >= 0 @ 10.5034
12.30/12.42	c bounds 3707 >= 0 @ 10.5118
12.30/12.43	c bounds 3592 >= 0 @ 10.52
12.30/12.44	c bounds 3538 >= 0 @ 10.529
12.30/12.46	c bounds 3433 >= 0 @ 10.5388
12.30/12.47	c bounds 3428 >= 0 @ 10.5482
12.30/12.48	c bounds 3408 >= 0 @ 10.5569
12.30/12.49	c bounds 3388 >= 0 @ 10.5661
12.39/12.50	c bounds 3323 >= 0 @ 10.5734
12.39/12.52	c bounds 3316 >= 0 @ 10.5819
12.39/12.53	c bounds 3306 >= 0 @ 10.5957
12.39/12.54	c bounds 3290 >= 0 @ 10.6018
12.39/12.55	c bounds 3269 >= 0 @ 10.6075
12.39/12.57	c bounds 3170 >= 0 @ 10.6173
12.39/12.58	c bounds 3089 >= 0 @ 10.6256
12.39/12.59	c bounds 3076 >= 0 @ 10.6303
12.49/12.60	c bounds 3017 >= 0 @ 10.6387
12.49/12.64	c bounds 3010 >= 0 @ 10.6751
12.60/12.76	c bounds 2998 >= 0 @ 10.7961
12.60/12.78	c bounds 2984 >= 0 @ 10.8044
12.60/12.79	c bounds 2971 >= 0 @ 10.8095
12.69/12.80	c bounds 2958 >= 0 @ 10.8187
12.69/12.81	c bounds 2820 >= 0 @ 10.8267
12.69/12.82	c bounds 2669 >= 0 @ 10.8331
12.69/12.83	c bounds 2648 >= 0 @ 10.8386
12.69/12.84	c bounds 2639 >= 0 @ 10.845
12.69/12.85	c bounds 2622 >= 0 @ 10.8547
12.69/12.86	c bounds 2587 >= 0 @ 10.8667
12.79/12.90	c bounds 2585 >= 0 @ 10.8953
12.79/12.91	c bounds 2582 >= 0 @ 10.9001
12.79/12.93	c bounds 2575 >= 0 @ 10.915
12.79/12.94	c bounds 2539 >= 0 @ 10.919
12.79/12.95	c bounds 2536 >= 0 @ 10.925
12.79/12.96	c bounds 2511 >= 0 @ 10.9313
12.79/12.97	c bounds 2467 >= 0 @ 10.9405
12.79/12.98	c bounds 2439 >= 0 @ 10.9504
12.79/13.00	c bounds 2327 >= 0 @ 10.9579
12.90/13.01	c bounds 2286 >= 0 @ 10.9647
12.90/13.02	c bounds 2172 >= 0 @ 10.9727
12.90/13.03	c bounds 2095 >= 0 @ 10.9783
12.90/13.04	c bounds 2073 >= 0 @ 10.9867
12.90/13.05	c bounds 1989 >= 0 @ 10.9944
12.90/13.10	c bounds 1978 >= 0 @ 11.035
13.00/13.11	c bounds 1948 >= 0 @ 11.0438
13.00/13.13	c bounds 1908 >= 0 @ 11.0544
13.00/13.16	c bounds 1906 >= 0 @ 11.0908
13.09/13.21	c bounds 1839 >= 0 @ 11.1329
13.09/13.22	c bounds 1724 >= 0 @ 11.1381
13.39/13.55	c bounds 1721 >= 0 @ 11.4572
13.39/13.56	c bounds 1712 >= 0 @ 11.4633
13.39/13.57	c bounds 1703 >= 0 @ 11.4696
13.49/13.63	c bounds 1680 >= 0 @ 11.5211
13.49/13.65	c bounds 1673 >= 0 @ 11.536
13.49/13.67	c bounds 1666 >= 0 @ 11.5425
13.59/13.71	c bounds 1602 >= 0 @ 11.5827
14.09/14.23	c bounds 1598 >= 0 @ 12.0883
14.59/14.79	c #Conflicts:       1000 | #Constraints:     657979
14.59/14.79	c bounds 1592 >= 0 @ 12.6224
14.69/14.83	c bounds 1586 >= 0 @ 12.6588
14.69/14.85	c bounds 1524 >= 0 @ 12.6758
14.69/14.89	c bounds 1351 >= 0 @ 12.7149
14.79/14.90	c bounds 1336 >= 0 @ 12.7204
14.79/14.93	c bounds 1176 >= 0 @ 12.7368
14.79/14.95	c bounds 1098 >= 0 @ 12.7471
14.79/14.99	c bounds 1088 >= 0 @ 12.7847
14.89/15.00	c bounds 1052 >= 0 @ 12.7922
14.89/15.05	c bounds 970 >= 0 @ 12.8254
15.00/15.10	c bounds 860 >= 0 @ 12.8737
15.09/15.26	c bounds 774 >= 0 @ 13.0184
15.39/15.54	c bounds 771 >= 0 @ 13.2862
15.39/15.56	c bounds 770 >= 0 @ 13.2999
15.39/15.57	c bounds 766 >= 0 @ 13.3133
15.49/15.64	c bounds 763 >= 0 @ 13.3774
19.68/19.80	c #Conflicts:       2000 | #Constraints:     658995
19.68/19.80	c INPROCESSING
19.68/19.80	c GARBAGE COLLECT
19.68/19.80	c bounds 760 >= 0 @ 17.4467
21.07/21.29	c #Conflicts:       3000 | #Constraints:     658912
21.07/21.29	c bounds 658 >= 0 @ 18.9139
28.65/28.84	c #Conflicts:       4000 | #Constraints:     659913
28.65/28.84	c INPROCESSING
28.65/28.84	c GARBAGE COLLECT
28.65/28.84	c bounds 588 >= 0 @ 26.3498
28.86/29.09	c bounds 480 >= 0 @ 26.5887
32.94/33.15	c #Conflicts:       5000 | #Constraints:     659321
32.94/33.15	c #Conflicts:       6000 | #Constraints:     660321
32.94/33.15	c INPROCESSING
32.94/33.15	c GARBAGE COLLECT
32.94/33.15	c bounds 474 >= 0 @ 30.5963
32.94/33.16	c bounds 472 >= 0 @ 30.6014
49.19/49.41	c #Conflicts:       7000 | #Constraints:     659334
49.19/49.41	c #Conflicts:       8000 | #Constraints:     660349
49.19/49.41	c bounds 467 >= 0 @ 46.4428
55.98/56.21	c #Conflicts:       9000 | #Constraints:     661352
55.98/56.21	c INPROCESSING
55.98/56.21	c GARBAGE COLLECT
55.98/56.21	c rational objective 173.574
75.33/75.63	c #Conflicts:      10000 | #Constraints:     660038
75.33/75.63	c #Conflicts:      11000 | #Constraints:     661038
75.33/75.63	c #Conflicts:      12000 | #Constraints:     662038
75.33/75.63	c INPROCESSING
75.33/75.63	c GARBAGE COLLECT
75.33/75.63	c rational objective 174.775
92.99/93.36	c #Conflicts:      13000 | #Constraints:     660486
92.99/93.36	c #Conflicts:      14000 | #Constraints:     661486
92.99/93.36	c #Conflicts:      15000 | #Constraints:     662486
92.99/93.36	c INPROCESSING
92.99/93.36	c GARBAGE COLLECT
92.99/93.36	c rational objective 175.296
114.92/115.38	c #Conflicts:      16000 | #Constraints:     660716
114.92/115.38	c #Conflicts:      17000 | #Constraints:     661716
114.92/115.38	c #Conflicts:      18000 | #Constraints:     662716
114.92/115.38	c INPROCESSING
114.92/115.38	c GARBAGE COLLECT
114.92/115.38	c rational objective 175.405
137.76/138.21	c #Conflicts:      19000 | #Constraints:     660731
137.76/138.21	c #Conflicts:      20000 | #Constraints:     661731
137.76/138.21	c #Conflicts:      21000 | #Constraints:     662731
137.76/138.21	c INPROCESSING
137.76/138.21	c GARBAGE COLLECT
137.76/138.21	c rational objective 175.531
157.83/163.89	c #Conflicts:      22000 | #Constraints:     660533
157.83/163.89	c #Conflicts:      23000 | #Constraints:     661533
157.83/163.89	c #Conflicts:      24000 | #Constraints:     662533
157.83/163.89	c #Conflicts:      25000 | #Constraints:     663533
157.83/163.89	c INPROCESSING
157.83/163.89	c GARBAGE COLLECT
157.83/163.89	c rational objective 175.532
189.28/195.48	c #Conflicts:      26000 | #Constraints:     661137
189.28/195.48	c #Conflicts:      27000 | #Constraints:     662194
189.28/195.48	c #Conflicts:      28000 | #Constraints:     663229
189.28/195.48	c #Conflicts:      29000 | #Constraints:     664258
189.28/195.48	c INPROCESSING
189.28/195.48	c GARBAGE COLLECT
189.28/195.48	c rational objective 175.534
195.47/201.60	c bounds 461 >= 0 @ 191.684
195.47/201.68	c bounds 454 >= 0 @ 191.767
208.96/215.20	c #Conflicts:      30000 | #Constraints:     661612
208.96/215.20	c #Conflicts:      31000 | #Constraints:     662620
208.96/215.20	c #Conflicts:      32000 | #Constraints:     663626
208.96/215.20	c #Conflicts:      33000 | #Constraints:     664636
208.96/215.20	c INPROCESSING
208.96/215.20	c GARBAGE COLLECT
208.96/215.20	c bounds 452 >= 0 @ 204.989
209.06/215.33	c bounds 449 >= 0 @ 205.118
210.66/216.90	c bounds 448 >= 0 @ 206.657
211.05/217.35	c bounds 444 >= 0 @ 207.1
272.68/279.13	c #Conflicts:      34000 | #Constraints:     661808
272.68/279.13	c #Conflicts:      35000 | #Constraints:     662819
272.68/279.13	c #Conflicts:      36000 | #Constraints:     663834
272.68/279.13	c #Conflicts:      37000 | #Constraints:     664847
272.68/279.13	c INPROCESSING
272.68/279.13	c GARBAGE COLLECT
272.68/279.13	c rational objective 175.534
279.35/285.82	c bounds 444 >= 5 @ 274.3
279.35/285.84	c bounds 444 >= 10 @ 274.313
279.45/285.91	c bounds 444 >= 15 @ 274.369
285.13/291.61	c #Conflicts:      38000 | #Constraints:     661810
285.13/291.61	c bounds 444 >= 20 @ 280.022
308.56/315.15	c #Conflicts:      39000 | #Constraints:     662822
308.56/315.15	c #Conflicts:      40000 | #Constraints:     663822
308.56/315.15	c #Conflicts:      41000 | #Constraints:     664822
308.56/315.15	c INPROCESSING
308.56/315.15	c GARBAGE COLLECT
308.56/315.15	c rational objective 175.636
354.12/360.83	c #Conflicts:      42000 | #Constraints:     661610
354.12/360.83	c #Conflicts:      43000 | #Constraints:     662612
354.12/360.83	c #Conflicts:      44000 | #Constraints:     663619
354.12/360.83	c #Conflicts:      45000 | #Constraints:     664620
354.12/360.83	c #Conflicts:      46000 | #Constraints:     665626
354.12/360.83	c INPROCESSING
354.12/360.83	c GARBAGE COLLECT
354.12/360.83	c rational objective 175.696
419.10/426.05	c #Conflicts:      47000 | #Constraints:     662210
419.10/426.05	c #Conflicts:      48000 | #Constraints:     663214
419.10/426.05	c #Conflicts:      49000 | #Constraints:     664216
419.10/426.05	c #Conflicts:      50000 | #Constraints:     665218
419.10/426.05	c #Conflicts:      51000 | #Constraints:     666220
419.10/426.05	c INPROCESSING
419.10/426.05	c GARBAGE COLLECT
419.10/426.05	c rational objective 175.981
498.31/505.55	c #Conflicts:      52000 | #Constraints:     662615
498.31/505.55	c #Conflicts:      53000 | #Constraints:     663616
498.31/505.55	c #Conflicts:      54000 | #Constraints:     664620
498.31/505.55	c #Conflicts:      55000 | #Constraints:     665620
498.31/505.55	c #Conflicts:      56000 | #Constraints:     666622
498.31/505.55	c INPROCESSING
498.31/505.55	c GARBAGE COLLECT
498.31/505.55	c rational objective 176.41
558.13/565.59	c #Conflicts:      57000 | #Constraints:     662815
558.13/565.59	c #Conflicts:      58000 | #Constraints:     663817
558.13/565.59	c #Conflicts:      59000 | #Constraints:     664817
558.13/565.59	c #Conflicts:      60000 | #Constraints:     665819
558.13/565.59	c #Conflicts:      61000 | #Constraints:     666820
558.13/565.59	c INPROCESSING
558.13/565.59	c GARBAGE COLLECT
558.13/565.59	c rational objective 176.459
705.17/713.04	c #Conflicts:      62000 | #Constraints:     662800
705.17/713.04	c #Conflicts:      63000 | #Constraints:     663801
705.17/713.04	c #Conflicts:      64000 | #Constraints:     664803
705.17/713.04	c #Conflicts:      65000 | #Constraints:     665807
705.17/713.04	c #Conflicts:      66000 | #Constraints:     666808
705.17/713.04	c INPROCESSING
705.17/713.04	c GARBAGE COLLECT
705.17/713.04	c #Conflicts:      67000 | #Constraints:     662606
705.17/713.04	c #Conflicts:      68000 | #Constraints:     663608
705.17/713.04	c #Conflicts:      69000 | #Constraints:     664611
705.17/713.04	c #Conflicts:      70000 | #Constraints:     665612
705.17/713.04	c #Conflicts:      71000 | #Constraints:     666616
705.17/713.04	c #Conflicts:      72000 | #Constraints:     667617
705.17/713.04	c INPROCESSING
705.17/713.04	c GARBAGE COLLECT
705.17/713.04	c rational objective 176.459
712.65/720.54	c bounds 441 >= 20 @ 704.999
715.64/723.56	c bounds 438 >= 20 @ 707.976
715.64/723.58	c bounds 436 >= 20 @ 707.992
717.53/725.46	c bounds 435 >= 20 @ 709.836
717.83/725.79	c bounds 433 >= 20 @ 710.158
717.93/725.81	c bounds 432 >= 20 @ 710.181
718.83/726.70	c bounds 424 >= 20 @ 711.046
725.01/732.95	c #Conflicts:      73000 | #Constraints:     663222
725.01/732.95	c bounds 421 >= 20 @ 717.192
732.48/740.42	c bounds 419 >= 20 @ 724.585
732.48/740.45	c bounds 418 >= 20 @ 724.613
733.09/741.02	c bounds 417 >= 20 @ 725.154
733.49/741.44	c bounds 416 >= 20 @ 725.563
733.78/741.74	c bounds 414 >= 20 @ 725.855
736.78/744.72	c #Conflicts:      74000 | #Constraints:     664255
736.78/744.72	c bounds 413 >= 20 @ 728.788
736.78/744.76	c bounds 413 >= 24 @ 728.815
778.94/787.10	c #Conflicts:      75000 | #Constraints:     665262
778.94/787.10	c #Conflicts:      76000 | #Constraints:     666270
778.94/787.10	c #Conflicts:      77000 | #Constraints:     667278
778.94/787.10	c #Conflicts:      78000 | #Constraints:     668290
778.94/787.10	c INPROCESSING
778.94/787.10	c GARBAGE COLLECT
778.94/787.10	c rational objective 176.459
825.39/833.64	c #Conflicts:      79000 | #Constraints:     663629
825.39/833.64	c #Conflicts:      80000 | #Constraints:     664641
825.39/833.64	c #Conflicts:      81000 | #Constraints:     665658
825.39/833.64	c #Conflicts:      82000 | #Constraints:     666669
825.39/833.64	c #Conflicts:      83000 | #Constraints:     667692
825.39/833.64	c #Conflicts:      84000 | #Constraints:     668701
825.39/833.64	c INPROCESSING
825.39/833.64	c GARBAGE COLLECT
825.39/833.64	c rational objective 176.459
975.31/984.08	c #Conflicts:      85000 | #Constraints:     663938
975.31/984.08	c #Conflicts:      86000 | #Constraints:     665044
975.31/984.08	c #Conflicts:      87000 | #Constraints:     666130
975.31/984.08	c #Conflicts:      88000 | #Constraints:     667265
975.31/984.08	c #Conflicts:      89000 | #Constraints:     668386
975.31/984.08	c #Conflicts:      90000 | #Constraints:     669523
975.31/984.08	c INPROCESSING
975.31/984.08	c GARBAGE COLLECT
975.31/984.08	c rational objective 176.459
1036.71/1045.60	c #Conflicts:      91000 | #Constraints:     664144
1036.71/1045.60	c #Conflicts:      92000 | #Constraints:     665150
1036.71/1045.60	c #Conflicts:      93000 | #Constraints:     666156
1036.71/1045.60	c #Conflicts:      94000 | #Constraints:     667180
1036.71/1045.60	c #Conflicts:      95000 | #Constraints:     668190
1036.71/1045.60	c #Conflicts:      96000 | #Constraints:     669191
1036.71/1045.60	c INPROCESSING
1036.71/1045.60	c GARBAGE COLLECT
1036.71/1045.60	c rational objective 176.459
1111.48/1120.61	c #Conflicts:      97000 | #Constraints:     663797
1111.48/1120.61	c #Conflicts:      98000 | #Constraints:     664807
1111.48/1120.61	c #Conflicts:      99000 | #Constraints:     665819
1111.48/1120.61	c #Conflicts:     100000 | #Constraints:     666825
1111.48/1120.61	c #Conflicts:     101000 | #Constraints:     667836
1111.48/1120.61	c #Conflicts:     102000 | #Constraints:     668842
1111.48/1120.61	c #Conflicts:     103000 | #Constraints:     669856
1111.48/1120.61	c INPROCESSING
1111.48/1120.61	c GARBAGE COLLECT
1111.48/1120.61	c #Conflicts:     104000 | #Constraints:     664306
1111.48/1120.61	c #Conflicts:     105000 | #Constraints:     665309
1111.48/1120.61	c #Conflicts:     106000 | #Constraints:     666314
1111.48/1120.61	c #Conflicts:     107000 | #Constraints:     667328
1111.48/1120.61	c #Conflicts:     108000 | #Constraints:     668337
1111.48/1120.61	c #Conflicts:     109000 | #Constraints:     669348
1111.48/1120.61	c #Conflicts:     110000 | #Constraints:     670355
1111.48/1120.61	c INPROCESSING
1111.48/1120.61	c GARBAGE COLLECT
1111.48/1120.61	c rational objective 176.459
1164.91/1174.29	c #Conflicts:     111000 | #Constraints:     664672
1164.91/1174.29	c #Conflicts:     112000 | #Constraints:     665680
1164.91/1174.29	c #Conflicts:     113000 | #Constraints:     666688
1164.91/1174.29	c #Conflicts:     114000 | #Constraints:     667694
1164.91/1174.29	c #Conflicts:     115000 | #Constraints:     668708
1164.91/1174.29	c #Conflicts:     116000 | #Constraints:     669720
1164.91/1174.29	c #Conflicts:     117000 | #Constraints:     670729
1164.91/1174.29	c INPROCESSING
1164.91/1174.29	c GARBAGE COLLECT
1164.91/1174.29	c rational objective 176.459
1209.59/1219.10	c #Conflicts:     118000 | #Constraints:     664852
1209.59/1219.10	c #Conflicts:     119000 | #Constraints:     665858
1209.59/1219.10	c #Conflicts:     120000 | #Constraints:     666883
1209.59/1219.10	c #Conflicts:     121000 | #Constraints:     667913
1209.59/1219.10	c #Conflicts:     122000 | #Constraints:     668929
1209.59/1219.10	c #Conflicts:     123000 | #Constraints:     669931
1209.59/1219.10	c #Conflicts:     124000 | #Constraints:     670940
1209.59/1219.10	c INPROCESSING
1209.59/1219.10	c GARBAGE COLLECT
1209.59/1219.10	c rational objective 176.459
1249.58/1259.19	c #Conflicts:     125000 | #Constraints:     664869
1249.58/1259.19	c #Conflicts:     126000 | #Constraints:     665875
1249.58/1259.19	c #Conflicts:     127000 | #Constraints:     666887
1249.58/1259.19	c #Conflicts:     128000 | #Constraints:     667902
1249.58/1259.19	c #Conflicts:     129000 | #Constraints:     668905
1249.58/1259.19	c #Conflicts:     130000 | #Constraints:     669914
1249.58/1259.19	c #Conflicts:     131000 | #Constraints:     670930
1249.58/1259.19	c INPROCESSING
1249.58/1259.19	c GARBAGE COLLECT
1249.58/1259.19	c rational objective 176.459
1293.16/1302.82	c #Conflicts:     132000 | #Constraints:     664653
1293.16/1302.82	c #Conflicts:     133000 | #Constraints:     665669
1293.16/1302.82	c #Conflicts:     134000 | #Constraints:     666675
1293.16/1302.82	c #Conflicts:     135000 | #Constraints:     667683
1293.16/1302.82	c #Conflicts:     136000 | #Constraints:     668697
1293.16/1302.82	c #Conflicts:     137000 | #Constraints:     669716
1293.16/1302.82	c #Conflicts:     138000 | #Constraints:     670733
1293.16/1302.82	c #Conflicts:     139000 | #Constraints:     671746
1293.16/1302.82	c INPROCESSING
1293.16/1302.82	c GARBAGE COLLECT
1293.16/1302.82	c rational objective 176.459
1380.34/1390.24	c #Conflicts:     140000 | #Constraints:     665287
1380.34/1390.24	c #Conflicts:     141000 | #Constraints:     666297
1380.34/1390.24	c #Conflicts:     142000 | #Constraints:     667313
1380.34/1390.24	c #Conflicts:     143000 | #Constraints:     668332
1380.34/1390.24	c #Conflicts:     144000 | #Constraints:     669356
1380.34/1390.24	c #Conflicts:     145000 | #Constraints:     670367
1380.34/1390.24	c #Conflicts:     146000 | #Constraints:     671385
1380.34/1390.24	c #Conflicts:     147000 | #Constraints:     672401
1380.34/1390.24	c INPROCESSING
1380.34/1390.24	c GARBAGE COLLECT
1380.34/1390.24	c rational objective 176.459
1467.69/1477.87	c #Conflicts:     148000 | #Constraints:     665712
1467.69/1477.87	c #Conflicts:     149000 | #Constraints:     666716
1467.69/1477.87	c #Conflicts:     150000 | #Constraints:     667728
1467.69/1477.87	c #Conflicts:     151000 | #Constraints:     668744
1467.69/1477.87	c #Conflicts:     152000 | #Constraints:     669750
1467.69/1477.87	c #Conflicts:     153000 | #Constraints:     670764
1467.69/1477.87	c #Conflicts:     154000 | #Constraints:     671776
1467.69/1477.87	c #Conflicts:     155000 | #Constraints:     672785
1467.69/1477.87	c INPROCESSING
1467.69/1477.87	c GARBAGE COLLECT
1467.69/1477.87	c #Conflicts:     156000 | #Constraints:     665891
1467.69/1477.87	c #Conflicts:     157000 | #Constraints:     666895
1467.69/1477.87	c #Conflicts:     158000 | #Constraints:     667908
1467.69/1477.87	c #Conflicts:     159000 | #Constraints:     668926
1467.69/1477.87	c #Conflicts:     160000 | #Constraints:     669938
1467.69/1477.87	c #Conflicts:     161000 | #Constraints:     670946
1467.69/1477.87	c #Conflicts:     162000 | #Constraints:     671956
1467.69/1477.87	c #Conflicts:     163000 | #Constraints:     672973
1467.69/1477.87	c INPROCESSING
1467.69/1477.87	c GARBAGE COLLECT
1467.69/1477.87	c rational objective 176.915
1556.22/1569.58	c #Conflicts:     164000 | #Constraints:     665893
1556.22/1569.58	c #Conflicts:     165000 | #Constraints:     666907
1556.22/1569.58	c #Conflicts:     166000 | #Constraints:     667919
1556.22/1569.58	c #Conflicts:     167000 | #Constraints:     668928
1556.22/1569.58	c #Conflicts:     168000 | #Constraints:     669939
1556.22/1569.58	c #Conflicts:     169000 | #Constraints:     670947
1556.22/1569.58	c #Conflicts:     170000 | #Constraints:     671961
1556.22/1569.58	c #Conflicts:     171000 | #Constraints:     672971
1556.22/1569.58	c INPROCESSING
1556.22/1569.58	c GARBAGE COLLECT
1556.22/1569.58	c #Conflicts:     172000 | #Constraints:     665672
1556.22/1569.58	c #Conflicts:     173000 | #Constraints:     666674
1556.22/1569.58	c #Conflicts:     174000 | #Constraints:     667686
1556.22/1569.58	c #Conflicts:     175000 | #Constraints:     668702
1556.22/1569.58	c #Conflicts:     176000 | #Constraints:     669708
1556.22/1569.58	c #Conflicts:     177000 | #Constraints:     670723
1556.22/1569.58	c #Conflicts:     178000 | #Constraints:     671736
1556.22/1569.58	c #Conflicts:     179000 | #Constraints:     672736
1556.22/1569.58	c #Conflicts:     180000 | #Constraints:     673739
1556.22/1569.58	c INPROCESSING
1556.22/1569.58	c GARBAGE COLLECT
1556.22/1569.58	c rational objective 176.918
1614.84/1628.35	c #Conflicts:     181000 | #Constraints:     666268
1614.84/1628.35	c #Conflicts:     182000 | #Constraints:     667282
1614.84/1628.35	c #Conflicts:     183000 | #Constraints:     668302
1614.84/1628.35	c #Conflicts:     184000 | #Constraints:     669322
1614.84/1628.35	c #Conflicts:     185000 | #Constraints:     670335
1614.84/1628.35	c #Conflicts:     186000 | #Constraints:     671344
1614.84/1628.35	c #Conflicts:     187000 | #Constraints:     672355
1614.84/1628.35	c #Conflicts:     188000 | #Constraints:     673368
1614.84/1628.35	c #Conflicts:     189000 | #Constraints:     674380
1614.84/1628.35	c INPROCESSING
1614.84/1628.35	c GARBAGE COLLECT
1614.84/1628.35	c rational objective 177.124
2083.67/2098.89	c #Conflicts:     190000 | #Constraints:     666711
2083.67/2098.89	c #Conflicts:     191000 | #Constraints:     667718
2083.67/2098.89	c #Conflicts:     192000 | #Constraints:     668721
2083.67/2098.89	c #Conflicts:     193000 | #Constraints:     669729
2083.67/2098.89	c #Conflicts:     194000 | #Constraints:     670743
2083.67/2098.89	c #Conflicts:     195000 | #Constraints:     671751
2083.67/2098.89	c #Conflicts:     196000 | #Constraints:     672768
2083.67/2098.89	c #Conflicts:     197000 | #Constraints:     673787
2083.67/2098.89	c #Conflicts:     198000 | #Constraints:     674800
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     199000 | #Constraints:     666900
2083.67/2098.89	c #Conflicts:     200000 | #Constraints:     667907
2083.67/2098.89	c #Conflicts:     201000 | #Constraints:     668915
2083.67/2098.89	c #Conflicts:     202000 | #Constraints:     669929
2083.67/2098.89	c #Conflicts:     203000 | #Constraints:     670939
2083.67/2098.89	c #Conflicts:     204000 | #Constraints:     671953
2083.67/2098.89	c #Conflicts:     205000 | #Constraints:     672968
2083.67/2098.89	c #Conflicts:     206000 | #Constraints:     673979
2083.67/2098.89	c #Conflicts:     207000 | #Constraints:     674988
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     208000 | #Constraints:     666910
2083.67/2098.89	c #Conflicts:     209000 | #Constraints:     667915
2083.67/2098.89	c #Conflicts:     210000 | #Constraints:     668926
2083.67/2098.89	c #Conflicts:     211000 | #Constraints:     669940
2083.67/2098.89	c #Conflicts:     212000 | #Constraints:     670955
2083.67/2098.89	c #Conflicts:     213000 | #Constraints:     671966
2083.67/2098.89	c #Conflicts:     214000 | #Constraints:     672967
2083.67/2098.89	c #Conflicts:     215000 | #Constraints:     673973
2083.67/2098.89	c #Conflicts:     216000 | #Constraints:     674979
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     217000 | #Constraints:     666696
2083.67/2098.89	c #Conflicts:     218000 | #Constraints:     667696
2083.67/2098.89	c #Conflicts:     219000 | #Constraints:     668697
2083.67/2098.89	c #Conflicts:     220000 | #Constraints:     669710
2083.67/2098.89	c #Conflicts:     221000 | #Constraints:     670716
2083.67/2098.89	c #Conflicts:     222000 | #Constraints:     671726
2083.67/2098.89	c #Conflicts:     223000 | #Constraints:     672735
2083.67/2098.89	c #Conflicts:     224000 | #Constraints:     673749
2083.67/2098.89	c #Conflicts:     225000 | #Constraints:     674770
2083.67/2098.89	c #Conflicts:     226000 | #Constraints:     675781
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     227000 | #Constraints:     667300
2083.67/2098.89	c #Conflicts:     228000 | #Constraints:     668310
2083.67/2098.89	c #Conflicts:     229000 | #Constraints:     669316
2083.67/2098.89	c #Conflicts:     230000 | #Constraints:     670325
2083.67/2098.89	c #Conflicts:     231000 | #Constraints:     671334
2083.67/2098.89	c #Conflicts:     232000 | #Constraints:     672343
2083.67/2098.89	c #Conflicts:     233000 | #Constraints:     673352
2083.67/2098.89	c #Conflicts:     234000 | #Constraints:     674362
2083.67/2098.89	c #Conflicts:     235000 | #Constraints:     675370
2083.67/2098.89	c #Conflicts:     236000 | #Constraints:     676377
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     237000 | #Constraints:     667690
2083.67/2098.89	c #Conflicts:     238000 | #Constraints:     668700
2083.67/2098.89	c #Conflicts:     239000 | #Constraints:     669710
2083.67/2098.89	c #Conflicts:     240000 | #Constraints:     670721
2083.67/2098.89	c #Conflicts:     241000 | #Constraints:     671728
2083.67/2098.89	c #Conflicts:     242000 | #Constraints:     672744
2083.67/2098.89	c #Conflicts:     243000 | #Constraints:     673751
2083.67/2098.89	c #Conflicts:     244000 | #Constraints:     674758
2083.67/2098.89	c #Conflicts:     245000 | #Constraints:     675764
2083.67/2098.89	c #Conflicts:     246000 | #Constraints:     676772
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     247000 | #Constraints:     667894
2083.67/2098.89	c #Conflicts:     248000 | #Constraints:     668896
2083.67/2098.89	c #Conflicts:     249000 | #Constraints:     669912
2083.67/2098.89	c #Conflicts:     250000 | #Constraints:     670928
2083.67/2098.89	c #Conflicts:     251000 | #Constraints:     671933
2083.67/2098.89	c #Conflicts:     252000 | #Constraints:     672936
2083.67/2098.89	c #Conflicts:     253000 | #Constraints:     673939
2083.67/2098.89	c #Conflicts:     254000 | #Constraints:     674944
2083.67/2098.89	c #Conflicts:     255000 | #Constraints:     675949
2083.67/2098.89	c #Conflicts:     256000 | #Constraints:     676951
2083.67/2098.89	c INPROCESSING
2083.67/2098.89	c GARBAGE COLLECT
2083.67/2098.89	c #Conflicts:     257000 | #Constraints:     667876
2083.67/2098.89	c #Conflicts:     258000 | #Constraints:     668881
2083.67/2098.89	c #Conflicts:     259000 | #Constraints:     669883
2083.67/2098.89	c #Conflicts:     260000 | #Constraints:     670887
2083.67/2098.89	c #Conflicts:     261000 | #Constraints:     671895
2083.67/2098.89	c #Conflicts:     262000 | #Constraints:     672904
2083.67/2098.89	c #Conflicts:     263000 | #Constraints:     673909
2083.67/2098.89	c #Conflicts:     264000 | #Constraints:     674922
2136.94/2152.29	c #Conflicts:     265000 | #Constraints:     675932
2136.94/2152.29	c #Conflicts:     266000 | #Constraints:     676951
2136.94/2152.29	c INPROCESSING
2136.94/2152.29	c GARBAGE COLLECT
2136.94/2152.29	c rational objective 208.851
2145.21/2160.51	c bounds 408 >= 24 @ 2130.05
2146.31/2161.67	c bounds 407 >= 24 @ 2131.19
2146.31/2161.69	c bounds 406 >= 24 @ 2131.2
2148.90/2164.20	c bounds 404 >= 24 @ 2133.66
2148.90/2164.22	c bounds 404 >= 27 @ 2133.67
2193.97/2209.48	c #Conflicts:     267000 | #Constraints:     667693
2193.97/2209.48	c #Conflicts:     268000 | #Constraints:     668693
2193.97/2209.48	c #Conflicts:     269000 | #Constraints:     669693
2193.97/2209.48	c #Conflicts:     270000 | #Constraints:     670693
2193.97/2209.48	c #Conflicts:     271000 | #Constraints:     671693
2193.97/2209.48	c #Conflicts:     272000 | #Constraints:     672693
2193.97/2209.48	c #Conflicts:     273000 | #Constraints:     673693
2193.97/2209.48	c #Conflicts:     274000 | #Constraints:     674693
2193.97/2209.48	c #Conflicts:     275000 | #Constraints:     675693
2193.97/2209.48	c #Conflicts:     276000 | #Constraints:     676693
2193.97/2209.48	c #Conflicts:     277000 | #Constraints:     677693
2193.97/2209.48	c INPROCESSING
2193.97/2209.48	c GARBAGE COLLECT
2193.97/2209.48	c rational objective 176.018
2198.67/2214.13	c bounds 402 >= 27 @ 2183.19
2199.57/2215.08	c bounds 400 >= 27 @ 2184.12
2210.36/2225.91	c #Conflicts:     278000 | #Constraints:     668251
2210.36/2225.91	c bounds 397 >= 27 @ 2194.67
2210.36/2225.93	c bounds 397 >= 29 @ 2194.69
2210.36/2225.95	c bounds 397 >= 31 @ 2194.7
2210.36/2225.96	c bounds 397 >= 33 @ 2194.71
2210.36/2225.99	c bounds 397 >= 35 @ 2194.72
2210.46/2226.05	c bounds 397 >= 37 @ 2194.78
2212.16/2227.71	c bounds 397 >= 39 @ 2196.41
2266.56/2282.79	c #Conflicts:     279000 | #Constraints:     669307
2266.56/2282.79	c #Conflicts:     280000 | #Constraints:     670307
2266.56/2282.79	c #Conflicts:     281000 | #Constraints:     671307
2266.56/2282.79	c #Conflicts:     282000 | #Constraints:     672307
2266.56/2282.79	c #Conflicts:     283000 | #Constraints:     673307
2266.56/2282.79	c #Conflicts:     284000 | #Constraints:     674307
2266.56/2282.79	c #Conflicts:     285000 | #Constraints:     675307
2266.56/2282.79	c #Conflicts:     286000 | #Constraints:     676307
2266.56/2282.79	c #Conflicts:     287000 | #Constraints:     677307
2266.56/2282.79	c bounds 397 >= 41 @ 2250.4
2267.75/2283.95	c bounds 396 >= 41 @ 2251.52
2267.86/2284.06	c bounds 395 >= 41 @ 2251.63
2287.80/2304.07	c #Conflicts:     288000 | #Constraints:     678337
2287.80/2304.07	c INPROCESSING
2287.80/2304.07	c GARBAGE COLLECT
2287.80/2304.07	c rational objective 176.746
2297.71/2314.15	c bounds 394 >= 41 @ 2281.22
2298.40/2314.89	c bounds 393 >= 41 @ 2281.96
2298.51/2314.92	c bounds 391 >= 41 @ 2281.99
2299.00/2315.43	c bounds 387 >= 41 @ 2282.48
2300.80/2317.25	c bounds 386 >= 41 @ 2284.26
2301.40/2317.89	c bounds 385 >= 41 @ 2284.9
2305.28/2321.79	c bounds 384 >= 41 @ 2288.73
2378.32/2395.14	c #Conflicts:     289000 | #Constraints:     668679
2378.32/2395.14	c #Conflicts:     290000 | #Constraints:     669679
2378.32/2395.14	c #Conflicts:     291000 | #Constraints:     670679
2378.32/2395.14	c #Conflicts:     292000 | #Constraints:     671679
2378.32/2395.14	c #Conflicts:     293000 | #Constraints:     672680
2378.32/2395.14	c #Conflicts:     294000 | #Constraints:     673680
2378.32/2395.14	c #Conflicts:     295000 | #Constraints:     674680
2378.32/2395.14	c #Conflicts:     296000 | #Constraints:     675680
2378.32/2395.14	c #Conflicts:     297000 | #Constraints:     676680
2378.32/2395.14	c #Conflicts:     298000 | #Constraints:     677680
2378.32/2395.14	c #Conflicts:     299000 | #Constraints:     678680
2378.32/2395.14	c INPROCESSING
2378.32/2395.14	c GARBAGE COLLECT
2378.32/2395.14	c rational objective 176.781
2398.19/2415.27	c #Conflicts:     300000 | #Constraints:     668862
2398.19/2415.27	c bounds 379 >= 41 @ 2380.8
2471.17/2488.46	c #Conflicts:     301000 | #Constraints:     669873
2471.17/2488.46	c #Conflicts:     302000 | #Constraints:     670880
2471.17/2488.46	c #Conflicts:     303000 | #Constraints:     671895
2471.17/2488.46	c #Conflicts:     304000 | #Constraints:     672903
2471.17/2488.46	c bounds 374 >= 41 @ 2452.6
2471.17/2488.48	c bounds 374 >= 42 @ 2452.62
2471.27/2488.51	c bounds 374 >= 43 @ 2452.64
2471.27/2488.54	c bounds 374 >= 44 @ 2452.66
2471.27/2488.56	c bounds 374 >= 45 @ 2452.68
2471.27/2488.59	c bounds 374 >= 46 @ 2452.7
2471.37/2488.62	c bounds 374 >= 47 @ 2452.72
2471.37/2488.65	c bounds 374 >= 48 @ 2452.74
2471.47/2488.70	c bounds 374 >= 49 @ 2452.78
2471.47/2488.73	c bounds 374 >= 50 @ 2452.81
2471.47/2488.79	c bounds 374 >= 51 @ 2452.86
2477.05/2494.31	c bounds 374 >= 52 @ 2458.34
2477.05/2494.39	c bounds 374 >= 53 @ 2458.41
2477.15/2494.48	c bounds 374 >= 54 @ 2458.49
2477.35/2494.63	c bounds 374 >= 55 @ 2458.63
2477.55/2494.87	c bounds 374 >= 56 @ 2458.86
2477.95/2495.23	c bounds 374 >= 57 @ 2459.2
2478.55/2495.80	c bounds 374 >= 58 @ 2459.74
2479.65/2496.96	c bounds 374 >= 59 @ 2460.87
2480.85/2498.15	c #Conflicts:     305000 | #Constraints:     674111
2480.85/2498.15	c bounds 374 >= 60 @ 2462.04
2483.03/2500.34	c bounds 374 >= 61 @ 2464.17
2486.02/2503.33	c #Conflicts:     306000 | #Constraints:     675171
2486.02/2503.33	c bounds 374 >= 62 @ 2467.08
2492.11/2509.43	c #Conflicts:     307000 | #Constraints:     676201
2492.11/2509.43	c bounds 374 >= 63 @ 2473
2498.19/2515.51	c #Conflicts:     308000 | #Constraints:     677225
2498.19/2515.51	c bounds 374 >= 64 @ 2478.92
2510.55/2527.93	c #Conflicts:     309000 | #Constraints:     678252
2510.55/2527.93	c #Conflicts:     310000 | #Constraints:     679252
2510.55/2527.93	c INPROCESSING
2510.55/2527.93	c GARBAGE COLLECT
2510.55/2527.93	c rational objective 176.781
2519.32/2536.71	c bounds 374 >= 65 @ 2499.83
2526.10/2543.53	c #Conflicts:     311000 | #Constraints:     669161
2526.10/2543.53	c bounds 374 >= 66 @ 2506.52
2537.37/2554.89	c #Conflicts:     312000 | #Constraints:     670197
2537.37/2554.89	c #Conflicts:     313000 | #Constraints:     671197
2537.37/2554.89	c bounds 374 >= 67 @ 2517.71
2551.03/2568.57	c #Conflicts:     314000 | #Constraints:     672230
2551.03/2568.57	c #Conflicts:     315000 | #Constraints:     673230
2551.03/2568.57	c bounds 374 >= 68 @ 2531.13
2569.28/2586.88	c #Conflicts:     316000 | #Constraints:     674258
2569.28/2586.88	c #Conflicts:     317000 | #Constraints:     675258
2569.28/2586.88	c #Conflicts:     318000 | #Constraints:     676258
2569.28/2586.88	c bounds 374 >= 69 @ 2549.17
2589.11/2606.78	c #Conflicts:     319000 | #Constraints:     677288
2589.11/2606.78	c #Conflicts:     320000 | #Constraints:     678288
2589.11/2606.78	c bounds 374 >= 70 @ 2568.8
2663.70/2681.56	c #Conflicts:     321000 | #Constraints:     679327
2663.70/2681.56	c INPROCESSING
2663.70/2681.56	c GARBAGE COLLECT
2663.70/2681.56	c rational objective 176.781
2688.23/2706.12	c #Conflicts:     322000 | #Constraints:     669006
2688.23/2706.12	c #Conflicts:     323000 | #Constraints:     670006
2688.23/2706.12	c #Conflicts:     324000 | #Constraints:     671006
2688.23/2706.12	c bounds 374 >= 71 @ 2667.26
2711.06/2729.04	c #Conflicts:     325000 | #Constraints:     672057
2711.06/2729.04	c #Conflicts:     326000 | #Constraints:     673057
2711.06/2729.04	c bounds 374 >= 72 @ 2689.91
2724.02/2742.01	c #Conflicts:     327000 | #Constraints:     674099
2724.02/2742.01	c #Conflicts:     328000 | #Constraints:     675099
2724.02/2742.01	c bounds 374 >= 73 @ 2702.59
2742.77/2760.86	c #Conflicts:     329000 | #Constraints:     676127
2742.77/2760.86	c #Conflicts:     330000 | #Constraints:     677127
2742.77/2760.86	c #Conflicts:     331000 | #Constraints:     678127
2742.77/2760.86	c bounds 374 >= 74 @ 2721.08
2760.32/2778.43	c #Conflicts:     332000 | #Constraints:     679154
2760.32/2778.43	c #Conflicts:     333000 | #Constraints:     680154
2760.32/2778.43	c INPROCESSING
2760.32/2778.43	c GARBAGE COLLECT
2760.32/2778.43	c rational objective 176.781
2771.29/2789.44	c bounds 374 >= 75 @ 2749.19
2801.20/2819.46	c #Conflicts:     334000 | #Constraints:     669720
2801.20/2819.46	c #Conflicts:     335000 | #Constraints:     670721
2801.20/2819.46	c #Conflicts:     336000 | #Constraints:     671721
2801.20/2819.46	c bounds 374 >= 76 @ 2778.67
2832.60/2850.91	c #Conflicts:     337000 | #Constraints:     672763
2832.60/2850.91	c #Conflicts:     338000 | #Constraints:     673763
2832.60/2850.91	c #Conflicts:     339000 | #Constraints:     674764
2832.60/2850.91	c #Conflicts:     340000 | #Constraints:     675764
2832.60/2850.91	c #Conflicts:     341000 | #Constraints:     676764
2832.60/2850.91	c bounds 374 >= 77 @ 2809.44
2919.25/2937.89	c #Conflicts:     342000 | #Constraints:     677803
2919.25/2937.89	c #Conflicts:     343000 | #Constraints:     678803
2919.25/2937.89	c #Conflicts:     344000 | #Constraints:     679803
2919.25/2937.89	c #Conflicts:     345000 | #Constraints:     680803
2919.25/2937.89	c INPROCESSING
2919.25/2937.89	c GARBAGE COLLECT
2919.25/2937.89	c rational objective 176.781
2966.61/2985.38	c #Conflicts:     346000 | #Constraints:     670117
2966.61/2985.38	c #Conflicts:     347000 | #Constraints:     671117
2966.61/2985.38	c #Conflicts:     348000 | #Constraints:     672117
2966.61/2985.38	c #Conflicts:     349000 | #Constraints:     673117
2966.61/2985.38	c #Conflicts:     350000 | #Constraints:     674117
2966.61/2985.38	c bounds 374 >= 78 @ 2942.12
2998.52/3017.31	c #Conflicts:     351000 | #Constraints:     675144
2998.52/3017.31	c #Conflicts:     352000 | #Constraints:     676144
2998.52/3017.31	c #Conflicts:     353000 | #Constraints:     677144
2998.52/3017.31	c #Conflicts:     354000 | #Constraints:     678146
2998.52/3017.31	c bounds 374 >= 79 @ 2973.41
3024.65/3043.50	c #Conflicts:     355000 | #Constraints:     679188
3024.65/3043.50	c #Conflicts:     356000 | #Constraints:     680188
3024.65/3043.50	c #Conflicts:     357000 | #Constraints:     681188
3024.65/3043.50	c INPROCESSING
3024.65/3043.50	c GARBAGE COLLECT
3024.65/3043.50	c rational objective 176.781
3086.57/3105.69	c #Conflicts:     358000 | #Constraints:     670331
3086.57/3105.69	c #Conflicts:     359000 | #Constraints:     671332
3086.57/3105.69	c #Conflicts:     360000 | #Constraints:     672332
3086.57/3105.69	c #Conflicts:     361000 | #Constraints:     673332
3086.57/3105.69	c #Conflicts:     362000 | #Constraints:     674334
3086.57/3105.69	c #Conflicts:     363000 | #Constraints:     675334
3086.57/3105.69	c bounds 374 >= 80 @ 3060.12
3243.59/3263.11	c #Conflicts:     364000 | #Constraints:     676383
3243.59/3263.11	c #Conflicts:     365000 | #Constraints:     677383
3243.59/3263.11	c #Conflicts:     366000 | #Constraints:     678383
3243.59/3263.11	c #Conflicts:     367000 | #Constraints:     679383
3243.59/3263.11	c #Conflicts:     368000 | #Constraints:     680383
3243.59/3263.11	c #Conflicts:     369000 | #Constraints:     681383
3243.59/3263.11	c INPROCESSING
3243.59/3263.11	c GARBAGE COLLECT
3243.59/3263.11	c rational objective 176.781
3255.46/3275.01	c bounds 374 >= 81 @ 3227.75
3342.02/3373.20	c #Conflicts:     370000 | #Constraints:     670385
3342.02/3373.20	c #Conflicts:     371000 | #Constraints:     671386
3342.02/3373.20	c #Conflicts:     372000 | #Constraints:     672386
3342.02/3373.20	c #Conflicts:     373000 | #Constraints:     673386
3342.02/3373.20	c #Conflicts:     374000 | #Constraints:     674386
3342.02/3373.20	c #Conflicts:     375000 | #Constraints:     675386
3342.02/3373.20	c #Conflicts:     376000 | #Constraints:     676388
3342.02/3373.20	c #Conflicts:     377000 | #Constraints:     677388
3342.02/3373.20	c #Conflicts:     378000 | #Constraints:     678388
3342.02/3373.20	c bounds 374 >= 82 @ 3313
3382.11/3413.47	c #Conflicts:     379000 | #Constraints:     679433
3382.11/3413.47	c #Conflicts:     380000 | #Constraints:     680433
3382.11/3413.47	c #Conflicts:     381000 | #Constraints:     681434
3382.11/3413.47	c INPROCESSING
3382.11/3413.47	c GARBAGE COLLECT
3382.11/3413.47	c rational objective 176.781
3509.61/3541.57	c #Conflicts:     382000 | #Constraints:     670184
3509.61/3541.57	c #Conflicts:     383000 | #Constraints:     671184
3509.61/3541.57	c #Conflicts:     384000 | #Constraints:     672184
3509.61/3541.57	c #Conflicts:     385000 | #Constraints:     673184
3509.61/3541.57	c #Conflicts:     386000 | #Constraints:     674184
3509.61/3541.57	c #Conflicts:     387000 | #Constraints:     675184
3509.61/3541.57	c #Conflicts:     388000 | #Constraints:     676185
3509.61/3541.57	c #Conflicts:     389000 | #Constraints:     677185
3509.61/3541.57	c #Conflicts:     390000 | #Constraints:     678185
3509.61/3541.57	c #Conflicts:     391000 | #Constraints:     679185
3509.61/3541.57	c #Conflicts:     392000 | #Constraints:     680185
3509.61/3541.57	c #Conflicts:     393000 | #Constraints:     681186
3509.61/3541.57	c bounds 374 >= 83 @ 3477.96

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (63016 MiB free)
  memory of node 1: 64507 MiB (63864 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489833-1751370004/watcher-4489833-1751370004 -o /tmp/evaluation-result-4489833-1751370004/solver-4489833-1751370004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751370004-47936 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489833-1751370004.opb PROOFDIR/proof-4489833-1751370004 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47991, runsolver pid=47976

[startup+0.100063 s]*
/proc/loadavg: 3.27 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129392168/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47996] ppid=47991 vsize=162744 memory=145552 CPUtime=0.07 cores=5,7
/proc/47996/stat : 47996 (pbsuma) R 47991 47991 47923 0 -1 4194304 3698 0 0 0 4 3 0 0 20 0 1 0 52680031 166649856 36388 18446744073709551615 4210688 4653049 140725462377968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 8261632 140725462382819 140725462383154 140725462383154 140725462388719 0
/proc/47996/statm: 40686 36388 960 108 0 38094 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166936 KiB
Current children cumulated memory: 148624 KiB

[startup+0.204712 s]*
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129313852/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47996] ppid=47991 vsize=180260 memory=164648 CPUtime=0.17 cores=5,7
/proc/47996/stat : 47996 (pbsuma) R 47991 47991 47923 0 -1 4194304 8650 0 0 0 13 4 0 0 20 0 1 0 52680031 184586240 41162 18446744073709551615 4210688 4653049 140725462377968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 8261632 140725462382819 140725462383154 140725462383154 140725462388719 0
/proc/47996/statm: 45065 41162 960 108 0 42473 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184452 KiB
Current children cumulated memory: 167720 KiB

[startup+0.305744 s]*
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129229488/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47996] ppid=47991 vsize=194124 memory=181508 CPUtime=0.27 cores=5,7
/proc/47996/stat : 47996 (pbsuma) R 47991 47991 47923 0 -1 4194304 11834 0 0 0 22 5 0 0 20 0 1 0 52680031 198782976 45377 18446744073709551615 4210688 4653049 140725462377968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 8261632 140725462382819 140725462383154 140725462383154 140725462388719 0
/proc/47996/statm: 48531 45377 960 108 0 45939 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198316 KiB
Current children cumulated memory: 184580 KiB

[startup+0.7002 s]
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=128918604/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47996] ppid=47991 vsize=320872 memory=275232 CPUtime=0.66 cores=5,7
/proc/47996/stat : 47996 (pbsuma) R 47991 47991 47923 0 -1 4194304 21998 0 0 0 59 7 0 0 20 0 1 0 52680031 328572928 68808 18446744073709551615 4210688 4653049 140725462377968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 8261632 140725462382819 140725462383154 140725462383154 140725462388719 0
/proc/47996/statm: 80218 68808 992 108 0 77626 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 325064 KiB
Current children cumulated memory: 278304 KiB

[startup+1.50015 s]
/proc/loadavg: 3.33 3.92 4.03 6/268 48000
/proc/meminfo: memFree=129491844/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=77528 memory=32628 CPUtime=0.49 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 5931 0 5 0 39 10 0 0 20 0 1 0 52680126 79388672 8157 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 19382 8157 1856 1147 0 6809 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 81720 KiB
Current children cumulated memory: 35700 KiB

[startup+3.10458 s]
/proc/loadavg: 3.33 3.92 4.03 6/268 48000
/proc/meminfo: memFree=129231128/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=151876 memory=102636 CPUtime=2.1 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 21510 0 5 0 162 48 0 0 20 0 1 0 52680126 155521024 25659 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 37969 25659 1856 1147 0 25396 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 156068 KiB
Current children cumulated memory: 105708 KiB

[startup+6.30015 s]
/proc/loadavg: 3.39 3.92 4.03 6/268 48000
/proc/meminfo: memFree=126675824/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=914892 memory=666604 CPUtime=5.28 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 55426 0 5 0 452 76 0 0 20 0 1 0 52680126 936849408 166651 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 228723 166651 2208 1147 0 216150 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 919084 KiB
Current children cumulated memory: 669676 KiB

[startup+12.7001 s]
/proc/loadavg: 3.44 3.93 4.03 6/271 48004
/proc/meminfo: memFree=126642276/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1076260 memory=765828 CPUtime=11.67 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 59241 0 5 0 1073 94 0 0 20 0 1 0 52680126 1102090240 191457 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 269065 191457 2304 1147 0 256492 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1080452 KiB
Current children cumulated memory: 768900 KiB

[startup+25.5002 s]
/proc/loadavg: 3.52 3.93 4.03 6/271 48004
/proc/meminfo: memFree=125919760/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1155828 memory=849024 CPUtime=24.43 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 66301 0 5 0 2304 139 0 0 20 0 1 0 52680126 1183567872 212256 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 288957 212256 2304 1147 0 276384 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1160020 KiB
Current children cumulated memory: 852096 KiB

[startup+51.1047 s]
/proc/loadavg: 3.76 3.95 4.03 6/271 48004
/proc/meminfo: memFree=124845932/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1400896 memory=1091772 CPUtime=49.97 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 101439 0 5 0 4809 188 0 0 20 0 1 0 52680126 1434517504 272943 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 350224 272943 2304 1147 0 337651 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1405088 KiB
Current children cumulated memory: 1094844 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.97 4.03 6/273 48008
/proc/meminfo: memFree=122969644/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1540472 memory=1157948 CPUtime=101.03 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 111009 0 5 0 9883 220 0 0 20 0 1 0 52680126 1577443328 289487 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 385118 289487 2304 1147 0 372545 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1544664 KiB
Current children cumulated memory: 1161020 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.01 4.04 6/273 48010
/proc/meminfo: memFree=122476116/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1549772 memory=1181636 CPUtime=155.41 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 112368 0 5 0 15279 262 0 0 20 0 1 0 52680126 1586966528 295409 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 387443 295409 2304 1147 0 374870 0
Current children cumulated CPU time: 156.34 s
Current children cumulated vsize: 1553964 KiB
Current children cumulated memory: 1184708 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 4.01 4.03 6/272 48012
/proc/meminfo: memFree=121353308/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=1619472 memory=1270856 CPUtime=215.11 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 116764 0 5 0 21192 319 0 0 20 0 1 0 52680126 1658339328 317714 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0

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

/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4491824 memory=3617216 CPUtime=3201.97 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 462581 0 5 0 317534 2663 0 0 20 0 1 0 52680126 4599627776 904304 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1122956 904304 2432 1147 0 1110383 0
Current children cumulated CPU time: 3202.9 s
Current children cumulated vsize: 4496016 KiB
Current children cumulated memory: 3620288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.19 4.12 6/275 48186
/proc/meminfo: memFree=22432276/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4491824 memory=3617216 CPUtime=3261.8 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 464699 0 5 0 323493 2687 0 0 20 0 1 0 52680126 4599627776 904304 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1122956 904304 2432 1147 0 1110383 0
Current children cumulated CPU time: 3262.73 s
Current children cumulated vsize: 4496016 KiB
Current children cumulated memory: 3620288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.18 4.12 6/273 48188
/proc/meminfo: memFree=18399524/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4491824 memory=3617216 CPUtime=3320.29 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 464734 0 5 0 329265 2764 0 0 20 0 1 0 52680126 4599627776 904304 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1122956 904304 2432 1147 0 1110383 0
Current children cumulated CPU time: 3321.22 s
Current children cumulated vsize: 4496016 KiB
Current children cumulated memory: 3620288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 6/272 48190
/proc/meminfo: memFree=14806364/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4491824 memory=3617216 CPUtime=3370.11 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 464780 0 5 0 334144 2867 0 0 20 0 1 0 52680126 4599627776 904304 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1122956 904304 2432 1147 0 1110383 0
Current children cumulated CPU time: 3371.04 s
Current children cumulated vsize: 4496016 KiB
Current children cumulated memory: 3620288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 6/273 48193
/proc/meminfo: memFree=11431368/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4492428 memory=3617820 CPUtime=3429.68 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 466650 0 5 0 340028 2940 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current children cumulated CPU time: 3430.61 s
Current children cumulated vsize: 4496620 KiB
Current children cumulated memory: 3620892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 6/274 48200
/proc/meminfo: memFree=9234772/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4492428 memory=3617820 CPUtime=3489.53 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 467741 0 5 0 345900 3053 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current children cumulated CPU time: 3490.46 s
Current children cumulated vsize: 4496620 KiB
Current children cumulated memory: 3620892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.18 4.12 6/275 48203
/proc/meminfo: memFree=6954944/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4492428 memory=3617820 CPUtime=3549.37 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 470487 0 5 0 351834 3103 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current children cumulated CPU time: 3550.3 s
Current children cumulated vsize: 4496620 KiB
Current children cumulated memory: 3620892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.2 s]
/proc/loadavg: 4.19 4.17 4.12 5/267 48244
/proc/meminfo: memFree=9697356/131249996 swapFree=33010416/33010684
[pid=47991] ppid=47976 vsize=4192 memory=3072 CPUtime=0.93 cores=5,7
/proc/47991/stat : 47991 (run-opt-break-l) S 47976 47991 47923 0 -1 4194304 242 28722 0 0 0 0 83 10 20 0 1 0 52680029 4292608 768 18446744073709551615 94478329655296 94478330549829 140737071277568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94478330788880 94478330836624 94478362013696 140737071286549 140737071286750 140737071286750 140737071292352 0
/proc/47991/statm: 1048 768 704 219 0 110 0
[pid=47997] ppid=47991 vsize=4492428 memory=3617820 CPUtime=3599.13 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47991 47991 47923 0 -1 4194304 470508 0 5 0 356805 3108 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4496620 KiB
Current children cumulated memory: 3620892 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3570.88 s, system=31.3133 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+3633.6 s]
/proc/loadavg: 4.19 4.17 4.12 5/262 48256
/proc/meminfo: memFree=19636936/131249996 swapFree=33010416/33010684
[pid=47997] ppid=47976 vsize=4492428 memory=3617820 CPUtime=3600.52 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47976 47991 47923 0 -1 4194304 470508 0 5 0 356944 3108 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current cumulated CPU time of completed processes: 0.942383 s
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 4492428 KiB
Current children cumulated memory: 3617820 KiB

[startup+3634 s]*
/proc/loadavg: 4.19 4.17 4.12 5/262 48256
/proc/meminfo: memFree=38187080/131249996 swapFree=33010416/33010684
[pid=47997] ppid=47976 vsize=4492428 memory=3617820 CPUtime=3600.93 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47976 47991 47923 0 -1 4194304 470508 0 5 0 356985 3108 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current cumulated CPU time of completed processes: 0.942383 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 4492428 KiB
Current children cumulated memory: 3617820 KiB

[startup+3634.2 s]
/proc/loadavg: 4.19 4.17 4.12 5/262 48256
/proc/meminfo: memFree=38187080/131249996 swapFree=33010416/33010684
[pid=47997] ppid=47976 vsize=4492428 memory=3617820 CPUtime=3601.12 cores=5,7
/proc/47997/stat : 47997 (roundingsat) R 47976 47991 47923 0 -1 4194304 470508 0 5 0 357004 3108 0 0 20 0 1 0 52680126 4600246272 904455 18446744073709551615 4227072 8923433 140728849494784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41013248 140728849500436 140728849500712 140728849500712 140728849506282 0
/proc/47997/statm: 1123107 904455 2432 1147 0 1110534 0
Current cumulated CPU time of completed processes: 0.942383 s
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 4492428 KiB
Current children cumulated memory: 3617820 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3634.59
CPU time (s): 3602.19
CPU user time (s): 3570.88
CPU system time (s): 31.3133
CPU usage (%): 99.1085
Max. virtual memory (cumulated for all children) (KiB): 4535476
Max. memory (cumulated for all children) (KiB): 3659716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.88
system time used= 31.3133
maximum resident set size= 3656644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499472
page faults= 5
swaps= 0
block input operations= 0
block output operations= 49766976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8906
involuntary context switches= 4068


# summary of solver processes directly reported to runsolver:
#   pid: 47991,47997
#   total CPU time (s): 3602.19
#   total CPU user time (s): 3570.88
#   total CPU system time (s): 31.3133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42571 second user time and 13.6732 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 13:40:04
IDJOB=4489833
IDBENCH=147564
IDSOLVER=3360
FILE ID=nodeC030/4489833-1751370004
RUNJOBID= nodeC030-1751370004-47936
SLURM_JOB_ID= 9598188
Free space on /tmp= 432972 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489833-1751370004/watcher-4489833-1751370004 -o /tmp/evaluation-result-4489833-1751370004/solver-4489833-1751370004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751370004-47936 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489833-1751370004.opb PROOFDIR/proof-4489833-1751370004

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1824616051

nodeC030 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		: 2436.966
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	: 7000.62
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		: 3600.868
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	: 7000.62
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		: 2153.279
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	: 7000.62
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		: 3600.354
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	: 7000.62
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		: 2365.131
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	: 7000.62
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		: 3600.338
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	: 7000.62
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		: 2669.484
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	: 7000.62
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.337
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129940824 kB
MemAvailable:   129790664 kB
Buffers:            2564 kB
Cached:           643788 kB
SwapCached:           16 kB
Active:           480240 kB
Inactive:         225912 kB
Active(anon):      73300 kB
Inactive(anon):     4548 kB
Active(file):     406940 kB
Inactive(file):   221364 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95912 kB
Writeback:             4 kB
AnonPages:         63892 kB
Mapped:           103152 kB
Shmem:             18048 kB
KReclaimable:     121148 kB
Slab:             209356 kB
SReclaimable:     121148 kB
SUnreclaim:        88208 kB
KernelStack:        4080 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC030 at 2025-07-01 14:40:39