Trace number 4486052

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
pb-oll-rs-2024 2025-05-06SAT (TO)101358348923875 3600.04 3609.41

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUM66c9959016382e41dad7850ad64939ee
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 benchmark89951132262400
Best CPU time to get the best result obtained on this benchmark7467.88
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 5134096531456000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 216401520151185266
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 5134096531456000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 216401520151185266
Number of bits of the biggest sum of numbers58
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 RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] solving
0.00/0.03	c #variables 2219 #constraints 151
0.00/0.03	c SMALL=long long, LARGE=int128
0.00/0.03	c bounds - >= 0 @ 0.0122
0.00/0.03	c stratification level: 262144000000000
0.00/0.04	c bounds 1402670906858600 >= 0 @ 0.024061
0.00/0.04	c stratification level: 131072000000000
0.00/0.05	c bounds 562168036842600 >= 0 @ 0.02688
0.00/0.05	c stratification level: 98304000000000
0.00/0.06	c bounds 557764836842600 >= 0 @ 0.028816
0.00/0.06	c stratification level: 96665600000000
0.00/0.06	c bounds 555716836842600 >= 0 @ 0.031863
0.00/0.06	c stratification level: 95027200000000
0.00/0.07	c bounds 554994732522600 >= 0 @ 0.038961
0.00/0.07	c stratification level: 65536000000000
0.00/0.09	c bounds 365643341674600 >= 0 @ 0.046592
0.00/0.09	c stratification level: 49152000000000
0.00/0.09	c bounds 365641099114600 >= 0 @ 0.049569
0.00/0.09	c stratification level: 48332800000000
0.00/0.10	c bounds 365641098019600 >= 0 @ 0.050453
0.00/0.10	c stratification level: 47513600000000
0.00/0.10	c bounds 364611240739600 >= 0 @ 0.053462
0.00/0.10	c stratification level: 32768000000000
0.00/0.11	c bounds 289017477923600 >= 0 @ 0.055877
0.00/0.11	c stratification level: 24576000000000
0.09/0.11	c bounds 289017457118600 >= 0 @ 0.061343
0.09/0.11	c stratification level: 24166400000000
0.09/0.12	c bounds 286969457118600 >= 0 @ 0.067116
0.09/0.12	c stratification level: 23756800000000
0.09/0.14	c bounds 286377504199200 >= 0 @ 0.082219
0.09/0.14	c stratification level: 20055064576000
0.09/0.15	c bounds 286369670189600 >= 0 @ 0.090797
0.09/0.15	c stratification level: 18562416640000
0.09/0.16	c bounds 286366044717600 >= 0 @ 0.093153
0.09/0.16	c stratification level: 18371051520000
0.09/0.16	c bounds 286364231981600 >= 0 @ 0.097055
0.09/0.16	c stratification level: 16954949632000
0.09/0.17	c bounds 286230276397600 >= 0 @ 0.099374
0.09/0.17	c stratification level: 16384000000000
0.09/0.19	c bounds 230107734446980 >= 0 @ 0.115086
0.09/0.19	c stratification level: 16044051660800
0.09/0.19	c bounds 229839823278980 >= 0 @ 0.117985
0.09/0.19	c stratification level: 15309209600000
0.09/0.20	c bounds 225743823278980 >= 0 @ 0.120221
0.09/0.20	c stratification level: 14849933312000
0.09/0.20	c bounds 224719823278980 >= 0 @ 0.122052
0.09/0.20	c stratification level: 14696841216000
0.09/0.21	c bounds 223695823716980 >= 0 @ 0.126968
0.09/0.21	c stratification level: 13563959705600
0.09/0.21	c bounds 221647823716980 >= 0 @ 0.130956
0.09/0.21	c stratification level: 12288000000000
0.09/0.22	c bounds 220623823716980 >= 0 @ 0.133849
0.09/0.22	c stratification level: 12247367680000
0.21/0.23	c bounds 220621796068980 >= 0 @ 0.138822
0.21/0.23	c stratification level: 12083200000000
0.21/0.23	c bounds 219597796068980 >= 0 @ 0.142121
0.21/0.23	c stratification level: 11878400000000
0.21/0.24	c bounds 169407195282680 >= 0 @ 0.148963
0.21/0.24	c stratification level: 10716446720000
0.21/0.25	c bounds 169239750802680 >= 0 @ 0.152002
0.21/0.25	c stratification level: 10027532288000
0.21/0.25	c bounds 165143750802680 >= 0 @ 0.156201
0.21/0.25	c stratification level: 9281208320000
0.21/0.26	c bounds 163095750802680 >= 0 @ 0.159693
0.21/0.26	c stratification level: 9185525760000
0.21/0.27	c bounds 155361532050680 >= 0 @ 0.16569
0.21/0.27	c stratification level: 8573157376000
0.21/0.27	c bounds 155361531886430 >= 0 @ 0.168894
0.21/0.27	c stratification level: 8477474816000
0.21/0.28	c bounds 155361505606430 >= 0 @ 0.170012
0.21/0.28	c stratification level: 8192000000000
0.40/0.42	c bounds 126099582964750 >= 0 @ 0.283801
0.40/0.42	c stratification level: 8022025830400
0.40/0.43	c bounds 126099582753050 >= 0 @ 0.291737
0.40/0.43	c stratification level: 7654604800000
0.40/0.44	c bounds 126099575978650 >= 0 @ 0.296345
0.40/0.44	c stratification level: 7424966656000
0.40/0.44	c bounds 126099562429850 >= 0 @ 0.299928
0.40/0.44	c stratification level: 7348420608000
0.40/0.45	c bounds 126099559042650 >= 0 @ 0.304481
0.40/0.45	c stratification level: 6781979852800
0.40/0.45	c bounds 126099557560750 >= 0 @ 0.308032
0.40/0.45	c stratification level: 6144000000000
0.40/0.46	c bounds 125075557560750 >= 0 @ 0.310853
0.40/0.46	c stratification level: 6123683840000
0.40/0.46	c bounds 125075557433000 >= 0 @ 0.314515
0.40/0.46	c stratification level: 6041600000000
0.40/0.47	c bounds 124051557433000 >= 0 @ 0.319273
0.40/0.47	c stratification level: 5939200000000
0.40/0.47	c bounds 124051549257000 >= 0 @ 0.323129
0.40/0.47	c stratification level: 5358223360000
0.40/0.48	c bounds 124051516553000 >= 0 @ 0.325825
0.40/0.48	c stratification level: 5013766144000
0.40/0.48	c bounds 124051500201000 >= 0 @ 0.329352
0.40/0.48	c stratification level: 4898947072000
0.40/0.49	c bounds 122003500201000 >= 0 @ 0.333791
0.40/0.49	c stratification level: 4640604160000
0.40/0.51	c bounds 121973266657875 >= 0 @ 0.345576
0.40/0.51	c stratification level: 4592762880000
0.40/0.51	c bounds 121571399905875 >= 0 @ 0.346526
0.40/0.51	c stratification level: 4505600000000
0.40/0.52	c bounds 121520904929875 >= 0 @ 0.348153
0.40/0.52	c stratification level: 4403200000000
0.40/0.52	c bounds 119472904929875 >= 0 @ 0.350113
0.40/0.52	c stratification level: 4286578688000
0.50/0.52	c bounds 117424904929875 >= 0 @ 0.353161
0.50/0.52	c stratification level: 4238737408000
0.50/0.52	c bounds 116400904929875 >= 0 @ 0.3562
0.50/0.52	c stratification level: 4096000000000
0.50/0.59	c bounds 116400904929875 >= 4096000000000 @ 0.357059
0.50/0.59	c bounds 116400904929875 >= 8192000000000 @ 0.369957
0.50/0.59	c finalizing WCE round: reformulating cores
1.17/1.22	c bounds 114615896468350 >= 8192000000000 @ 0.830188
1.17/1.22	c bounds 114615896468350 >= 12288000000000 @ 0.8447
1.17/1.22	c bounds 114615896468350 >= 16384000000000 @ 0.883967
1.17/1.22	c finalizing WCE round: reformulating cores
1.47/1.52	c #Conflicts:       1000 | #Constraints:       1231
1.47/1.52	c bounds 109815462108600 >= 16384000000000 @ 1.12855
1.47/1.52	c bounds 109815462108600 >= 20480000000000 @ 1.1855
1.47/1.52	c finalizing WCE round: reformulating cores
1.57/1.68	c bounds 104769910476800 >= 20480000000000 @ 1.34248
1.57/1.68	c bounds 104769910476800 >= 24576000000000 @ 1.39417
1.57/1.68	c finalizing WCE round: reformulating cores
1.77/1.85	c bounds 101848020427900 >= 24576000000000 @ 1.54027
1.77/1.85	c bounds 101806425779800 >= 24576000000000 @ 1.58775
1.77/1.85	c stratification level: 4011012915200
1.77/1.86	c bounds 101806425652050 >= 24576000000000 @ 1.59117
1.77/1.86	c stratification level: 3891200000000
1.77/1.86	c bounds 101806424630050 >= 24576000000000 @ 1.59527
1.77/1.86	c stratification level: 3827302400000
1.77/1.87	c bounds 101806424119050 >= 24576000000000 @ 1.59951
1.77/1.87	c stratification level: 3712483328000
1.77/1.87	c bounds 101806293303050 >= 24576000000000 @ 1.60367
1.77/1.87	c stratification level: 3686400000000
8.85/8.91	c bounds 101806293303050 >= 28262400000000 @ 1.84744
8.85/8.91	c #Conflicts:       2000 | #Constraints:       2294
8.85/8.91	c INPROCESSING
8.85/8.91	c GARBAGE COLLECT
8.85/8.91	c #Conflicts:       3000 | #Constraints:       2246
8.85/8.91	c #Conflicts:       4000 | #Constraints:       3246
8.85/8.91	c INPROCESSING
8.85/8.91	c GARBAGE COLLECT
8.85/8.91	c finalizing WCE round: reformulating cores
84.35/84.61	c #Conflicts:       5000 | #Constraints:       2681
84.35/84.61	c bounds 101800968392125 >= 28262400000000 @ 10.336
84.35/84.61	c #Conflicts:       6000 | #Constraints:       3696
84.35/84.61	c INPROCESSING
84.35/84.61	c GARBAGE COLLECT
84.35/84.61	c #Conflicts:       7000 | #Constraints:       2712
84.35/84.61	c #Conflicts:       8000 | #Constraints:       3712
84.35/84.61	c #Conflicts:       9000 | #Constraints:       4712
84.35/84.61	c INPROCESSING
84.35/84.61	c GARBAGE COLLECT
84.35/84.61	c #Conflicts:      10000 | #Constraints:       3417
84.35/84.61	c #Conflicts:      11000 | #Constraints:       4417
84.35/84.61	c #Conflicts:      12000 | #Constraints:       5417
84.35/84.61	c INPROCESSING
84.35/84.61	c GARBAGE COLLECT
84.35/84.61	c #Conflicts:      13000 | #Constraints:       3878
84.35/84.61	c #Conflicts:      14000 | #Constraints:       4878
84.35/84.61	c #Conflicts:      15000 | #Constraints:       5878
84.35/84.61	c INPROCESSING
84.35/84.61	c GARBAGE COLLECT
84.35/84.61	c #Conflicts:      16000 | #Constraints:       4100
84.35/84.61	c bounds 101800424361450 >= 28262400000000 @ 83.4639
84.35/84.61	c stratification level: 3674210304000
84.35/84.64	c bounds 101800423631450 >= 28262400000000 @ 83.4937
84.35/84.64	c stratification level: 3390989926400
84.35/84.67	c bounds 101800422171450 >= 28262400000000 @ 83.5291
84.35/84.67	c stratification level: 3061841920000
84.44/84.73	c bounds 101800419251450 >= 28262400000000 @ 83.5867
84.44/84.73	c stratification level: 2679111680000
84.44/84.79	c bounds 101800418740450 >= 28262400000000 @ 83.6498
84.44/84.79	c stratification level: 2506883072000
84.54/84.82	c bounds 101800418521450 >= 28262400000000 @ 83.6787
84.54/84.82	c stratification level: 2449473536000
84.54/84.85	c bounds 101800416769450 >= 28262400000000 @ 83.7076
84.54/84.85	c stratification level: 2320302080000
84.54/84.89	c bounds 101800413265450 >= 28262400000000 @ 83.7448
84.54/84.89	c stratification level: 2296381440000
84.65/84.96	c bounds 101799249827950 >= 28262400000000 @ 83.8153
84.65/84.96	c stratification level: 2219835392000
84.65/85.00	c bounds 101799242551675 >= 28262400000000 @ 83.8572
84.65/85.00	c stratification level: 2143289344000
84.76/85.04	c bounds 101798331694175 >= 28262400000000 @ 83.8872
84.76/85.04	c stratification level: 2119368704000
84.76/85.10	c bounds 101798331365675 >= 28262400000000 @ 83.951
84.76/85.10	c stratification level: 2048000000000
90.24/90.51	c #Conflicts:      17000 | #Constraints:       5112
90.24/90.51	c #Conflicts:      18000 | #Constraints:       6112
90.24/90.51	c bounds 101798331365675 >= 30310400000000 @ 88.5695
90.24/90.51	c INPROCESSING
90.24/90.51	c GARBAGE COLLECT
90.24/90.51	c finalizing WCE round: reformulating cores
91.84/92.15	c #Conflicts:      19000 | #Constraints:       4138
91.84/92.15	c bounds 101798329584475 >= 30310400000000 @ 90.7026
91.84/92.15	c bounds 101797507502375 >= 30310400000000 @ 90.9249
91.84/92.15	c stratification level: 2027683840000
91.84/92.16	c bounds 101797507374625 >= 30310400000000 @ 90.9399
91.84/92.16	c stratification level: 2005506457600
91.84/92.18	c bounds 101797507119125 >= 30310400000000 @ 90.9538
91.84/92.18	c stratification level: 1990197248000
92.33/92.67	c bounds 101780919732225 >= 30310400000000 @ 91.4354
92.33/92.67	c stratification level: 1945600000000
92.33/92.69	c bounds 101780321716225 >= 30310400000000 @ 91.4505
92.33/92.69	c stratification level: 1913651200000
92.42/92.70	c bounds 101779125684225 >= 30310400000000 @ 91.465
92.42/92.70	c stratification level: 1856241664000
92.42/92.72	c bounds 101779125472525 >= 30310400000000 @ 91.4804
92.42/92.72	c stratification level: 1843200000000
92.42/92.73	c bounds 101765670112525 >= 30310400000000 @ 91.496
92.42/92.73	c stratification level: 1837105152000
92.42/92.75	c bounds 101765670003025 >= 30310400000000 @ 91.5117
92.42/92.75	c stratification level: 1775868313600
92.42/92.76	c bounds 101765669784025 >= 30310400000000 @ 91.5268
92.42/92.76	c stratification level: 1722286080000
92.42/92.78	c bounds 101765669601525 >= 30310400000000 @ 91.5429
92.42/92.78	c stratification level: 1695494963200
92.42/92.80	c bounds 101765669455525 >= 30310400000000 @ 91.5577
92.42/92.80	c stratification level: 1592157798400
92.53/92.81	c bounds 101765669309525 >= 30310400000000 @ 91.5725
92.53/92.81	c stratification level: 1530920960000
92.53/92.83	c bounds 101755204029525 >= 30310400000000 @ 91.5883
92.53/92.83	c stratification level: 1377828864000
92.53/92.85	c bounds 101755203664525 >= 30310400000000 @ 91.6113
92.53/92.85	c stratification level: 1339555840000
92.53/92.87	c bounds 101755203153525 >= 30310400000000 @ 91.626
92.53/92.87	c stratification level: 1253441536000
92.53/92.88	c bounds 101755202569525 >= 30310400000000 @ 91.6415
92.53/92.88	c stratification level: 1224736768000
92.63/92.90	c bounds 101755201547525 >= 30310400000000 @ 91.6567
92.63/92.90	c stratification level: 1160151040000
92.63/92.91	c bounds 101755199503525 >= 30310400000000 @ 91.6728
92.63/92.91	c stratification level: 1148190720000
92.63/92.93	c bounds 101755197678525 >= 30310400000000 @ 91.6881
92.63/92.93	c stratification level: 1109917696000
92.63/92.94	c bounds 101755195342525 >= 30310400000000 @ 91.7039
92.63/92.94	c stratification level: 1071644672000
92.63/92.96	c bounds 101755194065025 >= 30310400000000 @ 91.7193
92.63/92.96	c stratification level: 1059684352000
92.63/92.97	c bounds 101755191510025 >= 30310400000000 @ 91.735
92.63/92.97	c stratification level: 1024000000000
98.91/99.27	c #Conflicts:      20000 | #Constraints:       5176
98.91/99.27	c bounds 101715907532000 >= 30310400000000 @ 97.9821
98.91/99.27	c stratification level: 1002753228800
99.00/99.30	c bounds 101714561996000 >= 30310400000000 @ 98.008
99.00/99.30	c stratification level: 995098624000
99.00/99.33	c bounds 101714561667500 >= 30310400000000 @ 98.0321
99.00/99.33	c stratification level: 956825600000
980.05/982.73	c #Conflicts:      21000 | #Constraints:       6179
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      22000 | #Constraints:       3940
980.05/982.73	c #Conflicts:      23000 | #Constraints:       4940
980.05/982.73	c #Conflicts:      24000 | #Constraints:       5940
980.05/982.73	c #Conflicts:      25000 | #Constraints:       6940
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      26000 | #Constraints:       4532
980.05/982.73	c #Conflicts:      27000 | #Constraints:       5532
980.05/982.73	c #Conflicts:      28000 | #Constraints:       6532
980.05/982.73	c #Conflicts:      29000 | #Constraints:       7532
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      30000 | #Constraints:       4926
980.05/982.73	c #Conflicts:      31000 | #Constraints:       5926
980.05/982.73	c #Conflicts:      32000 | #Constraints:       6926
980.05/982.73	c #Conflicts:      33000 | #Constraints:       7926
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      34000 | #Constraints:       5123
980.05/982.73	c #Conflicts:      35000 | #Constraints:       6123
980.05/982.73	c #Conflicts:      36000 | #Constraints:       7123
980.05/982.73	c #Conflicts:      37000 | #Constraints:       8123
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      38000 | #Constraints:       5130
980.05/982.73	c #Conflicts:      39000 | #Constraints:       6130
980.05/982.73	c #Conflicts:      40000 | #Constraints:       7130
980.05/982.73	c #Conflicts:      41000 | #Constraints:       8130
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      42000 | #Constraints:       4932
980.05/982.73	c #Conflicts:      43000 | #Constraints:       5932
980.05/982.73	c #Conflicts:      44000 | #Constraints:       6932
980.05/982.73	c #Conflicts:      45000 | #Constraints:       7932
980.05/982.73	c #Conflicts:      46000 | #Constraints:       8932
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      47000 | #Constraints:       5512
980.05/982.73	c #Conflicts:      48000 | #Constraints:       6512
980.05/982.73	c #Conflicts:      49000 | #Constraints:       7512
980.05/982.73	c #Conflicts:      50000 | #Constraints:       8512
980.05/982.73	c #Conflicts:      51000 | #Constraints:       9512
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      52000 | #Constraints:       5911
980.05/982.73	c #Conflicts:      53000 | #Constraints:       6911
980.05/982.73	c #Conflicts:      54000 | #Constraints:       7911
980.05/982.73	c #Conflicts:      55000 | #Constraints:       8911
980.05/982.73	c #Conflicts:      56000 | #Constraints:       9911
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      57000 | #Constraints:       6113
980.05/982.73	c #Conflicts:      58000 | #Constraints:       7113
980.05/982.73	c #Conflicts:      59000 | #Constraints:       8113
980.05/982.73	c #Conflicts:      60000 | #Constraints:       9113
980.05/982.73	c #Conflicts:      61000 | #Constraints:      10113
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      62000 | #Constraints:       6101
980.05/982.73	c #Conflicts:      63000 | #Constraints:       7101
980.05/982.73	c #Conflicts:      64000 | #Constraints:       8101
980.05/982.73	c #Conflicts:      65000 | #Constraints:       9101
980.05/982.73	c #Conflicts:      66000 | #Constraints:      10101
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      67000 | #Constraints:       5906
980.05/982.73	c #Conflicts:      68000 | #Constraints:       6906
980.05/982.73	c #Conflicts:      69000 | #Constraints:       7906
980.05/982.73	c #Conflicts:      70000 | #Constraints:       8906
980.05/982.73	c #Conflicts:      71000 | #Constraints:       9906
980.05/982.73	c #Conflicts:      72000 | #Constraints:      10906
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      73000 | #Constraints:       6502
980.05/982.73	c #Conflicts:      74000 | #Constraints:       7502
980.05/982.73	c #Conflicts:      75000 | #Constraints:       8502
980.05/982.73	c #Conflicts:      76000 | #Constraints:       9502
980.05/982.73	c #Conflicts:      77000 | #Constraints:      10502
980.05/982.73	c #Conflicts:      78000 | #Constraints:      11502
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      79000 | #Constraints:       6908
980.05/982.73	c #Conflicts:      80000 | #Constraints:       7908
980.05/982.73	c #Conflicts:      81000 | #Constraints:       8908
980.05/982.73	c #Conflicts:      82000 | #Constraints:       9908
980.05/982.73	c #Conflicts:      83000 | #Constraints:      10908
980.05/982.73	c #Conflicts:      84000 | #Constraints:      11908
980.05/982.73	c INPROCESSING
980.05/982.73	c GARBAGE COLLECT
980.05/982.73	c #Conflicts:      85000 | #Constraints:       7119
980.05/982.73	c #Conflicts:      86000 | #Constraints:       8119
980.05/982.73	c #Conflicts:      87000 | #Constraints:       9119
980.05/982.73	c #Conflicts:      88000 | #Constraints:      10119
980.05/982.73	c #Conflicts:      89000 | #Constraints:      11119
980.05/982.73	c #Conflicts:      90000 | #Constraints:      12119
1565.49/1569.59	c INPROCESSING
1565.49/1569.59	c GARBAGE COLLECT
1565.49/1569.59	c #Conflicts:      91000 | #Constraints:       7125
1565.49/1569.59	c #Conflicts:      92000 | #Constraints:       8125
1565.49/1569.59	c #Conflicts:      93000 | #Constraints:       9125
1565.49/1569.59	c #Conflicts:      94000 | #Constraints:      10125
1565.49/1569.59	c #Conflicts:      95000 | #Constraints:      11125
1565.49/1569.59	c #Conflicts:      96000 | #Constraints:      12125
1565.49/1569.59	c INPROCESSING
1565.49/1569.59	c GARBAGE COLLECT
1565.49/1569.59	c #Conflicts:      97000 | #Constraints:       6926
1565.49/1569.59	c #Conflicts:      98000 | #Constraints:       7926
1565.49/1569.59	c #Conflicts:      99000 | #Constraints:       8926
1565.49/1569.59	c #Conflicts:     100000 | #Constraints:       9926
1565.49/1569.59	c #Conflicts:     101000 | #Constraints:      10926
1565.49/1569.59	c #Conflicts:     102000 | #Constraints:      11926
1565.49/1569.59	c #Conflicts:     103000 | #Constraints:      12926
1565.49/1569.59	c INPROCESSING
1565.49/1569.59	c GARBAGE COLLECT
1565.49/1569.59	c #Conflicts:     104000 | #Constraints:       7528
1565.49/1569.59	c #Conflicts:     105000 | #Constraints:       8528
1565.49/1569.59	c #Conflicts:     106000 | #Constraints:       9528
1565.49/1569.59	c #Conflicts:     107000 | #Constraints:      10528
1565.49/1569.59	c #Conflicts:     108000 | #Constraints:      11528
1565.49/1569.59	c #Conflicts:     109000 | #Constraints:      12528
1565.49/1569.59	c #Conflicts:     110000 | #Constraints:      13528
1565.49/1569.59	c INPROCESSING
1565.49/1569.59	c GARBAGE COLLECT
1565.49/1569.59	c #Conflicts:     111000 | #Constraints:       7918
1565.49/1569.59	c #Conflicts:     112000 | #Constraints:       8918
1565.49/1569.59	c #Conflicts:     113000 | #Constraints:       9918
1565.49/1569.59	c #Conflicts:     114000 | #Constraints:      10918
1565.49/1569.59	c bounds 101714561667500 >= 31267225600000 @ 1558.5
1565.49/1569.59	c finalizing WCE round: reformulating cores
1692.67/1697.03	c #Conflicts:     115000 | #Constraints:      11922
1692.67/1697.03	c bounds 101398418790500 >= 31267225600000 @ 1579.33
1692.67/1697.03	c #Conflicts:     116000 | #Constraints:      12922
1692.67/1697.03	c #Conflicts:     117000 | #Constraints:      13922
1692.67/1697.03	c INPROCESSING
1692.67/1697.03	c GARBAGE COLLECT
1692.67/1697.03	c #Conflicts:     118000 | #Constraints:       8131
1692.67/1697.03	c #Conflicts:     119000 | #Constraints:       9131
1692.67/1697.03	c bounds 101358353048375 >= 31267225600000 @ 1686.69
1692.67/1697.03	c stratification level: 928120832000
1692.77/1697.12	c bounds 101358352865875 >= 31267225600000 @ 1686.77
1692.77/1697.12	c stratification level: 918552576000
1692.87/1697.20	c bounds 101358352135875 >= 31267225600000 @ 1686.85
1692.87/1697.20	c stratification level: 899416064000
1692.87/1697.28	c bounds 101358351770875 >= 31267225600000 @ 1686.93
1692.87/1697.28	c stratification level: 887934156800
1692.97/1697.36	c bounds 101358351113875 >= 31267225600000 @ 1687.01
1692.97/1697.36	c stratification level: 886374400000
1693.07/1697.44	c bounds 101358350383875 >= 31267225600000 @ 1687.09
1693.07/1697.44	c stratification level: 880279552000
1693.16/1697.52	c bounds 101358348923875 >= 31267225600000 @ 1687.17
1693.16/1697.52	c stratification level: 861143040000
3600.01/3609.40	c #Conflicts:     120000 | #Constraints:      10138
3600.01/3609.40	c #Conflicts:     121000 | #Constraints:      11138
3600.01/3609.40	c #Conflicts:     122000 | #Constraints:      12138
3600.01/3609.40	c #Conflicts:     123000 | #Constraints:      13138
3600.01/3609.40	c #Conflicts:     124000 | #Constraints:      14138
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     125000 | #Constraints:       8120
3600.01/3609.40	c #Conflicts:     126000 | #Constraints:       9120
3600.01/3609.40	c #Conflicts:     127000 | #Constraints:      10120
3600.01/3609.40	c #Conflicts:     128000 | #Constraints:      11120
3600.01/3609.40	c #Conflicts:     129000 | #Constraints:      12120
3600.01/3609.40	c #Conflicts:     130000 | #Constraints:      13120
3600.01/3609.40	c #Conflicts:     131000 | #Constraints:      14120
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     132000 | #Constraints:       7913
3600.01/3609.40	c #Conflicts:     133000 | #Constraints:       8913
3600.01/3609.40	c #Conflicts:     134000 | #Constraints:       9913
3600.01/3609.40	c #Conflicts:     135000 | #Constraints:      10913
3600.01/3609.40	c #Conflicts:     136000 | #Constraints:      11913
3600.01/3609.40	c #Conflicts:     137000 | #Constraints:      12913
3600.01/3609.40	c #Conflicts:     138000 | #Constraints:      13913
3600.01/3609.40	c #Conflicts:     139000 | #Constraints:      14913
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     140000 | #Constraints:       8513
3600.01/3609.40	c #Conflicts:     141000 | #Constraints:       9513
3600.01/3609.40	c #Conflicts:     142000 | #Constraints:      10513
3600.01/3609.40	c #Conflicts:     143000 | #Constraints:      11513
3600.01/3609.40	c #Conflicts:     144000 | #Constraints:      12513
3600.01/3609.40	c #Conflicts:     145000 | #Constraints:      13513
3600.01/3609.40	c #Conflicts:     146000 | #Constraints:      14513
3600.01/3609.40	c #Conflicts:     147000 | #Constraints:      15513
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     148000 | #Constraints:       8914
3600.01/3609.40	c #Conflicts:     149000 | #Constraints:       9914
3600.01/3609.40	c #Conflicts:     150000 | #Constraints:      10914
3600.01/3609.40	c #Conflicts:     151000 | #Constraints:      11914
3600.01/3609.40	c #Conflicts:     152000 | #Constraints:      12914
3600.01/3609.40	c #Conflicts:     153000 | #Constraints:      13914
3600.01/3609.40	c #Conflicts:     154000 | #Constraints:      14914
3600.01/3609.40	c #Conflicts:     155000 | #Constraints:      15914
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     156000 | #Constraints:       9117
3600.01/3609.40	c #Conflicts:     157000 | #Constraints:      10117
3600.01/3609.40	c #Conflicts:     158000 | #Constraints:      11117
3600.01/3609.40	c #Conflicts:     159000 | #Constraints:      12117
3600.01/3609.40	c #Conflicts:     160000 | #Constraints:      13117
3600.01/3609.40	c #Conflicts:     161000 | #Constraints:      14117
3600.01/3609.40	c #Conflicts:     162000 | #Constraints:      15117
3600.01/3609.40	c #Conflicts:     163000 | #Constraints:      16117
3600.01/3609.40	c INPROCESSING
3600.01/3609.40	c GARBAGE COLLECT
3600.01/3609.40	c #Conflicts:     164000 | #Constraints:       9110
3600.01/3609.40	c #Conflicts:     165000 | #Constraints:      10110
3600.01/3609.40	c #Conflicts:     166000 | #Constraints:      11110
3600.01/3609.40	c #Conflicts:     167000 | #Constraints:      12110
3600.01/3609.40	c #Conflicts:     168000 | #Constraints:      13110
3600.01/3609.40	c #Conflicts:     169000 | #Constraints:      14110
3600.01/3609.40	c #Conflicts:     170000 | #Constraints:      15110
3600.01/3609.40	c Program interrupted by user.
3600.01/3609.40	c cpu time 3590.02 s
3600.01/3609.40	c deterministic time 283125875226 2.83e+11
3600.01/3609.40	c optimization time 311.176 s
3600.01/3609.40	c total solve time 3278.83 s
3600.01/3609.40	c core-guided solve time 3278.83 s
3600.01/3609.40	c propagation time 3396.12 s
3600.01/3609.40	c conflict analysis time 170.222 s
3600.01/3609.40	c propagations 35561630
3600.01/3609.40	c resolve steps 1734355
3600.01/3609.40	c decisions 6750477
3600.01/3609.40	c conflicts 170283
3600.01/3609.40	c restarts 465
3600.01/3609.40	c inprocessing phases 32
3600.01/3609.40	c input clauses 62
3600.01/3609.40	c input cardinalities 29
3600.01/3609.40	c input general constraints 290
3600.01/3609.40	c input average constraint length 440.61
3600.01/3609.40	c input average constraint degree 1888322861479412.25
3600.01/3609.40	c learned clauses 750
3600.01/3609.40	c learned cardinalities 12
3600.01/3609.40	c learned general constraints 169521
3600.01/3609.40	c learned average constraint length 533.86
3600.01/3609.40	c learned average constraint degree 6407457074.14
3600.01/3609.40	c watched constraints 141663
3600.01/3609.40	c counting constraints 28148
3600.01/3609.40	c gcd simplifications 1260
3600.01/3609.40	c detected cardinalities 11
3600.01/3609.40	c weakened non-implied lits 1390440
3600.01/3609.40	c weakened non-implying lits 12453
3600.01/3609.40	c original variables 2219
3600.01/3609.40	c clausal propagations 1164235
3600.01/3609.40	c cardinality propagations 128488
3600.01/3609.40	c watched propagations 19194966
3600.01/3609.40	c counting propagations 15063752
3600.01/3609.40	c watch lookups 62725774809
3600.01/3609.40	c watch backjump lookups 62269440809
3600.01/3609.40	c watch checks 112460925610
3600.01/3609.40	c propagation checks 44678199753
3600.01/3609.40	c constraint additions 906740497
3600.01/3609.40	c trail pops 42481640
3600.01/3609.40	c formula constraints 151
3600.01/3609.40	c learned constraints 170283
3600.01/3609.40	c bound constraints 140
3600.01/3609.40	c core-guided constraints 90
3600.01/3609.40	c encountered formula constraints 341161
3600.01/3609.40	c encountered learned constraints 1511857
3600.01/3609.40	c encountered bound constraints 246
3600.01/3609.40	c encountered core-guided constraints 51374
3600.01/3609.40	c LP total time 0 s
3600.01/3609.40	c LP solve time 0 s
3600.01/3609.40	c LP constraints added 0
3600.01/3609.40	c LP constraints removed 0
3600.01/3609.40	c LP pivots internal 0
3600.01/3609.40	c LP pivots root 0
3600.01/3609.40	c LP calls 0
3600.01/3609.40	c LP optimalities 0
3600.01/3609.40	c LP no pivot count 0
3600.01/3609.40	c LP infeasibilities 0
3600.01/3609.40	c LP valid Farkas constraints 0
3600.01/3609.40	c LP learned Farkas constraints 0
3600.01/3609.40	c LP basis resets 0
3600.01/3609.40	c LP cycling count 0
3600.01/3609.40	c LP singular count 0
3600.01/3609.40	c LP no primal count 0
3600.01/3609.40	c LP no farkas count 0
3600.01/3609.40	c LP other issue count 0
3600.01/3609.40	c LP Gomory cuts 0
3600.01/3609.40	c LP learned cuts 0
3600.01/3609.40	c LP deleted cuts 0
3600.01/3609.40	c LP encountered Gomory constraints 0
3600.01/3609.40	c LP encountered Farkas constraints 0
3600.01/3609.40	c LP encountered learned Farkas constraints 0
3600.01/3609.40	c CG auxiliary variables introduced 33
3600.01/3609.40	c CG solutions found 109
3600.01/3609.40	c CG cores constructed 9
3600.01/3609.40	c CG core cardinality constraints returned 0
3600.01/3609.40	c CG unit cores 0
3600.01/3609.40	c CG single cores 9
3600.01/3609.40	c CG blocks removed during cardinality reduction 0
3600.01/3609.40	c CG first core best 0
3600.01/3609.40	c CG decision core best 0
3600.01/3609.40	c CG core reduction tie 0
3600.01/3609.40	c CG core degree average 1.00
3600.01/3609.40	c CG core slack average 65.78
3600.01/3609.40	c CG exhausted 0
3600.01/3609.40	c CG exhaust time 23.5004 s
3600.01/3609.40	c CG trimmed 5
3600.01/3609.40	c CG trim time 0.030036 s
3600.01/3609.40	c CG minimized 0
3600.01/3609.40	c CG minimize time 0 s
3600.01/3609.40	c CG am1 prop time 0.019357 s
3600.01/3609.40	c CG # am1s reformulated 0
3600.01/3609.40	c CG lower bound derived from am1s 0
3600.01/3609.40	c CG # clausal cores 8
3600.01/3609.40	c CG # cardinality cores 0
3600.01/3609.40	c CG # pb cores 1
3600.01/3609.40	c CG # pb reforms 3
3600.01/3609.40	c CG # cores discarded because of pb reform 0
3600.01/3609.40	d LOWERBOUND 31267225600000
3600.01/3609.40	d NCORES 9
3600.01/3609.40	d NPBCORES 1
3600.01/3609.40	d NPBREFORM 3
3600.01/3609.40	d NTRIMMED 5
3600.01/3609.40	d NEXHAUSTED 0
3600.01/3609.40	d NAM1S 0
3600.01/3609.40	d AM1LB 0
3600.01/3609.40	o 101358348923875
3600.01/3609.40	s SATISFIABLE
3600.01/3609.40	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 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 -x1305 x1306 -x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 x1884 -x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219

Verifier Data 

OK	101358348923875

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486052-1751316242/watcher-4486052-1751316242 -o /tmp/evaluation-result-4486052-1751316242/solver-4486052-1751316242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40719 --watchdog 3760 pb-oll-rs HOME/instance-4486052-1751316242.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100107 s]*
/proc/loadavg: 3.01 3.94 4.10 4/252 41023
/proc/meminfo: memFree=130021816/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=21416 memory=7296 CPUtime=0.09 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 675 0 0 0 6 3 0 0 20 0 1 0 47303291 21929984 1824 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 5354 1824 1344 243 0 1603 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21416 KiB
Current children cumulated memory: 7296 KiB

[startup+0.213787 s]*
/proc/loadavg: 3.01 3.94 4.10 4/252 41025
/proc/meminfo: memFree=130022256/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=22020 memory=8064 CPUtime=0.21 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 875 0 0 0 14 7 0 0 20 0 1 0 47303291 22548480 2016 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 5505 2016 1344 243 0 1754 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22020 KiB
Current children cumulated memory: 8064 KiB

[startup+0.312927 s]*
/proc/loadavg: 3.01 3.94 4.10 4/252 41031
/proc/meminfo: memFree=130022340/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=22408 memory=10516 CPUtime=0.3 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 977 0 0 0 21 9 0 0 20 0 1 0 47303291 22945792 2629 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 5602 2629 1344 243 0 1851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22408 KiB
Current children cumulated memory: 10516 KiB

[startup+0.700294 s]
/proc/loadavg: 3.01 3.94 4.10 4/250 41044
/proc/meminfo: memFree=130024280/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=24224 memory=12180 CPUtime=0.67 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 1395 0 0 0 50 17 0 0 20 0 1 0 47303291 24805376 3045 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 6089 3045 1344 243 0 2338 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24224 KiB
Current children cumulated memory: 12180 KiB

[startup+1.50026 s]
/proc/loadavg: 3.01 3.94 4.10 6/250 41064
/proc/meminfo: memFree=130023876/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=27520 memory=17392 CPUtime=1.47 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 2194 0 0 0 124 23 0 0 20 0 1 0 47303291 28180480 4348 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 6880 4348 1344 243 0 3129 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27520 KiB
Current children cumulated memory: 17392 KiB

[startup+3.11239 s]
/proc/loadavg: 3.09 3.94 4.10 6/253 41101
/proc/meminfo: memFree=130003812/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=32208 memory=19696 CPUtime=3.08 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 2779 0 0 0 280 28 0 0 20 0 1 0 47303291 32980992 4924 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 8052 4924 1344 243 0 4301 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 19696 KiB

[startup+6.30028 s]
/proc/loadavg: 3.09 3.94 4.10 6/253 41101
/proc/meminfo: memFree=129954916/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=44420 memory=32920 CPUtime=6.26 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 5559 0 0 0 592 34 0 0 20 0 1 0 47303291 45486080 8230 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 11105 8230 1344 243 0 7354 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 32920 KiB

[startup+12.7003 s]
/proc/loadavg: 3.23 3.94 4.10 6/253 41101
/proc/meminfo: memFree=129875016/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=54060 memory=35992 CPUtime=12.65 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 6322 0 0 0 1223 42 0 0 20 0 1 0 47303291 55357440 8998 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 13515 8998 1344 243 0 9764 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54060 KiB
Current children cumulated memory: 35992 KiB

[startup+25.5003 s]
/proc/loadavg: 3.35 3.94 4.10 6/253 41102
/proc/meminfo: memFree=129714164/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=59616 memory=45636 CPUtime=25.41 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 7723 0 0 0 2487 54 0 0 20 0 1 0 47303291 61046784 11409 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 14904 11409 1344 243 0 11153 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 59616 KiB
Current children cumulated memory: 45636 KiB

[startup+51.1137 s]
/proc/loadavg: 3.57 3.95 4.09 6/253 41102
/proc/meminfo: memFree=129594680/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=80728 memory=59648 CPUtime=50.95 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 10723 0 0 0 5025 70 0 0 20 0 1 0 47303291 82665472 14912 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 20182 14912 1344 243 0 16431 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 80728 KiB
Current children cumulated memory: 59648 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 3.97 4.09 6/254 41105
/proc/meminfo: memFree=129384696/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=84216 memory=65084 CPUtime=102 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 11557 0 0 0 10098 102 0 0 20 0 1 0 47303291 86237184 16271 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 21054 16271 1344 243 0 17303 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 84216 KiB
Current children cumulated memory: 65084 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.01 4.09 6/254 41107
/proc/meminfo: memFree=129267308/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=92060 memory=73432 CPUtime=161.83 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 13160 0 0 0 16051 132 0 0 20 0 1 0 47303291 94269440 18358 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 23015 18358 1344 243 0 19264 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 92060 KiB
Current children cumulated memory: 73432 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.02 4.09 6/254 41109
/proc/meminfo: memFree=129137292/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=93212 memory=76856 CPUtime=221.67 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 13492 0 0 0 22006 161 0 0 20 0 1 0 47303291 95449088 19214 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 23303 19214 1344 243 0 19552 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 93212 KiB
Current children cumulated memory: 76856 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.03 4.09 6/252 41111
/proc/meminfo: memFree=129082356/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=95516 memory=80056 CPUtime=281.51 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 14306 0 0 0 27965 186 0 0 20 0 1 0 47303291 97808384 20014 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 23879 20014 1344 243 0 20128 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 95516 KiB
Current children cumulated memory: 80056 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.06 4.09 6/250 41113
/proc/meminfo: memFree=129031716/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=116628 memory=85344 CPUtime=341.34 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 15113 0 0 0 33920 214 0 0 20 0 1 0 47303291 119427072 21336 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 29157 21336 1344 243 0 25406 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 116628 KiB
Current children cumulated memory: 85344 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.06 4.09 6/250 41116
/proc/meminfo: memFree=128969232/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=118200 memory=88836 CPUtime=401.18 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 15483 0 0 0 39879 239 0 0 20 0 1 0 47303291 121036800 22209 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 29550 22209 1344 243 0 25799 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 118200 KiB
Current children cumulated memory: 88836 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.06 4.09 6/250 41118
/proc/meminfo: memFree=128825572/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=121144 memory=91012 CPUtime=461.03 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 16026 0 0 0 45839 264 0 0 20 0 1 0 47303291 124051456 22753 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 30286 22753 1344 243 0 26535 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 162276 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.17 6/249 41255
/proc/meminfo: memFree=127381740/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=195284 memory=162276 CPUtime=2854.91 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24186 0 0 0 284625 866 0 0 20 0 1 0 47303291 199970816 40569 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 48821 40569 1344 243 0 45070 0
Current children cumulated CPU time: 2854.91 s
Current children cumulated vsize: 195284 KiB
Current children cumulated memory: 162276 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.16 6/250 41258
/proc/meminfo: memFree=127391684/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=195284 memory=162276 CPUtime=2914.77 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24186 0 0 0 290600 877 0 0 20 0 1 0 47303291 199970816 40569 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 48821 40569 1344 243 0 45070 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 195284 KiB
Current children cumulated memory: 162276 KiB

[startup+2982.3 s]
/proc/loadavg: 4.24 4.15 4.17 6/250 41262
/proc/meminfo: memFree=127390384/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=196604 memory=162916 CPUtime=2974.63 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24369 0 0 0 296577 886 0 0 20 0 1 0 47303291 201322496 40729 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49151 40729 1344 243 0 45400 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 196604 KiB
Current children cumulated memory: 162916 KiB

[startup+3042.3 s]
/proc/loadavg: 5.08 4.40 4.25 6/250 41268
/proc/meminfo: memFree=127392508/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=198188 memory=163940 CPUtime=3034.49 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24618 0 0 0 302549 900 0 0 20 0 1 0 47303291 202944512 40985 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49547 40985 1344 243 0 45796 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 198188 KiB
Current children cumulated memory: 163940 KiB

[startup+3102.3 s]
/proc/loadavg: 4.72 4.44 4.28 6/250 41270
/proc/meminfo: memFree=127387752/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=198188 memory=163940 CPUtime=3094.35 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24618 0 0 0 308523 912 0 0 20 0 1 0 47303291 202944512 40985 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49547 40985 1344 243 0 45796 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 198188 KiB
Current children cumulated memory: 163940 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.37 4.26 6/250 41272
/proc/meminfo: memFree=127379808/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=198188 memory=163940 CPUtime=3154.19 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24618 0 0 0 314497 922 0 0 20 0 1 0 47303291 202944512 40985 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49547 40985 1344 243 0 45796 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 198188 KiB
Current children cumulated memory: 163940 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.33 4.26 6/250 41274
/proc/meminfo: memFree=127338224/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=198188 memory=163940 CPUtime=3214.02 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24618 0 0 0 320470 932 0 0 20 0 1 0 47303291 202944512 40985 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49547 40985 1344 243 0 45796 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 198188 KiB
Current children cumulated memory: 163940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.29 4.25 6/249 41276
/proc/meminfo: memFree=127309196/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=198584 memory=164196 CPUtime=3273.84 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 24690 0 0 0 326445 939 0 0 20 0 1 0 47303291 203350016 41049 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 49646 41049 1344 243 0 45895 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 198584 KiB
Current children cumulated memory: 164196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.25 4.23 6/249 41278
/proc/meminfo: memFree=127284788/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=200696 memory=167696 CPUtime=3333.68 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25032 0 0 0 332418 950 0 0 20 0 1 0 47303291 205512704 41924 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50174 41924 1344 243 0 46423 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 200696 KiB
Current children cumulated memory: 167696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.22 4.22 6/249 41280
/proc/meminfo: memFree=127255364/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=200696 memory=167696 CPUtime=3393.51 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25032 0 0 0 338387 964 0 0 20 0 1 0 47303291 205512704 41924 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50174 41924 1344 243 0 46423 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 200696 KiB
Current children cumulated memory: 167696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.19 4.21 6/249 41282
/proc/meminfo: memFree=127256336/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=200696 memory=167696 CPUtime=3453.34 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25032 0 0 0 344359 975 0 0 20 0 1 0 47303291 205512704 41924 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50174 41924 1344 243 0 46423 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 200696 KiB
Current children cumulated memory: 167696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.17 4.20 6/249 41284
/proc/meminfo: memFree=127255192/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=200696 memory=167696 CPUtime=3513.16 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25032 0 0 0 350331 985 0 0 20 0 1 0 47303291 205512704 41924 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50174 41924 1344 243 0 46423 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 200696 KiB
Current children cumulated memory: 167696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.15 4.19 6/250 41288
/proc/meminfo: memFree=127256380/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=200960 memory=167824 CPUtime=3573 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25069 0 0 0 356304 996 0 0 20 0 1 0 47303291 205783040 41956 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50240 41956 1344 243 0 46489 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 200960 KiB
Current children cumulated memory: 167824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.11 4.15 4.18 5/252 41475
/proc/meminfo: memFree=129593080/131382120 swapFree=33010160/33010684
[pid=41018] ppid=41015 vsize=201488 memory=168080 CPUtime=3600.01 cores=4,6
/proc/41018/stat : 41018 (pb-oll-rs) R 41015 41018 40708 0 -1 4194304 25145 0 0 0 359001 1000 0 0 20 0 1 0 47303291 206323712 42020 18446744073709551615 4218880 5211445 140726039627744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 17309696 140726039636380 140726039636457 140726039636457 140726039642059 0
/proc/41018/statm: 50372 42020 1344 243 0 46621 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 201488 KiB
Current children cumulated memory: 168080 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3590.03 s, system=10.0133 s

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

Child status: 0

Real time (s): 3609.41
CPU time (s): 3600.04
CPU user time (s): 3590.03
CPU system time (s): 10.0133
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 201488
Max. memory (cumulated for all children) (KiB): 168080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.03
system time used= 10.0133
maximum resident set size= 168336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 2323


# summary of solver processes directly reported to runsolver:
#   pid: 41018
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3590.03
#   total CPU system time (s): 10.0133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7495 second user time and 35.3578 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 22:44:02
IDJOB=4486052
IDBENCH=146930
IDSOLVER=3345
FILE ID=nodeC008/4486052-1751316242
RUNJOBID= nodeC008-1751316235-40719
SLURM_JOB_ID= 9594335
Free space on /tmp= 433036 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486052-1751316242/watcher-4486052-1751316242 -o /tmp/evaluation-result-4486052-1751316242/solver-4486052-1751316242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40719 --watchdog 3760  pb-oll-rs HOME/instance-4486052-1751316242.opb

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

MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee
RANDOM SEED=1202793565

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130026568 kB
MemAvailable:   129758972 kB
Buffers:            2144 kB
Cached:           542664 kB
SwapCached:           16 kB
Active:           458536 kB
Inactive:         325360 kB
Active(anon):     220356 kB
Inactive(anon):    36652 kB
Active(file):     238180 kB
Inactive(file):   288708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26668 kB
Writeback:             0 kB
AnonPages:        240140 kB
Mapped:           105972 kB
Shmem:             17920 kB
KReclaimable:      90288 kB
Slab:             172024 kB
SReclaimable:      90288 kB
SUnreclaim:        81736 kB
KernelStack:        4064 kB
PageTables:         3412 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     551688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC008 at 2025-06-30 23:44:11