Trace number 4493521

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 NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22adSAT 70.2317 70.7681

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
MD5SUM13744d26940a0db30366992d9fdeef8c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.39265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370
Total number of constraints809
Number of constraints which are clauses558
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints249
Minimum length of a constraint1
Maximum length of a constraint121
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
Number of bits of the biggest sum of numbers8
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-4493521-1751155558.opb'
0.00/0.01	c 	read 0.04MB  (0.58ms)
0.00/0.01	c	 [cnf: #variables 370 #clauses 809 #duplicates 0 #arr 4357]
0.00/0.01	c output proof to 'PROOFDIR/proof-4493521-1751155558'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 0] (0.63ms)
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.09ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 2577 #edges 11510]
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.18ms)
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-4493521-1751155558.opb.pre'
0.00/0.01	c 	wrote 0.04MB (0.14ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   0.63ms 28.92% approx_orbits
0.00/0.01	c                   0.58ms 26.40% parse
0.00/0.01	c                   0.55ms 25.36% other
0.00/0.01	c                   0.18ms  8.08% detect_generic
0.00/0.01	c                   0.14ms  6.62% output
0.00/0.01	c                   0.09ms  4.07% detect_special
0.00/0.01	c                   0.01ms  0.54% finalize_order
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   2.18ms   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 370 #constraints 809
0.00/0.06	c rational objective 51.4242
0.95/1.03	c #Conflicts:       1000 | #Constraints:       1810
0.95/1.03	c #Conflicts:       2000 | #Constraints:       2811
0.95/1.03	c INPROCESSING
0.95/1.03	c GARBAGE COLLECT
0.95/1.03	c #Conflicts:       3000 | #Constraints:       2787
0.95/1.03	c #Conflicts:       4000 | #Constraints:       3787
0.95/1.03	c INPROCESSING
0.95/1.03	c GARBAGE COLLECT
0.95/1.03	c #Conflicts:       5000 | #Constraints:       3189
0.95/1.03	WSVECS04 Frhs2[22]: 6 0 468.739 shouldn't be
0.95/1.03	WSVECS04 Frhs2[141]: 6 0 395.692 shouldn't be
0.95/1.03	WSVECS04 Frhs2[198]: 6 0 134.994 shouldn't be
0.95/1.03	WSVECS04 Frhs2[226]: 6 0 272.885 shouldn't be
0.95/1.03	WSVECS04 Frhs2[256]: 6 0 652.55 shouldn't be
0.95/1.03	WSVECS04 Frhs2[288]: 6 -23.5849 0 shouldn't be
0.95/1.03	WSVECS04 Frhs2[290]: 6 0 1167.48 shouldn't be
0.95/1.03	WSVECS04 Frhs2[293]: 6 0 331.142 shouldn't be
0.95/1.03	WSVECS04 Frhs2[303]: 6 0 738.669 shouldn't be
0.95/1.03	WSVECS04 Frhs2[331]: 6 0 237.456 shouldn't be
0.95/1.03	WSVECS04 Frhs2[345]: 6 0 1384.29 shouldn't be
0.95/1.03	WSVECS04 Frhs2[355]: 6 -753.403 0 shouldn't be
0.95/1.03	WSVECS04 Frhs2[368]: 6 0 214.997 shouldn't be
1.65/1.72	c #Conflicts:       6000 | #Constraints:       4189
1.65/1.72	c INPROCESSING
1.65/1.72	c GARBAGE COLLECT
1.65/1.72	c #Conflicts:       7000 | #Constraints:       3193
1.65/1.72	c #Conflicts:       8000 | #Constraints:       4193
1.65/1.72	c #Conflicts:       9000 | #Constraints:       5193
1.65/1.72	c INPROCESSING
1.65/1.72	c GARBAGE COLLECT
1.65/1.72	WSVECS04 Frhs2[5]: 6 0 2.32895 shouldn't be
1.65/1.72	WSVECS04 Frhs2[8]: 6 -3.49589 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[29]: 6 0 1.49872 shouldn't be
1.65/1.72	WSVECS04 Frhs2[39]: 6 0 1.49872 shouldn't be
1.65/1.72	WSVECS04 Frhs2[44]: 6 0 0.388595 shouldn't be
1.65/1.72	WSVECS04 Frhs2[48]: 6 0 0.194096 shouldn't be
1.65/1.72	WSVECS04 Frhs2[69]: 6 0 1.49872 shouldn't be
1.65/1.72	WSVECS04 Frhs2[155]: 6 0 0.654347 shouldn't be
1.65/1.72	WSVECS04 Frhs2[160]: 6 -4.30719 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[197]: 6 0 0.804344 shouldn't be
1.65/1.72	WSVECS04 Frhs2[203]: 6 0 1.49872 shouldn't be
1.65/1.72	WSVECS04 Frhs2[208]: 6 0 0.694373 shouldn't be
1.65/1.72	WSVECS04 Frhs2[249]: 6 -3.33035 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[258]: 6 0 0.108823 shouldn't be
1.65/1.72	WSVECS04 Frhs2[261]: 6 0 0.815491 shouldn't be
1.65/1.72	WSVECS04 Frhs2[273]: 6 0 7.99084 shouldn't be
1.65/1.72	WSVECS04 Frhs2[277]: 6 -8.74202 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[296]: 6 -0.605255 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[297]: 6 -1.16781 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[318]: 6 -1 0 shouldn't be
1.65/1.72	WSVECS04 Frhs2[336]: 6 -0.000642222 0 shouldn't be
1.65/1.76	WSVECS04 Frhs2[12]: 6 0 0.694374 shouldn't be
1.65/1.76	WSVECS04 Frhs2[75]: 6 0 1.49872 shouldn't be
1.65/1.76	WSVECS04 Frhs2[138]: 6 0 0.694374 shouldn't be
1.65/1.76	WSVECS04 Frhs2[193]: 6 0 1.49872 shouldn't be
1.65/1.76	WSVECS04 Frhs2[212]: 6 0 0.694374 shouldn't be
1.65/1.76	WSVECS04 Frhs2[291]: 6 0 0.876211 shouldn't be
1.65/1.76	WSVECS04 Frhs2[312]: 6 0 0.12411 shouldn't be
1.65/1.76	WSVECS04 Frhs2[362]: 6 -2.41099 0 shouldn't be
6.34/6.49	c #Conflicts:      10000 | #Constraints:       3892
6.34/6.49	c #Conflicts:      11000 | #Constraints:       4892
6.34/6.49	c #Conflicts:      12000 | #Constraints:       5892
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      13000 | #Constraints:       4341
6.34/6.49	c #Conflicts:      14000 | #Constraints:       5341
6.34/6.49	c #Conflicts:      15000 | #Constraints:       6341
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      16000 | #Constraints:       4575
6.34/6.49	c #Conflicts:      17000 | #Constraints:       5575
6.34/6.49	c #Conflicts:      18000 | #Constraints:       6576
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      19000 | #Constraints:       4585
6.34/6.49	c #Conflicts:      20000 | #Constraints:       5587
6.34/6.49	c #Conflicts:      21000 | #Constraints:       6589
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      22000 | #Constraints:       4386
6.34/6.49	c #Conflicts:      23000 | #Constraints:       5387
6.34/6.49	c #Conflicts:      24000 | #Constraints:       6390
6.34/6.49	c #Conflicts:      25000 | #Constraints:       7392
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      26000 | #Constraints:       4993
6.34/6.49	c #Conflicts:      27000 | #Constraints:       5994
6.34/6.49	c #Conflicts:      28000 | #Constraints:       6997
6.34/6.49	c #Conflicts:      29000 | #Constraints:       7998
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c #Conflicts:      30000 | #Constraints:       5400
6.34/6.49	c #Conflicts:      31000 | #Constraints:       6403
6.34/6.49	c #Conflicts:      32000 | #Constraints:       7404
6.34/6.49	c #Conflicts:      33000 | #Constraints:       8404
6.34/6.49	c INPROCESSING
6.34/6.49	c GARBAGE COLLECT
6.34/6.49	c rational objective 51.4336
11.82/11.96	c #Conflicts:      34000 | #Constraints:       5597
11.82/11.96	c #Conflicts:      35000 | #Constraints:       6597
11.82/11.96	c #Conflicts:      36000 | #Constraints:       7597
11.82/11.96	c #Conflicts:      37000 | #Constraints:       8597
11.82/11.96	c INPROCESSING
11.82/11.96	c GARBAGE COLLECT
11.82/11.96	c #Conflicts:      38000 | #Constraints:       5600
11.82/11.96	c #Conflicts:      39000 | #Constraints:       6600
11.82/11.96	c #Conflicts:      40000 | #Constraints:       7600
11.82/11.96	c #Conflicts:      41000 | #Constraints:       8600
11.82/11.96	c INPROCESSING
11.82/11.96	c GARBAGE COLLECT
11.82/11.96	c #Conflicts:      42000 | #Constraints:       5404
11.82/11.96	c #Conflicts:      43000 | #Constraints:       6405
11.82/11.96	c #Conflicts:      44000 | #Constraints:       7407
11.82/11.96	c #Conflicts:      45000 | #Constraints:       8409
11.82/11.96	c #Conflicts:      46000 | #Constraints:       9410
11.82/11.96	c INPROCESSING
11.82/11.96	c GARBAGE COLLECT
11.82/11.96	c #Conflicts:      47000 | #Constraints:       6002
11.82/11.96	c #Conflicts:      48000 | #Constraints:       7003
11.82/11.96	c #Conflicts:      49000 | #Constraints:       8005
11.82/11.96	c #Conflicts:      50000 | #Constraints:       9007
11.82/11.96	c #Conflicts:      51000 | #Constraints:      10009
11.82/11.96	c INPROCESSING
11.82/11.96	c GARBAGE COLLECT
11.82/11.96	c #Conflicts:      52000 | #Constraints:       6394
11.82/11.96	c #Conflicts:      53000 | #Constraints:       7398
11.82/11.96	c #Conflicts:      54000 | #Constraints:       8399
11.82/11.96	c #Conflicts:      55000 | #Constraints:       9400
11.82/11.96	c #Conflicts:      56000 | #Constraints:      10401
11.82/11.96	c INPROCESSING
11.82/11.96	c GARBAGE COLLECT
11.82/11.96	WSVECS04 Frhs2[3]: 6 0 4.02433 shouldn't be
11.82/11.96	WSVECS04 Frhs2[9]: 6 0 4.02438 shouldn't be
11.82/11.96	WSVECS04 Frhs2[13]: 6 0 4.02433 shouldn't be
11.82/11.96	WSVECS04 Frhs2[17]: 6 0 4.02438 shouldn't be
11.82/11.96	WSVECS04 Frhs2[30]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[36]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[49]: 6 0 5.99312 shouldn't be
11.82/11.96	WSVECS04 Frhs2[53]: 6 0 20.7846 shouldn't be
11.82/11.96	WSVECS04 Frhs2[56]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[61]: 6 0 8.27392 shouldn't be
11.82/11.96	WSVECS04 Frhs2[62]: 6 0 15.1773 shouldn't be
11.82/11.96	WSVECS04 Frhs2[63]: 6 0 4.99348 shouldn't be
11.82/11.96	WSVECS04 Frhs2[71]: 6 0 135.668 shouldn't be
11.82/11.96	WSVECS04 Frhs2[80]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[81]: 6 0 4.99342 shouldn't be
11.82/11.96	WSVECS04 Frhs2[82]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[83]: 6 0 202.093 shouldn't be
11.82/11.96	WSVECS04 Frhs2[89]: 6 -23.3121 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[92]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[93]: 6 0 121.28 shouldn't be
11.82/11.96	WSVECS04 Frhs2[97]: 6 0 20.0624 shouldn't be
11.82/11.96	WSVECS04 Frhs2[103]: 6 0 151.799 shouldn't be
11.82/11.96	WSVECS04 Frhs2[104]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[107]: 6 0 23.998 shouldn't be
11.82/11.96	WSVECS04 Frhs2[108]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[116]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[117]: 6 0 62.3184 shouldn't be
11.82/11.96	WSVECS04 Frhs2[118]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[119]: 6 0 175.21 shouldn't be
11.82/11.96	WSVECS04 Frhs2[123]: 6 0 13.0458 shouldn't be
11.82/11.96	WSVECS04 Frhs2[129]: 6 0 46.5273 shouldn't be
11.82/11.96	WSVECS04 Frhs2[131]: 6 0 40.5717 shouldn't be
11.82/11.96	WSVECS04 Frhs2[133]: 6 -205.654 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[136]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[137]: 6 0 4.99348 shouldn't be
11.82/11.96	WSVECS04 Frhs2[147]: 6 0 4.99345 shouldn't be
11.82/11.96	WSVECS04 Frhs2[151]: 6 0 32.0598 shouldn't be
11.82/11.96	WSVECS04 Frhs2[153]: 6 0 30.2722 shouldn't be
11.82/11.96	WSVECS04 Frhs2[155]: 6 0 100.235 shouldn't be
11.82/11.96	WSVECS04 Frhs2[156]: 6 0 107.123 shouldn't be
11.82/11.96	WSVECS04 Frhs2[162]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[166]: 6 0 11.8968 shouldn't be
11.82/11.96	WSVECS04 Frhs2[167]: 6 0 46.6194 shouldn't be
11.82/11.96	WSVECS04 Frhs2[172]: 6 -674.541 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[173]: 6 0 118.394 shouldn't be
11.82/11.96	WSVECS04 Frhs2[177]: 6 0 27.2952 shouldn't be
11.82/11.96	WSVECS04 Frhs2[178]: 6 0 34.1986 shouldn't be
11.82/11.96	WSVECS04 Frhs2[183]: 6 0 290.681 shouldn't be
11.82/11.96	WSVECS04 Frhs2[185]: 6 0 56.4639 shouldn't be
11.82/11.96	WSVECS04 Frhs2[187]: 6 0 4.99342 shouldn't be
11.82/11.96	WSVECS04 Frhs2[191]: 6 0 4.99348 shouldn't be
11.82/11.96	WSVECS04 Frhs2[193]: 6 0 10.9922 shouldn't be
11.82/11.96	WSVECS04 Frhs2[197]: 6 0 12.8409 shouldn't be
11.82/11.96	WSVECS04 Frhs2[199]: 6 0 126.587 shouldn't be
11.82/11.96	WSVECS04 Frhs2[200]: 6 0 21.9034 shouldn't be
11.82/11.96	WSVECS04 Frhs2[207]: 6 0 32.4212 shouldn't be
11.82/11.96	WSVECS04 Frhs2[209]: 6 0 29.6262 shouldn't be
11.82/11.96	WSVECS04 Frhs2[219]: 6 0 0.672521 shouldn't be
11.82/11.96	WSVECS04 Frhs2[221]: 6 0 245.7 shouldn't be
11.82/11.96	WSVECS04 Frhs2[223]: 6 0 2.01928 shouldn't be
11.82/11.96	WSVECS04 Frhs2[225]: 6 0 49.1705 shouldn't be
11.82/11.96	WSVECS04 Frhs2[234]: 6 0 6.88793 shouldn't be
11.82/11.96	WSVECS04 Frhs2[235]: 6 0 59.7573 shouldn't be
11.82/11.96	WSVECS04 Frhs2[237]: 6 0 8.23618 shouldn't be
11.82/11.96	WSVECS04 Frhs2[250]: 6 -52.3515 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[252]: 6 -158.929 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[258]: 6 0 150.352 shouldn't be
11.82/11.96	WSVECS04 Frhs2[261]: 6 -255.581 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[266]: 6 -172.654 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[269]: 6 -227.392 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[282]: 6 0 229.597 shouldn't be
11.82/11.96	WSVECS04 Frhs2[296]: 6 -116.284 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[322]: 6 -62.8514 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[324]: 6 -163.743 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[335]: 6 -222.68 0 shouldn't be
11.82/11.96	WSVECS04 Frhs2[344]: 6 0 116.233 shouldn't be
11.82/11.96	WSVECS04 Frhs2[369]: 6 -6.57376 0 shouldn't be
11.93/12.01	WSVECS04 Frhs2[248]: 6 -93.0959 0 shouldn't be
11.93/12.01	WSVECS04 Frhs2[297]: 6 -183.422 0 shouldn't be
11.93/12.01	WSVECS04 Frhs2[318]: 6 -132.811 0 shouldn't be
11.93/12.06	c rational objective 51.4362
19.10/19.25	c #Conflicts:      57000 | #Constraints:       6600
19.10/19.25	c #Conflicts:      58000 | #Constraints:       7601
19.10/19.25	c #Conflicts:      59000 | #Constraints:       8601
19.10/19.25	c #Conflicts:      60000 | #Constraints:       9602
19.10/19.25	c #Conflicts:      61000 | #Constraints:      10603
19.10/19.25	c INPROCESSING
19.10/19.25	c GARBAGE COLLECT
19.10/19.25	c #Conflicts:      62000 | #Constraints:       6601
19.10/19.25	c #Conflicts:      63000 | #Constraints:       7603
19.10/19.25	c #Conflicts:      64000 | #Constraints:       8608
19.10/19.25	c #Conflicts:      65000 | #Constraints:       9609
19.10/19.25	c #Conflicts:      66000 | #Constraints:      10611
19.10/19.25	c INPROCESSING
19.10/19.25	c GARBAGE COLLECT
19.10/19.25	c #Conflicts:      67000 | #Constraints:       6409
19.10/19.25	c #Conflicts:      68000 | #Constraints:       7409
19.10/19.25	c #Conflicts:      69000 | #Constraints:       8410
19.10/19.25	c #Conflicts:      70000 | #Constraints:       9410
19.10/19.25	c #Conflicts:      71000 | #Constraints:      10412
19.10/19.25	c #Conflicts:      72000 | #Constraints:      11413
19.10/19.25	c INPROCESSING
19.10/19.25	c GARBAGE COLLECT
19.10/19.25	c #Conflicts:      73000 | #Constraints:       7005
19.10/19.25	c #Conflicts:      74000 | #Constraints:       8007
19.10/19.25	c #Conflicts:      75000 | #Constraints:       9008
19.10/19.25	c #Conflicts:      76000 | #Constraints:      10009
19.10/19.25	c #Conflicts:      77000 | #Constraints:      11011
19.10/19.25	c #Conflicts:      78000 | #Constraints:      12013
19.10/19.25	c INPROCESSING
19.10/19.25	c GARBAGE COLLECT
19.10/19.25	c #Conflicts:      79000 | #Constraints:       7403
19.10/19.25	c #Conflicts:      80000 | #Constraints:       8403
19.10/19.25	c #Conflicts:      81000 | #Constraints:       9404
19.10/19.25	c #Conflicts:      82000 | #Constraints:      10407
19.10/19.25	c #Conflicts:      83000 | #Constraints:      11409
19.10/19.25	c #Conflicts:      84000 | #Constraints:      12413
19.10/19.25	c INPROCESSING
19.10/19.25	c GARBAGE COLLECT
19.10/19.25	c rational objective 51.4365
30.47/30.60	c #Conflicts:      85000 | #Constraints:       7609
30.47/30.60	c #Conflicts:      86000 | #Constraints:       8609
30.47/30.60	c #Conflicts:      87000 | #Constraints:       9610
30.47/30.60	c #Conflicts:      88000 | #Constraints:      10610
30.47/30.60	c #Conflicts:      89000 | #Constraints:      11611
30.47/30.60	c #Conflicts:      90000 | #Constraints:      12612
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	c #Conflicts:      91000 | #Constraints:       7606
30.47/30.60	c #Conflicts:      92000 | #Constraints:       8607
30.47/30.60	c #Conflicts:      93000 | #Constraints:       9610
30.47/30.60	c #Conflicts:      94000 | #Constraints:      10612
30.47/30.60	c #Conflicts:      95000 | #Constraints:      11618
30.47/30.60	c #Conflicts:      96000 | #Constraints:      12629
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	c #Conflicts:      97000 | #Constraints:       7421
30.47/30.60	c #Conflicts:      98000 | #Constraints:       8424
30.47/30.60	c #Conflicts:      99000 | #Constraints:       9427
30.47/30.60	c #Conflicts:     100000 | #Constraints:      10429
30.47/30.60	c #Conflicts:     101000 | #Constraints:      11433
30.47/30.60	c #Conflicts:     102000 | #Constraints:      12440
30.47/30.60	c #Conflicts:     103000 | #Constraints:      13449
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	c #Conflicts:     104000 | #Constraints:       8018
30.47/30.60	c #Conflicts:     105000 | #Constraints:       9020
30.47/30.60	c #Conflicts:     106000 | #Constraints:      10021
30.47/30.60	c #Conflicts:     107000 | #Constraints:      11023
30.47/30.60	c #Conflicts:     108000 | #Constraints:      12026
30.47/30.60	c #Conflicts:     109000 | #Constraints:      13029
30.47/30.60	c #Conflicts:     110000 | #Constraints:      14032
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	c #Conflicts:     111000 | #Constraints:       8416
30.47/30.60	c #Conflicts:     112000 | #Constraints:       9417
30.47/30.60	c #Conflicts:     113000 | #Constraints:      10418
30.47/30.60	c #Conflicts:     114000 | #Constraints:      11419
30.47/30.60	c #Conflicts:     115000 | #Constraints:      12421
30.47/30.60	c #Conflicts:     116000 | #Constraints:      13423
30.47/30.60	c #Conflicts:     117000 | #Constraints:      14424
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	c #Conflicts:     118000 | #Constraints:       8608
30.47/30.60	c #Conflicts:     119000 | #Constraints:       9609
30.47/30.60	c #Conflicts:     120000 | #Constraints:      10609
30.47/30.60	c #Conflicts:     121000 | #Constraints:      11609
30.47/30.60	c #Conflicts:     122000 | #Constraints:      12611
30.47/30.60	c #Conflicts:     123000 | #Constraints:      13613
30.47/30.60	c #Conflicts:     124000 | #Constraints:      14614
30.47/30.60	c INPROCESSING
30.47/30.60	c GARBAGE COLLECT
30.47/30.60	WSVECS04 Frhs2[10]: 6 0 9.69709 shouldn't be
30.47/30.60	WSVECS04 Frhs2[27]: 6 0 0.596553 shouldn't be
30.47/30.60	WSVECS04 Frhs2[36]: 6 0 95.6718 shouldn't be
30.47/30.60	WSVECS04 Frhs2[39]: 6 0 4.85113 shouldn't be
30.47/30.60	WSVECS04 Frhs2[43]: 6 0 9.39717 shouldn't be
30.47/30.60	WSVECS04 Frhs2[53]: 6 0 93.044 shouldn't be
30.47/30.60	WSVECS04 Frhs2[55]: 6 0 20.1071 shouldn't be
30.47/30.60	WSVECS04 Frhs2[61]: 6 0 46.9143 shouldn't be
30.47/30.60	WSVECS04 Frhs2[72]: 6 0 41.6941 shouldn't be
30.47/30.60	WSVECS04 Frhs2[75]: 6 0 47.757 shouldn't be
30.47/30.60	WSVECS04 Frhs2[77]: 6 0 131.8 shouldn't be
30.47/30.60	WSVECS04 Frhs2[79]: 6 0 48.8934 shouldn't be
30.47/30.60	WSVECS04 Frhs2[80]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[89]: 6 -321.832 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[95]: 6 0 28.4186 shouldn't be
30.47/30.60	WSVECS04 Frhs2[96]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[100]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[104]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[106]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[108]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[112]: 6 0 10.2876 shouldn't be
30.47/30.60	WSVECS04 Frhs2[113]: 6 0 5.77283 shouldn't be
30.47/30.60	WSVECS04 Frhs2[119]: 6 0 7.98887 shouldn't be
30.47/30.60	WSVECS04 Frhs2[127]: 6 0 6.40872 shouldn't be
30.47/30.60	WSVECS04 Frhs2[135]: 6 0 81.0395 shouldn't be
30.47/30.60	WSVECS04 Frhs2[138]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[139]: 6 0 61.4701 shouldn't be
30.47/30.60	WSVECS04 Frhs2[143]: 6 0 174.194 shouldn't be
30.47/30.60	WSVECS04 Frhs2[147]: 6 0 170.961 shouldn't be
30.47/30.60	WSVECS04 Frhs2[151]: 6 0 13.3146 shouldn't be
30.47/30.60	WSVECS04 Frhs2[153]: 6 0 48.0302 shouldn't be
30.47/30.60	WSVECS04 Frhs2[179]: 6 0 0.596552 shouldn't be
30.47/30.60	WSVECS04 Frhs2[185]: 6 0 0.020929 shouldn't be
30.47/30.60	WSVECS04 Frhs2[192]: 6 0 3.78683 shouldn't be
30.47/30.60	WSVECS04 Frhs2[209]: 6 0 8.20558 shouldn't be
30.47/30.60	WSVECS04 Frhs2[210]: 6 0 3.11021 shouldn't be
30.47/30.60	WSVECS04 Frhs2[215]: 6 0 0.498724 shouldn't be
30.47/30.60	WSVECS04 Frhs2[217]: 6 0 29.5358 shouldn't be
30.47/30.60	WSVECS04 Frhs2[230]: 6 0 120.389 shouldn't be
30.47/30.60	WSVECS04 Frhs2[231]: 6 0 0.596552 shouldn't be
30.47/30.60	WSVECS04 Frhs2[233]: 6 0 148.973 shouldn't be
30.47/30.60	WSVECS04 Frhs2[247]: 6 -144.964 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[251]: 6 0 83.3844 shouldn't be
30.47/30.60	WSVECS04 Frhs2[252]: 6 -104.201 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[265]: 6 0 52.508 shouldn't be
30.47/30.60	WSVECS04 Frhs2[268]: 6 0 28.9977 shouldn't be
30.47/30.60	WSVECS04 Frhs2[281]: 6 -96.1007 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[288]: 6 -19.7535 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[296]: 6 -170.836 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[302]: 6 -10.4903 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[323]: 6 -215.766 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[336]: 6 -106.926 0 shouldn't be
30.47/30.60	WSVECS04 Frhs2[357]: 6 -89.8637 0 shouldn't be
30.47/30.67	WSVECS04 Frhs2[291]: 6 -41.1395 0 shouldn't be
30.57/30.71	c rational objective 51.4448
48.60/49.00	c #Conflicts:     125000 | #Constraints:       8607
48.60/49.00	c #Conflicts:     126000 | #Constraints:       9609
48.60/49.00	c #Conflicts:     127000 | #Constraints:      10610
48.60/49.00	c #Conflicts:     128000 | #Constraints:      11610
48.60/49.00	c #Conflicts:     129000 | #Constraints:      12612
48.60/49.00	c #Conflicts:     130000 | #Constraints:      13614
48.60/49.00	c #Conflicts:     131000 | #Constraints:      14615
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     132000 | #Constraints:       8398
48.60/49.00	c #Conflicts:     133000 | #Constraints:       9400
48.60/49.00	c #Conflicts:     134000 | #Constraints:      10402
48.60/49.00	c #Conflicts:     135000 | #Constraints:      11404
48.60/49.00	c #Conflicts:     136000 | #Constraints:      12404
48.60/49.00	c #Conflicts:     137000 | #Constraints:      13405
48.60/49.00	c #Conflicts:     138000 | #Constraints:      14406
48.60/49.00	c #Conflicts:     139000 | #Constraints:      15407
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     140000 | #Constraints:       9002
48.60/49.00	c #Conflicts:     141000 | #Constraints:      10002
48.60/49.00	c #Conflicts:     142000 | #Constraints:      11002
48.60/49.00	c #Conflicts:     143000 | #Constraints:      12002
48.60/49.00	c #Conflicts:     144000 | #Constraints:      13002
48.60/49.00	c #Conflicts:     145000 | #Constraints:      14002
48.60/49.00	c #Conflicts:     146000 | #Constraints:      15002
48.60/49.00	c #Conflicts:     147000 | #Constraints:      16002
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     148000 | #Constraints:       9401
48.60/49.00	c #Conflicts:     149000 | #Constraints:      10401
48.60/49.00	c #Conflicts:     150000 | #Constraints:      11401
48.60/49.00	c #Conflicts:     151000 | #Constraints:      12401
48.60/49.00	c #Conflicts:     152000 | #Constraints:      13401
48.60/49.00	c #Conflicts:     153000 | #Constraints:      14401
48.60/49.00	c #Conflicts:     154000 | #Constraints:      15401
48.60/49.00	c #Conflicts:     155000 | #Constraints:      16401
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     156000 | #Constraints:       9593
48.60/49.00	c #Conflicts:     157000 | #Constraints:      10593
48.60/49.00	c #Conflicts:     158000 | #Constraints:      11593
48.60/49.00	c #Conflicts:     159000 | #Constraints:      12593
48.60/49.00	c #Conflicts:     160000 | #Constraints:      13593
48.60/49.00	c #Conflicts:     161000 | #Constraints:      14593
48.60/49.00	c #Conflicts:     162000 | #Constraints:      15593
48.60/49.00	c #Conflicts:     163000 | #Constraints:      16593
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     164000 | #Constraints:       9597
48.60/49.00	c #Conflicts:     165000 | #Constraints:      10597
48.60/49.00	c #Conflicts:     166000 | #Constraints:      11597
48.60/49.00	c #Conflicts:     167000 | #Constraints:      12597
48.60/49.00	c #Conflicts:     168000 | #Constraints:      13597
48.60/49.00	c #Conflicts:     169000 | #Constraints:      14597
48.60/49.00	c #Conflicts:     170000 | #Constraints:      15597
48.60/49.00	c #Conflicts:     171000 | #Constraints:      16597
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     172000 | #Constraints:       9401
48.60/49.00	c #Conflicts:     173000 | #Constraints:      10401
48.60/49.00	c #Conflicts:     174000 | #Constraints:      11401
48.60/49.00	c #Conflicts:     175000 | #Constraints:      12401
48.60/49.00	c #Conflicts:     176000 | #Constraints:      13401
48.60/49.00	c #Conflicts:     177000 | #Constraints:      14401
48.60/49.00	c #Conflicts:     178000 | #Constraints:      15401
48.60/49.00	c #Conflicts:     179000 | #Constraints:      16401
48.60/49.00	c #Conflicts:     180000 | #Constraints:      17401
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c #Conflicts:     181000 | #Constraints:       9993
48.60/49.00	c #Conflicts:     182000 | #Constraints:      10993
48.60/49.00	c #Conflicts:     183000 | #Constraints:      11993
48.60/49.00	c #Conflicts:     184000 | #Constraints:      12993
48.60/49.00	c #Conflicts:     185000 | #Constraints:      13993
48.60/49.00	c #Conflicts:     186000 | #Constraints:      14993
48.60/49.00	c #Conflicts:     187000 | #Constraints:      15993
48.60/49.00	c #Conflicts:     188000 | #Constraints:      16993
48.60/49.00	c #Conflicts:     189000 | #Constraints:      17993
48.60/49.00	c INPROCESSING
48.60/49.00	c GARBAGE COLLECT
48.60/49.00	c rational objective 51.4513
66.59/67.11	c #Conflicts:     190000 | #Constraints:      10408
66.59/67.11	c #Conflicts:     191000 | #Constraints:      11408
66.59/67.11	c #Conflicts:     192000 | #Constraints:      12409
66.59/67.11	c #Conflicts:     193000 | #Constraints:      13409
66.59/67.11	c #Conflicts:     194000 | #Constraints:      14410
66.59/67.11	c #Conflicts:     195000 | #Constraints:      15412
66.59/67.11	c #Conflicts:     196000 | #Constraints:      16413
66.59/67.11	c #Conflicts:     197000 | #Constraints:      17424
66.59/67.11	c #Conflicts:     198000 | #Constraints:      18437
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	c #Conflicts:     199000 | #Constraints:      10631
66.59/67.11	c #Conflicts:     200000 | #Constraints:      11632
66.59/67.11	c #Conflicts:     201000 | #Constraints:      12641
66.59/67.11	c #Conflicts:     202000 | #Constraints:      13645
66.59/67.11	c #Conflicts:     203000 | #Constraints:      14646
66.59/67.11	c #Conflicts:     204000 | #Constraints:      15652
66.59/67.11	c #Conflicts:     205000 | #Constraints:      16665
66.59/67.11	c #Conflicts:     206000 | #Constraints:      17667
66.59/67.11	c #Conflicts:     207000 | #Constraints:      18668
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	c #Conflicts:     208000 | #Constraints:      10637
66.59/67.11	c #Conflicts:     209000 | #Constraints:      11638
66.59/67.11	c #Conflicts:     210000 | #Constraints:      12640
66.59/67.11	c #Conflicts:     211000 | #Constraints:      13641
66.59/67.11	c #Conflicts:     212000 | #Constraints:      14643
66.59/67.11	c #Conflicts:     213000 | #Constraints:      15646
66.59/67.11	c #Conflicts:     214000 | #Constraints:      16647
66.59/67.11	c #Conflicts:     215000 | #Constraints:      17648
66.59/67.11	c #Conflicts:     216000 | #Constraints:      18651
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	c #Conflicts:     217000 | #Constraints:      10431
66.59/67.11	c #Conflicts:     218000 | #Constraints:      11433
66.59/67.11	c #Conflicts:     219000 | #Constraints:      12435
66.59/67.11	c #Conflicts:     220000 | #Constraints:      13437
66.59/67.11	c #Conflicts:     221000 | #Constraints:      14440
66.59/67.11	c #Conflicts:     222000 | #Constraints:      15443
66.59/67.11	c #Conflicts:     223000 | #Constraints:      16446
66.59/67.11	c #Conflicts:     224000 | #Constraints:      17451
66.59/67.11	c #Conflicts:     225000 | #Constraints:      18467
66.59/67.11	c #Conflicts:     226000 | #Constraints:      19471
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	c #Conflicts:     227000 | #Constraints:      11042
66.59/67.11	c #Conflicts:     228000 | #Constraints:      12045
66.59/67.11	c #Conflicts:     229000 | #Constraints:      13048
66.59/67.11	c #Conflicts:     230000 | #Constraints:      14049
66.59/67.11	c #Conflicts:     231000 | #Constraints:      15052
66.59/67.11	c #Conflicts:     232000 | #Constraints:      16053
66.59/67.11	c #Conflicts:     233000 | #Constraints:      17055
66.59/67.11	c #Conflicts:     234000 | #Constraints:      18056
66.59/67.11	c #Conflicts:     235000 | #Constraints:      19057
66.59/67.11	c #Conflicts:     236000 | #Constraints:      20058
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	c #Conflicts:     237000 | #Constraints:      11432
66.59/67.11	c #Conflicts:     238000 | #Constraints:      12434
66.59/67.11	c #Conflicts:     239000 | #Constraints:      13435
66.59/67.11	c #Conflicts:     240000 | #Constraints:      14436
66.59/67.11	c #Conflicts:     241000 | #Constraints:      15439
66.59/67.11	c #Conflicts:     242000 | #Constraints:      16440
66.59/67.11	c #Conflicts:     243000 | #Constraints:      17441
66.59/67.11	c #Conflicts:     244000 | #Constraints:      18443
66.59/67.11	c #Conflicts:     245000 | #Constraints:      19445
66.59/67.11	c #Conflicts:     246000 | #Constraints:      20446
66.59/67.11	c INPROCESSING
66.59/67.11	c GARBAGE COLLECT
66.59/67.11	WSVECS04 Frhs2[12]: 6 -10.4396 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[23]: 6 0 22.1242 shouldn't be
66.59/67.11	WSVECS04 Frhs2[24]: 6 0 3.212 shouldn't be
66.59/67.11	WSVECS04 Frhs2[36]: 6 -28.5851 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[37]: 6 0 1.27168 shouldn't be
66.59/67.11	WSVECS04 Frhs2[45]: 6 0 23.6796 shouldn't be
66.59/67.11	WSVECS04 Frhs2[46]: 6 0 5.0953 shouldn't be
66.59/67.11	WSVECS04 Frhs2[49]: 6 0 1.25101 shouldn't be
66.59/67.11	WSVECS04 Frhs2[55]: 6 0 1.2717 shouldn't be
66.59/67.11	WSVECS04 Frhs2[61]: 6 0 1.54396 shouldn't be
66.59/67.11	WSVECS04 Frhs2[67]: 6 0 34.7934 shouldn't be
66.59/67.11	WSVECS04 Frhs2[72]: 6 -10.4395 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[78]: 6 -10.4396 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[79]: 6 0 0.543205 shouldn't be
66.59/67.11	WSVECS04 Frhs2[83]: 6 0 1.32582 shouldn't be
66.59/67.11	WSVECS04 Frhs2[85]: 6 0 1.27172 shouldn't be
66.59/67.11	WSVECS04 Frhs2[95]: 6 0 1.27165 shouldn't be
66.59/67.11	WSVECS04 Frhs2[117]: 6 0 0.138838 shouldn't be
66.59/67.11	WSVECS04 Frhs2[119]: 6 0 0.543192 shouldn't be
66.59/67.11	WSVECS04 Frhs2[137]: 6 0 1.27168 shouldn't be
66.59/67.11	WSVECS04 Frhs2[143]: 6 0 1.27172 shouldn't be
66.59/67.11	WSVECS04 Frhs2[147]: 6 -16.5338 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[157]: 6 0 3.12901 shouldn't be
66.59/67.11	WSVECS04 Frhs2[163]: 6 0 1.27164 shouldn't be
66.59/67.11	WSVECS04 Frhs2[167]: 6 0 43.8639 shouldn't be
66.59/67.11	WSVECS04 Frhs2[169]: 6 0 7.71935 shouldn't be
66.59/67.11	WSVECS04 Frhs2[175]: 6 -19.367 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[179]: 6 0 1.27173 shouldn't be
66.59/67.11	WSVECS04 Frhs2[186]: 6 0 90.8225 shouldn't be
66.59/67.11	WSVECS04 Frhs2[189]: 6 0 13.179 shouldn't be
66.59/67.11	WSVECS04 Frhs2[191]: 6 0 1.27172 shouldn't be
66.59/67.11	WSVECS04 Frhs2[197]: 6 0 1.71914 shouldn't be
66.59/67.11	WSVECS04 Frhs2[203]: 6 0 7.33496 shouldn't be
66.59/67.11	WSVECS04 Frhs2[209]: 6 0 1.27165 shouldn't be
66.59/67.11	WSVECS04 Frhs2[211]: 6 0 1.27172 shouldn't be
66.59/67.11	WSVECS04 Frhs2[227]: 6 -8.84089 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[244]: 6 0 20.4838 shouldn't be
66.59/67.11	WSVECS04 Frhs2[247]: 6 0 6.5664 shouldn't be
66.59/67.11	WSVECS04 Frhs2[273]: 6 0 10.8714 shouldn't be
66.59/67.11	WSVECS04 Frhs2[276]: 6 0 18.9138 shouldn't be
66.59/67.11	WSVECS04 Frhs2[280]: 6 0 6.41923 shouldn't be
66.59/67.11	WSVECS04 Frhs2[283]: 6 0 36.9802 shouldn't be
66.59/67.11	WSVECS04 Frhs2[284]: 6 -2.76626 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[301]: 6 0 25.8147 shouldn't be
66.59/67.11	WSVECS04 Frhs2[308]: 6 -3.43582 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[321]: 6 0 11.6542 shouldn't be
66.59/67.11	WSVECS04 Frhs2[338]: 6 0 41.418 shouldn't be
66.59/67.11	WSVECS04 Frhs2[350]: 6 -3.49379 0 shouldn't be
66.59/67.11	WSVECS04 Frhs2[357]: 6 0 15.7321 shouldn't be
66.59/67.11	WSVECS04 Frhs2[360]: 6 0 29.0295 shouldn't be
66.59/67.11	WSVECS04 Frhs2[370]: 6 -38.5479 0 shouldn't be
66.59/67.17	WSVECS04 Frhs2[112]: 6 0 3.21194 shouldn't be
66.59/67.17	WSVECS04 Frhs2[246]: 6 0 39.6517 shouldn't be
66.59/67.17	WSVECS04 Frhs2[298]: 6 0 37.3616 shouldn't be
66.59/67.17	WSVECS04 Frhs2[300]: 6 0 4.79363 shouldn't be
66.59/67.17	WSVECS04 Frhs2[313]: 6 -7.09948 0 shouldn't be
66.59/67.17	WSVECS04 Frhs2[362]: 6 0 18.0103 shouldn't be
66.68/67.24	c rational objective 51.454
70.17/70.73	c #Conflicts:     247000 | #Constraints:      11618
70.17/70.73	c #Conflicts:     248000 | #Constraints:      12619
70.17/70.73	c #Conflicts:     249000 | #Constraints:      13619
70.17/70.73	c #Conflicts:     250000 | #Constraints:      14619
70.17/70.73	c #Conflicts:     251000 | #Constraints:      15619
70.17/70.73	c #Conflicts:     252000 | #Constraints:      16619
70.17/70.73	c #Conflicts:     253000 | #Constraints:      17620
70.17/70.73	c #Conflicts:     254000 | #Constraints:      18621
70.17/70.73	c #Conflicts:     255000 | #Constraints:      19622
70.17/70.73	c #Conflicts:     256000 | #Constraints:      20623
70.17/70.73	c INPROCESSING
70.17/70.73	c GARBAGE COLLECT
70.17/70.73	c cpu time 69.0509 s
70.17/70.73	c deterministic time 5565356125 5.57e+09
70.17/70.73	c optimization time 8.1e-05 s
70.17/70.73	c total solve time 69.0462 s
70.17/70.73	c core-guided solve time 0 s
70.17/70.73	c propagation time 44.8163 s
70.17/70.73	c conflict analysis time 18.7809 s
70.17/70.73	c propagations 13183087
70.17/70.73	c resolve steps 4451171
70.17/70.73	c decisions 351433
70.17/70.73	c conflicts 256201
70.17/70.73	c restarts 603
70.17/70.73	c inprocessing phases 42
70.17/70.73	c garbage collections 42 ,( 100.00 )
70.17/70.73	c input clauses 558 ,( 68.97 )
70.17/70.73	c input cardinalities 2 ,( 0.25 )
70.17/70.73	c input general constraints 249 ,( 30.78 )
70.17/70.73	c input average constraint length 5.35
70.17/70.73	c input average constraint degree 2.42
70.17/70.73	c learned clauses 216629 ,( 84.43 )
70.17/70.73	c learned cardinalities 119 ,( 0.05 )
70.17/70.73	c learned general constraints 39841 ,( 15.53 )
70.17/70.73	c learned average constraint length 131.66
70.17/70.73	c learned average constraint degree 8843766.65
70.17/70.73	c watched  CF 32, 64, 128, Arb: 35525 , 0 , 0 , 0
70.17/70.73	c counting CF 32, 64, 128, Arb: 4565 , 0 , 0 , 0
70.17/70.73	c watched   constraints 35525 ,( 88.61 ) 
70.17/70.73	c counting  constraints 4565 ,( 11.39 ) 
70.17/70.73	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 121774056 , 9331107 , 212769036 ,( 180286506 , 32482530 )
70.17/70.73	c gcd simplifications 30948
70.17/70.73	c detected cardinalities 52
70.17/70.73	c weakened non-implied lits 4188761
70.17/70.73	c weakened non-implying lits 64211
70.17/70.73	c original variables 370
70.17/70.73	c clausal propagations 4616938
70.17/70.73	c cardinality propagations 162559
70.17/70.73	c watched propagations 1986579
70.17/70.73	c counting propagations 6003052
70.17/70.73	c watch lookups 1074893258
70.17/70.73	c watch backjump lookups 0
70.17/70.73	c watch checks 4139287813
70.17/70.73	c propagation checks 233999045
70.17/70.73	c constraint additions 89798137
70.17/70.73	c trail pops 13790700
70.17/70.73	c formula constraints 809
70.17/70.73	c learned constraints 256201
70.17/70.73	c bound constraints 0
70.17/70.73	c core-guided constraints 0
70.17/70.73	c encountered formula constraints 3815904
70.17/70.73	c encountered learned constraints 891468
70.17/70.73	c encountered bound constraints 0
70.17/70.73	c encountered core-guided constraints 0
70.17/70.73	c LP total time 4.00436 s
70.17/70.73	c LP solve time 2.48 s
70.17/70.73	c LP constraints added 824
70.17/70.73	c LP constraints removed 8
70.17/70.73	c LP pivots internal 25662
70.17/70.73	c LP pivots root 26989
70.17/70.73	c LP calls 412
70.17/70.73	c LP optimalities 25
70.17/70.73	c LP no pivot count 0
70.17/70.73	c LP infeasibilities 382
70.17/70.73	c LP valid Farkas constraints 381
70.17/70.73	c LP learned Farkas constraints 0
70.17/70.73	c LP basis resets 3
70.17/70.73	c LP cycling count 0
70.17/70.73	c LP singular count 1
70.17/70.73	c LP no primal count 0
70.17/70.73	c LP no farkas count 1
70.17/70.73	c LP other issue count 1
70.17/70.73	c LP Gomory cuts 7
70.17/70.73	c LP learned cuts 8
70.17/70.73	c LP deleted cuts 8
70.17/70.73	c LP encountered Gomory constraints 0
70.17/70.73	c LP encountered Farkas constraints 0
70.17/70.73	c LP encountered learned Farkas constraints 0
70.17/70.73	c CG auxiliary variables introduced 0
70.17/70.73	c CG solutions found 0
70.17/70.73	c CG cores constructed 0
70.17/70.73	c CG core cardinality constraints returned 0
70.17/70.73	c CG unit cores 0
70.17/70.73	c CG single cores 0
70.17/70.73	c CG blocks removed during cardinality reduction 0
70.17/70.73	c CG first core best 0
70.17/70.73	c CG decision core best 0
70.17/70.73	c CG core reduction tie 0
70.17/70.73	c CG core degree average 0.00
70.17/70.73	c CG core slack average 0.00
70.17/70.73	c CG core upper bound improvements 0
70.17/70.73	c STR number of successful calls 0
70.17/70.73	c STR number of unsuccessful calls 0
70.17/70.73	c STR number of inconclusive calls 0
70.17/70.73	c STR number of successful attempts 0
70.17/70.73	c STR number of unsuccessful attempts 0
70.17/70.73	c STR number of inconclusive attempts 0
70.17/70.73	c STR average degree increase per successful call inf
70.17/70.73	c STR average degree increase per successful attempt inf
70.17/70.73	c STR total number of conflicts for successful attempts 0
70.17/70.73	c STR total number of conflicts for unsuccessful attempts 0
70.17/70.73	c STR total number of conflicts for inconclusive attempts 0
70.17/70.73	c STR average number of conflicts per successful attempt inf
70.17/70.73	c STR average number of conflicts per unsuccessful attempt inf
70.17/70.73	c STR average number of conflicts per inconclusive attempt inf
70.17/70.73	c AVG.sumWPerc 18.66 
70.17/70.73	c bigint constraints 0 
70.17/70.73	s SATISFIABLE
70.17/70.76	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

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493521-1751155558/watcher-4493521-1751155558 -o /tmp/evaluation-result-4493521-1751155558/solver-4493521-1751155558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493521-1751155558.opb PROOFDIR/proof-4493521-1751155558 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15444, runsolver pid=15441
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129982928/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=58072 memory=12600 CPUtime=0.07 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 1128 0 0 0 7 0 0 0 20 0 1 0 31234365 59465728 3150 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 14518 3150 2336 1147 0 1945 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62264 KiB
Current children cumulated memory: 15672 KiB

[startup+0.205473 s]*
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129982904/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=59792 memory=14392 CPUtime=0.17 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 1575 0 0 0 17 0 0 0 20 0 1 0 31234365 61227008 3598 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 14948 3598 2336 1147 0 2375 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63984 KiB
Current children cumulated memory: 17464 KiB

[startup+0.305111 s]*
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129982904/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=59980 memory=16880 CPUtime=0.26 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 1658 0 0 0 26 0 0 0 20 0 1 0 31234365 61419520 4220 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 14995 4220 2368 1147 0 2422 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 64172 KiB
Current children cumulated memory: 19952 KiB

[startup+0.700129 s]
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129982688/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=61160 memory=17904 CPUtime=0.66 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 1916 0 0 0 64 2 0 0 20 0 1 0 31234365 62627840 4476 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 15290 4476 2368 1147 0 2717 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65352 KiB
Current children cumulated memory: 20976 KiB

[startup+1.50016 s]
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129980924/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=62120 memory=20860 CPUtime=1.45 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 2167 0 0 0 141 4 0 0 20 0 1 0 31234365 63610880 5215 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 15530 5215 2368 1147 0 2957 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 23932 KiB

[startup+3.10534 s]
/proc/loadavg: 2.08 2.66 3.21 5/269 15447
/proc/meminfo: memFree=129962720/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=63556 memory=22524 CPUtime=3.05 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 2495 0 0 0 298 7 0 0 20 0 1 0 31234365 65081344 5631 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 15889 5631 2464 1147 0 3316 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 25596 KiB

[startup+6.30018 s]
/proc/loadavg: 2.23 2.68 3.21 5/269 15447
/proc/meminfo: memFree=129930236/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=64476 memory=23548 CPUtime=6.24 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 2758 0 0 0 610 14 0 0 20 0 1 0 31234365 66023424 5887 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 16119 5887 2464 1147 0 3546 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 68668 KiB
Current children cumulated memory: 26620 KiB

[startup+12.7001 s]
/proc/loadavg: 2.37 2.71 3.22 5/269 15447
/proc/meminfo: memFree=129784464/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=67772 memory=25084 CPUtime=12.62 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 3131 0 0 0 1236 26 0 0 20 0 1 0 31234365 69398528 6271 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 16943 6271 2464 1147 0 4370 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 71964 KiB
Current children cumulated memory: 28156 KiB

[startup+25.5002 s]
/proc/loadavg: 2.81 2.79 3.24 5/269 15447
/proc/meminfo: memFree=129587004/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=71152 memory=29692 CPUtime=25.39 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 4288 0 0 0 2493 46 0 0 20 0 1 0 31234365 72859648 7423 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 17788 7423 2464 1147 0 5215 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 75344 KiB
Current children cumulated memory: 32764 KiB

[startup+51.1055 s]
/proc/loadavg: 3.14 2.87 3.25 5/272 15639
/proc/meminfo: memFree=129329704/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=77584 memory=33276 CPUtime=50.8 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5206 0 0 0 4989 91 0 0 20 0 1 0 31234365 79446016 8319 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19396 8319 2464 1147 0 6823 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 81776 KiB
Current children cumulated memory: 36348 KiB

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

# cumulated CPU time of all completed processes:  user=69.0539 s, system=1.17779 s

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

[startup+51.2002 s]
/proc/loadavg: 3.14 2.87 3.25 5/272 15639
/proc/meminfo: memFree=129329704/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=77584 memory=33276 CPUtime=50.89 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5206 0 0 0 4998 91 0 0 20 0 1 0 31234365 79446016 8319 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19396 8319 2464 1147 0 6823 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 81776 KiB
Current children cumulated memory: 36348 KiB

[startup+64.0002 s]*
/proc/loadavg: 3.41 2.94 3.27 5/272 15639
/proc/meminfo: memFree=129079084/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79040 memory=37084 CPUtime=63.66 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5710 0 0 0 6258 108 0 0 20 0 1 0 31234365 80936960 9271 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19760 9271 2464 1147 0 7187 0
Current children cumulated CPU time: 63.66 s
Current children cumulated vsize: 83232 KiB
Current children cumulated memory: 40156 KiB

[startup+67.2002 s]
/proc/loadavg: 3.41 2.94 3.27 5/272 15639
/proc/meminfo: memFree=129037568/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79360 memory=37372 CPUtime=66.68 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5886 0 0 0 6557 111 0 0 20 0 1 0 31234365 81264640 9343 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19840 9343 2464 1147 0 7267 0
Current children cumulated CPU time: 66.68 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 40444 KiB

[startup+68.8001 s]
/proc/loadavg: 3.41 2.94 3.27 5/272 15639
/proc/meminfo: memFree=129025772/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79360 memory=37372 CPUtime=68.28 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5886 0 0 0 6714 114 0 0 20 0 1 0 31234365 81264640 9343 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19840 9343 2464 1147 0 7267 0
Current children cumulated CPU time: 68.28 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 40444 KiB

[startup+69.6001 s]
/proc/loadavg: 3.46 2.96 3.27 5/272 15639
/proc/meminfo: memFree=129013676/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79360 memory=37372 CPUtime=69.08 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5886 0 0 0 6793 115 0 0 20 0 1 0 31234365 81264640 9343 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19840 9343 2464 1147 0 7267 0
Current children cumulated CPU time: 69.08 s
Current children cumulated vsize: 83552 KiB
Current children cumulated memory: 40444 KiB

[startup+70.4002 s]
/proc/loadavg: 3.46 2.96 3.27 5/272 15639
/proc/meminfo: memFree=129005612/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79616 memory=37372 CPUtime=69.88 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5913 0 0 0 6872 116 0 0 20 0 1 0 31234365 81526784 9343 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19904 9343 2464 1147 0 7331 0
Current children cumulated CPU time: 69.88 s
Current children cumulated vsize: 83808 KiB
Current children cumulated memory: 40444 KiB

[startup+70.6001 s]
/proc/loadavg: 3.46 2.96 3.27 5/272 15639
/proc/meminfo: memFree=129005612/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79616 memory=37500 CPUtime=70.07 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 5924 0 0 0 6891 116 0 0 20 0 1 0 31234365 81526784 9375 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19904 9375 2464 1147 0 7331 0
Current children cumulated CPU time: 70.07 s
Current children cumulated vsize: 83808 KiB
Current children cumulated memory: 40572 KiB

[startup+70.7001 s]
/proc/loadavg: 3.46 2.96 3.27 5/272 15639
/proc/meminfo: memFree=129005612/131249988 swapFree=33010684/33010684
[pid=15444] ppid=15441 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/15444/stat : 15444 (run-dec-break-l) S 15441 15444 15084 0 -1 4194304 242 421 0 0 0 0 0 0 20 0 1 0 31234364 4292608 768 18446744073709551615 94649032392704 94649033287237 140729262522720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94649033526288 94649033574032 94649050640384 140729262528789 140729262528990 140729262528990 140729262534592 0
/proc/15444/statm: 1048 768 704 219 0 110 0
[pid=15447] ppid=15444 vsize=79948 memory=37756 CPUtime=70.17 cores=5,7
/proc/15447/stat : 15447 (roundingsat) R 15444 15444 15084 0 -1 4194304 6010 0 0 0 6901 116 0 0 20 0 1 0 31234365 81866752 9439 18446744073709551615 4227072 8923433 140729788672976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37027840 140729788680436 140729788680744 140729788680744 140729788686314 0
/proc/15447/statm: 19987 9439 2464 1147 0 7414 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 40828 KiB

Child status: 0

Real time (s): 70.7681
CPU time (s): 70.2317
CPU user time (s): 69.0539
CPU system time (s): 1.17779
CPU usage (%): 99.2421
Max. virtual memory (cumulated for all children) (KiB): 84140
Max. memory (cumulated for all children) (KiB): 40828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.0539
system time used= 1.17779
maximum resident set size= 38140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 526816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 655
involuntary context switches= 436


# summary of solver processes directly reported to runsolver:
#   pid: 15444
#   total CPU time (s): 70.2317
#   total CPU user time (s): 69.0539
#   total CPU system time (s): 1.17779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172968 second user time and 0.301521 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-29 02:05:58
IDJOB=4493521
IDBENCH=147865
IDSOLVER=3358
FILE ID=nodeC031/4493521-1751155558
RUNJOBID= nodeC031-1751155546-15097
SLURM_JOB_ID= 9587472
Free space on /tmp= 433028 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493521-1751155558/watcher-4493521-1751155558 -o /tmp/evaluation-result-4493521-1751155558/solver-4493521-1751155558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493521-1751155558.opb PROOFDIR/proof-4493521-1751155558

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

MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c
RANDOM SEED=894132806

nodeC031 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.878
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.78
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.889
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.78
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		: 3602.986
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.78
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		: 3438.875
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.78
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.890
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.78
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.884
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.78
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		: 3580.081
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.78
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		: 3471.056
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129982928 kB
MemAvailable:   129640488 kB
Buffers:            3280 kB
Cached:           469000 kB
SwapCached:            0 kB
Active:           426860 kB
Inactive:         249948 kB
Active(anon):     222624 kB
Inactive(anon):        0 kB
Active(file):     204236 kB
Inactive(file):   249948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52656 kB
Writeback:             0 kB
AnonPages:        207724 kB
Mapped:           116016 kB
Shmem:             18064 kB
KReclaimable:      85228 kB
Slab:             170628 kB
SReclaimable:      85228 kB
SUnreclaim:        85400 kB
KernelStack:        4336 kB
PageTables:         3580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     548012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC031 at 2025-06-29 02:07:09