Trace number 4489600

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22ad? (TO) 3602.07 3613.75

General information on the benchmark

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

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489600-1751357479.opb'
0.28/0.34	c 	read 17.23MB  (324.11ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.72	c	 [group: #orbits ~= 0] (378.57ms)
0.67/0.72	c 
0.67/0.72	c detect special group actions
0.67/0.72	c 	probe for Johnson action (limit=64)
0.67/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.73	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	 (18.64ms)
0.67/0.74	c 
0.67/0.74	c detect symmetries on remainder
0.67/0.74	c 	[graph: #vertices 706710 #edges 2766418]
0.67/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (52.22ms)
0.67/0.79	c 
0.67/0.79	c finalize break order and special generators
0.67/0.79	c 
0.67/0.79	c generation finished
0.67/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.79	c 
0.67/0.79	c write result to 'HOME/instance-4489600-1751357479.opb.pre'
0.77/0.83	c 	wrote 17.23MB (35.73ms)
0.77/0.83	c ------------------------------------------------------------------
0.77/0.83	c                 378.57ms 46.63% approx_orbits
0.77/0.83	c                 324.11ms 39.92% parse
0.77/0.83	c                  52.22ms  6.43% detect_generic
0.77/0.83	c                  35.73ms  4.40% output
0.77/0.83	c                  18.64ms  2.30% detect_special
0.77/0.83	c                   2.19ms  0.27% other
0.77/0.83	c                   0.38ms  0.05% finalize_order
0.77/0.83	c         ───────────────────────────────────────────────
0.77/0.83	c                 811.83ms   100% total
0.77/0.83	c ------------------------------------------------------------------
0.87/0.98	c RoundingSat 2
0.87/0.98	c branch pb25
0.87/0.98	c commit 63f22ad
3.65/3.71	c #variables 10000 #constraints 656900
3.65/3.71	c objective is ce32 
4.44/4.58	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.44/4.58	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.44/4.58	c bounds 5543 >= 0 @ 2.90611
6.94/7.01	c rational objective 185.072
10.63/10.77	c bounds 5504 >= 0 @ 8.96957
10.63/10.79	c bounds 5439 >= 0 @ 8.98848
10.73/10.80	c bounds 5436 >= 0 @ 8.99211
10.73/10.80	c bounds 5404 >= 0 @ 8.9954
10.73/10.82	c bounds 5393 >= 0 @ 9.0096
10.73/10.82	c bounds 5318 >= 0 @ 9.01431
10.73/10.83	c bounds 5248 >= 0 @ 9.01873
10.73/10.84	c bounds 5226 >= 0 @ 9.02804
10.73/10.85	c bounds 5221 >= 0 @ 9.03753
10.73/10.86	c bounds 5171 >= 0 @ 9.04369
10.73/10.87	c bounds 5116 >= 0 @ 9.04661
10.73/10.87	c bounds 5101 >= 0 @ 9.05282
10.73/10.88	c bounds 5046 >= 0 @ 9.06278
10.82/10.90	c bounds 4967 >= 0 @ 9.07598
10.82/10.90	c bounds 4912 >= 0 @ 9.08116
10.82/10.91	c bounds 4907 >= 0 @ 9.08732
10.82/10.93	c bounds 4905 >= 0 @ 9.10813
10.82/10.94	c bounds 4848 >= 0 @ 9.11468
10.82/10.96	c bounds 4827 >= 0 @ 9.13047
10.82/10.98	c bounds 4802 >= 0 @ 9.14585
10.82/10.98	c bounds 4799 >= 0 @ 9.15268
10.93/11.00	c bounds 4780 >= 0 @ 9.1653
10.93/11.05	c bounds 4779 >= 0 @ 9.21743
10.93/11.06	c bounds 4771 >= 0 @ 9.22403
10.93/11.08	c bounds 4764 >= 0 @ 9.23524
10.93/11.08	c bounds 4565 >= 0 @ 9.23869
10.93/11.09	c bounds 4528 >= 0 @ 9.24394
10.93/11.09	c bounds 4490 >= 0 @ 9.24836
11.03/11.10	c bounds 4442 >= 0 @ 9.25294
11.03/11.11	c bounds 4320 >= 0 @ 9.25839
11.03/11.11	c bounds 4302 >= 0 @ 9.26283
11.03/11.12	c bounds 4268 >= 0 @ 9.26928
11.03/11.13	c bounds 4200 >= 0 @ 9.27392
11.03/11.14	c bounds 4172 >= 0 @ 9.28687
11.03/11.16	c bounds 4161 >= 0 @ 9.29836
11.03/11.16	c bounds 4135 >= 0 @ 9.30278
11.03/11.17	c bounds 4067 >= 0 @ 9.30788
11.12/11.27	c bounds 4026 >= 0 @ 9.40131
11.12/11.28	c bounds 3946 >= 0 @ 9.40659
11.12/11.28	c bounds 3929 >= 0 @ 9.4118
11.42/11.51	c bounds 3926 >= 0 @ 9.63602
11.52/11.61	c bounds 3911 >= 0 @ 9.74096
11.52/11.62	c bounds 3887 >= 0 @ 9.74677
11.52/11.63	c bounds 3838 >= 0 @ 9.75117
11.62/11.73	c bounds 3836 >= 0 @ 9.84348
11.72/11.84	c bounds 3832 >= 0 @ 9.95549
11.82/11.93	c bounds 3827 >= 0 @ 10.0481
11.82/11.95	c bounds 3812 >= 0 @ 10.0606
11.82/11.96	c bounds 3794 >= 0 @ 10.0701
11.82/11.97	c bounds 3737 >= 0 @ 10.0776
11.82/11.98	c bounds 3689 >= 0 @ 10.0845
11.93/12.06	c bounds 3671 >= 0 @ 10.1691
11.93/12.07	c bounds 3591 >= 0 @ 10.1771
11.93/12.08	c bounds 3586 >= 0 @ 10.1826
11.93/12.09	c bounds 3550 >= 0 @ 10.1897
12.03/12.19	c bounds 3543 >= 0 @ 10.2913
12.12/12.28	c bounds 3532 >= 0 @ 10.3781
12.12/12.29	c bounds 3510 >= 0 @ 10.3874
12.22/12.30	c bounds 3306 >= 0 @ 10.3928
12.42/12.54	c bounds 3305 >= 0 @ 10.6261
12.52/12.64	c bounds 3275 >= 0 @ 10.7264
12.52/12.65	c bounds 3121 >= 0 @ 10.7362
12.52/12.66	c bounds 3110 >= 0 @ 10.7414
12.52/12.68	c bounds 3104 >= 0 @ 10.7497
12.52/12.69	c bounds 3016 >= 0 @ 10.7559
12.62/12.70	c bounds 2978 >= 0 @ 10.7642
12.62/12.71	c bounds 2936 >= 0 @ 10.7697
12.62/12.72	c bounds 2816 >= 0 @ 10.7741
12.62/12.73	c bounds 2788 >= 0 @ 10.7827
12.62/12.74	c bounds 2600 >= 0 @ 10.7873
12.62/12.75	c bounds 2493 >= 0 @ 10.7934
12.71/12.81	c bounds 2475 >= 0 @ 10.8543
12.71/12.83	c bounds 2462 >= 0 @ 10.8609
12.71/12.84	c bounds 2426 >= 0 @ 10.8698
12.71/12.85	c bounds 2391 >= 0 @ 10.8776
12.71/12.86	c bounds 2307 >= 0 @ 10.8845
12.71/12.87	c bounds 2267 >= 0 @ 10.8903
12.71/12.88	c bounds 2223 >= 0 @ 10.8958
12.71/12.89	c bounds 2182 >= 0 @ 10.9036
12.82/12.90	c bounds 2174 >= 0 @ 10.9094
12.82/12.91	c bounds 2132 >= 0 @ 10.9152
12.82/12.92	c bounds 2111 >= 0 @ 10.9192
12.82/12.93	c bounds 2032 >= 0 @ 10.9255
12.82/12.95	c bounds 1994 >= 0 @ 10.93
12.82/12.95	c bounds 1989 >= 0 @ 10.9358
13.03/13.13	c bounds 1978 >= 0 @ 11.102
13.03/13.14	c bounds 1977 >= 0 @ 11.1087
13.03/13.16	c bounds 1972 >= 0 @ 11.1333
13.03/13.17	c bounds 1942 >= 0 @ 11.1424
13.03/13.19	c bounds 1873 >= 0 @ 11.1528
13.12/13.20	c bounds 1866 >= 0 @ 11.1644
13.12/13.21	c bounds 1789 >= 0 @ 11.1712
13.12/13.22	c bounds 1781 >= 0 @ 11.186
13.12/13.24	c bounds 1709 >= 0 @ 11.1927
13.12/13.25	c bounds 1681 >= 0 @ 11.1993
13.12/13.28	c bounds 1674 >= 0 @ 11.2275
13.22/13.30	c bounds 1667 >= 0 @ 11.2465
13.32/13.43	c bounds 1652 >= 0 @ 11.377
13.32/13.44	c bounds 1643 >= 0 @ 11.3831
13.32/13.46	c bounds 1619 >= 0 @ 11.3899
13.52/13.62	c bounds 1597 >= 0 @ 11.5479
13.52/13.64	c bounds 1545 >= 0 @ 11.5584
13.62/13.76	c bounds 1531 >= 0 @ 11.6775
13.62/13.77	c bounds 1530 >= 0 @ 11.6837
13.62/13.78	c bounds 1529 >= 0 @ 11.6916
13.62/13.79	c bounds 1521 >= 0 @ 11.6992
13.72/13.82	c bounds 1520 >= 0 @ 11.7223
13.72/13.86	c bounds 1516 >= 0 @ 11.7604
13.72/13.88	c bounds 1463 >= 0 @ 11.7678
13.92/14.03	c bounds 1280 >= 0 @ 11.9161
13.92/14.04	c bounds 1273 >= 0 @ 11.9225
13.92/14.06	c bounds 1263 >= 0 @ 11.9409
13.92/14.07	c bounds 1251 >= 0 @ 11.9473
13.92/14.09	c bounds 1240 >= 0 @ 11.9686
14.02/14.14	c bounds 1234 >= 0 @ 12.0097
14.02/14.15	c bounds 1202 >= 0 @ 12.0164
14.02/14.17	c bounds 1167 >= 0 @ 12.0247
14.11/14.22	c bounds 1166 >= 0 @ 12.076
14.11/14.25	c bounds 1064 >= 0 @ 12.0961
14.11/14.29	c bounds 1061 >= 0 @ 12.1374
14.22/14.31	c bounds 1058 >= 0 @ 12.1455
14.32/14.47	c bounds 954 >= 0 @ 12.2962
14.32/14.48	c bounds 948 >= 0 @ 12.3055
14.32/14.49	c bounds 933 >= 0 @ 12.3168
14.42/14.50	c bounds 920 >= 0 @ 12.3221
14.42/14.51	c bounds 911 >= 0 @ 12.3312
14.42/14.52	c bounds 908 >= 0 @ 12.3399
14.52/14.64	c bounds 882 >= 0 @ 12.4525
14.52/14.65	c bounds 877 >= 0 @ 12.458
14.52/14.66	c bounds 865 >= 0 @ 12.467
14.71/14.87	c bounds 846 >= 0 @ 12.6682
14.71/14.88	c bounds 842 >= 0 @ 12.676
14.71/14.89	c bounds 841 >= 0 @ 12.686
16.01/16.19	c #Conflicts:       1000 | #Constraints:     658045
16.01/16.19	c bounds 833 >= 0 @ 13.9677
16.41/16.50	c bounds 725 >= 0 @ 14.2575
16.41/16.52	c bounds 677 >= 0 @ 14.2668
16.81/16.94	c bounds 649 >= 0 @ 14.6652
17.10/17.29	c bounds 566 >= 0 @ 15.005
17.20/17.38	c bounds 565 >= 0 @ 15.0723
17.20/17.39	c bounds 565 >= 8 @ 15.0818
26.28/26.42	c #Conflicts:       2000 | #Constraints:     659063
26.28/26.42	c INPROCESSING
26.28/26.42	c GARBAGE COLLECT
26.28/26.42	c #Conflicts:       3000 | #Constraints:     658923
26.28/26.42	c #Conflicts:       4000 | #Constraints:     659923
26.28/26.42	c INPROCESSING
26.28/26.42	c GARBAGE COLLECT
26.28/26.42	c bounds 563 >= 8 @ 23.9941
26.28/26.43	c bounds 562 >= 8 @ 23.9993
26.58/26.70	c bounds 558 >= 8 @ 24.2659
26.58/26.71	c bounds 553 >= 8 @ 24.2769
26.58/26.75	c bounds 545 >= 8 @ 24.3111
26.58/26.76	c bounds 537 >= 8 @ 24.3205
26.58/26.77	c bounds 534 >= 8 @ 24.3245
26.58/26.78	c bounds 529 >= 8 @ 24.3361
26.77/26.93	c bounds 526 >= 8 @ 24.4777
27.18/27.33	c bounds 522 >= 8 @ 24.8723
27.18/27.34	c bounds 521 >= 8 @ 24.8812
27.18/27.36	c bounds 520 >= 8 @ 24.8987
27.98/28.18	c bounds 518 >= 8 @ 25.706
38.04/38.29	c #Conflicts:       5000 | #Constraints:     659344
38.04/38.29	c #Conflicts:       6000 | #Constraints:     660344
38.04/38.29	c INPROCESSING
38.04/38.29	c GARBAGE COLLECT
38.04/38.29	c rational objective 187.25
44.32/44.52	c #Conflicts:       7000 | #Constraints:     659338
44.32/44.52	c bounds 515 >= 8 @ 41.8767
66.86/67.18	c #Conflicts:       8000 | #Constraints:     660340
66.86/67.18	c #Conflicts:       9000 | #Constraints:     661340
66.86/67.18	c INPROCESSING
66.86/67.18	c GARBAGE COLLECT
66.86/67.18	c #Conflicts:      10000 | #Constraints:     660033
66.86/67.18	c #Conflicts:      11000 | #Constraints:     661033
66.86/67.18	c #Conflicts:      12000 | #Constraints:     662033
66.86/67.18	c INPROCESSING
66.86/67.18	c GARBAGE COLLECT
66.86/67.18	c rational objective 187.5
83.90/84.23	c #Conflicts:      13000 | #Constraints:     660493
83.90/84.23	c #Conflicts:      14000 | #Constraints:     661493
83.90/84.23	c #Conflicts:      15000 | #Constraints:     662493
83.90/84.23	c INPROCESSING
83.90/84.23	c GARBAGE COLLECT
83.90/84.23	c rational objective 188.375
101.94/102.30	c #Conflicts:      16000 | #Constraints:     660721
101.94/102.30	c #Conflicts:      17000 | #Constraints:     661721
101.94/102.30	c #Conflicts:      18000 | #Constraints:     662721
101.94/102.30	c INPROCESSING
101.94/102.30	c GARBAGE COLLECT
101.94/102.30	c rational objective 188.403
120.30/120.73	c #Conflicts:      19000 | #Constraints:     660746
120.30/120.73	c #Conflicts:      20000 | #Constraints:     661756
120.30/120.73	c #Conflicts:      21000 | #Constraints:     662761
120.30/120.73	c INPROCESSING
120.30/120.73	c GARBAGE COLLECT
120.30/120.73	c rational objective 188.403
138.85/139.35	c #Conflicts:      22000 | #Constraints:     660570
138.85/139.35	c #Conflicts:      23000 | #Constraints:     661575
138.85/139.35	c #Conflicts:      24000 | #Constraints:     662581
138.85/139.35	c #Conflicts:      25000 | #Constraints:     663588
138.85/139.35	c INPROCESSING
138.85/139.35	c GARBAGE COLLECT
138.85/139.35	c rational objective 188.794
172.25/172.86	c #Conflicts:      26000 | #Constraints:     661178
172.25/172.86	c #Conflicts:      27000 | #Constraints:     662182
172.25/172.86	c #Conflicts:      28000 | #Constraints:     663188
172.25/172.86	c #Conflicts:      29000 | #Constraints:     664196
172.25/172.86	c INPROCESSING
172.25/172.86	c GARBAGE COLLECT
172.25/172.86	c rational objective 188.83
178.72/179.36	c bounds 509 >= 8 @ 175.436
178.72/179.37	c bounds 509 >= 13 @ 175.441
184.11/184.71	c #Conflicts:      30000 | #Constraints:     661597
184.11/184.71	c bounds 509 >= 18 @ 180.733
206.14/206.83	c #Conflicts:      31000 | #Constraints:     662607
206.14/206.83	c #Conflicts:      32000 | #Constraints:     663613
206.14/206.83	c #Conflicts:      33000 | #Constraints:     664616
206.14/206.83	c INPROCESSING
206.14/206.83	c GARBAGE COLLECT
206.14/206.83	c bounds 508 >= 18 @ 202.571
206.14/206.84	c bounds 508 >= 22 @ 202.581
224.18/224.98	c #Conflicts:      34000 | #Constraints:     661803
224.18/224.98	c #Conflicts:      35000 | #Constraints:     662803
224.18/224.98	c #Conflicts:      36000 | #Constraints:     663803
224.18/224.98	c #Conflicts:      37000 | #Constraints:     664803
224.18/224.98	c INPROCESSING
224.18/224.98	c GARBAGE COLLECT
224.18/224.98	c rational objective 188.5
230.67/231.45	c bounds 491 >= 22 @ 227.022
249.91/250.73	c #Conflicts:      38000 | #Constraints:     661783
249.91/250.73	c #Conflicts:      39000 | #Constraints:     662783
249.91/250.73	c #Conflicts:      40000 | #Constraints:     663783
249.91/250.73	c #Conflicts:      41000 | #Constraints:     664783
249.91/250.73	c INPROCESSING
249.91/250.73	c GARBAGE COLLECT
249.91/250.73	c rational objective 189
274.25/275.16	c #Conflicts:      42000 | #Constraints:     661570
274.25/275.16	c #Conflicts:      43000 | #Constraints:     662606
274.25/275.16	c #Conflicts:      44000 | #Constraints:     663738
274.25/275.16	c #Conflicts:      45000 | #Constraints:     664763
274.25/275.16	c #Conflicts:      46000 | #Constraints:     665786
274.25/275.16	c INPROCESSING
274.25/275.16	c GARBAGE COLLECT
274.25/275.16	c bounds 490 >= 22 @ 270.412
274.25/275.17	c bounds 485 >= 22 @ 270.423
274.25/275.19	c bounds 477 >= 22 @ 270.441
274.34/275.21	c bounds 475 >= 22 @ 270.454
274.34/275.28	c bounds 469 >= 22 @ 270.52
274.44/275.31	c bounds 468 >= 22 @ 270.551
274.44/275.33	c bounds 465 >= 22 @ 270.566
274.44/275.36	c bounds 462 >= 22 @ 270.59
274.54/275.40	c bounds 459 >= 22 @ 270.627
274.54/275.45	c bounds 457 >= 22 @ 270.678
274.54/275.47	c bounds 450 >= 22 @ 270.689
274.54/275.48	c bounds 442 >= 22 @ 270.7
274.84/275.78	c bounds 436 >= 22 @ 270.997
275.04/275.95	c bounds 435 >= 22 @ 271.165
275.44/276.38	c bounds 434 >= 22 @ 271.592
276.24/277.19	c bounds 431 >= 22 @ 272.391
276.34/277.21	c bounds 431 >= 24 @ 272.398
276.34/277.22	c bounds 431 >= 26 @ 272.403
276.34/277.23	c bounds 431 >= 28 @ 272.411
276.34/277.25	c bounds 431 >= 30 @ 272.42
276.34/277.26	c bounds 431 >= 32 @ 272.428
276.34/277.27	c bounds 431 >= 34 @ 272.433
276.34/277.29	c bounds 431 >= 36 @ 272.445
277.03/277.94	c bounds 431 >= 38 @ 273.081
278.82/279.70	c #Conflicts:      47000 | #Constraints:     662339
278.82/279.70	c bounds 431 >= 40 @ 274.791
279.02/279.92	c bounds 429 >= 40 @ 275.012
281.13/282.03	c bounds 426 >= 40 @ 277.097
324.89/325.94	c #Conflicts:      48000 | #Constraints:     663360
324.89/325.94	c #Conflicts:      49000 | #Constraints:     664361
324.89/325.94	c #Conflicts:      50000 | #Constraints:     665363
324.89/325.94	c #Conflicts:      51000 | #Constraints:     666368
324.89/325.94	c INPROCESSING
324.89/325.94	c GARBAGE COLLECT
324.89/325.94	c rational objective 189
329.98/331.07	c bounds 425 >= 40 @ 325.758
343.43/344.56	c #Conflicts:      52000 | #Constraints:     662684
343.43/344.56	c bounds 424 >= 40 @ 339.099
343.43/344.57	c bounds 424 >= 41 @ 339.107
343.43/344.59	c bounds 424 >= 42 @ 339.118
343.54/344.61	c bounds 424 >= 43 @ 339.129
343.54/344.63	c bounds 424 >= 44 @ 339.141
343.54/344.64	c bounds 424 >= 45 @ 339.157
343.54/344.66	c bounds 424 >= 46 @ 339.168
343.54/344.68	c bounds 424 >= 47 @ 339.178
343.64/344.70	c bounds 424 >= 48 @ 339.189
343.64/344.71	c bounds 424 >= 49 @ 339.202
343.64/344.73	c bounds 424 >= 50 @ 339.217
343.64/344.75	c bounds 424 >= 51 @ 339.228
343.64/344.77	c bounds 424 >= 52 @ 339.241
343.64/344.79	c bounds 424 >= 53 @ 339.258
343.74/344.82	c bounds 424 >= 54 @ 339.276
343.74/344.84	c bounds 424 >= 55 @ 339.291
343.74/344.87	c bounds 424 >= 56 @ 339.308
343.74/344.88	c bounds 424 >= 57 @ 339.321
343.83/344.90	c bounds 424 >= 58 @ 339.333
343.83/344.93	c #Conflicts:      53000 | #Constraints:     663786
343.83/344.93	c bounds 424 >= 59 @ 339.353
343.83/344.96	c bounds 424 >= 60 @ 339.376
343.83/344.99	c bounds 424 >= 61 @ 339.398
343.94/345.02	c bounds 424 >= 62 @ 339.417
345.63/346.75	c bounds 424 >= 63 @ 341.123
345.63/346.78	c bounds 424 >= 64 @ 341.147
345.73/346.89	c bounds 424 >= 65 @ 341.249
345.93/347.01	c bounds 424 >= 66 @ 341.361
346.03/347.15	c bounds 424 >= 67 @ 341.499
346.33/347.47	c bounds 424 >= 68 @ 341.79
346.73/347.83	c bounds 424 >= 69 @ 342.133
346.93/348.03	c bounds 424 >= 70 @ 342.329
347.43/348.50	c bounds 424 >= 71 @ 342.783
347.93/349.08	c #Conflicts:      54000 | #Constraints:     664997
347.93/349.08	c bounds 424 >= 72 @ 343.359
348.32/349.42	c bounds 424 >= 73 @ 343.676
348.82/349.98	c bounds 424 >= 74 @ 344.217
353.11/354.25	c bounds 424 >= 75 @ 348.44
353.81/354.98	c #Conflicts:      55000 | #Constraints:     666105
353.81/354.98	c bounds 424 >= 76 @ 349.157
354.71/355.81	c bounds 424 >= 77 @ 349.962
355.80/356.95	c bounds 424 >= 78 @ 351.083
419.90/421.26	c #Conflicts:      56000 | #Constraints:     667171
419.90/421.26	c INPROCESSING
419.90/421.26	c GARBAGE COLLECT
419.90/421.26	c #Conflicts:      57000 | #Constraints:     663187
419.90/421.26	c bounds 424 >= 79 @ 415.057
420.80/422.15	c bounds 424 >= 80 @ 415.92
422.29/423.60	c #Conflicts:      58000 | #Constraints:     664250
422.29/423.60	c bounds 424 >= 81 @ 417.332
424.89/426.21	c #Conflicts:      59000 | #Constraints:     665283
424.89/426.21	c bounds 424 >= 82 @ 419.904
434.95/436.34	c #Conflicts:      60000 | #Constraints:     666307
434.95/436.34	c #Conflicts:      61000 | #Constraints:     667307
434.95/436.34	c bounds 424 >= 83 @ 429.961
450.80/452.22	c INPROCESSING
450.80/452.22	c GARBAGE COLLECT
450.80/452.22	c #Conflicts:      62000 | #Constraints:     663231
450.80/452.22	c #Conflicts:      63000 | #Constraints:     664231
450.80/452.22	c bounds 424 >= 84 @ 445.734
471.03/472.50	c #Conflicts:      64000 | #Constraints:     665282
471.03/472.50	c #Conflicts:      65000 | #Constraints:     666282
471.03/472.50	c bounds 424 >= 85 @ 465.845
579.56/581.42	c #Conflicts:      66000 | #Constraints:     667321
579.56/581.42	c INPROCESSING
579.56/581.42	c GARBAGE COLLECT
579.56/581.42	c #Conflicts:      67000 | #Constraints:     663037
579.56/581.42	c bounds 424 >= 86 @ 574.199
582.65/584.58	c #Conflicts:      68000 | #Constraints:     664070
582.65/584.58	c bounds 424 >= 87 @ 577.274
600.89/602.88	c #Conflicts:      69000 | #Constraints:     665106
600.89/602.88	c bounds 424 >= 88 @ 595.41
627.01/629.01	c #Conflicts:      70000 | #Constraints:     666133
627.01/629.01	c #Conflicts:      71000 | #Constraints:     667133
627.01/629.01	c #Conflicts:      72000 | #Constraints:     668133
627.01/629.01	c INPROCESSING
627.01/629.01	c GARBAGE COLLECT
627.01/629.01	c #Conflicts:      73000 | #Constraints:     663669
627.01/629.01	c #Conflicts:      74000 | #Constraints:     664669
627.01/629.01	c #Conflicts:      75000 | #Constraints:     665669
627.01/629.01	c bounds 424 >= 89 @ 621.259
643.16/645.23	c #Conflicts:      76000 | #Constraints:     666729
643.16/645.23	c #Conflicts:      77000 | #Constraints:     667729
643.16/645.23	c #Conflicts:      78000 | #Constraints:     668729
643.16/645.23	c INPROCESSING
643.16/645.23	c GARBAGE COLLECT
643.16/645.23	c rational objective 189.232
667.89/670.10	c #Conflicts:      79000 | #Constraints:     664088
667.89/670.10	c #Conflicts:      80000 | #Constraints:     665088
667.89/670.10	c #Conflicts:      81000 | #Constraints:     666088
667.89/670.10	c #Conflicts:      82000 | #Constraints:     667089
667.89/670.10	c #Conflicts:      83000 | #Constraints:     668089
667.89/670.10	c bounds 424 >= 90 @ 662.027
801.11/803.73	c #Conflicts:      84000 | #Constraints:     669134
801.11/803.73	c INPROCESSING
801.11/803.73	c GARBAGE COLLECT
801.11/803.73	c rational objective 189.327
837.50/840.25	c #Conflicts:      85000 | #Constraints:     664295
837.50/840.25	c #Conflicts:      86000 | #Constraints:     665295
837.50/840.25	c #Conflicts:      87000 | #Constraints:     666295
837.50/840.25	c #Conflicts:      88000 | #Constraints:     667295
837.50/840.25	c #Conflicts:      89000 | #Constraints:     668295
837.50/840.25	c bounds 424 >= 91 @ 831.321
837.90/840.65	c bounds 423 >= 91 @ 831.705
1284.05/1288.23	c #Conflicts:      90000 | #Constraints:     669344
1284.05/1288.23	c INPROCESSING
1284.05/1288.23	c GARBAGE COLLECT
1284.05/1288.23	c #Conflicts:      91000 | #Constraints:     664401
1284.05/1288.23	c #Conflicts:      92000 | #Constraints:     665882
1284.05/1288.23	c #Conflicts:      93000 | #Constraints:     667428
1284.05/1288.23	c #Conflicts:      94000 | #Constraints:     668981
1284.05/1288.23	c #Conflicts:      95000 | #Constraints:     670533
1284.05/1288.23	c #Conflicts:      96000 | #Constraints:     672060
1284.05/1288.23	c INPROCESSING
1284.05/1288.23	c GARBAGE COLLECT
1284.05/1288.23	c #Conflicts:      97000 | #Constraints:     665679
1284.05/1288.23	c #Conflicts:      98000 | #Constraints:     666679
1284.05/1288.23	c #Conflicts:      99000 | #Constraints:     667679
1284.05/1288.23	c #Conflicts:     100000 | #Constraints:     668679
1284.05/1288.23	c #Conflicts:     101000 | #Constraints:     669679
1284.05/1288.23	c #Conflicts:     102000 | #Constraints:     670679
1284.05/1288.23	c #Conflicts:     103000 | #Constraints:     671679
1284.05/1288.23	c INPROCESSING
1284.05/1288.23	c GARBAGE COLLECT
1284.05/1288.23	c #Conflicts:     104000 | #Constraints:     665487
1284.05/1288.23	c #Conflicts:     105000 | #Constraints:     666487
1284.05/1288.23	c #Conflicts:     106000 | #Constraints:     667487
1284.05/1288.23	c #Conflicts:     107000 | #Constraints:     668490
1284.05/1288.23	c #Conflicts:     108000 | #Constraints:     669492
1284.05/1288.23	c #Conflicts:     109000 | #Constraints:     670492
1284.05/1288.23	c #Conflicts:     110000 | #Constraints:     671492
1284.05/1288.23	c INPROCESSING
1284.05/1288.23	c GARBAGE COLLECT
1284.05/1288.23	c rational objective 189.85
1321.64/1325.98	c #Conflicts:     111000 | #Constraints:     665502
1321.64/1325.98	c #Conflicts:     112000 | #Constraints:     666502
1321.64/1325.98	c #Conflicts:     113000 | #Constraints:     667503
1321.64/1325.98	c #Conflicts:     114000 | #Constraints:     668503
1321.64/1325.98	c #Conflicts:     115000 | #Constraints:     669503
1321.64/1325.98	c #Conflicts:     116000 | #Constraints:     670504
1321.64/1325.98	c bounds 423 >= 92 @ 1314.14
1449.72/1454.41	c #Conflicts:     117000 | #Constraints:     671549
1449.72/1454.41	c INPROCESSING
1449.72/1454.41	c GARBAGE COLLECT
1449.72/1454.41	c rational objective 190.206
1497.55/1502.46	c #Conflicts:     118000 | #Constraints:     665536
1497.55/1502.46	c #Conflicts:     119000 | #Constraints:     666536
1497.55/1502.46	c #Conflicts:     120000 | #Constraints:     667536
1497.55/1502.46	c #Conflicts:     121000 | #Constraints:     668536
1497.55/1502.46	c #Conflicts:     122000 | #Constraints:     669536
1497.55/1502.46	c bounds 423 >= 93 @ 1489.63
1515.70/1520.69	c #Conflicts:     123000 | #Constraints:     670584
1515.70/1520.69	c #Conflicts:     124000 | #Constraints:     671584
1515.70/1520.69	c INPROCESSING
1515.70/1520.69	c GARBAGE COLLECT
1515.70/1520.69	c rational objective 190.63
1565.34/1570.41	c #Conflicts:     125000 | #Constraints:     665466
1565.34/1570.41	c #Conflicts:     126000 | #Constraints:     666466
1565.34/1570.41	c #Conflicts:     127000 | #Constraints:     667466
1565.34/1570.41	c #Conflicts:     128000 | #Constraints:     668466
1565.34/1570.41	c #Conflicts:     129000 | #Constraints:     669466
1565.34/1570.41	c #Conflicts:     130000 | #Constraints:     670466
1565.34/1570.41	c #Conflicts:     131000 | #Constraints:     671466
1565.34/1570.41	c INPROCESSING
1565.34/1570.41	c GARBAGE COLLECT
1565.34/1570.41	c rational objective 190.843
1617.47/1622.74	c #Conflicts:     132000 | #Constraints:     665203
1617.47/1622.74	c #Conflicts:     133000 | #Constraints:     666203
1617.47/1622.74	c #Conflicts:     134000 | #Constraints:     667203
1617.47/1622.74	c #Conflicts:     135000 | #Constraints:     668204
1617.47/1622.74	c #Conflicts:     136000 | #Constraints:     669204
1617.47/1622.74	c #Conflicts:     137000 | #Constraints:     670204
1617.47/1622.74	c #Conflicts:     138000 | #Constraints:     671204
1617.47/1622.74	c bounds 423 >= 94 @ 1608.83
1939.26/1945.66	c #Conflicts:     139000 | #Constraints:     672267
1939.26/1945.66	c INPROCESSING
1939.26/1945.66	c GARBAGE COLLECT
1939.26/1945.66	c rational objective 190.891
2023.59/2030.23	c #Conflicts:     140000 | #Constraints:     665818
2023.59/2030.23	c #Conflicts:     141000 | #Constraints:     666819
2023.59/2030.23	c #Conflicts:     142000 | #Constraints:     667820
2023.59/2030.23	c #Conflicts:     143000 | #Constraints:     668820
2023.59/2030.23	c #Conflicts:     144000 | #Constraints:     669820
2023.59/2030.23	c #Conflicts:     145000 | #Constraints:     670820
2023.59/2030.23	c #Conflicts:     146000 | #Constraints:     671820
2023.59/2030.23	c #Conflicts:     147000 | #Constraints:     672820
2023.59/2030.23	c INPROCESSING
2023.59/2030.23	c GARBAGE COLLECT
2023.59/2030.23	c #Conflicts:     148000 | #Constraints:     666207
2023.59/2030.23	c #Conflicts:     149000 | #Constraints:     667207
2023.59/2030.23	c #Conflicts:     150000 | #Constraints:     668207
2023.59/2030.23	c #Conflicts:     151000 | #Constraints:     669207
2023.59/2030.23	c #Conflicts:     152000 | #Constraints:     670207
2023.59/2030.23	c bounds 423 >= 95 @ 2014.16
2284.91/2292.45	c #Conflicts:     153000 | #Constraints:     671261
2284.91/2292.45	c #Conflicts:     154000 | #Constraints:     672261
2284.91/2292.45	c #Conflicts:     155000 | #Constraints:     673261
2284.91/2292.45	c INPROCESSING
2284.91/2292.45	c GARBAGE COLLECT
2284.91/2292.45	c rational objective 190.891
2395.38/2403.25	c #Conflicts:     156000 | #Constraints:     666447
2395.38/2403.25	c #Conflicts:     157000 | #Constraints:     667447
2395.38/2403.25	c #Conflicts:     158000 | #Constraints:     668447
2395.38/2403.25	c #Conflicts:     159000 | #Constraints:     669448
2395.38/2403.25	c #Conflicts:     160000 | #Constraints:     670448
2395.38/2403.25	c #Conflicts:     161000 | #Constraints:     671448
2395.38/2403.25	c #Conflicts:     162000 | #Constraints:     672448
2395.38/2403.25	c #Conflicts:     163000 | #Constraints:     673448
2395.38/2403.25	c INPROCESSING
2395.38/2403.25	c GARBAGE COLLECT
2395.38/2403.25	c #Conflicts:     164000 | #Constraints:     666411
2395.38/2403.25	c #Conflicts:     165000 | #Constraints:     667412
2395.38/2403.25	c #Conflicts:     166000 | #Constraints:     668412
2395.38/2403.25	c #Conflicts:     167000 | #Constraints:     669412
2395.38/2403.25	c #Conflicts:     168000 | #Constraints:     670412
2395.38/2403.25	c #Conflicts:     169000 | #Constraints:     671414
2395.38/2403.25	c #Conflicts:     170000 | #Constraints:     672414
2395.38/2403.25	c #Conflicts:     171000 | #Constraints:     673415
2395.38/2403.25	c INPROCESSING
2395.38/2403.25	c GARBAGE COLLECT
2395.38/2403.25	c rational objective 190.891
2777.11/2786.28	c #Conflicts:     172000 | #Constraints:     666191
2777.11/2786.28	c #Conflicts:     173000 | #Constraints:     667192
2777.11/2786.28	c #Conflicts:     174000 | #Constraints:     668192
2777.11/2786.28	c #Conflicts:     175000 | #Constraints:     669192
2777.11/2786.28	c #Conflicts:     176000 | #Constraints:     670192
2777.11/2786.28	c #Conflicts:     177000 | #Constraints:     671193
2777.11/2786.28	c #Conflicts:     178000 | #Constraints:     672193
2777.11/2786.28	c #Conflicts:     179000 | #Constraints:     673193
2777.11/2786.28	c #Conflicts:     180000 | #Constraints:     674193
2777.11/2786.28	c INPROCESSING
2777.11/2786.28	c GARBAGE COLLECT
2777.11/2786.28	c #Conflicts:     181000 | #Constraints:     666800
2777.11/2786.28	c #Conflicts:     182000 | #Constraints:     667800
2777.11/2786.28	c #Conflicts:     183000 | #Constraints:     668800
2777.11/2786.28	c #Conflicts:     184000 | #Constraints:     669800
2777.11/2786.28	c #Conflicts:     185000 | #Constraints:     670800
2777.11/2786.28	c #Conflicts:     186000 | #Constraints:     671800
2777.11/2786.28	c #Conflicts:     187000 | #Constraints:     672800
2777.11/2786.28	c #Conflicts:     188000 | #Constraints:     673800
2777.11/2786.28	c #Conflicts:     189000 | #Constraints:     674800
2777.11/2786.28	c INPROCESSING
2777.11/2786.28	c GARBAGE COLLECT
2777.11/2786.28	c rational objective 190.891
2859.55/2868.99	c #Conflicts:     190000 | #Constraints:     667218
2859.55/2868.99	c #Conflicts:     191000 | #Constraints:     668219
2859.55/2868.99	c #Conflicts:     192000 | #Constraints:     669219
2859.55/2868.99	c #Conflicts:     193000 | #Constraints:     670220
2859.55/2868.99	c #Conflicts:     194000 | #Constraints:     671220
2859.55/2868.99	c #Conflicts:     195000 | #Constraints:     672220
2859.55/2868.99	c #Conflicts:     196000 | #Constraints:     673223
2859.55/2868.99	c #Conflicts:     197000 | #Constraints:     674225
2859.55/2868.99	c #Conflicts:     198000 | #Constraints:     675225
2859.55/2868.99	c INPROCESSING
2859.55/2868.99	c GARBAGE COLLECT
2859.55/2868.99	c rational objective 190.891
3052.71/3062.76	c #Conflicts:     199000 | #Constraints:     667414
3052.71/3062.76	c #Conflicts:     200000 | #Constraints:     668414
3052.71/3062.76	c #Conflicts:     201000 | #Constraints:     669414
3052.71/3062.76	c #Conflicts:     202000 | #Constraints:     670414
3052.71/3062.76	c #Conflicts:     203000 | #Constraints:     671414
3052.71/3062.76	c #Conflicts:     204000 | #Constraints:     672414
3052.71/3062.76	c #Conflicts:     205000 | #Constraints:     673414
3052.71/3062.76	c #Conflicts:     206000 | #Constraints:     674414
3052.71/3062.76	c #Conflicts:     207000 | #Constraints:     675414
3052.71/3062.76	c INPROCESSING
3052.71/3062.76	c GARBAGE COLLECT
3052.71/3062.76	c rational objective 190.891
3191.07/3201.51	c #Conflicts:     208000 | #Constraints:     667419
3191.07/3201.51	c #Conflicts:     209000 | #Constraints:     668437
3191.07/3201.51	c #Conflicts:     210000 | #Constraints:     669437
3191.07/3201.51	c #Conflicts:     211000 | #Constraints:     670438
3191.07/3201.51	c #Conflicts:     212000 | #Constraints:     671438
3191.07/3201.51	c #Conflicts:     213000 | #Constraints:     672438
3191.07/3201.51	c #Conflicts:     214000 | #Constraints:     673438
3191.07/3201.51	c #Conflicts:     215000 | #Constraints:     674438
3191.07/3201.51	c #Conflicts:     216000 | #Constraints:     675439
3191.07/3201.51	c INPROCESSING
3191.07/3201.51	c GARBAGE COLLECT
3191.07/3201.51	c rational objective 190.897
3247.90/3258.52	c #Conflicts:     217000 | #Constraints:     667233
3247.90/3258.52	c #Conflicts:     218000 | #Constraints:     668233
3247.90/3258.52	c #Conflicts:     219000 | #Constraints:     669233
3247.90/3258.52	c #Conflicts:     220000 | #Constraints:     670233
3247.90/3258.52	c #Conflicts:     221000 | #Constraints:     671233
3247.90/3258.52	c #Conflicts:     222000 | #Constraints:     672234
3247.90/3258.52	c #Conflicts:     223000 | #Constraints:     673234
3247.90/3258.52	c #Conflicts:     224000 | #Constraints:     674234
3247.90/3258.52	c #Conflicts:     225000 | #Constraints:     675235
3247.90/3258.52	c bounds 423 >= 96 @ 3235.61
3263.35/3274.02	c #Conflicts:     226000 | #Constraints:     676299
3263.35/3274.02	c INPROCESSING
3263.35/3274.02	c GARBAGE COLLECT
3263.35/3274.02	c rational objective 190.897
3268.34/3279.03	c bounds 420 >= 96 @ 3255.98
3269.63/3280.35	c bounds 413 >= 96 @ 3257.29
3270.83/3281.54	c bounds 411 >= 96 @ 3258.47
3274.82/3285.57	c #Conflicts:     227000 | #Constraints:     667888
3274.82/3285.57	c bounds 408 >= 96 @ 3262.48
3328.56/3339.42	c #Conflicts:     228000 | #Constraints:     668892
3328.56/3339.42	c #Conflicts:     229000 | #Constraints:     669892
3328.56/3339.42	c #Conflicts:     230000 | #Constraints:     670892
3328.56/3339.42	c #Conflicts:     231000 | #Constraints:     671892
3328.56/3339.42	c #Conflicts:     232000 | #Constraints:     672892
3328.56/3339.42	c #Conflicts:     233000 | #Constraints:     673892
3328.56/3339.42	c #Conflicts:     234000 | #Constraints:     674892
3328.56/3339.42	c #Conflicts:     235000 | #Constraints:     675892
3328.56/3339.42	c #Conflicts:     236000 | #Constraints:     676892
3328.56/3339.42	c INPROCESSING
3328.56/3339.42	c GARBAGE COLLECT
3328.56/3339.42	c rational objective 190.827
3348.12/3359.03	c #Conflicts:     237000 | #Constraints:     668272
3348.12/3359.03	c #Conflicts:     238000 | #Constraints:     669274
3348.12/3359.03	c bounds 407 >= 96 @ 3335.32
3398.85/3409.99	c #Conflicts:     239000 | #Constraints:     670276
3398.85/3409.99	c #Conflicts:     240000 | #Constraints:     671276
3398.85/3409.99	c #Conflicts:     241000 | #Constraints:     672276
3398.85/3409.99	c #Conflicts:     242000 | #Constraints:     673276
3398.85/3409.99	c #Conflicts:     243000 | #Constraints:     674276
3398.85/3409.99	c #Conflicts:     244000 | #Constraints:     675276
3398.85/3409.99	c #Conflicts:     245000 | #Constraints:     676276
3398.85/3409.99	c #Conflicts:     246000 | #Constraints:     677276
3398.85/3409.99	c INPROCESSING
3398.85/3409.99	c GARBAGE COLLECT
3398.85/3409.99	c rational objective 190.854
3491.67/3503.02	c #Conflicts:     247000 | #Constraints:     668472
3491.67/3503.02	c #Conflicts:     248000 | #Constraints:     669473
3491.67/3503.02	c #Conflicts:     249000 | #Constraints:     670473
3491.67/3503.02	c #Conflicts:     250000 | #Constraints:     671474
3491.67/3503.02	c #Conflicts:     251000 | #Constraints:     672474
3491.67/3503.02	c #Conflicts:     252000 | #Constraints:     673474
3491.67/3503.02	c #Conflicts:     253000 | #Constraints:     674474
3491.67/3503.02	c #Conflicts:     254000 | #Constraints:     675474
3491.67/3503.02	c #Conflicts:     255000 | #Constraints:     676475
3491.67/3503.02	c #Conflicts:     256000 | #Constraints:     677475
3491.67/3503.02	c INPROCESSING
3491.67/3503.02	c GARBAGE COLLECT
3491.67/3503.02	c rational objective 190.854
3514.38/3525.85	c #Conflicts:     257000 | #Constraints:     668480
3514.38/3525.85	c #Conflicts:     258000 | #Constraints:     669498
3514.38/3525.85	c bounds 406 >= 96 @ 3500.76

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=48057, runsolver pid=48047

[startup+0.100063 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129482620/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427837 4292608 736 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 736 672 219 0 110 0
[pid=48059] ppid=48057 vsize=163668 memory=147088 CPUtime=0.08 cores=5,7
/proc/48059/stat : 48059 (pbsuma) R 48057 48057 47252 0 -1 4194304 4079 0 0 0 5 3 0 0 20 0 1 0 51427839 167596032 36772 18446744073709551615 4210688 4653049 140733247182656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16461824 140733247187299 140733247187506 140733247187506 140733247193071 0
/proc/48059/statm: 40917 36772 960 108 0 38325 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 150032 KiB

[startup+0.205855 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129413440/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427837 4292608 736 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 736 672 219 0 110 0
[pid=48059] ppid=48057 vsize=181184 memory=167480 CPUtime=0.18 cores=5,7
/proc/48059/stat : 48059 (pbsuma) R 48057 48057 47252 0 -1 4194304 8825 0 0 0 14 4 0 0 20 0 1 0 51427839 185532416 41870 18446744073709551615 4210688 4653049 140733247182656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16461824 140733247187299 140733247187506 140733247187506 140733247193071 0
/proc/48059/statm: 45296 41870 960 108 0 42704 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185376 KiB
Current children cumulated memory: 170424 KiB

[startup+0.305741 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129330904/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427837 4292608 736 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 736 672 219 0 110 0
[pid=48059] ppid=48057 vsize=195048 memory=183392 CPUtime=0.28 cores=5,7
/proc/48059/stat : 48059 (pbsuma) R 48057 48057 47252 0 -1 4194304 11797 0 0 0 23 5 0 0 20 0 1 0 51427839 199729152 45848 18446744073709551615 4210688 4653049 140733247182656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16461824 140733247187299 140733247187506 140733247187506 140733247193071 0
/proc/48059/statm: 48762 45848 960 108 0 46170 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199240 KiB
Current children cumulated memory: 186336 KiB

[startup+0.700238 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129039592/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427837 4292608 736 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 736 672 219 0 110 0
[pid=48059] ppid=48057 vsize=309796 memory=261020 CPUtime=0.67 cores=5,7
/proc/48059/stat : 48059 (pbsuma) R 48057 48057 47252 0 -1 4194304 21006 0 0 0 60 7 0 0 20 0 1 0 51427839 317231104 65255 18446744073709551615 4210688 4653049 140733247182656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16461824 140733247187299 140733247187506 140733247187506 140733247193071 0
/proc/48059/statm: 77449 65255 992 108 0 74857 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 313988 KiB
Current children cumulated memory: 263964 KiB

[startup+1.5002 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=129622828/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=118100 memory=71048 CPUtime=0.51 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 15736 0 0 0 37 14 0 0 20 0 1 0 51427935 120934400 17762 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 29525 17762 1984 1147 0 16952 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 122292 KiB
Current children cumulated memory: 74120 KiB

[startup+3.10571 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=128482748/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=699476 memory=512736 CPUtime=2.11 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 56436 0 0 0 153 58 0 0 20 0 1 0 51427935 716263424 128184 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 174869 128184 2240 1147 0 162296 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 703668 KiB
Current children cumulated memory: 515808 KiB

[startup+6.30023 s]
/proc/loadavg: 3.86 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126439568/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1039960 memory=779680 CPUtime=5.29 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 81684 0 0 0 453 76 0 0 20 0 1 0 51427935 1064919040 194920 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 259990 194920 2336 1147 0 247417 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 782752 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126367724/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1224428 memory=899796 CPUtime=11.68 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 86271 0 0 0 1076 92 0 0 20 0 1 0 51427935 1253814272 224949 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 306107 224949 2400 1147 0 293534 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1228620 KiB
Current children cumulated memory: 902868 KiB

[startup+25.5002 s]
/proc/loadavg: 3.90 4.14 4.13 5/268 48069
/proc/meminfo: memFree=125844552/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1322160 memory=999488 CPUtime=24.44 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 93637 0 0 0 2307 137 0 0 20 0 1 0 51427935 1353891840 249872 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 330540 249872 2432 1147 0 317967 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1326352 KiB
Current children cumulated memory: 1002560 KiB

[startup+51.1058 s]
/proc/loadavg: 4.02 4.15 4.13 5/268 48069
/proc/meminfo: memFree=125350672/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1447400 memory=1091864 CPUtime=49.97 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 104479 0 0 0 4835 162 0 0 20 0 1 0 51427935 1482137600 272966 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 361850 272966 2432 1147 0 349277 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1094936 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/269 48074
/proc/meminfo: memFree=124552540/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1455612 memory=1119776 CPUtime=101 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 105982 0 0 0 9909 191 0 0 20 0 1 0 51427935 1490546688 279944 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 363903 279944 2432 1147 0 351330 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1459804 KiB
Current children cumulated memory: 1122848 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 48080
/proc/meminfo: memFree=123591684/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1530840 memory=1201784 CPUtime=160.84 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 113967 0 0 0 15845 239 0 0 20 0 1 0 51427935 1567580160 300446 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 382710 300446 2432 1147 0 370137 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1535032 KiB
Current children cumulated memory: 1204856 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/269 48082
/proc/meminfo: memFree=123174448/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=1664444 memory=1283784 CPUtime=220.66 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 124172 0 0 0 21791 275 0 0 20 0 1 0 51427935 1704390656 320946 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 416111 320946 2496 1147 0 403538 0
Current children cumulated CPU time: 221.6 s

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

/proc/meminfo: memFree=115930288/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3298564 memory=2962472 CPUtime=3270.68 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 374453 0 0 0 325921 1147 0 0 20 0 1 0 51427935 3377729536 740618 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 824641 740618 2528 1147 0 812068 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 3302756 KiB
Current children cumulated memory: 2965544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/268 48238
/proc/meminfo: memFree=115753328/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3298564 memory=2962472 CPUtime=3330.52 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 374806 0 0 0 331869 1183 0 0 20 0 1 0 51427935 3377729536 740618 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 824641 740618 2528 1147 0 812068 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 3302756 KiB
Current children cumulated memory: 2965544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/268 48240
/proc/meminfo: memFree=115787388/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3298564 memory=2962472 CPUtime=3390.34 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 374857 0 0 0 337813 1221 0 0 20 0 1 0 51427935 3377729536 740618 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 824641 740618 2528 1147 0 812068 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 3302756 KiB
Current children cumulated memory: 2965544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/267 48242
/proc/meminfo: memFree=115720368/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3326432 memory=2990340 CPUtime=3450.16 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 376958 0 0 0 343769 1247 0 0 20 0 1 0 51427935 3406266368 747585 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 831608 747585 2528 1147 0 819035 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 3330624 KiB
Current children cumulated memory: 2993412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/267 48244
/proc/meminfo: memFree=115866324/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3286228 memory=2950136 CPUtime=3509.96 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 378293 0 0 0 349722 1274 0 0 20 0 1 0 51427935 3365097472 737534 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 821557 737534 2528 1147 0 808984 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 3290420 KiB
Current children cumulated memory: 2953208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/266 48246
/proc/meminfo: memFree=115757928/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3309824 memory=2973732 CPUtime=3569.75 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 382456 0 0 0 355662 1313 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 3314016 KiB
Current children cumulated memory: 2976804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.08 4.09 4.09 3/256 48263
/proc/meminfo: memFree=123988636/131250000 swapFree=33010416/33010684
[pid=48057] ppid=48047 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/48057/stat : 48057 (run-opt-ls.sh) S 48047 48057 47252 0 -1 4194304 240 27626 0 0 0 0 83 11 20 0 1 0 51427837 4292608 768 18446744073709551615 94193384812544 94193385707077 140730960433744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94193385946128 94193385993872 94193409421312 140730960439655 140730960439781 140730960439781 140730960445383 0
/proc/48057/statm: 1048 768 704 219 0 110 0
[pid=48068] ppid=48057 vsize=3309824 memory=2973732 CPUtime=3599.07 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48057 48057 47252 0 -1 4194304 385354 0 0 0 358583 1324 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3314016 KiB
Current children cumulated memory: 2976804 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

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

[startup+3612.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 48275
/proc/meminfo: memFree=123988396/131250000 swapFree=33010416/33010684
[pid=48068] ppid=48047 vsize=3309824 memory=2973732 CPUtime=3600.16 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48047 48057 47252 0 -1 4194304 385366 0 0 0 358692 1324 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current cumulated CPU time of completed processes: 0.953233 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3309824 KiB
Current children cumulated memory: 2973732 KiB

[startup+3613.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 48295
/proc/meminfo: memFree=126938680/131250000 swapFree=33010416/33010684
[pid=48068] ppid=48047 vsize=3309824 memory=2973732 CPUtime=3600.56 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48047 48057 47252 0 -1 4194304 385372 0 0 0 358732 1324 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current cumulated CPU time of completed processes: 0.953233 s
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 3309824 KiB
Current children cumulated memory: 2973732 KiB

[startup+3613.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 48295
/proc/meminfo: memFree=126938680/131250000 swapFree=33010416/33010684
[pid=48068] ppid=48047 vsize=3309824 memory=2973732 CPUtime=3600.96 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48047 48057 47252 0 -1 4194304 385372 0 0 0 358772 1324 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current cumulated CPU time of completed processes: 0.953233 s
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 3309824 KiB
Current children cumulated memory: 2973732 KiB

[startup+3613.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 48295
/proc/meminfo: memFree=126938680/131250000 swapFree=33010416/33010684
[pid=48068] ppid=48047 vsize=3309824 memory=2973732 CPUtime=3601.06 cores=5,7
/proc/48068/stat : 48068 (roundingsat) R 48047 48057 47252 0 -1 4194304 385372 0 0 0 358782 1324 0 0 20 0 1 0 51427935 3389259776 743433 18446744073709551615 4227072 8923433 140734489021888 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11874304 140734489028934 140734489029160 140734489029160 140734489034730 0
/proc/48068/statm: 827456 743433 2528 1147 0 814883 0
Current cumulated CPU time of completed processes: 0.953233 s
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 3309824 KiB
Current children cumulated memory: 2973732 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.75
CPU time (s): 3602.07
CPU user time (s): 3588.66
CPU system time (s): 13.4153
CPU usage (%): 99.6768
Max. virtual memory (cumulated for all children) (KiB): 3418852
Max. memory (cumulated for all children) (KiB): 3081584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.66
system time used= 13.4153
maximum resident set size= 3078512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240
involuntary context switches= 4038


# summary of solver processes directly reported to runsolver:
#   pid: 48057,48068
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3588.66
#   total CPU system time (s): 13.4153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71471 second user time and 17.7847 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-01 10:11:19
IDJOB=4489600
IDBENCH=147558
IDSOLVER=3355
FILE ID=nodeC027/4489600-1751357479
RUNJOBID= nodeC027-1751350257-47265
SLURM_JOB_ID= 9598136
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=872057313

nodeC027 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.633
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.29
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.661
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.29
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		: 3599.718
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.934
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.29
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.231
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.29
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.638
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.29
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		: 3599.766
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.29
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		: 3598.900
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130048908 kB
MemAvailable:   129785348 kB
Buffers:            2488 kB
Cached:           539008 kB
SwapCached:           12 kB
Active:           375636 kB
Inactive:         239204 kB
Active(anon):      88608 kB
Inactive(anon):     2792 kB
Active(file):     287028 kB
Inactive(file):   236412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             94032 kB
Writeback:             0 kB
AnonPages:         76488 kB
Mapped:           103128 kB
Shmem:             18056 kB
KReclaimable:     104076 kB
Slab:             192156 kB
SReclaimable:     104076 kB
SUnreclaim:        88080 kB
KernelStack:        4096 kB
PageTables:         2920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC027 at 2025-07-01 11:11:33