Trace number 4519792

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adOPT-56 5.06686 5.11971

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
MD5SUMf6ce754accc0feb3403d349e38abeae7
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 benchmark-56
Best CPU time to get the best result obtained on this benchmark0.097461
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2494
Total number of constraints927
Number of constraints which are clauses841
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints29
Minimum length of a constraint3
Maximum length of a constraint30
Number of terms in the objective function 1653
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1653
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1653
Number of bits of the biggest sum of numbers11
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4519792-1751559311.opb'
0.00/0.03	c 	read 0.07MB  (3.02ms)
0.00/0.03	c	 [cnf: #variables 2494 #clauses 928 #duplicates 0 #arr 7453]
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 8] (4.68ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.04	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	recursing 174 blocks of candidate 29x172r
0.00/0.05	c 	 found row 28x116, generating row predicate
0.00/0.06	c 	 found row 29x2, generating row predicate
0.00/0.06	c 	 (23.44ms)
0.00/0.06	c 
0.00/0.06	c detect symmetries on remainder
0.00/0.06	c 	[graph: #vertices 10063 #edges 28188]
0.00/0.06	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 9.71*10^895 #generators 811] (14.24ms)
0.00/0.07	c 
0.00/0.07	c optimize generators (opt_passes=64, conjugate_limit=3356)
0.00/0.07	c 	ran it=0, +gens=23 
1.16/1.26	c 	con best_support=4, best_gens=784, +gens=3350
1.16/1.26	c 	(1188.42ms)
1.16/1.26	c 
1.16/1.26	c finalize break order and special generators
1.16/1.26	c 
1.16/1.26	c add generic predicates (break_depth=20)
1.16/1.26	c 	added predicates for 4184 generators (1.17ms)
1.16/1.26	c 
1.16/1.26	c generation finished
1.16/1.26	c 	[sbp: #constraints 15312 #add_vars 3691]
1.16/1.26	c 
1.16/1.26	c write result to 'HOME/instance-4519792-1751559311.opb.pre'
1.16/1.26	c 	wrote 0.58MB (2.27ms)
1.16/1.26	c ------------------------------------------------------------------
1.16/1.26	c                1188.42ms 95.96% optimize_gens
1.16/1.26	c                  23.44ms  1.89% detect_special
1.16/1.26	c                  14.24ms  1.15% detect_generic
1.16/1.26	c                   4.68ms  0.38% approx_orbits
1.16/1.26	c                   3.02ms  0.24% parse
1.16/1.26	c                   2.27ms  0.18% output
1.16/1.26	c                   1.17ms  0.09% break_generic
1.16/1.26	c                   0.84ms  0.07% other
1.16/1.26	c                   0.35ms  0.03% finalize_order
1.16/1.26	c         ───────────────────────────────────────────────
1.16/1.26	c                1238.43ms   100% total
1.16/1.26	c ------------------------------------------------------------------
1.16/1.29	c RoundingSat 2
1.16/1.29	c branch pb25
1.16/1.29	c commit 63f22ad
1.23/1.39	c #variables 6185 #constraints 16239
1.23/1.39	c objective is ce32 
1.23/1.48	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.23/1.48	c initial counting CF 32, 64, 128, Arb: 30 , 0 , 0 , 0
1.23/1.48	c bounds -30 >= -1653 @ 0.16499
1.23/1.58	c bounds -31 >= -1653 @ 0.246704
1.23/1.74	c rational objective -57
1.23/1.83	c bounds -31 >= -1617 @ 0.482874
1.23/1.83	c bounds -31 >= -1590 @ 0.483358
1.23/1.83	c bounds -31 >= -1562 @ 0.483358
1.23/1.83	c bounds -31 >= -1535 @ 0.483358
1.23/1.83	c bounds -31 >= -1508 @ 0.483358
1.23/1.83	c bounds -31 >= -1481 @ 0.483481
1.23/1.83	c bounds -31 >= -1454 @ 0.483699
1.23/1.83	c bounds -31 >= -1427 @ 0.483917
1.23/1.83	c bounds -31 >= -1400 @ 0.484112
1.23/1.83	c bounds -31 >= -1373 @ 0.484298
1.23/1.83	c bounds -31 >= -1346 @ 0.484501
1.23/1.83	c bounds -31 >= -1319 @ 0.484708
1.23/1.83	c bounds -31 >= -1292 @ 0.484917
1.23/1.83	c bounds -31 >= -1265 @ 0.485127
1.23/1.83	c bounds -31 >= -1238 @ 0.485329
1.23/1.83	c bounds -31 >= -1211 @ 0.485531
1.23/1.83	c bounds -31 >= -1184 @ 0.485731
1.23/1.83	c bounds -31 >= -1157 @ 0.485926
1.23/1.83	c bounds -31 >= -1130 @ 0.486122
1.23/1.83	c bounds -31 >= -1103 @ 0.486313
1.23/1.83	c bounds -31 >= -1076 @ 0.486506
1.23/1.83	c bounds -31 >= -1048 @ 0.486694
1.23/1.83	c bounds -31 >= -1021 @ 0.486881
1.23/1.83	c bounds -31 >= -993 @ 0.487073
1.23/1.83	c bounds -31 >= -965 @ 0.487258
1.23/1.83	c bounds -31 >= -937 @ 0.487447
1.23/1.83	c bounds -31 >= -910 @ 0.487632
1.23/1.83	c bounds -31 >= -883 @ 0.487818
1.23/1.83	c bounds -31 >= -882 @ 0.487994
1.23/1.83	c bounds -31 >= -881 @ 0.488171
1.23/1.83	c bounds -31 >= -871 @ 0.488351
1.23/1.83	c bounds -31 >= -862 @ 0.488524
1.23/1.83	c bounds -31 >= -861 @ 0.488696
1.23/1.83	c bounds -31 >= -860 @ 0.488866
1.23/1.83	c bounds -31 >= -859 @ 0.489035
1.23/1.83	c bounds -31 >= -858 @ 0.489316
1.23/1.84	c bounds -31 >= -857 @ 0.489493
1.23/1.84	c bounds -31 >= -856 @ 0.489657
1.23/1.84	c bounds -31 >= -855 @ 0.489821
1.23/1.84	c bounds -31 >= -854 @ 0.489988
1.23/1.84	c bounds -31 >= -853 @ 0.490164
1.23/1.84	c bounds -31 >= -852 @ 0.490331
1.23/1.84	c bounds -31 >= -851 @ 0.490331
1.23/1.84	c bounds -31 >= -850 @ 0.490331
1.23/1.84	c bounds -31 >= -849 @ 0.490331
1.23/1.84	c bounds -31 >= -848 @ 0.490331
1.23/1.84	c bounds -31 >= -847 @ 0.490331
1.23/1.84	c bounds -31 >= -846 @ 0.490366
1.23/1.84	c bounds -31 >= -845 @ 0.49053
1.23/1.84	c bounds -31 >= -844 @ 0.490698
1.23/1.84	c bounds -31 >= -843 @ 0.49086
1.23/1.84	c bounds -31 >= -842 @ 0.491027
1.23/1.84	c bounds -31 >= -841 @ 0.491188
1.23/1.84	c bounds -31 >= -813 @ 0.491343
1.23/1.84	c bounds -31 >= -785 @ 0.49153
1.23/1.84	c bounds -31 >= -757 @ 0.491701
1.23/1.84	c bounds -31 >= -729 @ 0.491868
1.23/1.84	c bounds -31 >= -701 @ 0.492036
1.23/1.84	c bounds -31 >= -673 @ 0.492207
1.23/1.84	c bounds -31 >= -645 @ 0.492381
1.23/1.84	c bounds -31 >= -617 @ 0.492569
1.23/1.84	c bounds -31 >= -589 @ 0.492755
1.23/1.84	c bounds -31 >= -561 @ 0.492922
1.23/1.84	c bounds -31 >= -533 @ 0.493103
1.23/1.84	c bounds -31 >= -505 @ 0.493277
1.23/1.84	c bounds -31 >= -477 @ 0.493452
1.23/1.84	c bounds -31 >= -449 @ 0.493635
1.23/1.84	c bounds -31 >= -421 @ 0.493832
1.23/1.84	c bounds -31 >= -393 @ 0.494009
1.23/1.84	c bounds -31 >= -365 @ 0.49418
1.23/1.84	c bounds -31 >= -337 @ 0.494352
1.23/1.84	c bounds -31 >= -309 @ 0.494517
1.23/1.84	c bounds -31 >= -281 @ 0.494686
1.23/1.84	c bounds -31 >= -253 @ 0.494856
1.23/1.84	c bounds -31 >= -225 @ 0.49503
1.23/1.84	c bounds -31 >= -197 @ 0.495199
1.23/1.84	c bounds -31 >= -169 @ 0.495363
1.23/1.84	c bounds -31 >= -141 @ 0.495529
1.23/1.84	c bounds -31 >= -113 @ 0.495699
1.23/1.84	c bounds -31 >= -85 @ 0.495874
1.23/1.84	c bounds -31 >= -57 @ 0.496052
2.14/2.24	c #Conflicts:       1000 | #Constraints:      17479
2.14/2.24	c bounds -31 >= -56 @ 0.862229
2.14/2.25	c bounds -32 >= -56 @ 0.868271
2.14/2.26	c bounds -33 >= -56 @ 0.874637
2.14/2.27	c bounds -34 >= -56 @ 0.889843
2.14/2.29	c bounds -35 >= -56 @ 0.90308
2.44/2.50	c #Conflicts:       2000 | #Constraints:      18486
2.44/2.50	c INPROCESSING
2.44/2.50	c GARBAGE COLLECT
2.44/2.50	c bounds -36 >= -56 @ 1.10316
2.44/2.51	c bounds -37 >= -56 @ 1.10784
2.63/2.70	c #Conflicts:       3000 | #Constraints:      15284
2.63/2.70	c bounds -38 >= -56 @ 1.27884
2.63/2.72	c bounds -39 >= -56 @ 1.30448
2.63/2.73	c bounds -40 >= -56 @ 1.308
2.63/2.76	c bounds -41 >= -56 @ 1.33548
2.63/2.77	c bounds -42 >= -56 @ 1.34852
2.83/2.97	c #Conflicts:       4000 | #Constraints:      16289
2.83/2.97	c INPROCESSING
2.83/2.97	c GARBAGE COLLECT
2.83/2.97	c bounds -43 >= -56 @ 1.54141
3.94/4.10	c #Conflicts:       5000 | #Constraints:      15604
3.94/4.10	c #Conflicts:       6000 | #Constraints:      16604
3.94/4.10	c INPROCESSING
3.94/4.10	c GARBAGE COLLECT
3.94/4.10	c rational objective -56
5.04/5.11	c #Conflicts:       7000 | #Constraints:      15515
5.04/5.11	c bounds -56 >= -56 @ 3.61844
5.04/5.11	c cpu time 3.61846 s
5.04/5.11	c deterministic time 195875830 1.96e+08
5.04/5.11	c optimization time 0.105055 s
5.04/5.11	c total solve time 3.43938 s
5.04/5.11	c core-guided solve time 1.66717 s
5.04/5.11	c propagation time 1.95153 s
5.04/5.11	c conflict analysis time 0.914455 s
5.04/5.11	c propagations 1552746
5.04/5.11	c resolve steps 149160
5.04/5.11	c decisions 117333
5.04/5.11	c conflicts 7772
5.04/5.11	c restarts 30
5.04/5.11	c inprocessing phases 3
5.04/5.11	c garbage collections 3 ,( 100.00 )
5.04/5.11	c input clauses 16251 ,( 98.50 )
5.04/5.11	c input cardinalities 217 ,( 1.32 )
5.04/5.11	c input general constraints 30 ,( 0.18 )
5.04/5.11	c input average constraint length 10.93
5.04/5.11	c input average constraint degree 3.90
5.04/5.11	c learned clauses 4891 ,( 62.79 )
5.04/5.11	c learned cardinalities 636 ,( 8.17 )
5.04/5.11	c learned general constraints 2262 ,( 29.04 )
5.04/5.11	c learned average constraint length 496.59
5.04/5.11	c learned average constraint degree 34334.84
5.04/5.11	c watched  CF 32, 64, 128, Arb: 887 , 0 , 0 , 0
5.04/5.11	c counting CF 32, 64, 128, Arb: 1406 , 0 , 0 , 0
5.04/5.11	c watched   constraints 887 ,( 38.70 ) 
5.04/5.11	c counting  constraints 1405 ,( 61.30 ) 
5.04/5.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1557209 , 431643 , 1921657 ,( 658391 , 1263266 )
5.04/5.11	c gcd simplifications 29
5.04/5.11	c detected cardinalities 1
5.04/5.11	c weakened non-implied lits 408080
5.04/5.11	c weakened non-implying lits 196
5.04/5.11	c original variables 6185
5.04/5.11	c clausal propagations 1007998
5.04/5.11	c cardinality propagations 213998
5.04/5.11	c watched propagations 25542
5.04/5.11	c counting propagations 191199
5.04/5.11	c watch lookups 30180762
5.04/5.11	c watch backjump lookups 0
5.04/5.11	c watch checks 118609354
5.04/5.11	c propagation checks 35610151
5.04/5.11	c constraint additions 8111488
5.04/5.11	c trail pops 1677201
5.04/5.11	c formula constraints 16239
5.04/5.11	c learned constraints 7778
5.04/5.11	c bound constraints 114
5.04/5.11	c core-guided constraints 145
5.04/5.11	c encountered formula constraints 128517
5.04/5.11	c encountered learned constraints 27838
5.04/5.11	c encountered bound constraints 31
5.04/5.11	c encountered core-guided constraints 546
5.04/5.11	c LP total time 1.16125 s
5.04/5.11	c LP solve time 0.95 s
5.04/5.11	c LP constraints added 16260
5.04/5.11	c LP constraints removed 10
5.04/5.11	c LP pivots internal 11895
5.04/5.11	c LP pivots root 4899
5.04/5.11	c LP calls 7
5.04/5.11	c LP optimalities 4
5.04/5.11	c LP no pivot count 0
5.04/5.11	c LP infeasibilities 0
5.04/5.11	c LP valid Farkas constraints 0
5.04/5.11	c LP learned Farkas constraints 0
5.04/5.11	c LP basis resets 0
5.04/5.11	c LP cycling count 0
5.04/5.11	c LP singular count 0
5.04/5.11	c LP no primal count 0
5.04/5.11	c LP no farkas count 0
5.04/5.11	c LP other issue count 0
5.04/5.11	c LP Gomory cuts 11
5.04/5.11	c LP learned cuts 10
5.04/5.11	c LP deleted cuts 10
5.04/5.11	c LP encountered Gomory constraints 0
5.04/5.11	c LP encountered Farkas constraints 0
5.04/5.11	c LP encountered learned Farkas constraints 0
5.04/5.11	c CG auxiliary variables introduced 64
5.04/5.11	c CG solutions found 14
5.04/5.11	c CG cores constructed 82
5.04/5.11	c CG core cardinality constraints returned 57
5.04/5.11	c CG unit cores 1
5.04/5.11	c CG single cores 81
5.04/5.11	c CG blocks removed during cardinality reduction 0
5.04/5.11	c CG first core best 0
5.04/5.11	c CG decision core best 0
5.04/5.11	c CG core reduction tie 0
5.04/5.11	c CG core degree average 19.27
5.04/5.11	c CG core slack average 1.26
5.04/5.11	c CG core upper bound improvements 0
5.04/5.11	c STR number of successful calls 0
5.04/5.11	c STR number of unsuccessful calls 0
5.04/5.11	c STR number of inconclusive calls 0
5.04/5.11	c STR number of successful attempts 0
5.04/5.11	c STR number of unsuccessful attempts 0
5.04/5.11	c STR number of inconclusive attempts 0
5.04/5.11	c STR average degree increase per successful call inf
5.04/5.11	c STR average degree increase per successful attempt inf
5.04/5.11	c STR total number of conflicts for successful attempts 0
5.04/5.11	c STR total number of conflicts for unsuccessful attempts 0
5.04/5.11	c STR total number of conflicts for inconclusive attempts 0
5.04/5.11	c STR average number of conflicts per successful attempt inf
5.04/5.11	c STR average number of conflicts per unsuccessful attempt inf
5.04/5.11	c STR average number of conflicts per inconclusive attempt inf
5.04/5.11	c AVG.sumWPerc 46.09 
5.04/5.11	c bigint constraints 0 
5.04/5.11	o -56
5.04/5.11	s OPTIMUM FOUND
5.04/5.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 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 -x2488 x2489 x2490 x2491 x2492 x2493 x2494

Verifier Data 

OK	-56

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100099 s]*
/proc/loadavg: 1.67 3.72 5.72 5/255 82893
/proc/meminfo: memFree=129819032/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82886] ppid=82876 vsize=15708 memory=8248 CPUtime=0.08 cores=0,2
/proc/82886/stat : 82886 (pbsuma) R 82876 82876 82819 0 -1 4194304 1640 0 0 0 7 1 0 0 20 0 1 0 71609791 16084992 2062 18446744073709551615 4210688 4653049 140720951839824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28119040 140720951847267 140720951847474 140720951847474 140720951853039 0
/proc/82886/statm: 3927 2062 1024 108 0 1335 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 19900 KiB
Current children cumulated memory: 11320 KiB

[startup+0.214736 s]*
/proc/loadavg: 1.67 3.72 5.72 5/255 82893
/proc/meminfo: memFree=129817444/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82886] ppid=82876 vsize=15708 memory=8248 CPUtime=0.2 cores=0,2
/proc/82886/stat : 82886 (pbsuma) R 82876 82876 82819 0 -1 4194304 1640 0 0 0 19 1 0 0 20 0 1 0 71609791 16084992 2062 18446744073709551615 4210688 4653049 140720951839824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28119040 140720951847267 140720951847474 140720951847474 140720951853039 0
/proc/82886/statm: 3927 2062 1024 108 0 1335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19900 KiB
Current children cumulated memory: 11320 KiB

[startup+0.313711 s]*
/proc/loadavg: 1.67 3.72 5.72 5/255 82895
/proc/meminfo: memFree=129810136/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82886] ppid=82876 vsize=15708 memory=8248 CPUtime=0.29 cores=0,2
/proc/82886/stat : 82886 (pbsuma) R 82876 82876 82819 0 -1 4194304 1640 0 0 0 28 1 0 0 20 0 1 0 71609791 16084992 2062 18446744073709551615 4210688 4653049 140720951839824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28119040 140720951847267 140720951847474 140720951847474 140720951853039 0
/proc/82886/statm: 3927 2062 1024 108 0 1335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19900 KiB
Current children cumulated memory: 11320 KiB

[startup+0.700333 s]
/proc/loadavg: 1.85 3.73 5.71 5/255 82895
/proc/meminfo: memFree=129793692/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82886] ppid=82876 vsize=15708 memory=8248 CPUtime=0.67 cores=0,2
/proc/82886/stat : 82886 (pbsuma) R 82876 82876 82819 0 -1 4194304 1640 0 0 0 66 1 0 0 20 0 1 0 71609791 16084992 2062 18446744073709551615 4210688 4653049 140720951839824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28119040 140720951847267 140720951847474 140720951847474 140720951853039 0
/proc/82886/statm: 3927 2062 1024 108 0 1335 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 19900 KiB
Current children cumulated memory: 11320 KiB

[startup+1.50036 s]
/proc/loadavg: 1.85 3.73 5.71 5/250 82903
/proc/meminfo: memFree=129803780/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.11372 s]
/proc/loadavg: 1.85 3.73 5.71 3/249 82920
/proc/meminfo: memFree=129799888/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=97680 memory=53216 CPUtime=1.81 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 10333 0 0 0 166 15 0 0 20 0 1 0 71609916 100024320 13304 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 24420 13304 2464 1147 0 11847 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 101872 KiB
Current children cumulated memory: 56288 KiB

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

# cumulated CPU time of all completed processes:  user=4.85166 s, system=0.215194 s

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

[startup+3.20038 s]
/proc/loadavg: 1.85 3.73 5.71 3/249 82920
/proc/meminfo: memFree=129799888/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=97680 memory=53216 CPUtime=1.9 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 10333 0 0 0 175 15 0 0 20 0 1 0 71609916 100024320 13304 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 24420 13304 2464 1147 0 11847 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 101872 KiB
Current children cumulated memory: 56288 KiB

[startup+4.00035 s]*
/proc/loadavg: 1.85 3.73 5.71 5/255 82988
/proc/meminfo: memFree=129811256/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=102872 memory=59668 CPUtime=2.71 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 11441 0 0 0 254 17 0 0 20 0 1 0 71609916 105340928 14917 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 25718 14917 2464 1147 0 13145 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 107064 KiB
Current children cumulated memory: 62740 KiB

[startup+4.8003 s]
/proc/loadavg: 1.85 3.73 5.71 5/255 82988
/proc/meminfo: memFree=129811256/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=111612 memory=62100 CPUtime=3.5 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 12054 0 0 0 331 19 0 0 20 0 1 0 71609916 114290688 15525 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 27903 15525 2464 1147 0 15330 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 65172 KiB

[startup+5.00031 s]*
/proc/loadavg: 1.85 3.73 5.71 4/250 82998
/proc/meminfo: memFree=129806556/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=111612 memory=62100 CPUtime=3.71 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 12064 0 0 0 352 19 0 0 20 0 1 0 71609916 114290688 15525 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 27903 15525 2464 1147 0 15330 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 65172 KiB

[startup+5.11335 s]
/proc/loadavg: 1.85 3.73 5.71 4/250 82998
/proc/meminfo: memFree=129806556/131382120 swapFree=33010416/33010684
[pid=82876] ppid=82870 vsize=4192 memory=3072 CPUtime=1.23 cores=0,2
/proc/82876/stat : 82876 (run-opt-ls.sh) S 82870 82876 82819 0 -1 4194304 237 1804 0 0 0 0 122 1 20 0 1 0 71609789 4292608 768 18446744073709551615 94671734956032 94671735850565 140730581747712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94671736089616 94671736137360 94671743619072 140730581756263 140730581756389 140730581756389 140730581761991 0
/proc/82876/statm: 1048 768 704 219 0 110 0
[pid=82904] ppid=82876 vsize=111612 memory=62100 CPUtime=3.81 cores=0,2
/proc/82904/stat : 82904 (roundingsat) R 82876 82876 82819 0 -1 4194304 12064 0 0 0 362 19 0 0 20 0 1 0 71609916 114290688 15525 18446744073709551615 4227072 8923433 140735195615744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43044864 140735195617606 140735195617832 140735195617832 140735195623402 0
/proc/82904/statm: 27903 15525 2464 1147 0 15330 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 65172 KiB

Child status: 0

Real time (s): 5.11971
CPU time (s): 5.06686
CPU user time (s): 4.85166
CPU system time (s): 0.215194
CPU usage (%): 98.9677
Max. virtual memory (cumulated for all children) (KiB): 115804
Max. memory (cumulated for all children) (KiB): 65172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.85166
system time used= 0.215194
maximum resident set size= 62100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 82876
#   total CPU time (s): 5.06686
#   total CPU user time (s): 4.85166
#   total CPU system time (s): 0.215194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052075 second user time and 0.133841 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-03 18:15:11
IDJOB=4519792
IDBENCH=177417
IDSOLVER=3355
FILE ID=nodeC003/4519792-1751559311
RUNJOBID= nodeC003-1751559311-82829
SLURM_JOB_ID= 9598756
Free space on /tmp= 432020 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519792-1751559311/watcher-4519792-1751559311 -o /tmp/evaluation-result-4519792-1751559311/solver-4519792-1751559311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751559311-82829 --watchdog 3760  run-opt-ls.sh HOME/instance-4519792-1751559311.opb

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

MD5SUM BENCH= f6ce754accc0feb3403d349e38abeae7
RANDOM SEED=298342656

nodeC003 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		: 1196.949
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.149
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.44
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.169
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.44
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.525
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.44
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.165
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.547
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.44
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.261
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.44
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.159
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129832336 kB
MemAvailable:   129896032 kB
Buffers:            2736 kB
Cached:           860008 kB
SwapCached:           36 kB
Active:           562196 kB
Inactive:         367860 kB
Active(anon):      77628 kB
Inactive(anon):     7608 kB
Active(file):     484568 kB
Inactive(file):   360252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28520 kB
Writeback:             0 kB
AnonPages:         70488 kB
Mapped:           103148 kB
Shmem:             17924 kB
KReclaimable:     117008 kB
Slab:             202228 kB
SReclaimable:     117008 kB
SUnreclaim:        85220 kB
KernelStack:        3716 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431988 MiB
End job on nodeC003 at 2025-07-03 18:15:17