Trace number 4531824

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-log 0f876b3? (TO) 3602.12 3611.96

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
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 benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4531824-1752683038.opb'
0.28/0.35	c 	read 17.23MB  (338.00ms)
0.28/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c output proof to '/tmp/proof-4531824-1752683038'
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (341.93ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.58/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	 (17.13ms)
0.67/0.71	c 
0.67/0.71	c detect symmetries on remainder
0.67/0.71	c 	[graph: #vertices 706711 #edges 2766420]
0.67/0.71	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.35ms)
0.67/0.76	c 
0.67/0.76	c finalize break order and special generators
0.67/0.76	c 
0.67/0.76	c generation finished
0.67/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.76	c 
0.67/0.76	c write result to 'HOME/instance-4531824-1752683038.opb.pre'
0.67/0.79	c 	wrote 17.23MB (35.42ms)
0.67/0.79	c ------------------------------------------------------------------
0.67/0.79	c                 341.93ms 43.59% approx_orbits
0.67/0.79	c                 338.00ms 43.09% parse
0.67/0.79	c                  49.35ms  6.29% detect_generic
0.67/0.79	c                  35.42ms  4.52% output
0.67/0.79	c                  17.13ms  2.18% detect_special
0.67/0.79	c                   2.14ms  0.27% other
0.67/0.79	c                   0.38ms  0.05% finalize_order
0.67/0.79	c         ───────────────────────────────────────────────
0.67/0.79	c                 784.34ms   100% total
0.67/0.79	c ------------------------------------------------------------------
0.88/0.92	c RoundingSat 2
0.88/0.92	c branch pb25
0.88/0.92	c commit 0f876b3
4.66/4.70	c #variables 10000 #constraints 656900
4.66/4.70	c objective is ce32 
5.45/5.53	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.45/5.53	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.45/5.53	c bounds 5439 >= 0 @ 3.84019
6.85/6.92	c rational objective 197.264
10.54/10.60	c bounds 5413 >= 0 @ 8.77764
10.54/10.61	c bounds 5391 >= 0 @ 8.78524
10.54/10.62	c bounds 5349 >= 0 @ 8.79294
10.54/10.63	c bounds 5158 >= 0 @ 8.7997
10.54/10.63	c bounds 4993 >= 0 @ 8.80546
10.54/10.64	c bounds 4992 >= 0 @ 8.80873
10.54/10.65	c bounds 4982 >= 0 @ 8.81257
10.54/10.66	c bounds 4974 >= 0 @ 8.82117
10.54/10.66	c bounds 4890 >= 0 @ 8.82632
10.54/10.67	c bounds 4879 >= 0 @ 8.83161
10.54/10.68	c bounds 4809 >= 0 @ 8.83488
10.64/10.72	c bounds 4788 >= 0 @ 8.87407
10.64/10.73	c bounds 4775 >= 0 @ 8.87817
10.64/10.74	c bounds 4749 >= 0 @ 8.89406
10.95/11.00	c bounds 4723 >= 0 @ 9.15165
10.95/11.01	c bounds 4716 >= 0 @ 9.16156
10.95/11.05	c bounds 4711 >= 0 @ 9.1976
11.04/11.11	c bounds 4675 >= 0 @ 9.25633
11.04/11.13	c bounds 4651 >= 0 @ 9.27158
11.04/11.18	c bounds 4634 >= 0 @ 9.31485
11.14/11.25	c bounds 4626 >= 0 @ 9.38423
11.14/11.25	c bounds 4481 >= 0 @ 9.38988
11.14/11.28	c bounds 4471 >= 0 @ 9.41583
11.23/11.36	c bounds 4441 >= 0 @ 9.48571
11.23/11.38	c bounds 4416 >= 0 @ 9.50914
11.23/11.39	c bounds 4374 >= 0 @ 9.51436
11.23/11.39	c bounds 4164 >= 0 @ 9.52044
11.34/11.40	c bounds 3896 >= 0 @ 9.52454
11.34/11.41	c bounds 3890 >= 0 @ 9.52823
11.34/11.42	c bounds 3836 >= 0 @ 9.53459
11.34/11.43	c bounds 3825 >= 0 @ 9.54702
11.34/11.44	c bounds 3601 >= 0 @ 9.55237
11.84/11.95	c bounds 3585 >= 0 @ 10.0555
12.13/12.22	c bounds 3575 >= 0 @ 10.3191
12.13/12.24	c bounds 3573 >= 0 @ 10.3315
12.13/12.25	c bounds 3548 >= 0 @ 10.3485
12.33/12.46	c bounds 3542 >= 0 @ 10.5528
12.33/12.48	c bounds 3497 >= 0 @ 10.5694
12.43/12.51	c bounds 3482 >= 0 @ 10.601
12.43/12.52	c bounds 3480 >= 0 @ 10.607
12.54/12.65	c bounds 3444 >= 0 @ 10.7365
12.54/12.68	c bounds 3435 >= 0 @ 10.7628
12.54/12.69	c bounds 3427 >= 0 @ 10.7685
12.63/12.77	c bounds 3422 >= 0 @ 10.8476
12.74/12.89	c bounds 3397 >= 0 @ 10.9644
12.83/12.90	c bounds 3361 >= 0 @ 10.9753
12.94/13.01	c bounds 3326 >= 0 @ 11.0759
12.94/13.02	c bounds 3179 >= 0 @ 11.0839
13.04/13.12	c bounds 3175 >= 0 @ 11.189
13.04/13.13	c bounds 3152 >= 0 @ 11.1994
13.04/13.14	c bounds 3151 >= 0 @ 11.2059
13.04/13.17	c bounds 3134 >= 0 @ 11.232
13.04/13.18	c bounds 3133 >= 0 @ 11.2366
13.13/13.20	c bounds 3095 >= 0 @ 11.2548
13.13/13.21	c bounds 3048 >= 0 @ 11.2615
13.13/13.21	c bounds 2988 >= 0 @ 11.2672
13.13/13.23	c bounds 2940 >= 0 @ 11.2764
13.13/13.23	c bounds 2915 >= 0 @ 11.2831
13.24/13.37	c bounds 2908 >= 0 @ 11.4097
13.24/13.38	c bounds 2891 >= 0 @ 11.42
13.24/13.39	c bounds 2846 >= 0 @ 11.4314
13.33/13.40	c bounds 2811 >= 0 @ 11.4355
13.33/13.42	c bounds 2809 >= 0 @ 11.4527
13.33/13.43	c bounds 2775 >= 0 @ 11.4589
13.33/13.46	c bounds 2762 >= 0 @ 11.4834
13.44/13.57	c bounds 2749 >= 0 @ 11.5988
13.44/13.59	c bounds 2746 >= 0 @ 11.6142
13.53/13.61	c bounds 2717 >= 0 @ 11.6284
13.53/13.63	c bounds 2713 >= 0 @ 11.6416
13.53/13.64	c bounds 2596 >= 0 @ 11.6459
13.53/13.64	c bounds 2555 >= 0 @ 11.6513
13.63/13.75	c bounds 2550 >= 0 @ 11.7539
13.63/13.77	c bounds 2548 >= 0 @ 11.7659
13.63/13.79	c bounds 2531 >= 0 @ 11.7786
13.73/13.88	c bounds 2492 >= 0 @ 11.8689
13.94/14.05	c bounds 2464 >= 0 @ 12.0302
13.94/14.06	c bounds 2462 >= 0 @ 12.0366
13.94/14.09	c bounds 2430 >= 0 @ 12.0646
14.03/14.11	c bounds 2426 >= 0 @ 12.081
14.03/14.12	c bounds 2388 >= 0 @ 12.0938
14.13/14.23	c bounds 2366 >= 0 @ 12.1943
14.13/14.25	c bounds 2364 >= 0 @ 12.2172
14.33/14.50	c bounds 2355 >= 0 @ 12.4519
15.33/15.44	c bounds 2354 >= 0 @ 13.3632
15.63/15.70	c bounds 2343 >= 0 @ 13.6194
16.53/16.65	c bounds 2342 >= 0 @ 14.5459
16.53/16.66	c bounds 2298 >= 0 @ 14.5523
17.22/17.30	c bounds 2284 >= 0 @ 15.1746
17.42/17.53	c bounds 2269 >= 0 @ 15.3916
17.42/17.54	c bounds 2268 >= 0 @ 15.3989
17.42/17.55	c bounds 2226 >= 0 @ 15.4085
17.62/17.71	c bounds 2185 >= 0 @ 15.5626
17.62/17.72	c bounds 2182 >= 0 @ 15.5693
17.62/17.75	c bounds 2162 >= 0 @ 15.5871
17.62/17.76	c bounds 2161 >= 0 @ 15.6003
17.62/17.78	c bounds 2112 >= 0 @ 15.6073
17.62/17.79	c bounds 2086 >= 0 @ 15.6177
17.82/17.90	c bounds 2080 >= 0 @ 15.7225
17.82/17.91	c bounds 2068 >= 0 @ 15.7329
17.82/17.92	c bounds 2054 >= 0 @ 15.7418
17.92/18.03	c bounds 2042 >= 0 @ 15.8412
17.92/18.04	c bounds 2037 >= 0 @ 15.8486
17.92/18.05	c bounds 2027 >= 0 @ 15.8576
17.92/18.06	c bounds 1958 >= 0 @ 15.8656
17.92/18.08	c bounds 1948 >= 0 @ 15.8794
18.03/18.19	c bounds 1938 >= 0 @ 15.9878
18.21/18.31	c bounds 1927 >= 0 @ 16.0988
18.21/18.32	c bounds 1926 >= 0 @ 16.1066
18.21/18.33	c bounds 1905 >= 0 @ 16.1147
18.21/18.35	c bounds 1892 >= 0 @ 16.1349
18.21/18.36	c bounds 1891 >= 0 @ 16.1441
18.52/18.62	c bounds 1869 >= 0 @ 16.4021
18.52/18.64	c bounds 1830 >= 0 @ 16.4107
18.52/18.65	c bounds 1792 >= 0 @ 16.4199
18.62/18.76	c bounds 1789 >= 0 @ 16.5281
18.72/18.81	c bounds 1787 >= 0 @ 16.5662
18.82/18.94	c bounds 1765 >= 0 @ 16.6994
18.82/18.96	c bounds 1753 >= 0 @ 16.7148
18.82/18.97	c bounds 1719 >= 0 @ 16.7215
18.82/18.99	c bounds 1717 >= 0 @ 16.7353
19.03/19.11	c bounds 1710 >= 0 @ 16.8495
19.12/19.23	c bounds 1689 >= 0 @ 16.9717
19.32/19.49	c #Conflicts:       1000 | #Constraints:     658060
19.32/19.49	c bounds 1668 >= 0 @ 17.2247
19.42/19.52	c bounds 1667 >= 0 @ 17.2548
19.52/19.64	c bounds 1644 >= 0 @ 17.3676
19.52/19.65	c bounds 1586 >= 0 @ 17.3753
19.52/19.67	c bounds 1504 >= 0 @ 17.3863
20.12/20.23	c bounds 1496 >= 0 @ 17.9344
20.12/20.24	c bounds 1386 >= 0 @ 17.9451
20.12/20.26	c bounds 1310 >= 0 @ 17.9565
20.12/20.27	c bounds 1282 >= 0 @ 17.9669
20.92/21.08	c bounds 1273 >= 0 @ 18.7482
21.01/21.11	c bounds 1267 >= 0 @ 18.7729
21.11/21.23	c bounds 1265 >= 0 @ 18.8875
21.11/21.24	c bounds 1258 >= 0 @ 18.8975
21.11/21.25	c bounds 1257 >= 0 @ 18.9057
21.21/21.37	c bounds 1253 >= 0 @ 19.01
21.21/21.38	c bounds 1252 >= 0 @ 19.0166
21.81/22.00	c bounds 1250 >= 0 @ 19.6144
22.81/22.91	c bounds 1243 >= 0 @ 20.4955
22.81/22.92	c bounds 1242 >= 0 @ 20.5039
22.81/22.93	c bounds 1236 >= 0 @ 20.5131
22.92/23.08	c bounds 1229 >= 0 @ 20.6558
23.11/23.26	c bounds 1221 >= 0 @ 20.8264
23.11/23.27	c bounds 1215 >= 0 @ 20.836
23.20/23.37	c bounds 1212 >= 0 @ 20.9252
23.31/23.49	c bounds 1189 >= 0 @ 21.0433
23.40/23.51	c bounds 1125 >= 0 @ 21.0579
23.50/23.63	c bounds 1027 >= 0 @ 21.1728
23.50/23.67	c bounds 908 >= 0 @ 21.1961
23.50/23.68	c bounds 907 >= 0 @ 21.2044
23.50/23.69	c bounds 891 >= 0 @ 21.2164
23.60/23.72	c bounds 868 >= 0 @ 21.2398
23.60/23.74	c bounds 864 >= 0 @ 21.2479
23.60/23.77	c bounds 855 >= 0 @ 21.2712
23.71/23.84	c bounds 837 >= 0 @ 21.3352
23.71/23.87	c bounds 830 >= 0 @ 21.3648
23.71/23.89	c bounds 827 >= 0 @ 21.3748
23.81/23.91	c bounds 825 >= 0 @ 21.3914
25.50/25.66	c #Conflicts:       2000 | #Constraints:     659106
25.50/25.66	c INPROCESSING
25.50/25.66	c GARBAGE COLLECT
25.50/25.66	c bounds 817 >= 0 @ 23.1173
25.60/25.74	c bounds 734 >= 0 @ 23.1974
25.60/25.76	c bounds 731 >= 0 @ 23.208
25.60/25.77	c bounds 730 >= 0 @ 23.2157
25.60/25.79	c bounds 725 >= 0 @ 23.2316
26.50/26.68	c bounds 716 >= 0 @ 24.1048
26.50/26.70	c bounds 682 >= 0 @ 24.1155
28.50/28.68	c #Conflicts:       3000 | #Constraints:     658935
28.50/28.68	c bounds 659 >= 0 @ 26.0602
28.90/29.03	c bounds 537 >= 0 @ 26.382
28.90/29.04	c bounds 537 >= 9 @ 26.3922
32.08/32.20	c #Conflicts:       4000 | #Constraints:     659940
32.08/32.20	c INPROCESSING
32.08/32.20	c bounds 513 >= 9 @ 29.5065
36.47/36.69	c #Conflicts:       5000 | #Constraints:     659332
36.47/36.69	c #Conflicts:       6000 | #Constraints:     660332
36.47/36.69	c bounds 458 >= 9 @ 33.9108
36.57/36.70	c bounds 457 >= 9 @ 33.9184
40.56/40.74	c INPROCESSING
40.56/40.74	c GARBAGE COLLECT
40.56/40.74	c rational objective 199.794
44.05/44.28	c bounds 455 >= 9 @ 41.4399
44.05/44.29	c bounds 450 >= 9 @ 41.4535
49.44/49.67	c #Conflicts:       7000 | #Constraints:     659334
49.44/49.67	c bounds 449 >= 9 @ 46.7179
67.19/67.42	c #Conflicts:       8000 | #Constraints:     660347
67.19/67.42	c #Conflicts:       9000 | #Constraints:     661347
67.19/67.42	c INPROCESSING
67.19/67.42	c GARBAGE COLLECT
67.19/67.42	c #Conflicts:      10000 | #Constraints:     660030
67.19/67.42	c #Conflicts:      11000 | #Constraints:     661030
67.19/67.42	c #Conflicts:      12000 | #Constraints:     662030
67.19/67.42	c INPROCESSING
67.19/67.42	c GARBAGE COLLECT
67.19/67.42	c rational objective 200.794
73.27/73.51	c bounds 448 >= 9 @ 70.2459
82.75/83.02	c #Conflicts:      13000 | #Constraints:     660487
82.75/83.02	c #Conflicts:      14000 | #Constraints:     661487
82.75/83.02	c #Conflicts:      15000 | #Constraints:     662487
82.75/83.02	c INPROCESSING
82.75/83.02	c GARBAGE COLLECT
82.75/83.02	c rational objective 201.875
86.93/87.24	c bounds 446 >= 9 @ 83.8352
87.34/87.60	c bounds 445 >= 9 @ 84.1864
88.33/88.66	c bounds 443 >= 9 @ 85.2173
88.33/88.68	c bounds 443 >= 14 @ 85.2281
88.33/88.69	c bounds 443 >= 19 @ 85.2356
92.02/92.31	c #Conflicts:      16000 | #Constraints:     660724
92.02/92.31	c bounds 443 >= 24 @ 88.8156
100.00/100.39	c #Conflicts:      17000 | #Constraints:     661733
100.00/100.39	c #Conflicts:      18000 | #Constraints:     662733
100.00/100.39	c INPROCESSING
100.00/100.39	c GARBAGE COLLECT
100.00/100.39	c rational objective 202.278
105.19/105.53	c bounds 441 >= 24 @ 101.945
105.48/105.87	c bounds 440 >= 24 @ 102.276
105.48/105.88	c bounds 440 >= 28 @ 102.287
110.97/111.37	c #Conflicts:      19000 | #Constraints:     660755
110.97/111.37	c #Conflicts:      20000 | #Constraints:     661755
110.97/111.37	c bounds 439 >= 28 @ 107.651
110.97/111.38	c bounds 438 >= 28 @ 107.661
111.07/111.42	c bounds 437 >= 28 @ 107.693
111.36/111.74	c bounds 435 >= 28 @ 107.999
111.57/111.95	c bounds 428 >= 28 @ 108.208
111.67/112.00	c bounds 427 >= 28 @ 108.257
111.67/112.05	c bounds 424 >= 28 @ 108.302
111.67/112.07	c bounds 421 >= 28 @ 108.324
111.67/112.09	c bounds 418 >= 28 @ 108.335
111.77/112.15	c bounds 413 >= 28 @ 108.389
111.77/112.18	c bounds 410 >= 28 @ 108.415
154.15/154.64	c #Conflicts:      21000 | #Constraints:     662766
154.15/154.64	c INPROCESSING
154.15/154.64	c #Conflicts:      22000 | #Constraints:     660548
154.15/154.64	c #Conflicts:      23000 | #Constraints:     661548
154.15/154.64	c #Conflicts:      24000 | #Constraints:     662548
154.15/154.64	c #Conflicts:      25000 | #Constraints:     663548
154.15/154.64	c INPROCESSING
154.15/154.64	c GARBAGE COLLECT
154.15/154.64	c #Conflicts:      26000 | #Constraints:     661152
154.15/154.64	c #Conflicts:      27000 | #Constraints:     662152
154.15/154.64	c #Conflicts:      28000 | #Constraints:     663152
154.15/154.64	c #Conflicts:      29000 | #Constraints:     664152
154.15/154.64	c INPROCESSING
154.15/154.64	c GARBAGE COLLECT
154.15/154.64	c rational objective 202.379
159.44/159.95	c bounds 409 >= 28 @ 155.595
164.62/165.15	c bounds 406 >= 28 @ 160.692
164.62/165.17	c bounds 406 >= 30 @ 160.701
164.62/165.19	c bounds 406 >= 32 @ 160.712
164.72/165.21	c bounds 406 >= 34 @ 160.728
164.72/165.23	c bounds 406 >= 36 @ 160.741
164.72/165.25	c bounds 406 >= 38 @ 160.76
170.11/170.66	c bounds 406 >= 40 @ 166.125
170.62/171.13	c bounds 406 >= 42 @ 166.592
175.00/175.56	c #Conflicts:      30000 | #Constraints:     661610
175.00/175.56	c #Conflicts:      31000 | #Constraints:     662610
175.00/175.56	c bounds 406 >= 44 @ 170.911
200.82/201.44	c #Conflicts:      32000 | #Constraints:     663628
200.82/201.44	c #Conflicts:      33000 | #Constraints:     664628
200.82/201.44	c INPROCESSING
200.82/201.44	c GARBAGE COLLECT
200.82/201.44	c rational objective 202.392
226.65/227.30	c #Conflicts:      34000 | #Constraints:     661812
226.65/227.30	c #Conflicts:      35000 | #Constraints:     662812
226.65/227.30	c #Conflicts:      36000 | #Constraints:     663812
226.65/227.30	c #Conflicts:      37000 | #Constraints:     664812
226.65/227.30	c INPROCESSING
226.65/227.30	c GARBAGE COLLECT
226.65/227.30	c rational objective 202.765
244.30/245.09	c #Conflicts:      38000 | #Constraints:     661823
244.30/245.09	c bounds 403 >= 44 @ 239.72
245.09/245.86	c bounds 401 >= 44 @ 240.464
245.49/246.26	c bounds 398 >= 44 @ 240.856
245.69/246.45	c #Conflicts:      39000 | #Constraints:     662843
245.69/246.45	c bounds 396 >= 44 @ 241.048
245.89/246.64	c bounds 395 >= 44 @ 241.233
256.65/257.40	c #Conflicts:      40000 | #Constraints:     663869
256.65/257.40	c bounds 391 >= 44 @ 251.728
256.65/257.42	c bounds 391 >= 45 @ 251.748
256.65/257.44	c bounds 391 >= 46 @ 251.763
256.65/257.46	c bounds 391 >= 47 @ 251.782
256.65/257.48	c bounds 391 >= 48 @ 251.795
256.76/257.50	c bounds 391 >= 49 @ 251.813
256.76/257.53	c bounds 391 >= 50 @ 251.831
256.76/257.56	c bounds 391 >= 51 @ 251.851
256.76/257.59	c bounds 391 >= 52 @ 251.877
256.85/257.62	c bounds 391 >= 53 @ 251.896
256.85/257.66	c bounds 391 >= 54 @ 251.927
256.85/257.69	c bounds 391 >= 55 @ 251.953
256.96/257.72	c bounds 391 >= 56 @ 251.977
256.96/257.76	c bounds 391 >= 57 @ 252.01
257.06/257.81	c bounds 391 >= 58 @ 252.058
257.06/257.90	c bounds 391 >= 59 @ 252.132
257.16/257.95	c bounds 391 >= 60 @ 252.182
257.26/258.01	c bounds 391 >= 61 @ 252.236
257.26/258.05	c bounds 391 >= 62 @ 252.273
260.05/260.83	c bounds 391 >= 63 @ 255.019
260.15/260.98	c bounds 391 >= 64 @ 255.158
260.45/261.21	c bounds 391 >= 65 @ 255.38
260.65/261.47	c bounds 391 >= 66 @ 255.631
260.95/261.73	c bounds 391 >= 67 @ 255.873
261.05/261.85	c bounds 391 >= 68 @ 255.99
261.44/262.22	c bounds 391 >= 69 @ 256.352
262.45/263.27	c bounds 391 >= 70 @ 257.378
263.35/264.14	c #Conflicts:      41000 | #Constraints:     665139
263.35/264.14	c bounds 391 >= 71 @ 258.213
263.93/264.70	c bounds 391 >= 72 @ 258.752
264.24/265.07	c bounds 391 >= 73 @ 259.109
300.14/301.07	c INPROCESSING
300.14/301.07	c GARBAGE COLLECT
300.14/301.07	c rational objective 202.765
306.23/307.12	c bounds 391 >= 74 @ 300.964
312.11/313.01	c #Conflicts:      42000 | #Constraints:     661905
312.11/313.01	c bounds 391 >= 75 @ 306.79
313.50/314.41	c bounds 391 >= 76 @ 308.16
315.30/316.28	c #Conflicts:      43000 | #Constraints:     662965
315.30/316.28	c bounds 391 >= 77 @ 309.998
317.59/318.51	c #Conflicts:      44000 | #Constraints:     663995
317.59/318.51	c bounds 391 >= 78 @ 312.176
326.76/327.74	c #Conflicts:      45000 | #Constraints:     665028
326.76/327.74	c bounds 391 >= 79 @ 321.266
329.35/330.35	c bounds 390 >= 79 @ 323.82
340.03/341.00	c #Conflicts:      46000 | #Constraints:     666068
340.03/341.00	c INPROCESSING
340.03/341.00	c GARBAGE COLLECT
340.03/341.00	c #Conflicts:      47000 | #Constraints:     662562
340.03/341.00	c bounds 390 >= 80 @ 334.294
345.22/346.23	c #Conflicts:      48000 | #Constraints:     663617
345.22/346.23	c #Conflicts:      49000 | #Constraints:     664617
345.22/346.23	c bounds 390 >= 81 @ 339.37
345.91/346.93	c bounds 388 >= 81 @ 340.05
349.50/350.52	c bounds 387 >= 81 @ 343.569
364.26/365.39	c #Conflicts:      50000 | #Constraints:     665660
364.26/365.39	c #Conflicts:      51000 | #Constraints:     666660
364.26/365.39	c INPROCESSING
364.26/365.39	c GARBAGE COLLECT
364.26/365.39	c rational objective 202.765
372.63/373.77	c #Conflicts:      52000 | #Constraints:     662993
372.63/373.77	c bounds 387 >= 82 @ 366.505
384.10/385.29	c #Conflicts:      53000 | #Constraints:     664015
384.10/385.29	c bounds 387 >= 83 @ 377.812
395.37/396.55	c #Conflicts:      54000 | #Constraints:     665069
395.37/396.55	c #Conflicts:      55000 | #Constraints:     666069
395.37/396.55	c bounds 387 >= 84 @ 388.854
457.51/458.89	c #Conflicts:      56000 | #Constraints:     667100
457.51/458.89	c INPROCESSING
457.51/458.89	c GARBAGE COLLECT
457.51/458.89	c rational objective 202.765
483.74/485.14	c #Conflicts:      57000 | #Constraints:     663230
483.74/485.14	c #Conflicts:      58000 | #Constraints:     664232
483.74/485.14	c #Conflicts:      59000 | #Constraints:     665233
483.74/485.14	c bounds 387 >= 85 @ 476.763
484.13/485.58	c bounds 385 >= 85 @ 477.182
487.42/488.84	c bounds 383 >= 85 @ 480.375
492.41/493.88	c #Conflicts:      60000 | #Constraints:     666306
492.41/493.88	c bounds 383 >= 86 @ 485.344
625.25/627.06	c #Conflicts:      61000 | #Constraints:     667333
625.25/627.06	c INPROCESSING
625.25/627.06	c GARBAGE COLLECT
625.25/627.06	c #Conflicts:      62000 | #Constraints:     663267
625.25/627.06	c bounds 383 >= 87 @ 617.913
661.64/663.58	c #Conflicts:      63000 | #Constraints:     664318
661.64/663.58	c #Conflicts:      64000 | #Constraints:     665440
661.64/663.58	c bounds 381 >= 87 @ 654.019
697.65/699.63	c #Conflicts:      65000 | #Constraints:     666645
697.65/699.63	c #Conflicts:      66000 | #Constraints:     667645
697.65/699.63	c INPROCESSING
697.65/699.63	c GARBAGE COLLECT
697.65/699.63	c #Conflicts:      67000 | #Constraints:     663239
697.65/699.63	c #Conflicts:      68000 | #Constraints:     664239
697.65/699.63	c #Conflicts:      69000 | #Constraints:     665239
697.65/699.63	c bounds 381 >= 88 @ 689.378
749.61/751.76	c #Conflicts:      70000 | #Constraints:     666287
749.61/751.76	c #Conflicts:      71000 | #Constraints:     667287
749.61/751.76	c #Conflicts:      72000 | #Constraints:     668287
749.61/751.76	c INPROCESSING
749.61/751.76	c GARBAGE COLLECT
749.61/751.76	c #Conflicts:      73000 | #Constraints:     663762
749.61/751.76	c #Conflicts:      74000 | #Constraints:     664762
749.61/751.76	c #Conflicts:      75000 | #Constraints:     665762
749.61/751.76	c bounds 381 >= 89 @ 740.63
768.96/771.12	c #Conflicts:      76000 | #Constraints:     666813
768.96/771.12	c #Conflicts:      77000 | #Constraints:     667813
768.96/771.12	c #Conflicts:      78000 | #Constraints:     668813
768.96/771.12	c INPROCESSING
768.96/771.12	c GARBAGE COLLECT
768.96/771.12	c rational objective 202.765
794.79/797.05	c #Conflicts:      79000 | #Constraints:     664156
794.79/797.05	c #Conflicts:      80000 | #Constraints:     665156
794.79/797.05	c #Conflicts:      81000 | #Constraints:     666156
794.79/797.05	c bounds 381 >= 90 @ 785.199
821.50/823.89	c #Conflicts:      82000 | #Constraints:     667200
821.50/823.89	c #Conflicts:      83000 | #Constraints:     668200
821.50/823.89	c #Conflicts:      84000 | #Constraints:     669200
821.50/823.89	c INPROCESSING
821.50/823.89	c GARBAGE COLLECT
821.50/823.89	c rational objective 202.765
854.32/856.79	c #Conflicts:      85000 | #Constraints:     664347
854.32/856.79	c #Conflicts:      86000 | #Constraints:     665347
854.32/856.79	c #Conflicts:      87000 | #Constraints:     666347
854.32/856.79	c #Conflicts:      88000 | #Constraints:     667347
854.32/856.79	c bounds 381 >= 91 @ 844.183
966.11/968.86	c #Conflicts:      89000 | #Constraints:     668401
966.11/968.86	c #Conflicts:      90000 | #Constraints:     669401
966.11/968.86	c INPROCESSING
966.11/968.86	c GARBAGE COLLECT
966.11/968.86	c rational objective 202.765
1022.36/1025.25	c #Conflicts:      91000 | #Constraints:     664370
1022.36/1025.25	c #Conflicts:      92000 | #Constraints:     665371
1022.36/1025.25	c #Conflicts:      93000 | #Constraints:     666371
1022.36/1025.25	c #Conflicts:      94000 | #Constraints:     667371
1022.36/1025.25	c #Conflicts:      95000 | #Constraints:     668372
1022.36/1025.25	c #Conflicts:      96000 | #Constraints:     669372
1022.36/1025.25	c INPROCESSING
1022.36/1025.25	c GARBAGE COLLECT
1022.36/1025.25	c rational objective 202.765
1147.42/1150.61	c #Conflicts:      97000 | #Constraints:     664155
1147.42/1150.61	c #Conflicts:      98000 | #Constraints:     665155
1147.42/1150.61	c #Conflicts:      99000 | #Constraints:     666156
1147.42/1150.61	c #Conflicts:     100000 | #Constraints:     667197
1147.42/1150.61	c #Conflicts:     101000 | #Constraints:     668741
1147.42/1150.61	c #Conflicts:     102000 | #Constraints:     670253
1147.42/1150.61	c #Conflicts:     103000 | #Constraints:     671463
1147.42/1150.61	c INPROCESSING
1147.42/1150.61	c GARBAGE COLLECT
1147.42/1150.61	c rational objective 202.765
1199.69/1203.05	c #Conflicts:     104000 | #Constraints:     665427
1199.69/1203.05	c #Conflicts:     105000 | #Constraints:     666427
1199.69/1203.05	c #Conflicts:     106000 | #Constraints:     667427
1199.69/1203.05	c #Conflicts:     107000 | #Constraints:     668427
1199.69/1203.05	c #Conflicts:     108000 | #Constraints:     669428
1199.69/1203.05	c #Conflicts:     109000 | #Constraints:     670428
1199.69/1203.05	c bounds 381 >= 92 @ 1187.12
1258.32/1261.85	c #Conflicts:     110000 | #Constraints:     671481
1258.32/1261.85	c INPROCESSING
1258.32/1261.85	c GARBAGE COLLECT
1258.32/1261.85	c rational objective 202.765
1313.38/1317.06	c #Conflicts:     111000 | #Constraints:     665512
1313.38/1317.06	c #Conflicts:     112000 | #Constraints:     666512
1313.38/1317.06	c #Conflicts:     113000 | #Constraints:     667513
1313.38/1317.06	c #Conflicts:     114000 | #Constraints:     668513
1313.38/1317.06	c #Conflicts:     115000 | #Constraints:     669513
1313.38/1317.06	c #Conflicts:     116000 | #Constraints:     670514
1313.38/1317.06	c #Conflicts:     117000 | #Constraints:     671514
1313.38/1317.06	c INPROCESSING
1313.38/1317.06	c GARBAGE COLLECT
1313.38/1317.06	c rational objective 202.765
1371.12/1374.96	c #Conflicts:     118000 | #Constraints:     665534
1371.12/1374.96	c #Conflicts:     119000 | #Constraints:     666534
1371.12/1374.96	c #Conflicts:     120000 | #Constraints:     667534
1371.12/1374.96	c #Conflicts:     121000 | #Constraints:     668534
1371.12/1374.96	c #Conflicts:     122000 | #Constraints:     669535
1371.12/1374.96	c #Conflicts:     123000 | #Constraints:     670536
1371.12/1374.96	c bounds 381 >= 93 @ 1356.88
1492.37/1496.54	c #Conflicts:     124000 | #Constraints:     671599
1492.37/1496.54	c INPROCESSING
1492.37/1496.54	c GARBAGE COLLECT
1492.37/1496.54	c bounds 380 >= 93 @ 1477.95
1537.56/1541.87	c #Conflicts:     125000 | #Constraints:     665522
1537.56/1541.87	c #Conflicts:     126000 | #Constraints:     666522
1537.56/1541.87	c #Conflicts:     127000 | #Constraints:     667522
1537.56/1541.87	c #Conflicts:     128000 | #Constraints:     668522
1537.56/1541.87	c #Conflicts:     129000 | #Constraints:     669522
1537.56/1541.87	c #Conflicts:     130000 | #Constraints:     670522
1537.56/1541.87	c #Conflicts:     131000 | #Constraints:     671522
1537.56/1541.87	c INPROCESSING
1537.56/1541.87	c GARBAGE COLLECT
1537.56/1541.87	c rational objective 202.765
1583.93/1588.38	c #Conflicts:     132000 | #Constraints:     665244
1583.93/1588.38	c #Conflicts:     133000 | #Constraints:     666700
1583.93/1588.38	c bounds 375 >= 93 @ 1568.51
1783.38/1788.30	c #Conflicts:     134000 | #Constraints:     667763
1783.38/1788.30	c #Conflicts:     135000 | #Constraints:     668763
1783.38/1788.30	c #Conflicts:     136000 | #Constraints:     669763
1783.38/1788.30	c #Conflicts:     137000 | #Constraints:     670764
1783.38/1788.30	c #Conflicts:     138000 | #Constraints:     671765
1783.38/1788.30	c #Conflicts:     139000 | #Constraints:     672765
1783.38/1788.30	c INPROCESSING
1783.38/1788.30	c GARBAGE COLLECT
1783.38/1788.30	c rational objective 202.765
1816.79/1821.81	c #Conflicts:     140000 | #Constraints:     666080
1816.79/1821.81	c #Conflicts:     141000 | #Constraints:     667082
1816.79/1821.81	c #Conflicts:     142000 | #Constraints:     668083
1816.79/1821.81	c bounds 375 >= 94 @ 1800.27
1849.40/1854.58	c #Conflicts:     143000 | #Constraints:     669128
1849.40/1854.58	c #Conflicts:     144000 | #Constraints:     670128
1849.40/1854.58	c #Conflicts:     145000 | #Constraints:     671129
1849.40/1854.58	c #Conflicts:     146000 | #Constraints:     672129
1849.40/1854.58	c #Conflicts:     147000 | #Constraints:     673129
1849.40/1854.58	c INPROCESSING
1849.40/1854.58	c GARBAGE COLLECT
1849.40/1854.58	c rational objective 202.765
1914.93/1920.25	c #Conflicts:     148000 | #Constraints:     666377
1914.93/1920.25	c #Conflicts:     149000 | #Constraints:     667379
1914.93/1920.25	c #Conflicts:     150000 | #Constraints:     668379
1914.93/1920.25	c #Conflicts:     151000 | #Constraints:     669380
1914.93/1920.25	c #Conflicts:     152000 | #Constraints:     670380
1914.93/1920.25	c #Conflicts:     153000 | #Constraints:     671381
1914.93/1920.25	c #Conflicts:     154000 | #Constraints:     672382
1914.93/1920.25	c #Conflicts:     155000 | #Constraints:     673383
1914.93/1920.25	c INPROCESSING
1914.93/1920.25	c GARBAGE COLLECT
1914.93/1920.25	c rational objective 202.765
1921.82/1927.18	c bounds 373 >= 94 @ 1903.97
1925.10/1930.48	c #Conflicts:     156000 | #Constraints:     666489
1925.10/1930.48	c bounds 369 >= 94 @ 1907.21
1944.06/1949.44	c #Conflicts:     157000 | #Constraints:     667490
1944.06/1949.44	c bounds 369 >= 95 @ 1925.93
1989.64/1995.14	c #Conflicts:     158000 | #Constraints:     668544
1989.64/1995.14	c #Conflicts:     159000 | #Constraints:     669544
1989.64/1995.14	c #Conflicts:     160000 | #Constraints:     670544
1989.64/1995.14	c #Conflicts:     161000 | #Constraints:     671544
1989.64/1995.14	c #Conflicts:     162000 | #Constraints:     672544
1989.64/1995.14	c #Conflicts:     163000 | #Constraints:     673544
1989.64/1995.14	c INPROCESSING
1989.64/1995.14	c GARBAGE COLLECT
1989.64/1995.14	c rational objective 202.765
2019.35/2025.00	c #Conflicts:     164000 | #Constraints:     666491
2019.35/2025.00	c #Conflicts:     165000 | #Constraints:     667500
2019.35/2025.00	c bounds 368 >= 95 @ 2000.37
2062.83/2068.55	c #Conflicts:     166000 | #Constraints:     668513
2062.83/2068.55	c #Conflicts:     167000 | #Constraints:     669513
2062.83/2068.55	c #Conflicts:     168000 | #Constraints:     670513
2062.83/2068.55	c #Conflicts:     169000 | #Constraints:     671513
2062.83/2068.55	c #Conflicts:     170000 | #Constraints:     672513
2062.83/2068.55	c #Conflicts:     171000 | #Constraints:     673513
2062.83/2068.55	c bounds 368 >= 96 @ 2043.14
2084.47/2090.23	c INPROCESSING
2084.47/2090.23	c GARBAGE COLLECT
2084.47/2090.23	c rational objective 202.765
2166.15/2172.15	c #Conflicts:     172000 | #Constraints:     666285
2166.15/2172.15	c #Conflicts:     173000 | #Constraints:     667285
2166.15/2172.15	c #Conflicts:     174000 | #Constraints:     668286
2166.15/2172.15	c #Conflicts:     175000 | #Constraints:     669286
2166.15/2172.15	c #Conflicts:     176000 | #Constraints:     670286
2166.15/2172.15	c #Conflicts:     177000 | #Constraints:     671286
2166.15/2172.15	c #Conflicts:     178000 | #Constraints:     672286
2166.15/2172.15	c #Conflicts:     179000 | #Constraints:     673286
2166.15/2172.15	c #Conflicts:     180000 | #Constraints:     674286
2166.15/2172.15	c INPROCESSING
2166.15/2172.15	c GARBAGE COLLECT
2166.15/2172.15	c rational objective 202.765
2309.35/2315.73	c #Conflicts:     181000 | #Constraints:     666874
2309.35/2315.73	c #Conflicts:     182000 | #Constraints:     667874
2309.35/2315.73	c #Conflicts:     183000 | #Constraints:     668874
2309.35/2315.73	c #Conflicts:     184000 | #Constraints:     669875
2309.35/2315.73	c #Conflicts:     185000 | #Constraints:     670875
2309.35/2315.73	c #Conflicts:     186000 | #Constraints:     671876
2309.35/2315.73	c #Conflicts:     187000 | #Constraints:     672878
2309.35/2315.73	c #Conflicts:     188000 | #Constraints:     673878
2309.35/2315.73	c #Conflicts:     189000 | #Constraints:     674880
2309.35/2315.73	c INPROCESSING
2309.35/2315.73	c GARBAGE COLLECT
2309.35/2315.73	c bounds 368 >= 97 @ 2287.47
2535.83/2542.84	c #Conflicts:     190000 | #Constraints:     667331
2535.83/2542.84	c #Conflicts:     191000 | #Constraints:     668331
2535.83/2542.84	c #Conflicts:     192000 | #Constraints:     669331
2535.83/2542.84	c #Conflicts:     193000 | #Constraints:     670331
2535.83/2542.84	c #Conflicts:     194000 | #Constraints:     671331
2535.83/2542.84	c #Conflicts:     195000 | #Constraints:     672331
2535.83/2542.84	c #Conflicts:     196000 | #Constraints:     673331
2535.83/2542.84	c #Conflicts:     197000 | #Constraints:     674331
2535.83/2542.84	c #Conflicts:     198000 | #Constraints:     675331
2535.83/2542.84	c INPROCESSING
2535.83/2542.84	c GARBAGE COLLECT
2535.83/2542.84	c rational objective 202.765
2540.82/2547.86	c bounds 367 >= 97 @ 2517.74
2599.66/2606.80	c #Conflicts:     199000 | #Constraints:     667519
2599.66/2606.80	c #Conflicts:     200000 | #Constraints:     668519
2599.66/2606.80	c #Conflicts:     201000 | #Constraints:     669521
2599.66/2606.80	c #Conflicts:     202000 | #Constraints:     670528
2599.66/2606.80	c #Conflicts:     203000 | #Constraints:     671534
2599.66/2606.80	c #Conflicts:     204000 | #Constraints:     672536
2599.66/2606.80	c #Conflicts:     205000 | #Constraints:     673540
2599.66/2606.80	c bounds 366 >= 97 @ 2575.91
2616.82/2624.02	c #Conflicts:     206000 | #Constraints:     674541
2616.82/2624.02	c #Conflicts:     207000 | #Constraints:     675541
2616.82/2624.02	c INPROCESSING
2616.82/2624.02	c GARBAGE COLLECT
2616.82/2624.02	c rational objective 202.765
2713.16/2720.64	c #Conflicts:     208000 | #Constraints:     667502
2713.16/2720.64	c #Conflicts:     209000 | #Constraints:     668504
2713.16/2720.64	c #Conflicts:     210000 | #Constraints:     669504
2713.16/2720.64	c #Conflicts:     211000 | #Constraints:     670504
2713.16/2720.64	c #Conflicts:     212000 | #Constraints:     671504
2713.16/2720.64	c #Conflicts:     213000 | #Constraints:     672504
2713.16/2720.64	c #Conflicts:     214000 | #Constraints:     673504
2713.16/2720.64	c #Conflicts:     215000 | #Constraints:     674512
2713.16/2720.64	c #Conflicts:     216000 | #Constraints:     675513
2713.16/2720.64	c INPROCESSING
2713.16/2720.64	c GARBAGE COLLECT
2713.16/2720.64	c rational objective 202.765
2729.32/2736.88	c #Conflicts:     217000 | #Constraints:     667290
2729.32/2736.88	c #Conflicts:     218000 | #Constraints:     668290
2729.32/2736.88	c bounds 366 >= 98 @ 2704.22
2794.05/2801.70	c #Conflicts:     219000 | #Constraints:     669356
2794.05/2801.70	c #Conflicts:     220000 | #Constraints:     670356
2794.05/2801.70	c #Conflicts:     221000 | #Constraints:     671357
2794.05/2801.70	c #Conflicts:     222000 | #Constraints:     672357
2794.05/2801.70	c #Conflicts:     223000 | #Constraints:     673357
2794.05/2801.70	c #Conflicts:     224000 | #Constraints:     674358
2794.05/2801.70	c #Conflicts:     225000 | #Constraints:     675359
2794.05/2801.70	c #Conflicts:     226000 | #Constraints:     676359
2794.05/2801.70	c INPROCESSING
2794.05/2801.70	c GARBAGE COLLECT
2794.05/2801.70	c rational objective 202.765
2907.54/2915.50	c #Conflicts:     227000 | #Constraints:     667934
2907.54/2915.50	c #Conflicts:     228000 | #Constraints:     668936
2907.54/2915.50	c #Conflicts:     229000 | #Constraints:     669937
2907.54/2915.50	c #Conflicts:     230000 | #Constraints:     670937
2907.54/2915.50	c #Conflicts:     231000 | #Constraints:     671938
2907.54/2915.50	c #Conflicts:     232000 | #Constraints:     672938
2907.54/2915.50	c #Conflicts:     233000 | #Constraints:     673938
2907.54/2915.50	c #Conflicts:     234000 | #Constraints:     674938
2907.54/2915.50	c #Conflicts:     235000 | #Constraints:     675938
2907.54/2915.50	c bounds 366 >= 99 @ 2880.22
2907.54/2915.57	c bounds 360 >= 99 @ 2880.29
2907.85/2915.84	c bounds 357 >= 99 @ 2880.55
2908.15/2916.10	c bounds 353 >= 99 @ 2880.79
2909.15/2917.14	c bounds 351 >= 99 @ 2881.8
2985.95/2994.15	c #Conflicts:     236000 | #Constraints:     676999
2985.95/2994.15	c INPROCESSING
2985.95/2994.15	c GARBAGE COLLECT
2985.95/2994.15	c rational objective 202.765
3250.01/3258.94	c #Conflicts:     237000 | #Constraints:     668402
3250.01/3258.94	c #Conflicts:     238000 | #Constraints:     669402
3250.01/3258.94	c #Conflicts:     239000 | #Constraints:     670402
3250.01/3258.94	c #Conflicts:     240000 | #Constraints:     671402
3250.01/3258.94	c #Conflicts:     241000 | #Constraints:     672415
3250.01/3258.94	c #Conflicts:     242000 | #Constraints:     673643
3250.01/3258.94	c #Conflicts:     243000 | #Constraints:     675029
3250.01/3258.94	c #Conflicts:     244000 | #Constraints:     676215
3250.01/3258.94	c #Conflicts:     245000 | #Constraints:     677496
3250.01/3258.94	c #Conflicts:     246000 | #Constraints:     678895
3250.01/3258.94	c INPROCESSING
3250.01/3258.94	c GARBAGE COLLECT
3250.01/3258.94	c rational objective 202.765
3345.05/3354.29	c #Conflicts:     247000 | #Constraints:     669371
3345.05/3354.29	c #Conflicts:     248000 | #Constraints:     670372
3345.05/3354.29	c #Conflicts:     249000 | #Constraints:     671372
3345.05/3354.29	c #Conflicts:     250000 | #Constraints:     672372
3345.05/3354.29	c #Conflicts:     251000 | #Constraints:     673372
3345.05/3354.29	c #Conflicts:     252000 | #Constraints:     674372
3345.05/3354.29	c #Conflicts:     253000 | #Constraints:     675372
3345.05/3354.29	c #Conflicts:     254000 | #Constraints:     676372
3345.05/3354.29	c #Conflicts:     255000 | #Constraints:     677372
3345.05/3354.29	c #Conflicts:     256000 | #Constraints:     678372
3345.05/3354.29	c INPROCESSING
3345.05/3354.29	c GARBAGE COLLECT
3345.05/3354.29	c rational objective 202.765
3443.38/3452.87	c #Conflicts:     257000 | #Constraints:     668942
3443.38/3452.87	c #Conflicts:     258000 | #Constraints:     669942
3443.38/3452.87	c #Conflicts:     259000 | #Constraints:     670942
3443.38/3452.87	c #Conflicts:     260000 | #Constraints:     671942
3443.38/3452.87	c #Conflicts:     261000 | #Constraints:     672942
3443.38/3452.87	c #Conflicts:     262000 | #Constraints:     673942
3443.38/3452.87	c #Conflicts:     263000 | #Constraints:     674942
3443.38/3452.87	c #Conflicts:     264000 | #Constraints:     675943
3443.38/3452.87	c #Conflicts:     265000 | #Constraints:     676943
3443.38/3452.87	c #Conflicts:     266000 | #Constraints:     677945
3443.38/3452.87	c INPROCESSING
3443.38/3452.87	c GARBAGE COLLECT
3443.38/3452.87	c rational objective 202.765

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=132629, runsolver pid=132625

[startup+0.100059 s]*
/proc/loadavg: 0.20 0.12 0.10 4/259 132643
/proc/meminfo: memFree=100159520/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982410 4292608 736 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 736 672 219 0 110 0
[pid=132635] ppid=132629 vsize=165748 memory=150472 CPUtime=0.08 cores=0,2
/proc/132635/stat : 132635 (pbsuma) R 132629 132629 132581 0 -1 4194304 4659 0 0 0 5 3 0 0 20 0 1 0 183982411 169725952 37618 18446744073709551615 4210688 4653049 140724996188976 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 19800064 140724996196615 140724996196912 140724996196912 140724996202479 0
/proc/132635/statm: 41437 37618 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153416 KiB

[startup+0.205679 s]*
/proc/loadavg: 0.20 0.12 0.10 5/269 132663
/proc/meminfo: memFree=100064692/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982410 4292608 736 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 736 672 219 0 110 0
[pid=132635] ppid=132629 vsize=181316 memory=167484 CPUtime=0.18 cores=0,2
/proc/132635/stat : 132635 (pbsuma) R 132629 132629 132581 0 -1 4194304 8847 0 0 0 15 3 0 0 20 0 1 0 183982411 185667584 41871 18446744073709551615 4210688 4653049 140724996188976 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 19800064 140724996196615 140724996196912 140724996196912 140724996202479 0
/proc/132635/statm: 45329 41871 960 108 0 42737 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185508 KiB
Current children cumulated memory: 170428 KiB

[startup+0.305783 s]*
/proc/loadavg: 0.20 0.12 0.10 5/269 132663
/proc/meminfo: memFree=99795640/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982410 4292608 736 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 736 672 219 0 110 0
[pid=132635] ppid=132629 vsize=194256 memory=180408 CPUtime=0.28 cores=0,2
/proc/132635/stat : 132635 (pbsuma) R 132629 132629 132581 0 -1 4194304 11574 0 0 0 24 4 0 0 20 0 1 0 183982411 198918144 45102 18446744073709551615 4210688 4653049 140724996188976 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 19800064 140724996196615 140724996196912 140724996196912 140724996202479 0
/proc/132635/statm: 48564 45102 960 108 0 45972 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198448 KiB
Current children cumulated memory: 183352 KiB

[startup+0.700204 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132663
/proc/meminfo: memFree=99593448/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982410 4292608 736 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 736 672 219 0 110 0
[pid=132635] ppid=132629 vsize=319212 memory=265272 CPUtime=0.67 cores=0,2
/proc/132635/stat : 132635 (pbsuma) R 132629 132629 132581 0 -1 4194304 23942 0 0 0 60 7 0 0 20 0 1 0 183982411 326873088 66318 18446744073709551615 4210688 4653049 140724996188976 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 19800064 140724996196615 140724996196912 140724996196912 140724996202479 0
/proc/132635/statm: 79803 66318 1024 108 0 77211 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323404 KiB
Current children cumulated memory: 268216 KiB

[startup+1.5002 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132665
/proc/meminfo: memFree=99741968/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=108256 memory=62716 CPUtime=0.57 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 12764 0 0 0 44 13 0 0 20 0 1 0 183982502 110854144 15679 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 27064 15679 2016 1147 0 14490 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 112448 KiB
Current children cumulated memory: 65788 KiB

[startup+3.10536 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132666
/proc/meminfo: memFree=99486236/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=260548 memory=199488 CPUtime=2.17 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 43323 0 0 0 170 47 0 0 20 0 1 0 183982502 266801152 49872 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 65137 49872 2016 1147 0 52563 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 264740 KiB
Current children cumulated memory: 202560 KiB

[startup+6.30018 s]
/proc/loadavg: 0.50 0.18 0.12 5/269 132666
/proc/meminfo: memFree=97946156/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1067540 memory=806748 CPUtime=5.35 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 89104 0 0 0 451 84 0 0 20 0 1 0 183982502 1093160960 201687 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 266885 201687 2336 1147 0 254311 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1071732 KiB
Current children cumulated memory: 809820 KiB

[startup+12.7001 s]
/proc/loadavg: 0.78 0.25 0.14 6/266 132680
/proc/meminfo: memFree=97740748/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1247736 memory=936428 CPUtime=11.73 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 97871 0 0 0 1077 96 0 0 20 0 1 0 183982502 1277681664 234107 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 311934 234107 2400 1147 0 299360 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1251928 KiB
Current children cumulated memory: 939500 KiB

[startup+25.5002 s]
/proc/loadavg: 1.50 0.43 0.20 5/264 132745
/proc/meminfo: memFree=97217532/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1480100 memory=1130340 CPUtime=24.5 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 121131 0 0 0 2296 154 0 0 20 0 1 0 183982502 1515622400 282585 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 370025 282585 2400 1147 0 357451 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1484292 KiB
Current children cumulated memory: 1133412 KiB

[startup+51.1055 s]
/proc/loadavg: 2.61 0.78 0.32 5/269 132868
/proc/meminfo: memFree=96076192/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1510056 memory=1178616 CPUtime=50.03 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 123637 0 0 0 4811 192 0 0 20 0 1 0 183982502 1546297344 294654 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 377514 294654 2432 1147 0 364940 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1514248 KiB
Current children cumulated memory: 1181688 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.33 0.54 5/269 132870
/proc/meminfo: memFree=93905744/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1669160 memory=1296580 CPUtime=101.1 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 133334 0 0 0 9873 237 0 0 20 0 1 0 183982502 1709219840 324145 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 417290 324145 2432 1147 0 404716 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1673352 KiB
Current children cumulated memory: 1299652 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 1.91 0.79 5/273 132876
/proc/meminfo: memFree=91092792/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1788840 memory=1464452 CPUtime=160.93 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 153313 0 0 0 15789 304 0 0 20 0 1 0 183982502 1831772160 366113 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 447210 366113 2432 1147 0 434636 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1793032 KiB
Current children cumulated memory: 1467524 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.37 1.02 5/273 132878
/proc/meminfo: memFree=88882692/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=1883112 memory=1559548 CPUtime=220.76 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 166858 0 0 0 21724 352 0 0 20 0 1 0 183982502 1928306688 389887 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 470778 389887 2432 1147 0 458204 0
Current children cumulated CPU time: 221.66 s

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

/proc/meminfo: memFree=956964/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4157812 memory=3475620 CPUtime=3272.45 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 578783 0 0 0 324385 2860 0 0 20 0 1 0 183982502 4257599488 868905 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1039453 868905 2528 1147 0 1026879 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 4162004 KiB
Current children cumulated memory: 3478692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.39 4.28 5/267 133043
/proc/meminfo: memFree=826792/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4173548 memory=3491520 CPUtime=3332.28 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 601725 0 0 0 330277 2951 0 0 20 0 1 0 183982502 4273713152 872880 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043387 872880 2528 1147 0 1030813 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 4177740 KiB
Current children cumulated memory: 3494592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.39 4.29 5/267 133045
/proc/meminfo: memFree=805064/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4173540 memory=3491596 CPUtime=3392.12 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 620976 0 0 0 336174 3038 0 0 20 0 1 0 183982502 4273704960 872899 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043385 872899 2528 1147 0 1030811 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 4177732 KiB
Current children cumulated memory: 3494668 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.43 4.31 5/267 133047
/proc/meminfo: memFree=799248/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4173540 memory=3491596 CPUtime=3451.96 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 621408 0 0 0 342069 3127 0 0 20 0 1 0 183982502 4273704960 872899 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043385 872899 2528 1147 0 1030811 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 4177732 KiB
Current children cumulated memory: 3494668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.51 4.44 4.32 5/266 133049
/proc/meminfo: memFree=969048/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4173540 memory=3491596 CPUtime=3511.79 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 621408 0 0 0 347976 3203 0 0 20 0 1 0 183982502 4273704960 872899 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043385 872899 2528 1147 0 1030811 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 4177732 KiB
Current children cumulated memory: 3494668 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.45 4.33 5/268 133053
/proc/meminfo: memFree=742396/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4175816 memory=3493872 CPUtime=3571.62 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 660565 0 0 0 353898 3264 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 4180008 KiB
Current children cumulated memory: 3496944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.39 4.43 4.33 5/268 133054
/proc/meminfo: memFree=837116/131249988 swapFree=33010416/33010684
[pid=132629] ppid=132625 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/132629/stat : 132629 (run-opt-ls-log.) S 132625 132629 132581 0 -1 4194304 237 28358 0 0 0 0 80 10 20 0 1 0 183982410 4292608 768 18446744073709551615 94642942377984 94642943272517 140730703340384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642943511568 94642943559312 94642971402240 140730703341887 140730703342047 140730703342047 140730703347651 0
/proc/132629/statm: 1048 768 704 219 0 110 0
[pid=132665] ppid=132629 vsize=4175816 memory=3493872 CPUtime=3599.15 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132629 132629 132581 0 -1 4194304 660565 0 0 0 356649 3266 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4180008 KiB
Current children cumulated memory: 3496944 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

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

[startup+3611.2 s]
/proc/loadavg: 4.36 4.42 4.32 5/267 133054
/proc/meminfo: memFree=764520/131249988 swapFree=33010416/33010684
[pid=132665] ppid=132625 vsize=4175816 memory=3493872 CPUtime=3600.45 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132625 132629 132581 0 -1 4194304 660565 0 0 0 356778 3267 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current cumulated CPU time of completed processes: 0.906456 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 4175816 KiB
Current children cumulated memory: 3493872 KiB

[startup+3611.6 s]
/proc/loadavg: 4.36 4.42 4.32 5/267 133054
/proc/meminfo: memFree=764520/131249988 swapFree=33010416/33010684
[pid=132665] ppid=132625 vsize=4175816 memory=3493872 CPUtime=3600.85 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132625 132629 132581 0 -1 4194304 660565 0 0 0 356818 3267 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current cumulated CPU time of completed processes: 0.906456 s
Current children cumulated CPU time: 3600.85 s
Current children cumulated vsize: 4175816 KiB
Current children cumulated memory: 3493872 KiB

[startup+3611.8 s]
/proc/loadavg: 4.36 4.42 4.32 5/267 133054
/proc/meminfo: memFree=764520/131249988 swapFree=33010416/33010684
[pid=132665] ppid=132625 vsize=4175816 memory=3493872 CPUtime=3601.04 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132625 132629 132581 0 -1 4194304 660565 0 0 0 356837 3267 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current cumulated CPU time of completed processes: 0.906456 s
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 4175816 KiB
Current children cumulated memory: 3493872 KiB

[startup+3611.9 s]
/proc/loadavg: 4.36 4.42 4.32 5/267 133054
/proc/meminfo: memFree=764520/131249988 swapFree=33010416/33010684
[pid=132665] ppid=132625 vsize=4175816 memory=3493872 CPUtime=3601.14 cores=0,2
/proc/132665/stat : 132665 (roundingsat) R 132625 132629 132581 0 -1 4194304 660565 0 0 0 356847 3267 0 0 20 0 1 0 183982502 4276035584 873468 18446744073709551615 4227072 8923577 140727099280576 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 18747392 140727099287834 140727099288102 140727099288102 140727099293674 0
/proc/132665/statm: 1043954 873468 2528 1147 0 1031380 0
Current cumulated CPU time of completed processes: 0.906456 s
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 4175816 KiB
Current children cumulated memory: 3493872 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.96
CPU time (s): 3602.12
CPU user time (s): 3569.28
CPU system time (s): 32.8348
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 4256420
Max. memory (cumulated for all children) (KiB): 3572620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.28
system time used= 32.8348
maximum resident set size= 3569548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 77949624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 8047


# summary of solver processes directly reported to runsolver:
#   pid: 132629,132665
#   total CPU time (s): 3602.12
#   total CPU user time (s): 3569.28
#   total CPU system time (s): 32.8348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08913 second user time and 16.5946 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-16 18:23:59
IDJOB=4531824
IDBENCH=147561
IDSOLVER=3392
FILE ID=nodeC031/4531824-1752683038
RUNJOBID= nodeC031-1752683038-132598
SLURM_JOB_ID= 9686926
Free space on /tmp= 431820 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531824-1752683038/watcher-4531824-1752683038 -o /tmp/evaluation-result-4531824-1752683038/solver-4531824-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752683038-132598 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531824-1752683038.opb /tmp/proof-4531824-1752683038

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=210464024

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        100446616 kB
MemAvailable:   129582100 kB
Buffers:            2128 kB
Cached:         29822924 kB
SwapCached:           12 kB
Active:           962600 kB
Inactive:       28950588 kB
Active(anon):     103912 kB
Inactive(anon):    10468 kB
Active(file):     858688 kB
Inactive(file): 28940120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             92352 kB
Writeback:             0 kB
AnonPages:         91560 kB
Mapped:           108244 kB
Shmem:             26244 kB
KReclaimable:     351828 kB
Slab:             450052 kB
SReclaimable:     351828 kB
SUnreclaim:        98224 kB
KernelStack:        4096 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     368144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 298400 MiB
End job on nodeC031 at 2025-07-16 19:24:11