Trace number 4489464

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.1 3613.41

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark3587.61
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 495457
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 495457
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-4489464-1751354050.opb'
0.67/0.70	c 	read 17.23MB  (687.62ms)
0.67/0.70	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.67/0.70	c 
0.67/0.70	c make graph and approximate orbits
1.17/1.21	c	 [group: #orbits ~= 0] (507.65ms)
1.17/1.21	c 
1.17/1.21	c detect special group actions
1.17/1.21	c 	probe for Johnson action (limit=64)
1.17/1.21	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.17/1.23	c 	probe for row symmetry (limit=64, splits=16.78M)
1.17/1.24	c 	 (27.02ms)
1.17/1.24	c 
1.17/1.24	c detect symmetries on remainder
1.17/1.24	c 	[graph: #vertices 706671 #edges 2766340]
1.17/1.25	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.27/1.31	c 	 [group: #symmetries 1.00*10^0 #generators 0] (75.39ms)
1.27/1.31	c 
1.27/1.31	c finalize break order and special generators
1.27/1.31	c 
1.27/1.31	c generation finished
1.27/1.31	c 	[sbp: #constraints 0 #add_vars 0]
1.27/1.31	c 
1.27/1.31	c write result to 'HOME/instance-4489464-1751354050.opb.pre'
1.27/1.37	c 	wrote 17.23MB (50.39ms)
1.27/1.37	c ------------------------------------------------------------------
1.27/1.37	c                 687.62ms 50.84% parse
1.27/1.37	c                 507.65ms 37.53% approx_orbits
1.27/1.37	c                  75.39ms  5.57% detect_generic
1.27/1.37	c                  50.39ms  3.73% output
1.27/1.37	c                  27.02ms  2.00% detect_special
1.27/1.37	c                   3.84ms  0.28% other
1.27/1.37	c                   0.63ms  0.05% finalize_order
1.27/1.37	c         ───────────────────────────────────────────────
1.27/1.37	c                1352.54ms   100% total
1.27/1.37	c ------------------------------------------------------------------
0.00/1.51	c RoundingSat 2
0.00/1.51	c branch pb25
0.00/1.51	c commit 63f22ad
3.96/4.08	c #variables 10000 #constraints 656900
3.96/4.08	c objective is ce32 
3.96/4.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.96/4.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.96/4.08	c bounds - >= 0 @ 1.90809
5.34/5.46	c rational objective 174.592
9.13/9.21	c bounds 6601 >= 0 @ 6.9218
9.13/9.21	c bounds 6375 >= 0 @ 6.92798
9.13/9.23	c bounds 6341 >= 0 @ 6.93756
9.13/9.23	c bounds 6323 >= 0 @ 6.94585
9.13/9.24	c bounds 6322 >= 0 @ 6.9561
9.13/9.25	c bounds 6312 >= 0 @ 6.96226
9.13/9.28	c bounds 6237 >= 0 @ 6.98485
9.13/9.28	c bounds 6146 >= 0 @ 6.98997
9.13/9.29	c bounds 6079 >= 0 @ 6.99451
9.23/9.30	c bounds 6022 >= 0 @ 7.00373
9.23/9.31	c bounds 5965 >= 0 @ 7.00678
9.23/9.32	c bounds 5946 >= 0 @ 7.01318
9.23/9.32	c bounds 5945 >= 0 @ 7.01857
9.23/9.33	c bounds 5916 >= 0 @ 7.02494
9.23/9.35	c bounds 5857 >= 0 @ 7.03802
9.23/9.36	c bounds 5628 >= 0 @ 7.04303
9.23/9.36	c bounds 5595 >= 0 @ 7.04958
9.23/9.37	c bounds 5417 >= 0 @ 7.05397
9.23/9.38	c bounds 5415 >= 0 @ 7.06767
9.23/9.39	c bounds 5386 >= 0 @ 7.07468
9.33/9.41	c bounds 5344 >= 0 @ 7.08577
9.33/9.42	c bounds 5343 >= 0 @ 7.09328
9.33/9.45	c bounds 5328 >= 0 @ 7.12752
9.33/9.49	c bounds 5322 >= 0 @ 7.16599
9.43/9.51	c bounds 5304 >= 0 @ 7.18503
9.43/9.52	c bounds 5291 >= 0 @ 7.19761
9.43/9.54	c bounds 5238 >= 0 @ 7.21449
9.43/9.55	c bounds 5227 >= 0 @ 7.21874
9.43/9.56	c bounds 5225 >= 0 @ 7.22974
9.43/9.57	c bounds 5165 >= 0 @ 7.23513
9.43/9.57	c bounds 5164 >= 0 @ 7.24032
9.43/9.58	c bounds 5146 >= 0 @ 7.24382
9.43/9.58	c bounds 5114 >= 0 @ 7.24617
9.52/9.60	c bounds 5108 >= 0 @ 7.26265
9.52/9.62	c bounds 5097 >= 0 @ 7.2746
9.52/9.62	c bounds 5075 >= 0 @ 7.28034
9.52/9.63	c bounds 5060 >= 0 @ 7.28484
9.52/9.63	c bounds 5014 >= 0 @ 7.28974
9.52/9.64	c bounds 4998 >= 0 @ 7.29617
9.52/9.65	c bounds 4662 >= 0 @ 7.3014
9.52/9.66	c bounds 4563 >= 0 @ 7.30939
9.52/9.67	c bounds 4536 >= 0 @ 7.31823
9.52/9.68	c bounds 4506 >= 0 @ 7.32436
9.62/9.78	c bounds 4450 >= 0 @ 7.41906
9.62/9.79	c bounds 4395 >= 0 @ 7.42744
9.73/9.80	c bounds 4379 >= 0 @ 7.43154
9.73/9.81	c bounds 4339 >= 0 @ 7.43798
9.73/9.83	c bounds 4301 >= 0 @ 7.4607
9.73/9.87	c bounds 4269 >= 0 @ 7.49603
9.73/9.88	c bounds 4230 >= 0 @ 7.50434
9.73/9.89	c bounds 4204 >= 0 @ 7.51016
9.83/9.90	c bounds 3988 >= 0 @ 7.51587
9.83/9.91	c bounds 3746 >= 0 @ 7.52081
9.83/9.91	c bounds 3551 >= 0 @ 7.52465
9.83/9.92	c bounds 3526 >= 0 @ 7.52947
9.83/9.93	c bounds 3485 >= 0 @ 7.5404
9.83/9.94	c bounds 3392 >= 0 @ 7.5456
10.23/10.37	c bounds 3389 >= 0 @ 7.95708
10.23/10.38	c bounds 3373 >= 0 @ 7.96619
10.43/10.59	c bounds 3371 >= 0 @ 8.17528
10.72/10.89	c bounds 3317 >= 0 @ 8.46688
10.82/10.91	c bounds 3294 >= 0 @ 8.48583
10.82/10.92	c bounds 3278 >= 0 @ 8.49344
10.82/10.93	c bounds 3249 >= 0 @ 8.50766
10.82/10.94	c bounds 3245 >= 0 @ 8.51369
10.93/11.04	c bounds 3225 >= 0 @ 8.60924
11.12/11.22	c bounds 3211 >= 0 @ 8.79181
11.12/11.23	c bounds 3202 >= 0 @ 8.79771
11.32/11.44	c bounds 3201 >= 0 @ 8.99977
11.32/11.46	c bounds 3200 >= 0 @ 9.01773
11.32/11.47	c bounds 3199 >= 0 @ 9.02776
11.32/11.48	c bounds 3183 >= 0 @ 9.04077
11.42/11.50	c bounds 3165 >= 0 @ 9.05453
11.42/11.50	c bounds 3158 >= 0 @ 9.05932
11.42/11.52	c bounds 3146 >= 0 @ 9.06737
11.42/11.53	c bounds 3132 >= 0 @ 9.07749
11.42/11.54	c bounds 3124 >= 0 @ 9.08423
11.42/11.54	c bounds 3111 >= 0 @ 9.08912
11.52/11.63	c bounds 2852 >= 0 @ 9.17764
11.52/11.64	c bounds 2836 >= 0 @ 9.18274
11.52/11.65	c bounds 2822 >= 0 @ 9.19274
11.52/11.68	c bounds 2813 >= 0 @ 9.22025
11.52/11.69	c bounds 2807 >= 0 @ 9.23027
11.62/11.71	c bounds 2788 >= 0 @ 9.2431
11.62/11.72	c bounds 2662 >= 0 @ 9.25288
11.72/11.82	c bounds 2648 >= 0 @ 9.35224
11.72/11.84	c bounds 2626 >= 0 @ 9.3578
11.72/11.89	c bounds 2623 >= 0 @ 9.40565
11.83/11.98	c bounds 2618 >= 0 @ 9.48983
11.83/11.99	c bounds 2602 >= 0 @ 9.49887
11.83/12.00	c bounds 2589 >= 0 @ 9.51046
11.93/12.01	c bounds 2453 >= 0 @ 9.5173
12.03/12.12	c bounds 2434 >= 0 @ 9.62478
12.72/12.83	c bounds 2430 >= 0 @ 10.3312
12.93/13.08	c #Conflicts:       1000 | #Constraints:     658010
12.93/13.08	c bounds 2423 >= 0 @ 10.5723
12.93/13.09	c bounds 2408 >= 0 @ 10.582
12.93/13.10	c bounds 2312 >= 0 @ 10.5903
13.03/13.11	c bounds 2238 >= 0 @ 10.5996
13.03/13.13	c bounds 2169 >= 0 @ 10.6158
13.03/13.14	c bounds 2130 >= 0 @ 10.6212
13.03/13.16	c bounds 2095 >= 0 @ 10.6289
13.03/13.17	c bounds 2034 >= 0 @ 10.6381
13.03/13.18	c bounds 1831 >= 0 @ 10.6462
13.03/13.19	c bounds 1754 >= 0 @ 10.6539
13.12/13.21	c bounds 1724 >= 0 @ 10.6623
13.12/13.22	c bounds 1621 >= 0 @ 10.6724
13.12/13.23	c bounds 1619 >= 0 @ 10.6812
13.12/13.24	c bounds 1491 >= 0 @ 10.689
13.12/13.26	c bounds 1485 >= 0 @ 10.6936
13.21/13.36	c bounds 1478 >= 0 @ 10.7946
14.31/14.43	c bounds 1472 >= 0 @ 11.8271
14.31/14.45	c bounds 1466 >= 0 @ 11.8519
14.31/14.47	c bounds 1450 >= 0 @ 11.8673
14.42/14.52	c bounds 1446 >= 0 @ 11.9154
14.42/14.53	c bounds 1443 >= 0 @ 11.9274
14.42/14.55	c bounds 1432 >= 0 @ 11.9382
14.42/14.56	c bounds 1410 >= 0 @ 11.952
14.42/14.58	c bounds 1401 >= 0 @ 11.9727
14.62/14.71	c bounds 1395 >= 0 @ 12.092
14.62/14.73	c bounds 1390 >= 0 @ 12.1141
14.72/14.84	c bounds 1377 >= 0 @ 12.2163
14.72/14.86	c bounds 1362 >= 0 @ 12.2327
14.72/14.87	c bounds 1343 >= 0 @ 12.2409
14.81/14.96	c bounds 1327 >= 0 @ 12.3322
14.93/15.07	c bounds 1314 >= 0 @ 12.4423
14.93/15.10	c bounds 1296 >= 0 @ 12.4736
15.02/15.12	c bounds 1204 >= 0 @ 12.4819
15.02/15.13	c bounds 1186 >= 0 @ 12.4908
15.02/15.15	c bounds 1167 >= 0 @ 12.5036
15.12/15.25	c bounds 1159 >= 0 @ 12.599
15.12/15.28	c bounds 1119 >= 0 @ 12.63
15.12/15.29	c bounds 1105 >= 0 @ 12.6374
15.22/15.30	c bounds 1103 >= 0 @ 12.6433
15.22/15.32	c bounds 1093 >= 0 @ 12.6637
15.41/15.54	c bounds 1014 >= 0 @ 12.8566
15.41/15.55	c bounds 1009 >= 0 @ 12.8629
15.71/15.86	c bounds 1006 >= 0 @ 13.17
15.71/15.88	c bounds 940 >= 0 @ 13.1782
15.92/16.03	c bounds 933 >= 0 @ 13.3223
15.92/16.05	c bounds 865 >= 0 @ 13.3428
16.02/16.18	c bounds 842 >= 0 @ 13.466
16.02/16.19	c bounds 841 >= 0 @ 13.4727
16.11/16.26	c bounds 748 >= 0 @ 13.5256
17.31/17.43	c #Conflicts:       2000 | #Constraints:     659063
17.31/17.43	c INPROCESSING
17.31/17.43	c GARBAGE COLLECT
17.31/17.43	c bounds 693 >= 0 @ 14.6739
17.41/17.50	c bounds 644 >= 0 @ 14.7395
17.41/17.51	c bounds 638 >= 0 @ 14.7455
17.41/17.52	c bounds 631 >= 0 @ 14.7495
17.41/17.53	c bounds 629 >= 0 @ 14.7554
17.41/17.55	c bounds 628 >= 0 @ 14.7759
17.41/17.56	c bounds 627 >= 0 @ 14.7872
18.70/18.82	c bounds 557 >= 0 @ 16.0209
18.70/18.83	c bounds 550 >= 0 @ 16.0296
18.80/18.97	c bounds 544 >= 0 @ 16.171
19.20/19.34	c #Conflicts:       3000 | #Constraints:     658927
19.20/19.34	c bounds 535 >= 0 @ 16.5295
23.19/23.35	c #Conflicts:       4000 | #Constraints:     659929
23.19/23.35	c INPROCESSING
23.19/23.35	c GARBAGE COLLECT
23.19/23.35	c bounds 527 >= 0 @ 20.4587
23.19/23.36	c bounds 527 >= 8 @ 20.4652
26.08/26.22	c #Conflicts:       5000 | #Constraints:     659323
26.08/26.22	c bounds 416 >= 8 @ 23.2508
26.08/26.23	c bounds 415 >= 8 @ 23.2588
30.47/30.61	c #Conflicts:       6000 | #Constraints:     660325
30.47/30.61	c INPROCESSING
30.47/30.61	c GARBAGE COLLECT
30.47/30.61	c rational objective 175.566
33.76/33.94	c bounds 413 >= 8 @ 30.9169
33.97/34.18	c bounds 412 >= 8 @ 31.1585
34.86/35.10	c bounds 409 >= 8 @ 32.0575
42.95/43.17	c #Conflicts:       7000 | #Constraints:     659336
42.95/43.17	c #Conflicts:       8000 | #Constraints:     660336
42.95/43.17	c #Conflicts:       9000 | #Constraints:     661336
42.95/43.17	c INPROCESSING
42.95/43.17	c GARBAGE COLLECT
42.95/43.17	c rational objective 176.081
55.60/55.84	c #Conflicts:      10000 | #Constraints:     660033
55.60/55.84	c #Conflicts:      11000 | #Constraints:     661033
55.60/55.84	c #Conflicts:      12000 | #Constraints:     662033
55.60/55.84	c INPROCESSING
55.60/55.84	c GARBAGE COLLECT
55.60/55.84	c rational objective 176.972
70.95/71.23	c #Conflicts:      13000 | #Constraints:     660488
70.95/71.23	c #Conflicts:      14000 | #Constraints:     661488
70.95/71.23	c #Conflicts:      15000 | #Constraints:     662488
70.95/71.23	c INPROCESSING
70.95/71.23	c GARBAGE COLLECT
70.95/71.23	c bounds 407 >= 8 @ 67.7449
70.95/71.24	c bounds 406 >= 8 @ 67.7553
70.95/71.29	c bounds 404 >= 8 @ 67.7978
71.05/71.34	c bounds 402 >= 8 @ 67.8435
71.05/71.36	c bounds 402 >= 13 @ 67.8503
71.25/71.56	c bounds 402 >= 18 @ 68.0456
71.35/71.62	c bounds 399 >= 18 @ 68.1048
83.01/83.39	c #Conflicts:      16000 | #Constraints:     660738
83.01/83.39	c #Conflicts:      17000 | #Constraints:     661738
83.01/83.39	c #Conflicts:      18000 | #Constraints:     662738
83.01/83.39	c INPROCESSING
83.01/83.39	c GARBAGE COLLECT
83.01/83.39	c rational objective 178.881
89.30/89.66	c bounds 398 >= 18 @ 86.0288
89.30/89.68	c bounds 398 >= 22 @ 86.0394
103.25/103.63	c #Conflicts:      19000 | #Constraints:     660756
103.25/103.63	c #Conflicts:      20000 | #Constraints:     661756
103.25/103.63	c #Conflicts:      21000 | #Constraints:     662756
103.25/103.63	c INPROCESSING
103.25/103.63	c GARBAGE COLLECT
103.25/103.63	c rational objective 179.023
108.24/108.67	c bounds 397 >= 22 @ 104.809
108.24/108.68	c bounds 397 >= 25 @ 104.814
120.80/121.20	c #Conflicts:      22000 | #Constraints:     660554
120.80/121.20	c #Conflicts:      23000 | #Constraints:     661554
120.80/121.20	c #Conflicts:      24000 | #Constraints:     662554
120.80/121.20	c #Conflicts:      25000 | #Constraints:     663554
120.80/121.20	c INPROCESSING
120.80/121.20	c GARBAGE COLLECT
120.80/121.20	c rational objective 179.565
141.04/141.56	c #Conflicts:      26000 | #Constraints:     661152
141.04/141.56	c #Conflicts:      27000 | #Constraints:     662152
141.04/141.56	c #Conflicts:      28000 | #Constraints:     663152
141.04/141.56	c #Conflicts:      29000 | #Constraints:     664152
141.04/141.56	c INPROCESSING
141.04/141.56	c GARBAGE COLLECT
141.04/141.56	c rational objective 179.703
157.30/157.84	c #Conflicts:      30000 | #Constraints:     661563
157.30/157.84	c bounds 396 >= 25 @ 153.354
157.30/157.85	c bounds 396 >= 27 @ 153.362
157.30/157.87	c bounds 396 >= 29 @ 153.372
157.30/157.88	c bounds 396 >= 31 @ 153.383
157.40/157.90	c bounds 396 >= 33 @ 153.396
157.40/157.92	c bounds 396 >= 35 @ 153.41
157.50/158.07	c bounds 396 >= 37 @ 153.552
159.38/159.96	c #Conflicts:      31000 | #Constraints:     662607
159.38/159.96	c bounds 396 >= 39 @ 155.389
163.08/163.65	c #Conflicts:      32000 | #Constraints:     663628
163.08/163.65	c bounds 396 >= 41 @ 159.008
182.32/182.97	c #Conflicts:      33000 | #Constraints:     664646
182.32/182.97	c INPROCESSING
182.32/182.97	c GARBAGE COLLECT
182.32/182.97	c #Conflicts:      34000 | #Constraints:     661825
182.32/182.97	c #Conflicts:      35000 | #Constraints:     662825
182.32/182.97	c #Conflicts:      36000 | #Constraints:     663825
182.32/182.97	c #Conflicts:      37000 | #Constraints:     664825
182.32/182.97	c INPROCESSING
182.32/182.97	c GARBAGE COLLECT
182.32/182.97	c rational objective 179.712
194.09/194.77	c #Conflicts:      38000 | #Constraints:     661824
194.09/194.77	c bounds 396 >= 43 @ 189.92
221.10/221.82	c #Conflicts:      39000 | #Constraints:     662852
221.10/221.82	c #Conflicts:      40000 | #Constraints:     663853
221.10/221.82	c #Conflicts:      41000 | #Constraints:     664854
221.10/221.82	c INPROCESSING
221.10/221.82	c GARBAGE COLLECT
221.10/221.82	c rational objective 179.797
252.01/252.85	c #Conflicts:      42000 | #Constraints:     661654
252.01/252.85	c #Conflicts:      43000 | #Constraints:     662658
252.01/252.85	c #Conflicts:      44000 | #Constraints:     663662
252.01/252.85	c #Conflicts:      45000 | #Constraints:     664663
252.01/252.85	c #Conflicts:      46000 | #Constraints:     665664
252.01/252.85	c INPROCESSING
252.01/252.85	c GARBAGE COLLECT
252.01/252.85	c bounds 395 >= 43 @ 247.6
252.11/252.96	c bounds 394 >= 43 @ 247.702
259.47/260.31	c #Conflicts:      47000 | #Constraints:     662248
259.47/260.31	c bounds 393 >= 43 @ 254.966
259.47/260.33	c bounds 393 >= 44 @ 254.972
259.47/260.34	c bounds 393 >= 45 @ 254.98
259.47/260.36	c bounds 393 >= 46 @ 254.988
259.47/260.37	c bounds 393 >= 47 @ 254.992
259.47/260.38	c bounds 393 >= 48 @ 255.002
259.58/260.40	c bounds 393 >= 49 @ 255.011
259.58/260.41	c bounds 393 >= 50 @ 255.021
259.58/260.42	c bounds 393 >= 51 @ 255.027
259.58/260.44	c bounds 393 >= 52 @ 255.034
259.58/260.45	c bounds 393 >= 53 @ 255.042
259.58/260.47	c bounds 393 >= 54 @ 255.055
263.96/264.87	c bounds 393 >= 55 @ 259.419
263.96/264.89	c bounds 393 >= 56 @ 259.436
264.06/264.95	c bounds 393 >= 57 @ 259.484
264.06/264.98	c bounds 393 >= 58 @ 259.509
264.18/265.02	c bounds 393 >= 59 @ 259.542
264.18/265.06	c bounds 393 >= 60 @ 259.583
264.18/265.11	c bounds 393 >= 61 @ 259.618
264.37/265.29	c bounds 393 >= 62 @ 259.791
264.57/265.45	c bounds 393 >= 63 @ 259.942
264.97/265.86	c #Conflicts:      48000 | #Constraints:     663421
264.97/265.86	c bounds 393 >= 64 @ 260.331
265.46/266.34	c bounds 393 >= 65 @ 260.797
265.76/266.62	c bounds 393 >= 66 @ 261.058
266.06/266.90	c bounds 393 >= 67 @ 261.316
266.75/267.66	c bounds 393 >= 68 @ 262.064
267.65/268.53	c #Conflicts:      49000 | #Constraints:     664541
267.65/268.53	c bounds 393 >= 69 @ 262.891
271.15/272.10	c #Conflicts:      50000 | #Constraints:     665574
271.15/272.10	c bounds 392 >= 69 @ 266.429
273.43/274.35	c bounds 392 >= 70 @ 268.656
318.10/319.16	c #Conflicts:      51000 | #Constraints:     666605
318.10/319.16	c INPROCESSING
318.10/319.16	c GARBAGE COLLECT
318.10/319.16	c bounds 392 >= 71 @ 313.248
318.78/319.89	c bounds 392 >= 72 @ 313.953
324.26/325.39	c #Conflicts:      52000 | #Constraints:     662927
324.26/325.39	c bounds 392 >= 73 @ 319.418
337.13/338.25	c #Conflicts:      53000 | #Constraints:     663957
337.13/338.25	c bounds 392 >= 74 @ 332.157
340.62/341.75	c #Conflicts:      54000 | #Constraints:     665005
340.62/341.75	c #Conflicts:      55000 | #Constraints:     666005
340.62/341.75	c bounds 392 >= 75 @ 335.583
397.77/399.05	c #Conflicts:      56000 | #Constraints:     667038
397.77/399.05	c INPROCESSING
397.77/399.05	c GARBAGE COLLECT
397.77/399.05	c rational objective 179.803
404.75/406.11	c #Conflicts:      57000 | #Constraints:     663165
404.75/406.11	c bounds 392 >= 76 @ 399.62
412.73/414.11	c #Conflicts:      58000 | #Constraints:     664199
412.73/414.11	c #Conflicts:      59000 | #Constraints:     665199
412.73/414.11	c bounds 392 >= 77 @ 407.53
413.11/414.40	c bounds 391 >= 77 @ 407.814
414.31/415.67	c bounds 390 >= 77 @ 409.071
414.41/415.77	c bounds 389 >= 77 @ 409.164
432.26/433.66	c #Conflicts:      60000 | #Constraints:     666247
432.26/433.66	c bounds 388 >= 77 @ 426.989
491.08/492.64	c #Conflicts:      61000 | #Constraints:     667422
491.08/492.64	c INPROCESSING
491.08/492.64	c GARBAGE COLLECT
491.08/492.64	c #Conflicts:      62000 | #Constraints:     663260
491.08/492.64	c bounds 388 >= 78 @ 485.704
493.49/495.08	c #Conflicts:      63000 | #Constraints:     664299
493.49/495.08	c bounds 388 >= 79 @ 488.121
498.66/500.26	c #Conflicts:      64000 | #Constraints:     665332
498.66/500.26	c #Conflicts:      65000 | #Constraints:     666332
498.66/500.26	c bounds 388 >= 80 @ 493.215
529.97/531.66	c #Conflicts:      66000 | #Constraints:     667362
529.97/531.66	c INPROCESSING
529.97/531.66	c GARBAGE COLLECT
529.97/531.66	c #Conflicts:      67000 | #Constraints:     663049
529.97/531.66	c #Conflicts:      68000 | #Constraints:     664050
529.97/531.66	c #Conflicts:      69000 | #Constraints:     665050
529.97/531.66	c #Conflicts:      70000 | #Constraints:     666050
529.97/531.66	c bounds 388 >= 81 @ 524.333
602.57/604.45	c #Conflicts:      71000 | #Constraints:     667084
602.57/604.45	c #Conflicts:      72000 | #Constraints:     668084
602.57/604.45	c INPROCESSING
602.57/604.45	c GARBAGE COLLECT
602.57/604.45	c #Conflicts:      73000 | #Constraints:     663637
602.57/604.45	c #Conflicts:      74000 | #Constraints:     664637
602.57/604.45	c #Conflicts:      75000 | #Constraints:     665637
602.57/604.45	c bounds 388 >= 82 @ 596.687
671.26/673.33	c #Conflicts:      76000 | #Constraints:     666673
671.26/673.33	c #Conflicts:      77000 | #Constraints:     667673
671.26/673.33	c #Conflicts:      78000 | #Constraints:     668673
671.26/673.33	c INPROCESSING
671.26/673.33	c GARBAGE COLLECT
671.26/673.33	c #Conflicts:      79000 | #Constraints:     664037
671.26/673.33	c #Conflicts:      80000 | #Constraints:     665053
671.26/673.33	c #Conflicts:      81000 | #Constraints:     666067
671.26/673.33	c #Conflicts:      82000 | #Constraints:     667082
671.26/673.33	c #Conflicts:      83000 | #Constraints:     668097
671.26/673.33	c bounds 387 >= 82 @ 664.951
677.64/679.70	c #Conflicts:      84000 | #Constraints:     669109
677.64/679.70	c INPROCESSING
677.64/679.70	c GARBAGE COLLECT
677.64/679.70	c rational objective 179.803
690.01/692.18	c #Conflicts:      85000 | #Constraints:     664247
690.01/692.18	c #Conflicts:      86000 | #Constraints:     665247
690.01/692.18	c #Conflicts:      87000 | #Constraints:     666247
690.01/692.18	c bounds 387 >= 83 @ 683.671
812.33/814.89	c #Conflicts:      88000 | #Constraints:     667298
812.33/814.89	c #Conflicts:      89000 | #Constraints:     668298
812.33/814.89	c #Conflicts:      90000 | #Constraints:     669298
812.33/814.89	c INPROCESSING
812.33/814.89	c GARBAGE COLLECT
812.33/814.89	c rational objective 179.803
832.67/835.29	c #Conflicts:      91000 | #Constraints:     664263
832.67/835.29	c #Conflicts:      92000 | #Constraints:     665264
832.67/835.29	c bounds 387 >= 84 @ 826.124
856.90/859.52	c #Conflicts:      93000 | #Constraints:     666315
856.90/859.52	c #Conflicts:      94000 | #Constraints:     667315
856.90/859.52	c #Conflicts:      95000 | #Constraints:     668315
856.90/859.52	c #Conflicts:      96000 | #Constraints:     669315
856.90/859.52	c INPROCESSING
856.90/859.52	c GARBAGE COLLECT
856.90/859.52	c rational objective 179.803
872.76/875.47	c #Conflicts:      97000 | #Constraints:     664086
872.76/875.47	c #Conflicts:      98000 | #Constraints:     665086
872.76/875.47	c #Conflicts:      99000 | #Constraints:     666086
872.76/875.47	c #Conflicts:     100000 | #Constraints:     667090
872.76/875.47	c bounds 387 >= 85 @ 866.104
1292.73/1296.67	c #Conflicts:     101000 | #Constraints:     668142
1292.73/1296.67	c #Conflicts:     102000 | #Constraints:     669142
1292.73/1296.67	c #Conflicts:     103000 | #Constraints:     670142
1292.73/1296.67	c INPROCESSING
1292.73/1296.67	c GARBAGE COLLECT
1292.73/1296.67	c #Conflicts:     104000 | #Constraints:     664702
1292.73/1296.67	c #Conflicts:     105000 | #Constraints:     665702
1292.73/1296.67	c #Conflicts:     106000 | #Constraints:     666702
1292.73/1296.67	c #Conflicts:     107000 | #Constraints:     667702
1292.73/1296.67	c #Conflicts:     108000 | #Constraints:     668702
1292.73/1296.67	c #Conflicts:     109000 | #Constraints:     669702
1292.73/1296.67	c #Conflicts:     110000 | #Constraints:     670702
1292.73/1296.67	c INPROCESSING
1292.73/1296.67	c GARBAGE COLLECT
1292.73/1296.67	c #Conflicts:     111000 | #Constraints:     665097
1292.73/1296.67	c #Conflicts:     112000 | #Constraints:     666097
1292.73/1296.67	c #Conflicts:     113000 | #Constraints:     667097
1292.73/1296.67	c #Conflicts:     114000 | #Constraints:     668097
1292.73/1296.67	c #Conflicts:     115000 | #Constraints:     669097
1292.73/1296.67	c #Conflicts:     116000 | #Constraints:     670097
1292.73/1296.67	c #Conflicts:     117000 | #Constraints:     671097
1292.73/1296.67	c INPROCESSING
1292.73/1296.67	c GARBAGE COLLECT
1292.73/1296.67	c rational objective 179.803
1332.41/1336.49	c #Conflicts:     118000 | #Constraints:     665285
1332.41/1336.49	c #Conflicts:     119000 | #Constraints:     666285
1332.41/1336.49	c #Conflicts:     120000 | #Constraints:     667285
1332.41/1336.49	c #Conflicts:     121000 | #Constraints:     668286
1332.41/1336.49	c #Conflicts:     122000 | #Constraints:     669286
1332.41/1336.49	c #Conflicts:     123000 | #Constraints:     670286
1332.41/1336.49	c #Conflicts:     124000 | #Constraints:     671286
1332.41/1336.49	c bounds 387 >= 86 @ 1324.75
1636.64/1641.50	c INPROCESSING
1636.64/1641.50	c GARBAGE COLLECT
1636.64/1641.50	c #Conflicts:     125000 | #Constraints:     665339
1636.64/1641.50	c #Conflicts:     126000 | #Constraints:     666339
1636.64/1641.50	c #Conflicts:     127000 | #Constraints:     667339
1636.64/1641.50	c #Conflicts:     128000 | #Constraints:     668340
1636.64/1641.50	c #Conflicts:     129000 | #Constraints:     669340
1636.64/1641.50	c #Conflicts:     130000 | #Constraints:     670340
1636.64/1641.50	c #Conflicts:     131000 | #Constraints:     671340
1636.64/1641.50	c INPROCESSING
1636.64/1641.50	c GARBAGE COLLECT
1636.64/1641.50	c #Conflicts:     132000 | #Constraints:     665119
1636.64/1641.50	c #Conflicts:     133000 | #Constraints:     666119
1636.64/1641.50	c #Conflicts:     134000 | #Constraints:     667119
1636.64/1641.50	c #Conflicts:     135000 | #Constraints:     668121
1636.64/1641.50	c #Conflicts:     136000 | #Constraints:     669121
1636.64/1641.50	c #Conflicts:     137000 | #Constraints:     670121
1636.64/1641.50	c #Conflicts:     138000 | #Constraints:     671121
1636.64/1641.50	c #Conflicts:     139000 | #Constraints:     672121
1636.64/1641.50	c INPROCESSING
1636.64/1641.50	c GARBAGE COLLECT
1636.64/1641.50	c #Conflicts:     140000 | #Constraints:     665714
1636.64/1641.50	c #Conflicts:     141000 | #Constraints:     666714
1636.64/1641.50	c #Conflicts:     142000 | #Constraints:     667714
1636.64/1641.50	c #Conflicts:     143000 | #Constraints:     668714
1636.64/1641.50	c #Conflicts:     144000 | #Constraints:     669714
1636.64/1641.50	c #Conflicts:     145000 | #Constraints:     670714
1636.64/1641.50	c #Conflicts:     146000 | #Constraints:     671714
1636.64/1641.50	c #Conflicts:     147000 | #Constraints:     672714
1636.64/1641.50	c INPROCESSING
1636.64/1641.50	c GARBAGE COLLECT
1636.64/1641.50	c #Conflicts:     148000 | #Constraints:     666136
1636.64/1641.50	c #Conflicts:     149000 | #Constraints:     667136
1636.64/1641.50	c #Conflicts:     150000 | #Constraints:     668137
1636.64/1641.50	c #Conflicts:     151000 | #Constraints:     669137
1636.64/1641.50	c #Conflicts:     152000 | #Constraints:     670137
1636.64/1641.50	c #Conflicts:     153000 | #Constraints:     671137
1636.64/1641.50	c bounds 387 >= 87 @ 1627.77
1704.24/1709.38	c #Conflicts:     154000 | #Constraints:     672207
1704.24/1709.38	c #Conflicts:     155000 | #Constraints:     673207
1704.24/1709.38	c INPROCESSING
1704.24/1709.38	c GARBAGE COLLECT
1704.24/1709.38	c #Conflicts:     156000 | #Constraints:     666375
1704.24/1709.38	c #Conflicts:     157000 | #Constraints:     667375
1704.24/1709.38	c #Conflicts:     158000 | #Constraints:     668375
1704.24/1709.38	c #Conflicts:     159000 | #Constraints:     669376
1704.24/1709.38	c #Conflicts:     160000 | #Constraints:     670377
1704.24/1709.38	c #Conflicts:     161000 | #Constraints:     671377
1704.24/1709.38	c #Conflicts:     162000 | #Constraints:     672377
1704.24/1709.38	c #Conflicts:     163000 | #Constraints:     673377
1704.24/1709.38	c INPROCESSING
1704.24/1709.38	c GARBAGE COLLECT
1704.24/1709.38	c rational objective 179.803
1802.06/1807.44	c #Conflicts:     164000 | #Constraints:     666347
1802.06/1807.44	c #Conflicts:     165000 | #Constraints:     667349
1802.06/1807.44	c #Conflicts:     166000 | #Constraints:     668349
1802.06/1807.44	c #Conflicts:     167000 | #Constraints:     669349
1802.06/1807.44	c #Conflicts:     168000 | #Constraints:     670349
1802.06/1807.44	c #Conflicts:     169000 | #Constraints:     671351
1802.06/1807.44	c #Conflicts:     170000 | #Constraints:     672352
1802.06/1807.44	c #Conflicts:     171000 | #Constraints:     673352
1802.06/1807.44	c INPROCESSING
1802.06/1807.44	c GARBAGE COLLECT
1802.06/1807.44	c rational objective 179.803
1985.24/1991.14	c #Conflicts:     172000 | #Constraints:     666154
1985.24/1991.14	c #Conflicts:     173000 | #Constraints:     667154
1985.24/1991.14	c #Conflicts:     174000 | #Constraints:     668154
1985.24/1991.14	c #Conflicts:     175000 | #Constraints:     669154
1985.24/1991.14	c #Conflicts:     176000 | #Constraints:     670154
1985.24/1991.14	c #Conflicts:     177000 | #Constraints:     671155
1985.24/1991.14	c #Conflicts:     178000 | #Constraints:     672155
1985.24/1991.14	c #Conflicts:     179000 | #Constraints:     673155
1985.24/1991.14	c #Conflicts:     180000 | #Constraints:     674155
1985.24/1991.14	c INPROCESSING
1985.24/1991.14	c GARBAGE COLLECT
1985.24/1991.14	c rational objective 179.803
2037.38/2043.49	c #Conflicts:     181000 | #Constraints:     666738
2037.38/2043.49	c #Conflicts:     182000 | #Constraints:     667738
2037.38/2043.49	c #Conflicts:     183000 | #Constraints:     668738
2037.38/2043.49	c #Conflicts:     184000 | #Constraints:     669739
2037.38/2043.49	c #Conflicts:     185000 | #Constraints:     670739
2037.38/2043.49	c #Conflicts:     186000 | #Constraints:     671739
2037.38/2043.49	c #Conflicts:     187000 | #Constraints:     672739
2037.38/2043.49	c #Conflicts:     188000 | #Constraints:     673739
2037.38/2043.49	c #Conflicts:     189000 | #Constraints:     674739
2037.38/2043.49	c INPROCESSING
2037.38/2043.49	c GARBAGE COLLECT
2037.38/2043.49	c rational objective 179.803
2041.47/2047.58	c bounds 386 >= 87 @ 2031.29
2041.47/2047.59	c bounds 385 >= 87 @ 2031.3
2041.67/2047.75	c bounds 383 >= 87 @ 2031.45
2450.41/2457.84	c #Conflicts:     190000 | #Constraints:     667149
2450.41/2457.84	c #Conflicts:     191000 | #Constraints:     668166
2450.41/2457.84	c #Conflicts:     192000 | #Constraints:     669287
2450.41/2457.84	c #Conflicts:     193000 | #Constraints:     670437
2450.41/2457.84	c #Conflicts:     194000 | #Constraints:     671544
2450.41/2457.84	c #Conflicts:     195000 | #Constraints:     672637
2450.41/2457.84	c #Conflicts:     196000 | #Constraints:     673800
2450.41/2457.84	c #Conflicts:     197000 | #Constraints:     675002
2450.41/2457.84	c #Conflicts:     198000 | #Constraints:     676139
2450.41/2457.84	c INPROCESSING
2450.41/2457.84	c GARBAGE COLLECT
2450.41/2457.84	c #Conflicts:     199000 | #Constraints:     667887
2450.41/2457.84	c #Conflicts:     200000 | #Constraints:     668887
2450.41/2457.84	c #Conflicts:     201000 | #Constraints:     669887
2450.41/2457.84	c #Conflicts:     202000 | #Constraints:     670887
2450.41/2457.84	c #Conflicts:     203000 | #Constraints:     671887
2450.41/2457.84	c #Conflicts:     204000 | #Constraints:     672888
2450.41/2457.84	c #Conflicts:     205000 | #Constraints:     673888
2450.41/2457.84	c #Conflicts:     206000 | #Constraints:     674888
2450.41/2457.84	c #Conflicts:     207000 | #Constraints:     675889
2450.41/2457.84	c INPROCESSING
2450.41/2457.84	c GARBAGE COLLECT
2450.41/2457.84	c #Conflicts:     208000 | #Constraints:     667629
2450.41/2457.84	c #Conflicts:     209000 | #Constraints:     668629
2450.41/2457.84	c #Conflicts:     210000 | #Constraints:     669629
2450.41/2457.84	c #Conflicts:     211000 | #Constraints:     670629
2450.41/2457.84	c #Conflicts:     212000 | #Constraints:     671629
2450.41/2457.84	c bounds 383 >= 88 @ 2439.58
2617.43/2625.49	c #Conflicts:     213000 | #Constraints:     672683
2617.43/2625.49	c #Conflicts:     214000 | #Constraints:     673683
2617.43/2625.49	c #Conflicts:     215000 | #Constraints:     674683
2617.43/2625.49	c #Conflicts:     216000 | #Constraints:     675683
2617.43/2625.49	c INPROCESSING
2617.43/2625.49	c GARBAGE COLLECT
2617.43/2625.49	c rational objective 179.803
2750.38/2758.89	c #Conflicts:     217000 | #Constraints:     667332
2750.38/2758.89	c #Conflicts:     218000 | #Constraints:     668333
2750.38/2758.89	c #Conflicts:     219000 | #Constraints:     669333
2750.38/2758.89	c #Conflicts:     220000 | #Constraints:     670333
2750.38/2758.89	c #Conflicts:     221000 | #Constraints:     671333
2750.38/2758.89	c #Conflicts:     222000 | #Constraints:     672336
2750.38/2758.89	c #Conflicts:     223000 | #Constraints:     673337
2750.38/2758.89	c #Conflicts:     224000 | #Constraints:     674337
2750.38/2758.89	c #Conflicts:     225000 | #Constraints:     675337
2750.38/2758.89	c #Conflicts:     226000 | #Constraints:     676338
2750.38/2758.89	c INPROCESSING
2750.38/2758.89	c GARBAGE COLLECT
2750.38/2758.89	c #Conflicts:     227000 | #Constraints:     667839
2750.38/2758.89	c #Conflicts:     228000 | #Constraints:     668839
2750.38/2758.89	c #Conflicts:     229000 | #Constraints:     669839
2750.38/2758.89	c #Conflicts:     230000 | #Constraints:     670842
2750.38/2758.89	c #Conflicts:     231000 | #Constraints:     671843
2750.38/2758.89	c #Conflicts:     232000 | #Constraints:     672844
2750.38/2758.89	c #Conflicts:     233000 | #Constraints:     673844
2750.38/2758.89	c #Conflicts:     234000 | #Constraints:     674844
2750.38/2758.89	c #Conflicts:     235000 | #Constraints:     675845
2750.38/2758.89	c #Conflicts:     236000 | #Constraints:     676845
2750.38/2758.89	c INPROCESSING
2750.38/2758.89	c GARBAGE COLLECT
2750.38/2758.89	c rational objective 179.803
2821.94/2830.60	c #Conflicts:     237000 | #Constraints:     668216
2821.94/2830.60	c #Conflicts:     238000 | #Constraints:     669216
2821.94/2830.60	c #Conflicts:     239000 | #Constraints:     670217
2821.94/2830.60	c #Conflicts:     240000 | #Constraints:     671219
2821.94/2830.60	c #Conflicts:     241000 | #Constraints:     672219
2821.94/2830.60	c #Conflicts:     242000 | #Constraints:     673219
2821.94/2830.60	c #Conflicts:     243000 | #Constraints:     674220
2821.94/2830.60	c #Conflicts:     244000 | #Constraints:     675221
2821.94/2830.60	c #Conflicts:     245000 | #Constraints:     676221
2821.94/2830.60	c #Conflicts:     246000 | #Constraints:     677221
2821.94/2830.60	c INPROCESSING
2821.94/2830.60	c GARBAGE COLLECT
2821.94/2830.60	c rational objective 179.803
3004.33/3013.64	c #Conflicts:     247000 | #Constraints:     668407
3004.33/3013.64	c #Conflicts:     248000 | #Constraints:     669407
3004.33/3013.64	c #Conflicts:     249000 | #Constraints:     670408
3004.33/3013.64	c #Conflicts:     250000 | #Constraints:     671408
3004.33/3013.64	c #Conflicts:     251000 | #Constraints:     672408
3004.33/3013.64	c #Conflicts:     252000 | #Constraints:     673408
3004.33/3013.64	c #Conflicts:     253000 | #Constraints:     674410
3004.33/3013.64	c #Conflicts:     254000 | #Constraints:     675411
3004.33/3013.64	c #Conflicts:     255000 | #Constraints:     676412
3004.33/3013.64	c #Conflicts:     256000 | #Constraints:     677413
3004.33/3013.64	c INPROCESSING
3004.33/3013.64	c GARBAGE COLLECT
3004.33/3013.64	c #Conflicts:     257000 | #Constraints:     668395
3004.33/3013.64	c #Conflicts:     258000 | #Constraints:     669395
3004.33/3013.64	c #Conflicts:     259000 | #Constraints:     670395
3004.33/3013.64	c #Conflicts:     260000 | #Constraints:     671395
3004.33/3013.64	c #Conflicts:     261000 | #Constraints:     672395
3004.33/3013.64	c #Conflicts:     262000 | #Constraints:     673397
3004.33/3013.64	c #Conflicts:     263000 | #Constraints:     674399
3004.33/3013.64	c #Conflicts:     264000 | #Constraints:     675402
3004.33/3013.64	c #Conflicts:     265000 | #Constraints:     676402
3004.33/3013.64	c #Conflicts:     266000 | #Constraints:     677402
3004.33/3013.64	c INPROCESSING
3004.33/3013.64	c GARBAGE COLLECT
3004.33/3013.64	c rational objective 179.803
3087.66/3097.26	c #Conflicts:     267000 | #Constraints:     668208
3087.66/3097.26	c #Conflicts:     268000 | #Constraints:     669208
3087.66/3097.26	c #Conflicts:     269000 | #Constraints:     670208
3087.66/3097.26	c #Conflicts:     270000 | #Constraints:     671208
3087.66/3097.26	c #Conflicts:     271000 | #Constraints:     672208
3087.66/3097.26	c #Conflicts:     272000 | #Constraints:     673208
3087.66/3097.26	c #Conflicts:     273000 | #Constraints:     674209
3087.66/3097.26	c #Conflicts:     274000 | #Constraints:     675209
3087.66/3097.26	c #Conflicts:     275000 | #Constraints:     676209
3087.66/3097.26	c #Conflicts:     276000 | #Constraints:     677209
3087.66/3097.26	c #Conflicts:     277000 | #Constraints:     678209
3087.66/3097.26	c INPROCESSING
3087.66/3097.26	c GARBAGE COLLECT
3087.66/3097.26	c rational objective 179.803

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 (63258 MiB free)
  memory of node 1: 64465 MiB (63835 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100094 s]*
/proc/loadavg: 4.06 4.08 4.18 5/255 47158
/proc/meminfo: memFree=130011240/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47158] ppid=47156 vsize=157532 memory=137704 CPUtime=0.09 cores=5,7
/proc/47158/stat : 47158 (pbsuma) R 47156 47156 46718 0 -1 4194304 2045 0 0 0 5 4 0 0 20 0 1 0 51084192 161312768 34426 18446744073709551615 4210688 4653049 140735719019616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37355520 140735719020899 140735719021106 140735719021106 140735719026671 0
/proc/47158/statm: 39383 34426 928 108 0 36791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161724 KiB
Current children cumulated memory: 140776 KiB

[startup+0.210246 s]*
/proc/loadavg: 4.06 4.08 4.18 5/255 47158
/proc/meminfo: memFree=130003176/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47158] ppid=47156 vsize=165224 memory=148068 CPUtime=0.19 cores=5,7
/proc/47158/stat : 47158 (pbsuma) R 47156 47156 46718 0 -1 4194304 4372 0 0 0 14 5 0 0 20 0 1 0 51084192 169189376 37017 18446744073709551615 4210688 4653049 140735719019616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37355520 140735719020899 140735719021106 140735719021106 140735719026671 0
/proc/47158/statm: 41306 37017 928 108 0 38714 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 169416 KiB
Current children cumulated memory: 151140 KiB

[startup+0.310254 s]*
/proc/loadavg: 4.06 4.08 4.18 5/255 47158
/proc/meminfo: memFree=129991772/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47158] ppid=47156 vsize=170696 memory=155264 CPUtime=0.29 cores=5,7
/proc/47158/stat : 47158 (pbsuma) R 47156 47156 46718 0 -1 4194304 6233 0 0 0 23 6 0 0 20 0 1 0 51084192 174792704 38816 18446744073709551615 4210688 4653049 140735719019616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37355520 140735719020899 140735719021106 140735719021106 140735719026671 0
/proc/47158/statm: 42674 38816 928 108 0 40082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174888 KiB
Current children cumulated memory: 158336 KiB

[startup+0.700423 s]
/proc/loadavg: 4.13 4.10 4.19 5/255 47158
/proc/meminfo: memFree=129976084/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47158] ppid=47156 vsize=202952 memory=189720 CPUtime=0.67 cores=5,7
/proc/47158/stat : 47158 (pbsuma) R 47156 47156 46718 0 -1 4194304 14147 0 0 0 56 11 0 0 20 0 1 0 51084192 207822848 47398 18446744073709551615 4210688 4653049 140735719019616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37355520 140735719020899 140735719021106 140735719021106 140735719026671 0
/proc/47158/statm: 50738 47430 928 108 0 48146 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 207144 KiB
Current children cumulated memory: 192792 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.10 4.19 5/255 47158
/proc/meminfo: memFree=129882832/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.11283 s]
/proc/loadavg: 4.13 4.10 4.19 5/255 47159
/proc/meminfo: memFree=130007696/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=185056 memory=122304 CPUtime=1.58 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 18718 0 0 0 113 45 0 0 20 0 1 0 51084341 189497344 30576 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 46264 30576 2208 1147 0 33691 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 189248 KiB
Current children cumulated memory: 125376 KiB

[startup+6.30034 s]
/proc/loadavg: 4.12 4.09 4.19 5/255 47159
/proc/meminfo: memFree=129346700/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=913988 memory=655784 CPUtime=4.77 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 48733 0 0 0 405 72 0 0 20 0 1 0 51084341 935923712 163946 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 228497 163946 2336 1147 0 215924 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 918180 KiB
Current children cumulated memory: 658856 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.09 4.18 5/255 47159
/proc/meminfo: memFree=129298452/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1099356 memory=792036 CPUtime=11.15 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 52279 0 0 0 1019 96 0 0 20 0 1 0 51084341 1125740544 198009 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 274839 198009 2400 1147 0 262266 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1103548 KiB
Current children cumulated memory: 795108 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.09 4.18 5/255 47159
/proc/meminfo: memFree=129153800/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1192036 memory=877344 CPUtime=23.91 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 59547 0 0 0 2253 138 0 0 20 0 1 0 51084341 1220644864 219336 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 298009 219336 2400 1147 0 285436 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1196228 KiB
Current children cumulated memory: 880416 KiB

[startup+51.1131 s]
/proc/loadavg: 4.13 4.10 4.18 5/255 47159
/proc/meminfo: memFree=129019664/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1299392 memory=967500 CPUtime=49.45 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 65766 0 0 0 4786 159 0 0 20 0 1 0 51084341 1330577408 241875 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 324848 241875 2400 1147 0 312275 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1303584 KiB
Current children cumulated memory: 970572 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.18 5/255 47161
/proc/meminfo: memFree=128868168/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1334804 memory=1021240 CPUtime=100.49 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 69911 0 0 0 9846 203 0 0 20 0 1 0 51084341 1366839296 255310 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 333701 255310 2400 1147 0 321128 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1338996 KiB
Current children cumulated memory: 1024312 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.17 5/255 47163
/proc/meminfo: memFree=128451288/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1715612 memory=1368744 CPUtime=160.31 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 127320 0 0 0 15767 264 0 0 20 0 1 0 51084341 1756786688 342186 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 428903 342186 2400 1147 0 416330 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1719804 KiB
Current children cumulated memory: 1371816 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.17 5/255 47165
/proc/meminfo: memFree=128330944/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=1735632 memory=1406344 CPUtime=220.13 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 131346 0 0 0 21730 283 0 0 20 0 1 0 51084341 1777287168 351586 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 433908 351586 2400 1147 0 421335 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1739824 KiB
Current children cumulated memory: 1409416 KiB


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

/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2826716 memory=2422900 CPUtime=3210.86 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 336446 0 0 0 319891 1195 0 0 20 0 1 0 51084341 2894557184 605725 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 706679 605725 2496 1147 0 694106 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 2830908 KiB
Current children cumulated memory: 2425972 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 47316
/proc/meminfo: memFree=126347672/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2826716 memory=2422900 CPUtime=3270.65 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 336600 0 0 0 325867 1198 0 0 20 0 1 0 51084341 2894557184 605725 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 706679 605725 2496 1147 0 694106 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 2830908 KiB
Current children cumulated memory: 2425972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 47318
/proc/meminfo: memFree=126347336/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2826716 memory=2422900 CPUtime=3330.45 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 336603 0 0 0 331847 1198 0 0 20 0 1 0 51084341 2894557184 605725 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 706679 605725 2496 1147 0 694106 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 2830908 KiB
Current children cumulated memory: 2425972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 47321
/proc/meminfo: memFree=126347000/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2826716 memory=2422900 CPUtime=3390.25 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 336605 0 0 0 337826 1199 0 0 20 0 1 0 51084341 2894557184 605725 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 706679 605725 2496 1147 0 694106 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 2830908 KiB
Current children cumulated memory: 2425972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 47325
/proc/meminfo: memFree=126308972/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2835028 memory=2448156 CPUtime=3450.05 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 340974 0 0 0 343790 1215 0 0 20 0 1 0 51084341 2903068672 612039 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 708757 612039 2496 1147 0 696184 0
Current children cumulated CPU time: 3451.52 s
Current children cumulated vsize: 2839220 KiB
Current children cumulated memory: 2451228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.71 4.27 4.15 5/254 47331
/proc/meminfo: memFree=126323100/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2816572 memory=2429700 CPUtime=3509.85 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 345679 0 0 0 349742 1243 0 0 20 0 1 0 51084341 2884169728 607425 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 704143 607425 2496 1147 0 691570 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 2820764 KiB
Current children cumulated memory: 2432772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.26 4.16 5/254 47333
/proc/meminfo: memFree=126314760/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2857632 memory=2459288 CPUtime=3569.62 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 345931 0 0 0 355715 1247 0 0 20 0 1 0 51084341 2926215168 614822 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 714408 614822 2496 1147 0 701835 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 2861824 KiB
Current children cumulated memory: 2462360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.26 4.24 4.15 5/242 47421
/proc/meminfo: memFree=127669196/131382120 swapFree=33010160/33010684
[pid=47156] ppid=47153 vsize=4192 memory=3072 CPUtime=1.47 cores=5,7
/proc/47156/stat : 47156 (run-opt-break.s) S 47153 47156 46718 0 -1 4194304 238 29916 0 0 0 0 128 19 20 0 1 0 51084191 4292608 768 18446744073709551615 94042515234816 94042516129349 140726881171008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94042516368400 94042516416144 94042518532096 140726881175905 140726881176034 140726881176034 140726881181636 0
/proc/47156/statm: 1048 768 704 219 0 110 0
[pid=47159] ppid=47156 vsize=2857632 memory=2459288 CPUtime=3598.61 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47156 47156 46718 0 -1 4194304 345996 0 0 0 358611 1250 0 0 20 0 1 0 51084341 2926215168 614822 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 714408 614822 2496 1147 0 701835 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2861824 KiB
Current children cumulated memory: 2462360 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.24 4.23 4.15 6/254 47473
/proc/meminfo: memFree=127316800/131382120 swapFree=33010160/33010684
[pid=47159] ppid=47153 vsize=2857632 memory=2459288 CPUtime=3600 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47153 47156 46718 0 -1 4194304 345996 0 0 0 358750 1250 0 0 20 0 1 0 51084341 2926215168 614822 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 714408 614822 2496 1147 0 701835 0
Current cumulated CPU time of completed processes: 1.48617 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2857632 KiB
Current children cumulated memory: 2459288 KiB

[startup+3613.2 s]
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=126864748/131382120 swapFree=33010160/33010684
[pid=47159] ppid=47153 vsize=2857632 memory=2459288 CPUtime=3600.4 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47153 47156 46718 0 -1 4194304 345996 0 0 0 358790 1250 0 0 20 0 1 0 51084341 2926215168 614822 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 714408 614822 2496 1147 0 701835 0
Current cumulated CPU time of completed processes: 1.48617 s
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 2857632 KiB
Current children cumulated memory: 2459288 KiB

[startup+3613.4 s]
/proc/loadavg: 4.24 4.23 4.15 5/254 47473
/proc/meminfo: memFree=126864748/131382120 swapFree=33010160/33010684
[pid=47159] ppid=47153 vsize=2857632 memory=2459288 CPUtime=3600.6 cores=5,7
/proc/47159/stat : 47159 (roundingsat) R 47153 47156 46718 0 -1 4194304 345996 0 0 0 358810 1250 0 0 20 0 1 0 51084341 2926215168 614822 18446744073709551615 4227072 8923433 140724937770928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 10428416 140724937779556 140724937779752 140724937779752 140724937785322 0
/proc/47159/statm: 714408 614822 2496 1147 0 701835 0
Current cumulated CPU time of completed processes: 1.48617 s
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 2857632 KiB
Current children cumulated memory: 2459288 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.41
CPU time (s): 3602.1
CPU user time (s): 3589.4
CPU system time (s): 12.7081
CPU usage (%): 99.6872
Max. virtual memory (cumulated for all children) (KiB): 2910004
Max. memory (cumulated for all children) (KiB): 2521332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.4
system time used= 12.7081
maximum resident set size= 2518260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376150
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= 270
involuntary context switches= 20013


# summary of solver processes directly reported to runsolver:
#   pid: 47156,47159
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3589.4
#   total CPU system time (s): 12.7081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2437 second user time and 35.9339 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-01 09:14:11
IDJOB=4489464
IDBENCH=147551
IDSOLVER=3359
FILE ID=nodeC008/4489464-1751354050
RUNJOBID= nodeC008-1751350438-46731
SLURM_JOB_ID= 9598137
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=118702966

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		: 1795.825
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		: 1895.547
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.476
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		: 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 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		: 1795.806
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		: 1197.189
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		: 3700.000
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		: 1796.315
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:        130144516 kB
MemAvailable:   129923380 kB
Buffers:            2144 kB
Cached:           588692 kB
SwapCached:           16 kB
Active:           321884 kB
Inactive:         371088 kB
Active(anon):      83444 kB
Inactive(anon):    36636 kB
Active(file):     238440 kB
Inactive(file):   334452 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46756 kB
Writeback:             4 kB
AnonPages:        105452 kB
Mapped:           116620 kB
Shmem:             17920 kB
KReclaimable:      91200 kB
Slab:             173880 kB
SReclaimable:      91200 kB
SUnreclaim:        82680 kB
KernelStack:        4096 kB
PageTables:         3340 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     438820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 432916 MiB
End job on nodeC008 at 2025-07-01 10:14:24