Trace number 4523840

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adOPT9 517.136 518.63

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
MD5SUM1376b7e36587a728493ace6af4c57a8e
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 benchmark9
Best CPU time to get the best result obtained on this benchmark231.564
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1294
Total number of constraints1091
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 785
Biggest coefficient in the objective function 7345
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 59444
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 7345
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 59444
Number of bits of the biggest sum of numbers16
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-4523840-1751590495.opb'
0.09/0.12	c 	read 3.20MB  (106.33ms)
0.09/0.12	c	 [cnf: #variables 1294 #clauses 1092 #duplicates 0 #arr 398427]
0.09/0.12	c 
0.09/0.12	c make graph and approximate orbits
0.09/0.15	c	 [group: #orbits ~= 0] (33.73ms)
0.09/0.15	c 
0.09/0.15	c detect special group actions
0.09/0.15	c 	probe for Johnson action (limit=64)
0.09/0.15	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.15	c 	probe for row symmetry (limit=64, splits=16.78M)
0.09/0.15	c 	 (0.53ms)
0.09/0.15	c 
0.09/0.15	c detect symmetries on remainder
0.09/0.15	c 	[graph: #vertices 8074 #edges 808230]
0.09/0.16	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.16	c 	 [group: #symmetries 1.00*10^0 #generators 0] (5.61ms)
0.09/0.16	c 
0.09/0.16	c finalize break order and special generators
0.09/0.16	c 
0.09/0.16	c generation finished
0.09/0.16	c 	[sbp: #constraints 0 #add_vars 0]
0.09/0.16	c 
0.09/0.16	c write result to 'HOME/instance-4523840-1751590495.opb.pre'
0.09/0.18	c 	wrote 3.20MB (16.87ms)
0.09/0.18	c ------------------------------------------------------------------
0.09/0.18	c                 106.33ms 64.99% parse
0.09/0.18	c                  33.73ms 20.61% approx_orbits
0.09/0.18	c                  16.87ms 10.31% output
0.09/0.18	c                   5.61ms  3.43% detect_generic
0.09/0.18	c                   0.53ms  0.32% detect_special
0.09/0.18	c                   0.42ms  0.26% other
0.09/0.18	c                   0.11ms  0.07% finalize_order
0.09/0.18	c         ───────────────────────────────────────────────
0.09/0.18	c                 163.60ms   100% total
0.09/0.18	c ------------------------------------------------------------------
0.09/0.19	c RoundingSat 2
0.09/0.19	c branch pb25
0.09/0.19	c commit 63f22ad
0.37/0.52	c #variables 1294 #constraints 1092
0.37/0.52	c objective is ce32 
11.04/11.17	c initial watched  CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
11.04/11.17	c initial counting CF 32, 64, 128, Arb: 1086 , 0 , 0 , 0
11.04/11.17	c bounds 12209 >= -7345 @ 10.9193
11.12/11.26	c rational objective 0
12.72/12.81	c bounds 12154 >= -7345 @ 12.529
12.72/12.88	c bounds 11003 >= -7345 @ 12.5998
12.72/12.88	c bounds 10933 >= -7345 @ 12.6026
12.72/12.89	c bounds 10870 >= -7345 @ 12.6051
12.72/12.89	c bounds 10857 >= -7345 @ 12.6076
12.72/12.89	c bounds 10800 >= -7345 @ 12.6101
12.81/12.90	c bounds 10743 >= -7345 @ 12.6147
12.81/12.91	c bounds 10733 >= -7345 @ 12.621
12.81/12.91	c bounds 10726 >= -7345 @ 12.6248
12.81/12.91	c bounds 10722 >= -7345 @ 12.6297
12.81/12.92	c bounds 10596 >= -7345 @ 12.6333
12.81/12.92	c bounds 10588 >= -7345 @ 12.6402
12.81/12.94	c bounds 10575 >= -7345 @ 12.6531
12.81/12.94	c bounds 10451 >= -7345 @ 12.6547
12.81/12.95	c bounds 10392 >= -7345 @ 12.6572
12.81/12.95	c bounds 10316 >= -7345 @ 12.6606
12.81/12.95	c bounds 10269 >= -7345 @ 12.664
12.81/12.96	c bounds 10217 >= -7345 @ 12.6665
12.81/12.96	c bounds 10147 >= -7345 @ 12.6699
12.81/12.96	c bounds 10073 >= -7345 @ 12.6734
12.81/12.97	c bounds 10026 >= -7345 @ 12.6769
12.81/12.97	c bounds 9976 >= -7345 @ 12.6804
12.81/12.97	c bounds 9906 >= -7345 @ 12.6839
12.81/12.98	c bounds 9787 >= -7345 @ 12.6874
12.81/12.99	c bounds 9775 >= -7345 @ 12.696
12.81/12.99	c bounds 9657 >= -7345 @ 12.6986
12.81/12.99	c bounds 9602 >= -7345 @ 12.7021
12.81/13.00	c bounds 9485 >= -7345 @ 12.7056
12.81/13.00	c bounds 9462 >= -7345 @ 12.709
12.81/13.00	c bounds 9455 >= -7345 @ 12.7115
12.81/13.01	c bounds 9438 >= -7345 @ 12.714
12.92/13.03	c bounds 9377 >= -7345 @ 12.7379
12.92/13.04	c bounds 9265 >= -7345 @ 12.7404
12.92/13.04	c bounds 9246 >= -7345 @ 12.743
12.92/13.04	c bounds 9213 >= -7345 @ 12.7464
12.92/13.05	c bounds 8985 >= -7345 @ 12.75
12.92/13.05	c bounds 8928 >= -7345 @ 12.7535
12.92/13.05	c bounds 8589 >= -7345 @ 12.757
12.92/13.06	c bounds 8583 >= -7345 @ 12.7595
12.92/13.06	c bounds 8359 >= -7345 @ 12.763
12.92/13.06	c bounds 8336 >= -7345 @ 12.7665
12.92/13.07	c bounds 8330 >= -7345 @ 12.7701
12.92/13.07	c bounds 8289 >= -7345 @ 12.7726
12.92/13.07	c bounds 8268 >= -7345 @ 12.7741
12.92/13.08	c bounds 8261 >= -7345 @ 12.7776
12.92/13.08	c bounds 8226 >= -7345 @ 12.7801
12.92/13.09	c bounds 8222 >= -7345 @ 12.7806
12.92/13.09	c bounds 8114 >= -7345 @ 12.7842
12.92/13.09	c bounds 8102 >= -7345 @ 12.7876
12.92/13.10	c bounds 8078 >= -7345 @ 12.7902
12.92/13.10	c bounds 8073 >= -7345 @ 12.7937
12.92/13.10	c bounds 8054 >= -7345 @ 12.7972
12.92/13.11	c bounds 8013 >= -7345 @ 12.8007
13.03/13.11	c bounds 7908 >= -7345 @ 12.8042
13.03/13.11	c bounds 7904 >= -7345 @ 12.8077
13.03/13.12	c bounds 7850 >= -7345 @ 12.8102
13.03/13.12	c bounds 7798 >= -7345 @ 12.8127
13.03/13.12	c bounds 7741 >= -7345 @ 12.8162
13.03/13.13	c bounds 7648 >= -7345 @ 12.8196
13.03/13.13	c bounds 7583 >= -7345 @ 12.8231
13.03/13.13	c bounds 7574 >= -7345 @ 12.8256
13.03/13.14	c bounds 7473 >= -7345 @ 12.829
13.03/13.14	c bounds 7456 >= -7345 @ 12.8324
13.03/13.15	c bounds 7356 >= -7345 @ 12.8359
13.03/13.15	c bounds 7336 >= -7345 @ 12.8374
13.03/13.15	c bounds 7138 >= -7345 @ 12.8399
13.03/13.16	c bounds 7059 >= -7345 @ 12.8433
13.03/13.16	c bounds 7013 >= -7345 @ 12.8458
13.03/13.16	c bounds 6972 >= -7345 @ 12.8483
13.03/13.17	c bounds 6875 >= -7345 @ 12.8518
13.03/13.17	c bounds 6837 >= -7345 @ 12.8552
13.03/13.17	c bounds 6822 >= -7345 @ 12.8586
13.03/13.18	c bounds 6757 >= -7345 @ 12.8611
13.03/13.18	c bounds 6662 >= -7345 @ 12.8635
13.03/13.18	c bounds 6608 >= -7345 @ 12.866
13.03/13.19	c bounds 6514 >= -7345 @ 12.8684
13.03/13.19	c bounds 6461 >= -7345 @ 12.8718
13.03/13.19	c bounds 6368 >= -7345 @ 12.8744
13.11/13.20	c bounds 6321 >= -7345 @ 12.8778
13.11/13.20	c bounds 6137 >= -7345 @ 12.8813
13.11/13.20	c bounds 6085 >= -7345 @ 12.8847
13.11/13.21	c bounds 5903 >= -7345 @ 12.8882
13.11/13.21	c bounds 5867 >= -7345 @ 12.8907
13.11/13.21	c bounds 5854 >= -7345 @ 12.8931
13.11/13.22	c bounds 5676 >= -7345 @ 12.8965
13.11/13.22	c bounds 5671 >= -7345 @ 12.8999
13.11/13.22	c bounds 5643 >= -7345 @ 12.9024
13.11/13.23	c bounds 5642 >= -7345 @ 12.9057
13.11/13.23	c bounds 5555 >= -7345 @ 12.9082
13.11/13.23	c bounds 5508 >= -7345 @ 12.9106
13.11/13.24	c bounds 5450 >= -7345 @ 12.914
13.11/13.24	c bounds 5364 >= -7345 @ 12.9175
13.11/13.25	c bounds 5279 >= -7345 @ 12.92
13.11/13.25	c bounds 5217 >= -7345 @ 12.9234
13.11/13.25	c bounds 5133 >= -7345 @ 12.9249
13.11/13.26	c bounds 5052 >= -7345 @ 12.9274
13.11/13.26	c bounds 4886 >= -7345 @ 12.9299
13.11/13.26	c bounds 4827 >= -7345 @ 12.9333
13.11/13.27	c bounds 4803 >= -7345 @ 12.9358
13.11/13.27	c bounds 4785 >= -7345 @ 12.9392
13.11/13.27	c bounds 4725 >= -7345 @ 12.9416
13.11/13.28	c bounds 4715 >= -7345 @ 12.944
13.11/13.28	c bounds 4635 >= -7345 @ 12.9465
13.11/13.28	c bounds 4568 >= -7345 @ 12.95
13.11/13.29	c bounds 4523 >= -7345 @ 12.9533
13.11/13.29	c bounds 4520 >= -7345 @ 12.9567
13.11/13.29	c bounds 4442 >= -7345 @ 12.9603
13.21/13.30	c bounds 4387 >= -7345 @ 12.9628
13.21/13.30	c bounds 4310 >= -7345 @ 12.9653
13.21/13.30	c bounds 4309 >= -7345 @ 12.9677
13.21/13.31	c bounds 4233 >= -7345 @ 12.9702
13.21/13.31	c bounds 4220 >= -7345 @ 12.9717
13.21/13.31	c bounds 4218 >= -7345 @ 12.9751
13.21/13.32	c bounds 4144 >= -7345 @ 12.9785
13.21/13.32	c bounds 4086 >= -7345 @ 12.982
13.21/13.32	c bounds 4038 >= -7345 @ 12.9855
13.21/13.33	c bounds 3892 >= -7345 @ 12.988
13.21/13.33	c bounds 3861 >= -7345 @ 12.9904
13.21/13.34	c bounds 3814 >= -7345 @ 12.9939
13.21/13.34	c bounds 3796 >= -7345 @ 12.9973
13.21/13.34	c bounds 3725 >= -7345 @ 12.9998
13.21/13.35	c bounds 3697 >= -7345 @ 13.0022
13.21/13.35	c bounds 3690 >= -7345 @ 13.0047
13.21/13.35	c bounds 3669 >= -7345 @ 13.0071
13.21/13.36	c bounds 3654 >= -7345 @ 13.0105
13.21/13.36	c bounds 3601 >= -7345 @ 13.0133
13.21/13.36	c bounds 3571 >= -7345 @ 13.0169
13.21/13.37	c bounds 3524 >= -7345 @ 13.0203
13.21/13.37	c bounds 3498 >= -7345 @ 13.0238
13.21/13.37	c bounds 3439 >= -7345 @ 13.0262
13.21/13.38	c bounds 3408 >= -7345 @ 13.0287
13.21/13.38	c bounds 3363 >= -7345 @ 13.0321
13.21/13.38	c bounds 3298 >= -7345 @ 13.0356
13.21/13.39	c bounds 3249 >= -7345 @ 13.039
13.21/13.39	c bounds 3196 >= -7345 @ 13.0425
13.21/13.39	c bounds 3171 >= -7345 @ 13.0458
13.31/13.40	c bounds 3157 >= -7345 @ 13.0483
13.31/13.40	c bounds 3116 >= -7345 @ 13.0516
13.31/13.40	c bounds 3054 >= -7345 @ 13.0551
13.31/13.41	c bounds 3051 >= -7345 @ 13.0584
13.31/13.42	c bounds 2920 >= -7345 @ 13.0667
13.31/13.42	c bounds 2910 >= -7345 @ 13.0705
13.31/13.43	c bounds 2891 >= -7345 @ 13.0746
13.31/13.43	c bounds 2831 >= -7345 @ 13.0781
13.31/13.43	c bounds 2808 >= -7345 @ 13.0815
13.31/13.44	c bounds 2769 >= -7345 @ 13.0862
13.31/13.44	c bounds 2756 >= -7345 @ 13.0918
13.31/13.45	c bounds 2466 >= -7345 @ 13.0944
13.31/13.45	c bounds 2460 >= -7345 @ 13.0978
13.31/13.49	c bounds 2422 >= -7345 @ 13.1305
13.31/13.49	c bounds 2386 >= -7345 @ 13.1334
13.31/13.49	c bounds 2383 >= -7345 @ 13.1367
13.42/13.50	c bounds 2332 >= -7345 @ 13.1396
13.42/13.50	c bounds 2176 >= -7345 @ 13.1421
13.42/13.50	c bounds 2174 >= -7345 @ 13.1435
13.42/13.52	c bounds 2101 >= -7345 @ 13.1563
13.42/13.52	c bounds 2095 >= -7345 @ 13.1594
13.42/13.56	c bounds 2063 >= -7345 @ 13.1913
13.42/13.56	c bounds 1869 >= -7345 @ 13.1957
13.42/13.56	c bounds 1797 >= -7345 @ 13.199
13.42/13.57	c bounds 1753 >= -7345 @ 13.2015
13.42/13.58	c bounds 1608 >= -7345 @ 13.2102
13.42/13.58	c bounds 1575 >= -7345 @ 13.2137
13.52/13.60	c bounds 1573 >= -7345 @ 13.2318
13.52/13.60	c bounds 1531 >= -7345 @ 13.2364
13.82/13.91	c bounds 1513 >= -7345 @ 13.5458
13.82/13.92	c bounds 1449 >= -7345 @ 13.5511
13.82/13.92	c bounds 1278 >= -7345 @ 13.5538
13.82/13.93	c bounds 1267 >= -7345 @ 13.5574
13.82/13.95	c bounds 1253 >= -7345 @ 13.5812
13.82/13.96	c bounds 1210 >= -7345 @ 13.5858
13.82/13.96	c bounds 1120 >= -7345 @ 13.5895
13.82/13.97	c bounds 1080 >= -7345 @ 13.5932
13.82/13.97	c bounds 1039 >= -7345 @ 13.6011
13.92/14.01	c bounds 977 >= -7345 @ 13.6408
13.92/14.03	c bounds 941 >= -7345 @ 13.6587
13.92/14.06	c bounds 831 >= -7345 @ 13.6882
14.02/14.11	c bounds 820 >= -7345 @ 13.7351
14.02/14.11	c bounds 744 >= -7345 @ 13.7389
14.02/14.12	c bounds 730 >= -7345 @ 13.7425
14.02/14.12	c bounds 656 >= -7345 @ 13.7463
14.02/14.13	c bounds 636 >= -7345 @ 13.7532
14.02/14.16	c bounds 602 >= -7345 @ 13.7809
14.22/14.39	c bounds 582 >= -7345 @ 14.007
14.32/14.45	c bounds 567 >= -7345 @ 14.0663
14.32/14.45	c bounds 556 >= -7345 @ 14.0705
14.32/14.45	c bounds 523 >= -7345 @ 14.0744
14.32/14.47	c bounds 487 >= -7345 @ 14.0857
14.32/14.49	c bounds 459 >= -7345 @ 14.1093
14.41/14.56	c bounds 448 >= -7345 @ 14.1769
14.41/14.56	c bounds 435 >= -7345 @ 14.1821
14.41/14.59	c bounds 417 >= -7345 @ 14.203
14.51/14.60	c bounds 407 >= -7345 @ 14.2156
14.51/14.60	c bounds 380 >= -7345 @ 14.2185
14.51/14.61	c bounds 361 >= -7345 @ 14.2223
14.51/14.61	c bounds 345 >= -7345 @ 14.2261
14.51/14.61	c bounds 332 >= -7345 @ 14.2299
14.51/14.62	c bounds 282 >= -7345 @ 14.2338
14.51/14.62	c bounds 263 >= -7345 @ 14.238
14.51/14.63	c bounds 255 >= -7345 @ 14.2463
14.51/14.64	c bounds 250 >= -7345 @ 14.2501
14.51/14.64	c bounds 227 >= -7345 @ 14.253
14.51/14.64	c bounds 220 >= -7345 @ 14.2567
14.51/14.69	c bounds 188 >= -7345 @ 14.2985
14.51/14.69	c bounds 187 >= -7345 @ 14.3046
14.61/14.70	c bounds 176 >= -7345 @ 14.3161
14.61/14.73	c bounds 168 >= -7345 @ 14.3446
14.61/14.74	c bounds 158 >= -7345 @ 14.3527
14.61/14.75	c bounds 139 >= -7345 @ 14.3557
14.81/14.90	c bounds 131 >= -7345 @ 14.5044
14.81/14.90	c bounds 107 >= -7345 @ 14.5076
16.31/16.42	c #Conflicts:       1000 | #Constraints:       2313
16.31/16.42	c bounds 101 >= -7345 @ 16.0041
16.41/16.54	c #Conflicts:       2000 | #Constraints:       3314
16.41/16.54	c INPROCESSING
16.41/16.54	c GARBAGE COLLECT
16.41/16.54	c rational objective 0
17.92/18.09	c bounds 97 >= -7345 @ 17.6665
18.30/18.42	c bounds 78 >= -7345 @ 17.9903
19.60/19.77	c bounds 68 >= -7345 @ 19.3264
22.59/22.76	c #Conflicts:       3000 | #Constraints:       3087
22.59/22.76	c #Conflicts:       4000 | #Constraints:       4093
22.59/22.76	c INPROCESSING
22.59/22.76	c GARBAGE COLLECT
22.59/22.76	c #Conflicts:       5000 | #Constraints:       3382
22.59/22.76	c #Conflicts:       6000 | #Constraints:       4402
22.59/22.76	c INPROCESSING
22.59/22.76	c GARBAGE COLLECT
22.59/22.76	c rational objective 0
24.38/24.57	c bounds 66 >= -7345 @ 24.0651
24.48/24.68	c bounds 57 >= -7345 @ 24.1745
24.68/24.82	c #Conflicts:       7000 | #Constraints:       3452
24.68/24.82	c bounds 56 >= -7345 @ 24.3149
25.28/25.42	c bounds 55 >= -7345 @ 24.9095
25.28/25.43	c bounds 52 >= -7345 @ 24.9162
25.48/25.61	c bounds 48 >= -7345 @ 25.0995
27.57/27.78	c #Conflicts:       8000 | #Constraints:       4499
27.57/27.78	c #Conflicts:       9000 | #Constraints:       5556
27.57/27.78	c INPROCESSING
27.57/27.78	c GARBAGE COLLECT
27.57/27.78	c rational objective 0
29.67/29.87	c bounds 46 >= -7345 @ 29.3095
32.76/33.01	c #Conflicts:      10000 | #Constraints:       4108
32.76/33.01	c #Conflicts:      11000 | #Constraints:       5121
32.76/33.01	c bounds 44 >= -7345 @ 32.423
32.87/33.02	c bounds 37 >= -7345 @ 32.4334
32.97/33.12	c #Conflicts:      12000 | #Constraints:       6125
32.97/33.12	c INPROCESSING
32.97/33.12	c GARBAGE COLLECT
32.97/33.12	c rational objective 0
36.25/36.47	c #Conflicts:      13000 | #Constraints:       4706
36.25/36.47	c #Conflicts:      14000 | #Constraints:       5710
36.25/36.47	c #Conflicts:      15000 | #Constraints:       6724
36.25/36.47	c INPROCESSING
36.25/36.47	c GARBAGE COLLECT
36.25/36.47	c rational objective 0
39.74/39.90	c #Conflicts:      16000 | #Constraints:       4976
39.74/39.90	c #Conflicts:      17000 | #Constraints:       5977
39.74/39.90	c #Conflicts:      18000 | #Constraints:       6977
39.74/39.90	c INPROCESSING
39.74/39.90	c GARBAGE COLLECT
39.74/39.90	c rational objective 0
42.95/43.16	c #Conflicts:      19000 | #Constraints:       4951
42.95/43.16	c #Conflicts:      20000 | #Constraints:       5951
42.95/43.16	c bounds 31 >= -7345 @ 42.4574
43.84/44.01	c #Conflicts:      21000 | #Constraints:       6952
43.84/44.01	c INPROCESSING
43.84/44.01	c GARBAGE COLLECT
43.84/44.01	c rational objective 0
47.32/47.56	c #Conflicts:      22000 | #Constraints:       4716
47.32/47.56	c #Conflicts:      23000 | #Constraints:       5716
47.32/47.56	c #Conflicts:      24000 | #Constraints:       6716
47.32/47.56	c #Conflicts:      25000 | #Constraints:       7717
47.32/47.56	c INPROCESSING
47.32/47.56	c GARBAGE COLLECT
47.32/47.56	c rational objective 0
48.32/48.52	c bounds 28 >= -7345 @ 47.7464
48.52/48.75	c bounds 27 >= -7345 @ 47.9746
51.92/52.16	c #Conflicts:      26000 | #Constraints:       5269
51.92/52.16	c #Conflicts:      27000 | #Constraints:       6269
51.92/52.16	c bounds 24 >= -7345 @ 51.3445
62.68/62.95	c #Conflicts:      28000 | #Constraints:       7273
62.68/62.95	c #Conflicts:      29000 | #Constraints:       8292
62.68/62.95	c INPROCESSING
62.68/62.95	c GARBAGE COLLECT
62.68/62.95	c #Conflicts:      30000 | #Constraints:       5555
62.68/62.95	c #Conflicts:      31000 | #Constraints:       6556
62.68/62.95	c #Conflicts:      32000 | #Constraints:       7559
62.68/62.95	c #Conflicts:      33000 | #Constraints:       8575
62.68/62.95	c INPROCESSING
62.68/62.95	c GARBAGE COLLECT
62.68/62.95	c #Conflicts:      34000 | #Constraints:       5730
62.68/62.95	c #Conflicts:      35000 | #Constraints:       6731
62.68/62.95	c bounds 21 >= -7345 @ 62.0024
70.06/70.37	c #Conflicts:      36000 | #Constraints:       7733
70.06/70.37	c #Conflicts:      37000 | #Constraints:       8872
70.06/70.37	c INPROCESSING
70.06/70.37	c GARBAGE COLLECT
70.06/70.37	c #Conflicts:      38000 | #Constraints:       5923
70.06/70.37	c #Conflicts:      39000 | #Constraints:       6923
70.06/70.37	c #Conflicts:      40000 | #Constraints:       7923
70.06/70.37	c #Conflicts:      41000 | #Constraints:       8924
70.06/70.37	c INPROCESSING
70.06/70.37	c GARBAGE COLLECT
70.06/70.37	c #Conflicts:      42000 | #Constraints:       5736
70.06/70.37	c bounds 17 >= -7345 @ 69.3301
76.04/76.39	c #Conflicts:      43000 | #Constraints:       6752
76.04/76.39	c #Conflicts:      44000 | #Constraints:       8134
76.04/76.39	c #Conflicts:      45000 | #Constraints:       9508
76.04/76.39	c #Conflicts:      46000 | #Constraints:      10508
76.04/76.39	c INPROCESSING
76.04/76.39	c GARBAGE COLLECT
76.04/76.39	c rational objective 0
86.51/86.85	c #Conflicts:      47000 | #Constraints:       6669
86.51/86.85	c #Conflicts:      48000 | #Constraints:       7678
86.51/86.85	c #Conflicts:      49000 | #Constraints:       8707
86.51/86.85	c #Conflicts:      50000 | #Constraints:       9773
86.51/86.85	c #Conflicts:      51000 | #Constraints:      10781
86.51/86.85	c INPROCESSING
86.51/86.85	c GARBAGE COLLECT
86.51/86.85	c rational objective 0
93.09/93.43	c #Conflicts:      52000 | #Constraints:       6927
93.09/93.43	c #Conflicts:      53000 | #Constraints:       8144
93.09/93.43	c #Conflicts:      54000 | #Constraints:       9147
93.09/93.43	c #Conflicts:      55000 | #Constraints:      10167
93.09/93.43	c #Conflicts:      56000 | #Constraints:      11325
93.09/93.43	c INPROCESSING
93.09/93.43	c GARBAGE COLLECT
93.09/93.43	c rational objective 0
98.38/98.80	c #Conflicts:      57000 | #Constraints:       7198
98.38/98.80	c #Conflicts:      58000 | #Constraints:       8198
98.38/98.80	c #Conflicts:      59000 | #Constraints:       9198
98.38/98.80	c #Conflicts:      60000 | #Constraints:      10199
98.38/98.80	c #Conflicts:      61000 | #Constraints:      11199
98.38/98.80	c INPROCESSING
98.38/98.80	c GARBAGE COLLECT
98.38/98.80	c rational objective 0
110.25/110.61	c #Conflicts:      62000 | #Constraints:       7045
110.25/110.61	c #Conflicts:      63000 | #Constraints:       8045
110.25/110.61	c #Conflicts:      64000 | #Constraints:       9454
110.25/110.61	c #Conflicts:      65000 | #Constraints:      10582
110.25/110.61	c #Conflicts:      66000 | #Constraints:      11669
110.25/110.61	c INPROCESSING
110.25/110.61	c GARBAGE COLLECT
110.25/110.61	c rational objective 0
124.72/125.12	c #Conflicts:      67000 | #Constraints:       7084
124.72/125.12	c #Conflicts:      68000 | #Constraints:       8084
124.72/125.12	c #Conflicts:      69000 | #Constraints:       9111
124.72/125.12	c #Conflicts:      70000 | #Constraints:      10111
124.72/125.12	c #Conflicts:      71000 | #Constraints:      11112
124.72/125.12	c #Conflicts:      72000 | #Constraints:      12117
124.72/125.12	c INPROCESSING
124.72/125.12	c GARBAGE COLLECT
124.72/125.12	c #Conflicts:      73000 | #Constraints:       7487
124.72/125.12	c #Conflicts:      74000 | #Constraints:       8488
124.72/125.12	c #Conflicts:      75000 | #Constraints:       9660
124.72/125.12	c #Conflicts:      76000 | #Constraints:      10798
124.72/125.12	c #Conflicts:      77000 | #Constraints:      11801
124.72/125.12	c #Conflicts:      78000 | #Constraints:      12810
124.72/125.12	c INPROCESSING
124.72/125.12	c GARBAGE COLLECT
124.72/125.12	c rational objective 0
134.48/134.93	c #Conflicts:      79000 | #Constraints:       7939
134.48/134.93	c #Conflicts:      80000 | #Constraints:       8939
134.48/134.93	c #Conflicts:      81000 | #Constraints:       9940
134.48/134.93	c #Conflicts:      82000 | #Constraints:      11112
134.48/134.93	c #Conflicts:      83000 | #Constraints:      12199
134.48/134.93	c #Conflicts:      84000 | #Constraints:      13225
134.48/134.93	c INPROCESSING
134.48/134.93	c GARBAGE COLLECT
134.48/134.93	c rational objective 0
153.02/153.54	c #Conflicts:      85000 | #Constraints:       8155
153.02/153.54	c #Conflicts:      86000 | #Constraints:       9159
153.02/153.54	c #Conflicts:      87000 | #Constraints:      10167
153.02/153.54	c #Conflicts:      88000 | #Constraints:      11168
153.02/153.54	c #Conflicts:      89000 | #Constraints:      12174
153.02/153.54	c #Conflicts:      90000 | #Constraints:      13174
153.02/153.54	c INPROCESSING
153.02/153.54	c GARBAGE COLLECT
153.02/153.54	c #Conflicts:      91000 | #Constraints:       8049
153.02/153.54	c #Conflicts:      92000 | #Constraints:       9130
153.02/153.54	c #Conflicts:      93000 | #Constraints:      10178
153.02/153.54	c #Conflicts:      94000 | #Constraints:      11264
153.02/153.54	c #Conflicts:      95000 | #Constraints:      12484
153.02/153.54	c #Conflicts:      96000 | #Constraints:      13914
153.02/153.54	c INPROCESSING
153.02/153.54	c GARBAGE COLLECT
153.02/153.54	c rational objective 0
157.53/158.10	c #Conflicts:      97000 | #Constraints:       8404
157.53/158.10	c #Conflicts:      98000 | #Constraints:       9411
157.53/158.10	c #Conflicts:      99000 | #Constraints:      10419
157.53/158.10	c #Conflicts:     100000 | #Constraints:      11423
157.53/158.10	c #Conflicts:     101000 | #Constraints:      12440
157.53/158.10	c #Conflicts:     102000 | #Constraints:      13447
157.53/158.10	c #Conflicts:     103000 | #Constraints:      14448
157.53/158.10	c INPROCESSING
157.53/158.10	c GARBAGE COLLECT
157.53/158.10	c rational objective 0
163.70/164.29	c #Conflicts:     104000 | #Constraints:       8650
163.70/164.29	c #Conflicts:     105000 | #Constraints:       9653
163.70/164.29	c #Conflicts:     106000 | #Constraints:      10653
163.70/164.29	c #Conflicts:     107000 | #Constraints:      11655
163.70/164.29	c #Conflicts:     108000 | #Constraints:      12655
163.70/164.29	c #Conflicts:     109000 | #Constraints:      13658
163.70/164.29	c #Conflicts:     110000 | #Constraints:      14659
163.70/164.29	c INPROCESSING
163.70/164.29	c GARBAGE COLLECT
163.70/164.29	c rational objective 0
177.36/177.96	c #Conflicts:     111000 | #Constraints:       8826
177.36/177.96	c #Conflicts:     112000 | #Constraints:       9826
177.36/177.96	c #Conflicts:     113000 | #Constraints:      10891
177.36/177.96	c #Conflicts:     114000 | #Constraints:      11939
177.36/177.96	c #Conflicts:     115000 | #Constraints:      12945
177.36/177.96	c #Conflicts:     116000 | #Constraints:      13948
177.36/177.96	c #Conflicts:     117000 | #Constraints:      14960
177.36/177.96	c INPROCESSING
177.36/177.96	c GARBAGE COLLECT
177.36/177.96	c rational objective 0
182.75/183.34	c #Conflicts:     118000 | #Constraints:       9046
182.75/183.34	c #Conflicts:     119000 | #Constraints:      10062
182.75/183.34	c #Conflicts:     120000 | #Constraints:      11067
182.75/183.34	c #Conflicts:     121000 | #Constraints:      12069
182.75/183.34	c #Conflicts:     122000 | #Constraints:      13073
182.75/183.34	c #Conflicts:     123000 | #Constraints:      14074
182.75/183.34	c #Conflicts:     124000 | #Constraints:      15077
182.75/183.34	c INPROCESSING
182.75/183.34	c GARBAGE COLLECT
182.75/183.34	c rational objective 0
192.22/192.87	c #Conflicts:     125000 | #Constraints:       9012
192.22/192.87	c #Conflicts:     126000 | #Constraints:      10046
192.22/192.87	c #Conflicts:     127000 | #Constraints:      11046
192.22/192.87	c #Conflicts:     128000 | #Constraints:      12047
192.22/192.87	c #Conflicts:     129000 | #Constraints:      13050
192.22/192.87	c #Conflicts:     130000 | #Constraints:      14054
192.22/192.87	c #Conflicts:     131000 | #Constraints:      15054
192.22/192.87	c INPROCESSING
192.22/192.87	c GARBAGE COLLECT
192.22/192.87	c rational objective 0
208.49/209.16	c #Conflicts:     132000 | #Constraints:       8735
208.49/209.16	c #Conflicts:     133000 | #Constraints:       9735
208.49/209.16	c #Conflicts:     134000 | #Constraints:      10764
208.49/209.16	c #Conflicts:     135000 | #Constraints:      11785
208.49/209.16	c #Conflicts:     136000 | #Constraints:      12809
208.49/209.16	c #Conflicts:     137000 | #Constraints:      13898
208.49/209.16	c #Conflicts:     138000 | #Constraints:      15089
208.49/209.16	c #Conflicts:     139000 | #Constraints:      16170
208.49/209.16	c INPROCESSING
208.49/209.16	c GARBAGE COLLECT
208.49/209.16	c rational objective 0
219.24/219.93	c #Conflicts:     140000 | #Constraints:       9581
219.24/219.93	c #Conflicts:     141000 | #Constraints:      10585
219.24/219.93	c #Conflicts:     142000 | #Constraints:      11587
219.24/219.93	c #Conflicts:     143000 | #Constraints:      12733
219.24/219.93	c #Conflicts:     144000 | #Constraints:      14215
219.24/219.93	c #Conflicts:     145000 | #Constraints:      15729
219.24/219.93	c #Conflicts:     146000 | #Constraints:      17235
219.24/219.93	c #Conflicts:     147000 | #Constraints:      18756
219.24/219.93	c INPROCESSING
219.24/219.93	c GARBAGE COLLECT
219.24/219.93	c rational objective 1.11022e-16
231.32/232.09	c #Conflicts:     148000 | #Constraints:      10957
231.32/232.09	c #Conflicts:     149000 | #Constraints:      11963
231.32/232.09	c #Conflicts:     150000 | #Constraints:      13055
231.32/232.09	c #Conflicts:     151000 | #Constraints:      14091
231.32/232.09	c #Conflicts:     152000 | #Constraints:      15093
231.32/232.09	c #Conflicts:     153000 | #Constraints:      16104
231.32/232.09	c #Conflicts:     154000 | #Constraints:      17117
231.32/232.09	c #Conflicts:     155000 | #Constraints:      18121
231.32/232.09	c INPROCESSING
231.32/232.09	c GARBAGE COLLECT
231.32/232.09	c rational objective 0
247.76/248.56	c #Conflicts:     156000 | #Constraints:      10593
247.76/248.56	c #Conflicts:     157000 | #Constraints:      11642
247.76/248.56	c #Conflicts:     158000 | #Constraints:      12765
247.76/248.56	c #Conflicts:     159000 | #Constraints:      13799
247.76/248.56	c #Conflicts:     160000 | #Constraints:      14823
247.76/248.56	c #Conflicts:     161000 | #Constraints:      15845
247.76/248.56	c #Conflicts:     162000 | #Constraints:      17171
247.76/248.56	c #Conflicts:     163000 | #Constraints:      18179
247.76/248.56	c INPROCESSING
247.76/248.56	c GARBAGE COLLECT
247.76/248.56	c rational objective 0
253.84/254.67	c #Conflicts:     164000 | #Constraints:      10508
253.84/254.67	c #Conflicts:     165000 | #Constraints:      11512
253.84/254.67	c #Conflicts:     166000 | #Constraints:      12515
253.84/254.67	c #Conflicts:     167000 | #Constraints:      13516
253.84/254.67	c #Conflicts:     168000 | #Constraints:      14516
253.84/254.67	c #Conflicts:     169000 | #Constraints:      15517
253.84/254.67	c #Conflicts:     170000 | #Constraints:      16517
253.84/254.67	c #Conflicts:     171000 | #Constraints:      17519
253.84/254.67	c INPROCESSING
253.84/254.67	c GARBAGE COLLECT
253.84/254.67	c rational objective 0
270.20/271.05	c #Conflicts:     172000 | #Constraints:       9960
270.20/271.05	c #Conflicts:     173000 | #Constraints:      10965
270.20/271.05	c #Conflicts:     174000 | #Constraints:      12186
270.20/271.05	c #Conflicts:     175000 | #Constraints:      13541
270.20/271.05	c #Conflicts:     176000 | #Constraints:      14558
270.20/271.05	c #Conflicts:     177000 | #Constraints:      15584
270.20/271.05	c #Conflicts:     178000 | #Constraints:      16634
270.20/271.05	c #Conflicts:     179000 | #Constraints:      17637
270.20/271.05	c #Conflicts:     180000 | #Constraints:      18638
270.20/271.05	c INPROCESSING
270.20/271.05	c GARBAGE COLLECT
270.20/271.05	c rational objective 0
281.27/282.18	c #Conflicts:     181000 | #Constraints:      10759
281.27/282.18	c #Conflicts:     182000 | #Constraints:      11759
281.27/282.18	c #Conflicts:     183000 | #Constraints:      12759
281.27/282.18	c #Conflicts:     184000 | #Constraints:      13773
281.27/282.18	c #Conflicts:     185000 | #Constraints:      14894
281.27/282.18	c #Conflicts:     186000 | #Constraints:      15901
281.27/282.18	c #Conflicts:     187000 | #Constraints:      16923
281.27/282.18	c #Conflicts:     188000 | #Constraints:      17932
281.27/282.18	c #Conflicts:     189000 | #Constraints:      18939
281.27/282.18	c INPROCESSING
281.27/282.18	c GARBAGE COLLECT
281.27/282.18	c rational objective 0
286.35/287.26	c #Conflicts:     190000 | #Constraints:      11005
286.35/287.26	c #Conflicts:     191000 | #Constraints:      12029
286.35/287.26	c #Conflicts:     192000 | #Constraints:      13046
286.35/287.26	c #Conflicts:     193000 | #Constraints:      14061
286.35/287.26	c #Conflicts:     194000 | #Constraints:      15069
286.35/287.26	c #Conflicts:     195000 | #Constraints:      16074
286.35/287.26	c #Conflicts:     196000 | #Constraints:      17080
286.35/287.26	c #Conflicts:     197000 | #Constraints:      18086
286.35/287.26	c #Conflicts:     198000 | #Constraints:      19094
286.35/287.26	c INPROCESSING
286.35/287.26	c GARBAGE COLLECT
286.35/287.26	c rational objective 0
301.00/301.97	c #Conflicts:     199000 | #Constraints:      11087
301.00/301.97	c #Conflicts:     200000 | #Constraints:      12111
301.00/301.97	c #Conflicts:     201000 | #Constraints:      13111
301.00/301.97	c #Conflicts:     202000 | #Constraints:      14111
301.00/301.97	c #Conflicts:     203000 | #Constraints:      15290
301.00/301.97	c #Conflicts:     204000 | #Constraints:      16844
301.00/301.97	c #Conflicts:     205000 | #Constraints:      18366
301.00/301.97	c #Conflicts:     206000 | #Constraints:      19423
301.00/301.97	c #Conflicts:     207000 | #Constraints:      20441
301.00/301.97	c INPROCESSING
301.00/301.97	c GARBAGE COLLECT
301.00/301.97	c rational objective 0
316.85/317.85	c #Conflicts:     208000 | #Constraints:      11837
316.85/317.85	c #Conflicts:     209000 | #Constraints:      13349
316.85/317.85	c #Conflicts:     210000 | #Constraints:      14832
316.85/317.85	c #Conflicts:     211000 | #Constraints:      16315
316.85/317.85	c #Conflicts:     212000 | #Constraints:      17801
316.85/317.85	c #Conflicts:     213000 | #Constraints:      19275
316.85/317.85	c #Conflicts:     214000 | #Constraints:      20763
316.85/317.85	c #Conflicts:     215000 | #Constraints:      22254
316.85/317.85	c #Conflicts:     216000 | #Constraints:      23718
316.85/317.85	c INPROCESSING
316.85/317.85	c GARBAGE COLLECT
316.85/317.85	c rational objective 0
330.91/331.93	c #Conflicts:     217000 | #Constraints:      13239
330.91/331.93	c #Conflicts:     218000 | #Constraints:      14414
330.91/331.93	c #Conflicts:     219000 | #Constraints:      15652
330.91/331.93	c #Conflicts:     220000 | #Constraints:      16666
330.91/331.93	c #Conflicts:     221000 | #Constraints:      17686
330.91/331.93	c #Conflicts:     222000 | #Constraints:      18788
330.91/331.93	c #Conflicts:     223000 | #Constraints:      19853
330.91/331.93	c #Conflicts:     224000 | #Constraints:      21325
330.91/331.93	c #Conflicts:     225000 | #Constraints:      22844
330.91/331.93	c #Conflicts:     226000 | #Constraints:      24344
330.91/331.93	c INPROCESSING
330.91/331.93	c GARBAGE COLLECT
330.91/331.93	c rational objective 0
343.48/344.56	c #Conflicts:     227000 | #Constraints:      13672
343.48/344.56	c #Conflicts:     228000 | #Constraints:      14672
343.48/344.56	c #Conflicts:     229000 | #Constraints:      15673
343.48/344.56	c #Conflicts:     230000 | #Constraints:      16685
343.48/344.56	c #Conflicts:     231000 | #Constraints:      17693
343.48/344.56	c #Conflicts:     232000 | #Constraints:      18693
343.48/344.56	c #Conflicts:     233000 | #Constraints:      19693
343.48/344.56	c #Conflicts:     234000 | #Constraints:      20694
343.48/344.56	c bounds 16 >= -7345 @ 340.607
345.09/346.14	c #Conflicts:     235000 | #Constraints:      21698
345.09/346.14	c #Conflicts:     236000 | #Constraints:      22701
345.09/346.14	c INPROCESSING
345.09/346.14	c GARBAGE COLLECT
345.09/346.14	c rational objective 0
366.61/367.73	c #Conflicts:     237000 | #Constraints:      12857
366.61/367.73	c #Conflicts:     238000 | #Constraints:      13860
366.61/367.73	c #Conflicts:     239000 | #Constraints:      14870
366.61/367.73	c #Conflicts:     240000 | #Constraints:      15870
366.61/367.73	c #Conflicts:     241000 | #Constraints:      16870
366.61/367.73	c #Conflicts:     242000 | #Constraints:      17923
366.61/367.73	c #Conflicts:     243000 | #Constraints:      18930
366.61/367.73	c #Conflicts:     244000 | #Constraints:      19954
366.61/367.73	c #Conflicts:     245000 | #Constraints:      20955
366.61/367.73	c #Conflicts:     246000 | #Constraints:      21956
366.61/367.73	c INPROCESSING
366.61/367.73	c GARBAGE COLLECT
366.61/367.73	c #Conflicts:     247000 | #Constraints:      12466
366.61/367.73	c #Conflicts:     248000 | #Constraints:      13470
366.61/367.73	c #Conflicts:     249000 | #Constraints:      14518
366.61/367.73	c #Conflicts:     250000 | #Constraints:      15519
366.61/367.73	c #Conflicts:     251000 | #Constraints:      16519
366.61/367.73	c #Conflicts:     252000 | #Constraints:      17519
366.61/367.73	c bounds 15 >= -7345 @ 363.567
370.60/371.78	c #Conflicts:     253000 | #Constraints:      18601
370.60/371.78	c #Conflicts:     254000 | #Constraints:      19623
370.60/371.78	c #Conflicts:     255000 | #Constraints:      20629
370.60/371.78	c #Conflicts:     256000 | #Constraints:      21639
370.60/371.78	c INPROCESSING
370.60/371.78	c GARBAGE COLLECT
370.60/371.78	c rational objective 0
384.07/385.27	c #Conflicts:     257000 | #Constraints:      12232
384.07/385.27	c #Conflicts:     258000 | #Constraints:      13244
384.07/385.27	c #Conflicts:     259000 | #Constraints:      14247
384.07/385.27	c #Conflicts:     260000 | #Constraints:      15314
384.07/385.27	c #Conflicts:     261000 | #Constraints:      16424
384.07/385.27	c #Conflicts:     262000 | #Constraints:      17467
384.07/385.27	c #Conflicts:     263000 | #Constraints:      18467
384.07/385.27	c #Conflicts:     264000 | #Constraints:      19494
384.07/385.27	c #Conflicts:     265000 | #Constraints:      20497
384.07/385.27	c #Conflicts:     266000 | #Constraints:      21497
384.07/385.27	c INPROCESSING
384.07/385.27	c GARBAGE COLLECT
384.07/385.27	c rational objective 0
405.70/406.91	c #Conflicts:     267000 | #Constraints:      11975
405.70/406.91	c #Conflicts:     268000 | #Constraints:      13006
405.70/406.91	c #Conflicts:     269000 | #Constraints:      14099
405.70/406.91	c #Conflicts:     270000 | #Constraints:      15100
405.70/406.91	c #Conflicts:     271000 | #Constraints:      16142
405.70/406.91	c #Conflicts:     272000 | #Constraints:      17223
405.70/406.91	c #Conflicts:     273000 | #Constraints:      18223
405.70/406.91	c #Conflicts:     274000 | #Constraints:      19224
405.70/406.91	c #Conflicts:     275000 | #Constraints:      20251
405.70/406.91	c #Conflicts:     276000 | #Constraints:      21327
405.70/406.91	c #Conflicts:     277000 | #Constraints:      22338
405.70/406.91	c INPROCESSING
405.70/406.91	c GARBAGE COLLECT
405.70/406.91	c rational objective 0
417.47/418.70	c #Conflicts:     278000 | #Constraints:      12601
417.47/418.70	c #Conflicts:     279000 | #Constraints:      13611
417.47/418.70	c #Conflicts:     280000 | #Constraints:      14619
417.47/418.70	c #Conflicts:     281000 | #Constraints:      15632
417.47/418.70	c #Conflicts:     282000 | #Constraints:      16641
417.47/418.70	c #Conflicts:     283000 | #Constraints:      17733
417.47/418.70	c #Conflicts:     284000 | #Constraints:      18741
417.47/418.70	c #Conflicts:     285000 | #Constraints:      19741
417.47/418.70	c #Conflicts:     286000 | #Constraints:      20745
417.47/418.70	c #Conflicts:     287000 | #Constraints:      21747
417.47/418.70	c #Conflicts:     288000 | #Constraints:      22750
417.47/418.70	c INPROCESSING
417.47/418.70	c GARBAGE COLLECT
417.47/418.70	c rational objective 0
430.03/431.34	c #Conflicts:     289000 | #Constraints:      12886
430.03/431.34	c #Conflicts:     290000 | #Constraints:      13888
430.03/431.34	c #Conflicts:     291000 | #Constraints:      14894
430.03/431.34	c #Conflicts:     292000 | #Constraints:      15895
430.03/431.34	c #Conflicts:     293000 | #Constraints:      16898
430.03/431.34	c #Conflicts:     294000 | #Constraints:      17898
430.03/431.34	c #Conflicts:     295000 | #Constraints:      19025
430.03/431.34	c #Conflicts:     296000 | #Constraints:      20029
430.03/431.34	c #Conflicts:     297000 | #Constraints:      21043
430.03/431.34	c #Conflicts:     298000 | #Constraints:      22049
430.03/431.34	c #Conflicts:     299000 | #Constraints:      23079
430.03/431.34	c INPROCESSING
430.03/431.34	c GARBAGE COLLECT
430.03/431.34	c rational objective 0
438.41/439.77	c #Conflicts:     300000 | #Constraints:      13061
438.41/439.77	c #Conflicts:     301000 | #Constraints:      14068
438.41/439.77	c #Conflicts:     302000 | #Constraints:      15082
438.41/439.77	c #Conflicts:     303000 | #Constraints:      16084
438.41/439.77	c #Conflicts:     304000 | #Constraints:      17094
438.41/439.77	c #Conflicts:     305000 | #Constraints:      18124
438.41/439.77	c bounds 14 >= -7345 @ 434.868
440.30/441.61	c #Conflicts:     306000 | #Constraints:      19126
440.30/441.61	c bounds 13 >= -7345 @ 436.696
445.09/446.41	c #Conflicts:     307000 | #Constraints:      20130
445.09/446.41	c #Conflicts:     308000 | #Constraints:      21133
445.09/446.41	c #Conflicts:     309000 | #Constraints:      22133
445.09/446.41	c #Conflicts:     310000 | #Constraints:      23205
445.09/446.41	c INPROCESSING
445.09/446.41	c GARBAGE COLLECT
445.09/446.41	c rational objective 0
463.93/465.36	c #Conflicts:     311000 | #Constraints:      13022
463.93/465.36	c #Conflicts:     312000 | #Constraints:      14049
463.93/465.36	c #Conflicts:     313000 | #Constraints:      15053
463.93/465.36	c #Conflicts:     314000 | #Constraints:      16054
463.93/465.36	c #Conflicts:     315000 | #Constraints:      17057
463.93/465.36	c #Conflicts:     316000 | #Constraints:      18062
463.93/465.36	c #Conflicts:     317000 | #Constraints:      19249
463.93/465.36	c #Conflicts:     318000 | #Constraints:      20759
463.93/465.36	c #Conflicts:     319000 | #Constraints:      22292
463.93/465.36	c #Conflicts:     320000 | #Constraints:      23792
463.93/465.36	c #Conflicts:     321000 | #Constraints:      25097
463.93/465.36	c INPROCESSING
463.93/465.36	c GARBAGE COLLECT
463.93/465.36	c rational objective 0
483.58/485.10	c #Conflicts:     322000 | #Constraints:      13774
483.58/485.10	c #Conflicts:     323000 | #Constraints:      14775
483.58/485.10	c #Conflicts:     324000 | #Constraints:      16087
483.58/485.10	c #Conflicts:     325000 | #Constraints:      17574
483.58/485.10	c #Conflicts:     326000 | #Constraints:      19052
483.58/485.10	c #Conflicts:     327000 | #Constraints:      20540
483.58/485.10	c #Conflicts:     328000 | #Constraints:      21994
483.58/485.10	c #Conflicts:     329000 | #Constraints:      23502
483.58/485.10	c #Conflicts:     330000 | #Constraints:      24981
483.58/485.10	c #Conflicts:     331000 | #Constraints:      26466
483.58/485.10	c #Conflicts:     332000 | #Constraints:      27992
483.58/485.10	c #Conflicts:     333000 | #Constraints:      29467
483.58/485.10	c INPROCESSING
483.58/485.10	c GARBAGE COLLECT
483.58/485.10	c rational objective 0
511.29/512.86	c #Conflicts:     334000 | #Constraints:      16618
511.29/512.86	c #Conflicts:     335000 | #Constraints:      17928
511.29/512.86	c #Conflicts:     336000 | #Constraints:      18930
511.29/512.86	c #Conflicts:     337000 | #Constraints:      20037
511.29/512.86	c #Conflicts:     338000 | #Constraints:      21246
511.29/512.86	c #Conflicts:     339000 | #Constraints:      22540
511.29/512.86	c #Conflicts:     340000 | #Constraints:      24087
511.29/512.86	c #Conflicts:     341000 | #Constraints:      25674
511.29/512.86	c #Conflicts:     342000 | #Constraints:      27175
511.29/512.86	c #Conflicts:     343000 | #Constraints:      28631
511.29/512.86	c bounds 9 >= -7345 @ 507.253
517.08/518.62	c #Conflicts:     344000 | #Constraints:      29743
517.08/518.62	c #Conflicts:     345000 | #Constraints:      30901
517.08/518.62	c INPROCESSING
517.08/518.62	c GARBAGE COLLECT
517.08/518.62	c bounds 9 >= 9 @ 512.959
517.08/518.62	c cpu time 512.959 s
517.08/518.62	c deterministic time 15230607417 1.52e+10
517.08/518.62	c optimization time 10.6673 s
517.08/518.62	c total solve time 501.991 s
517.08/518.62	c core-guided solve time 278.906 s
517.08/518.62	c propagation time 246.7 s
517.08/518.62	c conflict analysis time 215.276 s
517.08/518.62	c propagations 29838283
517.08/518.62	c resolve steps 16096365
517.08/518.62	c decisions 997249
517.08/518.62	c conflicts 345228
517.08/518.62	c restarts 817
517.08/518.62	c inprocessing phases 50
517.08/518.62	c garbage collections 50 ,( 100.00 )
517.08/518.62	c input clauses 3 ,( 0.23 )
517.08/518.62	c input cardinalities 1 ,( 0.08 )
517.08/518.62	c input general constraints 1324 ,( 99.70 )
517.08/518.62	c input average constraint length 429.64
517.08/518.62	c input average constraint degree 7818.24
517.08/518.62	c learned clauses 257583 ,( 68.72 )
517.08/518.62	c learned cardinalities 18 ,( 0.00 )
517.08/518.62	c learned general constraints 117246 ,( 31.28 )
517.08/518.62	c learned average constraint length 167.83
517.08/518.62	c learned average constraint degree 66797682.66
517.08/518.62	c watched  CF 32, 64, 128, Arb: 27946 , 0 , 0 , 0
517.08/518.62	c counting CF 32, 64, 128, Arb: 90625 , 0 , 0 , 0
517.08/518.62	c watched   constraints 27946 ,( 23.57 ) 
517.08/518.62	c counting  constraints 90624 ,( 76.43 ) 
517.08/518.62	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 55145052 , 37411 , 1034522983 ,( 70562532 , 963960451 )
517.08/518.62	c gcd simplifications 42427
517.08/518.62	c detected cardinalities 6
517.08/518.62	c weakened non-implied lits 9262667
517.08/518.62	c weakened non-implying lits 139607
517.08/518.62	c original variables 1294
517.08/518.62	c clausal propagations 1035332
517.08/518.62	c cardinality propagations 11330
517.08/518.62	c watched propagations 520200
517.08/518.62	c counting propagations 27581717
517.08/518.62	c watch lookups 6096923648
517.08/518.62	c watch backjump lookups 0
517.08/518.62	c watch checks 1860846732
517.08/518.62	c propagation checks 4199185637
517.08/518.62	c constraint additions 3011262216
517.08/518.62	c trail pops 31179200
517.08/518.62	c formula constraints 1092
517.08/518.62	c learned constraints 344616
517.08/518.62	c bound constraints 236
517.08/518.62	c core-guided constraints 0
517.08/518.62	c encountered formula constraints 14227213
517.08/518.62	c encountered learned constraints 2112990
517.08/518.62	c encountered bound constraints 43512
517.08/518.62	c encountered core-guided constraints 0
517.08/518.62	c LP total time 180.089 s
517.08/518.62	c LP solve time 122.77 s
517.08/518.62	c LP constraints added 1754
517.08/518.62	c LP constraints removed 634
517.08/518.62	c LP pivots internal 344883
517.08/518.62	c LP pivots root 29568
517.08/518.62	c LP calls 37409
517.08/518.62	c LP optimalities 2947
517.08/518.62	c LP no pivot count 154
517.08/518.62	c LP infeasibilities 34405
517.08/518.62	c LP valid Farkas constraints 29519
517.08/518.62	c LP learned Farkas constraints 611
517.08/518.62	c LP basis resets 77
517.08/518.62	c LP cycling count 50
517.08/518.62	c LP singular count 3
517.08/518.62	c LP no primal count 0
517.08/518.62	c LP no farkas count 24
517.08/518.62	c LP other issue count 0
517.08/518.62	c LP Gomory cuts 101
517.08/518.62	c LP learned cuts 561
517.08/518.62	c LP deleted cuts 634
517.08/518.62	c LP encountered Gomory constraints 36
517.08/518.62	c LP encountered Farkas constraints 50366
517.08/518.62	c LP encountered learned Farkas constraints 6865
517.08/518.62	c CG auxiliary variables introduced 0
517.08/518.62	c CG solutions found 235
517.08/518.62	c CG cores constructed 0
517.08/518.62	c CG core cardinality constraints returned 0
517.08/518.62	c CG unit cores 0
517.08/518.62	c CG single cores 0
517.08/518.62	c CG blocks removed during cardinality reduction 0
517.08/518.62	c CG first core best 0
517.08/518.62	c CG decision core best 0
517.08/518.62	c CG core reduction tie 0
517.08/518.62	c CG core degree average 0.00
517.08/518.62	c CG core slack average 0.00
517.08/518.62	c CG core upper bound improvements 0
517.08/518.62	c STR number of successful calls 0
517.08/518.62	c STR number of unsuccessful calls 0
517.08/518.62	c STR number of inconclusive calls 0
517.08/518.62	c STR number of successful attempts 0
517.08/518.62	c STR number of unsuccessful attempts 0
517.08/518.62	c STR number of inconclusive attempts 0
517.08/518.62	c STR average degree increase per successful call inf
517.08/518.62	c STR average degree increase per successful attempt inf
517.08/518.62	c STR total number of conflicts for successful attempts 0
517.08/518.62	c STR total number of conflicts for unsuccessful attempts 0
517.08/518.62	c STR total number of conflicts for inconclusive attempts 0
517.08/518.62	c STR average number of conflicts per successful attempt inf
517.08/518.62	c STR average number of conflicts per unsuccessful attempt inf
517.08/518.62	c STR average number of conflicts per inconclusive attempt inf
517.08/518.62	c AVG.sumWPerc 59.00 
517.08/518.62	c bigint constraints 0 
517.08/518.62	o 9
517.08/518.62	s OPTIMUM FOUND
517.08/518.62	v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 x23 x24 -x25 x26 -x27 -x28 -x29 x30 x31 -x32 x33 x34 x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 x50 x51 x52 x53 x54 -x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 x108 x109 x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 -x136 x137 x138 -x139 -x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 x216 x217 -x218 x219 -x220 x221 -x222 x223 x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 x490 x491 x492 x493 x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 -x677 -x678 x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 x692 -x693 -x694 -x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 x799 x800 -x801 x802 x803 -x804 x805 x806 x807 x808 -x809 -x810 x811 x812 -x813 -x814 x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 x824 x825 x826 x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 -x876 x877 x878 x879 x880 -x881 -x882 x883 -x884 x885 x886 x887 -x888 x889 -x890 -x891 x892 x893 x894 x895 x896 -x897 -x898 x899 -x900 x901 x902 -x903 x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 x919 -x920 x921 -x922 x923 -x924 x925 -x926 -x927 -x928 x929 x930 x931 x932 -x933 x934 x935 x936 -x937 x938 x939 x940 x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 x950 x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 x970 x971 x972 x973 x974 -x975 -x976 x977 x978 x979 x980 x981 -x982 -x983 x984 x985 x986 x987 x988 x989 x990 x991 -x992 x993 -x994 x995 -x996 x997 -x998 x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 x1066 x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 x1077 x1078 x1079 -x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 -x1106 x1107 x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 x1118 -x1119 -x1120 x1121 x1122 x1123 -x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 -x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 x1151 x1152 -x1153 x1154 -x1155 x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 -x1196 x1197 x1198 -x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 x1221 -x1222 x1223 x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 x1233 -x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 x1256 x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 x1281 x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294

Verifier Data 

OK	9

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523840-1751590495/watcher-4523840-1751590495 -o /tmp/evaluation-result-4523840-1751590495/solver-4523840-1751590495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79129 --watchdog 3760 run-opt-ls.sh HOME/instance-4523840-1751590495.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=80901, runsolver pid=80898

[startup+0.100074 s]*
/proc/loadavg: 4.11 4.11 4.14 5/254 80903
/proc/meminfo: memFree=124770532/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80903] ppid=80901 vsize=19056 memory=11904 CPUtime=0.09 cores=0,2
/proc/80903/stat : 80903 (pbsuma) R 80901 80901 79119 0 -1 4194304 2827 0 0 0 9 0 0 0 20 0 1 0 74728329 19513344 2976 18446744073709551615 4210688 4653049 140724019933392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26902528 140724019935587 140724019935794 140724019935794 140724019941359 0
/proc/80903/statm: 4764 2976 960 108 0 2172 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23248 KiB
Current children cumulated memory: 14976 KiB

[startup+0.213725 s]*
/proc/loadavg: 4.11 4.11 4.14 5/254 80904
/proc/meminfo: memFree=124762240/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=57424 memory=12832 CPUtime=0.02 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 921 0 0 0 2 0 0 0 20 0 1 0 74728347 58802176 3208 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 14356 3208 1984 1147 0 1783 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 61616 KiB
Current children cumulated memory: 15904 KiB

[startup+0.313516 s]*
/proc/loadavg: 4.11 4.11 4.14 5/254 80904
/proc/meminfo: memFree=124762240/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=63428 memory=18720 CPUtime=0.13 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 2389 0 0 0 12 1 0 0 20 0 1 0 74728347 64950272 4680 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 15857 4680 1984 1147 0 3284 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67620 KiB
Current children cumulated memory: 21792 KiB

[startup+0.700415 s]
/proc/loadavg: 4.11 4.11 4.14 5/254 80904
/proc/meminfo: memFree=124746616/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=87464 memory=46108 CPUtime=0.5 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 8538 0 0 0 47 3 0 0 20 0 1 0 74728347 89563136 11527 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 21866 11527 2304 1147 0 9293 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49180 KiB

[startup+1.50043 s]
/proc/loadavg: 4.11 4.11 4.14 5/254 80904
/proc/meminfo: memFree=124739344/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=87464 memory=46108 CPUtime=1.3 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 8538 0 0 0 127 3 0 0 20 0 1 0 74728347 89563136 11527 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 21866 11527 2304 1147 0 9293 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49180 KiB

[startup+3.11324 s]
/proc/loadavg: 4.10 4.10 4.13 5/254 80904
/proc/meminfo: memFree=124719644/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=87464 memory=46108 CPUtime=2.91 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 8538 0 0 0 288 3 0 0 20 0 1 0 74728347 89563136 11527 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 21866 11527 2304 1147 0 9293 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49180 KiB

[startup+6.30042 s]
/proc/loadavg: 4.10 4.10 4.13 5/254 80904
/proc/meminfo: memFree=124647224/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=87464 memory=46108 CPUtime=6.09 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 8538 0 0 0 606 3 0 0 20 0 1 0 74728347 89563136 11527 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 21866 11527 2304 1147 0 9293 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 91656 KiB
Current children cumulated memory: 49180 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.10 4.13 5/254 80904
/proc/meminfo: memFree=124487260/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=112268 memory=71232 CPUtime=12.47 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 16531 0 0 0 1242 5 0 0 20 0 1 0 74728347 114962432 17808 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 28067 17808 2368 1147 0 15494 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 116460 KiB
Current children cumulated memory: 74304 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.11 4.14 5/254 80904
/proc/meminfo: memFree=124251980/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=127448 memory=85788 CPUtime=25.23 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 22085 0 0 0 2498 25 0 0 20 0 1 0 74728347 130506752 21447 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 31862 21447 2400 1147 0 19289 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 131640 KiB
Current children cumulated memory: 88860 KiB

[startup+51.1135 s]
/proc/loadavg: 4.10 4.10 4.13 5/254 80905
/proc/meminfo: memFree=124115596/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=161884 memory=119984 CPUtime=50.77 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 30055 0 0 0 5030 47 0 0 20 0 1 0 74728347 165769216 29996 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 40471 29996 2400 1147 0 27898 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 166076 KiB
Current children cumulated memory: 123056 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/256 80911
/proc/meminfo: memFree=124118352/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=174384 memory=126116 CPUtime=101.82 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 35646 0 0 0 10094 88 0 0 20 0 1 0 74728347 178569216 31529 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 43596 31529 2400 1147 0 31023 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 178576 KiB
Current children cumulated memory: 129188 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/256 80913
/proc/meminfo: memFree=124065548/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=192416 memory=147724 CPUtime=161.65 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 42593 0 0 0 16029 136 0 0 20 0 1 0 74728347 197033984 36931 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 48104 36931 2528 1147 0 35531 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 196608 KiB
Current children cumulated memory: 150796 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/256 80962
/proc/meminfo: memFree=122302076/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=216516 memory=173960 CPUtime=221.48 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 51602 0 0 0 21970 178 0 0 20 0 1 0 74728347 221712384 43490 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 54129 43490 2528 1147 0 41556 0
Current children cumulated CPU time: 221.63 s

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

/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 58167 0 0 0 27908 223 0 0 20 0 1 0 74728347 217739264 42492 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 53159 42492 2528 1147 0 40586 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 216828 KiB
Current children cumulated memory: 173040 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/255 80969
/proc/meminfo: memFree=119652528/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=228304 memory=179444 CPUtime=341.13 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 63675 0 0 0 33835 278 0 0 20 0 1 0 74728347 233783296 44861 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 57076 44861 2528 1147 0 44503 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 232496 KiB
Current children cumulated memory: 182516 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/256 80986
/proc/meminfo: memFree=118403292/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=248860 memory=200296 CPUtime=400.96 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 66287 0 0 0 39779 317 0 0 20 0 1 0 74728347 254832640 50074 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 62215 50074 2528 1147 0 49642 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 253052 KiB
Current children cumulated memory: 203368 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/255 80988
/proc/meminfo: memFree=117241400/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=229120 memory=180280 CPUtime=460.79 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 70287 0 0 0 45719 360 0 0 20 0 1 0 74728347 234618880 45070 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 57280 45070 2528 1147 0 44707 0
Current children cumulated CPU time: 460.94 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 183352 KiB

[startup+518.63 s]
# the end of solver process 80901 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=513.115 s, system=4.02115 s

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

[startup+486.4 s]
/proc/loadavg: 4.13 4.11 4.10 5/255 80989
/proc/meminfo: memFree=116715004/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=263596 memory=212488 CPUtime=484.82 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 77967 0 0 0 48104 378 0 0 20 0 1 0 74728347 269922304 53122 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 65899 53122 2528 1147 0 53326 0
Current children cumulated CPU time: 484.97 s
Current children cumulated vsize: 267788 KiB
Current children cumulated memory: 215560 KiB

[startup+499.2 s]
/proc/loadavg: 4.18 4.12 4.11 5/255 80990
/proc/meminfo: memFree=116417532/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=497.58 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78348 0 0 0 49370 388 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 497.73 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+512 s]*
/proc/loadavg: 4.14 4.12 4.10 5/255 80990
/proc/meminfo: memFree=116175884/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=510.36 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78349 0 0 0 50641 395 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 510.51 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+515.2 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 80990
/proc/meminfo: memFree=115876672/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=513.53 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78351 0 0 0 50956 397 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 513.68 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+516.8 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 80990
/proc/meminfo: memFree=115856192/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=515.13 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78351 0 0 0 51115 398 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 515.28 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+517.6 s]
/proc/loadavg: 4.13 4.11 4.10 5/255 80990
/proc/meminfo: memFree=115835964/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=515.92 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78351 0 0 0 51194 398 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 516.07 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+518.4 s]
/proc/loadavg: 4.13 4.11 4.10 5/255 80990
/proc/meminfo: memFree=115815484/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=516.73 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78353 0 0 0 51274 399 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 516.88 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

[startup+518.6 s]
/proc/loadavg: 4.13 4.11 4.10 5/255 80990
/proc/meminfo: memFree=115815484/131382120 swapFree=33010416/33010684
[pid=80901] ppid=80898 vsize=4192 memory=3072 CPUtime=0.15 cores=0,2
/proc/80901/stat : 80901 (run-opt-ls.sh) S 80898 80901 79119 0 -1 4194304 237 5411 0 0 0 0 14 1 20 0 1 0 74728328 4292608 768 18446744073709551615 94325453307904 94325454202437 140733539180512 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94325454441488 94325454489232 94325462351872 140733539187047 140733539187173 140733539187173 140733539192775 0
/proc/80901/statm: 1048 768 704 219 0 110 0
[pid=80904] ppid=80901 vsize=276468 memory=225612 CPUtime=516.93 cores=0,2
/proc/80904/stat : 80904 (roundingsat) R 80901 80901 79119 0 -1 4194304 78353 0 0 0 51294 399 0 0 20 0 1 0 74728347 283103232 56403 18446744073709551615 4227072 8923433 140723298134640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37453824 140723298138438 140723298138664 140723298138664 140723298144234 0
/proc/80904/statm: 69117 56403 2528 1147 0 56544 0
Current children cumulated CPU time: 517.08 s
Current children cumulated vsize: 280660 KiB
Current children cumulated memory: 228684 KiB

Child status: 0

Real time (s): 518.63
CPU time (s): 517.136
CPU user time (s): 513.115
CPU system time (s): 4.02115
CPU usage (%): 99.7119
Max. virtual memory (cumulated for all children) (KiB): 280660
Max. memory (cumulated for all children) (KiB): 228684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 513.115
system time used= 4.02115
maximum resident set size= 225680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 1219


# summary of solver processes directly reported to runsolver:
#   pid: 80901
#   total CPU time (s): 517.136
#   total CPU user time (s): 513.115
#   total CPU system time (s): 4.02115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45007 second user time and 5.88969 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-04 02:54:55
IDJOB=4523840
IDBENCH=180376
IDSOLVER=3355
FILE ID=nodeC002/4523840-1751590495
RUNJOBID= nodeC002-1751582595-79129
SLURM_JOB_ID= 9598825
Free space on /tmp= 432592 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523840-1751590495/watcher-4523840-1751590495 -o /tmp/evaluation-result-4523840-1751590495/solver-4523840-1751590495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751582595-79129 --watchdog 3760  run-opt-ls.sh HOME/instance-4523840-1751590495.opb

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

MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
RANDOM SEED=1722866286

nodeC002 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		: 3491.902
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.81
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		: 3662.053
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.81
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.345
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.81
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		: 1197.558
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.81
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		: 3662.634
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.81
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		: 3662.077
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.81
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.498
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.81
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.586
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124770228 kB
MemAvailable:   125513960 kB
Buffers:            2128 kB
Cached:          1548288 kB
SwapCached:           28 kB
Active:          4755672 kB
Inactive:        1245196 kB
Active(anon):    4461980 kB
Inactive(anon):     6404 kB
Active(file):     293692 kB
Inactive(file):  1238792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10260 kB
Writeback:            32 kB
AnonPages:       4451412 kB
Mapped:           117484 kB
Shmem:             17932 kB
KReclaimable:     101752 kB
Slab:             187232 kB
SReclaimable:     101752 kB
SUnreclaim:        85480 kB
KernelStack:        4112 kB
PageTables:        12348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    5077848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1519616 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:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432500 MiB
End job on nodeC002 at 2025-07-04 03:03:34