Trace number 4484128

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+pbsuma-opt 63f22adOPT2642 58.0321 58.1872

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM9e8345160c873e2ecbeb2fceb1264fd1
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 benchmark2642
Best CPU time to get the best result obtained on this benchmark0.045582
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4484128-1751284206.opb'
0.00/0.01	c 	read 0.03MB  (0.57ms)
0.00/0.01	c	 [cnf: #variables 907 #clauses 404 #duplicates 0 #arr 3726]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 222] (1.00ms)
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 	 found row 4x14, generating row predicate
0.00/0.01	c 	 found row 6x14, generating row predicate
0.00/0.01	c 	 found row 7x14, generating row predicate
0.00/0.01	c 	 found row 27x14, generating row predicate
0.00/0.01	c 	 found row 3x14, generating row predicate
0.00/0.01	c 	 found row 4x14, generating row predicate
0.00/0.01	c 	 found row 6x14, generating row predicate
0.00/0.01	c 	 found row 4x14, generating row predicate
0.00/0.01	c 	 found row 3x14, generating row predicate
0.00/0.01	c 	 found row 4x14, generating row predicate
0.00/0.01	c 	 (4.28ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 4364 #edges 13558]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01	c 	 [group: #symmetries 3.84*10^2 #generators 8] (0.89ms)
0.00/0.01	c 
0.00/0.01	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01	c 	(0.01ms)
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 add generic predicates (break_depth=20)
0.00/0.01	c 	added predicates for 8 generators (0.02ms)
0.00/0.01	c 
0.00/0.01	c generation finished
0.00/0.01	c 	[sbp: #constraints 2568 #add_vars 834]
0.00/0.01	c 
0.00/0.01	c write result to 'HOME/instance-4484128-1751284206.opb.pre'
0.00/0.01	c 	wrote 0.12MB (0.33ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   4.28ms 59.02% detect_special
0.00/0.01	c                   1.00ms 13.79% approx_orbits
0.00/0.01	c                   0.89ms 12.24% detect_generic
0.00/0.01	c                   0.56ms  7.79% parse
0.00/0.01	c                   0.33ms  4.59% output
0.00/0.01	c                   0.13ms  1.81% other
0.00/0.01	c                   0.03ms  0.41% finalize_order
0.00/0.01	c                   0.02ms  0.29% break_generic
0.00/0.01	c                   0.01ms  0.08% optimize_gens
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   7.25ms   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.04	c #variables 1741 #constraints 3231
0.00/0.04	c objective is ce32 
0.00/0.04	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04	c bounds - >= -415 @ 0.011041
0.00/0.08	c bounds 9725 >= -415 @ 0.052083
0.00/0.08	c bounds 9725 >= -174 @ 0.052083
0.00/0.08	c bounds 9725 >= -173 @ 0.052083
0.00/0.08	c bounds 9725 >= -172 @ 0.052083
0.00/0.09	c bounds 9725 >= -171 @ 0.052262
0.00/0.09	c bounds 9725 >= -71 @ 0.052566
0.00/0.09	c bounds 9725 >= -70 @ 0.052895
0.00/0.09	c bounds 9725 >= -69 @ 0.053217
0.00/0.09	c bounds 9725 >= -68 @ 0.05354
0.00/0.09	c bounds 9725 >= -67 @ 0.053862
0.00/0.09	c bounds 9725 >= -66 @ 0.054081
0.00/0.09	c bounds 9725 >= -65 @ 0.054081
0.00/0.09	c bounds 9725 >= -64 @ 0.054081
0.00/0.09	c bounds 9725 >= -63 @ 0.054081
0.00/0.09	c bounds 9725 >= -62 @ 0.054081
0.00/0.09	c bounds 9725 >= -61 @ 0.054081
0.00/0.09	c bounds 9725 >= -60 @ 0.054081
0.00/0.09	c bounds 9725 >= -59 @ 0.054081
0.00/0.09	c bounds 9725 >= -58 @ 0.054081
0.00/0.09	c bounds 9725 >= -57 @ 0.054215
0.00/0.09	c bounds 9725 >= -56 @ 0.054556
0.00/0.09	c bounds 9725 >= -55 @ 0.054895
0.00/0.09	c bounds 9725 >= -54 @ 0.055072
0.00/0.09	c bounds 9725 >= -53 @ 0.055072
0.00/0.09	c bounds 9725 >= -52 @ 0.055072
0.00/0.09	c bounds 9725 >= -51 @ 0.055072
0.00/0.09	c bounds 9725 >= -50 @ 0.055072
0.00/0.09	c bounds 9725 >= -49 @ 0.055072
0.00/0.09	c bounds 9725 >= -48 @ 0.055072
0.00/0.09	c bounds 9725 >= -47 @ 0.055072
0.00/0.09	c bounds 9725 >= -46 @ 0.055072
0.00/0.09	c bounds 9725 >= -45 @ 0.05545
0.00/0.09	c bounds 9725 >= -44 @ 0.055819
0.00/0.10	c bounds 9725 >= -43 @ 0.056066
0.00/0.10	c bounds 9624 >= -43 @ 0.056244
0.00/0.10	c bounds 9624 >= -42 @ 0.05667
0.00/0.10	c bounds 9624 >= -41 @ 0.057053
0.00/0.10	c bounds 9624 >= -40 @ 0.057437
0.00/0.10	c bounds 9624 >= -39 @ 0.057821
0.00/0.10	c bounds 9624 >= -38 @ 0.057993
0.00/0.10	c bounds 9624 >= -37 @ 0.057993
0.00/0.10	c bounds 9624 >= -36 @ 0.058013
0.00/0.10	c bounds 9624 >= -35 @ 0.058399
0.00/0.10	c bounds 9524 >= -35 @ 0.058977
0.00/0.10	c bounds 9524 >= -34 @ 0.058977
0.07/0.10	c bounds 9524 >= -33 @ 0.058977
0.07/0.10	c bounds 9524 >= -32 @ 0.058977
0.07/0.10	c bounds 9524 >= -31 @ 0.058977
0.07/0.10	c bounds 9524 >= -30 @ 0.058977
0.07/0.10	c bounds 9524 >= -29 @ 0.058977
0.07/0.10	c bounds 9523 >= -29 @ 0.058977
0.07/0.10	c bounds 9523 >= 34 @ 0.05959
0.07/0.10	c bounds 9523 >= 35 @ 0.0599
0.07/0.11	c bounds 9523 >= 36 @ 0.06017
0.07/0.11	c bounds 9523 >= 37 @ 0.060479
0.07/0.11	c bounds 9523 >= 38 @ 0.060778
0.07/0.11	c bounds 9523 >= 39 @ 0.060955
0.07/0.11	c bounds 9523 >= 40 @ 0.060955
0.07/0.11	c bounds 9523 >= 41 @ 0.060955
0.07/0.11	c bounds 9523 >= 42 @ 0.060955
0.07/0.11	c bounds 9523 >= 43 @ 0.061252
0.07/0.11	c bounds 9423 >= 43 @ 0.062151
0.07/0.11	c bounds 9423 >= 44 @ 0.062459
0.07/0.11	c bounds 9423 >= 45 @ 0.062752
0.07/0.11	c bounds 9423 >= 46 @ 0.063058
0.07/0.11	c bounds 9423 >= 47 @ 0.063351
0.07/0.11	c bounds 9423 >= 48 @ 0.063656
0.07/0.11	c bounds 9423 >= 49 @ 0.063956
0.07/0.11	c bounds 9423 >= 50 @ 0.064248
0.07/0.11	c bounds 9423 >= 51 @ 0.064543
0.07/0.11	c bounds 9423 >= 52 @ 0.06483
0.07/0.11	c bounds 9423 >= 53 @ 0.064944
0.07/0.11	c bounds 9423 >= 54 @ 0.064944
0.07/0.11	c bounds 9423 >= 55 @ 0.064944
0.07/0.11	c bounds 9423 >= 56 @ 0.064944
0.07/0.11	c bounds 9423 >= 57 @ 0.064944
0.07/0.11	c bounds 9423 >= 156 @ 0.064944
0.07/0.11	c bounds 9323 >= 156 @ 0.064944
0.07/0.11	c bounds 9323 >= 157 @ 0.064944
0.07/0.11	c bounds 9323 >= 158 @ 0.064944
0.07/0.11	c bounds 9323 >= 159 @ 0.064944
0.07/0.12	c bounds 9323 >= 160 @ 0.064944
0.07/0.12	c bounds 9323 >= 162 @ 0.064944
0.07/0.12	c bounds 9323 >= 163 @ 0.064944
0.07/0.12	c bounds 9323 >= 164 @ 0.065305
0.07/0.12	c bounds 9223 >= 164 @ 0.066171
0.07/0.12	c bounds 9223 >= 165 @ 0.066568
0.07/0.12	c bounds 9223 >= 166 @ 0.066916
0.07/0.12	c bounds 9223 >= 167 @ 0.066916
0.07/0.12	c bounds 9223 >= 168 @ 0.066916
0.07/0.12	c bounds 9223 >= 170 @ 0.067022
0.07/0.12	c bounds 9223 >= 171 @ 0.067374
0.07/0.12	c bounds 9122 >= 171 @ 0.068369
0.07/0.12	c bounds 9122 >= 172 @ 0.06876
0.07/0.12	c bounds 9122 >= 174 @ 0.068931
0.07/0.12	c bounds 9122 >= 176 @ 0.068931
0.07/0.12	c bounds 9122 >= 177 @ 0.068931
0.07/0.12	c bounds 9122 >= 178 @ 0.068931
0.07/0.12	c bounds 9122 >= 180 @ 0.068931
0.07/0.12	c bounds 9021 >= 180 @ 0.068931
0.07/0.12	c bounds 9021 >= 181 @ 0.069001
0.07/0.12	c bounds 9021 >= 182 @ 0.069367
0.07/0.12	c bounds 9021 >= 183 @ 0.069728
0.07/0.13	c bounds 9021 >= 184 @ 0.069928
0.07/0.13	c bounds 9021 >= 186 @ 0.069928
0.07/0.13	c bounds 9021 >= 188 @ 0.069928
0.07/0.13	c bounds 9021 >= 189 @ 0.069928
0.07/0.13	c bounds 8920 >= 189 @ 0.070705
0.07/0.13	c bounds 8920 >= 192 @ 0.071068
0.07/0.13	c bounds 8920 >= 194 @ 0.07144
0.07/0.13	c bounds 8920 >= 195 @ 0.071795
0.07/0.13	c bounds 8920 >= 196 @ 0.072157
0.07/0.13	c bounds 8920 >= 198 @ 0.072518
0.07/0.13	c bounds 8920 >= 200 @ 0.072886
0.07/0.13	c bounds 8920 >= 202 @ 0.073302
0.07/0.13	c bounds 8919 >= 202 @ 0.075427
0.07/0.13	c bounds 8919 >= 203 @ 0.07581
0.07/0.13	c bounds 8919 >= 218 @ 0.076168
0.07/0.13	c bounds 8919 >= 219 @ 0.076543
0.07/0.14	c bounds 8919 >= 220 @ 0.076906
0.07/0.14	c bounds 8919 >= 221 @ 0.07727
0.07/0.14	c bounds 8919 >= 222 @ 0.077632
0.07/0.14	c bounds 8919 >= 223 @ 0.077994
0.07/0.14	c bounds 8919 >= 224 @ 0.078355
0.07/0.14	c bounds 8919 >= 225 @ 0.078714
0.07/0.14	c bounds 8919 >= 226 @ 0.078906
0.07/0.14	c bounds 8919 >= 227 @ 0.078906
0.07/0.14	c bounds 8919 >= 228 @ 0.078906
0.07/0.14	c bounds 8919 >= 229 @ 0.079258
0.07/0.15	c bounds 8818 >= 229 @ 0.087732
0.07/0.15	c bounds 8818 >= 230 @ 0.087885
0.07/0.15	c bounds 8818 >= 231 @ 0.087885
0.07/0.15	c bounds 8818 >= 232 @ 0.088033
0.07/0.15	c bounds 8818 >= 233 @ 0.088451
0.07/0.15	c bounds 8818 >= 234 @ 0.088891
0.07/0.15	c bounds 8818 >= 235 @ 0.089317
0.07/0.15	c bounds 8818 >= 236 @ 0.089746
0.07/0.15	c bounds 8818 >= 237 @ 0.089881
0.07/0.15	c bounds 8818 >= 238 @ 0.089881
0.07/0.15	c bounds 8818 >= 239 @ 0.09008
0.07/0.15	c bounds 8818 >= 240 @ 0.09053
0.07/0.15	c bounds 8818 >= 241 @ 0.090979
0.07/0.15	c bounds 8818 >= 242 @ 0.091415
0.07/0.15	c bounds 8818 >= 243 @ 0.091841
0.07/0.15	c bounds 8818 >= 244 @ 0.091876
0.07/0.15	c bounds 8818 >= 245 @ 0.091876
0.07/0.16	c bounds 8818 >= 246 @ 0.091876
0.07/0.16	c bounds 8818 >= 247 @ 0.091876
0.07/0.16	c bounds 8818 >= 248 @ 0.091989
0.07/0.16	c bounds 8818 >= 249 @ 0.092722
0.07/0.16	c bounds 8818 >= 250 @ 0.092873
0.07/0.16	c bounds 8818 >= 251 @ 0.093318
0.07/0.16	c bounds 8818 >= 252 @ 0.094175
0.07/0.16	c bounds 8818 >= 253 @ 0.095125
0.07/0.16	c bounds 8817 >= 253 @ 0.098541
0.07/0.16	c bounds 8817 >= 254 @ 0.099214
0.07/0.16	c bounds 8817 >= 348 @ 0.099589
0.07/0.17	c bounds 8817 >= 350 @ 0.100056
0.07/0.17	c bounds 8817 >= 351 @ 0.100909
0.07/0.17	c bounds 8817 >= 352 @ 0.102085
0.07/0.17	c bounds 8817 >= 353 @ 0.104195
0.07/0.17	c bounds 8717 >= 353 @ 0.107198
0.07/0.18	c bounds 8717 >= 354 @ 0.111778
0.07/0.18	c bounds 8716 >= 354 @ 0.114311
0.07/0.19	c bounds 8716 >= 355 @ 0.123773
0.07/0.19	c bounds 8615 >= 355 @ 0.1263
0.07/0.19	c bounds 8614 >= 355 @ 0.127787
0.07/0.20	c bounds 8613 >= 355 @ 0.13035
0.07/0.20	c bounds 8512 >= 355 @ 0.132774
0.07/0.20	c bounds 8511 >= 355 @ 0.135398
0.17/0.23	c bounds 8511 >= 356 @ 0.153694
0.17/0.23	c bounds 8410 >= 356 @ 0.15586
0.17/0.23	c bounds 8409 >= 356 @ 0.158579
0.17/0.23	c bounds 8308 >= 356 @ 0.160676
0.17/0.24	c bounds 8207 >= 356 @ 0.16286
0.17/0.24	c bounds 8108 >= 356 @ 0.167309
0.17/0.24	c bounds 8107 >= 356 @ 0.170575
0.17/0.25	c bounds 8007 >= 356 @ 0.176108
0.17/0.28	c bounds 8007 >= 357 @ 0.202385
0.17/0.29	c bounds 8006 >= 357 @ 0.207488
0.17/0.30	c bounds 8005 >= 357 @ 0.213841
0.17/0.30	c bounds 8004 >= 357 @ 0.218735
0.28/0.31	c bounds 8003 >= 357 @ 0.225157
0.28/0.35	c #Conflicts:       1000 | #Constraints:       4842
0.28/0.35	c bounds 8003 >= 358 @ 0.262502
0.28/0.35	c bounds 7902 >= 358 @ 0.269094
0.28/0.36	c bounds 7901 >= 358 @ 0.275063
0.28/0.37	c bounds 7900 >= 358 @ 0.283264
0.28/0.37	c bounds 7899 >= 358 @ 0.289991
0.28/0.38	c bounds 7799 >= 358 @ 0.296696
0.28/0.39	c bounds 7798 >= 358 @ 0.301061
0.28/0.40	c bounds 7697 >= 358 @ 0.311698
0.38/0.47	c bounds 7697 >= 359 @ 0.385695
0.38/0.48	c bounds 7696 >= 359 @ 0.393795
0.38/0.49	c bounds 7596 >= 359 @ 0.4005
0.38/0.50	c bounds 7595 >= 359 @ 0.409264
0.38/0.51	c bounds 7594 >= 359 @ 0.416123
0.47/0.51	c bounds 7593 >= 359 @ 0.424988
0.47/0.52	c bounds 7493 >= 359 @ 0.435313
0.47/0.53	c bounds 7492 >= 359 @ 0.445531
0.47/0.56	c bounds 7391 >= 359 @ 0.472413
0.47/0.57	c bounds 7391 >= 445 @ 0.473934
0.57/0.63	c #Conflicts:       2000 | #Constraints:       5903
0.57/0.63	c INPROCESSING
0.57/0.63	c GARBAGE COLLECT
0.57/0.63	c rational objective 2642
0.57/0.67	c bounds 7391 >= 458 @ 0.573806
0.57/0.67	c bounds 7391 >= 459 @ 0.575473
0.57/0.67	c bounds 7391 >= 544 @ 0.575595
0.57/0.67	c bounds 7391 >= 546 @ 0.575927
0.57/0.67	c bounds 7391 >= 547 @ 0.576427
0.57/0.67	c bounds 7391 >= 549 @ 0.576592
0.57/0.67	c bounds 7391 >= 557 @ 0.576592
0.57/0.67	c bounds 7391 >= 629 @ 0.577258
0.57/0.68	c bounds 7391 >= 630 @ 0.577758
0.57/0.68	c bounds 7391 >= 631 @ 0.578301
0.57/0.68	c bounds 7391 >= 632 @ 0.578819
0.57/0.68	c bounds 7391 >= 633 @ 0.579442
0.57/0.68	c bounds 7391 >= 634 @ 0.579584
0.57/0.69	c bounds 7290 >= 634 @ 0.587487
0.57/0.69	c bounds 7290 >= 635 @ 0.588064
0.57/0.69	c bounds 7290 >= 636 @ 0.588612
0.57/0.69	c bounds 7290 >= 637 @ 0.58914
0.57/0.69	c bounds 7290 >= 638 @ 0.589688
0.57/0.69	c bounds 7290 >= 639 @ 0.590261
0.57/0.69	c bounds 7290 >= 640 @ 0.59108
0.57/0.69	c bounds 7290 >= 641 @ 0.591701
0.57/0.69	c bounds 7290 >= 642 @ 0.592356
0.57/0.69	c bounds 7290 >= 643 @ 0.59303
0.57/0.69	c bounds 7290 >= 644 @ 0.593857
0.57/0.69	c bounds 7290 >= 645 @ 0.594876
0.57/0.69	c bounds 7290 >= 646 @ 0.595793
0.57/0.70	c bounds 7290 >= 647 @ 0.59661
0.66/0.70	c bounds 7290 >= 648 @ 0.597515
0.66/0.70	c bounds 7290 >= 649 @ 0.59815
0.66/0.70	c bounds 7290 >= 650 @ 0.598537
0.66/0.70	c bounds 7290 >= 651 @ 0.598891
0.66/0.70	c bounds 7290 >= 652 @ 0.599529
0.66/0.70	c bounds 7290 >= 653 @ 0.600334
0.66/0.70	c bounds 7290 >= 654 @ 0.601313
0.66/0.70	c bounds 7290 >= 655 @ 0.602013
0.66/0.70	c bounds 7290 >= 656 @ 0.602768
0.66/0.70	c bounds 7290 >= 657 @ 0.604231
0.66/0.72	c bounds 7189 >= 657 @ 0.618063
0.66/0.72	c bounds 7189 >= 658 @ 0.618485
0.66/0.72	c bounds 7189 >= 659 @ 0.618504
0.66/0.72	c bounds 7189 >= 661 @ 0.618918
0.66/0.72	c bounds 7189 >= 662 @ 0.619556
0.66/0.72	c bounds 7189 >= 663 @ 0.620222
0.66/0.72	c bounds 7189 >= 664 @ 0.620427
0.66/0.72	c bounds 7189 >= 665 @ 0.620476
0.66/0.72	c bounds 7189 >= 666 @ 0.621117
0.66/0.72	c bounds 7189 >= 667 @ 0.621477
0.66/0.72	c bounds 7189 >= 668 @ 0.62155
0.66/0.72	c bounds 7189 >= 669 @ 0.622341
0.66/0.73	c bounds 7189 >= 690 @ 0.622684
0.66/0.73	c bounds 7189 >= 691 @ 0.623607
0.66/0.73	c bounds 7189 >= 692 @ 0.624198
0.66/0.73	c bounds 7189 >= 693 @ 0.624468
0.66/0.73	c bounds 7189 >= 695 @ 0.624717
0.66/0.73	c bounds 7189 >= 696 @ 0.627768
0.66/0.73	c bounds 7189 >= 697 @ 0.628397
0.66/0.74	c bounds 7088 >= 697 @ 0.637483
0.66/0.74	c bounds 7088 >= 698 @ 0.638143
0.66/0.75	c bounds 7088 >= 699 @ 0.638433
0.66/0.75	c bounds 7088 >= 700 @ 0.638433
0.66/0.75	c bounds 7088 >= 701 @ 0.638851
0.66/0.75	c bounds 7088 >= 702 @ 0.639431
0.66/0.75	c bounds 7088 >= 703 @ 0.639431
0.66/0.75	c bounds 7088 >= 704 @ 0.639431
0.66/0.75	c bounds 7088 >= 705 @ 0.639431
0.66/0.75	c bounds 7088 >= 706 @ 0.639849
0.66/0.75	c bounds 7088 >= 707 @ 0.640511
0.66/0.75	c bounds 7088 >= 708 @ 0.641185
0.66/0.75	c bounds 7088 >= 709 @ 0.642081
0.66/0.76	c bounds 6987 >= 709 @ 0.651141
0.66/0.76	c bounds 6987 >= 710 @ 0.651401
0.66/0.76	c bounds 6987 >= 711 @ 0.652269
0.66/0.76	c bounds 6987 >= 712 @ 0.653211
0.77/0.80	c bounds 6886 >= 712 @ 0.6841
0.77/0.80	c bounds 6886 >= 713 @ 0.685127
0.77/0.80	c bounds 6886 >= 714 @ 0.686563
0.77/0.80	c bounds 6886 >= 715 @ 0.68804
0.77/0.80	c bounds 6886 >= 716 @ 0.689152
0.77/0.80	c bounds 6886 >= 717 @ 0.689295
0.77/0.80	c bounds 6886 >= 718 @ 0.689517
0.77/0.80	c bounds 6886 >= 719 @ 0.690552
0.77/0.81	c bounds 6886 >= 720 @ 0.691345
0.77/0.81	c bounds 6886 >= 721 @ 0.692258
0.77/0.81	c bounds 6886 >= 722 @ 0.692287
0.77/0.81	c bounds 6886 >= 723 @ 0.692991
0.77/0.81	c bounds 6886 >= 724 @ 0.693284
0.77/0.81	c bounds 6886 >= 725 @ 0.693374
0.77/0.81	c bounds 6886 >= 726 @ 0.694064
0.77/0.81	c bounds 6886 >= 727 @ 0.694761
0.77/0.81	c bounds 6886 >= 728 @ 0.695653
0.77/0.81	c bounds 6886 >= 729 @ 0.69699
0.77/0.81	c bounds 6886 >= 730 @ 0.697274
0.77/0.82	c bounds 6886 >= 731 @ 0.698103
0.77/0.83	c bounds 6785 >= 731 @ 0.707584
0.77/0.83	c bounds 6785 >= 732 @ 0.709519
0.77/0.83	c bounds 6785 >= 733 @ 0.711204
0.77/0.85	c bounds 6684 >= 733 @ 0.726764
0.77/0.85	c bounds 6684 >= 734 @ 0.730593
0.77/0.85	c bounds 6684 >= 735 @ 0.732363
0.77/0.85	c bounds 6684 >= 736 @ 0.734055
0.77/0.85	c bounds 6684 >= 737 @ 0.735115
0.77/0.86	c bounds 6684 >= 738 @ 0.738007
0.77/0.87	c bounds 6584 >= 738 @ 0.74814
0.77/0.87	c bounds 6584 >= 739 @ 0.749305
0.77/0.87	c bounds 6584 >= 740 @ 0.752118
0.77/0.89	c bounds 6583 >= 740 @ 0.764064
0.77/0.89	c bounds 6583 >= 741 @ 0.771537
0.87/0.90	c #Conflicts:       3000 | #Constraints:       6534
0.87/0.90	c bounds 6482 >= 741 @ 0.780947
0.87/0.91	c bounds 6482 >= 742 @ 0.789385
0.87/0.92	c bounds 6381 >= 742 @ 0.799603
0.87/0.94	c bounds 6281 >= 742 @ 0.809267
0.87/0.96	c bounds 6180 >= 742 @ 0.833272
0.87/0.98	c bounds 6180 >= 743 @ 0.853079
0.87/0.99	c bounds 6080 >= 743 @ 0.860397
0.97/1.01	c bounds 6080 >= 744 @ 0.882202
0.97/1.02	c bounds 5979 >= 744 @ 0.89202
0.97/1.07	c bounds 5978 >= 744 @ 0.936735
0.97/1.08	c bounds 5978 >= 745 @ 0.944151
0.97/1.08	c bounds 5978 >= 746 @ 0.945686
0.97/1.08	c bounds 5978 >= 747 @ 0.947689
0.97/1.08	c bounds 5978 >= 748 @ 0.950042
1.07/1.17	c #Conflicts:       4000 | #Constraints:       7700
1.07/1.17	c bounds 5877 >= 748 @ 1.03191
1.07/1.18	c bounds 5877 >= 749 @ 1.03653
1.07/1.18	c bounds 5877 >= 755 @ 1.03806
1.16/1.24	c INPROCESSING
1.16/1.24	c GARBAGE COLLECT
1.16/1.24	c rational objective 2642
1.26/1.36	c bounds 5877 >= 756 @ 1.21177
1.26/1.37	c bounds 5876 >= 756 @ 1.22523
1.26/1.39	c bounds 5875 >= 756 @ 1.23982
1.26/1.39	c bounds 5875 >= 757 @ 1.24118
1.36/1.41	c bounds 5774 >= 757 @ 1.26319
1.36/1.41	c bounds 5774 >= 758 @ 1.264
1.36/1.41	c bounds 5774 >= 759 @ 1.26512
1.36/1.41	c bounds 5774 >= 760 @ 1.2673
1.36/1.42	c bounds 5774 >= 763 @ 1.26874
1.36/1.42	c bounds 5774 >= 776 @ 1.26884
1.36/1.42	c bounds 5774 >= 808 @ 1.26884
1.36/1.42	c bounds 5774 >= 812 @ 1.26884
1.36/1.42	c bounds 5774 >= 813 @ 1.26913
1.36/1.42	c bounds 5774 >= 814 @ 1.27014
1.36/1.42	c bounds 5774 >= 815 @ 1.27104
1.36/1.42	c bounds 5774 >= 816 @ 1.27275
1.36/1.42	c bounds 5774 >= 817 @ 1.27353
1.36/1.42	c bounds 5774 >= 818 @ 1.27383
1.36/1.42	c bounds 5774 >= 819 @ 1.27404
1.36/1.43	c bounds 5774 >= 820 @ 1.27486
1.36/1.43	c bounds 5774 >= 821 @ 1.2763
1.36/1.43	c bounds 5774 >= 822 @ 1.27715
1.36/1.43	c #Conflicts:       5000 | #Constraints:       6953
1.36/1.43	c bounds 5774 >= 823 @ 1.27806
1.36/1.43	c bounds 5774 >= 824 @ 1.27921
1.36/1.43	c bounds 5774 >= 825 @ 1.27977
1.36/1.43	c bounds 5774 >= 826 @ 1.27981
1.36/1.43	c bounds 5774 >= 827 @ 1.27981
1.36/1.43	c bounds 5774 >= 831 @ 1.27981
1.36/1.43	c bounds 5774 >= 832 @ 1.28045
1.36/1.43	c bounds 5774 >= 833 @ 1.28104
1.36/1.44	c bounds 5774 >= 834 @ 1.28245
1.36/1.44	c bounds 5774 >= 835 @ 1.28281
1.36/1.44	c bounds 5774 >= 836 @ 1.28281
1.36/1.44	c bounds 5774 >= 837 @ 1.28356
1.36/1.44	c bounds 5774 >= 838 @ 1.2838
1.36/1.44	c bounds 5774 >= 839 @ 1.2838
1.36/1.44	c bounds 5774 >= 840 @ 1.2838
1.46/1.51	WSVECS04 Frhs2[9]: 6 0 1.00002 shouldn't be
1.46/1.51	WSVECS04 Frhs2[13]: 6 0 1.00004 shouldn't be
1.46/1.51	WSVECS04 Frhs2[24]: 6 0 1.00003 shouldn't be
1.46/1.51	WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be
1.46/1.51	WSVECS04 Frhs2[27]: 6 0 1.00003 shouldn't be
1.46/1.51	WSVECS04 Frhs2[28]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[32]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[38]: 6 0 1.00009 shouldn't be
1.46/1.51	WSVECS04 Frhs2[39]: 6 0 1.00007 shouldn't be
1.46/1.51	WSVECS04 Frhs2[43]: 6 0 1.00002 shouldn't be
1.46/1.51	WSVECS04 Frhs2[45]: 6 0 1.00007 shouldn't be
1.46/1.51	WSVECS04 Frhs2[49]: 6 0 1.00008 shouldn't be
1.46/1.51	WSVECS04 Frhs2[50]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[60]: 6 0 1.00006 shouldn't be
1.46/1.51	WSVECS04 Frhs2[62]: 6 0 1.00006 shouldn't be
1.46/1.51	WSVECS04 Frhs2[71]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[73]: 6 0 1.00009 shouldn't be
1.46/1.51	WSVECS04 Frhs2[75]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[76]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[77]: 6 0 1.0001 shouldn't be
1.46/1.51	WSVECS04 Frhs2[87]: 6 0 1.00005 shouldn't be
1.46/1.51	WSVECS04 Frhs2[89]: 6 0 1.00008 shouldn't be
1.46/1.51	WSVECS04 Frhs2[99]: 6 0 1.00005 shouldn't be
1.46/1.53	c bounds 5774 >= 841 @ 1.3663
1.46/1.53	c bounds 5774 >= 842 @ 1.36798
1.46/1.53	c bounds 5774 >= 843 @ 1.36921
1.46/1.53	c bounds 5774 >= 844 @ 1.37003
1.46/1.53	c bounds 5774 >= 845 @ 1.3708
1.46/1.53	c bounds 5774 >= 846 @ 1.3716
1.46/1.53	c bounds 5774 >= 847 @ 1.37248
1.46/1.53	c bounds 5774 >= 848 @ 1.37336
1.46/1.54	c bounds 5774 >= 849 @ 1.37385
1.46/1.55	c bounds 5674 >= 849 @ 1.39193
1.46/1.56	c bounds 5674 >= 850 @ 1.39737
1.46/1.56	c bounds 5674 >= 851 @ 1.39935
1.46/1.56	c bounds 5674 >= 852 @ 1.39951
1.46/1.56	c bounds 5674 >= 853 @ 1.3996
1.46/1.56	c bounds 5674 >= 854 @ 1.40068
1.46/1.57	c bounds 5673 >= 854 @ 1.4089
1.46/1.57	c bounds 5673 >= 855 @ 1.41056
1.46/1.58	c bounds 5673 >= 856 @ 1.41353
1.57/1.64	c bounds 5672 >= 856 @ 1.47127
1.57/1.65	c bounds 5672 >= 857 @ 1.481
1.57/1.65	c bounds 5672 >= 858 @ 1.48274
1.57/1.65	c bounds 5672 >= 859 @ 1.48433
1.57/1.65	c bounds 5672 >= 860 @ 1.48615
1.57/1.66	c bounds 5672 >= 861 @ 1.48627
1.57/1.66	c bounds 5672 >= 862 @ 1.48726
1.57/1.66	c bounds 5672 >= 863 @ 1.48839
1.57/1.66	c bounds 5672 >= 864 @ 1.48949
1.57/1.66	c bounds 5672 >= 865 @ 1.49064
1.57/1.66	c bounds 5672 >= 866 @ 1.49156
1.57/1.66	c bounds 5672 >= 867 @ 1.49281
1.57/1.66	c bounds 5672 >= 868 @ 1.49424
1.57/1.66	c bounds 5672 >= 869 @ 1.49496
1.57/1.67	c bounds 5672 >= 870 @ 1.49534
1.57/1.67	c bounds 5672 >= 871 @ 1.49677
1.57/1.67	c bounds 5672 >= 872 @ 1.49824
1.57/1.67	c bounds 5672 >= 873 @ 1.49979
1.57/1.67	c bounds 5672 >= 874 @ 1.50124
1.57/1.67	c bounds 5672 >= 875 @ 1.50274
1.57/1.68	c bounds 5672 >= 876 @ 1.50421
1.57/1.68	c bounds 5672 >= 877 @ 1.50574
1.57/1.68	c bounds 5672 >= 878 @ 1.50721
1.57/1.68	c bounds 5672 >= 879 @ 1.50882
1.57/1.68	c bounds 5672 >= 880 @ 1.50942
1.57/1.68	c bounds 5672 >= 881 @ 1.5102
1.57/1.68	c bounds 5672 >= 882 @ 1.51118
1.57/1.69	c bounds 5672 >= 883 @ 1.51175
1.57/1.69	c bounds 5672 >= 884 @ 1.51318
1.57/1.69	c bounds 5672 >= 885 @ 1.51473
1.57/1.69	c bounds 5672 >= 886 @ 1.51645
1.57/1.69	c bounds 5672 >= 887 @ 1.51819
1.57/1.69	c bounds 5672 >= 888 @ 1.51999
1.67/1.70	c bounds 5672 >= 889 @ 1.52085
1.67/1.70	c bounds 5672 >= 890 @ 1.52162
1.67/1.70	c bounds 5672 >= 891 @ 1.52358
1.67/1.70	c bounds 5672 >= 892 @ 1.52627
1.67/1.70	c bounds 5672 >= 893 @ 1.52885
1.67/1.71	c bounds 5672 >= 894 @ 1.53068
1.67/1.71	c bounds 5672 >= 895 @ 1.53211
1.67/1.71	c bounds 5672 >= 896 @ 1.53476
1.67/1.72	c bounds 5672 >= 897 @ 1.53739
1.67/1.72	c bounds 5672 >= 898 @ 1.54012
1.67/1.72	c bounds 5672 >= 899 @ 1.54261
1.67/1.72	c bounds 5672 >= 900 @ 1.54508
1.67/1.73	c bounds 5672 >= 901 @ 1.54777
1.67/1.73	c bounds 5672 >= 902 @ 1.54891
1.67/1.73	c bounds 5672 >= 903 @ 1.55007
1.86/1.94	c #Conflicts:       6000 | #Constraints:       9105
1.86/1.94	c INPROCESSING
1.86/1.94	c GARBAGE COLLECT
1.86/1.94	c rational objective 2642
1.86/1.96	c bounds 5672 >= 904 @ 1.77451
1.86/1.96	c bounds 5672 >= 905 @ 1.77642
1.86/1.97	c bounds 5672 >= 906 @ 1.77844
1.86/1.97	c bounds 5672 >= 907 @ 1.77941
1.86/1.97	c bounds 5672 >= 908 @ 1.78014
1.86/1.97	c bounds 5672 >= 909 @ 1.78092
1.86/1.97	c bounds 5672 >= 910 @ 1.78305
1.86/1.97	c bounds 5672 >= 911 @ 1.78423
1.86/1.98	c bounds 5672 >= 912 @ 1.78639
1.86/1.98	c bounds 5672 >= 913 @ 1.78845
1.86/1.98	c bounds 5672 >= 914 @ 1.79142
1.86/1.99	c bounds 5672 >= 915 @ 1.79479
1.86/1.99	c bounds 5672 >= 916 @ 1.79801
1.86/1.99	c bounds 5672 >= 917 @ 1.79991
1.86/2.00	c bounds 5672 >= 918 @ 1.80268
1.86/2.00	c bounds 5672 >= 919 @ 1.80461
1.96/2.00	c bounds 5672 >= 920 @ 1.80758
1.96/2.01	c bounds 5672 >= 921 @ 1.81092
1.96/2.01	c bounds 5672 >= 922 @ 1.81329
1.96/2.01	c bounds 5672 >= 923 @ 1.81719
1.96/2.02	c bounds 5672 >= 924 @ 1.81981
1.96/2.02	c bounds 5672 >= 925 @ 1.8231
1.96/2.02	c bounds 5672 >= 926 @ 1.82687
1.96/2.03	c bounds 5672 >= 927 @ 1.83243
1.96/2.04	c bounds 5672 >= 928 @ 1.83763
1.96/2.04	c bounds 5672 >= 929 @ 1.8412
1.96/2.04	c bounds 5672 >= 930 @ 1.84458
1.96/2.05	c bounds 5672 >= 931 @ 1.85011
1.96/2.05	c bounds 5672 >= 932 @ 1.85355
1.96/2.06	c bounds 5672 >= 933 @ 1.85846
1.96/2.06	c bounds 5672 >= 934 @ 1.86334
1.96/2.07	c bounds 5672 >= 935 @ 1.86881
1.96/2.07	c bounds 5672 >= 936 @ 1.87254
1.96/2.08	c bounds 5672 >= 937 @ 1.87835
1.96/2.09	c bounds 5672 >= 938 @ 1.88543
1.96/2.09	c bounds 5672 >= 939 @ 1.89109
1.96/2.10	c bounds 5672 >= 940 @ 1.89758
2.06/2.11	c bounds 5672 >= 941 @ 1.90301
2.06/2.11	c bounds 5672 >= 942 @ 1.90859
2.06/2.12	c #Conflicts:       7000 | #Constraints:       8885
2.06/2.12	c bounds 5672 >= 943 @ 1.91362
2.06/2.13	c bounds 5672 >= 944 @ 1.92234
2.06/2.14	c bounds 5672 >= 945 @ 1.93222
2.16/2.21	c bounds 5672 >= 946 @ 1.99903
2.16/2.22	c bounds 5672 >= 947 @ 2.00714
2.16/2.22	c bounds 5671 >= 947 @ 2.01157
2.16/2.24	c bounds 5571 >= 947 @ 2.02929
2.16/2.27	c bounds 5571 >= 948 @ 2.05356
2.16/2.27	c bounds 5571 >= 949 @ 2.06224
2.26/2.38	c bounds 5471 >= 949 @ 2.16221
2.36/2.41	c #Conflicts:       8000 | #Constraints:      10173
2.36/2.41	c bounds 5471 >= 950 @ 2.19924
2.36/2.43	c bounds 5471 >= 951 @ 2.21225
2.36/2.44	c bounds 5471 >= 952 @ 2.22296
2.36/2.45	c bounds 5471 >= 953 @ 2.2328
2.36/2.46	c bounds 5471 >= 954 @ 2.24535
2.56/2.68	c bounds 5471 >= 955 @ 2.45892
2.66/2.79	c #Conflicts:       9000 | #Constraints:      11465
2.66/2.79	c INPROCESSING
2.66/2.79	c GARBAGE COLLECT
2.66/2.79	WSVECS04 Frhs2[38]: 6 0 1.00007 shouldn't be
2.66/2.79	WSVECS04 Frhs2[45]: 6 0 1.00009 shouldn't be
2.66/2.79	WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be
2.66/2.79	WSVECS04 Frhs2[62]: 6 0 1.00006 shouldn't be
2.66/2.79	WSVECS04 Frhs2[71]: 6 0 1.00003 shouldn't be
2.66/2.79	WSVECS04 Frhs2[89]: 6 0 1.00008 shouldn't be
2.66/2.79	WSVECS04 Frhs2[94]: 6 0 1.00008 shouldn't be
2.66/2.79	WSVECS04 Frhs2[107]: 6 0 1.00006 shouldn't be
2.66/2.79	WSVECS04 Frhs2[117]: 6 0 1.00001 shouldn't be
2.76/2.80	c rational objective 2642
2.86/2.91	c bounds 5370 >= 955 @ 2.68138
2.86/2.93	c bounds 5269 >= 955 @ 2.69723
2.86/2.95	c bounds 5268 >= 955 @ 2.71332
2.86/2.96	c bounds 5267 >= 955 @ 2.72099
2.86/2.97	c bounds 5266 >= 955 @ 2.73209
3.07/3.16	c #Conflicts:      10000 | #Constraints:       9752
3.07/3.16	c bounds 5165 >= 955 @ 2.91675
3.56/3.64	c #Conflicts:      11000 | #Constraints:      10756
3.56/3.64	c #Conflicts:      12000 | #Constraints:      11756
3.56/3.64	c INPROCESSING
3.56/3.64	c GARBAGE COLLECT
3.56/3.64	c rational objective 2642
3.56/3.69	c bounds 5164 >= 955 @ 3.43816
3.66/3.70	c bounds 5065 >= 955 @ 3.44734
3.66/3.72	c bounds 4966 >= 955 @ 3.46736
3.66/3.73	c bounds 4965 >= 955 @ 3.47569
3.66/3.76	c bounds 4865 >= 955 @ 3.50131
3.66/3.79	c bounds 4765 >= 955 @ 3.52502
3.76/3.84	c bounds 4665 >= 955 @ 3.57408
3.76/3.88	c bounds 4564 >= 955 @ 3.60756
3.85/3.90	c #Conflicts:      13000 | #Constraints:       9635
3.85/3.90	c bounds 4464 >= 955 @ 3.63018
3.85/3.92	c bounds 4364 >= 955 @ 3.65182
3.85/3.94	c bounds 4264 >= 955 @ 3.67045
3.85/3.97	c bounds 4264 >= 956 @ 3.69587
3.85/3.99	c bounds 4164 >= 956 @ 3.71029
3.96/4.02	c bounds 4064 >= 956 @ 3.73836
3.96/4.05	c bounds 4064 >= 957 @ 3.76939
3.96/4.07	c bounds 4064 >= 958 @ 3.78572
3.96/4.08	c bounds 4064 >= 959 @ 3.79787
3.96/4.10	c bounds 4063 >= 959 @ 3.81235
4.06/4.17	c bounds 4063 >= 960 @ 3.8816
4.06/4.18	c bounds 4062 >= 960 @ 3.89629
4.15/4.28	c #Conflicts:      14000 | #Constraints:      11006
4.15/4.28	c bounds 4061 >= 960 @ 3.9923
4.36/4.40	c bounds 4061 >= 961 @ 4.10575
4.36/4.42	c bounds 4061 >= 962 @ 4.12593
4.36/4.44	c bounds 4061 >= 963 @ 4.14595
4.36/4.46	c bounds 4061 >= 964 @ 4.16834
4.36/4.48	c bounds 4061 >= 965 @ 4.18933
4.45/4.51	c bounds 4061 >= 966 @ 4.21237
4.45/4.56	c bounds 4061 >= 967 @ 4.26008
4.45/4.59	c bounds 4061 >= 968 @ 4.29474
4.55/4.63	c bounds 4061 >= 969 @ 4.33383
4.55/4.67	c bounds 4061 >= 970 @ 4.37084
4.65/4.73	c bounds 4061 >= 971 @ 4.42801
4.65/4.76	c bounds 4061 >= 972 @ 4.46368
4.75/4.81	c bounds 4061 >= 973 @ 4.50685
4.75/4.85	c bounds 4061 >= 974 @ 4.54959
4.85/4.90	c bounds 4061 >= 975 @ 4.60044
4.85/4.92	c bounds 4060 >= 975 @ 4.61339
4.96/5.00	c #Conflicts:      15000 | #Constraints:      12790
4.96/5.00	c INPROCESSING
4.96/5.00	c GARBAGE COLLECT
4.96/5.00	c rational objective 2642
5.06/5.17	c bounds 4059 >= 975 @ 4.86007
5.15/5.27	c bounds 4059 >= 976 @ 4.95678
5.26/5.35	c bounds 4059 >= 977 @ 5.03322
5.35/5.40	c bounds 4059 >= 978 @ 5.07931
5.75/5.84	c #Conflicts:      16000 | #Constraints:      10986
5.75/5.84	c #Conflicts:      17000 | #Constraints:      11986
5.75/5.84	c #Conflicts:      18000 | #Constraints:      12993
5.75/5.84	c bounds 4058 >= 978 @ 5.50635
5.96/6.07	c INPROCESSING
5.96/6.07	c GARBAGE COLLECT
5.96/6.07	c rational objective 2642
6.06/6.11	c bounds 4058 >= 979 @ 5.77712
6.06/6.17	c bounds 4058 >= 980 @ 5.83354
6.15/6.23	c bounds 4058 >= 981 @ 5.89193
6.15/6.27	c bounds 4058 >= 982 @ 5.93417
6.25/6.30	c bounds 4058 >= 983 @ 5.96208
6.25/6.33	c bounds 4058 >= 984 @ 5.99493
6.25/6.36	c bounds 4058 >= 985 @ 6.02569
6.35/6.41	c bounds 4058 >= 986 @ 6.06939
6.45/6.50	c bounds 4058 >= 987 @ 6.15973
6.45/6.55	c bounds 4058 >= 988 @ 6.20984
6.55/6.60	c bounds 4058 >= 989 @ 6.25821
6.55/6.64	c bounds 4058 >= 990 @ 6.2945
6.65/6.70	c bounds 4058 >= 991 @ 6.35508
6.65/6.74	c bounds 4058 >= 992 @ 6.39539
6.75/6.82	c bounds 4058 >= 993 @ 6.47868
6.85/6.91	c bounds 4058 >= 994 @ 6.56257
6.85/6.95	c bounds 4058 >= 995 @ 6.6093
6.95/7.02	c #Conflicts:      19000 | #Constraints:      11418
6.95/7.02	c bounds 4058 >= 996 @ 6.67142
6.95/7.09	c bounds 4058 >= 997 @ 6.74136
7.05/7.18	c bounds 4058 >= 998 @ 6.83047
7.14/7.26	c bounds 4058 >= 999 @ 6.90845
7.24/7.32	c bounds 4058 >= 1000 @ 6.97743
7.34/7.41	c bounds 4058 >= 1001 @ 7.05667
7.55/7.60	c bounds 4058 >= 1002 @ 7.24799
7.55/7.69	c bounds 4058 >= 1003 @ 7.3323
7.74/7.84	c bounds 4058 >= 1004 @ 7.48065
7.84/7.94	c bounds 4058 >= 1005 @ 7.57995
8.05/8.12	c bounds 4058 >= 1006 @ 7.75777
8.15/8.23	c bounds 4058 >= 1007 @ 7.86753
8.25/8.33	c #Conflicts:      20000 | #Constraints:      12955
8.25/8.33	c bounds 4058 >= 1008 @ 7.97012
8.35/8.43	c bounds 4058 >= 1009 @ 8.06805
8.45/8.54	c bounds 4058 >= 1010 @ 8.17752
8.65/8.78	c bounds 4058 >= 1011 @ 8.41428
8.85/8.98	c bounds 4058 >= 1012 @ 8.61355
9.05/9.17	c bounds 4058 >= 1013 @ 8.80187
9.44/9.51	c bounds 4058 >= 1014 @ 9.14329
9.54/9.68	c bounds 4058 >= 1015 @ 9.307
9.85/9.94	c #Conflicts:      21000 | #Constraints:      14363
9.85/9.94	c bounds 4058 >= 1016 @ 9.56201
9.95/10.05	c INPROCESSING
9.95/10.05	c GARBAGE COLLECT
9.95/10.05	c rational objective 2642
10.04/10.15	c #Conflicts:      22000 | #Constraints:      11910
10.04/10.15	c bounds 4057 >= 1016 @ 9.76421
10.54/10.67	c bounds 4057 >= 1017 @ 10.2747
10.64/10.75	c bounds 4056 >= 1017 @ 10.3533
11.13/11.21	c #Conflicts:      23000 | #Constraints:      12966
11.13/11.21	c bounds 4056 >= 1018 @ 10.8187
11.24/11.38	c bounds 3955 >= 1018 @ 10.9776
11.63/11.74	c #Conflicts:      24000 | #Constraints:      14093
11.63/11.74	c bounds 3955 >= 1019 @ 11.3307
11.84/12.00	c bounds 3955 >= 1020 @ 11.5832
12.13/12.22	c bounds 3854 >= 1020 @ 11.8034
12.64/12.70	c #Conflicts:      25000 | #Constraints:      15179
12.64/12.70	c bounds 3854 >= 1021 @ 12.2803
12.73/12.84	c INPROCESSING
12.73/12.84	c GARBAGE COLLECT
12.73/12.84	WSVECS04 Frhs2[60]: 6 0 1.00007 shouldn't be
12.73/12.84	WSVECS04 Frhs2[62]: 6 0 1.00004 shouldn't be
12.73/12.84	WSVECS04 Frhs2[71]: 6 0 1.00009 shouldn't be
12.73/12.84	WSVECS04 Frhs2[73]: 6 0 1.00002 shouldn't be
12.73/12.84	WSVECS04 Frhs2[75]: 6 0 1.00005 shouldn't be
12.73/12.84	WSVECS04 Frhs2[76]: 6 0 1.00002 shouldn't be
12.73/12.84	WSVECS04 Frhs2[77]: 6 0 1.00008 shouldn't be
12.73/12.84	WSVECS04 Frhs2[89]: 6 0 1.0001 shouldn't be
12.73/12.84	WSVECS04 Frhs2[94]: 6 0 1.00007 shouldn't be
12.73/12.84	WSVECS04 Frhs2[895]: 6 -100 0 shouldn't be
12.73/12.86	c rational objective 2642
12.94/13.04	c bounds 3854 >= 1022 @ 12.6073
13.13/13.24	c bounds 3854 >= 1023 @ 12.8013
13.54/13.65	c #Conflicts:      26000 | #Constraints:      12523
13.54/13.65	c #Conflicts:      27000 | #Constraints:      13527
13.54/13.65	c bounds 3753 >= 1023 @ 13.2047
14.03/14.17	c bounds 3753 >= 1024 @ 13.716
14.23/14.30	c bounds 3753 >= 1025 @ 13.8492
14.43/14.54	c bounds 3753 >= 1026 @ 14.0817
14.63/14.70	c #Conflicts:      28000 | #Constraints:      14681
14.63/14.70	c bounds 3753 >= 1027 @ 14.2459
14.82/14.95	c #Conflicts:      29000 | #Constraints:      15730
14.82/14.95	c INPROCESSING
14.82/14.95	c GARBAGE COLLECT
14.82/14.95	c rational objective 2642
15.33/15.45	c bounds 3753 >= 1028 @ 14.9799
15.82/15.93	c bounds 3753 >= 1029 @ 15.4493
16.12/16.22	c bounds 3753 >= 1030 @ 15.7342
16.42/16.58	c #Conflicts:      30000 | #Constraints:      13327
16.42/16.58	c #Conflicts:      31000 | #Constraints:      14328
16.42/16.58	c bounds 3652 >= 1030 @ 16.0866
16.93/17.04	c bounds 3652 >= 1031 @ 16.5372
17.32/17.45	c bounds 3652 >= 1032 @ 16.9526
17.62/17.72	c bounds 3652 >= 1033 @ 17.2211
17.92/18.06	c bounds 3652 >= 1034 @ 17.5571
18.52/18.65	c #Conflicts:      32000 | #Constraints:      15534
18.52/18.65	c bounds 3652 >= 1035 @ 18.1431
18.61/18.71	c bounds 3551 >= 1035 @ 18.2021
18.61/18.72	c bounds 3450 >= 1035 @ 18.2148
18.82/18.92	c #Conflicts:      33000 | #Constraints:      16598
18.82/18.92	c INPROCESSING
18.82/18.92	c GARBAGE COLLECT
18.82/18.92	c rational objective 2642
19.22/19.36	c bounds 3450 >= 1036 @ 18.8448
19.62/19.79	c bounds 3450 >= 1037 @ 19.2656
20.31/20.49	c #Conflicts:      34000 | #Constraints:      13724
20.31/20.49	c #Conflicts:      35000 | #Constraints:      14725
20.31/20.49	c #Conflicts:      36000 | #Constraints:      15733
20.31/20.49	c bounds 3349 >= 1037 @ 19.9475
21.11/21.26	c bounds 3349 >= 1038 @ 20.7121
21.41/21.54	c bounds 3349 >= 1039 @ 20.9901
22.41/22.59	c #Conflicts:      37000 | #Constraints:      16854
22.41/22.59	c bounds 3349 >= 1040 @ 22.0362
22.71/22.85	c INPROCESSING
22.71/22.85	c GARBAGE COLLECT
22.71/22.85	WSVECS04 Frhs2[71]: 6 0 1.00004 shouldn't be
22.71/22.85	WSVECS04 Frhs2[73]: 6 0 1.00009 shouldn't be
22.71/22.85	WSVECS04 Frhs2[75]: 6 0 1.00008 shouldn't be
22.71/22.85	WSVECS04 Frhs2[76]: 6 0 1.00005 shouldn't be
22.71/22.85	WSVECS04 Frhs2[77]: 6 0 1.00008 shouldn't be
22.71/22.85	WSVECS04 Frhs2[89]: 6 0 1.00006 shouldn't be
22.71/22.85	WSVECS04 Frhs2[94]: 6 0 1.00009 shouldn't be
22.71/22.85	WSVECS04 Frhs2[99]: 6 0 1.00001 shouldn't be
22.71/22.86	c rational objective 2642
22.91/23.02	c bounds 3349 >= 1041 @ 22.4659
23.51/23.61	c bounds 3349 >= 1042 @ 23.0536
24.02/24.13	c bounds 3349 >= 1043 @ 23.5664
24.71/24.85	c bounds 3349 >= 1044 @ 24.2894
25.10/25.21	c #Conflicts:      38000 | #Constraints:      13802
25.10/25.21	c bounds 3349 >= 1045 @ 24.6397
25.70/25.80	c bounds 3349 >= 1046 @ 25.2326
27.50/27.63	c #Conflicts:      39000 | #Constraints:      14925
27.50/27.63	c bounds 3349 >= 1047 @ 27.0381
27.90/28.05	c #Conflicts:      40000 | #Constraints:      16033
27.90/28.05	c #Conflicts:      41000 | #Constraints:      17035
27.90/28.05	c INPROCESSING
27.90/28.05	c GARBAGE COLLECT
27.90/28.05	c rational objective 2642
31.99/32.14	c #Conflicts:      42000 | #Constraints:      13743
31.99/32.14	c #Conflicts:      43000 | #Constraints:      14743
31.99/32.14	c bounds 3349 >= 1048 @ 31.5156
32.39/32.50	c #Conflicts:      44000 | #Constraints:      15839
32.39/32.50	c bounds 3248 >= 1048 @ 31.8616
32.68/32.83	c #Conflicts:      45000 | #Constraints:      16854
32.68/32.83	c #Conflicts:      46000 | #Constraints:      17856
32.68/32.83	c INPROCESSING
32.68/32.83	c GARBAGE COLLECT
32.68/32.83	c rational objective 2642
33.18/33.37	c #Conflicts:      47000 | #Constraints:      14390
33.18/33.37	c bounds 3147 >= 1048 @ 32.7006
34.98/35.16	c #Conflicts:      48000 | #Constraints:      15397
34.98/35.16	c #Conflicts:      49000 | #Constraints:      16397
34.98/35.16	c bounds 3147 >= 1049 @ 34.4774
35.58/35.76	c #Conflicts:      50000 | #Constraints:      17493
35.58/35.76	c #Conflicts:      51000 | #Constraints:      18497
35.58/35.76	c INPROCESSING
35.58/35.76	c GARBAGE COLLECT
35.58/35.76	c rational objective 2642
38.17/38.31	c #Conflicts:      52000 | #Constraints:      14843
38.17/38.31	c bounds 3147 >= 1050 @ 37.5926
38.47/38.66	c #Conflicts:      53000 | #Constraints:      15961
38.47/38.66	c #Conflicts:      54000 | #Constraints:      16967
38.47/38.66	c bounds 3047 >= 1050 @ 37.9339
38.98/39.15	c #Conflicts:      55000 | #Constraints:      17975
38.98/39.15	c #Conflicts:      56000 | #Constraints:      18988
38.98/39.15	c INPROCESSING
38.98/39.15	c GARBAGE COLLECT
38.98/39.15	c rational objective 2642
43.46/43.61	c #Conflicts:      57000 | #Constraints:      15134
43.46/43.61	c #Conflicts:      58000 | #Constraints:      16134
43.46/43.61	c bounds 3047 >= 1051 @ 42.8371
43.46/43.68	c bounds 3046 >= 1051 @ 42.8978
44.26/44.42	c #Conflicts:      59000 | #Constraints:      17215
44.26/44.42	c #Conflicts:      60000 | #Constraints:      18224
44.26/44.42	c #Conflicts:      61000 | #Constraints:      19231
44.26/44.42	c INPROCESSING
44.26/44.42	c GARBAGE COLLECT
44.26/44.42	c rational objective 2642
45.45/45.65	c #Conflicts:      62000 | #Constraints:      15202
45.45/45.65	c #Conflicts:      63000 | #Constraints:      16206
45.45/45.65	c #Conflicts:      64000 | #Constraints:      17209
45.45/45.65	c bounds 2945 >= 1051 @ 44.8239
47.86/48.00	c #Conflicts:      65000 | #Constraints:      18213
47.86/48.00	c #Conflicts:      66000 | #Constraints:      19213
47.86/48.00	c INPROCESSING
47.86/48.00	c GARBAGE COLLECT
47.86/48.00	c rational objective 2642
49.04/49.21	c #Conflicts:      67000 | #Constraints:      14666
49.04/49.21	c bounds 2945 >= 1052 @ 48.3513
56.13/56.35	c #Conflicts:      68000 | #Constraints:      15720
56.13/56.35	c #Conflicts:      69000 | #Constraints:      16720
56.13/56.35	c #Conflicts:      70000 | #Constraints:      17720
56.13/56.35	c #Conflicts:      71000 | #Constraints:      18720
56.13/56.35	c bounds 2945 >= 1053 @ 55.4444
56.33/56.54	c #Conflicts:      72000 | #Constraints:      19881
56.33/56.54	c INPROCESSING
56.33/56.54	c GARBAGE COLLECT
56.33/56.54	c rational objective 2642
56.93/57.19	c #Conflicts:      73000 | #Constraints:      15558
56.93/57.19	c #Conflicts:      74000 | #Constraints:      16565
56.93/57.19	c bounds 2844 >= 1053 @ 56.2535
57.23/57.40	c #Conflicts:      75000 | #Constraints:      17570
57.23/57.40	c bounds 2743 >= 1053 @ 56.4517
57.93/58.15	c #Conflicts:      76000 | #Constraints:      18584
57.93/58.15	c #Conflicts:      77000 | #Constraints:      19592
57.93/58.15	c bounds 2642 >= 1053 @ 57.1666
57.93/58.17	c bounds 2642 >= 2642 @ 57.1914
57.93/58.17	c cpu time 57.1914 s
57.93/58.17	c deterministic time 1560119317 1.56e+09
57.93/58.17	c optimization time 0.096665 s
57.93/58.17	c total solve time 57.0837 s
57.93/58.17	c core-guided solve time 44.998 s
57.93/58.17	c propagation time 14.7666 s
57.93/58.17	c conflict analysis time 39.0167 s
57.93/58.17	c propagations 20140823
57.93/58.17	c resolve steps 3396014
57.93/58.17	c decisions 756964
57.93/58.17	c conflicts 77417
57.93/58.17	c restarts 248
57.93/58.17	c inprocessing phases 19
57.93/58.17	c garbage collections 19 ,( 100.00 )
57.93/58.17	c input clauses 5912 ,( 44.10 )
57.93/58.17	c input cardinalities 3776 ,( 28.16 )
57.93/58.17	c input general constraints 3719 ,( 27.74 )
57.93/58.17	c input average constraint length 50.23
57.93/58.17	c input average constraint degree 268.69
57.93/58.17	c learned clauses 36020 ,( 46.31 )
57.93/58.17	c learned cardinalities 819 ,( 1.05 )
57.93/58.17	c learned general constraints 40946 ,( 52.64 )
57.93/58.17	c learned average constraint length 350.84
57.93/58.17	c learned average constraint degree 1389962726.93
57.93/58.17	c watched  CF 32, 64, 128, Arb: 7577 , 0 , 0 , 0
57.93/58.17	c counting CF 32, 64, 128, Arb: 37089 , 0 , 0 , 0
57.93/58.17	c watched   constraints 7577 ,( 16.96 ) 
57.93/58.17	c counting  constraints 37088 ,( 83.04 ) 
57.93/58.17	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9124903 , 6907512 , 87131612 ,( 2768568 , 84363044 )
57.93/58.17	c gcd simplifications 2690
57.93/58.17	c detected cardinalities 63
57.93/58.17	c weakened non-implied lits 9865362
57.93/58.17	c weakened non-implying lits 55256
57.93/58.17	c original variables 1741
57.93/58.17	c clausal propagations 5214134
57.93/58.17	c cardinality propagations 3220467
57.93/58.17	c watched propagations 22595
57.93/58.17	c counting propagations 10678102
57.93/58.17	c watch lookups 517448400
57.93/58.17	c watch backjump lookups 0
57.93/58.17	c watch checks 247032209
57.93/58.17	c propagation checks 608360307
57.93/58.17	c constraint additions 145305995
57.93/58.17	c trail pops 20974974
57.93/58.17	c formula constraints 3231
57.93/58.17	c learned constraints 77250
57.93/58.17	c bound constraints 623
57.93/58.17	c core-guided constraints 9553
57.93/58.17	c encountered formula constraints 277973
57.93/58.17	c encountered learned constraints 615028
57.93/58.17	c encountered bound constraints 142
57.93/58.17	c encountered core-guided constraints 2563429
57.93/58.17	c LP total time 3.95131 s
57.93/58.17	c LP solve time 3.2 s
57.93/58.17	c LP constraints added 3410
57.93/58.17	c LP constraints removed 173
57.93/58.17	c LP pivots internal 77485
57.93/58.17	c LP pivots root 22159
57.93/58.17	c LP calls 368
57.93/58.17	c LP optimalities 147
57.93/58.17	c LP no pivot count 21
57.93/58.17	c LP infeasibilities 219
57.93/58.17	c LP valid Farkas constraints 217
57.93/58.17	c LP learned Farkas constraints 217
57.93/58.17	c LP basis resets 1
57.93/58.17	c LP cycling count 0
57.93/58.17	c LP singular count 0
57.93/58.17	c LP no primal count 0
57.93/58.17	c LP no farkas count 1
57.93/58.17	c LP other issue count 0
57.93/58.17	c LP Gomory cuts 101
57.93/58.17	c LP learned cuts 78
57.93/58.17	c LP deleted cuts 173
57.93/58.17	c LP encountered Gomory constraints 578
57.93/58.17	c LP encountered Farkas constraints 14557
57.93/58.17	c LP encountered learned Farkas constraints 1506
57.93/58.17	c CG auxiliary variables introduced 3354
57.93/58.17	c CG solutions found 114
57.93/58.17	c CG cores constructed 509
57.93/58.17	c CG core cardinality constraints returned 14
57.93/58.17	c CG unit cores 0
57.93/58.17	c CG single cores 504
57.93/58.17	c CG blocks removed during cardinality reduction 0
57.93/58.17	c CG first core best 0
57.93/58.17	c CG decision core best 1
57.93/58.17	c CG core reduction tie 4
57.93/58.17	c CG core degree average 1.17
57.93/58.17	c CG core slack average 16.33
57.93/58.17	c CG core upper bound improvements 6
57.93/58.17	c STR number of successful calls 0
57.93/58.17	c STR number of unsuccessful calls 0
57.93/58.17	c STR number of inconclusive calls 0
57.93/58.17	c STR number of successful attempts 0
57.93/58.17	c STR number of unsuccessful attempts 0
57.93/58.17	c STR number of inconclusive attempts 0
57.93/58.17	c STR average degree increase per successful call inf
57.93/58.17	c STR average degree increase per successful attempt inf
57.93/58.17	c STR total number of conflicts for successful attempts 0
57.93/58.17	c STR total number of conflicts for unsuccessful attempts 0
57.93/58.17	c STR total number of conflicts for inconclusive attempts 0
57.93/58.17	c STR average number of conflicts per successful attempt inf
57.93/58.17	c STR average number of conflicts per unsuccessful attempt inf
57.93/58.17	c STR average number of conflicts per inconclusive attempt inf
57.93/58.17	c AVG.sumWPerc 67.91 
57.93/58.17	c bigint constraints 0 
57.93/58.17	o 2642
57.93/58.17	s OPTIMUM FOUND
57.93/58.17	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

Verifier Data 

OK	2642

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484128-1751284206/watcher-4484128-1751284206 -o /tmp/evaluation-result-4484128-1751284206/solver-4484128-1751284206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760 run-opt-break.sh HOME/instance-4484128-1751284206.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=38484, runsolver pid=38481

[startup+0.100057 s]*
/proc/loadavg: 4.11 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127859332/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=61572 memory=17552 CPUtime=0.07 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 2337 0 0 0 5 2 0 0 20 0 1 0 44099192 63049728 4388 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 15393 4388 2304 1147 0 2820 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65764 KiB
Current children cumulated memory: 20368 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.11 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127855552/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=65692 memory=23828 CPUtime=0.17 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 3368 0 0 0 13 4 0 0 20 0 1 0 44099192 67268608 5957 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 16423 5957 2336 1147 0 3850 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 69884 KiB
Current children cumulated memory: 26644 KiB

[startup+0.305663 s]*
/proc/loadavg: 4.11 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127833500/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=69636 memory=27796 CPUtime=0.28 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 4351 0 0 0 22 6 0 0 20 0 1 0 44099192 71307264 6949 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 17409 6949 2336 1147 0 4836 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73828 KiB
Current children cumulated memory: 30612 KiB

[startup+0.700203 s]
/proc/loadavg: 4.11 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127817876/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=80628 memory=38036 CPUtime=0.66 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 6934 0 0 0 59 7 0 0 20 0 1 0 44099192 82563072 9509 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 20157 9509 2336 1147 0 7584 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 84820 KiB
Current children cumulated memory: 40852 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127773728/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=106468 memory=60308 CPUtime=1.46 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 11983 0 0 0 133 13 0 0 20 0 1 0 44099192 109023232 15077 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 26617 15077 2336 1147 0 14044 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 63124 KiB

[startup+3.10558 s]
/proc/loadavg: 4.10 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127693656/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=106924 memory=60948 CPUtime=3.07 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 12128 0 0 0 286 21 0 0 20 0 1 0 44099192 109490176 15237 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 26731 15237 2336 1147 0 14158 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111116 KiB
Current children cumulated memory: 63764 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.08 5/269 38487
/proc/meminfo: memFree=127661904/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=117152 memory=71188 CPUtime=6.25 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 14727 0 0 0 595 30 0 0 20 0 1 0 44099192 119963648 17797 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 29288 17797 2336 1147 0 16715 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 121344 KiB
Current children cumulated memory: 74004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.08 5/269 38487
/proc/meminfo: memFree=127601236/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=138508 memory=90900 CPUtime=12.64 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 19645 0 0 0 1227 37 0 0 20 0 1 0 44099192 141832192 22725 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 34627 22725 2336 1147 0 22054 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142700 KiB
Current children cumulated memory: 93716 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.08 5/269 38487
/proc/meminfo: memFree=127524444/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=148868 memory=94740 CPUtime=25.4 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 20615 0 0 0 2492 48 0 0 20 0 1 0 44099192 152440832 23685 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 37217 23685 2336 1147 0 24644 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153060 KiB
Current children cumulated memory: 97556 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127382664/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=154832 memory=104892 CPUtime=50.94 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 22133 0 0 0 5022 72 0 0 20 0 1 0 44099192 158547968 26223 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 38708 26223 2336 1147 0 26135 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 159024 KiB
Current children cumulated memory: 107708 KiB

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

# cumulated CPU time of all completed processes:  user=57.2016 s, system=0.830459 s

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

[startup+51.2003 s]
/proc/loadavg: 4.17 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127382664/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=154832 memory=104892 CPUtime=51.04 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 22133 0 0 0 5032 72 0 0 20 0 1 0 44099192 158547968 26223 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 38708 26223 2336 1147 0 26135 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 159024 KiB
Current children cumulated memory: 107708 KiB

[startup+54.4002 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127378568/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=155148 memory=107276 CPUtime=54.23 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 22202 0 0 0 5350 73 0 0 20 0 1 0 44099192 158871552 26819 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 38787 26819 2336 1147 0 26214 0
Current children cumulated CPU time: 54.23 s
Current children cumulated vsize: 159340 KiB
Current children cumulated memory: 110092 KiB

[startup+56.0002 s]*
/proc/loadavg: 4.16 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127374472/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=155568 memory=107916 CPUtime=55.84 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 22371 0 0 0 5510 74 0 0 20 0 1 0 44099192 159301632 26979 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 38892 26979 2336 1147 0 26319 0
Current children cumulated CPU time: 55.84 s
Current children cumulated vsize: 159760 KiB
Current children cumulated memory: 110732 KiB

[startup+56.8002 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127374472/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=167732 memory=112264 CPUtime=56.63 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 22954 0 0 0 5587 76 0 0 20 0 1 0 44099192 171757568 28066 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 41933 28066 2336 1147 0 29360 0
Current children cumulated CPU time: 56.63 s
Current children cumulated vsize: 171924 KiB
Current children cumulated memory: 115080 KiB

[startup+57.6002 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127358344/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=168392 memory=113032 CPUtime=57.43 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 23160 0 0 0 5664 79 0 0 20 0 1 0 44099192 172433408 28258 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 42098 28258 2336 1147 0 29525 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 172584 KiB
Current children cumulated memory: 115848 KiB

[startup+58.0002 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127358344/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=175008 memory=118408 CPUtime=57.82 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 24491 0 0 0 5702 80 0 0 20 0 1 0 44099192 179208192 29602 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 43752 29602 2336 1147 0 31179 0
Current children cumulated CPU time: 57.82 s
Current children cumulated vsize: 179200 KiB
Current children cumulated memory: 121224 KiB

[startup+58.1055 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 38490
/proc/meminfo: memFree=127358344/131249996 swapFree=33010684/33010684
[pid=38484] ppid=38481 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/38484/stat : 38484 (run-opt-break.s) S 38481 38484 37984 0 -1 4194304 236 734 0 0 0 0 0 0 20 0 1 0 44099191 4292608 704 18446744073709551615 94904639922176 94904640816709 140733127463408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94904641055760 94904641103504 94904655446016 140733127465313 140733127465442 140733127465442 140733127471044 0
/proc/38484/statm: 1048 704 640 219 0 110 0
[pid=38487] ppid=38484 vsize=177348 memory=120200 CPUtime=57.93 cores=0,2
/proc/38487/stat : 38487 (roundingsat) R 38484 38484 37984 0 -1 4194304 24929 0 0 0 5712 81 0 0 20 0 1 0 44099192 181604352 30050 18446744073709551615 4227072 8923433 140733365124784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10108928 140733365127524 140733365127720 140733365127720 140733365133290 0
/proc/38487/statm: 44337 30050 2336 1147 0 31764 0
Current children cumulated CPU time: 57.93 s
Current children cumulated vsize: 181540 KiB
Current children cumulated memory: 123016 KiB

Child status: 0

Real time (s): 58.1872
CPU time (s): 58.0321
CPU user time (s): 57.2016
CPU system time (s): 0.830459
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 181540
Max. memory (cumulated for all children) (KiB): 123016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.2016
system time used= 0.830459
maximum resident set size= 120968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 150


# summary of solver processes directly reported to runsolver:
#   pid: 38484
#   total CPU time (s): 58.0321
#   total CPU user time (s): 57.2016
#   total CPU system time (s): 0.830459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137343 second user time and 0.295989 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 13:50:06
IDJOB=4484128
IDBENCH=146650
IDSOLVER=3359
FILE ID=nodeC032/4484128-1751284206
RUNJOBID= nodeC032-1751280593-37994
SLURM_JOB_ID= 9594228
Free space on /tmp= 432032 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484128-1751284206/watcher-4484128-1751284206 -o /tmp/evaluation-result-4484128-1751284206/solver-4484128-1751284206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37994 --watchdog 3760  run-opt-break.sh HOME/instance-4484128-1751284206.opb

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=1591289473

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.279
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.845
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.866
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		: 3568.898
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.867
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.698
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		: 3600.052
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:        127872284 kB
MemAvailable:   127641124 kB
Buffers:            3280 kB
Cached:           577324 kB
SwapCached:            0 kB
Active:          2507656 kB
Inactive:         323916 kB
Active(anon):    2269048 kB
Inactive(anon):        0 kB
Active(file):     238608 kB
Inactive(file):   323916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15072 kB
Writeback:             0 kB
AnonPages:       2252580 kB
Mapped:           116792 kB
Shmem:             18068 kB
KReclaimable:      91112 kB
Slab:             175860 kB
SReclaimable:      91112 kB
SUnreclaim:        84748 kB
KernelStack:        4336 kB
PageTables:         7828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2857664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1310720 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= 432024 MiB
End job on nodeC032 at 2025-06-30 13:51:04