Trace number 4528846

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
mixed-bag-2024 2025-07-10SAT (TO)95230409624575 3600.1 3610.12

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

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 with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.09/300.08	c [STEP] preprocessing done, loading into solver
299.09/300.08	c [STEP] solving
299.09/300.08	c #variables 1577 #constraints 122
299.09/300.08	c SMALL=long long, LARGE=int128
299.09/300.08	d SCIPUB 166250475315200
299.09/300.08	c bounds - >= 0 @ 299.111
299.09/300.08	c stratification level: 131072000000000
299.09/300.10	c bounds 165462671391425 >= 0 @ 299.126
299.09/300.10	c stratification level: 98304000000000
299.09/300.10	c bounds 165462668471425 >= 0 @ 299.128
299.09/300.10	c stratification level: 96665600000000
299.09/300.10	c bounds 165461173431425 >= 0 @ 299.128
299.09/300.10	c stratification level: 95027200000000
299.09/300.10	c bounds 165461161751425 >= 0 @ 299.128
299.09/300.10	c stratification level: 65536000000000
299.09/300.11	c bounds 165460414231425 >= 0 @ 299.129
299.09/300.11	c stratification level: 49152000000000
299.09/300.11	c bounds 165460390871425 >= 0 @ 299.129
299.09/300.11	c stratification level: 48332800000000
299.19/300.11	c bounds 165460017111425 >= 0 @ 299.13
299.19/300.11	c stratification level: 47513600000000
299.19/300.11	c bounds 165459970391425 >= 0 @ 299.131
299.19/300.11	c stratification level: 32768000000000
299.19/300.11	c bounds 149075970391425 >= 0 @ 299.132
299.19/300.11	c stratification level: 24576000000000
299.19/300.11	c bounds 149075876951425 >= 0 @ 299.132
299.19/300.11	c stratification level: 24166400000000
299.19/300.11	c bounds 149075690071425 >= 0 @ 299.133
299.19/300.11	c stratification level: 23756800000000
299.19/300.11	c bounds 149075684231425 >= 0 @ 299.133
299.19/300.11	c stratification level: 20055064576000
299.19/300.12	c bounds 149074189191425 >= 0 @ 299.135
299.19/300.12	c stratification level: 18562416640000
299.19/300.12	c bounds 149074177511425 >= 0 @ 299.136
299.19/300.12	c stratification level: 18371051520000
299.19/300.12	c bounds 149073429991425 >= 0 @ 299.137
299.19/300.12	c stratification level: 16954949632000
299.19/300.12	c bounds 149073406631425 >= 0 @ 299.137
299.19/300.12	c stratification level: 16384000000000
299.19/300.13	c bounds 147376868312075 >= 0 @ 299.147
299.19/300.13	c stratification level: 16044051660800
299.19/300.13	c bounds 147376681432075 >= 0 @ 299.148
299.19/300.13	c stratification level: 15309209600000
299.19/300.13	c bounds 147376658072075 >= 0 @ 299.149
299.19/300.13	c stratification level: 14849933312000
299.19/300.14	c bounds 147376564632075 >= 0 @ 299.151
299.19/300.14	c stratification level: 13563959705600
299.19/300.14	c bounds 147376517912075 >= 0 @ 299.151
299.19/300.14	c stratification level: 12288000000000
299.19/300.14	c bounds 147376506232075 >= 0 @ 299.152
299.19/300.14	c stratification level: 12247367680000
299.19/300.14	c bounds 147376504772075 >= 0 @ 299.152
299.19/300.14	c stratification level: 12083200000000
299.19/300.14	c bounds 147376498932075 >= 0 @ 299.154
299.19/300.14	c stratification level: 11878400000000
299.19/300.14	c bounds 147376496012075 >= 0 @ 299.155
299.19/300.14	c stratification level: 10716446720000
299.19/300.14	c bounds 147376495282075 >= 0 @ 299.155
299.19/300.14	c stratification level: 10027532288000
299.19/300.15	c bounds 147376494473600 >= 0 @ 299.158
299.19/300.15	c stratification level: 9281208320000
299.19/300.15	c bounds 147376472184875 >= 0 @ 299.159
299.19/300.15	c stratification level: 9185525760000
299.19/300.15	c bounds 147376468899875 >= 0 @ 299.163
299.19/300.15	c stratification level: 8477474816000
299.19/300.16	c bounds 147376467257375 >= 0 @ 299.164
299.19/300.16	c stratification level: 8192000000000
299.27/300.22	c bounds 133007795756875 >= 0 @ 299.211
299.27/300.22	c stratification level: 8022025830400
299.27/300.22	c bounds 133003609644875 >= 0 @ 299.212
299.27/300.22	c stratification level: 7654604800000
299.27/300.22	c bounds 133003609462375 >= 0 @ 299.213
299.27/300.22	c stratification level: 7424966656000
299.27/300.22	c bounds 133003608002375 >= 0 @ 299.215
299.27/300.22	c stratification level: 6781979852800
299.27/300.22	c bounds 133003605082375 >= 0 @ 299.217
299.27/300.22	c stratification level: 6144000000000
299.27/300.23	c bounds 133003523322375 >= 0 @ 299.218
299.27/300.23	c stratification level: 6123683840000
299.27/300.23	c bounds 133003522044875 >= 0 @ 299.219
299.27/300.23	c stratification level: 6041600000000
299.27/300.23	c bounds 133003481164875 >= 0 @ 299.221
299.27/300.23	c stratification level: 5939200000000
299.27/300.23	c bounds 133003478609875 >= 0 @ 299.222
299.27/300.23	c stratification level: 5358223360000
299.27/300.23	c bounds 133003458169875 >= 0 @ 299.222
299.27/300.23	c stratification level: 5013766144000
299.27/300.23	c bounds 133003453059875 >= 0 @ 299.223
299.27/300.23	c stratification level: 4898947072000
299.27/300.24	c bounds 133003442839875 >= 0 @ 299.224
299.27/300.24	c stratification level: 4640604160000
299.27/300.24	c bounds 133003279319875 >= 0 @ 299.225
299.27/300.24	c stratification level: 4592762880000
299.27/300.24	c bounds 133001971159875 >= 0 @ 299.226
299.27/300.24	c stratification level: 4505600000000
299.27/300.24	c bounds 133001644119875 >= 0 @ 299.227
299.27/300.24	c stratification level: 4403200000000
299.27/300.24	c bounds 133000990039875 >= 0 @ 299.229
299.27/300.24	c stratification level: 4286578688000
299.27/300.25	c bounds 132992617815875 >= 0 @ 299.231
299.27/300.25	c stratification level: 4238737408000
299.27/300.25	c bounds 132992244055875 >= 0 @ 299.233
299.27/300.25	c stratification level: 4096000000000
299.47/300.48	c bounds 132992244055875 >= 4096000000000 @ 299.234
299.47/300.48	c bounds 132992244055875 >= 8192000000000 @ 299.234
299.47/300.48	c finalizing WCE round: reformulating cores
299.67/300.68	c bounds 118662883781725 >= 8192000000000 @ 299.503
299.67/300.68	c bounds 118662883781725 >= 12288000000000 @ 299.506
299.67/300.68	c bounds 118662883781725 >= 16384000000000 @ 299.511
299.67/300.68	c #Conflicts:       1000 | #Constraints:       1203
299.67/300.68	c finalizing WCE round: reformulating cores
299.97/300.95	c bounds 111212325897050 >= 16384000000000 @ 299.719
299.97/300.95	c bounds 111212325897050 >= 20480000000000 @ 299.721
299.97/300.95	c bounds 111212325897050 >= 24576000000000 @ 299.806
299.97/300.95	c finalizing WCE round: reformulating cores
300.08/301.10	c bounds 110154049949400 >= 24576000000000 @ 299.962
300.08/301.10	c bounds 110154049949400 >= 28672000000000 @ 300.002
300.08/301.10	c finalizing WCE round: reformulating cores
302.96/303.91	c bounds 101740681830900 >= 28672000000000 @ 300.133
302.96/303.91	c #Conflicts:       2000 | #Constraints:       2270
302.96/303.91	c INPROCESSING
302.96/303.91	c GARBAGE COLLECT
302.96/303.91	c bounds 101740681830900 >= 32768000000000 @ 300.548
302.96/303.91	c #Conflicts:       3000 | #Constraints:       2299
302.96/303.91	c #Conflicts:       4000 | #Constraints:       3299
302.96/303.91	c finalizing WCE round: reformulating cores
303.18/304.19	c INPROCESSING
303.18/304.19	c GARBAGE COLLECT
303.18/304.19	c bounds 99963374705875 >= 32768000000000 @ 303.022
303.18/304.19	c bounds 99796975475300 >= 32768000000000 @ 303.052
303.18/304.19	c stratification level: 4011012915200
303.18/304.20	c bounds 99796321395300 >= 32768000000000 @ 303.054
303.18/304.20	c stratification level: 3891200000000
303.26/304.20	c bounds 99795667315300 >= 32768000000000 @ 303.058
303.26/304.20	c stratification level: 3827302400000
303.26/304.20	c bounds 99795667187550 >= 32768000000000 @ 303.061
303.26/304.20	c stratification level: 3712483328000
303.26/304.21	c bounds 99795666457550 >= 32768000000000 @ 303.069
303.26/304.21	c stratification level: 3686400000000
303.26/304.22	c bounds 99795666202050 >= 32768000000000 @ 303.075
303.26/304.22	c stratification level: 3390989926400
303.26/304.22	c bounds 99795665180050 >= 32768000000000 @ 303.08
303.26/304.22	c stratification level: 3061841920000
303.26/304.26	c bounds 99704135440400 >= 32768000000000 @ 303.111
303.26/304.26	c stratification level: 2679111680000
303.26/304.26	c bounds 99703761680400 >= 32768000000000 @ 303.115
303.26/304.26	c stratification level: 2506883072000
303.26/304.26	c bounds 99703761497900 >= 32768000000000 @ 303.118
303.26/304.26	c stratification level: 2449473536000
303.26/304.27	c bounds 99703013977900 >= 32768000000000 @ 303.122
303.26/304.27	c stratification level: 2320302080000
303.26/304.27	c bounds 99703013021600 >= 32768000000000 @ 303.125
303.26/304.27	c stratification level: 2296381440000
303.26/304.27	c bounds 99703011109000 >= 32768000000000 @ 303.129
303.26/304.27	c stratification level: 2219835392000
303.26/304.28	c bounds 99703007283800 >= 32768000000000 @ 303.132
303.26/304.28	c stratification level: 2143289344000
303.26/304.28	c bounds 99702990931800 >= 32768000000000 @ 303.135
303.26/304.28	c stratification level: 2119368704000
303.26/304.29	c bounds 99701495891800 >= 32768000000000 @ 303.14
303.26/304.29	c stratification level: 2048000000000
306.85/307.80	c #Conflicts:       5000 | #Constraints:       2745
306.85/307.80	c bounds 99701495891800 >= 34816000000000 @ 303.67
306.85/307.80	c #Conflicts:       6000 | #Constraints:       3747
306.85/307.80	c finalizing WCE round: reformulating cores
331.68/332.74	c INPROCESSING
331.68/332.74	c GARBAGE COLLECT
331.68/332.74	c #Conflicts:       7000 | #Constraints:       2752
331.68/332.74	c bounds 97622681946500 >= 34816000000000 @ 307.829
331.68/332.74	c #Conflicts:       8000 | #Constraints:       3754
331.68/332.74	c bounds 97622681946500 >= 36864000000000 @ 310.171
331.68/332.74	c #Conflicts:       9000 | #Constraints:       4779
331.68/332.74	c INPROCESSING
331.68/332.74	c GARBAGE COLLECT
331.68/332.74	c #Conflicts:      10000 | #Constraints:       3489
331.68/332.74	c #Conflicts:      11000 | #Constraints:       4489
331.68/332.74	c #Conflicts:      12000 | #Constraints:       5489
331.68/332.74	c INPROCESSING
331.68/332.74	c GARBAGE COLLECT
331.68/332.74	c #Conflicts:      13000 | #Constraints:       3950
331.68/332.74	c #Conflicts:      14000 | #Constraints:       4950
331.68/332.74	c finalizing WCE round: reformulating cores
333.18/334.28	c bounds 96762164117575 >= 36864000000000 @ 331.36
333.18/334.28	c bounds 95575428444175 >= 36864000000000 @ 332.774
333.18/334.28	c stratification level: 2027683840000
333.27/334.32	c bounds 95533567324175 >= 36864000000000 @ 332.806
333.27/334.32	c stratification level: 2005506457600
333.27/334.34	c bounds 95449845084175 >= 36864000000000 @ 332.828
333.27/334.34	c stratification level: 1990197248000
333.27/334.36	c bounds 95449844901675 >= 36864000000000 @ 332.85
333.27/334.36	c stratification level: 1945600000000
333.27/334.38	c bounds 95449844711875 >= 36864000000000 @ 332.872
333.27/334.38	c stratification level: 1913651200000
333.37/334.40	c bounds 95449843981875 >= 36864000000000 @ 332.895
333.37/334.40	c stratification level: 1856241664000
333.37/334.43	c bounds 95449843251875 >= 36864000000000 @ 332.915
333.37/334.43	c stratification level: 1843200000000
333.37/334.47	c bounds 95449842156875 >= 36864000000000 @ 332.963
333.37/334.47	c stratification level: 1837105152000
333.48/334.51	c bounds 95449838068875 >= 36864000000000 @ 332.993
333.48/334.51	c stratification level: 1779302400000
333.48/334.53	c bounds 95449832228875 >= 36864000000000 @ 333.016
333.48/334.53	c stratification level: 1775868313600
333.48/334.55	c bounds 95449826388875 >= 36864000000000 @ 333.037
333.48/334.55	c stratification level: 1722286080000
333.48/334.57	c bounds 95448486108875 >= 36864000000000 @ 333.059
333.48/334.57	c stratification level: 1695494963200
333.58/334.60	c bounds 95448478954875 >= 36864000000000 @ 333.088
333.58/334.60	c stratification level: 1638400000000
333.58/334.63	c bounds 95448462602875 >= 36864000000000 @ 333.111
333.58/334.63	c stratification level: 1592157798400
333.58/334.65	c bounds 95447715082875 >= 36864000000000 @ 333.134
333.58/334.65	c stratification level: 1530920960000
341.85/342.93	c #Conflicts:      15000 | #Constraints:       5969
341.85/342.93	c INPROCESSING
341.85/342.93	c GARBAGE COLLECT
341.85/342.93	c #Conflicts:      16000 | #Constraints:       4154
341.85/342.93	c bounds 95379358549000 >= 36864000000000 @ 341.313
341.85/342.93	c stratification level: 1377828864000
341.85/342.96	c bounds 95379357819000 >= 36864000000000 @ 341.338
341.85/342.96	c stratification level: 1342989926400
341.85/342.99	c bounds 95312380027000 >= 36864000000000 @ 341.364
341.85/342.99	c stratification level: 1339555840000
410.36/411.62	c #Conflicts:      17000 | #Constraints:       5157
410.36/411.62	c #Conflicts:      18000 | #Constraints:       6157
410.36/411.62	c INPROCESSING
410.36/411.62	c GARBAGE COLLECT
410.36/411.62	c #Conflicts:      19000 | #Constraints:       4167
410.36/411.62	c #Conflicts:      20000 | #Constraints:       5167
410.36/411.62	c #Conflicts:      21000 | #Constraints:       6167
410.36/411.62	c INPROCESSING
410.36/411.62	c GARBAGE COLLECT
410.36/411.62	c #Conflicts:      22000 | #Constraints:       3964
410.36/411.62	c bounds 95312380027000 >= 38203555840000 @ 370.989
410.36/411.62	c #Conflicts:      23000 | #Constraints:       4965
410.36/411.62	c #Conflicts:      24000 | #Constraints:       5965
410.36/411.62	c #Conflicts:      25000 | #Constraints:       6965
410.36/411.62	c INPROCESSING
410.36/411.62	c GARBAGE COLLECT
410.36/411.62	c #Conflicts:      26000 | #Constraints:       4558
410.36/411.62	c #Conflicts:      27000 | #Constraints:       5558
410.36/411.62	c finalizing WCE round: reformulating cores
426.10/427.44	c #Conflicts:      28000 | #Constraints:       6561
426.10/427.44	c bounds 95304356461950 >= 38203555840000 @ 414.626
426.10/427.44	c #Conflicts:      29000 | #Constraints:       7585
426.10/427.44	c INPROCESSING
426.10/427.44	c GARBAGE COLLECT
426.10/427.44	c #Conflicts:      30000 | #Constraints:       4981
426.10/427.44	c #Conflicts:      31000 | #Constraints:       5981
426.10/427.44	c bounds 95262582208300 >= 38203555840000 @ 424.991
426.10/427.44	c stratification level: 1253441536000
426.10/427.46	c bounds 95262581996600 >= 38203555840000 @ 425.013
426.10/427.46	c stratification level: 1224736768000
426.10/427.49	c bounds 95262581814100 >= 38203555840000 @ 425.035
426.10/427.49	c stratification level: 1160151040000
426.20/427.51	c bounds 95262488374100 >= 38203555840000 @ 425.057
426.20/427.51	c stratification level: 1148190720000
426.20/427.53	c bounds 95262488209850 >= 38203555840000 @ 425.078
426.20/427.53	c stratification level: 1109917696000
2516.11/2523.30	c #Conflicts:      32000 | #Constraints:       6986
2516.11/2523.30	c #Conflicts:      33000 | #Constraints:       7986
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      34000 | #Constraints:       5169
2516.11/2523.30	c #Conflicts:      35000 | #Constraints:       6169
2516.11/2523.30	c #Conflicts:      36000 | #Constraints:       7169
2516.11/2523.30	c #Conflicts:      37000 | #Constraints:       8169
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      38000 | #Constraints:       5181
2516.11/2523.30	c #Conflicts:      39000 | #Constraints:       6181
2516.11/2523.30	c #Conflicts:      40000 | #Constraints:       7181
2516.11/2523.30	c #Conflicts:      41000 | #Constraints:       8181
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      42000 | #Constraints:       4978
2516.11/2523.30	c #Conflicts:      43000 | #Constraints:       5978
2516.11/2523.30	c #Conflicts:      44000 | #Constraints:       6978
2516.11/2523.30	c #Conflicts:      45000 | #Constraints:       7978
2516.11/2523.30	c #Conflicts:      46000 | #Constraints:       8978
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      47000 | #Constraints:       5580
2516.11/2523.30	c #Conflicts:      48000 | #Constraints:       6580
2516.11/2523.30	c #Conflicts:      49000 | #Constraints:       7580
2516.11/2523.30	c #Conflicts:      50000 | #Constraints:       8580
2516.11/2523.30	c #Conflicts:      51000 | #Constraints:       9580
2516.11/2523.30	c #Conflicts:      52000 | #Constraints:      10580
2516.11/2523.30	c #Conflicts:      53000 | #Constraints:      11580
2516.11/2523.30	c #Conflicts:      54000 | #Constraints:      12580
2516.11/2523.30	c #Conflicts:      55000 | #Constraints:      13580
2516.11/2523.30	c #Conflicts:      56000 | #Constraints:      14580
2516.11/2523.30	c #Conflicts:      57000 | #Constraints:      15580
2516.11/2523.30	c #Conflicts:      58000 | #Constraints:      16580
2516.11/2523.30	c #Conflicts:      59000 | #Constraints:      17580
2516.11/2523.30	c #Conflicts:      60000 | #Constraints:      18580
2516.11/2523.30	c #Conflicts:      61000 | #Constraints:      19580
2516.11/2523.30	c #Conflicts:      62000 | #Constraints:      20580
2516.11/2523.30	c #Conflicts:      63000 | #Constraints:      21580
2516.11/2523.30	c #Conflicts:      64000 | #Constraints:      22580
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      65000 | #Constraints:      12251
2516.11/2523.30	c #Conflicts:      66000 | #Constraints:      13251
2516.11/2523.30	c #Conflicts:      67000 | #Constraints:      14251
2516.11/2523.30	c #Conflicts:      68000 | #Constraints:      15251
2516.11/2523.30	c #Conflicts:      69000 | #Constraints:      16251
2516.11/2523.30	c #Conflicts:      70000 | #Constraints:      17251
2516.11/2523.30	c INPROCESSING
2516.11/2523.30	c GARBAGE COLLECT
2516.11/2523.30	c #Conflicts:      71000 | #Constraints:       9613
2516.11/2523.30	c #Conflicts:      72000 | #Constraints:      10613
2516.11/2523.30	c #Conflicts:      73000 | #Constraints:      11613
2516.11/2523.30	c #Conflicts:      74000 | #Constraints:      12613
2516.11/2523.30	c #Conflicts:      75000 | #Constraints:      13613
2516.11/2523.30	c #Conflicts:      76000 | #Constraints:      14613
2516.11/2523.30	c #Conflicts:      77000 | #Constraints:      15613
2516.11/2523.30	c #Conflicts:      78000 | #Constraints:      16613
2516.11/2523.30	c #Conflicts:      79000 | #Constraints:      17613
2516.11/2523.30	c #Conflicts:      80000 | #Constraints:      18613
2516.11/2523.30	c #Conflicts:      81000 | #Constraints:      19613
2516.11/2523.30	c #Conflicts:      82000 | #Constraints:      20613
2516.11/2523.30	c #Conflicts:      83000 | #Constraints:      21613
2516.11/2523.30	c #Conflicts:      84000 | #Constraints:      22613
2516.11/2523.30	c #Conflicts:      85000 | #Constraints:      23613
2516.11/2523.30	c #Conflicts:      86000 | #Constraints:      24613
2516.11/2523.30	c #Conflicts:      87000 | #Constraints:      25613
2516.11/2523.30	c bounds 95230410391075 >= 38203555840000 @ 2510.38
2516.11/2523.30	c stratification level: 1071644672000
2516.41/2523.60	c bounds 95230410062575 >= 38203555840000 @ 2510.68
2516.41/2523.60	c stratification level: 1059684352000
2516.61/2523.82	c bounds 95230409624575 >= 38203555840000 @ 2510.9
2516.61/2523.82	c stratification level: 1024000000000
3600.08/3610.11	c #Conflicts:      88000 | #Constraints:      26616
3600.08/3610.11	c #Conflicts:      89000 | #Constraints:      27616
3600.08/3610.11	c #Conflicts:      90000 | #Constraints:      28616
3600.08/3610.11	c #Conflicts:      91000 | #Constraints:      29616
3600.08/3610.11	c INPROCESSING
3600.08/3610.11	c GARBAGE COLLECT
3600.08/3610.11	c #Conflicts:      92000 | #Constraints:      15568
3600.08/3610.11	c #Conflicts:      93000 | #Constraints:      16568
3600.08/3610.11	c #Conflicts:      94000 | #Constraints:      17568
3600.08/3610.11	c #Conflicts:      95000 | #Constraints:      18568
3600.08/3610.11	c #Conflicts:      96000 | #Constraints:      19568
3600.08/3610.11	c #Conflicts:      97000 | #Constraints:      20568
3600.08/3610.11	c #Conflicts:      98000 | #Constraints:      21568
3600.08/3610.11	c #Conflicts:      99000 | #Constraints:      22568
3600.08/3610.11	c INPROCESSING
3600.08/3610.11	c GARBAGE COLLECT
3600.08/3610.11	c #Conflicts:     100000 | #Constraints:      12443
3600.08/3610.11	c #Conflicts:     101000 | #Constraints:      13443
3600.08/3610.11	c #Conflicts:     102000 | #Constraints:      14443
3600.08/3610.11	c #Conflicts:     103000 | #Constraints:      15443
3600.08/3610.11	c #Conflicts:     104000 | #Constraints:      16443
3600.08/3610.11	c #Conflicts:     105000 | #Constraints:      17443
3600.08/3610.11	c #Conflicts:     106000 | #Constraints:      18443
3600.08/3610.11	c #Conflicts:     107000 | #Constraints:      19443
3600.08/3610.11	c #Conflicts:     108000 | #Constraints:      20443
3600.08/3610.11	c #Conflicts:     109000 | #Constraints:      21443
3600.08/3610.11	c #Conflicts:     110000 | #Constraints:      22443
3600.08/3610.11	c #Conflicts:     111000 | #Constraints:      23443
3600.08/3610.11	c #Conflicts:     112000 | #Constraints:      24443
3600.08/3610.11	c #Conflicts:     113000 | #Constraints:      25443
3600.08/3610.11	c #Conflicts:     114000 | #Constraints:      26443
3600.08/3610.11	c #Conflicts:     115000 | #Constraints:      27443
3600.08/3610.11	c bounds 95230409624575 >= 39227555840000 @ 3126.33
3600.08/3610.11	c #Conflicts:     116000 | #Constraints:      28444
3600.08/3610.11	c #Conflicts:     117000 | #Constraints:      29444
3600.08/3610.11	c #Conflicts:     118000 | #Constraints:      30444
3600.08/3610.11	c #Conflicts:     119000 | #Constraints:      31444
3600.08/3610.11	c #Conflicts:     120000 | #Constraints:      32444
3600.08/3610.11	c #Conflicts:     121000 | #Constraints:      33444
3600.08/3610.11	c #Conflicts:     122000 | #Constraints:      34444
3600.08/3610.11	c Program interrupted by user.
3600.08/3610.11	c cpu time 3592.64 s
3600.08/3610.11	c deterministic time 251629661748 2.52e+11
3600.08/3610.11	c optimization time 473.609 s
3600.08/3610.11	c total solve time 2819.92 s
3600.08/3610.11	c core-guided solve time 2819.92 s
3600.08/3610.11	c propagation time 3139.46 s
3600.08/3610.11	c conflict analysis time 140.535 s
3600.08/3610.11	c propagations 29247701
3600.08/3610.11	c resolve steps 1428923
3600.08/3610.11	c decisions 5216788
3600.08/3610.11	c conflicts 122175
3600.08/3610.11	c restarts 323
3600.08/3610.11	c inprocessing phases 18
3600.08/3610.11	c input clauses 75
3600.08/3610.11	c input cardinalities 46
3600.08/3610.11	c input general constraints 282
3600.08/3610.11	c input average constraint length 359.99
3600.08/3610.11	c input average constraint degree 293851071052628.31
3600.08/3610.11	c learned clauses 7665
3600.08/3610.11	c learned cardinalities 15
3600.08/3610.11	c learned general constraints 114496
3600.08/3610.11	c learned average constraint length 420.98
3600.08/3610.11	c learned average constraint degree 2042542986.61
3600.08/3610.11	c watched constraints 92865
3600.08/3610.11	c counting constraints 21913
3600.08/3610.11	c gcd simplifications 4511
3600.08/3610.11	c detected cardinalities 9
3600.08/3610.11	c weakened non-implied lits 1708560
3600.08/3610.11	c weakened non-implying lits 15023
3600.08/3610.11	c original variables 2219
3600.08/3610.11	c clausal propagations 1282674
3600.08/3610.11	c cardinality propagations 264354
3600.08/3610.11	c watched propagations 20318572
3600.08/3610.11	c counting propagations 7363427
3600.08/3610.11	c watch lookups 55718001263
3600.08/3610.11	c watch backjump lookups 55084510009
3600.08/3610.11	c watch checks 107303956997
3600.08/3610.11	c propagation checks 33058167675
3600.08/3610.11	c constraint additions 395975128
3600.08/3610.11	c trail pops 34586186
3600.08/3610.11	c formula constraints 122
3600.08/3610.11	c learned constraints 122176
3600.08/3610.11	c bound constraints 145
3600.08/3610.11	c core-guided constraints 136
3600.08/3610.11	c encountered formula constraints 274001
3600.08/3610.11	c encountered learned constraints 1136492
3600.08/3610.11	c encountered bound constraints 488
3600.08/3610.11	c encountered core-guided constraints 140117
3600.08/3610.11	c LP total time 0 s
3600.08/3610.11	c LP solve time 0 s
3600.08/3610.11	c LP constraints added 0
3600.08/3610.11	c LP constraints removed 0
3600.08/3610.11	c LP pivots internal 0
3600.08/3610.11	c LP pivots root 0
3600.08/3610.11	c LP calls 0
3600.08/3610.11	c LP optimalities 0
3600.08/3610.11	c LP no pivot count 0
3600.08/3610.11	c LP infeasibilities 0
3600.08/3610.11	c LP valid Farkas constraints 0
3600.08/3610.11	c LP learned Farkas constraints 0
3600.08/3610.11	c LP basis resets 0
3600.08/3610.11	c LP cycling count 0
3600.08/3610.11	c LP singular count 0
3600.08/3610.11	c LP no primal count 0
3600.08/3610.11	c LP no farkas count 0
3600.08/3610.11	c LP other issue count 0
3600.08/3610.11	c LP Gomory cuts 0
3600.08/3610.11	c LP learned cuts 0
3600.08/3610.11	c LP deleted cuts 0
3600.08/3610.11	c LP encountered Gomory constraints 0
3600.08/3610.11	c LP encountered Farkas constraints 0
3600.08/3610.11	c LP encountered learned Farkas constraints 0
3600.08/3610.11	c CG auxiliary variables introduced 49
3600.08/3610.11	c CG solutions found 98
3600.08/3610.11	c CG cores constructed 12
3600.08/3610.11	c CG core cardinality constraints returned 0
3600.08/3610.11	c CG unit cores 0
3600.08/3610.11	c CG single cores 12
3600.08/3610.11	c CG blocks removed during cardinality reduction 0
3600.08/3610.11	c CG first core best 0
3600.08/3610.11	c CG decision core best 0
3600.08/3610.11	c CG core reduction tie 0
3600.08/3610.11	c CG core degree average 1.00
3600.08/3610.11	c CG core slack average 58.00
3600.08/3610.11	c CG exhausted 0
3600.08/3610.11	c CG exhaust time 7.23526 s
3600.08/3610.11	c CG trimmed 20
3600.08/3610.11	c CG trim time 0.03603 s
3600.08/3610.11	c CG minimized 0
3600.08/3610.11	c CG minimize time 0 s
3600.08/3610.11	c CG am1 prop time 0.004391 s
3600.08/3610.11	c CG # am1s reformulated 0
3600.08/3610.11	c CG lower bound derived from am1s 0
3600.08/3610.11	c CG # clausal cores 11
3600.08/3610.11	c CG # cardinality cores 0
3600.08/3610.11	c CG # pb cores 1
3600.08/3610.11	c CG # pb reforms 3
3600.08/3610.11	c CG # cores discarded because of pb reform 0
3600.08/3610.11	d LOWERBOUND 39227555840000
3600.08/3610.11	d NCORES 12
3600.08/3610.11	d NPBCORES 1
3600.08/3610.11	d NPBREFORM 3
3600.08/3610.11	d NTRIMMED 20
3600.08/3610.11	d NEXHAUSTED 0
3600.08/3610.11	d NAM1S 0
3600.08/3610.11	d AM1LB 0
3600.08/3610.11	c [Papilo Statistics]
3600.08/3610.11	c prepro time 0.0105945s
3600.08/3610.11	c # tsx applied 1053
3600.08/3610.11	c # tsx conflicts 2
3600.08/3610.11	c # bound changes 643
3600.08/3610.11	c # side changes 44
3600.08/3610.11	c # coef changes 416
3600.08/3610.11	c # rounds 8
3600.08/3610.11	c # deted vars 643
3600.08/3610.11	c # deted constrs 29
3600.08/3610.11	c # consecutive rounds of only bound changes 0
3600.08/3610.11	c [STEP] postprocessing with Papilo
3600.08/3610.11	o 95230409624575
3600.08/3610.11	s SATISFIABLE
3600.08/3610.11	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	95230409624575

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528846-1752256161/watcher-4528846-1752256161 -o /tmp/evaluation-result-4528846-1752256161/solver-4528846-1752256161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760 mixed-bag HOME/instance-4528846-1752256161.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=116600, runsolver pid=116597

[startup+0.100074 s]*
/proc/loadavg: 3.07 3.85 4.07 5/252 116601
/proc/meminfo: memFree=125819888/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=100152 memory=28380 CPUtime=0.08 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 3525 0 0 0 7 1 0 0 20 0 1 0 141294944 102555648 7095 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 25038 7095 4096 2834 0 7243 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 100152 KiB
Current children cumulated memory: 28380 KiB

[startup+0.214821 s]*
/proc/loadavg: 3.07 3.85 4.07 5/252 116601
/proc/meminfo: memFree=125817872/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=101348 memory=29404 CPUtime=0.19 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 3778 0 0 0 18 1 0 0 20 0 1 0 141294944 103780352 7351 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 25337 7351 4096 2834 0 7542 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101348 KiB
Current children cumulated memory: 29404 KiB

[startup+0.313106 s]*
/proc/loadavg: 3.07 3.85 4.07 6/252 116601
/proc/meminfo: memFree=125817872/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=101608 memory=29660 CPUtime=0.29 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 3842 0 0 0 28 1 0 0 20 0 1 0 141294944 104046592 7415 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 25402 7415 4096 2834 0 7607 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 29660 KiB

[startup+0.700341 s]
/proc/loadavg: 3.07 3.85 4.07 5/252 116601
/proc/meminfo: memFree=125810312/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=116604 memory=41544 CPUtime=0.66 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 7563 0 0 0 63 3 0 0 20 0 1 0 141294944 119402496 10386 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 29151 10386 4288 2834 0 11356 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116604 KiB
Current children cumulated memory: 41544 KiB

[startup+1.50026 s]
/proc/loadavg: 3.07 3.85 4.07 5/252 116601
/proc/meminfo: memFree=125641220/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=117460 memory=43720 CPUtime=1.46 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 8109 0 0 0 143 3 0 0 20 0 1 0 141294944 120279040 10930 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 29365 10930 4288 2834 0 11570 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 43720 KiB

[startup+3.11211 s]
/proc/loadavg: 3.07 3.85 4.07 4/248 116651
/proc/meminfo: memFree=125855820/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=117460 memory=43976 CPUtime=3.06 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 8144 0 0 0 303 3 0 0 20 0 1 0 141294944 120279040 10994 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 29365 10994 4320 2834 0 11570 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 43976 KiB

[startup+6.3003 s]
/proc/loadavg: 3.14 3.85 4.07 5/252 116691
/proc/meminfo: memFree=125842432/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=119304 memory=45640 CPUtime=6.24 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 8535 0 0 0 621 3 0 0 20 0 1 0 141294944 122167296 11410 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 29826 11410 4320 2834 0 12031 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 119304 KiB
Current children cumulated memory: 45640 KiB

[startup+12.7003 s]
/proc/loadavg: 3.21 3.86 4.06 5/252 116692
/proc/meminfo: memFree=125892964/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=119304 memory=45896 CPUtime=12.62 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 8608 0 0 0 1259 3 0 0 20 0 1 0 141294944 122167296 11474 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 29826 11474 4320 2834 0 12031 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 119304 KiB
Current children cumulated memory: 45896 KiB

[startup+25.5003 s]
/proc/loadavg: 3.46 3.88 4.07 5/252 116692
/proc/meminfo: memFree=125945104/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=123040 memory=49736 CPUtime=25.38 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 9581 0 0 0 2535 3 0 0 20 0 1 0 141294944 125992960 12434 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 30760 12434 4320 2834 0 12965 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 123040 KiB
Current children cumulated memory: 49736 KiB

[startup+51.1125 s]
/proc/loadavg: 3.72 3.91 4.07 5/252 116692
/proc/meminfo: memFree=125937040/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=128612 memory=56264 CPUtime=50.92 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 11007 0 0 0 5088 4 0 0 20 0 1 0 141294944 131698688 14066 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 32153 14066 4544 2834 0 14358 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 128612 KiB
Current children cumulated memory: 56264 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.94 4.07 5/252 116694
/proc/meminfo: memFree=125922020/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=133364 memory=60720 CPUtime=101.96 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 12377 0 0 0 10192 4 0 0 20 0 1 0 141294944 136564736 15180 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 33341 15180 4544 2834 0 15546 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 133364 KiB
Current children cumulated memory: 60720 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.97 4.07 5/251 116696
/proc/meminfo: memFree=125877220/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=132880 memory=60936 CPUtime=161.78 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 12639 0 0 0 16174 4 0 0 20 0 1 0 141294944 136069120 15234 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 33220 15234 4544 2834 0 15425 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 132880 KiB
Current children cumulated memory: 60936 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.99 4.07 5/250 116698
/proc/meminfo: memFree=125867960/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=136644 memory=64624 CPUtime=221.6 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 14205 0 0 0 22156 4 0 0 20 0 1 0 141294944 139923456 16156 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 34161 16156 4544 2834 0 16366 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 136644 KiB
Current children cumulated memory: 64624 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.01 4.07 5/250 116700
/proc/meminfo: memFree=125865108/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=141868 memory=69920 CPUtime=281.43 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 16250 0 0 0 28138 5 0 0 20 0 1 0 141294944 145272832 17480 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 35467 17480 4544 2834 0 17672 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 141868 KiB
Current children cumulated memory: 69920 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.02 4.07 5/251 116704
/proc/meminfo: memFree=125617188/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=148344 memory=82788 CPUtime=341.26 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 18888 0 0 0 34068 58 0 0 20 0 1 0 141294944 151904256 20697 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 37086 20697 4672 2834 0 19291 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 148344 KiB
Current children cumulated memory: 82788 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.05 4.08 5/251 116706
/proc/meminfo: memFree=125331376/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=160020 memory=91200 CPUtime=401.08 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 19432 0 0 0 40008 100 0 0 20 0 1 0 141294944 163860480 22800 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 40005 22800 4672 2834 0 22210 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 160020 KiB
Current children cumulated memory: 91200 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.05 4.08 5/252 116711
/proc/meminfo: memFree=124651408/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=160020 memory=93276 CPUtime=460.91 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 19441 0 0 0 45949 142 0 0 20 0 1 0 141294944 163860480 23319 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 40005 23319 4672 2834 0 22210 0
Current children cumulated CPU time: 460.91 s

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

Current children cumulated memory: 294392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/251 116845
/proc/meminfo: memFree=123355672/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=378356 memory=294392 CPUtime=2914.04 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44398 0 0 0 290756 648 0 0 20 0 1 0 141294944 387436544 73598 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 94589 73598 4672 2834 0 76794 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 378356 KiB
Current children cumulated memory: 294392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/250 116847
/proc/meminfo: memFree=123332740/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=378356 memory=294392 CPUtime=2973.88 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44398 0 0 0 296725 663 0 0 20 0 1 0 141294944 387436544 73598 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 94589 73598 4672 2834 0 76794 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 378356 KiB
Current children cumulated memory: 294392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/250 116849
/proc/meminfo: memFree=123301336/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=378356 memory=294392 CPUtime=3033.73 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44398 0 0 0 302699 674 0 0 20 0 1 0 141294944 387436544 73598 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 94589 73598 4672 2834 0 76794 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 378356 KiB
Current children cumulated memory: 294392 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.14 4.12 5/250 116851
/proc/meminfo: memFree=123267700/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=378356 memory=294392 CPUtime=3093.58 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44399 0 0 0 308675 683 0 0 20 0 1 0 141294944 387436544 73598 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 94589 73598 4672 2834 0 76794 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 378356 KiB
Current children cumulated memory: 294392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 116853
/proc/meminfo: memFree=123257996/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=381008 memory=296312 CPUtime=3153.44 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44868 0 0 0 314652 692 0 0 20 0 1 0 141294944 390152192 74078 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95252 74078 4672 2834 0 77457 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 381008 KiB
Current children cumulated memory: 296312 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/250 116855
/proc/meminfo: memFree=123257996/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=381008 memory=296440 CPUtime=3213.28 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 44893 0 0 0 320627 701 0 0 20 0 1 0 141294944 390152192 74110 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95252 74110 4672 2834 0 77457 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 381008 KiB
Current children cumulated memory: 296440 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/250 116857
/proc/meminfo: memFree=123257996/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=381520 memory=296696 CPUtime=3273.12 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45017 0 0 0 326602 710 0 0 20 0 1 0 141294944 390676480 74174 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95380 74174 4672 2834 0 77585 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 381520 KiB
Current children cumulated memory: 296696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/249 116859
/proc/meminfo: memFree=123249940/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=381520 memory=296824 CPUtime=3332.96 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45042 0 0 0 332579 717 0 0 20 0 1 0 141294944 390676480 74206 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95380 74206 4672 2834 0 77585 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 381520 KiB
Current children cumulated memory: 296824 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/250 116862
/proc/meminfo: memFree=123241736/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=382276 memory=297208 CPUtime=3392.81 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45132 0 0 0 338558 723 0 0 20 0 1 0 141294944 391450624 74302 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95569 74302 4672 2834 0 77774 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 382276 KiB
Current children cumulated memory: 297208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 116867
/proc/meminfo: memFree=123243828/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=382532 memory=297336 CPUtime=3452.65 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45175 0 0 0 344536 729 0 0 20 0 1 0 141294944 391712768 74334 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95633 74334 4672 2834 0 77838 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 382532 KiB
Current children cumulated memory: 297336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 116873
/proc/meminfo: memFree=123244792/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=382724 memory=297464 CPUtime=3512.5 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45214 0 0 0 350515 735 0 0 20 0 1 0 141294944 391909376 74366 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 95681 74366 4672 2834 0 77886 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 297464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 116875
/proc/meminfo: memFree=123240208/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=384520 memory=300584 CPUtime=3572.34 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45483 0 0 0 356492 742 0 0 20 0 1 0 141294944 393748480 75146 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 96130 75146 4672 2834 0 78335 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 384520 KiB
Current children cumulated memory: 300584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 116965
/proc/meminfo: memFree=126448164/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=385160 memory=301096 CPUtime=3600.08 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45596 0 0 0 359263 745 0 0 20 0 1 0 141294944 394403840 75274 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 96290 75274 4672 2834 0 78495 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 385160 KiB
Current children cumulated memory: 301096 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.64 s, system=7.46121 s

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

[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 116965
/proc/meminfo: memFree=126448164/131382120 swapFree=33010416/33010684
[pid=116600] ppid=116597 vsize=385160 memory=301096 CPUtime=3600.08 cores=0,2
/proc/116600/stat : 116600 (mixed-bag) R 116597 116600 116306 0 -1 4194304 45596 0 0 0 359263 745 0 0 20 0 1 0 141294944 394403840 75274 18446744073709551615 4235264 15840557 140721136532560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25493504 140721136535962 140721136536039 140721136536039 140721136541643 0
/proc/116600/statm: 96290 75274 4672 2834 0 78495 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 385160 KiB
Current children cumulated memory: 301096 KiB

Child status: 0

Real time (s): 3610.12
CPU time (s): 3600.1
CPU user time (s): 3592.64
CPU system time (s): 7.46121
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 385160
Max. memory (cumulated for all children) (KiB): 301096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.64
system time used= 7.46121
maximum resident set size= 301352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45638
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= 161
involuntary context switches= 8336


# summary of solver processes directly reported to runsolver:
#   pid: 116600
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3592.64
#   total CPU system time (s): 7.46121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7025 second user time and 35.8023 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-11 19:49:21
IDJOB=4528846
IDBENCH=146930
IDSOLVER=3386
FILE ID=nodeC002/4528846-1752256161
RUNJOBID= nodeC002-1752256148-116316
SLURM_JOB_ID= 9682593
Free space on /tmp= 431176 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528846-1752256161/watcher-4528846-1752256161 -o /tmp/evaluation-result-4528846-1752256161/solver-4528846-1752256161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760  mixed-bag HOME/instance-4528846-1752256161.opb

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

MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee
RANDOM SEED=1183258946

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		: 1197.438
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		: 3609.476
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.216
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.352
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		: 3660.595
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		: 3658.924
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.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.625
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:        125822068 kB
MemAvailable:   128494504 kB
Buffers:            2128 kB
Cached:          3471600 kB
SwapCached:           28 kB
Active:          1788056 kB
Inactive:        3113796 kB
Active(anon):    1439652 kB
Inactive(anon):     6404 kB
Active(file):     348404 kB
Inactive(file):  3107392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95816 kB
Writeback:             0 kB
AnonPages:       1430424 kB
Mapped:           132120 kB
Shmem:             17932 kB
KReclaimable:     112536 kB
Slab:             201276 kB
SReclaimable:     112536 kB
SUnreclaim:        88740 kB
KernelStack:        4064 kB
PageTables:         6148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1952504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    380928 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= 431196 MiB
End job on nodeC002 at 2025-07-11 20:49:32