Trace number 4532380

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 0f876b3? (TO) 3602.1 3611.37

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.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-4532380-1752683038.opb'
0.28/0.34	c 	read 17.23MB  (319.99ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c output proof to '/tmp/proof-4532380-1752683038'
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.57/0.65	c	 [group: #orbits ~= 0] (309.91ms)
0.57/0.65	c 
0.57/0.65	c detect special group actions
0.57/0.65	c 	probe for Johnson action (limit=64)
0.57/0.65	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.57/0.66	c 	probe for row symmetry (limit=64, splits=16.78M)
0.57/0.67	c 	 (20.96ms)
0.57/0.67	c 
0.57/0.67	c detect symmetries on remainder
0.57/0.67	c 	[graph: #vertices 706709 #edges 2766416]
0.57/0.67	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.72	c 	 [group: #symmetries 1.00*10^0 #generators 0] (52.02ms)
0.67/0.72	c 
0.67/0.72	c finalize break order and special generators
0.67/0.72	c 
0.67/0.72	c generation finished
0.67/0.72	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.72	c 
0.67/0.72	c write result to 'HOME/instance-4532380-1752683038.opb.pre'
0.67/0.76	c 	wrote 17.23MB (35.85ms)
0.67/0.76	c ------------------------------------------------------------------
0.67/0.76	c                 319.99ms 43.14% parse
0.67/0.76	c                 309.91ms 41.78% approx_orbits
0.67/0.76	c                  52.02ms  7.01% detect_generic
0.67/0.76	c                  35.85ms  4.83% output
0.67/0.76	c                  20.96ms  2.83% detect_special
0.67/0.76	c                   2.69ms  0.36% other
0.67/0.76	c                   0.38ms  0.05% finalize_order
0.67/0.76	c         ───────────────────────────────────────────────
0.67/0.76	c                 741.80ms   100% total
0.67/0.76	c ------------------------------------------------------------------
0.76/0.89	c RoundingSat 2
0.76/0.89	c branch pb25
0.76/0.89	c commit 0f876b3
4.35/4.42	c #variables 10000 #constraints 656900
4.35/4.42	c objective is ce32 
4.35/4.42	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.35/4.42	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.35/4.42	c bounds - >= 0 @ 2.82481
6.45/6.59	c rational objective 172.654
10.83/10.99	c bounds 5810 >= 0 @ 9.25458
10.83/10.99	c bounds 5701 >= 0 @ 9.26091
10.94/11.00	c bounds 5510 >= 0 @ 9.26866
10.94/11.03	c bounds 5500 >= 0 @ 9.28984
10.94/11.04	c bounds 5454 >= 0 @ 9.30152
10.94/11.05	c bounds 5381 >= 0 @ 9.30655
10.94/11.06	c bounds 5314 >= 0 @ 9.31346
10.94/11.07	c bounds 5294 >= 0 @ 9.31936
10.94/11.09	c bounds 5274 >= 0 @ 9.34352
11.04/11.10	c bounds 5080 >= 0 @ 9.35108
11.04/11.11	c bounds 4446 >= 0 @ 9.35612
11.04/11.12	c bounds 4355 >= 0 @ 9.36185
11.04/11.13	c bounds 4349 >= 0 @ 9.3665
11.13/11.22	c bounds 4347 >= 0 @ 9.44819
11.53/11.68	c bounds 4332 >= 0 @ 9.90091
11.53/11.69	c bounds 4283 >= 0 @ 9.90787
11.63/11.70	c bounds 4043 >= 0 @ 9.91669
11.63/11.71	c bounds 3961 >= 0 @ 9.92156
11.63/11.72	c bounds 3899 >= 0 @ 9.92868
11.63/11.73	c bounds 3892 >= 0 @ 9.93756
11.63/11.74	c bounds 3852 >= 0 @ 9.94457
11.63/11.76	c bounds 3849 >= 0 @ 9.95894
11.63/11.77	c bounds 3835 >= 0 @ 9.96818
11.63/11.78	c bounds 3707 >= 0 @ 9.97537
11.63/11.79	c bounds 3592 >= 0 @ 9.98147
11.73/11.80	c bounds 3538 >= 0 @ 9.98883
11.73/11.81	c bounds 3433 >= 0 @ 9.99569
11.73/11.82	c bounds 3428 >= 0 @ 10.004
11.73/11.83	c bounds 3408 >= 0 @ 10.0137
11.73/11.84	c bounds 3388 >= 0 @ 10.0236
11.73/11.85	c bounds 3323 >= 0 @ 10.0292
11.73/11.87	c bounds 3316 >= 0 @ 10.0393
11.73/11.89	c bounds 3306 >= 0 @ 10.0501
11.83/11.90	c bounds 3290 >= 0 @ 10.0539
11.83/11.91	c bounds 3269 >= 0 @ 10.0608
11.83/11.92	c bounds 3170 >= 0 @ 10.0678
11.83/11.93	c bounds 3089 >= 0 @ 10.0741
11.83/11.94	c bounds 3076 >= 0 @ 10.0792
11.83/11.95	c bounds 3017 >= 0 @ 10.0842
11.83/11.99	c bounds 3010 >= 0 @ 10.1204
12.03/12.11	c bounds 2998 >= 0 @ 10.2328
12.03/12.12	c bounds 2984 >= 0 @ 10.2444
12.03/12.13	c bounds 2971 >= 0 @ 10.25
12.03/12.14	c bounds 2958 >= 0 @ 10.2575
12.03/12.15	c bounds 2820 >= 0 @ 10.2639
12.03/12.16	c bounds 2669 >= 0 @ 10.2707
12.03/12.17	c bounds 2648 >= 0 @ 10.2746
12.03/12.18	c bounds 2639 >= 0 @ 10.2815
12.03/12.19	c bounds 2622 >= 0 @ 10.2864
12.13/12.20	c bounds 2587 >= 0 @ 10.2947
12.13/12.23	c bounds 2585 >= 0 @ 10.3203
12.13/12.24	c bounds 2582 >= 0 @ 10.3275
12.13/12.26	c bounds 2575 >= 0 @ 10.3409
12.13/12.27	c bounds 2539 >= 0 @ 10.3493
12.13/12.28	c bounds 2536 >= 0 @ 10.3556
12.13/12.29	c bounds 2511 >= 0 @ 10.3633
12.23/12.30	c bounds 2467 >= 0 @ 10.3718
12.23/12.31	c bounds 2439 >= 0 @ 10.3789
12.23/12.32	c bounds 2327 >= 0 @ 10.3856
12.23/12.34	c bounds 2286 >= 0 @ 10.3911
12.23/12.35	c bounds 2172 >= 0 @ 10.3981
12.23/12.36	c bounds 2095 >= 0 @ 10.4037
12.23/12.37	c bounds 2073 >= 0 @ 10.4103
12.23/12.38	c bounds 1989 >= 0 @ 10.4182
12.33/12.42	c bounds 1978 >= 0 @ 10.4543
12.33/12.43	c bounds 1948 >= 0 @ 10.4612
12.33/12.45	c bounds 1908 >= 0 @ 10.472
12.33/12.48	c bounds 1906 >= 0 @ 10.5067
12.43/12.53	c bounds 1839 >= 0 @ 10.5468
12.43/12.54	c bounds 1724 >= 0 @ 10.5536
12.73/12.86	c bounds 1721 >= 0 @ 10.8633
12.73/12.87	c bounds 1712 >= 0 @ 10.8712
12.73/12.88	c bounds 1703 >= 0 @ 10.8788
12.82/12.94	c bounds 1680 >= 0 @ 10.9298
12.82/12.96	c bounds 1673 >= 0 @ 10.9453
12.82/12.98	c bounds 1666 >= 0 @ 10.9522
12.93/13.02	c bounds 1602 >= 0 @ 10.9947
13.42/13.55	c bounds 1598 >= 0 @ 11.5033
13.92/14.09	c #Conflicts:       1000 | #Constraints:     657979
13.92/14.09	c bounds 1592 >= 0 @ 12.0385
14.03/14.14	c bounds 1586 >= 0 @ 12.0758
14.03/14.16	c bounds 1524 >= 0 @ 12.0905
14.13/14.20	c bounds 1351 >= 0 @ 12.1301
14.13/14.22	c bounds 1336 >= 0 @ 12.1393
14.13/14.25	c bounds 1176 >= 0 @ 12.1595
14.13/14.26	c bounds 1098 >= 0 @ 12.1663
14.23/14.31	c bounds 1088 >= 0 @ 12.2009
14.23/14.32	c bounds 1052 >= 0 @ 12.2086
14.23/14.36	c bounds 970 >= 0 @ 12.2397
14.33/14.42	c bounds 860 >= 0 @ 12.2933
14.43/14.57	c bounds 774 >= 0 @ 12.4374
14.72/14.86	c bounds 771 >= 0 @ 12.7127
14.72/14.88	c bounds 770 >= 0 @ 12.7247
14.72/14.89	c bounds 766 >= 0 @ 12.7372
14.83/14.96	c bounds 763 >= 0 @ 12.8037
18.92/19.07	c #Conflicts:       2000 | #Constraints:     658995
18.92/19.07	c INPROCESSING
18.92/19.07	c GARBAGE COLLECT
18.92/19.07	c bounds 760 >= 0 @ 16.8411
20.31/20.48	c #Conflicts:       3000 | #Constraints:     658912
20.31/20.48	c bounds 658 >= 0 @ 18.232
27.18/27.34	c #Conflicts:       4000 | #Constraints:     659913
27.18/27.34	c INPROCESSING
27.18/27.34	c GARBAGE COLLECT
27.18/27.34	c bounds 588 >= 0 @ 24.9724
27.39/27.59	c bounds 480 >= 0 @ 25.209
31.37/31.59	c #Conflicts:       5000 | #Constraints:     659321
31.37/31.59	c #Conflicts:       6000 | #Constraints:     660321
31.37/31.59	c INPROCESSING
31.37/31.59	c GARBAGE COLLECT
31.37/31.59	c bounds 474 >= 0 @ 29.151
31.48/31.60	c bounds 472 >= 0 @ 29.1585
46.53/46.77	c #Conflicts:       7000 | #Constraints:     659334
46.53/46.77	c #Conflicts:       8000 | #Constraints:     660349
46.53/46.77	c bounds 467 >= 0 @ 43.9302
52.62/52.85	c #Conflicts:       9000 | #Constraints:     661352
52.62/52.85	c INPROCESSING
52.62/52.85	c GARBAGE COLLECT
52.62/52.85	c rational objective 173.574
69.67/69.93	c #Conflicts:      10000 | #Constraints:     660038
69.67/69.93	c #Conflicts:      11000 | #Constraints:     661038
69.67/69.93	c #Conflicts:      12000 | #Constraints:     662038
69.67/69.93	c INPROCESSING
69.67/69.93	c GARBAGE COLLECT
69.67/69.93	c rational objective 174.775
85.74/86.07	c #Conflicts:      13000 | #Constraints:     660486
85.74/86.07	c #Conflicts:      14000 | #Constraints:     661486
85.74/86.07	c #Conflicts:      15000 | #Constraints:     662486
85.74/86.07	c INPROCESSING
85.74/86.07	c GARBAGE COLLECT
85.74/86.07	c rational objective 175.296
104.58/104.90	c #Conflicts:      16000 | #Constraints:     660716
104.58/104.90	c #Conflicts:      17000 | #Constraints:     661716
104.58/104.90	c #Conflicts:      18000 | #Constraints:     662716
104.58/104.90	c INPROCESSING
104.58/104.90	c GARBAGE COLLECT
104.58/104.90	c rational objective 175.405
124.43/124.82	c #Conflicts:      19000 | #Constraints:     660731
124.43/124.82	c #Conflicts:      20000 | #Constraints:     661731
124.43/124.82	c #Conflicts:      21000 | #Constraints:     662731
124.43/124.82	c INPROCESSING
124.43/124.82	c GARBAGE COLLECT
124.43/124.82	c rational objective 175.531
143.48/143.92	c #Conflicts:      22000 | #Constraints:     660533
143.48/143.92	c #Conflicts:      23000 | #Constraints:     661533
143.48/143.92	c #Conflicts:      24000 | #Constraints:     662533
143.48/143.92	c #Conflicts:      25000 | #Constraints:     663533
143.48/143.92	c INPROCESSING
143.48/143.92	c GARBAGE COLLECT
143.48/143.92	c rational objective 175.532
172.42/173.00	c #Conflicts:      26000 | #Constraints:     661137
172.42/173.00	c #Conflicts:      27000 | #Constraints:     662194
172.42/173.00	c #Conflicts:      28000 | #Constraints:     663229
172.42/173.00	c #Conflicts:      29000 | #Constraints:     664258
172.42/173.00	c INPROCESSING
172.42/173.00	c GARBAGE COLLECT
172.42/173.00	c rational objective 175.534
178.51/179.04	c bounds 461 >= 0 @ 174.97
178.60/179.13	c bounds 454 >= 0 @ 175.051
190.17/190.77	c #Conflicts:      30000 | #Constraints:     661612
190.17/190.77	c #Conflicts:      31000 | #Constraints:     662620
190.17/190.77	c #Conflicts:      32000 | #Constraints:     663626
190.17/190.77	c #Conflicts:      33000 | #Constraints:     664636
190.17/190.77	c INPROCESSING
190.17/190.77	c GARBAGE COLLECT
190.17/190.77	c bounds 452 >= 0 @ 186.487
190.37/190.90	c bounds 449 >= 0 @ 186.615
191.86/192.46	c bounds 448 >= 0 @ 188.152
192.37/192.91	c bounds 444 >= 0 @ 188.589
249.52/250.28	c #Conflicts:      34000 | #Constraints:     661808
249.52/250.28	c #Conflicts:      35000 | #Constraints:     662819
249.52/250.28	c #Conflicts:      36000 | #Constraints:     663834
249.52/250.28	c #Conflicts:      37000 | #Constraints:     664847
249.52/250.28	c INPROCESSING
249.52/250.28	c GARBAGE COLLECT
249.52/250.28	c rational objective 175.534
256.10/256.80	c bounds 444 >= 5 @ 251.384
256.10/256.82	c bounds 444 >= 10 @ 251.395
256.10/256.88	c bounds 444 >= 15 @ 251.449
261.20/261.93	c #Conflicts:      38000 | #Constraints:     661810
261.20/261.93	c bounds 444 >= 20 @ 256.46
280.55/281.33	c #Conflicts:      39000 | #Constraints:     662822
280.55/281.33	c #Conflicts:      40000 | #Constraints:     663822
280.55/281.33	c #Conflicts:      41000 | #Constraints:     664822
280.55/281.33	c INPROCESSING
280.55/281.33	c GARBAGE COLLECT
280.55/281.33	c rational objective 175.636
321.54/322.41	c #Conflicts:      42000 | #Constraints:     661610
321.54/322.41	c #Conflicts:      43000 | #Constraints:     662612
321.54/322.41	c #Conflicts:      44000 | #Constraints:     663619
321.54/322.41	c #Conflicts:      45000 | #Constraints:     664620
321.54/322.41	c #Conflicts:      46000 | #Constraints:     665626
321.54/322.41	c INPROCESSING
321.54/322.41	c GARBAGE COLLECT
321.54/322.41	c rational objective 175.696
370.72/371.76	c #Conflicts:      47000 | #Constraints:     662210
370.72/371.76	c #Conflicts:      48000 | #Constraints:     663214
370.72/371.76	c #Conflicts:      49000 | #Constraints:     664216
370.72/371.76	c #Conflicts:      50000 | #Constraints:     665218
370.72/371.76	c #Conflicts:      51000 | #Constraints:     666220
370.72/371.76	c INPROCESSING
370.72/371.76	c GARBAGE COLLECT
370.72/371.76	c rational objective 175.981
437.85/439.01	c #Conflicts:      52000 | #Constraints:     662615
437.85/439.01	c #Conflicts:      53000 | #Constraints:     663616
437.85/439.01	c #Conflicts:      54000 | #Constraints:     664620
437.85/439.01	c #Conflicts:      55000 | #Constraints:     665620
437.85/439.01	c #Conflicts:      56000 | #Constraints:     666622
437.85/439.01	c INPROCESSING
437.85/439.01	c GARBAGE COLLECT
437.85/439.01	c rational objective 176.41
489.32/490.64	c #Conflicts:      57000 | #Constraints:     662815
489.32/490.64	c #Conflicts:      58000 | #Constraints:     663817
489.32/490.64	c #Conflicts:      59000 | #Constraints:     664817
489.32/490.64	c #Conflicts:      60000 | #Constraints:     665819
489.32/490.64	c #Conflicts:      61000 | #Constraints:     666820
489.32/490.64	c INPROCESSING
489.32/490.64	c GARBAGE COLLECT
489.32/490.64	c rational objective 176.459
623.97/625.66	c #Conflicts:      62000 | #Constraints:     662800
623.97/625.66	c #Conflicts:      63000 | #Constraints:     663801
623.97/625.66	c #Conflicts:      64000 | #Constraints:     664803
623.97/625.66	c #Conflicts:      65000 | #Constraints:     665807
623.97/625.66	c #Conflicts:      66000 | #Constraints:     666808
623.97/625.66	c INPROCESSING
623.97/625.66	c GARBAGE COLLECT
623.97/625.66	c #Conflicts:      67000 | #Constraints:     662606
623.97/625.66	c #Conflicts:      68000 | #Constraints:     663608
623.97/625.66	c #Conflicts:      69000 | #Constraints:     664611
623.97/625.66	c #Conflicts:      70000 | #Constraints:     665612
623.97/625.66	c #Conflicts:      71000 | #Constraints:     666616
623.97/625.66	c #Conflicts:      72000 | #Constraints:     667617
623.97/625.66	c INPROCESSING
623.97/625.66	c GARBAGE COLLECT
623.97/625.66	c rational objective 176.459
631.36/633.05	c bounds 441 >= 20 @ 624.459
634.35/636.00	c bounds 438 >= 20 @ 627.364
634.35/636.02	c bounds 436 >= 20 @ 627.379
636.14/637.85	c bounds 435 >= 20 @ 629.175
636.44/638.18	c bounds 433 >= 20 @ 629.497
636.54/638.20	c bounds 432 >= 20 @ 629.519
637.34/639.06	c bounds 424 >= 20 @ 630.361
643.33/645.07	c #Conflicts:      73000 | #Constraints:     663222
643.33/645.07	c bounds 421 >= 20 @ 636.281
650.30/652.07	c bounds 419 >= 20 @ 643.205
650.30/652.10	c bounds 418 >= 20 @ 643.234
650.89/652.65	c bounds 417 >= 20 @ 643.771
651.30/653.06	c bounds 416 >= 20 @ 644.173
651.60/653.36	c bounds 414 >= 20 @ 644.464
654.49/656.28	c #Conflicts:      74000 | #Constraints:     664255
654.49/656.28	c bounds 413 >= 20 @ 647.34
654.58/656.31	c bounds 413 >= 24 @ 647.364
695.57/697.41	c #Conflicts:      75000 | #Constraints:     665262
695.57/697.41	c #Conflicts:      76000 | #Constraints:     666270
695.57/697.41	c #Conflicts:      77000 | #Constraints:     667278
695.57/697.41	c #Conflicts:      78000 | #Constraints:     668290
695.57/697.41	c INPROCESSING
695.57/697.41	c GARBAGE COLLECT
695.57/697.41	c rational objective 176.459
741.05/743.05	c #Conflicts:      79000 | #Constraints:     663629
741.05/743.05	c #Conflicts:      80000 | #Constraints:     664641
741.05/743.05	c #Conflicts:      81000 | #Constraints:     665658
741.05/743.05	c #Conflicts:      82000 | #Constraints:     666669
741.05/743.05	c #Conflicts:      83000 | #Constraints:     667692
741.05/743.05	c #Conflicts:      84000 | #Constraints:     668701
741.05/743.05	c INPROCESSING
741.05/743.05	c GARBAGE COLLECT
741.05/743.05	c rational objective 176.459
887.56/889.94	c #Conflicts:      85000 | #Constraints:     663938
887.56/889.94	c #Conflicts:      86000 | #Constraints:     665044
887.56/889.94	c #Conflicts:      87000 | #Constraints:     666130
887.56/889.94	c #Conflicts:      88000 | #Constraints:     667265
887.56/889.94	c #Conflicts:      89000 | #Constraints:     668386
887.56/889.94	c #Conflicts:      90000 | #Constraints:     669523
887.56/889.94	c INPROCESSING
887.56/889.94	c GARBAGE COLLECT
887.56/889.94	c rational objective 176.459
943.91/946.40	c #Conflicts:      91000 | #Constraints:     664144
943.91/946.40	c #Conflicts:      92000 | #Constraints:     665150
943.91/946.40	c #Conflicts:      93000 | #Constraints:     666156
943.91/946.40	c #Conflicts:      94000 | #Constraints:     667180
943.91/946.40	c #Conflicts:      95000 | #Constraints:     668190
943.91/946.40	c #Conflicts:      96000 | #Constraints:     669191
943.91/946.40	c INPROCESSING
943.91/946.40	c GARBAGE COLLECT
943.91/946.40	c rational objective 176.459
1010.75/1013.49	c #Conflicts:      97000 | #Constraints:     663797
1010.75/1013.49	c #Conflicts:      98000 | #Constraints:     664807
1010.75/1013.49	c #Conflicts:      99000 | #Constraints:     665819
1010.75/1013.49	c #Conflicts:     100000 | #Constraints:     666825
1010.75/1013.49	c #Conflicts:     101000 | #Constraints:     667836
1010.75/1013.49	c #Conflicts:     102000 | #Constraints:     668842
1010.75/1013.49	c #Conflicts:     103000 | #Constraints:     669856
1010.75/1013.49	c INPROCESSING
1010.75/1013.49	c GARBAGE COLLECT
1010.75/1013.49	c #Conflicts:     104000 | #Constraints:     664306
1010.75/1013.49	c #Conflicts:     105000 | #Constraints:     665309
1010.75/1013.49	c #Conflicts:     106000 | #Constraints:     666314
1010.75/1013.49	c #Conflicts:     107000 | #Constraints:     667328
1010.75/1013.49	c #Conflicts:     108000 | #Constraints:     668337
1010.75/1013.49	c #Conflicts:     109000 | #Constraints:     669348
1010.75/1013.49	c #Conflicts:     110000 | #Constraints:     670355
1010.75/1013.49	c INPROCESSING
1010.75/1013.49	c GARBAGE COLLECT
1010.75/1013.49	c rational objective 176.459
1061.31/1064.15	c #Conflicts:     111000 | #Constraints:     664672
1061.31/1064.15	c #Conflicts:     112000 | #Constraints:     665680
1061.31/1064.15	c #Conflicts:     113000 | #Constraints:     666688
1061.31/1064.15	c #Conflicts:     114000 | #Constraints:     667694
1061.31/1064.15	c #Conflicts:     115000 | #Constraints:     668708
1061.31/1064.15	c #Conflicts:     116000 | #Constraints:     669720
1061.31/1064.15	c #Conflicts:     117000 | #Constraints:     670729
1061.31/1064.15	c INPROCESSING
1061.31/1064.15	c GARBAGE COLLECT
1061.31/1064.15	c rational objective 176.459
1102.90/1105.89	c #Conflicts:     118000 | #Constraints:     664852
1102.90/1105.89	c #Conflicts:     119000 | #Constraints:     665858
1102.90/1105.89	c #Conflicts:     120000 | #Constraints:     666883
1102.90/1105.89	c #Conflicts:     121000 | #Constraints:     667913
1102.90/1105.89	c #Conflicts:     122000 | #Constraints:     668929
1102.90/1105.89	c #Conflicts:     123000 | #Constraints:     669931
1102.90/1105.89	c #Conflicts:     124000 | #Constraints:     670940
1102.90/1105.89	c INPROCESSING
1102.90/1105.89	c GARBAGE COLLECT
1102.90/1105.89	c rational objective 176.459
1144.49/1147.56	c #Conflicts:     125000 | #Constraints:     664869
1144.49/1147.56	c #Conflicts:     126000 | #Constraints:     665875
1144.49/1147.56	c #Conflicts:     127000 | #Constraints:     666887
1144.49/1147.56	c #Conflicts:     128000 | #Constraints:     667902
1144.49/1147.56	c #Conflicts:     129000 | #Constraints:     668905
1144.49/1147.56	c #Conflicts:     130000 | #Constraints:     669914
1144.49/1147.56	c #Conflicts:     131000 | #Constraints:     670930
1144.49/1147.56	c INPROCESSING
1144.49/1147.56	c GARBAGE COLLECT
1144.49/1147.56	c rational objective 176.459
1186.39/1189.52	c #Conflicts:     132000 | #Constraints:     664653
1186.39/1189.52	c #Conflicts:     133000 | #Constraints:     665669
1186.39/1189.52	c #Conflicts:     134000 | #Constraints:     666675
1186.39/1189.52	c #Conflicts:     135000 | #Constraints:     667683
1186.39/1189.52	c #Conflicts:     136000 | #Constraints:     668697
1186.39/1189.52	c #Conflicts:     137000 | #Constraints:     669716
1186.39/1189.52	c #Conflicts:     138000 | #Constraints:     670733
1186.39/1189.52	c #Conflicts:     139000 | #Constraints:     671746
1186.39/1189.52	c INPROCESSING
1186.39/1189.52	c GARBAGE COLLECT
1186.39/1189.52	c rational objective 176.459
1273.27/1276.65	c #Conflicts:     140000 | #Constraints:     665287
1273.27/1276.65	c #Conflicts:     141000 | #Constraints:     666297
1273.27/1276.65	c #Conflicts:     142000 | #Constraints:     667313
1273.27/1276.65	c #Conflicts:     143000 | #Constraints:     668332
1273.27/1276.65	c #Conflicts:     144000 | #Constraints:     669356
1273.27/1276.65	c #Conflicts:     145000 | #Constraints:     670367
1273.27/1276.65	c #Conflicts:     146000 | #Constraints:     671385
1273.27/1276.65	c #Conflicts:     147000 | #Constraints:     672401
1273.27/1276.65	c INPROCESSING
1273.27/1276.65	c GARBAGE COLLECT
1273.27/1276.65	c rational objective 176.459
1360.35/1363.92	c #Conflicts:     148000 | #Constraints:     665712
1360.35/1363.92	c #Conflicts:     149000 | #Constraints:     666716
1360.35/1363.92	c #Conflicts:     150000 | #Constraints:     667728
1360.35/1363.92	c #Conflicts:     151000 | #Constraints:     668744
1360.35/1363.92	c #Conflicts:     152000 | #Constraints:     669750
1360.35/1363.92	c #Conflicts:     153000 | #Constraints:     670764
1360.35/1363.92	c #Conflicts:     154000 | #Constraints:     671776
1360.35/1363.92	c #Conflicts:     155000 | #Constraints:     672785
1360.35/1363.92	c INPROCESSING
1360.35/1363.92	c GARBAGE COLLECT
1360.35/1363.92	c #Conflicts:     156000 | #Constraints:     665891
1360.35/1363.92	c #Conflicts:     157000 | #Constraints:     666895
1360.35/1363.92	c #Conflicts:     158000 | #Constraints:     667908
1360.35/1363.92	c #Conflicts:     159000 | #Constraints:     668926
1360.35/1363.92	c #Conflicts:     160000 | #Constraints:     669938
1360.35/1363.92	c #Conflicts:     161000 | #Constraints:     670946
1360.35/1363.92	c #Conflicts:     162000 | #Constraints:     671956
1360.35/1363.92	c #Conflicts:     163000 | #Constraints:     672973
1360.35/1363.92	c INPROCESSING
1360.35/1363.92	c GARBAGE COLLECT
1360.35/1363.92	c rational objective 176.915
1447.13/1450.92	c #Conflicts:     164000 | #Constraints:     665893
1447.13/1450.92	c #Conflicts:     165000 | #Constraints:     666907
1447.13/1450.92	c #Conflicts:     166000 | #Constraints:     667919
1447.13/1450.92	c #Conflicts:     167000 | #Constraints:     668928
1447.13/1450.92	c #Conflicts:     168000 | #Constraints:     669939
1447.13/1450.92	c #Conflicts:     169000 | #Constraints:     670947
1447.13/1450.92	c #Conflicts:     170000 | #Constraints:     671961
1447.13/1450.92	c #Conflicts:     171000 | #Constraints:     672971
1447.13/1450.92	c INPROCESSING
1447.13/1450.92	c GARBAGE COLLECT
1447.13/1450.92	c #Conflicts:     172000 | #Constraints:     665672
1447.13/1450.92	c #Conflicts:     173000 | #Constraints:     666674
1447.13/1450.92	c #Conflicts:     174000 | #Constraints:     667686
1447.13/1450.92	c #Conflicts:     175000 | #Constraints:     668702
1447.13/1450.92	c #Conflicts:     176000 | #Constraints:     669708
1447.13/1450.92	c #Conflicts:     177000 | #Constraints:     670723
1447.13/1450.92	c #Conflicts:     178000 | #Constraints:     671736
1447.13/1450.92	c #Conflicts:     179000 | #Constraints:     672736
1447.13/1450.92	c #Conflicts:     180000 | #Constraints:     673739
1447.13/1450.92	c INPROCESSING
1447.13/1450.92	c GARBAGE COLLECT
1447.13/1450.92	c rational objective 176.918
1504.90/1508.81	c #Conflicts:     181000 | #Constraints:     666268
1504.90/1508.81	c #Conflicts:     182000 | #Constraints:     667282
1504.90/1508.81	c #Conflicts:     183000 | #Constraints:     668302
1504.90/1508.81	c #Conflicts:     184000 | #Constraints:     669322
1504.90/1508.81	c #Conflicts:     185000 | #Constraints:     670335
1504.90/1508.81	c #Conflicts:     186000 | #Constraints:     671344
1504.90/1508.81	c #Conflicts:     187000 | #Constraints:     672355
1504.90/1508.81	c #Conflicts:     188000 | #Constraints:     673368
1504.90/1508.81	c #Conflicts:     189000 | #Constraints:     674380
1504.90/1508.81	c INPROCESSING
1504.90/1508.81	c GARBAGE COLLECT
1504.90/1508.81	c rational objective 177.124
1950.09/1955.13	c #Conflicts:     190000 | #Constraints:     666711
1950.09/1955.13	c #Conflicts:     191000 | #Constraints:     667718
1950.09/1955.13	c #Conflicts:     192000 | #Constraints:     668721
1950.09/1955.13	c #Conflicts:     193000 | #Constraints:     669729
1950.09/1955.13	c #Conflicts:     194000 | #Constraints:     670743
1950.09/1955.13	c #Conflicts:     195000 | #Constraints:     671751
1950.09/1955.13	c #Conflicts:     196000 | #Constraints:     672768
1950.09/1955.13	c #Conflicts:     197000 | #Constraints:     673787
1950.09/1955.13	c #Conflicts:     198000 | #Constraints:     674800
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     199000 | #Constraints:     666900
1950.09/1955.13	c #Conflicts:     200000 | #Constraints:     667907
1950.09/1955.13	c #Conflicts:     201000 | #Constraints:     668915
1950.09/1955.13	c #Conflicts:     202000 | #Constraints:     669929
1950.09/1955.13	c #Conflicts:     203000 | #Constraints:     670939
1950.09/1955.13	c #Conflicts:     204000 | #Constraints:     671953
1950.09/1955.13	c #Conflicts:     205000 | #Constraints:     672968
1950.09/1955.13	c #Conflicts:     206000 | #Constraints:     673979
1950.09/1955.13	c #Conflicts:     207000 | #Constraints:     674988
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     208000 | #Constraints:     666910
1950.09/1955.13	c #Conflicts:     209000 | #Constraints:     667915
1950.09/1955.13	c #Conflicts:     210000 | #Constraints:     668926
1950.09/1955.13	c #Conflicts:     211000 | #Constraints:     669940
1950.09/1955.13	c #Conflicts:     212000 | #Constraints:     670955
1950.09/1955.13	c #Conflicts:     213000 | #Constraints:     671966
1950.09/1955.13	c #Conflicts:     214000 | #Constraints:     672967
1950.09/1955.13	c #Conflicts:     215000 | #Constraints:     673973
1950.09/1955.13	c #Conflicts:     216000 | #Constraints:     674979
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     217000 | #Constraints:     666696
1950.09/1955.13	c #Conflicts:     218000 | #Constraints:     667696
1950.09/1955.13	c #Conflicts:     219000 | #Constraints:     668697
1950.09/1955.13	c #Conflicts:     220000 | #Constraints:     669710
1950.09/1955.13	c #Conflicts:     221000 | #Constraints:     670716
1950.09/1955.13	c #Conflicts:     222000 | #Constraints:     671726
1950.09/1955.13	c #Conflicts:     223000 | #Constraints:     672735
1950.09/1955.13	c #Conflicts:     224000 | #Constraints:     673749
1950.09/1955.13	c #Conflicts:     225000 | #Constraints:     674770
1950.09/1955.13	c #Conflicts:     226000 | #Constraints:     675781
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     227000 | #Constraints:     667300
1950.09/1955.13	c #Conflicts:     228000 | #Constraints:     668310
1950.09/1955.13	c #Conflicts:     229000 | #Constraints:     669316
1950.09/1955.13	c #Conflicts:     230000 | #Constraints:     670325
1950.09/1955.13	c #Conflicts:     231000 | #Constraints:     671334
1950.09/1955.13	c #Conflicts:     232000 | #Constraints:     672343
1950.09/1955.13	c #Conflicts:     233000 | #Constraints:     673352
1950.09/1955.13	c #Conflicts:     234000 | #Constraints:     674362
1950.09/1955.13	c #Conflicts:     235000 | #Constraints:     675370
1950.09/1955.13	c #Conflicts:     236000 | #Constraints:     676377
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     237000 | #Constraints:     667690
1950.09/1955.13	c #Conflicts:     238000 | #Constraints:     668700
1950.09/1955.13	c #Conflicts:     239000 | #Constraints:     669710
1950.09/1955.13	c #Conflicts:     240000 | #Constraints:     670721
1950.09/1955.13	c #Conflicts:     241000 | #Constraints:     671728
1950.09/1955.13	c #Conflicts:     242000 | #Constraints:     672744
1950.09/1955.13	c #Conflicts:     243000 | #Constraints:     673751
1950.09/1955.13	c #Conflicts:     244000 | #Constraints:     674758
1950.09/1955.13	c #Conflicts:     245000 | #Constraints:     675764
1950.09/1955.13	c #Conflicts:     246000 | #Constraints:     676772
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     247000 | #Constraints:     667894
1950.09/1955.13	c #Conflicts:     248000 | #Constraints:     668896
1950.09/1955.13	c #Conflicts:     249000 | #Constraints:     669912
1950.09/1955.13	c #Conflicts:     250000 | #Constraints:     670928
1950.09/1955.13	c #Conflicts:     251000 | #Constraints:     671933
1950.09/1955.13	c #Conflicts:     252000 | #Constraints:     672936
1950.09/1955.13	c #Conflicts:     253000 | #Constraints:     673939
1950.09/1955.13	c #Conflicts:     254000 | #Constraints:     674944
1950.09/1955.13	c #Conflicts:     255000 | #Constraints:     675949
1950.09/1955.13	c #Conflicts:     256000 | #Constraints:     676951
1950.09/1955.13	c INPROCESSING
1950.09/1955.13	c GARBAGE COLLECT
1950.09/1955.13	c #Conflicts:     257000 | #Constraints:     667876
1950.09/1955.13	c #Conflicts:     258000 | #Constraints:     668881
1950.09/1955.13	c #Conflicts:     259000 | #Constraints:     669883
1950.09/1955.13	c #Conflicts:     260000 | #Constraints:     670887
1950.09/1955.13	c #Conflicts:     261000 | #Constraints:     671895
1950.09/1955.13	c #Conflicts:     262000 | #Constraints:     672904
1950.09/1955.13	c #Conflicts:     263000 | #Constraints:     673909
1950.09/1955.13	c #Conflicts:     264000 | #Constraints:     674922
2000.16/2005.32	c #Conflicts:     265000 | #Constraints:     675932
2000.16/2005.32	c #Conflicts:     266000 | #Constraints:     676951
2000.16/2005.32	c INPROCESSING
2000.16/2005.32	c GARBAGE COLLECT
2000.16/2005.32	c rational objective 208.851
2008.25/2013.44	c bounds 408 >= 24 @ 1994.03
2009.33/2014.58	c bounds 407 >= 24 @ 1995.15
2009.44/2014.60	c bounds 406 >= 24 @ 1995.17
2011.94/2017.11	c bounds 404 >= 24 @ 1997.63
2011.94/2017.12	c bounds 404 >= 27 @ 1997.64
2052.13/2057.48	c #Conflicts:     267000 | #Constraints:     667693
2052.13/2057.48	c #Conflicts:     268000 | #Constraints:     668693
2052.13/2057.48	c #Conflicts:     269000 | #Constraints:     669693
2052.13/2057.48	c #Conflicts:     270000 | #Constraints:     670693
2052.13/2057.48	c #Conflicts:     271000 | #Constraints:     671693
2052.13/2057.48	c #Conflicts:     272000 | #Constraints:     672693
2052.13/2057.48	c #Conflicts:     273000 | #Constraints:     673693
2052.13/2057.48	c #Conflicts:     274000 | #Constraints:     674693
2052.13/2057.48	c #Conflicts:     275000 | #Constraints:     675693
2052.13/2057.48	c #Conflicts:     276000 | #Constraints:     676693
2052.13/2057.48	c #Conflicts:     277000 | #Constraints:     677693
2052.13/2057.48	c INPROCESSING
2052.13/2057.48	c GARBAGE COLLECT
2052.13/2057.48	c rational objective 176.018
2056.52/2061.89	c bounds 402 >= 27 @ 2042.05
2057.51/2062.85	c bounds 400 >= 27 @ 2042.98
2068.09/2073.43	c #Conflicts:     278000 | #Constraints:     668251
2068.09/2073.43	c bounds 397 >= 27 @ 2053.37
2068.09/2073.45	c bounds 397 >= 29 @ 2053.39
2068.09/2073.46	c bounds 397 >= 31 @ 2053.4
2068.09/2073.48	c bounds 397 >= 33 @ 2053.41
2068.19/2073.50	c bounds 397 >= 35 @ 2053.42
2068.19/2073.56	c bounds 397 >= 37 @ 2053.48
2069.69/2075.06	c bounds 397 >= 39 @ 2054.95
2121.95/2127.46	c #Conflicts:     279000 | #Constraints:     669307
2121.95/2127.46	c #Conflicts:     280000 | #Constraints:     670307
2121.95/2127.46	c #Conflicts:     281000 | #Constraints:     671307
2121.95/2127.46	c #Conflicts:     282000 | #Constraints:     672307
2121.95/2127.46	c #Conflicts:     283000 | #Constraints:     673307
2121.95/2127.46	c #Conflicts:     284000 | #Constraints:     674307
2121.95/2127.46	c #Conflicts:     285000 | #Constraints:     675307
2121.95/2127.46	c #Conflicts:     286000 | #Constraints:     676307
2121.95/2127.46	c #Conflicts:     287000 | #Constraints:     677307
2121.95/2127.46	c bounds 397 >= 41 @ 2106.73
2123.04/2128.54	c bounds 396 >= 41 @ 2107.79
2123.15/2128.64	c bounds 395 >= 41 @ 2107.88
2139.31/2144.81	c #Conflicts:     288000 | #Constraints:     678337
2139.31/2144.81	c INPROCESSING
2139.31/2144.81	c GARBAGE COLLECT
2139.31/2144.81	c rational objective 176.746
2148.89/2154.43	c bounds 394 >= 41 @ 2133.38
2149.59/2155.18	c bounds 393 >= 41 @ 2134.11
2149.68/2155.22	c bounds 391 >= 41 @ 2134.14
2150.18/2155.72	c bounds 387 >= 41 @ 2134.63
2151.97/2157.55	c bounds 386 >= 41 @ 2136.42
2152.57/2158.19	c bounds 385 >= 41 @ 2137.05
2156.47/2162.10	c bounds 384 >= 41 @ 2140.87
2228.97/2234.79	c #Conflicts:     289000 | #Constraints:     668679
2228.97/2234.79	c #Conflicts:     290000 | #Constraints:     669679
2228.97/2234.79	c #Conflicts:     291000 | #Constraints:     670679
2228.97/2234.79	c #Conflicts:     292000 | #Constraints:     671679
2228.97/2234.79	c #Conflicts:     293000 | #Constraints:     672680
2228.97/2234.79	c #Conflicts:     294000 | #Constraints:     673680
2228.97/2234.79	c #Conflicts:     295000 | #Constraints:     674680
2228.97/2234.79	c #Conflicts:     296000 | #Constraints:     675680
2228.97/2234.79	c #Conflicts:     297000 | #Constraints:     676680
2228.97/2234.79	c #Conflicts:     298000 | #Constraints:     677680
2228.97/2234.79	c #Conflicts:     299000 | #Constraints:     678680
2228.97/2234.79	c INPROCESSING
2228.97/2234.79	c GARBAGE COLLECT
2228.97/2234.79	c rational objective 176.781
2248.93/2254.71	c #Conflicts:     300000 | #Constraints:     668862
2248.93/2254.71	c bounds 379 >= 41 @ 2232.44
2323.62/2329.68	c #Conflicts:     301000 | #Constraints:     669873
2323.62/2329.68	c #Conflicts:     302000 | #Constraints:     670880
2323.62/2329.68	c #Conflicts:     303000 | #Constraints:     671895
2323.62/2329.68	c #Conflicts:     304000 | #Constraints:     672903
2323.62/2329.68	c bounds 374 >= 41 @ 2305.96
2323.72/2329.70	c bounds 374 >= 42 @ 2305.98
2323.72/2329.73	c bounds 374 >= 43 @ 2306.01
2323.72/2329.76	c bounds 374 >= 44 @ 2306.03
2323.72/2329.78	c bounds 374 >= 45 @ 2306.05
2323.82/2329.81	c bounds 374 >= 46 @ 2306.07
2323.82/2329.84	c bounds 374 >= 47 @ 2306.09
2323.82/2329.87	c bounds 374 >= 48 @ 2306.11
2323.92/2329.91	c bounds 374 >= 49 @ 2306.15
2323.92/2329.95	c bounds 374 >= 50 @ 2306.18
2323.92/2330.00	c bounds 374 >= 51 @ 2306.23
2328.91/2334.91	c bounds 374 >= 52 @ 2311.1
2328.91/2334.98	c bounds 374 >= 53 @ 2311.17
2329.02/2335.07	c bounds 374 >= 54 @ 2311.25
2329.21/2335.21	c bounds 374 >= 55 @ 2311.39
2329.41/2335.45	c bounds 374 >= 56 @ 2311.61
2329.80/2335.80	c bounds 374 >= 57 @ 2311.95
2330.31/2336.35	c bounds 374 >= 58 @ 2312.47
2331.41/2337.48	c bounds 374 >= 59 @ 2313.58
2332.60/2338.65	c #Conflicts:     305000 | #Constraints:     674111
2332.60/2338.65	c bounds 374 >= 60 @ 2314.72
2334.79/2340.80	c bounds 374 >= 61 @ 2316.82
2337.48/2343.57	c #Conflicts:     306000 | #Constraints:     675171
2337.48/2343.57	c bounds 374 >= 62 @ 2319.52
2343.17/2349.27	c #Conflicts:     307000 | #Constraints:     676201
2343.17/2349.27	c bounds 374 >= 63 @ 2325.06
2348.86/2354.91	c #Conflicts:     308000 | #Constraints:     677225
2348.86/2354.91	c bounds 374 >= 64 @ 2330.55
2359.43/2365.55	c #Conflicts:     309000 | #Constraints:     678252
2359.43/2365.55	c #Conflicts:     310000 | #Constraints:     679252
2359.43/2365.55	c INPROCESSING
2359.43/2365.55	c GARBAGE COLLECT
2359.43/2365.55	c rational objective 176.781
2368.11/2374.23	c bounds 374 >= 65 @ 2349.58
2374.69/2380.86	c #Conflicts:     311000 | #Constraints:     669161
2374.69/2380.86	c bounds 374 >= 66 @ 2356.11
2385.16/2391.35	c #Conflicts:     312000 | #Constraints:     670197
2385.16/2391.35	c #Conflicts:     313000 | #Constraints:     671197
2385.16/2391.35	c bounds 374 >= 67 @ 2366.43
2398.43/2404.62	c #Conflicts:     314000 | #Constraints:     672230
2398.43/2404.62	c #Conflicts:     315000 | #Constraints:     673230
2398.43/2404.62	c bounds 374 >= 68 @ 2379.48
2416.38/2422.61	c #Conflicts:     316000 | #Constraints:     674258
2416.38/2422.61	c #Conflicts:     317000 | #Constraints:     675258
2416.38/2422.61	c #Conflicts:     318000 | #Constraints:     676258
2416.38/2422.61	c bounds 374 >= 69 @ 2397.16
2435.73/2442.08	c #Conflicts:     319000 | #Constraints:     677288
2435.73/2442.08	c #Conflicts:     320000 | #Constraints:     678288
2435.73/2442.08	c bounds 374 >= 70 @ 2416.39
2505.56/2512.08	c #Conflicts:     321000 | #Constraints:     679327
2505.56/2512.08	c INPROCESSING
2505.56/2512.08	c GARBAGE COLLECT
2505.56/2512.08	c rational objective 176.781
2532.07/2538.62	c #Conflicts:     322000 | #Constraints:     669006
2532.07/2538.62	c #Conflicts:     323000 | #Constraints:     670006
2532.07/2538.62	c #Conflicts:     324000 | #Constraints:     671006
2532.07/2538.62	c bounds 374 >= 71 @ 2512.13
2555.32/2561.96	c #Conflicts:     325000 | #Constraints:     672057
2555.32/2561.96	c #Conflicts:     326000 | #Constraints:     673057
2555.32/2561.96	c bounds 374 >= 72 @ 2535.21
2567.98/2574.63	c #Conflicts:     327000 | #Constraints:     674099
2567.98/2574.63	c #Conflicts:     328000 | #Constraints:     675099
2567.98/2574.63	c bounds 374 >= 73 @ 2547.59
2586.23/2592.98	c #Conflicts:     329000 | #Constraints:     676127
2586.23/2592.98	c #Conflicts:     330000 | #Constraints:     677127
2586.23/2592.98	c #Conflicts:     331000 | #Constraints:     678127
2586.23/2592.98	c bounds 374 >= 74 @ 2565.55
2603.79/2610.54	c #Conflicts:     332000 | #Constraints:     679154
2603.79/2610.54	c #Conflicts:     333000 | #Constraints:     680154
2603.79/2610.54	c INPROCESSING
2603.79/2610.54	c GARBAGE COLLECT
2603.79/2610.54	c rational objective 176.781
2614.46/2621.29	c bounds 374 >= 75 @ 2593.41
2643.59/2650.44	c #Conflicts:     334000 | #Constraints:     669720
2643.59/2650.44	c #Conflicts:     335000 | #Constraints:     670721
2643.59/2650.44	c #Conflicts:     336000 | #Constraints:     671721
2643.59/2650.44	c bounds 374 >= 76 @ 2622.07
2672.31/2679.28	c #Conflicts:     337000 | #Constraints:     672763
2672.31/2679.28	c #Conflicts:     338000 | #Constraints:     673763
2672.31/2679.28	c #Conflicts:     339000 | #Constraints:     674764
2672.31/2679.28	c #Conflicts:     340000 | #Constraints:     675764
2672.31/2679.28	c #Conflicts:     341000 | #Constraints:     676764
2672.31/2679.28	c bounds 374 >= 77 @ 2650.26
2760.19/2767.37	c #Conflicts:     342000 | #Constraints:     677803
2760.19/2767.37	c #Conflicts:     343000 | #Constraints:     678803
2760.19/2767.37	c #Conflicts:     344000 | #Constraints:     679803
2760.19/2767.37	c #Conflicts:     345000 | #Constraints:     680803
2760.19/2767.37	c INPROCESSING
2760.19/2767.37	c GARBAGE COLLECT
2760.19/2767.37	c rational objective 176.781
2807.06/2814.32	c #Conflicts:     346000 | #Constraints:     670117
2807.06/2814.32	c #Conflicts:     347000 | #Constraints:     671117
2807.06/2814.32	c #Conflicts:     348000 | #Constraints:     672117
2807.06/2814.32	c #Conflicts:     349000 | #Constraints:     673117
2807.06/2814.32	c #Conflicts:     350000 | #Constraints:     674117
2807.06/2814.32	c bounds 374 >= 78 @ 2783.57
2839.28/2846.62	c #Conflicts:     351000 | #Constraints:     675144
2839.28/2846.62	c #Conflicts:     352000 | #Constraints:     676144
2839.28/2846.62	c #Conflicts:     353000 | #Constraints:     677144
2839.28/2846.62	c #Conflicts:     354000 | #Constraints:     678146
2839.28/2846.62	c bounds 374 >= 79 @ 2815.27
2864.61/2872.08	c #Conflicts:     355000 | #Constraints:     679188
2864.61/2872.08	c #Conflicts:     356000 | #Constraints:     680188
2864.61/2872.08	c #Conflicts:     357000 | #Constraints:     681188
2864.61/2872.08	c INPROCESSING
2864.61/2872.08	c GARBAGE COLLECT
2864.61/2872.08	c rational objective 176.781
2925.65/2933.26	c #Conflicts:     358000 | #Constraints:     670331
2925.65/2933.26	c #Conflicts:     359000 | #Constraints:     671332
2925.65/2933.26	c #Conflicts:     360000 | #Constraints:     672332
2925.65/2933.26	c #Conflicts:     361000 | #Constraints:     673332
2925.65/2933.26	c #Conflicts:     362000 | #Constraints:     674334
2925.65/2933.26	c #Conflicts:     363000 | #Constraints:     675334
2925.65/2933.26	c bounds 374 >= 80 @ 2900.32
3071.88/3079.82	c #Conflicts:     364000 | #Constraints:     676383
3071.88/3079.82	c #Conflicts:     365000 | #Constraints:     677383
3071.88/3079.82	c #Conflicts:     366000 | #Constraints:     678383
3071.88/3079.82	c #Conflicts:     367000 | #Constraints:     679383
3071.88/3079.82	c #Conflicts:     368000 | #Constraints:     680383
3071.88/3079.82	c #Conflicts:     369000 | #Constraints:     681383
3071.88/3079.82	c INPROCESSING
3071.88/3079.82	c GARBAGE COLLECT
3071.88/3079.82	c rational objective 176.781
3083.85/3091.85	c bounds 374 >= 81 @ 3057.25
3169.43/3177.69	c #Conflicts:     370000 | #Constraints:     670385
3169.43/3177.69	c #Conflicts:     371000 | #Constraints:     671386
3169.43/3177.69	c #Conflicts:     372000 | #Constraints:     672386
3169.43/3177.69	c #Conflicts:     373000 | #Constraints:     673386
3169.43/3177.69	c #Conflicts:     374000 | #Constraints:     674386
3169.43/3177.69	c #Conflicts:     375000 | #Constraints:     675386
3169.43/3177.69	c #Conflicts:     376000 | #Constraints:     676388
3169.43/3177.69	c #Conflicts:     377000 | #Constraints:     677388
3169.43/3177.69	c #Conflicts:     378000 | #Constraints:     678388
3169.43/3177.69	c bounds 374 >= 82 @ 3141.66
3205.44/3213.75	c #Conflicts:     379000 | #Constraints:     679433
3205.44/3213.75	c #Conflicts:     380000 | #Constraints:     680433
3205.44/3213.75	c #Conflicts:     381000 | #Constraints:     681434
3205.44/3213.75	c INPROCESSING
3205.44/3213.75	c GARBAGE COLLECT
3205.44/3213.75	c rational objective 176.781
3328.43/3337.01	c #Conflicts:     382000 | #Constraints:     670184
3328.43/3337.01	c #Conflicts:     383000 | #Constraints:     671184
3328.43/3337.01	c #Conflicts:     384000 | #Constraints:     672184
3328.43/3337.01	c #Conflicts:     385000 | #Constraints:     673184
3328.43/3337.01	c #Conflicts:     386000 | #Constraints:     674184
3328.43/3337.01	c #Conflicts:     387000 | #Constraints:     675184
3328.43/3337.01	c #Conflicts:     388000 | #Constraints:     676185
3328.43/3337.01	c #Conflicts:     389000 | #Constraints:     677185
3328.43/3337.01	c #Conflicts:     390000 | #Constraints:     678185
3328.43/3337.01	c #Conflicts:     391000 | #Constraints:     679185
3328.43/3337.01	c #Conflicts:     392000 | #Constraints:     680185
3328.43/3337.01	c #Conflicts:     393000 | #Constraints:     681186
3328.43/3337.01	c bounds 374 >= 83 @ 3297.92
3433.96/3442.85	c #Conflicts:     394000 | #Constraints:     682240
3433.96/3442.85	c INPROCESSING
3433.96/3442.85	c GARBAGE COLLECT
3433.96/3442.85	c rational objective 176.786

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=154138, runsolver pid=154134
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 0.11 0.09 0.09 5/268 154140
/proc/meminfo: memFree=87506360/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154140] ppid=154138 vsize=163932 memory=147348 CPUtime=0.07 cores=5,7
/proc/154140/stat : 154140 (pbsuma) R 154138 154138 154059 0 -1 4194304 4154 0 0 0 5 2 0 0 20 0 1 0 183984091 167866368 36837 18446744073709551615 4210688 4653049 140725419404704 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30670848 140725419411719 140725419412016 140725419412016 140725419417583 0
/proc/154140/statm: 40983 36837 960 108 0 38391 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 168124 KiB
Current children cumulated memory: 150420 KiB

[startup+0.205453 s]*
/proc/loadavg: 0.11 0.09 0.09 5/268 154140
/proc/meminfo: memFree=87489160/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154140] ppid=154138 vsize=181448 memory=168032 CPUtime=0.18 cores=5,7
/proc/154140/stat : 154140 (pbsuma) R 154138 154138 154059 0 -1 4194304 9003 0 0 0 15 3 0 0 20 0 1 0 183984091 185802752 42008 18446744073709551615 4210688 4653049 140725419404704 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30670848 140725419411719 140725419412016 140725419412016 140725419417583 0
/proc/154140/statm: 45362 42008 960 108 0 42770 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 171104 KiB

[startup+0.305492 s]*
/proc/loadavg: 0.11 0.09 0.09 5/268 154141
/proc/meminfo: memFree=87489248/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154140] ppid=154138 vsize=195444 memory=185304 CPUtime=0.28 cores=5,7
/proc/154140/stat : 154140 (pbsuma) R 154138 154138 154059 0 -1 4194304 12302 0 0 0 24 4 0 0 20 0 1 0 183984091 200134656 46326 18446744073709551615 4210688 4653049 140725419404704 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30670848 140725419411719 140725419412016 140725419412016 140725419417583 0
/proc/154140/statm: 48861 46326 960 108 0 46269 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199636 KiB
Current children cumulated memory: 188376 KiB

[startup+0.700208 s]
/proc/loadavg: 0.11 0.09 0.09 5/268 154142
/proc/meminfo: memFree=87415600/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154140] ppid=154138 vsize=349120 memory=294976 CPUtime=0.67 cores=5,7
/proc/154140/stat : 154140 (pbsuma) R 154138 154138 154059 0 -1 4194304 26663 0 0 0 59 8 0 0 20 0 1 0 183984091 357498880 73744 18446744073709551615 4210688 4653049 140725419404704 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30670848 140725419411719 140725419412016 140725419412016 140725419417583 0
/proc/154140/statm: 87280 73744 992 108 0 84688 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 353312 KiB
Current children cumulated memory: 298048 KiB

[startup+1.5002 s]
/proc/loadavg: 0.11 0.09 0.09 5/268 154143
/proc/meminfo: memFree=87466424/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=79848 memory=36424 CPUtime=0.6 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 7105 0 0 0 47 13 0 0 20 0 1 0 183984178 81764352 9106 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 19962 9106 1984 1147 0 7388 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 84040 KiB
Current children cumulated memory: 39496 KiB

[startup+3.10533 s]
/proc/loadavg: 0.42 0.15 0.11 5/268 154143
/proc/meminfo: memFree=87275412/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=150852 memory=99904 CPUtime=2.2 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 21199 0 0 0 172 48 0 0 20 0 1 0 183984178 154472448 24976 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 37713 24976 1984 1147 0 25139 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 155044 KiB
Current children cumulated memory: 102976 KiB

[startup+6.30022 s]
/proc/loadavg: 0.42 0.15 0.11 5/268 154144
/proc/meminfo: memFree=86457248/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=914864 memory=667160 CPUtime=5.39 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 54910 0 0 0 462 77 0 0 20 0 1 0 183984178 936820736 166790 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 228716 166790 2336 1147 0 216142 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 919056 KiB
Current children cumulated memory: 670232 KiB

[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 5/268 154144
/proc/meminfo: memFree=86051088/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=1086496 memory=773440 CPUtime=11.77 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 58972 0 0 0 1070 107 0 0 20 0 1 0 183984178 1112571904 193360 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 271624 193360 2400 1147 0 259050 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1090688 KiB
Current children cumulated memory: 776512 KiB

[startup+25.5002 s]
/proc/loadavg: 1.59 0.44 0.21 5/268 154145
/proc/meminfo: memFree=85268912/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=1155832 memory=842056 CPUtime=24.53 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 63424 0 0 0 2316 137 0 0 20 0 1 0 183984178 1183571968 210514 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 288958 210514 2400 1147 0 276384 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1160024 KiB
Current children cumulated memory: 845128 KiB

[startup+51.1054 s]
/proc/loadavg: 2.61 0.77 0.32 5/268 154145
/proc/meminfo: memFree=83545524/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=1401356 memory=1097216 CPUtime=50.07 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 100145 0 0 0 4819 188 0 0 20 0 1 0 183984178 1434988544 274304 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 350339 274304 2400 1147 0 337765 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1405548 KiB
Current children cumulated memory: 1100288 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.33 0.54 5/268 154147
/proc/meminfo: memFree=81057228/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=1540948 memory=1165020 CPUtime=101.14 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 110623 0 0 0 9894 220 0 0 20 0 1 0 183984178 1577930752 291255 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 385237 291255 2400 1147 0 372663 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1545140 KiB
Current children cumulated memory: 1168092 KiB

[startup+162.3 s]
/proc/loadavg: 4.31 1.94 0.80 5/267 154180
/proc/meminfo: memFree=77552820/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=1550244 memory=1179108 CPUtime=160.98 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 111605 0 0 0 15836 262 0 0 20 0 1 0 183984178 1587449856 294777 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 387561 294777 2400 1147 0 374987 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1554436 KiB
Current children cumulated memory: 1182180 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 2.40 1.03 5/272 154205
/proc/meminfo: memFree=74801052/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=2005512 memory=1577528 CPUtime=220.83 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 151971 0 0 0 21738 345 0 0 20 0 1 0 183984178 2053644288 394382 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 501378 394382 2464 1147 0 488804 0

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

[startup+3342.3 s]
/proc/loadavg: 4.58 4.48 4.37 5/270 154383
/proc/meminfo: memFree=1264808/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3332.85 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1038691 0 0 0 330312 2973 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.42 4.36 5/271 154387
/proc/meminfo: memFree=1244988/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3392.7 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1046731 0 0 0 336280 2990 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.42 4.36 5/271 154389
/proc/meminfo: memFree=1162496/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3452.55 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1052860 0 0 0 342233 3022 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.67 4.50 4.39 5/271 154391
/proc/meminfo: memFree=1273384/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3512.39 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1073644 0 0 0 348103 3136 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.75 4.57 4.43 5/271 154393
/proc/meminfo: memFree=1197468/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3572.24 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1104871 0 0 0 354022 3202 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.71 4.58 4.43 5/271 154393
/proc/meminfo: memFree=1284004/131250000 swapFree=33008868/33010684
[pid=154138] ppid=154134 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/154138/stat : 154138 (run-opt-break-l) S 154134 154138 154059 0 -1 4194304 238 29118 0 0 0 0 76 10 20 0 1 0 183984090 4292608 768 18446744073709551615 94845969580032 94845970474565 140724680344848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94845970713616 94845970761360 94845977202688 140724680350009 140724680350172 140724680350172 140724680355776 0
/proc/154138/statm: 1048 768 704 219 0 110 0
[pid=154143] ppid=154138 vsize=4486060 memory=3605812 CPUtime=3599.16 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154138 154138 154059 0 -1 4194304 1104871 0 0 0 356712 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4490252 KiB
Current children cumulated memory: 3608884 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3569.88 s, system=32.2192 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+3609.6 s]
/proc/loadavg: 4.71 4.58 4.43 5/270 154393
/proc/meminfo: memFree=1251244/131250000 swapFree=33008868/33010684
[pid=154143] ppid=154134 vsize=4486060 memory=3605812 CPUtime=3599.46 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154134 154138 154059 0 -1 4194304 1104871 0 0 0 356742 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current cumulated CPU time of completed processes: 0.867002 s
Current children cumulated CPU time: 3599.46 s
Current children cumulated vsize: 4486060 KiB
Current children cumulated memory: 3605812 KiB

[startup+3610.4 s]
/proc/loadavg: 4.71 4.58 4.43 4/264 154401
/proc/meminfo: memFree=2687836/131250000 swapFree=33008868/33010684
[pid=154143] ppid=154134 vsize=4486060 memory=3605812 CPUtime=3600.26 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154134 154138 154059 0 -1 4194304 1104871 0 0 0 356822 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current cumulated CPU time of completed processes: 0.867002 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 4486060 KiB
Current children cumulated memory: 3605812 KiB

[startup+3610.8 s]
/proc/loadavg: 4.71 4.58 4.43 4/264 154401
/proc/meminfo: memFree=2687836/131250000 swapFree=33008868/33010684
[pid=154143] ppid=154134 vsize=4486060 memory=3605812 CPUtime=3600.65 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154134 154138 154059 0 -1 4194304 1104871 0 0 0 356861 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current cumulated CPU time of completed processes: 0.867002 s
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 4486060 KiB
Current children cumulated memory: 3605812 KiB

[startup+3611.2 s]
/proc/loadavg: 4.71 4.58 4.43 3/260 154409
/proc/meminfo: memFree=4247940/131250000 swapFree=33008868/33010684
[pid=154143] ppid=154134 vsize=4486060 memory=3605812 CPUtime=3601.05 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154134 154138 154059 0 -1 4194304 1104871 0 0 0 356901 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current cumulated CPU time of completed processes: 0.867002 s
Current children cumulated CPU time: 3601.05 s
Current children cumulated vsize: 4486060 KiB
Current children cumulated memory: 3605812 KiB

[startup+3611.3 s]
/proc/loadavg: 4.71 4.58 4.43 3/260 154409
/proc/meminfo: memFree=4247940/131250000 swapFree=33008868/33010684
[pid=154143] ppid=154134 vsize=4486060 memory=3605812 CPUtime=3601.15 cores=5,7
/proc/154143/stat : 154143 (roundingsat) R 154134 154138 154059 0 -1 4194304 1104871 0 0 0 356911 3204 0 0 20 0 1 0 183984178 4593725440 901453 18446744073709551615 4227072 8923577 140736967657120 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11603968 140736967661880 140736967662118 140736967662118 140736967667690 0
/proc/154143/statm: 1121515 901453 2528 1147 0 1108941 0
Current cumulated CPU time of completed processes: 0.867002 s
Current children cumulated CPU time: 3601.15 s
Current children cumulated vsize: 4486060 KiB
Current children cumulated memory: 3605812 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.37
CPU time (s): 3602.1
CPU user time (s): 3569.88
CPU system time (s): 32.2192
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 4529108
Max. memory (cumulated for all children) (KiB): 3647708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.88
system time used= 32.2192
maximum resident set size= 3644636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1134227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55151272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243
involuntary context switches= 4025


# summary of solver processes directly reported to runsolver:
#   pid: 154138,154143
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3569.88
#   total CPU system time (s): 32.2192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34571 second user time and 16.892 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-16 18:23:58
IDJOB=4532380
IDBENCH=147564
IDSOLVER=3393
FILE ID=nodeC013/4532380-1752683038
RUNJOBID= nodeC013-1752683038-154079
SLURM_JOB_ID= 9686908
Free space on /tmp= 432572 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532380-1752683038/watcher-4532380-1752683038 -o /tmp/evaluation-result-4532380-1752683038/solver-4532380-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752683038-154079 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532380-1752683038.opb /tmp/proof-4532380-1752683038

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=210464024

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        87697888 kB
MemAvailable:   129601192 kB
Buffers:            1668 kB
Cached:         42647344 kB
SwapCached:           88 kB
Active:           678256 kB
Inactive:       42144160 kB
Active(anon):     189916 kB
Inactive(anon):     4868 kB
Active(file):     488340 kB
Inactive(file): 42139292 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50836 kB
Writeback:             8 kB
AnonPages:        176656 kB
Mapped:           103908 kB
Shmem:             21380 kB
KReclaimable:     229424 kB
Slab:             327888 kB
SReclaimable:     229424 kB
SUnreclaim:        98464 kB
KernelStack:        4132 kB
PageTables:         2984 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     505936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 277540 MiB
End job on nodeC013 at 2025-07-16 19:24:10