Trace number 4484496
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | f3472af25f5f0fee0e9203b0329f534f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.058442 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484496-1751288092.opb'
0.00/0.01 c read 0.04MB (0.89ms)
0.00/0.01 c [cnf: #variables 906 #clauses 1040 #duplicates 0 #arr 4544]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (1.19ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.20ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 5198 #edges 15592]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.31ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4484496-1751288092.opb.pre'
0.00/0.01 c wrote 0.04MB (0.16ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 1.19ms 41.29% approx_orbits
0.00/0.01 c 0.89ms 30.67% parse
0.00/0.01 c 0.31ms 10.84% detect_generic
0.00/0.01 c 0.20ms 6.76% detect_special
0.00/0.01 c 0.16ms 5.49% output
0.00/0.01 c 0.12ms 4.07% other
0.00/0.01 c 0.03ms 0.88% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 2.89ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 906 #constraints 1039
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c bounds - >= -553 @ 0.004149
0.00/0.09 c bounds 74 >= -553 @ 0.062509
0.00/0.09 c bounds 74 >= -550 @ 0.062828
0.00/0.09 c bounds 74 >= -547 @ 0.063046
0.00/0.09 c bounds 74 >= -544 @ 0.063246
0.00/0.09 c bounds 74 >= -541 @ 0.063455
0.00/0.09 c bounds 74 >= -538 @ 0.063709
0.00/0.09 c bounds 74 >= -535 @ 0.063991
0.00/0.09 c bounds 74 >= -532 @ 0.064294
0.00/0.09 c bounds 74 >= -529 @ 0.064605
0.00/0.09 c bounds 74 >= -526 @ 0.064938
0.00/0.09 c bounds 73 >= -526 @ 0.065357
0.00/0.09 c bounds 73 >= -523 @ 0.065357
0.00/0.09 c bounds 73 >= -520 @ 0.065357
0.00/0.09 c bounds 73 >= -517 @ 0.06537
0.00/0.09 c bounds 73 >= -514 @ 0.06537
0.00/0.09 c bounds 71 >= -514 @ 0.06574
0.00/0.09 c bounds 71 >= -511 @ 0.066115
0.00/0.09 c bounds 71 >= -508 @ 0.066848
0.00/0.09 c bounds 71 >= -505 @ 0.067223
0.00/0.09 c bounds 59 >= -505 @ 0.067358
0.08/0.12 c bounds 58 >= -505 @ 0.089986
0.08/0.12 c bounds 58 >= -503 @ 0.090323
0.08/0.12 c bounds 58 >= -501 @ 0.090623
0.08/0.12 c bounds 58 >= -499 @ 0.090919
0.08/0.12 c bounds 58 >= -493 @ 0.091233
0.08/0.12 c bounds 58 >= -491 @ 0.091275
0.08/0.12 c bounds 58 >= -489 @ 0.091275
0.08/0.12 c bounds 58 >= -487 @ 0.091275
0.08/0.12 c bounds 58 >= -483 @ 0.091287
0.08/0.12 c bounds 58 >= -481 @ 0.091287
0.08/0.12 c bounds 58 >= -479 @ 0.091312
0.08/0.12 c bounds 58 >= -477 @ 0.091629
0.08/0.12 c bounds 58 >= -475 @ 0.091946
0.08/0.12 c bounds 58 >= -473 @ 0.092242
0.08/0.12 c bounds 58 >= -471 @ 0.092279
0.08/0.12 c bounds 58 >= -469 @ 0.092279
0.08/0.12 c bounds 58 >= -467 @ 0.092279
0.08/0.12 c bounds 58 >= -465 @ 0.092493
0.08/0.12 c bounds 58 >= -463 @ 0.092801
0.08/0.13 c bounds 58 >= -461 @ 0.093108
0.08/0.13 c bounds 58 >= -459 @ 0.093272
0.08/0.13 c bounds 58 >= -457 @ 0.093272
0.08/0.13 c bounds 58 >= -455 @ 0.093272
0.08/0.13 c bounds 58 >= -451 @ 0.093272
0.08/0.13 c bounds 58 >= -447 @ 0.093272
0.08/0.13 c bounds 58 >= -445 @ 0.093272
0.08/0.13 c bounds 58 >= -441 @ 0.093362
0.08/0.13 c bounds 58 >= -437 @ 0.093691
0.08/0.13 c bounds 58 >= -435 @ 0.094008
0.08/0.13 c bounds 58 >= -431 @ 0.094311
0.08/0.13 c bounds 58 >= -429 @ 0.094621
0.08/0.13 c bounds 58 >= -427 @ 0.094934
0.08/0.13 c bounds 58 >= -425 @ 0.095247
0.08/0.13 c bounds 58 >= -423 @ 0.09558
0.08/0.13 c bounds 58 >= -421 @ 0.095915
0.08/0.13 c bounds 58 >= -419 @ 0.096235
0.08/0.13 c bounds 58 >= -417 @ 0.096553
0.08/0.13 c bounds 58 >= -415 @ 0.096876
0.08/0.13 c bounds 58 >= -411 @ 0.097199
0.08/0.13 c bounds 58 >= -409 @ 0.097253
0.08/0.13 c bounds 58 >= -407 @ 0.097253
0.08/0.13 c bounds 58 >= -405 @ 0.097253
0.08/0.13 c bounds 58 >= -403 @ 0.097253
0.08/0.13 c bounds 58 >= -401 @ 0.097253
0.08/0.13 c bounds 58 >= -399 @ 0.097253
0.08/0.13 c bounds 58 >= -397 @ 0.097253
0.08/0.13 c bounds 58 >= -395 @ 0.097253
0.08/0.13 c bounds 58 >= -393 @ 0.097253
0.08/0.13 c bounds 58 >= -391 @ 0.097253
0.08/0.13 c bounds 58 >= -389 @ 0.097253
0.08/0.14 c bounds 58 >= -387 @ 0.097253
0.08/0.14 c bounds 58 >= -385 @ 0.097396
0.08/0.14 c bounds 58 >= -383 @ 0.097721
0.08/0.14 c bounds 58 >= -381 @ 0.098041
0.08/0.14 c bounds 58 >= -379 @ 0.09835
0.08/0.14 c bounds 58 >= -377 @ 0.098694
0.08/0.14 c bounds 58 >= -375 @ 0.09904
0.08/0.14 c bounds 58 >= -373 @ 0.099391
0.08/0.14 c bounds 58 >= -371 @ 0.099709
0.08/0.14 c bounds 58 >= -369 @ 0.100267
0.08/0.14 c bounds 58 >= -367 @ 0.100636
0.08/0.14 c bounds 58 >= -365 @ 0.101218
0.08/0.14 c bounds 58 >= -363 @ 0.101423
0.08/0.14 c bounds 58 >= -361 @ 0.102127
0.08/0.14 c bounds 58 >= -359 @ 0.102217
0.08/0.14 c bounds 58 >= -357 @ 0.102474
0.08/0.14 c bounds 58 >= -355 @ 0.103649
0.08/0.15 c bounds 58 >= -353 @ 0.104526
0.08/0.15 c bounds 58 >= -351 @ 0.109129
0.08/0.16 c bounds 58 >= -349 @ 0.118389
0.08/0.20 c bounds 57 >= -349 @ 0.148585
0.08/0.20 c bounds 57 >= -347 @ 0.148998
0.08/0.20 c bounds 57 >= -345 @ 0.149106
0.08/0.20 c bounds 57 >= -343 @ 0.149106
0.08/0.21 c bounds 57 >= -341 @ 0.154511
0.18/0.21 c bounds 57 >= -339 @ 0.155047
0.18/0.21 c bounds 57 >= -337 @ 0.155047
0.18/0.30 c #Conflicts: 1000 | #Constraints: 2614
0.18/0.30 c bounds 57 >= -335 @ 0.24425
0.28/0.32 c bounds 56 >= -335 @ 0.258411
0.28/0.32 c bounds 55 >= -335 @ 0.260415
0.28/0.33 c bounds 53 >= -335 @ 0.263739
0.28/0.33 c bounds 52 >= -335 @ 0.26596
0.28/0.33 c bounds 51 >= -335 @ 0.267414
0.28/0.34 c bounds 50 >= -335 @ 0.272937
0.28/0.34 c bounds 49 >= -335 @ 0.275304
0.28/0.35 c bounds 48 >= -335 @ 0.286737
0.28/0.36 c bounds 47 >= -335 @ 0.291658
0.28/0.36 c bounds 46 >= -335 @ 0.294697
0.28/0.36 c bounds 45 >= -335 @ 0.296816
0.28/0.37 c bounds 44 >= -335 @ 0.302693
0.28/0.38 c bounds 43 >= -335 @ 0.308092
0.28/0.38 c bounds 43 >= -333 @ 0.308663
0.28/0.38 c bounds 41 >= -333 @ 0.311472
0.48/0.54 c #Conflicts: 2000 | #Constraints: 3676
0.48/0.54 c INPROCESSING
0.48/0.54 c GARBAGE COLLECT
0.48/0.54 c bounds 39 >= -333 @ 0.464137
0.48/0.55 c bounds 38 >= -333 @ 0.466361
0.48/0.55 c bounds 37 >= -333 @ 0.467391
0.48/0.55 c bounds 35 >= -333 @ 0.468646
0.48/0.55 c bounds 34 >= -333 @ 0.4704
0.48/0.56 c bounds 33 >= -333 @ 0.477164
0.48/0.57 c bounds 32 >= -333 @ 0.485222
0.48/0.59 c bounds 31 >= -333 @ 0.508418
0.57/0.63 c bounds 30 >= -333 @ 0.543009
0.57/0.63 c bounds 30 >= -330 @ 0.543009
0.57/0.63 c bounds 30 >= -327 @ 0.543009
0.57/0.63 c bounds 30 >= -326 @ 0.543028
0.57/0.63 c bounds 30 >= -325 @ 0.543079
0.57/0.63 c bounds 30 >= -324 @ 0.543079
0.57/0.63 c bounds 30 >= -323 @ 0.543079
0.57/0.63 c bounds 30 >= -322 @ 0.543348
0.57/0.63 c bounds 30 >= -321 @ 0.543711
0.57/0.63 c bounds 30 >= -320 @ 0.54406
0.57/0.63 c bounds 30 >= -319 @ 0.544409
0.57/0.63 c bounds 30 >= -318 @ 0.544782
0.57/0.63 c bounds 30 >= -317 @ 0.545148
0.57/0.63 c bounds 30 >= -316 @ 0.5455
0.57/0.63 c bounds 30 >= -314 @ 0.545855
0.57/0.63 c bounds 30 >= -313 @ 0.546186
0.57/0.63 c bounds 30 >= -312 @ 0.546573
0.57/0.63 c bounds 30 >= -311 @ 0.5469
0.57/0.63 c bounds 30 >= -310 @ 0.547069
0.57/0.63 c bounds 30 >= -309 @ 0.547069
0.57/0.63 c bounds 30 >= -308 @ 0.547069
0.57/0.63 c bounds 30 >= -307 @ 0.547069
0.57/0.63 c bounds 30 >= -306 @ 0.547069
0.57/0.63 c bounds 30 >= -305 @ 0.547069
0.57/0.63 c bounds 30 >= -303 @ 0.547448
0.57/0.63 c bounds 30 >= -301 @ 0.547828
0.57/0.63 c bounds 30 >= -300 @ 0.548193
0.57/0.63 c bounds 30 >= -299 @ 0.548613
0.57/0.65 c bounds 28 >= -299 @ 0.567695
0.57/0.65 c bounds 28 >= -298 @ 0.568192
0.57/0.65 c bounds 28 >= -295 @ 0.568554
0.57/0.66 c bounds 28 >= -294 @ 0.568893
0.57/0.66 c bounds 28 >= -293 @ 0.569214
0.57/0.66 c bounds 28 >= -292 @ 0.569556
0.57/0.66 c bounds 28 >= -290 @ 0.569957
0.57/0.66 c bounds 28 >= -288 @ 0.570001
0.57/0.66 c bounds 28 >= -287 @ 0.570001
0.57/0.66 c bounds 28 >= -286 @ 0.570082
0.57/0.66 c bounds 28 >= -285 @ 0.570466
0.57/0.66 c bounds 28 >= -284 @ 0.570947
0.57/0.66 c bounds 28 >= -281 @ 0.571001
0.57/0.66 c bounds 28 >= -278 @ 0.571001
0.57/0.66 c bounds 28 >= -277 @ 0.571182
0.57/0.66 c bounds 28 >= -275 @ 0.571587
0.57/0.66 c bounds 28 >= -274 @ 0.572006
0.57/0.66 c bounds 28 >= -273 @ 0.572507
0.57/0.66 c bounds 28 >= -272 @ 0.572933
0.57/0.66 c bounds 28 >= -271 @ 0.573385
0.57/0.66 c bounds 28 >= -269 @ 0.573731
0.57/0.66 c bounds 28 >= -268 @ 0.574122
0.57/0.66 c bounds 28 >= -267 @ 0.574499
0.57/0.66 c bounds 28 >= -266 @ 0.574885
0.57/0.66 c bounds 28 >= -265 @ 0.57499
0.57/0.66 c bounds 28 >= -264 @ 0.57499
0.57/0.66 c bounds 28 >= -263 @ 0.575085
0.57/0.66 c bounds 28 >= -262 @ 0.575477
0.57/0.67 c bounds 28 >= -260 @ 0.575854
0.57/0.67 c bounds 28 >= -259 @ 0.576224
0.57/0.67 c bounds 28 >= -258 @ 0.576719
0.57/0.67 c bounds 28 >= -257 @ 0.577126
0.57/0.67 c bounds 28 >= -256 @ 0.577528
0.57/0.67 c bounds 28 >= -255 @ 0.577894
0.57/0.67 c bounds 28 >= -254 @ 0.577981
0.57/0.67 c bounds 28 >= -253 @ 0.577981
0.57/0.67 c bounds 28 >= -251 @ 0.578337
0.57/0.67 c bounds 28 >= -250 @ 0.578745
0.57/0.67 c bounds 28 >= -249 @ 0.579158
0.57/0.67 c bounds 28 >= -248 @ 0.579606
0.57/0.67 c bounds 28 >= -247 @ 0.58004
0.57/0.67 c bounds 28 >= -246 @ 0.580419
0.57/0.67 c bounds 28 >= -245 @ 0.580805
0.57/0.67 c bounds 28 >= -244 @ 0.580973
0.57/0.67 c bounds 28 >= -241 @ 0.580973
0.57/0.67 c bounds 28 >= -240 @ 0.581157
0.57/0.67 c bounds 28 >= -239 @ 0.581548
0.57/0.67 c bounds 28 >= -238 @ 0.581933
0.57/0.67 c bounds 28 >= -237 @ 0.582284
0.57/0.67 c bounds 28 >= -236 @ 0.582635
0.57/0.67 c bounds 28 >= -235 @ 0.583016
0.57/0.67 c bounds 28 >= -234 @ 0.5834
0.57/0.68 c bounds 28 >= -233 @ 0.583783
0.57/0.68 c bounds 28 >= -232 @ 0.584135
0.57/0.68 c bounds 28 >= -231 @ 0.584495
0.57/0.68 c bounds 28 >= -230 @ 0.585131
0.57/0.68 c bounds 28 >= -229 @ 0.58551
0.57/0.68 c bounds 28 >= -228 @ 0.585963
0.57/0.68 c bounds 28 >= -227 @ 0.586391
0.57/0.68 c bounds 28 >= -226 @ 0.586855
0.57/0.68 c bounds 28 >= -225 @ 0.587303
0.57/0.68 c bounds 28 >= -224 @ 0.587777
0.57/0.68 c bounds 28 >= -223 @ 0.588216
0.57/0.68 c bounds 28 >= -222 @ 0.588737
0.57/0.68 c bounds 28 >= -221 @ 0.588951
0.57/0.68 c bounds 28 >= -220 @ 0.588951
0.57/0.68 c bounds 28 >= -219 @ 0.588951
0.57/0.68 c bounds 28 >= -218 @ 0.589421
0.57/0.68 c bounds 28 >= -217 @ 0.590979
0.57/0.69 c bounds 28 >= -216 @ 0.591876
0.57/0.69 c bounds 28 >= -215 @ 0.592709
0.57/0.69 c bounds 28 >= -214 @ 0.593223
0.57/0.69 c bounds 28 >= -213 @ 0.59528
0.57/0.69 c bounds 28 >= -212 @ 0.597799
0.77/0.81 c #Conflicts: 3000 | #Constraints: 4082
0.77/0.81 c bounds 27 >= -212 @ 0.708224
0.77/0.81 c bounds 27 >= -211 @ 0.708805
0.77/0.83 c bounds 27 >= -210 @ 0.722613
0.77/0.83 c bounds 27 >= -209 @ 0.723052
0.77/0.83 c bounds 27 >= -208 @ 0.723608
0.77/0.83 c bounds 27 >= -207 @ 0.724263
0.77/0.83 c bounds 27 >= -206 @ 0.724802
0.77/0.83 c bounds 27 >= -205 @ 0.726053
0.77/0.83 c bounds 27 >= -204 @ 0.726972
0.77/0.83 c bounds 27 >= -203 @ 0.728283
0.77/0.83 c bounds 27 >= -202 @ 0.729491
0.77/0.84 c bounds 27 >= -201 @ 0.731627
0.77/0.84 c bounds 27 >= -200 @ 0.737842
0.77/0.85 c bounds 27 >= -199 @ 0.744534
0.77/0.85 c bounds 27 >= -198 @ 0.747459
0.77/0.85 c bounds 27 >= -197 @ 0.748023
0.77/0.87 c bounds 27 >= -196 @ 0.759175
0.97/1.07 c bounds 27 >= -195 @ 0.950232
0.97/1.07 c bounds 27 >= -194 @ 0.958562
0.97/1.09 c bounds 27 >= -193 @ 0.970377
1.07/1.13 c #Conflicts: 4000 | #Constraints: 5427
1.07/1.13 c INPROCESSING
1.07/1.13 c GARBAGE COLLECT
1.07/1.13 c bounds 26 >= -193 @ 1.01221
1.07/1.17 c bounds 25 >= -193 @ 1.04821
1.07/1.17 c bounds 25 >= -192 @ 1.0491
1.07/1.17 c bounds 25 >= -191 @ 1.0496
1.07/1.17 c bounds 25 >= -190 @ 1.05022
1.07/1.18 c bounds 25 >= -189 @ 1.05421
1.07/1.18 c bounds 25 >= -188 @ 1.0613
1.07/1.20 c bounds 25 >= -187 @ 1.07154
1.17/1.27 c #Conflicts: 5000 | #Constraints: 4638
1.17/1.27 c bounds 24 >= -187 @ 1.14411
1.17/1.27 c bounds 24 >= -186 @ 1.14474
1.17/1.27 c bounds 24 >= -185 @ 1.14547
1.17/1.27 c bounds 24 >= -184 @ 1.14558
1.17/1.27 c bounds 24 >= -183 @ 1.14609
1.17/1.28 c bounds 24 >= -182 @ 1.14915
1.17/1.28 c bounds 24 >= -181 @ 1.15261
1.17/1.29 c bounds 24 >= -180 @ 1.1629
1.26/1.30 c bounds 24 >= -179 @ 1.175
1.26/1.32 c bounds 24 >= -178 @ 1.19292
1.66/1.73 c #Conflicts: 6000 | #Constraints: 5822
1.66/1.73 c INPROCESSING
1.66/1.73 c GARBAGE COLLECT
1.66/1.73 c rational objective 2
1.76/1.81 c bounds 24 >= -177 @ 1.67412
1.76/1.81 c bounds 24 >= -176 @ 1.6743
1.76/1.81 c bounds 24 >= -175 @ 1.6743
1.76/1.82 c bounds 24 >= -174 @ 1.67481
1.76/1.82 c bounds 24 >= -173 @ 1.67769
1.76/1.82 c bounds 24 >= -172 @ 1.68159
1.76/1.84 c #Conflicts: 7000 | #Constraints: 4770
1.76/1.84 c bounds 24 >= -171 @ 1.69526
1.76/1.87 c bounds 24 >= -170 @ 1.72397
2.26/2.31 c #Conflicts: 8000 | #Constraints: 5836
2.26/2.31 c #Conflicts: 9000 | #Constraints: 6836
2.26/2.31 c bounds 24 >= -169 @ 2.14329
2.77/2.87 c INPROCESSING
2.77/2.87 c GARBAGE COLLECT
2.77/2.87 c #Conflicts: 10000 | #Constraints: 5428
2.77/2.87 c #Conflicts: 11000 | #Constraints: 6428
2.77/2.87 c #Conflicts: 12000 | #Constraints: 7428
2.77/2.87 c INPROCESSING
2.77/2.87 c GARBAGE COLLECT
2.77/2.87 c rational objective 2
2.86/3.00 c bounds 23 >= -169 @ 2.80955
2.97/3.01 c bounds 21 >= -169 @ 2.82291
2.97/3.04 c bounds 19 >= -169 @ 2.85028
2.97/3.06 c bounds 18 >= -169 @ 2.86102
2.97/3.07 c bounds 17 >= -169 @ 2.87686
2.97/3.08 c bounds 16 >= -169 @ 2.8858
3.07/3.19 c #Conflicts: 13000 | #Constraints: 5823
3.07/3.19 c bounds 15 >= -169 @ 2.99881
3.17/3.23 c bounds 15 >= -168 @ 3.03235
3.17/3.24 c bounds 15 >= -167 @ 3.04066
3.17/3.27 c #Conflicts: 14000 | #Constraints: 6869
3.17/3.27 c bounds 15 >= -166 @ 3.06969
3.46/3.52 c #Conflicts: 15000 | #Constraints: 7899
3.46/3.52 c INPROCESSING
3.46/3.52 c GARBAGE COLLECT
3.46/3.52 c bounds 15 >= -165 @ 3.30578
3.46/3.52 c bounds 15 >= -164 @ 3.30624
3.46/3.52 c bounds 15 >= -163 @ 3.30693
3.46/3.52 c bounds 15 >= -162 @ 3.3112
3.46/3.54 c bounds 15 >= -161 @ 3.32169
3.46/3.56 c bounds 15 >= -160 @ 3.34461
3.76/3.85 c #Conflicts: 16000 | #Constraints: 6234
3.76/3.85 c #Conflicts: 17000 | #Constraints: 7234
3.76/3.85 c bounds 15 >= -159 @ 3.62478
3.87/3.92 c bounds 15 >= -158 @ 3.69156
3.87/3.96 c #Conflicts: 18000 | #Constraints: 8300
3.87/3.96 c INPROCESSING
3.87/3.96 c GARBAGE COLLECT
3.87/3.96 c bounds 15 >= -157 @ 3.73282
3.87/4.00 c #Conflicts: 19000 | #Constraints: 6276
3.87/4.00 c bounds 15 >= -156 @ 3.76572
3.96/4.08 c #Conflicts: 20000 | #Constraints: 7297
3.96/4.08 c bounds 15 >= -155 @ 3.8444
4.07/4.12 c bounds 14 >= -155 @ 3.87968
4.55/4.68 c #Conflicts: 21000 | #Constraints: 8322
4.55/4.68 c INPROCESSING
4.55/4.68 c GARBAGE COLLECT
4.55/4.68 c rational objective 2
4.66/4.73 c bounds 14 >= -154 @ 4.4632
4.66/4.74 c #Conflicts: 22000 | #Constraints: 6110
4.66/4.74 c bounds 14 >= -153 @ 4.47802
4.97/5.09 c bounds 14 >= -152 @ 4.80527
5.06/5.12 c #Conflicts: 23000 | #Constraints: 7152
5.06/5.12 c bounds 14 >= -151 @ 4.83284
5.06/5.19 c #Conflicts: 24000 | #Constraints: 8185
5.06/5.19 c bounds 14 >= -150 @ 4.9026
5.26/5.36 c #Conflicts: 25000 | #Constraints: 9218
5.26/5.36 c INPROCESSING
5.26/5.36 c GARBAGE COLLECT
5.26/5.36 c #Conflicts: 26000 | #Constraints: 6747
5.26/5.36 c bounds 14 >= -149 @ 5.06587
5.46/5.57 c #Conflicts: 27000 | #Constraints: 7783
5.46/5.57 c #Conflicts: 28000 | #Constraints: 8783
5.46/5.57 c bounds 14 >= -148 @ 5.27679
5.86/5.92 c #Conflicts: 29000 | #Constraints: 9810
5.86/5.92 c #Conflicts: 30000 | #Constraints: 10811
5.86/5.92 c bounds 13 >= -148 @ 5.61593
6.36/6.45 c #Conflicts: 31000 | #Constraints: 11821
6.36/6.45 c #Conflicts: 32000 | #Constraints: 12821
6.36/6.45 c bounds 13 >= -147 @ 6.13654
8.45/8.59 c #Conflicts: 33000 | #Constraints: 13854
8.45/8.59 c #Conflicts: 34000 | #Constraints: 14854
8.45/8.59 c #Conflicts: 35000 | #Constraints: 15854
8.45/8.59 c #Conflicts: 36000 | #Constraints: 16854
8.45/8.59 c #Conflicts: 37000 | #Constraints: 17854
8.45/8.59 c #Conflicts: 38000 | #Constraints: 18854
8.45/8.59 c INPROCESSING
8.45/8.59 c GARBAGE COLLECT
8.45/8.59 c rational objective 2
9.75/9.84 c #Conflicts: 39000 | #Constraints: 11732
9.75/9.84 c #Conflicts: 40000 | #Constraints: 12732
9.75/9.84 c #Conflicts: 41000 | #Constraints: 13732
9.75/9.84 c bounds 13 >= -146 @ 9.42794
10.55/10.62 c #Conflicts: 42000 | #Constraints: 14765
10.55/10.62 c INPROCESSING
10.55/10.62 c GARBAGE COLLECT
10.55/10.62 c rational objective 2
11.15/11.29 c #Conflicts: 43000 | #Constraints: 9231
11.15/11.29 c #Conflicts: 44000 | #Constraints: 10231
11.15/11.29 c #Conflicts: 45000 | #Constraints: 11231
11.15/11.29 c #Conflicts: 46000 | #Constraints: 12231
11.15/11.29 c #Conflicts: 47000 | #Constraints: 13231
11.15/11.29 c bounds 13 >= -145 @ 10.8234
11.95/12.03 c #Conflicts: 48000 | #Constraints: 14276
11.95/12.03 c INPROCESSING
11.95/12.03 c GARBAGE COLLECT
11.95/12.03 c rational objective 2
13.33/13.43 c #Conflicts: 49000 | #Constraints: 9453
13.33/13.43 c #Conflicts: 50000 | #Constraints: 10453
13.33/13.43 c #Conflicts: 51000 | #Constraints: 11453
13.33/13.43 c #Conflicts: 52000 | #Constraints: 12453
13.33/13.43 c #Conflicts: 53000 | #Constraints: 13453
13.33/13.43 c INPROCESSING
13.33/13.43 c GARBAGE COLLECT
13.33/13.43 c rational objective 2
14.63/14.79 c #Conflicts: 54000 | #Constraints: 8895
14.63/14.79 c #Conflicts: 55000 | #Constraints: 9895
14.63/14.79 c #Conflicts: 56000 | #Constraints: 10895
14.63/14.79 c #Conflicts: 57000 | #Constraints: 11896
14.63/14.79 c #Conflicts: 58000 | #Constraints: 12902
14.63/14.79 c INPROCESSING
14.63/14.79 c GARBAGE COLLECT
14.63/14.79 c #Conflicts: 59000 | #Constraints: 8365
14.63/14.79 c #Conflicts: 60000 | #Constraints: 9371
14.63/14.79 c bounds 12 >= -145 @ 14.1941
14.73/14.89 c bounds 11 >= -145 @ 14.2982
14.94/15.07 c #Conflicts: 61000 | #Constraints: 10443
14.94/15.07 c bounds 9 >= -145 @ 14.476
15.23/15.38 c #Conflicts: 62000 | #Constraints: 11472
15.23/15.38 c bounds 9 >= -144 @ 14.7696
15.93/16.07 c #Conflicts: 63000 | #Constraints: 12520
15.93/16.07 c #Conflicts: 64000 | #Constraints: 13520
15.93/16.07 c INPROCESSING
15.93/16.07 c GARBAGE COLLECT
15.93/16.07 c rational objective 2
16.53/16.60 c #Conflicts: 65000 | #Constraints: 8824
16.53/16.60 c #Conflicts: 66000 | #Constraints: 9824
16.53/16.60 c #Conflicts: 67000 | #Constraints: 10824
16.53/16.60 c bounds 9 >= -143 @ 15.9459
17.13/17.24 c #Conflicts: 68000 | #Constraints: 11869
17.13/17.24 c #Conflicts: 69000 | #Constraints: 12869
17.13/17.24 c #Conflicts: 70000 | #Constraints: 13869
17.13/17.24 c INPROCESSING
17.13/17.24 c GARBAGE COLLECT
17.13/17.24 c rational objective 2
18.52/18.68 c #Conflicts: 71000 | #Constraints: 9068
18.52/18.68 c #Conflicts: 72000 | #Constraints: 10068
18.52/18.68 c #Conflicts: 73000 | #Constraints: 11069
18.52/18.68 c #Conflicts: 74000 | #Constraints: 12084
18.52/18.68 c #Conflicts: 75000 | #Constraints: 13103
18.52/18.68 c bounds 8 >= -143 @ 17.9644
19.12/19.20 c #Conflicts: 76000 | #Constraints: 14111
19.12/19.20 c INPROCESSING
19.12/19.20 c GARBAGE COLLECT
19.12/19.20 c rational objective 2
20.52/20.64 c #Conflicts: 77000 | #Constraints: 9120
20.52/20.64 c #Conflicts: 78000 | #Constraints: 10120
20.52/20.64 c #Conflicts: 79000 | #Constraints: 11120
20.52/20.64 c #Conflicts: 80000 | #Constraints: 12120
20.52/20.64 c #Conflicts: 81000 | #Constraints: 13120
20.52/20.64 c #Conflicts: 82000 | #Constraints: 14120
20.52/20.64 c INPROCESSING
20.52/20.64 c GARBAGE COLLECT
20.52/20.64 c rational objective 2
21.32/21.40 c #Conflicts: 83000 | #Constraints: 8978
21.32/21.40 c #Conflicts: 84000 | #Constraints: 9980
21.32/21.40 c #Conflicts: 85000 | #Constraints: 10981
21.32/21.40 c #Conflicts: 86000 | #Constraints: 11982
21.32/21.40 c bounds 8 >= -142 @ 20.6027
22.31/22.42 c #Conflicts: 87000 | #Constraints: 13021
22.31/22.42 c #Conflicts: 88000 | #Constraints: 14021
22.31/22.42 c #Conflicts: 89000 | #Constraints: 15021
22.31/22.42 c INPROCESSING
22.31/22.42 c GARBAGE COLLECT
22.31/22.42 c rational objective 2
25.20/25.30 c #Conflicts: 90000 | #Constraints: 9687
25.20/25.30 c #Conflicts: 91000 | #Constraints: 10687
25.20/25.30 c #Conflicts: 92000 | #Constraints: 11687
25.20/25.30 c #Conflicts: 93000 | #Constraints: 12687
25.20/25.30 c #Conflicts: 94000 | #Constraints: 13687
25.20/25.30 c #Conflicts: 95000 | #Constraints: 14687
25.20/25.30 c #Conflicts: 96000 | #Constraints: 15687
25.20/25.30 c INPROCESSING
25.20/25.30 c GARBAGE COLLECT
25.20/25.30 c rational objective 2
25.80/25.93 c #Conflicts: 97000 | #Constraints: 10196
25.80/25.93 c #Conflicts: 98000 | #Constraints: 11207
25.80/25.93 c bounds 8 >= -141 @ 25.0068
26.51/26.68 c #Conflicts: 99000 | #Constraints: 12284
26.51/26.68 c #Conflicts: 100000 | #Constraints: 13284
26.51/26.68 c bounds 8 >= -140 @ 25.7215
27.20/27.38 c #Conflicts: 101000 | #Constraints: 14320
27.20/27.38 c #Conflicts: 102000 | #Constraints: 15320
27.20/27.38 c INPROCESSING
27.20/27.38 c GARBAGE COLLECT
27.20/27.38 c rational objective 2
27.80/27.92 c #Conflicts: 103000 | #Constraints: 9586
27.80/27.92 c #Conflicts: 104000 | #Constraints: 10586
27.80/27.92 c #Conflicts: 105000 | #Constraints: 11586
27.80/27.92 c #Conflicts: 106000 | #Constraints: 12586
27.80/27.92 c bounds 8 >= -139 @ 26.9233
31.00/31.13 c #Conflicts: 107000 | #Constraints: 13634
31.00/31.13 c #Conflicts: 108000 | #Constraints: 14635
31.00/31.13 c #Conflicts: 109000 | #Constraints: 15635
31.00/31.13 c #Conflicts: 110000 | #Constraints: 16635
31.00/31.13 c #Conflicts: 111000 | #Constraints: 17635
31.00/31.13 c #Conflicts: 112000 | #Constraints: 18635
31.00/31.13 c #Conflicts: 113000 | #Constraints: 19635
31.00/31.13 c #Conflicts: 114000 | #Constraints: 20635
31.00/31.13 c #Conflicts: 115000 | #Constraints: 21635
31.00/31.13 c #Conflicts: 116000 | #Constraints: 22635
31.00/31.13 c bounds 8 >= -138 @ 30.0761
31.30/31.46 c #Conflicts: 117000 | #Constraints: 23689
31.30/31.46 c bounds 7 >= -138 @ 30.3957
31.69/31.80 c #Conflicts: 118000 | #Constraints: 24731
31.69/31.80 c bounds 6 >= -138 @ 30.7262
39.18/39.37 c #Conflicts: 119000 | #Constraints: 25772
39.18/39.37 c #Conflicts: 120000 | #Constraints: 26772
39.18/39.37 c #Conflicts: 121000 | #Constraints: 27772
39.18/39.37 c #Conflicts: 122000 | #Constraints: 28772
39.18/39.37 c #Conflicts: 123000 | #Constraints: 29772
39.18/39.37 c #Conflicts: 124000 | #Constraints: 30772
39.18/39.37 c #Conflicts: 125000 | #Constraints: 31772
39.18/39.37 c #Conflicts: 126000 | #Constraints: 32772
39.18/39.37 c #Conflicts: 127000 | #Constraints: 33773
39.18/39.37 c #Conflicts: 128000 | #Constraints: 34775
39.18/39.37 c #Conflicts: 129000 | #Constraints: 35775
39.18/39.37 c INPROCESSING
39.18/39.37 c GARBAGE COLLECT
39.18/39.37 c #Conflicts: 130000 | #Constraints: 19887
39.18/39.37 c #Conflicts: 131000 | #Constraints: 20887
39.18/39.37 c #Conflicts: 132000 | #Constraints: 21887
39.18/39.37 c #Conflicts: 133000 | #Constraints: 22887
39.18/39.37 c #Conflicts: 134000 | #Constraints: 23887
39.18/39.37 c #Conflicts: 135000 | #Constraints: 24887
39.18/39.37 c #Conflicts: 136000 | #Constraints: 25887
39.18/39.37 c #Conflicts: 137000 | #Constraints: 26887
39.18/39.37 c #Conflicts: 138000 | #Constraints: 27887
39.18/39.37 c INPROCESSING
39.18/39.37 c GARBAGE COLLECT
39.18/39.37 c #Conflicts: 139000 | #Constraints: 16376
39.18/39.37 c #Conflicts: 140000 | #Constraints: 17376
39.18/39.37 c bounds 5 >= -138 @ 38.1293
43.46/43.63 c #Conflicts: 141000 | #Constraints: 18377
43.46/43.63 c #Conflicts: 142000 | #Constraints: 19377
43.46/43.63 c #Conflicts: 143000 | #Constraints: 20378
43.46/43.63 c #Conflicts: 144000 | #Constraints: 21378
43.46/43.63 c #Conflicts: 145000 | #Constraints: 22378
43.46/43.63 c #Conflicts: 146000 | #Constraints: 23378
43.46/43.63 c INPROCESSING
43.46/43.63 c GARBAGE COLLECT
43.46/43.63 c #Conflicts: 147000 | #Constraints: 13890
43.46/43.63 c #Conflicts: 148000 | #Constraints: 14907
43.46/43.63 c #Conflicts: 149000 | #Constraints: 15934
43.46/43.63 c #Conflicts: 150000 | #Constraints: 16949
43.46/43.63 c #Conflicts: 151000 | #Constraints: 17969
43.46/43.63 c #Conflicts: 152000 | #Constraints: 18977
43.46/43.63 c bounds 4 >= -138 @ 42.2978
44.26/44.48 c #Conflicts: 153000 | #Constraints: 19988
44.26/44.48 c #Conflicts: 154000 | #Constraints: 20988
44.26/44.48 c #Conflicts: 155000 | #Constraints: 21989
44.26/44.48 c INPROCESSING
44.26/44.48 c GARBAGE COLLECT
44.26/44.48 c rational objective 2
44.46/44.60 c bounds 3 >= -138 @ 43.2551
45.56/45.70 c #Conflicts: 156000 | #Constraints: 13378
45.56/45.70 c #Conflicts: 157000 | #Constraints: 14410
45.56/45.70 c #Conflicts: 158000 | #Constraints: 15427
45.56/45.70 c #Conflicts: 159000 | #Constraints: 16438
45.56/45.70 c bounds 2 >= -138 @ 44.3161
45.56/45.77 c bounds 2 >= 2 @ 44.3825
45.56/45.77 c cpu time 44.3825 s
45.56/45.77 c deterministic time 2124320979 2.12e+09
45.56/45.77 c optimization time 0.037557 s
45.56/45.77 c total solve time 44.3408 s
45.56/45.77 c core-guided solve time 27.6763 s
45.56/45.77 c propagation time 27.1031 s
45.56/45.77 c conflict analysis time 10.0933 s
45.56/45.77 c propagations 13457173
45.56/45.77 c resolve steps 1672539
45.56/45.77 c decisions 509914
45.56/45.77 c conflicts 159571
45.56/45.77 c restarts 434
45.56/45.77 c inprocessing phases 25
45.56/45.77 c garbage collections 25 ,( 100.00 )
45.56/45.77 c input clauses 1588 ,( 39.74 )
45.56/45.77 c input cardinalities 1229 ,( 30.76 )
45.56/45.77 c input general constraints 1179 ,( 29.50 )
45.56/45.77 c input average constraint length 80.07
45.56/45.77 c input average constraint degree 39.02
45.56/45.77 c learned clauses 87850 ,( 54.83 )
45.56/45.77 c learned cardinalities 192 ,( 0.12 )
45.56/45.77 c learned general constraints 72178 ,( 45.05 )
45.56/45.77 c learned average constraint length 140.49
45.56/45.77 c learned average constraint degree 826149042.87
45.56/45.77 c watched CF 32, 64, 128, Arb: 13581 , 0 , 0 , 0
45.56/45.77 c counting CF 32, 64, 128, Arb: 59777 , 0 , 0 , 0
45.56/45.77 c watched constraints 13581 ,( 18.51 )
45.56/45.77 c counting constraints 59776 ,( 81.49 )
45.56/45.77 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 20824493 , 5633800 , 139389054 ,( 4188371 , 135200683 )
45.56/45.77 c gcd simplifications 3059
45.56/45.77 c detected cardinalities 14
45.56/45.77 c weakened non-implied lits 9179454
45.56/45.77 c weakened non-implying lits 17566
45.56/45.77 c original variables 906
45.56/45.77 c clausal propagations 3541637
45.56/45.77 c cardinality propagations 1411383
45.56/45.77 c watched propagations 38850
45.56/45.77 c counting propagations 7891423
45.56/45.77 c watch lookups 1196444544
45.56/45.77 c watch backjump lookups 0
45.56/45.77 c watch checks 172584139
45.56/45.77 c propagation checks 657122037
45.56/45.77 c constraint additions 69818819
45.56/45.77 c trail pops 14126193
45.56/45.77 c formula constraints 1039
45.56/45.77 c learned constraints 159243
45.56/45.77 c bound constraints 320
45.56/45.77 c core-guided constraints 2637
45.56/45.77 c encountered formula constraints 380915
45.56/45.77 c encountered learned constraints 880396
45.56/45.77 c encountered bound constraints 217
45.56/45.77 c encountered core-guided constraints 554254
45.56/45.77 c LP total time 14.2105 s
45.56/45.77 c LP solve time 12.75 s
45.56/45.77 c LP constraints added 1059
45.56/45.77 c LP constraints removed 19
45.56/45.77 c LP pivots internal 159580
45.56/45.77 c LP pivots root 98579
45.56/45.77 c LP calls 916
45.56/45.77 c LP optimalities 397
45.56/45.77 c LP no pivot count 156
45.56/45.77 c LP infeasibilities 511
45.56/45.77 c LP valid Farkas constraints 508
45.56/45.77 c LP learned Farkas constraints 449
45.56/45.77 c LP basis resets 5
45.56/45.77 c LP cycling count 3
45.56/45.77 c LP singular count 0
45.56/45.77 c LP no primal count 0
45.56/45.77 c LP no farkas count 2
45.56/45.77 c LP other issue count 0
45.56/45.77 c LP Gomory cuts 20
45.56/45.77 c LP learned cuts 0
45.56/45.77 c LP deleted cuts 19
45.56/45.77 c LP encountered Gomory constraints 0
45.56/45.77 c LP encountered Farkas constraints 13502
45.56/45.77 c LP encountered learned Farkas constraints 2376
45.56/45.77 c CG auxiliary variables introduced 968
45.56/45.77 c CG solutions found 53
45.56/45.77 c CG cores constructed 267
45.56/45.77 c CG core cardinality constraints returned 23
45.56/45.77 c CG unit cores 0
45.56/45.77 c CG single cores 235
45.56/45.77 c CG blocks removed during cardinality reduction 0
45.56/45.77 c CG first core best 0
45.56/45.77 c CG decision core best 17
45.56/45.77 c CG core reduction tie 15
45.56/45.77 c CG core degree average 1.11
45.56/45.77 c CG core slack average 7.32
45.56/45.77 c CG core upper bound improvements 0
45.56/45.77 c STR number of successful calls 0
45.56/45.77 c STR number of unsuccessful calls 0
45.56/45.77 c STR number of inconclusive calls 0
45.56/45.77 c STR number of successful attempts 0
45.56/45.77 c STR number of unsuccessful attempts 0
45.56/45.77 c STR number of inconclusive attempts 0
45.56/45.77 c STR average degree increase per successful call inf
45.56/45.77 c STR average degree increase per successful attempt inf
45.56/45.77 c STR total number of conflicts for successful attempts 0
45.56/45.77 c STR total number of conflicts for unsuccessful attempts 0
45.56/45.77 c STR total number of conflicts for inconclusive attempts 0
45.56/45.77 c STR average number of conflicts per successful attempt inf
45.56/45.77 c STR average number of conflicts per unsuccessful attempt inf
45.56/45.77 c STR average number of conflicts per inconclusive attempt inf
45.56/45.77 c AVG.sumWPerc 60.73
45.56/45.77 c bigint constraints 0
45.56/45.77 o 2
45.56/45.77 s OPTIMUM FOUND
45.56/45.77 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
Verifier Data
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: 63708 MiB (59025 MiB free)
memory of node 1: 64465 MiB (60108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484496-1751288092/watcher-4484496-1751288092 -o /tmp/evaluation-result-4484496-1751288092/solver-4484496-1751288092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760 run-opt-break.sh HOME/instance-4484496-1751288092.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39059, runsolver pid=39056
[startup+0.100058 s]*
/proc/loadavg: 4.06 4.10 4.09 6/267 39062
/proc/meminfo: memFree=121985936/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=58860 memory=15252 CPUtime=0.08 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 1385 0 0 0 7 1 0 0 20 0 1 0 44487885 60272640 3813 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 14715 3813 2400 1147 0 2142 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63052 KiB
Current children cumulated memory: 18196 KiB
[startup+0.205613 s]*
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121978124/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=64072 memory=20628 CPUtime=0.18 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 2683 0 0 0 15 3 0 0 20 0 1 0 44487885 65609728 5157 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 16018 5157 2432 1147 0 3445 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68264 KiB
Current children cumulated memory: 23572 KiB
[startup+0.305484 s]*
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121978124/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=64224 memory=20756 CPUtime=0.28 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 2702 0 0 0 24 4 0 0 20 0 1 0 44487885 65765376 5189 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 16056 5189 2432 1147 0 3483 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68416 KiB
Current children cumulated memory: 23700 KiB
[startup+0.70021 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121970060/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=69464 memory=28056 CPUtime=0.67 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 4028 0 0 0 60 7 0 0 20 0 1 0 44487885 71131136 7014 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 17366 7014 2432 1147 0 4793 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73656 KiB
Current children cumulated memory: 31000 KiB
[startup+1.50021 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121969556/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=81988 memory=39448 CPUtime=1.47 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 6896 0 0 0 136 11 0 0 20 0 1 0 44487885 83955712 9862 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 20497 9862 2432 1147 0 7924 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86180 KiB
Current children cumulated memory: 42392 KiB
[startup+3.10544 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121954536/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=82620 memory=40344 CPUtime=3.07 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 7095 0 0 0 290 17 0 0 20 0 1 0 44487885 84602880 10086 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 20655 10086 2432 1147 0 8082 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 86812 KiB
Current children cumulated memory: 43288 KiB
[startup+6.3002 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121923544/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=101028 memory=54912 CPUtime=6.25 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 10235 0 0 0 598 27 0 0 20 0 1 0 44487885 103452672 13728 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 25257 13728 2432 1147 0 12684 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 105220 KiB
Current children cumulated memory: 57856 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/267 39062
/proc/meminfo: memFree=121834704/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=152088 memory=100620 CPUtime=12.63 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 18584 0 0 0 1217 46 0 0 20 0 1 0 44487885 155738112 25155 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 38022 25155 2432 1147 0 25449 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 156280 KiB
Current children cumulated memory: 103564 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 39062
/proc/meminfo: memFree=121820628/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=164400 memory=108940 CPUtime=25.41 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 20674 0 0 0 2460 81 0 0 20 0 1 0 44487885 168345600 27235 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 41100 27235 2432 1147 0 28527 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 168592 KiB
Current children cumulated memory: 111884 KiB
[startup+45.7799 s]
# the end of solver process 39059 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=44.3879 s, system=1.26523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 39062
/proc/meminfo: memFree=121820628/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=164400 memory=108940 CPUtime=25.51 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 20674 0 0 0 2469 82 0 0 20 0 1 0 44487885 168345600 27235 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 41100 27235 2432 1147 0 28527 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 168592 KiB
Current children cumulated memory: 111884 KiB
[startup+38.4002 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121820408/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=179648 memory=120076 CPUtime=38.28 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 23467 0 0 0 3717 111 0 0 20 0 1 0 44487885 183959552 30019 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 44912 30019 2432 1147 0 32339 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 183840 KiB
Current children cumulated memory: 123020 KiB
[startup+41.6001 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=41.47 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24188 0 0 0 4031 116 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
[startup+43.2002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=43.07 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24204 0 0 0 4187 120 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 43.07 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
[startup+44.8002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=44.66 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24204 0 0 0 4344 122 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
[startup+45.2002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=45.06 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24204 0 0 0 4382 124 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 45.06 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
[startup+45.6002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=45.45 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24205 0 0 0 4421 124 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 45.45 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
[startup+45.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39063
/proc/meminfo: memFree=121802776/131249996 swapFree=33010684/33010684
[pid=39059] ppid=39056 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/39059/stat : 39059 (run-opt-break.s) S 39056 39059 37984 0 -1 4194304 237 636 0 0 0 0 0 0 20 0 1 0 44487884 4292608 736 18446744073709551615 93921566502912 93921567397445 140727322606880 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93921567636496 93921567684240 93921580535808 140727322614113 140727322614242 140727322614242 140727322619844 0
/proc/39059/statm: 1048 736 672 219 0 110 0
[pid=39062] ppid=39059 vsize=182112 memory=123020 CPUtime=45.56 cores=0,2
/proc/39062/stat : 39062 (roundingsat) R 39059 39059 37984 0 -1 4194304 24205 0 0 0 4431 125 0 0 20 0 1 0 44487885 186482688 30755 18446744073709551615 4227072 8923433 140724929031776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23875584 140724929038692 140724929038888 140724929038888 140724929044458 0
/proc/39062/statm: 45528 30755 2432 1147 0 32955 0
Current children cumulated CPU time: 45.56 s
Current children cumulated vsize: 186304 KiB
Current children cumulated memory: 125964 KiB
Child status: 0
Real time (s): 45.7799
CPU time (s): 45.6531
CPU user time (s): 44.3879
CPU system time (s): 1.26523
CPU usage (%): 99.7229
Max. virtual memory (cumulated for all children) (KiB): 186304
Max. memory (cumulated for all children) (KiB): 125964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3879
system time used= 1.26524
maximum resident set size= 123020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 119
# summary of solver processes directly reported to runsolver:
# pid: 39059
# total CPU time (s): 45.6531
# total CPU user time (s): 44.3879
# total CPU system time (s): 1.26523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095931 second user time and 0.235005 second system time
The end
Launcher Data
Begin job on nodeC032 at 2025-06-30 14:54:53
IDJOB=4484496
IDBENCH=146658
IDSOLVER=3359
FILE ID=nodeC032/4484496-1751288092
RUNJOBID= nodeC032-1751280593-37994
SLURM_JOB_ID= 9594228
Free space on /tmp= 432044 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484496-1751288092/watcher-4484496-1751288092 -o /tmp/evaluation-result-4484496-1751288092/solver-4484496-1751288092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760 run-opt-break.sh HOME/instance-4484496-1751288092.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=1960861589
nodeC032 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 : 0xb00002a
cpu MHz : 3599.522
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3599.838
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3599.859
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3491.437
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3599.864
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3599.838
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3599.363
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
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 : 0xb00002a
cpu MHz : 3700.000
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121993736 kB
MemAvailable: 121752044 kB
Buffers: 3280 kB
Cached: 566764 kB
SwapCached: 0 kB
Active: 8316984 kB
Inactive: 313368 kB
Active(anon): 8078376 kB
Inactive(anon): 0 kB
Active(file): 238608 kB
Inactive(file): 313368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7148 kB
Writeback: 0 kB
AnonPages: 8063440 kB
Mapped: 116904 kB
Shmem: 18068 kB
KReclaimable: 91144 kB
Slab: 175780 kB
SReclaimable: 91144 kB
SUnreclaim: 84636 kB
KernelStack: 4304 kB
PageTables: 21360 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 9774580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 946176 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432040 MiB
End job on nodeC032 at 2025-06-30 14:55:38