Trace number 4489556

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
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 benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
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 495618
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 495618
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-4489556-1751357662.opb'
0.66/0.75	c 	read 17.23MB  (730.97ms)
0.66/0.75	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.66/0.75	c 
0.66/0.75	c make graph and approximate orbits
1.26/1.34	c	 [group: #orbits ~= 0] (594.20ms)
1.26/1.34	c 
1.26/1.34	c detect special group actions
1.26/1.34	c 	probe for Johnson action (limit=64)
1.26/1.35	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.26/1.36	c 	probe for row symmetry (limit=64, splits=16.78M)
1.26/1.37	c 	 (25.87ms)
1.26/1.37	c 
1.26/1.37	c detect symmetries on remainder
1.26/1.37	c 	[graph: #vertices 706700 #edges 2766398]
1.26/1.38	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.36/1.44	c 	 [group: #symmetries 1.00*10^0 #generators 0] (67.56ms)
1.36/1.44	c 
1.36/1.44	c finalize break order and special generators
1.36/1.44	c 
1.36/1.44	c generation finished
1.36/1.44	c 	[sbp: #constraints 0 #add_vars 0]
1.36/1.44	c 
1.36/1.44	c write result to 'HOME/instance-4489556-1751357662.opb.pre'
1.36/1.49	c 	wrote 17.23MB (52.37ms)
1.36/1.49	c ------------------------------------------------------------------
1.36/1.49	c                 730.97ms 49.57% parse
1.36/1.49	c                 594.20ms 40.29% approx_orbits
1.36/1.49	c                  67.56ms  4.58% detect_generic
1.36/1.49	c                  52.37ms  3.55% output
1.36/1.49	c                  25.87ms  1.75% detect_special
1.36/1.49	c                   3.16ms  0.21% other
1.36/1.49	c                   0.55ms  0.04% finalize_order
1.36/1.49	c         ───────────────────────────────────────────────
1.36/1.49	c                1474.69ms   100% total
1.36/1.49	c ------------------------------------------------------------------
1.56/1.67	c RoundingSat 2
1.56/1.67	c branch pb25
1.56/1.67	c commit 63f22ad
4.11/4.20	c #variables 10000 #constraints 656900
4.11/4.20	c objective is ce32 
4.11/4.20	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.11/4.20	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.11/4.20	c bounds - >= 0 @ 1.87335
5.81/5.98	c rational objective 177.855
10.50/10.64	c bounds 6353 >= 0 @ 8.18114
10.50/10.66	c bounds 6286 >= 0 @ 8.1964
10.50/10.67	c bounds 6245 >= 0 @ 8.20184
10.50/10.68	c bounds 6241 >= 0 @ 8.2149
10.50/10.69	c bounds 6008 >= 0 @ 8.22197
10.59/10.70	c bounds 5917 >= 0 @ 8.229
10.59/10.71	c bounds 5849 >= 0 @ 8.23499
10.59/10.72	c bounds 5721 >= 0 @ 8.24105
10.59/10.73	c bounds 5674 >= 0 @ 8.24723
10.59/10.74	c bounds 5652 >= 0 @ 8.25585
10.59/10.75	c bounds 5563 >= 0 @ 8.26215
10.59/10.76	c bounds 5531 >= 0 @ 8.27482
10.59/10.77	c bounds 5482 >= 0 @ 8.28272
10.59/10.78	c bounds 5256 >= 0 @ 8.28935
10.59/10.79	c bounds 5135 >= 0 @ 8.29713
10.70/10.80	c bounds 5116 >= 0 @ 8.30249
10.70/10.81	c bounds 4945 >= 0 @ 8.30987
10.70/10.82	c bounds 4944 >= 0 @ 8.32105
10.70/10.83	c bounds 4859 >= 0 @ 8.32882
10.70/10.84	c bounds 4790 >= 0 @ 8.33622
10.70/10.85	c bounds 4783 >= 0 @ 8.34502
10.70/10.86	c bounds 4288 >= 0 @ 8.34977
10.79/10.97	c bounds 4270 >= 0 @ 8.44718
10.79/10.98	c bounds 4196 >= 0 @ 8.45066
10.79/10.99	c bounds 4195 >= 0 @ 8.45381
10.79/10.99	c bounds 4163 >= 0 @ 8.4608
11.01/11.12	c bounds 4159 >= 0 @ 8.58156
11.01/11.13	c bounds 4158 >= 0 @ 8.58719
11.01/11.14	c bounds 4045 >= 0 @ 8.59352
11.01/11.15	c bounds 4030 >= 0 @ 8.603
11.01/11.16	c bounds 3916 >= 0 @ 8.60913
11.01/11.17	c bounds 3914 >= 0 @ 8.61409
11.01/11.17	c bounds 3843 >= 0 @ 8.61882
11.01/11.19	c bounds 3835 >= 0 @ 8.63019
11.09/11.20	c bounds 3834 >= 0 @ 8.64195
11.09/11.21	c bounds 3758 >= 0 @ 8.64739
11.20/11.31	c bounds 3649 >= 0 @ 8.73839
11.20/11.32	c bounds 3640 >= 0 @ 8.74934
11.20/11.33	c bounds 3552 >= 0 @ 8.75817
11.20/11.34	c bounds 3398 >= 0 @ 8.76406
11.20/11.35	c bounds 3391 >= 0 @ 8.76858
11.20/11.36	c bounds 3371 >= 0 @ 8.78259
11.20/11.38	c bounds 3369 >= 0 @ 8.79246
11.20/11.39	c bounds 3263 >= 0 @ 8.79778
11.29/11.40	c bounds 3260 >= 0 @ 8.80488
11.29/11.42	c bounds 3246 >= 0 @ 8.82617
11.29/11.43	c bounds 3245 >= 0 @ 8.83219
11.40/11.53	c bounds 3203 >= 0 @ 8.93628
11.40/11.54	c bounds 3146 >= 0 @ 8.94195
11.40/11.55	c bounds 3063 >= 0 @ 8.94962
11.40/11.57	c bounds 3045 >= 0 @ 8.95977
11.40/11.58	c bounds 2965 >= 0 @ 8.9673
11.40/11.59	c bounds 2929 >= 0 @ 8.98005
11.49/11.61	c bounds 2926 >= 0 @ 8.99027
11.49/11.61	c bounds 2925 >= 0 @ 8.99592
11.59/11.71	c bounds 2905 >= 0 @ 9.08935
11.59/11.72	c bounds 2903 >= 0 @ 9.09516
11.69/11.89	c bounds 2902 >= 0 @ 9.26508
11.80/11.90	c bounds 2812 >= 0 @ 9.27162
12.00/12.12	c bounds 2804 >= 0 @ 9.4889
12.00/12.13	c bounds 2798 >= 0 @ 9.49784
12.00/12.17	c bounds 2759 >= 0 @ 9.53118
12.00/12.18	c bounds 2731 >= 0 @ 9.53794
12.09/12.26	c bounds 2725 >= 0 @ 9.61567
12.09/12.27	c bounds 2692 >= 0 @ 9.62089
12.49/12.62	c bounds 2665 >= 0 @ 9.97447
12.59/12.80	c bounds 2658 >= 0 @ 10.1406
12.69/12.82	c bounds 2641 >= 0 @ 10.161
12.69/12.83	c bounds 2631 >= 0 @ 10.1699
12.69/12.84	c bounds 2587 >= 0 @ 10.1756
12.69/12.85	c bounds 2554 >= 0 @ 10.1822
12.69/12.86	c bounds 2552 >= 0 @ 10.1873
12.69/12.87	c bounds 2433 >= 0 @ 10.192
12.79/12.98	c bounds 2417 >= 0 @ 10.3039
12.90/13.08	c bounds 2401 >= 0 @ 10.4021
12.90/13.10	c bounds 2388 >= 0 @ 10.4141
13.00/13.11	c bounds 2370 >= 0 @ 10.4194
13.00/13.12	c bounds 2323 >= 0 @ 10.4252
13.00/13.13	c bounds 2255 >= 0 @ 10.4318
13.00/13.14	c bounds 2229 >= 0 @ 10.437
13.00/13.15	c bounds 2152 >= 0 @ 10.4423
13.00/13.16	c bounds 2139 >= 0 @ 10.4531
13.00/13.17	c bounds 2080 >= 0 @ 10.4591
13.00/13.18	c bounds 2038 >= 0 @ 10.4654
13.00/13.19	c bounds 2022 >= 0 @ 10.4703
13.09/13.20	c bounds 2007 >= 0 @ 10.4771
13.09/13.21	c bounds 1991 >= 0 @ 10.4823
13.18/13.31	c bounds 1988 >= 0 @ 10.5785
13.18/13.32	c bounds 1981 >= 0 @ 10.5862
13.18/13.33	c bounds 1959 >= 0 @ 10.5924
13.18/13.34	c bounds 1950 >= 0 @ 10.602
13.18/13.36	c bounds 1863 >= 0 @ 10.6116
13.18/13.37	c bounds 1843 >= 0 @ 10.6251
13.18/13.38	c bounds 1827 >= 0 @ 10.6305
13.18/13.39	c bounds 1685 >= 0 @ 10.6392
13.29/13.44	c bounds 1676 >= 0 @ 10.679
13.29/13.45	c bounds 1634 >= 0 @ 10.688
13.29/13.46	c bounds 1518 >= 0 @ 10.695
13.29/13.47	c bounds 1445 >= 0 @ 10.7018
13.29/13.48	c bounds 1444 >= 0 @ 10.7084
13.38/13.58	c bounds 1437 >= 0 @ 10.8026
13.49/13.61	c bounds 1344 >= 0 @ 10.828
13.49/13.62	c bounds 1337 >= 0 @ 10.8341
13.49/13.63	c bounds 1331 >= 0 @ 10.8393
13.49/13.64	c bounds 1315 >= 0 @ 10.8472
13.49/13.65	c bounds 1283 >= 0 @ 10.8525
13.49/13.66	c bounds 1281 >= 0 @ 10.8582
13.49/13.67	c bounds 1170 >= 0 @ 10.8645
13.90/14.05	c bounds 1163 >= 0 @ 11.2362
14.00/14.16	c bounds 1140 >= 0 @ 11.3407
14.00/14.18	c bounds 1061 >= 0 @ 11.3529
14.00/14.19	c bounds 971 >= 0 @ 11.3628
14.08/14.22	c bounds 969 >= 0 @ 11.3865
14.08/14.24	c bounds 941 >= 0 @ 11.3986
14.58/14.75	c #Conflicts:       1000 | #Constraints:     658028
14.58/14.75	c bounds 810 >= 0 @ 11.8805
14.68/14.80	c bounds 725 >= 0 @ 11.9238
14.99/15.14	c bounds 627 >= 0 @ 12.2525
15.49/15.67	c bounds 550 >= 0 @ 12.7581
16.99/17.12	c #Conflicts:       2000 | #Constraints:     659032
16.99/17.12	c INPROCESSING
16.99/17.12	c GARBAGE COLLECT
16.99/17.12	c bounds 549 >= 0 @ 14.1821
17.28/17.43	c bounds 546 >= 0 @ 14.4803
20.17/20.30	c #Conflicts:       3000 | #Constraints:     658917
20.17/20.30	c bounds 496 >= 0 @ 17.2823
20.17/20.31	c bounds 491 >= 0 @ 17.2889
20.17/20.33	c bounds 490 >= 0 @ 17.304
20.17/20.34	c bounds 483 >= 0 @ 17.3107
20.17/20.35	c bounds 481 >= 0 @ 17.3219
20.27/20.44	c bounds 480 >= 0 @ 17.3992
21.07/21.23	c bounds 476 >= 0 @ 18.1795
27.24/27.47	c #Conflicts:       4000 | #Constraints:     659925
27.24/27.47	c INPROCESSING
27.24/27.47	c GARBAGE COLLECT
27.24/27.47	c #Conflicts:       5000 | #Constraints:     659315
27.24/27.47	c bounds 413 >= 0 @ 24.3132
35.13/35.31	c #Conflicts:       6000 | #Constraints:     660316
35.13/35.31	c INPROCESSING
35.13/35.31	c GARBAGE COLLECT
35.13/35.31	c bounds 412 >= 0 @ 32.0703
35.84/36.07	c bounds 410 >= 0 @ 32.817
45.39/45.68	c #Conflicts:       7000 | #Constraints:     659325
45.39/45.68	c #Conflicts:       8000 | #Constraints:     660325
45.39/45.68	c #Conflicts:       9000 | #Constraints:     661325
45.39/45.68	c INPROCESSING
45.39/45.68	c GARBAGE COLLECT
45.39/45.68	c rational objective 179.482
49.89/50.14	c bounds 409 >= 0 @ 46.7393
49.89/50.15	c bounds 409 >= 5 @ 46.7448
49.89/50.17	c bounds 409 >= 10 @ 46.7521
49.89/50.18	c bounds 409 >= 15 @ 46.7604
52.07/52.30	c #Conflicts:      10000 | #Constraints:     660046
52.07/52.30	c bounds 409 >= 20 @ 48.8412
60.76/61.08	c #Conflicts:      11000 | #Constraints:     661058
60.76/61.08	c #Conflicts:      12000 | #Constraints:     662058
60.76/61.08	c INPROCESSING
60.76/61.08	c GARBAGE COLLECT
60.76/61.08	c rational objective 181.394
65.85/66.19	c bounds 408 >= 20 @ 62.586
65.93/66.27	c bounds 407 >= 20 @ 62.6628
66.03/66.31	c bounds 403 >= 20 @ 62.7026
66.13/66.40	c bounds 402 >= 20 @ 62.7898
67.62/67.99	c bounds 401 >= 20 @ 64.3518
71.01/71.30	c #Conflicts:      13000 | #Constraints:     660530
71.01/71.30	c bounds 399 >= 20 @ 67.6037
71.01/71.32	c bounds 399 >= 24 @ 67.6158
79.49/79.88	c #Conflicts:      14000 | #Constraints:     661535
79.49/79.88	c #Conflicts:      15000 | #Constraints:     662535
79.49/79.88	c INPROCESSING
79.49/79.88	c GARBAGE COLLECT
79.49/79.88	c rational objective 182.798
96.94/97.32	c #Conflicts:      16000 | #Constraints:     660743
96.94/97.32	c #Conflicts:      17000 | #Constraints:     661743
96.94/97.32	c #Conflicts:      18000 | #Constraints:     662743
96.94/97.32	c INPROCESSING
96.94/97.32	c GARBAGE COLLECT
96.94/97.32	c rational objective 182.804
104.23/104.63	c #Conflicts:      19000 | #Constraints:     660751
104.23/104.63	c bounds 395 >= 24 @ 100.671
104.23/104.64	c bounds 395 >= 27 @ 100.681
115.70/116.19	c #Conflicts:      20000 | #Constraints:     661755
115.70/116.19	c #Conflicts:      21000 | #Constraints:     662755
115.70/116.19	c INPROCESSING
115.70/116.19	c GARBAGE COLLECT
115.70/116.19	c rational objective 182.959
138.22/138.72	c #Conflicts:      22000 | #Constraints:     660556
138.22/138.72	c #Conflicts:      23000 | #Constraints:     661556
138.22/138.72	c #Conflicts:      24000 | #Constraints:     662556
138.22/138.72	c #Conflicts:      25000 | #Constraints:     663556
138.22/138.72	c INPROCESSING
138.22/138.72	c GARBAGE COLLECT
138.22/138.72	c rational objective 182.96
143.01/143.54	c bounds 394 >= 27 @ 139.15
143.01/143.55	c bounds 391 >= 27 @ 139.163
143.11/143.61	c bounds 383 >= 27 @ 139.218
143.11/143.66	c bounds 380 >= 27 @ 139.262
143.21/143.70	c bounds 374 >= 27 @ 139.291
144.30/144.87	c bounds 372 >= 27 @ 140.452
144.30/144.89	c bounds 372 >= 29 @ 140.457
144.41/144.90	c bounds 372 >= 31 @ 140.465
144.41/144.91	c bounds 372 >= 33 @ 140.473
144.41/144.92	c bounds 372 >= 35 @ 140.477
144.41/144.94	c bounds 372 >= 37 @ 140.483
144.41/144.95	c bounds 372 >= 39 @ 140.492
144.41/144.97	c bounds 372 >= 41 @ 140.509
144.52/145.02	c bounds 372 >= 43 @ 140.551
146.00/146.57	c bounds 372 >= 45 @ 142.092
146.40/146.94	c #Conflicts:      26000 | #Constraints:     661239
146.40/146.94	c bounds 372 >= 47 @ 142.449
149.50/150.10	c bounds 372 >= 49 @ 145.58
231.83/232.64	c #Conflicts:      27000 | #Constraints:     662286
231.83/232.64	c #Conflicts:      28000 | #Constraints:     663287
231.83/232.64	c #Conflicts:      29000 | #Constraints:     664289
231.83/232.64	c INPROCESSING
231.83/232.64	c GARBAGE COLLECT
231.83/232.64	c #Conflicts:      30000 | #Constraints:     661661
231.83/232.64	c bounds 369 >= 49 @ 227.578
231.83/232.66	c bounds 369 >= 50 @ 227.585
231.83/232.68	c bounds 369 >= 51 @ 227.597
231.94/232.70	c bounds 369 >= 52 @ 227.611
231.94/232.71	c bounds 369 >= 53 @ 227.62
231.94/232.73	c bounds 369 >= 54 @ 227.633
231.94/232.75	c bounds 369 >= 55 @ 227.643
231.94/232.76	c bounds 369 >= 56 @ 227.653
231.94/232.78	c bounds 369 >= 57 @ 227.666
232.03/232.80	c bounds 369 >= 58 @ 227.674
232.03/232.81	c bounds 369 >= 59 @ 227.682
232.03/232.83	c bounds 369 >= 60 @ 227.689
232.03/232.85	c bounds 369 >= 61 @ 227.701
232.03/232.87	c bounds 369 >= 62 @ 227.714
232.03/232.89	c bounds 369 >= 63 @ 227.733
232.13/232.92	c bounds 369 >= 64 @ 227.754
232.13/232.95	c bounds 369 >= 65 @ 227.779
232.13/232.98	c bounds 369 >= 66 @ 227.799
232.25/233.02	c bounds 369 >= 67 @ 227.833
232.25/233.04	c bounds 369 >= 68 @ 227.848
232.25/233.10	c bounds 369 >= 69 @ 227.893
234.24/235.11	c bounds 369 >= 70 @ 229.887
234.34/235.15	c bounds 369 >= 71 @ 229.925
234.42/235.22	c bounds 369 >= 72 @ 229.987
234.52/235.31	c bounds 369 >= 73 @ 230.068
234.63/235.47	c bounds 369 >= 74 @ 230.218
234.93/235.79	c bounds 369 >= 75 @ 230.521
235.34/236.13	c #Conflicts:      31000 | #Constraints:     662879
235.34/236.13	c bounds 369 >= 76 @ 230.848
235.92/236.77	c bounds 369 >= 77 @ 231.473
239.41/240.25	c bounds 369 >= 78 @ 234.929
240.22/241.10	c bounds 369 >= 79 @ 235.738
245.20/246.07	c #Conflicts:      32000 | #Constraints:     663979
245.20/246.07	c bounds 369 >= 80 @ 240.657
402.01/403.30	c #Conflicts:      33000 | #Constraints:     665010
402.01/403.30	c INPROCESSING
402.01/403.30	c GARBAGE COLLECT
402.01/403.30	c rational objective 182.961
407.29/408.60	c bounds 369 >= 81 @ 402.548
425.14/426.55	c bounds 369 >= 82 @ 420.371
427.03/428.49	c #Conflicts:      34000 | #Constraints:     662170
427.03/428.49	c bounds 369 >= 83 @ 422.289
431.21/432.64	c #Conflicts:      35000 | #Constraints:     663194
431.21/432.64	c #Conflicts:      36000 | #Constraints:     664194
431.21/432.64	c bounds 369 >= 84 @ 426.397
449.86/451.35	c #Conflicts:      37000 | #Constraints:     665233
449.86/451.35	c INPROCESSING
449.86/451.35	c GARBAGE COLLECT
449.86/451.35	c #Conflicts:      38000 | #Constraints:     662153
449.86/451.35	c #Conflicts:      39000 | #Constraints:     663154
449.86/451.35	c bounds 369 >= 85 @ 444.975
468.52/470.07	c #Conflicts:      40000 | #Constraints:     664205
468.52/470.07	c #Conflicts:      41000 | #Constraints:     665205
468.52/470.07	c INPROCESSING
468.52/470.07	c GARBAGE COLLECT
468.52/470.07	c #Conflicts:      42000 | #Constraints:     661952
468.52/470.07	c #Conflicts:      43000 | #Constraints:     662952
468.52/470.07	c bounds 369 >= 86 @ 463.551
495.32/496.91	c #Conflicts:      44000 | #Constraints:     664000
495.32/496.91	c #Conflicts:      45000 | #Constraints:     665000
495.32/496.91	c #Conflicts:      46000 | #Constraints:     666000
495.32/496.91	c INPROCESSING
495.32/496.91	c GARBAGE COLLECT
495.32/496.91	c bounds 368 >= 86 @ 490.117
523.04/524.72	c #Conflicts:      47000 | #Constraints:     662571
523.04/524.72	c #Conflicts:      48000 | #Constraints:     663571
523.04/524.72	c #Conflicts:      49000 | #Constraints:     664572
523.04/524.72	c #Conflicts:      50000 | #Constraints:     665572
523.04/524.72	c #Conflicts:      51000 | #Constraints:     666572
523.04/524.72	c INPROCESSING
523.04/524.72	c GARBAGE COLLECT
523.04/524.72	c rational objective 182.962
528.53/530.26	c bounds 365 >= 86 @ 523.173
531.22/532.95	c bounds 363 >= 86 @ 525.847
539.89/541.64	c #Conflicts:      52000 | #Constraints:     662965
539.89/541.64	c bounds 360 >= 86 @ 534.481
554.14/555.91	c #Conflicts:      53000 | #Constraints:     663987
554.14/555.91	c #Conflicts:      54000 | #Constraints:     664987
554.14/555.91	c #Conflicts:      55000 | #Constraints:     665987
554.14/555.91	c bounds 360 >= 87 @ 548.576
561.33/563.11	c #Conflicts:      56000 | #Constraints:     667041
561.33/563.11	c INPROCESSING
561.33/563.11	c GARBAGE COLLECT
561.33/563.11	c rational objective 182.961
605.20/607.18	c #Conflicts:      57000 | #Constraints:     663194
605.20/607.18	c #Conflicts:      58000 | #Constraints:     664197
605.20/607.18	c #Conflicts:      59000 | #Constraints:     665197
605.20/607.18	c #Conflicts:      60000 | #Constraints:     666199
605.20/607.18	c #Conflicts:      61000 | #Constraints:     667199
605.20/607.18	c INPROCESSING
605.20/607.18	c GARBAGE COLLECT
605.20/607.18	c rational objective 183.333
609.48/611.44	c bounds 358 >= 87 @ 603.703
628.23/630.28	c #Conflicts:      62000 | #Constraints:     663176
628.23/630.28	c #Conflicts:      63000 | #Constraints:     664181
628.23/630.28	c #Conflicts:      64000 | #Constraints:     665197
628.23/630.28	c bounds 357 >= 87 @ 622.462
653.08/655.17	c #Conflicts:      65000 | #Constraints:     666200
653.08/655.17	c #Conflicts:      66000 | #Constraints:     667200
653.08/655.17	c INPROCESSING
653.08/655.17	c GARBAGE COLLECT
653.08/655.17	c rational objective 187.165
755.66/758.07	c #Conflicts:      67000 | #Constraints:     662977
755.66/758.07	c #Conflicts:      68000 | #Constraints:     663980
755.66/758.07	c #Conflicts:      69000 | #Constraints:     664980
755.66/758.07	c #Conflicts:      70000 | #Constraints:     665983
755.66/758.07	c #Conflicts:      71000 | #Constraints:     666983
755.66/758.07	c #Conflicts:      72000 | #Constraints:     667983
755.66/758.07	c INPROCESSING
755.66/758.07	c GARBAGE COLLECT
755.66/758.07	c rational objective 187.451
809.29/811.87	c #Conflicts:      73000 | #Constraints:     663573
809.29/811.87	c #Conflicts:      74000 | #Constraints:     664574
809.29/811.87	c #Conflicts:      75000 | #Constraints:     665574
809.29/811.87	c #Conflicts:      76000 | #Constraints:     666574
809.29/811.87	c #Conflicts:      77000 | #Constraints:     667575
809.29/811.87	c #Conflicts:      78000 | #Constraints:     668578
809.29/811.87	c INPROCESSING
809.29/811.87	c GARBAGE COLLECT
809.29/811.87	c rational objective 187.455
817.16/819.71	c #Conflicts:      79000 | #Constraints:     663972
817.16/819.71	c bounds 357 >= 88 @ 810.559
1002.77/1005.94	c #Conflicts:      80000 | #Constraints:     665033
1002.77/1005.94	c #Conflicts:      81000 | #Constraints:     666033
1002.77/1005.94	c #Conflicts:      82000 | #Constraints:     667035
1002.77/1005.94	c #Conflicts:      83000 | #Constraints:     668035
1002.77/1005.94	c #Conflicts:      84000 | #Constraints:     669036
1002.77/1005.94	c INPROCESSING
1002.77/1005.94	c GARBAGE COLLECT
1002.77/1005.94	c #Conflicts:      85000 | #Constraints:     664209
1002.77/1005.94	c #Conflicts:      86000 | #Constraints:     665215
1002.77/1005.94	c #Conflicts:      87000 | #Constraints:     666222
1002.77/1005.94	c #Conflicts:      88000 | #Constraints:     667228
1002.77/1005.94	c #Conflicts:      89000 | #Constraints:     668232
1002.77/1005.94	c #Conflicts:      90000 | #Constraints:     669237
1002.77/1005.94	c INPROCESSING
1002.77/1005.94	c GARBAGE COLLECT
1002.77/1005.94	c rational objective 182.029
1041.15/1044.42	c #Conflicts:      91000 | #Constraints:     664235
1041.15/1044.42	c #Conflicts:      92000 | #Constraints:     665235
1041.15/1044.42	c #Conflicts:      93000 | #Constraints:     666235
1041.15/1044.42	c #Conflicts:      94000 | #Constraints:     667235
1041.15/1044.42	c #Conflicts:      95000 | #Constraints:     668235
1041.15/1044.42	c #Conflicts:      96000 | #Constraints:     669235
1041.15/1044.42	c INPROCESSING
1041.15/1044.42	c GARBAGE COLLECT
1041.15/1044.42	c rational objective 182.754
1053.33/1056.61	c #Conflicts:      97000 | #Constraints:     664021
1053.33/1056.61	c #Conflicts:      98000 | #Constraints:     665021
1053.33/1056.61	c bounds 357 >= 89 @ 1045.99
1081.94/1085.30	c #Conflicts:      99000 | #Constraints:     666060
1081.94/1085.30	c #Conflicts:     100000 | #Constraints:     667060
1081.94/1085.30	c #Conflicts:     101000 | #Constraints:     668060
1081.94/1085.30	c #Conflicts:     102000 | #Constraints:     669060
1081.94/1085.30	c #Conflicts:     103000 | #Constraints:     670060
1081.94/1085.30	c INPROCESSING
1081.94/1085.30	c GARBAGE COLLECT
1081.94/1085.30	c rational objective 182.92
1192.17/1195.90	c #Conflicts:     104000 | #Constraints:     664623
1192.17/1195.90	c #Conflicts:     105000 | #Constraints:     665625
1192.17/1195.90	c #Conflicts:     106000 | #Constraints:     666626
1192.17/1195.90	c #Conflicts:     107000 | #Constraints:     667626
1192.17/1195.90	c #Conflicts:     108000 | #Constraints:     668626
1192.17/1195.90	c #Conflicts:     109000 | #Constraints:     669629
1192.17/1195.90	c #Conflicts:     110000 | #Constraints:     670630
1192.17/1195.90	c INPROCESSING
1192.17/1195.90	c GARBAGE COLLECT
1192.17/1195.90	c rational objective 182.926
1251.10/1255.08	c #Conflicts:     111000 | #Constraints:     665024
1251.10/1255.08	c #Conflicts:     112000 | #Constraints:     666025
1251.10/1255.08	c #Conflicts:     113000 | #Constraints:     667026
1251.10/1255.08	c #Conflicts:     114000 | #Constraints:     668027
1251.10/1255.08	c #Conflicts:     115000 | #Constraints:     669028
1251.10/1255.08	c #Conflicts:     116000 | #Constraints:     670029
1251.10/1255.08	c bounds 357 >= 90 @ 1243.03
1264.94/1269.00	c #Conflicts:     117000 | #Constraints:     671054
1264.94/1269.00	c INPROCESSING
1264.94/1269.00	c GARBAGE COLLECT
1264.94/1269.00	c rational objective 182.926
1372.11/1376.46	c #Conflicts:     118000 | #Constraints:     665231
1372.11/1376.46	c #Conflicts:     119000 | #Constraints:     666233
1372.11/1376.46	c #Conflicts:     120000 | #Constraints:     667233
1372.11/1376.46	c #Conflicts:     121000 | #Constraints:     668233
1372.11/1376.46	c #Conflicts:     122000 | #Constraints:     669233
1372.11/1376.46	c #Conflicts:     123000 | #Constraints:     670233
1372.11/1376.46	c #Conflicts:     124000 | #Constraints:     671233
1372.11/1376.46	c INPROCESSING
1372.11/1376.46	c GARBAGE COLLECT
1372.11/1376.46	c rational objective 182.946
1632.31/1637.43	c #Conflicts:     125000 | #Constraints:     665228
1632.31/1637.43	c #Conflicts:     126000 | #Constraints:     666229
1632.31/1637.43	c #Conflicts:     127000 | #Constraints:     667229
1632.31/1637.43	c #Conflicts:     128000 | #Constraints:     668229
1632.31/1637.43	c #Conflicts:     129000 | #Constraints:     669229
1632.31/1637.43	c #Conflicts:     130000 | #Constraints:     670229
1632.31/1637.43	c #Conflicts:     131000 | #Constraints:     671229
1632.31/1637.43	c INPROCESSING
1632.31/1637.43	c GARBAGE COLLECT
1632.31/1637.43	c bounds 357 >= 91 @ 1623.34
1816.63/1822.31	c #Conflicts:     132000 | #Constraints:     665069
1816.63/1822.31	c #Conflicts:     133000 | #Constraints:     666069
1816.63/1822.31	c #Conflicts:     134000 | #Constraints:     667070
1816.63/1822.31	c #Conflicts:     135000 | #Constraints:     668071
1816.63/1822.31	c #Conflicts:     136000 | #Constraints:     669071
1816.63/1822.31	c #Conflicts:     137000 | #Constraints:     670072
1816.63/1822.31	c #Conflicts:     138000 | #Constraints:     671072
1816.63/1822.31	c #Conflicts:     139000 | #Constraints:     672072
1816.63/1822.31	c INPROCESSING
1816.63/1822.31	c GARBAGE COLLECT
1816.63/1822.31	c rational objective 182.948
1899.38/1905.37	c #Conflicts:     140000 | #Constraints:     665676
1899.38/1905.37	c #Conflicts:     141000 | #Constraints:     666676
1899.38/1905.37	c #Conflicts:     142000 | #Constraints:     667678
1899.38/1905.37	c #Conflicts:     143000 | #Constraints:     668678
1899.38/1905.37	c #Conflicts:     144000 | #Constraints:     669679
1899.38/1905.37	c #Conflicts:     145000 | #Constraints:     670680
1899.38/1905.37	c #Conflicts:     146000 | #Constraints:     671680
1899.38/1905.37	c #Conflicts:     147000 | #Constraints:     672681
1899.38/1905.37	c INPROCESSING
1899.38/1905.37	c GARBAGE COLLECT
1899.38/1905.37	c rational objective 182.972
1953.93/1960.08	c #Conflicts:     148000 | #Constraints:     666070
1953.93/1960.08	c #Conflicts:     149000 | #Constraints:     667072
1953.93/1960.08	c #Conflicts:     150000 | #Constraints:     668072
1953.93/1960.08	c #Conflicts:     151000 | #Constraints:     669072
1953.93/1960.08	c #Conflicts:     152000 | #Constraints:     670072
1953.93/1960.08	c #Conflicts:     153000 | #Constraints:     671073
1953.93/1960.08	c #Conflicts:     154000 | #Constraints:     672073
1953.93/1960.08	c #Conflicts:     155000 | #Constraints:     673073
1953.93/1960.08	c INPROCESSING
1953.93/1960.08	c GARBAGE COLLECT
1953.93/1960.08	c rational objective 182.972
2095.85/2102.46	c #Conflicts:     156000 | #Constraints:     666264
2095.85/2102.46	c #Conflicts:     157000 | #Constraints:     667266
2095.85/2102.46	c #Conflicts:     158000 | #Constraints:     668267
2095.85/2102.46	c #Conflicts:     159000 | #Constraints:     669268
2095.85/2102.46	c #Conflicts:     160000 | #Constraints:     670268
2095.85/2102.46	c #Conflicts:     161000 | #Constraints:     671269
2095.85/2102.46	c #Conflicts:     162000 | #Constraints:     672270
2095.85/2102.46	c #Conflicts:     163000 | #Constraints:     673270
2095.85/2102.46	c INPROCESSING
2095.85/2102.46	c GARBAGE COLLECT
2095.85/2102.46	c rational objective 182.972
2131.84/2138.56	c #Conflicts:     164000 | #Constraints:     666267
2131.84/2138.56	c #Conflicts:     165000 | #Constraints:     667267
2131.84/2138.56	c #Conflicts:     166000 | #Constraints:     668287
2131.84/2138.56	c bounds 356 >= 91 @ 2121.35
2174.62/2181.41	c #Conflicts:     167000 | #Constraints:     669381
2174.62/2181.41	c #Conflicts:     168000 | #Constraints:     670381
2174.62/2181.41	c #Conflicts:     169000 | #Constraints:     671382
2174.62/2181.41	c #Conflicts:     170000 | #Constraints:     672382
2174.62/2181.41	c #Conflicts:     171000 | #Constraints:     673382
2174.62/2181.41	c INPROCESSING
2174.62/2181.41	c GARBAGE COLLECT
2174.62/2181.41	c rational objective 182.972
2249.01/2256.05	c #Conflicts:     172000 | #Constraints:     666125
2249.01/2256.05	c #Conflicts:     173000 | #Constraints:     667125
2249.01/2256.05	c #Conflicts:     174000 | #Constraints:     668125
2249.01/2256.05	c #Conflicts:     175000 | #Constraints:     669125
2249.01/2256.05	c #Conflicts:     176000 | #Constraints:     670125
2249.01/2256.05	c #Conflicts:     177000 | #Constraints:     671126
2249.01/2256.05	c #Conflicts:     178000 | #Constraints:     672126
2249.01/2256.05	c #Conflicts:     179000 | #Constraints:     673126
2249.01/2256.05	c #Conflicts:     180000 | #Constraints:     674128
2249.01/2256.05	c INPROCESSING
2249.01/2256.05	c GARBAGE COLLECT
2249.01/2256.05	c rational objective 182.972
2358.67/2366.04	c #Conflicts:     181000 | #Constraints:     666702
2358.67/2366.04	c #Conflicts:     182000 | #Constraints:     667703
2358.67/2366.04	c #Conflicts:     183000 | #Constraints:     668705
2358.67/2366.04	c #Conflicts:     184000 | #Constraints:     669705
2358.67/2366.04	c #Conflicts:     185000 | #Constraints:     670706
2358.67/2366.04	c #Conflicts:     186000 | #Constraints:     671707
2358.67/2366.04	c #Conflicts:     187000 | #Constraints:     672708
2358.67/2366.04	c #Conflicts:     188000 | #Constraints:     673709
2358.67/2366.04	c #Conflicts:     189000 | #Constraints:     674710
2358.67/2366.04	c INPROCESSING
2358.67/2366.04	c GARBAGE COLLECT
2358.67/2366.04	c rational objective 182.972
2398.04/2405.50	c #Conflicts:     190000 | #Constraints:     667082
2398.04/2405.50	c #Conflicts:     191000 | #Constraints:     668082
2398.04/2405.50	c #Conflicts:     192000 | #Constraints:     669082
2398.04/2405.50	c #Conflicts:     193000 | #Constraints:     670082
2398.04/2405.50	c #Conflicts:     194000 | #Constraints:     671082
2398.04/2405.50	c bounds 356 >= 92 @ 2386.39
2422.87/2430.48	c #Conflicts:     195000 | #Constraints:     672145
2422.87/2430.48	c #Conflicts:     196000 | #Constraints:     673146
2422.87/2430.48	c #Conflicts:     197000 | #Constraints:     674146
2422.87/2430.48	c #Conflicts:     198000 | #Constraints:     675146
2422.87/2430.48	c INPROCESSING
2422.87/2430.48	c GARBAGE COLLECT
2422.87/2430.48	c rational objective 182.972
2575.61/2583.68	c #Conflicts:     199000 | #Constraints:     667330
2575.61/2583.68	c #Conflicts:     200000 | #Constraints:     668399
2575.61/2583.68	c #Conflicts:     201000 | #Constraints:     669416
2575.61/2583.68	c #Conflicts:     202000 | #Constraints:     670419
2575.61/2583.68	c #Conflicts:     203000 | #Constraints:     671419
2575.61/2583.68	c #Conflicts:     204000 | #Constraints:     672419
2575.61/2583.68	c #Conflicts:     205000 | #Constraints:     673429
2575.61/2583.68	c #Conflicts:     206000 | #Constraints:     674441
2575.61/2583.68	c #Conflicts:     207000 | #Constraints:     675448
2575.61/2583.68	c INPROCESSING
2575.61/2583.68	c GARBAGE COLLECT
2575.61/2583.68	c rational objective 182.942
2653.28/2661.53	c #Conflicts:     208000 | #Constraints:     667388
2653.28/2661.53	c #Conflicts:     209000 | #Constraints:     668388
2653.28/2661.53	c #Conflicts:     210000 | #Constraints:     669389
2653.28/2661.53	c #Conflicts:     211000 | #Constraints:     670390
2653.28/2661.53	c #Conflicts:     212000 | #Constraints:     671391
2653.28/2661.53	c #Conflicts:     213000 | #Constraints:     672392
2653.28/2661.53	c #Conflicts:     214000 | #Constraints:     673392
2653.28/2661.53	c #Conflicts:     215000 | #Constraints:     674392
2653.28/2661.53	c #Conflicts:     216000 | #Constraints:     675394
2653.28/2661.53	c INPROCESSING
2653.28/2661.53	c GARBAGE COLLECT
2653.28/2661.53	c rational objective 182.944
3054.26/3063.71	c #Conflicts:     217000 | #Constraints:     667137
3054.26/3063.71	c #Conflicts:     218000 | #Constraints:     668138
3054.26/3063.71	c #Conflicts:     219000 | #Constraints:     669138
3054.26/3063.71	c #Conflicts:     220000 | #Constraints:     670139
3054.26/3063.71	c #Conflicts:     221000 | #Constraints:     671140
3054.26/3063.71	c #Conflicts:     222000 | #Constraints:     672140
3054.26/3063.71	c #Conflicts:     223000 | #Constraints:     673140
3054.26/3063.71	c #Conflicts:     224000 | #Constraints:     674140
3054.26/3063.71	c #Conflicts:     225000 | #Constraints:     675141
3054.26/3063.71	c #Conflicts:     226000 | #Constraints:     676141
3054.26/3063.71	c INPROCESSING
3054.26/3063.71	c GARBAGE COLLECT
3054.26/3063.71	c #Conflicts:     227000 | #Constraints:     667695
3054.26/3063.71	c #Conflicts:     228000 | #Constraints:     668695
3054.26/3063.71	c #Conflicts:     229000 | #Constraints:     669695
3054.26/3063.71	c #Conflicts:     230000 | #Constraints:     670695
3054.26/3063.71	c #Conflicts:     231000 | #Constraints:     671695
3054.26/3063.71	c #Conflicts:     232000 | #Constraints:     672695
3054.26/3063.71	c #Conflicts:     233000 | #Constraints:     673696
3054.26/3063.71	c #Conflicts:     234000 | #Constraints:     674696
3054.26/3063.71	c #Conflicts:     235000 | #Constraints:     675696
3054.26/3063.71	c #Conflicts:     236000 | #Constraints:     676696
3054.26/3063.71	c INPROCESSING
3054.26/3063.71	c GARBAGE COLLECT
3054.26/3063.71	c #Conflicts:     237000 | #Constraints:     668093
3054.26/3063.71	c #Conflicts:     238000 | #Constraints:     669093
3054.26/3063.71	c #Conflicts:     239000 | #Constraints:     670094
3054.26/3063.71	c #Conflicts:     240000 | #Constraints:     671094
3054.26/3063.71	c #Conflicts:     241000 | #Constraints:     672095
3054.26/3063.71	c #Conflicts:     242000 | #Constraints:     673096
3054.26/3063.71	c #Conflicts:     243000 | #Constraints:     674097
3054.26/3063.71	c #Conflicts:     244000 | #Constraints:     675097
3054.26/3063.71	c #Conflicts:     245000 | #Constraints:     676098
3054.26/3063.71	c #Conflicts:     246000 | #Constraints:     677099
3054.26/3063.71	c INPROCESSING
3054.26/3063.71	c GARBAGE COLLECT
3054.26/3063.71	c rational objective 182.944
3095.65/3105.22	c #Conflicts:     247000 | #Constraints:     668286
3095.65/3105.22	c #Conflicts:     248000 | #Constraints:     669286
3095.65/3105.22	c #Conflicts:     249000 | #Constraints:     670288
3095.65/3105.22	c #Conflicts:     250000 | #Constraints:     671288
3095.65/3105.22	c #Conflicts:     251000 | #Constraints:     672288
3095.65/3105.22	c #Conflicts:     252000 | #Constraints:     673289
3095.65/3105.22	c bounds 356 >= 93 @ 3081.66
3142.21/3151.92	c #Conflicts:     253000 | #Constraints:     674346
3142.21/3151.92	c #Conflicts:     254000 | #Constraints:     675347
3142.21/3151.92	c #Conflicts:     255000 | #Constraints:     676347
3142.21/3151.92	c #Conflicts:     256000 | #Constraints:     677348
3142.21/3151.92	c INPROCESSING
3142.21/3151.92	c GARBAGE COLLECT
3142.21/3151.92	c rational objective 182.944
3422.26/3432.88	c #Conflicts:     257000 | #Constraints:     668341
3422.26/3432.88	c #Conflicts:     258000 | #Constraints:     669341
3422.26/3432.88	c #Conflicts:     259000 | #Constraints:     670341
3422.26/3432.88	c #Conflicts:     260000 | #Constraints:     671342
3422.26/3432.88	c #Conflicts:     261000 | #Constraints:     672342
3422.26/3432.88	c #Conflicts:     262000 | #Constraints:     673343
3422.26/3432.88	c #Conflicts:     263000 | #Constraints:     674344
3422.26/3432.88	c #Conflicts:     264000 | #Constraints:     675344
3422.26/3432.88	c #Conflicts:     265000 | #Constraints:     676345
3422.26/3432.88	c #Conflicts:     266000 | #Constraints:     677345
3422.26/3432.88	c INPROCESSING
3422.26/3432.88	c GARBAGE COLLECT
3422.26/3432.88	c #Conflicts:     267000 | #Constraints:     668123
3422.26/3432.88	c #Conflicts:     268000 | #Constraints:     669123
3422.26/3432.88	c #Conflicts:     269000 | #Constraints:     670123
3422.26/3432.88	c #Conflicts:     270000 | #Constraints:     671124
3422.26/3432.88	c #Conflicts:     271000 | #Constraints:     672124
3422.26/3432.88	c #Conflicts:     272000 | #Constraints:     673124
3422.26/3432.88	c #Conflicts:     273000 | #Constraints:     674124
3422.26/3432.88	c #Conflicts:     274000 | #Constraints:     675126
3422.26/3432.88	c #Conflicts:     275000 | #Constraints:     676126
3422.26/3432.88	c #Conflicts:     276000 | #Constraints:     677127
3422.26/3432.88	c #Conflicts:     277000 | #Constraints:     678127
3422.26/3432.88	c INPROCESSING
3422.26/3432.88	c GARBAGE COLLECT
3422.26/3432.88	c #Conflicts:     278000 | #Constraints:     668717
3422.26/3432.88	c #Conflicts:     279000 | #Constraints:     669717
3422.26/3432.88	c #Conflicts:     280000 | #Constraints:     670718
3422.26/3432.88	c #Conflicts:     281000 | #Constraints:     671718
3422.26/3432.88	c #Conflicts:     282000 | #Constraints:     672734
3422.26/3432.88	c #Conflicts:     283000 | #Constraints:     673735
3422.26/3432.88	c #Conflicts:     284000 | #Constraints:     674735
3422.26/3432.88	c #Conflicts:     285000 | #Constraints:     675736
3422.26/3432.88	c #Conflicts:     286000 | #Constraints:     676736
3422.26/3432.88	c #Conflicts:     287000 | #Constraints:     677736
3422.26/3432.88	c #Conflicts:     288000 | #Constraints:     678736
3422.26/3432.88	c INPROCESSING
3422.26/3432.88	c GARBAGE COLLECT
3422.26/3432.88	c rational objective 182.944
3510.61/3521.47	c #Conflicts:     289000 | #Constraints:     669124
3510.61/3521.47	c #Conflicts:     290000 | #Constraints:     670130
3510.61/3521.47	c #Conflicts:     291000 | #Constraints:     671130
3510.61/3521.47	c #Conflicts:     292000 | #Constraints:     672130
3510.61/3521.47	c #Conflicts:     293000 | #Constraints:     673131
3510.61/3521.47	c #Conflicts:     294000 | #Constraints:     674133
3510.61/3521.47	c #Conflicts:     295000 | #Constraints:     675133
3510.61/3521.47	c #Conflicts:     296000 | #Constraints:     676133
3510.61/3521.47	c #Conflicts:     297000 | #Constraints:     677133
3510.61/3521.47	c #Conflicts:     298000 | #Constraints:     678133
3510.61/3521.47	c #Conflicts:     299000 | #Constraints:     679134
3510.61/3521.47	c INPROCESSING
3510.61/3521.47	c GARBAGE COLLECT
3510.61/3521.47	c rational objective 182.944

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=47460, runsolver pid=47457

[startup+0.100106 s]*
/proc/loadavg: 4.24 4.23 4.15 5/250 47462
/proc/meminfo: memFree=127355332/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47462] ppid=47460 vsize=158664 memory=138856 CPUtime=0.09 cores=1,3
/proc/47462/stat : 47462 (pbsuma) R 47460 47460 46718 0 -1 4194304 2331 0 0 0 5 4 0 0 20 0 1 0 51445350 162471936 34714 18446744073709551615 4210688 4653049 140734973516832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24252416 140734973520227 140734973520434 140734973520434 140734973525999 0
/proc/47462/statm: 39666 34714 928 108 0 37074 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 162856 KiB
Current children cumulated memory: 141800 KiB

[startup+0.211816 s]*
/proc/loadavg: 4.24 4.23 4.15 5/248 47462
/proc/meminfo: memFree=127343740/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47462] ppid=47460 vsize=165880 memory=150424 CPUtime=0.2 cores=1,3
/proc/47462/stat : 47462 (pbsuma) R 47460 47460 46718 0 -1 4194304 4692 0 0 0 15 5 0 0 20 0 1 0 51445350 169861120 37606 18446744073709551615 4210688 4653049 140734973516832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24252416 140734973520227 140734973520434 140734973520434 140734973525999 0
/proc/47462/statm: 41470 37606 928 108 0 38878 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 170072 KiB
Current children cumulated memory: 153368 KiB

[startup+0.313274 s]*
/proc/loadavg: 4.24 4.23 4.15 5/248 47463
/proc/meminfo: memFree=127333864/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47462] ppid=47460 vsize=171092 memory=155904 CPUtime=0.29 cores=1,3
/proc/47462/stat : 47462 (pbsuma) R 47460 47460 46718 0 -1 4194304 6380 0 0 0 23 6 0 0 20 0 1 0 51445350 175198208 38976 18446744073709551615 4210688 4653049 140734973516832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24252416 140734973520227 140734973520434 140734973520434 140734973525999 0
/proc/47462/statm: 42773 38976 928 108 0 40181 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 158848 KiB

[startup+0.700423 s]
/proc/loadavg: 4.24 4.23 4.15 6/254 47473
/proc/meminfo: memFree=127175916/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47462] ppid=47460 vsize=195180 memory=184560 CPUtime=0.66 cores=1,3
/proc/47462/stat : 47462 (pbsuma) R 47460 47460 46718 0 -1 4194304 12125 0 0 0 57 9 0 0 20 0 1 0 51445350 199864320 46140 18446744073709551615 4210688 4653049 140734973516832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24252416 140734973520227 140734973520434 140734973520434 140734973525999 0
/proc/47462/statm: 48795 46140 928 108 0 46203 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 199372 KiB
Current children cumulated memory: 187504 KiB

[startup+1.50041 s]
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=126986012/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47462] ppid=47460 vsize=172560 memory=165912 CPUtime=1.46 cores=1,3
/proc/47462/stat : 47462 (pbsuma) R 47460 47460 46718 0 -1 4194304 28621 0 0 0 129 17 0 0 20 0 1 0 51445350 176701440 41478 18446744073709551615 4210688 4653049 140734973516832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24252416 140734973520227 140734973520434 140734973520434 140734973525999 0
/proc/47462/statm: 43140 41478 992 108 0 40548 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 176752 KiB
Current children cumulated memory: 168856 KiB

[startup+3.11277 s]
/proc/loadavg: 4.24 4.23 4.15 5/251 47511
/proc/meminfo: memFree=129748980/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=126980 memory=75884 CPUtime=1.42 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 13133 0 0 0 99 43 0 0 20 0 1 0 51445515 130027520 18971 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 31745 18971 1856 1147 0 19172 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 131172 KiB
Current children cumulated memory: 78828 KiB

[startup+6.30038 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 47523
/proc/meminfo: memFree=127692292/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=913868 memory=652660 CPUtime=4.6 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 47183 0 0 0 388 72 0 0 20 0 1 0 51445515 935800832 163165 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 228467 163165 2304 1147 0 215894 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 918060 KiB
Current children cumulated memory: 655604 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.23 4.15 5/255 47524
/proc/meminfo: memFree=127023552/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1083840 memory=758396 CPUtime=10.98 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 52292 0 0 0 1004 94 0 0 20 0 1 0 51445515 1109852160 189599 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 270960 189599 2368 1147 0 258387 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1088032 KiB
Current children cumulated memory: 761340 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.22 4.15 5/255 47524
/proc/meminfo: memFree=126626352/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1157712 memory=826052 CPUtime=23.74 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 57549 0 0 0 2239 135 0 0 20 0 1 0 51445515 1185497088 206513 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 289428 206513 2368 1147 0 276855 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1161904 KiB
Current children cumulated memory: 828996 KiB

[startup+51.1134 s]
/proc/loadavg: 4.18 4.21 4.15 5/255 47524
/proc/meminfo: memFree=126126828/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1190928 memory=881340 CPUtime=49.28 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 60852 0 0 0 4766 162 0 0 20 0 1 0 51445515 1219510272 220335 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 297732 220335 2368 1147 0 285159 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1195120 KiB
Current children cumulated memory: 884284 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/255 47526
/proc/meminfo: memFree=124860840/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1513180 memory=1132480 CPUtime=100.32 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 83184 0 0 0 9835 197 0 0 20 0 1 0 51445515 1549496320 283120 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 378295 283120 2368 1147 0 365722 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1517372 KiB
Current children cumulated memory: 1135424 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 47528
/proc/meminfo: memFree=124283048/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1571904 memory=1195828 CPUtime=160.14 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 93758 0 0 0 15761 253 0 0 20 0 1 0 51445515 1609629696 298957 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 392976 298957 2368 1147 0 380403 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1576096 KiB
Current children cumulated memory: 1198772 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/254 47530
/proc/meminfo: memFree=124102140/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=1587552 memory=1208456 CPUtime=219.95 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 95028 0 0 0 21735 260 0 0 20 0 1 0 51445515 1625653248 302114 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 396888 302114 2368 1147 0 384315 0
Current children cumulated CPU time: 221.56 s

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

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/253 47683
/proc/meminfo: memFree=117099140/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3079328 memory=2599920 CPUtime=3330.42 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 426628 0 0 0 331666 1376 0 0 20 0 1 0 51445515 3153231872 649980 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 769832 649980 2496 1147 0 757259 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 3083520 KiB
Current children cumulated memory: 2602864 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/253 47685
/proc/meminfo: memFree=116980968/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3079328 memory=2597308 CPUtime=3390.24 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 431789 0 0 0 337614 1410 0 0 20 0 1 0 51445515 3153231872 649327 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 769832 649327 2496 1147 0 757259 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 3083520 KiB
Current children cumulated memory: 2600252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 47690
/proc/meminfo: memFree=116986528/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3079456 memory=2601968 CPUtime=3450.07 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 436490 0 0 0 343577 1430 0 0 20 0 1 0 51445515 3153362944 650492 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 769864 650492 2496 1147 0 757291 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 3083648 KiB
Current children cumulated memory: 2604912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/254 47696
/proc/meminfo: memFree=116940896/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3144760 memory=2672416 CPUtime=3509.9 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 450846 0 0 0 349516 1474 0 0 20 0 1 0 51445515 3220234240 668104 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668104 2496 1147 0 773617 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 3148952 KiB
Current children cumulated memory: 2675360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 47698
/proc/meminfo: memFree=116893768/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3180872 memory=2709176 CPUtime=3569.72 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 454038 0 0 0 355452 1520 0 0 20 0 1 0 51445515 3257212928 677294 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 795218 677294 2496 1147 0 782645 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 3185064 KiB
Current children cumulated memory: 2712120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.07 4.10 4.11 4/253 47713
/proc/meminfo: memFree=121847128/131382120 swapFree=33010160/33010684
[pid=47460] ppid=47457 vsize=4192 memory=2944 CPUtime=1.61 cores=1,3
/proc/47460/stat : 47460 (run-opt-break.s) S 47457 47460 46718 0 -1 4194304 235 28624 0 0 0 0 144 17 20 0 1 0 51445349 4292608 736 18446744073709551615 93832327294976 93832328189509 140736915075680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93832328428560 93832328476304 93832350830592 140736915077473 140736915077602 140736915077602 140736915083204 0
/proc/47460/statm: 1048 736 672 219 0 110 0
[pid=47475] ppid=47460 vsize=3144760 memory=2674836 CPUtime=3598.45 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47460 47460 46718 0 -1 4194304 456547 0 0 0 358317 1528 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3148952 KiB
Current children cumulated memory: 2677780 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3586.62 s, system=15.5076 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.21 s]*
/proc/loadavg: 4.07 4.10 4.11 5/250 47713
/proc/meminfo: memFree=121847560/131382120 swapFree=33010160/33010684
[pid=47475] ppid=47457 vsize=3144760 memory=2674836 CPUtime=3598.56 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47457 47460 46718 0 -1 4194304 456547 0 0 0 358328 1528 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current cumulated CPU time of completed processes: 1.63398 s
Current children cumulated CPU time: 3598.56 s
Current children cumulated vsize: 3144760 KiB
Current children cumulated memory: 2674836 KiB

[startup+3612 s]*
/proc/loadavg: 4.07 4.10 4.11 7/250 47713
/proc/meminfo: memFree=121857152/131382120 swapFree=33010160/33010684
[pid=47475] ppid=47457 vsize=3144760 memory=2674836 CPUtime=3599.36 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47457 47460 46718 0 -1 4194304 456560 0 0 0 358407 1529 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current cumulated CPU time of completed processes: 1.63398 s
Current children cumulated CPU time: 3599.36 s
Current children cumulated vsize: 3144760 KiB
Current children cumulated memory: 2674836 KiB

[startup+3612.8 s]
/proc/loadavg: 4.07 4.10 4.11 7/250 47713
/proc/meminfo: memFree=121857152/131382120 swapFree=33010160/33010684
[pid=47475] ppid=47457 vsize=3144760 memory=2674836 CPUtime=3600.14 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47457 47460 46718 0 -1 4194304 456560 0 0 0 358485 1529 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current cumulated CPU time of completed processes: 1.63398 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 3144760 KiB
Current children cumulated memory: 2674836 KiB

[startup+3613 s]*
/proc/loadavg: 4.07 4.10 4.11 7/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47475] ppid=47457 vsize=3144760 memory=2674836 CPUtime=3600.35 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47457 47460 46718 0 -1 4194304 456560 0 0 0 358506 1529 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current cumulated CPU time of completed processes: 1.63398 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 3144760 KiB
Current children cumulated memory: 2674836 KiB

[startup+3613.11 s]
/proc/loadavg: 4.07 4.10 4.11 7/250 47713
/proc/meminfo: memFree=121865596/131382120 swapFree=33010160/33010684
[pid=47475] ppid=47457 vsize=3144760 memory=2674836 CPUtime=3600.46 cores=1,3
/proc/47475/stat : 47475 (roundingsat) R 47457 47460 46718 0 -1 4194304 456560 0 0 0 358517 1529 0 0 20 0 1 0 51445515 3220234240 668709 18446744073709551615 4227072 8923433 140727031912208 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18161664 140727031916900 140727031917096 140727031917096 140727031922666 0
/proc/47475/statm: 786190 668709 2496 1147 0 773617 0
Current cumulated CPU time of completed processes: 1.63398 s
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 3144760 KiB
Current children cumulated memory: 2674836 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.14
CPU time (s): 3602.13
CPU user time (s): 3586.62
CPU system time (s): 15.5076
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 3185064
Max. memory (cumulated for all children) (KiB): 2712248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.62
system time used= 15.5076
maximum resident set size= 2709320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485419
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= 264
involuntary context switches= 2707


# summary of solver processes directly reported to runsolver:
#   pid: 47460,47475
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3586.62
#   total CPU system time (s): 15.5076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0605 second user time and 36.9266 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-01 10:14:22
IDJOB=4489556
IDBENCH=147557
IDSOLVER=3359
FILE ID=nodeC008/4489556-1751357662
RUNJOBID= nodeC008-1751350438-46730
SLURM_JOB_ID= 9598137
Free space on /tmp= 432980 MiB

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1450135855

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127523200 kB
MemAvailable:   127350036 kB
Buffers:            2144 kB
Cached:           636596 kB
SwapCached:           16 kB
Active:          2878016 kB
Inactive:         419012 kB
Active(anon):    2639576 kB
Inactive(anon):    36636 kB
Active(file):     238440 kB
Inactive(file):   382376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52004 kB
Writeback:             0 kB
AnonPages:       2657140 kB
Mapped:           109628 kB
Shmem:             17920 kB
KReclaimable:      91292 kB
Slab:             173776 kB
SReclaimable:      91292 kB
SUnreclaim:        82484 kB
KernelStack:        3984 kB
PageTables:         7912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3343828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2564096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

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