Trace number 4520942

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adOPT-540 744.302 746.684

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
MD5SUM84fd44c84eee80e386362762f3a8050d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-540
Best CPU time to get the best result obtained on this benchmark36.5516
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1081
Total number of constraints64860
Number of constraints which are clauses64860
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 883
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 883
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 883
Number of bits of the biggest sum of numbers10
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4520942-1751563170.opb'
0.00/0.09	c 	read 2.03MB  (77.98ms)
0.00/0.09	c	 [cnf: #variables 1081 #clauses 64861 #duplicates 0 #arr 195463]
0.00/0.09	c 
0.00/0.09	c make graph and approximate orbits
0.08/0.13	c	 [group: #orbits ~= 10] (37.19ms)
0.08/0.13	c 
0.08/0.13	c detect special group actions
0.08/0.13	c 	probe for Johnson action (limit=64)
0.08/0.18	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.22	c 	probe for row symmetry (limit=64, splits=16.78M)
0.20/0.26	c 	 (123.23ms)
0.20/0.26	c 
0.20/0.26	c detect symmetries on remainder
0.20/0.26	c 	[graph: #vertices 69185 #edges 397412]
0.20/0.26	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.77	c 	 [group: #symmetries 7.55*10^30 #generators 13] (518.75ms)
0.67/0.77	c 
0.67/0.77	c optimize generators (opt_passes=64, conjugate_limit=256)
0.67/0.78	c 	opt it=15, l=413, m=158, opt=28, avg=880, b=180, gens=13
0.67/0.78	c 	opt it=31, l=733, m=270, opt=46, avg=799, b=180, gens=13
0.67/0.79	c 	opt it=47, l=1043, m=349, opt=52, avg=769, b=180, gens=13
0.67/0.79	c 	ran it=0, +gens=13 
0.77/0.86	c 	con best_support=180, best_gens=3, +gens=254
0.77/0.86	c 	(88.41ms)
0.77/0.86	c 
0.77/0.86	c finalize break order and special generators
0.77/0.86	c 
0.77/0.86	c add generic predicates (break_depth=20)
0.77/0.87	c 	added predicates for 280 generators (3.64ms)
0.77/0.87	c 
0.77/0.87	c generation finished
0.77/0.87	c 	[sbp: #constraints 16240 #add_vars 5320]
0.77/0.87	c 
0.77/0.87	c write result to 'HOME/instance-4520942-1751563170.opb.pre'
0.77/0.88	c 	wrote 2.64MB (9.37ms)
0.77/0.88	c ------------------------------------------------------------------
0.77/0.88	c                 518.75ms 60.31% detect_generic
0.77/0.88	c                 123.23ms 14.33% detect_special
0.77/0.88	c                  88.41ms 10.28% optimize_gens
0.77/0.88	c                  77.97ms  9.07% parse
0.77/0.88	c                  37.19ms  4.32% approx_orbits
0.77/0.88	c                   9.37ms  1.09% output
0.77/0.88	c                   3.64ms  0.42% break_generic
0.77/0.88	c                   0.97ms  0.11% other
0.77/0.88	c                   0.54ms  0.06% finalize_order
0.77/0.88	c         ───────────────────────────────────────────────
0.77/0.88	c                 860.08ms   100% total
0.77/0.88	c ------------------------------------------------------------------
0.86/0.90	c RoundingSat 2
0.86/0.90	c branch pb25
0.86/0.90	c commit 63f22ad
1.63/1.74	c #variables 6401 #constraints 81100
1.63/1.74	c objective is ce32 
1.94/2.00	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.94/2.00	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.94/2.00	c bounds 0 >= -883 @ 0.873543
5.61/5.75	c bounds -38 >= -883 @ 4.57038
9.30/9.46	c bounds -38 >= -882 @ 8.25693
19.08/19.21	c bounds -38 >= -881 @ 17.9479
34.94/35.12	c rational objective -588.667
35.32/35.52	c bounds -38 >= -880 @ 34.1442
35.32/35.52	c bounds -38 >= -879 @ 34.1444
35.32/35.52	c bounds -38 >= -878 @ 34.1445
35.32/35.52	c bounds -38 >= -877 @ 34.1447
35.32/35.52	c bounds -38 >= -876 @ 34.1448
35.32/35.52	c bounds -38 >= -875 @ 34.145
35.32/35.52	c bounds -38 >= -874 @ 34.1451
35.32/35.52	c bounds -38 >= -873 @ 34.1456
35.32/35.52	c bounds -38 >= -872 @ 34.1459
35.32/35.52	c bounds -38 >= -871 @ 34.146
35.32/35.52	c bounds -38 >= -870 @ 34.1461
35.32/35.52	c bounds -38 >= -869 @ 34.1463
35.32/35.52	c bounds -38 >= -868 @ 34.1465
35.32/35.52	c bounds -38 >= -867 @ 34.1467
35.32/35.52	c bounds -38 >= -866 @ 34.147
35.32/35.52	c bounds -38 >= -865 @ 34.1473
35.32/35.52	c bounds -38 >= -864 @ 34.1474
35.32/35.52	c bounds -38 >= -863 @ 34.1476
35.32/35.52	c bounds -38 >= -862 @ 34.1477
35.32/35.52	c bounds -38 >= -861 @ 34.1479
35.32/35.52	c bounds -38 >= -860 @ 34.148
35.32/35.52	c bounds -38 >= -859 @ 34.1482
35.32/35.52	c bounds -38 >= -858 @ 34.1483
35.32/35.52	c bounds -38 >= -857 @ 34.1484
35.32/35.52	c bounds -38 >= -856 @ 34.1489
35.32/35.52	c bounds -38 >= -855 @ 34.1491
35.32/35.52	c bounds -38 >= -854 @ 34.1493
35.32/35.52	c bounds -38 >= -853 @ 34.1495
35.32/35.52	c bounds -38 >= -852 @ 34.1496
35.32/35.52	c bounds -38 >= -851 @ 34.1498
35.32/35.52	c bounds -38 >= -850 @ 34.15
35.32/35.52	c bounds -38 >= -849 @ 34.1501
35.32/35.52	c bounds -38 >= -848 @ 34.1504
35.32/35.52	c bounds -38 >= -847 @ 34.1506
35.32/35.52	c bounds -38 >= -846 @ 34.1509
35.32/35.52	c bounds -38 >= -845 @ 34.151
35.32/35.52	c bounds -38 >= -844 @ 34.1512
35.32/35.52	c bounds -38 >= -843 @ 34.1513
35.32/35.52	c bounds -38 >= -842 @ 34.1515
35.32/35.52	c bounds -38 >= -841 @ 34.1516
35.32/35.52	c bounds -38 >= -840 @ 34.1517
35.32/35.52	c bounds -38 >= -839 @ 34.1519
35.32/35.52	c bounds -38 >= -838 @ 34.152
35.32/35.52	c bounds -38 >= -837 @ 34.1523
35.32/35.52	c bounds -38 >= -836 @ 34.1525
35.32/35.52	c bounds -38 >= -835 @ 34.1526
35.32/35.53	c bounds -38 >= -834 @ 34.1528
35.32/35.53	c bounds -38 >= -833 @ 34.153
35.32/35.53	c bounds -38 >= -832 @ 34.1531
35.32/35.53	c bounds -38 >= -831 @ 34.1533
35.32/35.53	c bounds -38 >= -830 @ 34.1535
35.32/35.53	c bounds -38 >= -829 @ 34.1539
35.32/35.53	c bounds -38 >= -828 @ 34.1541
35.32/35.53	c bounds -38 >= -827 @ 34.1542
35.32/35.53	c bounds -38 >= -826 @ 34.1543
35.32/35.53	c bounds -38 >= -825 @ 34.1545
35.32/35.53	c bounds -38 >= -824 @ 34.1546
35.32/35.53	c bounds -38 >= -823 @ 34.1548
35.32/35.53	c bounds -38 >= -822 @ 34.1549
35.32/35.53	c bounds -38 >= -821 @ 34.155
35.32/35.53	c bounds -38 >= -820 @ 34.1552
35.32/35.53	c bounds -38 >= -819 @ 34.1553
35.32/35.53	c bounds -38 >= -818 @ 34.1554
35.32/35.53	c bounds -38 >= -817 @ 34.1555
35.32/35.53	c bounds -38 >= -816 @ 34.1556
35.32/35.53	c bounds -38 >= -815 @ 34.1562
35.32/35.53	c bounds -38 >= -814 @ 34.1564
35.32/35.54	c bounds -74 >= -814 @ 34.1639
35.32/35.54	c bounds -74 >= -813 @ 34.1646
35.32/35.54	c bounds -74 >= -812 @ 34.1648
35.32/35.54	c bounds -74 >= -811 @ 34.1649
35.32/35.54	c bounds -74 >= -810 @ 34.1651
35.32/35.54	c bounds -74 >= -809 @ 34.1652
35.32/35.54	c bounds -74 >= -808 @ 34.1653
35.32/35.54	c bounds -74 >= -807 @ 34.1655
35.32/35.54	c bounds -74 >= -806 @ 34.1656
35.32/35.54	c bounds -74 >= -805 @ 34.1659
35.32/35.54	c bounds -74 >= -804 @ 34.1662
35.32/35.54	c bounds -74 >= -803 @ 34.1663
35.32/35.54	c bounds -74 >= -802 @ 34.1665
35.32/35.54	c bounds -74 >= -801 @ 34.1666
35.32/35.54	c bounds -74 >= -800 @ 34.1667
35.32/35.54	c bounds -74 >= -799 @ 34.1668
35.32/35.54	c bounds -74 >= -798 @ 34.167
35.32/35.54	c bounds -74 >= -797 @ 34.1674
35.32/35.54	c bounds -74 >= -796 @ 34.1675
35.32/35.54	c bounds -74 >= -795 @ 34.1676
35.32/35.54	c bounds -74 >= -794 @ 34.1678
35.32/35.54	c bounds -74 >= -793 @ 34.1679
35.32/35.54	c bounds -74 >= -792 @ 34.1681
35.32/35.54	c bounds -74 >= -791 @ 34.1682
35.32/35.54	c bounds -74 >= -790 @ 34.1683
35.32/35.54	c bounds -74 >= -789 @ 34.1685
35.32/35.54	c bounds -74 >= -788 @ 34.1686
35.32/35.54	c bounds -74 >= -787 @ 34.1688
35.32/35.54	c bounds -74 >= -786 @ 34.1692
35.32/35.54	c bounds -74 >= -785 @ 34.1693
35.32/35.54	c bounds -74 >= -784 @ 34.1694
35.32/35.54	c bounds -74 >= -783 @ 34.1696
35.32/35.54	c bounds -74 >= -782 @ 34.1698
35.32/35.54	c bounds -74 >= -781 @ 34.1701
35.32/35.54	c bounds -74 >= -780 @ 34.1701
35.32/35.54	c bounds -74 >= -779 @ 34.1701
35.32/35.54	c bounds -74 >= -778 @ 34.1701
35.32/35.54	c bounds -74 >= -777 @ 34.1701
35.32/35.54	c bounds -74 >= -776 @ 34.1701
35.32/35.54	c bounds -74 >= -775 @ 34.1701
35.32/35.54	c bounds -74 >= -774 @ 34.1701
35.32/35.54	c bounds -74 >= -773 @ 34.1703
35.32/35.54	c bounds -74 >= -772 @ 34.1706
35.32/35.54	c bounds -74 >= -771 @ 34.1708
35.32/35.54	c bounds -74 >= -770 @ 34.1709
35.32/35.54	c bounds -74 >= -769 @ 34.1711
35.32/35.54	c bounds -74 >= -768 @ 34.1713
35.32/35.54	c bounds -74 >= -767 @ 34.1715
35.32/35.55	c bounds -74 >= -766 @ 34.1718
35.32/35.55	c bounds -74 >= -765 @ 34.1719
35.32/35.55	c bounds -74 >= -764 @ 34.1722
35.32/35.55	c bounds -74 >= -763 @ 34.1724
35.32/35.55	c bounds -74 >= -762 @ 34.1726
35.32/35.55	c bounds -74 >= -761 @ 34.1727
35.32/35.55	c bounds -74 >= -760 @ 34.1728
35.32/35.55	c bounds -74 >= -759 @ 34.1729
35.32/35.55	c bounds -74 >= -758 @ 34.1731
35.32/35.55	c bounds -74 >= -757 @ 34.1732
35.32/35.55	c bounds -74 >= -756 @ 34.1734
35.32/35.55	c bounds -74 >= -755 @ 34.1736
35.32/35.55	c bounds -74 >= -754 @ 34.1737
35.32/35.55	c bounds -74 >= -753 @ 34.1738
35.32/35.55	c bounds -110 >= -753 @ 34.178
35.32/35.55	c bounds -110 >= -752 @ 34.1782
35.32/35.55	c bounds -110 >= -751 @ 34.1784
35.32/35.55	c bounds -110 >= -750 @ 34.1797
35.32/35.55	c bounds -110 >= -749 @ 34.1799
35.32/35.55	c bounds -110 >= -748 @ 34.1801
35.32/35.55	c bounds -110 >= -747 @ 34.1802
35.32/35.55	c bounds -110 >= -746 @ 34.1804
35.32/35.55	c bounds -110 >= -745 @ 34.1805
35.32/35.56	c bounds -110 >= -744 @ 34.1807
35.32/35.56	c bounds -110 >= -743 @ 34.1808
35.32/35.56	c bounds -110 >= -742 @ 34.181
35.32/35.56	c bounds -110 >= -741 @ 34.1811
35.32/35.56	c bounds -110 >= -740 @ 34.1812
35.32/35.56	c bounds -110 >= -739 @ 34.1814
35.32/35.56	c bounds -110 >= -738 @ 34.1816
35.32/35.56	c bounds -110 >= -737 @ 34.1817
35.32/35.56	c bounds -110 >= -736 @ 34.182
35.32/35.56	c bounds -110 >= -735 @ 34.1823
35.32/35.56	c bounds -110 >= -734 @ 34.1827
35.32/35.56	c bounds -110 >= -733 @ 34.1829
35.32/35.56	c bounds -110 >= -732 @ 34.1831
35.32/35.56	c bounds -142 >= -732 @ 34.187
35.32/35.56	c bounds -142 >= -731 @ 34.1874
35.32/35.56	c bounds -142 >= -730 @ 34.1875
35.32/35.56	c bounds -142 >= -729 @ 34.1877
35.32/35.56	c bounds -142 >= -728 @ 34.1878
35.32/35.56	c bounds -142 >= -727 @ 34.188
35.32/35.56	c bounds -142 >= -726 @ 34.1882
35.32/35.56	c bounds -142 >= -725 @ 34.1884
35.32/35.56	c bounds -142 >= -724 @ 34.1885
35.32/35.56	c bounds -142 >= -723 @ 34.1887
35.32/35.56	c bounds -142 >= -722 @ 34.1889
35.32/35.56	c bounds -142 >= -721 @ 34.1891
35.32/35.56	c bounds -142 >= -720 @ 34.1895
35.32/35.56	c bounds -142 >= -719 @ 34.1896
35.32/35.57	c bounds -142 >= -718 @ 34.1898
35.32/35.57	c bounds -142 >= -717 @ 34.1901
35.32/35.57	c bounds -142 >= -716 @ 34.1902
35.32/35.57	c bounds -142 >= -715 @ 34.1904
35.32/35.57	c bounds -142 >= -714 @ 34.1906
35.32/35.57	c bounds -142 >= -713 @ 34.1911
35.32/35.57	c bounds -142 >= -712 @ 34.1913
35.32/35.57	c bounds -142 >= -711 @ 34.1915
35.32/35.57	c bounds -142 >= -710 @ 34.1916
35.32/35.57	c bounds -142 >= -709 @ 34.1918
35.32/35.57	c bounds -142 >= -708 @ 34.1921
35.32/35.57	c bounds -142 >= -707 @ 34.1924
35.32/35.57	c bounds -142 >= -706 @ 34.1926
35.32/35.57	c bounds -142 >= -705 @ 34.1928
35.32/35.57	c bounds -142 >= -704 @ 34.193
35.32/35.57	c bounds -142 >= -703 @ 34.1933
35.32/35.57	c bounds -200 >= -703 @ 34.198
35.32/35.57	c bounds -200 >= -702 @ 34.1986
35.32/35.57	c bounds -200 >= -701 @ 34.1989
35.32/35.57	c bounds -200 >= -700 @ 34.1991
35.32/35.57	c bounds -200 >= -699 @ 34.1994
35.32/35.57	c bounds -200 >= -698 @ 34.1996
35.32/35.58	c bounds -200 >= -697 @ 34.1998
35.32/35.58	c bounds -200 >= -696 @ 34.2002
35.32/35.58	c bounds -200 >= -695 @ 34.2004
35.32/35.58	c bounds -200 >= -694 @ 34.2006
35.32/35.58	c bounds -200 >= -693 @ 34.2008
35.32/35.58	c bounds -200 >= -692 @ 34.201
35.32/35.58	c bounds -200 >= -691 @ 34.2013
35.32/35.58	c bounds -200 >= -690 @ 34.2015
35.32/35.58	c bounds -200 >= -689 @ 34.2017
35.32/35.58	c bounds -287 >= -689 @ 34.2065
35.32/35.58	c bounds -287 >= -688 @ 34.207
35.32/35.58	c bounds -287 >= -687 @ 34.2074
35.32/35.58	c bounds -287 >= -686 @ 34.2076
35.32/35.58	c bounds -287 >= -685 @ 34.2078
35.32/35.58	c bounds -287 >= -684 @ 34.2083
35.32/35.58	c bounds -287 >= -683 @ 34.2085
35.32/35.58	c bounds -287 >= -682 @ 34.2089
35.32/35.58	c bounds -287 >= -681 @ 34.2089
35.32/35.59	c bounds -287 >= -680 @ 34.2089
35.32/35.59	c bounds -287 >= -679 @ 34.2093
35.32/35.59	c bounds -316 >= -679 @ 34.2136
35.32/35.59	c bounds -316 >= -678 @ 34.2152
35.32/35.59	c bounds -316 >= -677 @ 34.2157
35.32/35.59	c bounds -316 >= -676 @ 34.2161
35.32/35.59	c bounds -316 >= -675 @ 34.2165
35.43/35.60	c bounds -374 >= -675 @ 34.2215
35.43/35.60	c bounds -374 >= -674 @ 34.2227
35.43/35.60	c bounds -374 >= -673 @ 34.2233
35.43/35.60	c bounds -374 >= -672 @ 34.2237
35.43/35.60	c bounds -374 >= -671 @ 34.2243
35.43/35.61	c bounds -387 >= -671 @ 34.2338
35.43/35.61	c bounds -387 >= -670 @ 34.2348
35.43/35.61	c bounds -387 >= -669 @ 34.2351
35.43/35.61	c bounds -387 >= -668 @ 34.2363
35.43/35.61	c bounds -387 >= -667 @ 34.2368
35.43/35.61	c bounds -387 >= -666 @ 34.2371
35.43/35.62	c bounds -387 >= -665 @ 34.2386
35.43/35.62	c bounds -387 >= -664 @ 34.2393
35.43/35.62	c bounds -387 >= -663 @ 34.2399
35.43/35.62	c bounds -387 >= -662 @ 34.2421
35.43/35.63	c bounds -426 >= -662 @ 34.2492
35.43/35.63	c bounds -426 >= -661 @ 34.2524
35.43/35.63	c bounds -426 >= -660 @ 34.253
35.43/35.63	c bounds -426 >= -659 @ 34.2541
35.43/35.65	c bounds -436 >= -659 @ 34.2667
35.43/35.65	c bounds -436 >= -658 @ 34.2671
35.43/35.65	c bounds -436 >= -657 @ 34.2704
35.43/35.65	c bounds -436 >= -656 @ 34.2737
35.43/35.66	c bounds -436 >= -655 @ 34.2747
35.43/35.66	c bounds -447 >= -655 @ 34.2815
35.43/35.67	c bounds -447 >= -654 @ 34.2827
35.43/35.67	c bounds -447 >= -653 @ 34.2855
35.43/35.67	c bounds -451 >= -653 @ 34.2907
35.43/35.68	c bounds -451 >= -652 @ 34.2987
35.43/35.69	c bounds -453 >= -652 @ 34.3056
35.53/35.72	c bounds -466 >= -652 @ 34.3348
35.53/35.72	c bounds -466 >= -651 @ 34.3382
35.53/35.73	c bounds -466 >= -650 @ 34.3398
35.53/35.73	c bounds -466 >= -649 @ 34.3429
35.53/35.73	c bounds -466 >= -648 @ 34.3454
35.53/35.74	c bounds -471 >= -648 @ 34.3508
35.53/35.74	c bounds -471 >= -647 @ 34.3561
35.53/35.75	c bounds -476 >= -647 @ 34.3616
35.53/35.75	c bounds -476 >= -646 @ 34.3648
35.53/35.76	c bounds -481 >= -646 @ 34.369
35.53/35.76	c bounds -481 >= -645 @ 34.3729
35.53/35.77	c bounds -486 >= -645 @ 34.378
35.53/35.77	c bounds -486 >= -644 @ 34.3827
35.63/35.87	c bounds -492 >= -644 @ 34.4844
35.63/35.88	c bounds -492 >= -643 @ 34.4931
35.63/35.89	c bounds -492 >= -642 @ 34.5032
35.73/35.90	c bounds -492 >= -641 @ 34.5094
35.73/35.91	c bounds -492 >= -640 @ 34.5168
35.73/35.92	c bounds -492 >= -639 @ 34.528
35.73/35.94	c bounds -498 >= -639 @ 34.5533
35.73/35.96	c bounds -498 >= -638 @ 34.5707
35.84/36.02	c bounds -507 >= -638 @ 34.6293
35.84/36.04	c bounds -507 >= -637 @ 34.6448
35.84/36.05	c bounds -515 >= -637 @ 34.6559
35.84/36.07	c #Conflicts:       1000 | #Constraints:      84204
35.84/36.07	c bounds -515 >= -636 @ 34.6804
35.93/36.13	c bounds -519 >= -636 @ 34.7379
35.93/36.18	c bounds -523 >= -636 @ 34.7829
36.02/36.23	c bounds -523 >= -635 @ 34.8406
36.52/36.74	c bounds -540 >= -635 @ 35.3489
36.62/36.80	c bounds -540 >= -634 @ 35.4032
65.23/65.59	c #Conflicts:       2000 | #Constraints:      85408
65.23/65.59	c INPROCESSING
65.23/65.59	c GARBAGE COLLECT
65.23/65.59	c bounds -540 >= -633 @ 64.0149
65.33/65.69	c bounds -540 >= -632 @ 64.1189
67.42/67.70	c #Conflicts:       3000 | #Constraints:      84730
67.42/67.70	c #Conflicts:       4000 | #Constraints:      85730
67.42/67.70	c INPROCESSING
67.42/67.70	c GARBAGE COLLECT
67.42/67.70	c bounds -540 >= -631 @ 66.1107
67.52/67.85	c #Conflicts:       5000 | #Constraints:      84863
67.52/67.85	c bounds -540 >= -630 @ 66.2589
67.62/67.94	c bounds -540 >= -629 @ 66.3456
67.74/68.09	c bounds -540 >= -628 @ 66.4873
67.84/68.19	c #Conflicts:       6000 | #Constraints:      86013
67.84/68.19	c bounds -540 >= -627 @ 66.5879
68.02/68.31	c bounds -540 >= -626 @ 66.7127
68.22/68.50	c INPROCESSING
68.22/68.50	c #Conflicts:       7000 | #Constraints:      84807
68.22/68.50	c bounds -540 >= -625 @ 66.9002
70.62/70.91	c #Conflicts:       8000 | #Constraints:      85873
70.62/70.91	c #Conflicts:       9000 | #Constraints:      86873
70.62/70.91	c INPROCESSING
70.62/70.91	c GARBAGE COLLECT
70.62/70.91	c bounds -540 >= -624 @ 69.2849
70.73/71.06	c #Conflicts:      10000 | #Constraints:      85589
70.73/71.06	c bounds -540 >= -623 @ 69.4324
70.83/71.19	c bounds -540 >= -622 @ 69.5518
71.11/71.42	c #Conflicts:      11000 | #Constraints:      86664
71.11/71.42	c bounds -540 >= -621 @ 69.7895
71.41/71.78	c #Conflicts:      12000 | #Constraints:      87718
71.41/71.78	c INPROCESSING
71.41/71.78	c bounds -540 >= -620 @ 70.1375
71.61/71.99	c bounds -540 >= -619 @ 70.3455
71.91/72.29	c #Conflicts:      13000 | #Constraints:      86147
71.91/72.29	c bounds -540 >= -618 @ 70.6461
74.10/74.46	c #Conflicts:      14000 | #Constraints:      87180
74.10/74.46	c #Conflicts:      15000 | #Constraints:      88180
74.10/74.46	c INPROCESSING
74.10/74.46	c GARBAGE COLLECT
74.10/74.46	c #Conflicts:      16000 | #Constraints:      86360
74.10/74.46	c bounds -540 >= -617 @ 72.7916
81.08/81.43	c #Conflicts:      17000 | #Constraints:      87462
81.08/81.43	c #Conflicts:      18000 | #Constraints:      88462
81.08/81.43	c INPROCESSING
81.08/81.43	c GARBAGE COLLECT
81.08/81.43	c #Conflicts:      19000 | #Constraints:      86444
81.08/81.43	c bounds -540 >= -616 @ 79.7144
81.48/81.89	c #Conflicts:      20000 | #Constraints:      87504
81.48/81.89	c bounds -540 >= -615 @ 80.1633
193.03/193.75	c #Conflicts:      21000 | #Constraints:      88555
193.03/193.75	c INPROCESSING
193.03/193.75	c GARBAGE COLLECT
193.03/193.75	c #Conflicts:      22000 | #Constraints:      86204
193.03/193.75	c #Conflicts:      23000 | #Constraints:      87204
193.03/193.75	c #Conflicts:      24000 | #Constraints:      88204
193.03/193.75	c #Conflicts:      25000 | #Constraints:      89204
193.03/193.75	c #Conflicts:      26000 | #Constraints:      90205
193.03/193.75	c #Conflicts:      27000 | #Constraints:      91205
193.03/193.75	c #Conflicts:      28000 | #Constraints:      92206
193.03/193.75	c #Conflicts:      29000 | #Constraints:      93206
193.03/193.75	c #Conflicts:      30000 | #Constraints:      94206
193.03/193.75	c #Conflicts:      31000 | #Constraints:      95207
193.03/193.75	c #Conflicts:      32000 | #Constraints:      96207
193.03/193.75	c #Conflicts:      33000 | #Constraints:      97208
193.03/193.75	c INPROCESSING
193.03/193.75	c GARBAGE COLLECT
193.03/193.75	c rational objective -583
194.22/194.91	c #Conflicts:      34000 | #Constraints:      90289
194.22/194.91	c bounds -540 >= -614 @ 192.56
199.91/200.62	c bounds -540 >= -613 @ 198.237
200.32/201.06	c #Conflicts:      35000 | #Constraints:      91386
200.32/201.06	c bounds -540 >= -612 @ 198.675
200.70/201.48	c #Conflicts:      36000 | #Constraints:      92425
200.70/201.48	c bounds -540 >= -611 @ 199.087
201.10/201.85	c #Conflicts:      37000 | #Constraints:      93461
201.10/201.85	c bounds -540 >= -610 @ 199.453
201.80/202.50	c #Conflicts:      38000 | #Constraints:      94497
201.80/202.50	c INPROCESSING
201.80/202.50	c GARBAGE COLLECT
201.80/202.50	c bounds -540 >= -609 @ 200.092
207.49/208.21	c #Conflicts:      39000 | #Constraints:      89366
207.49/208.21	c bounds -540 >= -608 @ 205.768
207.88/208.67	c #Conflicts:      40000 | #Constraints:      90408
207.88/208.67	c bounds -540 >= -607 @ 206.229
208.58/209.33	c #Conflicts:      41000 | #Constraints:      91447
208.58/209.33	c bounds -540 >= -606 @ 206.884
209.29/210.03	c #Conflicts:      42000 | #Constraints:      92492
209.29/210.03	c INPROCESSING
209.29/210.03	c GARBAGE COLLECT
209.29/210.03	c #Conflicts:      43000 | #Constraints:      87775
209.29/210.03	c bounds -540 >= -605 @ 207.572
216.75/217.58	WSVECS04 Frhs2[16]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[17]: 6 0 1.00003 shouldn't be
216.75/217.58	WSVECS04 Frhs2[21]: 6 0 1.00003 shouldn't be
216.75/217.58	WSVECS04 Frhs2[22]: 6 0 1.00008 shouldn't be
216.75/217.58	WSVECS04 Frhs2[23]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[27]: 6 0 1.00006 shouldn't be
216.75/217.58	WSVECS04 Frhs2[42]: 6 0 1.00007 shouldn't be
216.75/217.58	WSVECS04 Frhs2[620]: 6 0 1.00008 shouldn't be
216.75/217.58	WSVECS04 Frhs2[621]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[622]: 6 0 1.00006 shouldn't be
216.75/217.58	WSVECS04 Frhs2[623]: 6 0 1.00003 shouldn't be
216.75/217.58	WSVECS04 Frhs2[625]: 6 0 1.00003 shouldn't be
216.75/217.58	WSVECS04 Frhs2[626]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[627]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[628]: 6 0 1.00008 shouldn't be
216.75/217.58	WSVECS04 Frhs2[642]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[644]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[645]: 6 0 1.00007 shouldn't be
216.75/217.58	WSVECS04 Frhs2[649]: 6 0 1.00008 shouldn't be
216.75/217.58	WSVECS04 Frhs2[650]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[651]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[652]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[654]: 6 0 1.00006 shouldn't be
216.75/217.58	WSVECS04 Frhs2[655]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[656]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[657]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[671]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[673]: 6 0 1.0001 shouldn't be
216.75/217.58	WSVECS04 Frhs2[752]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[777]: 6 0 1.00009 shouldn't be
216.75/217.58	WSVECS04 Frhs2[779]: 6 0 1.00004 shouldn't be
216.75/217.58	WSVECS04 Frhs2[780]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[801]: 6 0 1.00004 shouldn't be
216.75/217.58	WSVECS04 Frhs2[803]: 6 0 1.00007 shouldn't be
216.75/217.58	WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be
216.75/217.58	WSVECS04 Frhs2[824]: 6 0 1.00007 shouldn't be
216.75/217.58	WSVECS04 Frhs2[826]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[827]: 6 0 1.0001 shouldn't be
216.75/217.58	WSVECS04 Frhs2[867]: 6 0 1.00002 shouldn't be
216.75/217.58	WSVECS04 Frhs2[887]: 6 0 1.00005 shouldn't be
216.75/217.58	WSVECS04 Frhs2[889]: 6 0 1.00003 shouldn't be
216.75/217.58	WSVECS04 Frhs2[890]: 6 0 1.00001 shouldn't be
216.75/217.58	WSVECS04 Frhs2[906]: 6 0 1.00004 shouldn't be
216.75/217.58	WSVECS04 Frhs2[908]: 6 0 1.00007 shouldn't be
216.75/217.58	WSVECS04 Frhs2[909]: 6 0 1.00006 shouldn't be
216.75/217.58	WSVECS04 Frhs2[924]: 6 0 1.00007 shouldn't be
221.83/222.65	c #Conflicts:      44000 | #Constraints:      88818
221.83/222.65	c bounds -540 >= -604 @ 220.115
222.64/223.44	c #Conflicts:      45000 | #Constraints:      89902
222.64/223.44	c #Conflicts:      46000 | #Constraints:      90902
222.64/223.44	c bounds -540 >= -603 @ 220.9
223.43/224.24	c #Conflicts:      47000 | #Constraints:      91926
223.43/224.24	c bounds -540 >= -602 @ 221.688
224.34/225.15	c #Conflicts:      48000 | #Constraints:      92956
224.34/225.15	c INPROCESSING
224.34/225.15	c GARBAGE COLLECT
224.34/225.15	c #Conflicts:      49000 | #Constraints:      88666
224.34/225.15	c bounds -540 >= -601 @ 222.594
225.24/226.08	c #Conflicts:      50000 | #Constraints:      89741
225.24/226.08	c #Conflicts:      51000 | #Constraints:      90741
225.24/226.08	c bounds -540 >= -600 @ 223.515
232.21/233.05	c #Conflicts:      52000 | #Constraints:      91813
232.21/233.05	c bounds -540 >= -599 @ 230.44
233.60/234.46	c #Conflicts:      53000 | #Constraints:      92844
233.60/234.46	c #Conflicts:      54000 | #Constraints:      93844
233.60/234.46	c #Conflicts:      55000 | #Constraints:      94844
233.60/234.46	c bounds -540 >= -598 @ 231.842
234.60/235.49	c #Conflicts:      56000 | #Constraints:      95871
234.60/235.49	c bounds -540 >= -597 @ 232.852
241.29/242.15	c #Conflicts:      57000 | #Constraints:      96901
241.29/242.15	c #Conflicts:      58000 | #Constraints:      97901
241.29/242.15	c bounds -540 >= -596 @ 239.468
242.37/243.24	c #Conflicts:      59000 | #Constraints:      98923
242.37/243.24	c #Conflicts:      60000 | #Constraints:      99923
242.37/243.24	c bounds -540 >= -595 @ 240.547
243.67/244.56	c #Conflicts:      61000 | #Constraints:     100971
243.67/244.56	c #Conflicts:      62000 | #Constraints:     101971
243.67/244.56	c bounds -540 >= -594 @ 241.847
253.84/254.79	c #Conflicts:      63000 | #Constraints:     103007
253.84/254.79	c #Conflicts:      64000 | #Constraints:     104007
253.84/254.79	WSVECS04 Frhs2[31]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[32]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[33]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[34]: 6 0 1.00007 shouldn't be
253.84/254.79	WSVECS04 Frhs2[36]: 6 0 1.00005 shouldn't be
253.84/254.79	WSVECS04 Frhs2[37]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[45]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[562]: 6 0 1.00005 shouldn't be
253.84/254.79	WSVECS04 Frhs2[563]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[564]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[565]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[567]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[593]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[594]: 6 0 1.00001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[595]: 6 0 1.00005 shouldn't be
253.84/254.79	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[598]: 6 0 1.00007 shouldn't be
253.84/254.79	WSVECS04 Frhs2[620]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[621]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[622]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[623]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[625]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[626]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[628]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[707]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[708]: 6 0 1.0001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[709]: 6 0 1.0001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[710]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[712]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[968]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[969]: 6 0 1.00007 shouldn't be
253.84/254.79	WSVECS04 Frhs2[971]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[973]: 6 0 1.00007 shouldn't be
253.84/254.79	WSVECS04 Frhs2[974]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[975]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[983]: 6 0 1.00001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[985]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[986]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[987]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[995]: 6 0 1.0001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[996]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[998]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[999]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1000]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1001]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1002]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1007]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1008]: 6 0 1.00008 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1010]: 6 0 1.00009 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1011]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1012]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1013]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1014]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1025]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1028]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1029]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1031]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1033]: 6 0 1.0001 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1034]: 6 0 1.00006 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1035]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1036]: 6 0 1.00002 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1037]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1041]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1043]: 6 0 1.00003 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1044]: 6 0 1.00004 shouldn't be
253.84/254.79	WSVECS04 Frhs2[1045]: 6 0 1.00008 shouldn't be
267.69/268.66	WSVECS04 Frhs2[624]: 6 0 1.00006 shouldn't be
267.69/268.66	WSVECS04 Frhs2[976]: 6 0 1.00004 shouldn't be
267.69/268.66	WSVECS04 Frhs2[989]: 6 0 1.00004 shouldn't be
267.69/268.66	WSVECS04 Frhs2[990]: 6 0 1.00003 shouldn't be
267.69/268.66	WSVECS04 Frhs2[1015]: 6 0 1.00001 shouldn't be
267.69/268.66	WSVECS04 Frhs2[1032]: 6 0 1.00003 shouldn't be
267.69/268.66	WSVECS04 Frhs2[1038]: 6 0 1.00009 shouldn't be
267.69/268.66	WSVECS04 Frhs2[1040]: 6 0 1.00003 shouldn't be
311.46/312.59	c #Conflicts:      65000 | #Constraints:     105008
311.46/312.59	c INPROCESSING
311.46/312.59	c GARBAGE COLLECT
311.46/312.59	c rational objective -583
313.54/314.68	c #Conflicts:      66000 | #Constraints:      94465
313.54/314.68	c #Conflicts:      67000 | #Constraints:      95465
313.54/314.68	c bounds -540 >= -593 @ 311.588
315.54/316.63	c #Conflicts:      68000 | #Constraints:      96513
315.54/316.63	c #Conflicts:      69000 | #Constraints:      97513
315.54/316.63	c bounds -540 >= -592 @ 313.52
320.04/321.15	c #Conflicts:      70000 | #Constraints:      98558
320.04/321.15	c #Conflicts:      71000 | #Constraints:      99558
320.04/321.15	c INPROCESSING
320.04/321.15	c GARBAGE COLLECT
320.04/321.15	c #Conflicts:      72000 | #Constraints:      91889
320.04/321.15	c #Conflicts:      73000 | #Constraints:      92889
320.04/321.15	c #Conflicts:      74000 | #Constraints:      93889
320.04/321.15	c bounds -540 >= -591 @ 318
357.41/358.61	c #Conflicts:      75000 | #Constraints:      94961
357.41/358.61	c #Conflicts:      76000 | #Constraints:      95961
357.41/358.61	c #Conflicts:      77000 | #Constraints:      96961
357.41/358.61	c #Conflicts:      78000 | #Constraints:      97961
357.41/358.61	c INPROCESSING
357.41/358.61	c GARBAGE COLLECT
357.41/358.61	c rational objective -582.333
359.51/360.75	c #Conflicts:      79000 | #Constraints:      91316
359.51/360.75	c #Conflicts:      80000 | #Constraints:      92316
359.51/360.75	c bounds -540 >= -590 @ 357.37
361.69/362.91	c #Conflicts:      81000 | #Constraints:      93397
361.69/362.91	c #Conflicts:      82000 | #Constraints:      94398
361.69/362.91	c #Conflicts:      83000 | #Constraints:      95398
361.69/362.91	c bounds -540 >= -589 @ 359.512
368.47/369.78	WSVECS04 Frhs2[29]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[30]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[31]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[35]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[37]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[39]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[42]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[188]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[189]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[190]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[193]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[194]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[195]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[196]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[197]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[198]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[199]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[200]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[202]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[214]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[217]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[269]: 6 0 1.0001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[270]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[274]: 6 0 1.0001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[275]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[276]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[277]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[278]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[279]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[280]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[283]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[295]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[298]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[310]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[313]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[314]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[315]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[316]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[317]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[318]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[319]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[322]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[334]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[337]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[347]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[348]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[351]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[353]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[354]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[356]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[357]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[358]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[360]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[372]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[375]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[383]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[384]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[385]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[388]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[389]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[390]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[392]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[393]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[394]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[395]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[397]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[409]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[412]: 6 0 1.0001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[560]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[563]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[565]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[567]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[590]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[591]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[594]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[596]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[620]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[622]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[624]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[625]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[626]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[628]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[643]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[704]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[705]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[706]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[707]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[708]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[709]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[712]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[724]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[727]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[753]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[775]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[778]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[844]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[847]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[885]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[888]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[925]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[938]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[943]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[944]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[954]: 6 0 1.00009 shouldn't be
368.47/369.78	WSVECS04 Frhs2[957]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[959]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[960]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[969]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[972]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[974]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[975]: 6 0 1.00008 shouldn't be
368.47/369.78	WSVECS04 Frhs2[983]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[986]: 6 0 1.00004 shouldn't be
368.47/369.78	WSVECS04 Frhs2[996]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[999]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1008]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1011]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1022]: 6 0 1.00007 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1024]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1025]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1029]: 6 0 1.00001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1032]: 6 0 1.0001 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1038]: 6 0 1.00006 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1041]: 6 0 1.00003 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be
368.47/369.78	WSVECS04 Frhs2[1044]: 6 0 1.00004 shouldn't be
383.92/385.26	WSVECS04 Frhs2[271]: 6 0 1.00003 shouldn't be
383.92/385.26	WSVECS04 Frhs2[320]: 6 0 1.00004 shouldn't be
383.92/385.26	WSVECS04 Frhs2[352]: 6 0 1.00008 shouldn't be
383.92/385.26	WSVECS04 Frhs2[391]: 6 0 1.00007 shouldn't be
383.92/385.26	WSVECS04 Frhs2[559]: 6 0 1.00009 shouldn't be
383.92/385.26	WSVECS04 Frhs2[598]: 6 0 1.00006 shouldn't be
383.92/385.26	WSVECS04 Frhs2[623]: 6 0 1.00005 shouldn't be
383.92/385.26	WSVECS04 Frhs2[750]: 6 0 1.00009 shouldn't be
383.92/385.26	WSVECS04 Frhs2[922]: 6 0 1.00009 shouldn't be
383.92/385.26	WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be
386.02/387.35	c #Conflicts:      84000 | #Constraints:      96447
386.02/387.35	c #Conflicts:      85000 | #Constraints:      97447
386.02/387.35	c bounds -540 >= -588 @ 383.794
452.42/453.97	c #Conflicts:      86000 | #Constraints:      98468
452.42/453.97	c #Conflicts:      87000 | #Constraints:      99468
452.42/453.97	c #Conflicts:      88000 | #Constraints:     100468
452.42/453.97	c #Conflicts:      89000 | #Constraints:     101468
452.42/453.97	c #Conflicts:      90000 | #Constraints:     102468
452.42/453.97	c #Conflicts:      91000 | #Constraints:     103468
452.42/453.97	c #Conflicts:      92000 | #Constraints:     104468
452.42/453.97	c #Conflicts:      93000 | #Constraints:     105468
452.42/453.97	c #Conflicts:      94000 | #Constraints:     106468
452.42/453.97	c #Conflicts:      95000 | #Constraints:     107468
452.42/453.97	c #Conflicts:      96000 | #Constraints:     108468
452.42/453.97	c #Conflicts:      97000 | #Constraints:     109470
452.42/453.97	c #Conflicts:      98000 | #Constraints:     110470
452.42/453.97	c #Conflicts:      99000 | #Constraints:     111470
452.42/453.97	c INPROCESSING
452.42/453.97	c GARBAGE COLLECT
452.42/453.97	c rational objective -575
457.00/458.58	c bounds -540 >= -587 @ 454.622
457.40/458.99	c #Conflicts:     100000 | #Constraints:      90136
457.40/458.99	c bounds -540 >= -586 @ 455.034
457.99/459.57	c #Conflicts:     101000 | #Constraints:      91172
457.99/459.57	c bounds -540 >= -585 @ 455.596
458.51/460.07	c #Conflicts:     102000 | #Constraints:      92196
458.51/460.07	c bounds -540 >= -584 @ 456.09
465.59/467.19	WSVECS04 Frhs2[32]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[33]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[559]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[560]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[562]: 6 0 1.00008 shouldn't be
465.59/467.19	WSVECS04 Frhs2[563]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[564]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[565]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[590]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[591]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[594]: 6 0 1.00006 shouldn't be
465.59/467.19	WSVECS04 Frhs2[595]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[620]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[623]: 6 0 1.00004 shouldn't be
465.59/467.19	WSVECS04 Frhs2[624]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[625]: 6 0 1.0001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[628]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[704]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[705]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[707]: 6 0 1.00001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[709]: 6 0 1.00006 shouldn't be
465.59/467.19	WSVECS04 Frhs2[710]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[712]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[739]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[740]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[750]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[753]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[764]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[765]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[775]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[778]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[811]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[812]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[822]: 6 0 1.00004 shouldn't be
465.59/467.19	WSVECS04 Frhs2[825]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[833]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[834]: 6 0 1.00006 shouldn't be
465.59/467.19	WSVECS04 Frhs2[844]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[847]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[854]: 6 0 1.00001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[855]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[865]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[868]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[874]: 6 0 1.00003 shouldn't be
465.59/467.19	WSVECS04 Frhs2[875]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[885]: 6 0 1.00005 shouldn't be
465.59/467.19	WSVECS04 Frhs2[888]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[911]: 6 0 1.00008 shouldn't be
465.59/467.19	WSVECS04 Frhs2[912]: 6 0 1.0001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[922]: 6 0 1.00006 shouldn't be
465.59/467.19	WSVECS04 Frhs2[925]: 6 0 1.0001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[983]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[986]: 6 0 1.00004 shouldn't be
465.59/467.19	WSVECS04 Frhs2[988]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[989]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[990]: 6 0 1.00008 shouldn't be
465.59/467.19	WSVECS04 Frhs2[996]: 6 0 1.00002 shouldn't be
465.59/467.19	WSVECS04 Frhs2[999]: 6 0 1.00009 shouldn't be
465.59/467.19	WSVECS04 Frhs2[1001]: 6 0 1.00007 shouldn't be
465.59/467.19	WSVECS04 Frhs2[1002]: 6 0 1.0001 shouldn't be
465.59/467.19	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
479.03/480.68	WSVECS04 Frhs2[593]: 6 0 1.00002 shouldn't be
479.03/480.68	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
479.03/480.68	WSVECS04 Frhs2[626]: 6 0 1.00002 shouldn't be
491.98/493.68	WSVECS04 Frhs2[598]: 6 0 1.00001 shouldn't be
491.98/493.68	WSVECS04 Frhs2[621]: 6 0 1.00005 shouldn't be
491.98/493.68	WSVECS04 Frhs2[708]: 6 0 1.00003 shouldn't be
511.13/512.87	WSVECS04 Frhs2[567]: 6 0 1.00005 shouldn't be
525.98/527.79	c #Conflicts:     103000 | #Constraints:      93229
525.98/527.79	c bounds -540 >= -583 @ 523.443
526.97/528.72	c #Conflicts:     104000 | #Constraints:      94268
526.97/528.72	c bounds -540 >= -582 @ 524.365
527.97/529.77	c #Conflicts:     105000 | #Constraints:      95298
527.97/529.77	c bounds -540 >= -581 @ 525.413
528.67/530.50	c #Conflicts:     106000 | #Constraints:      96331
528.67/530.50	c bounds -540 >= -580 @ 526.131
540.25/542.01	c #Conflicts:     107000 | #Constraints:      97367
540.25/542.01	c INPROCESSING
540.25/542.01	c GARBAGE COLLECT
540.25/542.01	WSVECS04 Frhs2[38]: 6 0 1.00008 shouldn't be
540.25/542.01	WSVECS04 Frhs2[41]: 6 0 1.00007 shouldn't be
540.25/542.01	WSVECS04 Frhs2[43]: 6 0 1.00002 shouldn't be
540.25/542.01	WSVECS04 Frhs2[46]: 6 0 1.00004 shouldn't be
540.25/542.01	WSVECS04 Frhs2[606]: 6 0 1.00008 shouldn't be
540.25/542.01	WSVECS04 Frhs2[607]: 6 0 1.00003 shouldn't be
540.25/542.01	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
540.25/542.01	WSVECS04 Frhs2[715]: 6 0 1.00007 shouldn't be
540.25/542.01	WSVECS04 Frhs2[718]: 6 0 1.00004 shouldn't be
540.25/542.01	WSVECS04 Frhs2[721]: 6 0 1.00006 shouldn't be
540.25/542.01	WSVECS04 Frhs2[909]: 6 0 1.00009 shouldn't be
540.25/542.01	WSVECS04 Frhs2[910]: 6 0 1.00003 shouldn't be
557.20/559.07	WSVECS04 Frhs2[22]: 6 0 1.00005 shouldn't be
557.20/559.07	WSVECS04 Frhs2[27]: 6 0 1.00007 shouldn't be
557.20/559.07	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
557.20/559.07	WSVECS04 Frhs2[40]: 6 0 1.0001 shouldn't be
557.20/559.07	WSVECS04 Frhs2[42]: 6 0 1.0001 shouldn't be
557.20/559.07	WSVECS04 Frhs2[44]: 6 0 1.00003 shouldn't be
557.20/559.07	WSVECS04 Frhs2[45]: 6 0 1.00001 shouldn't be
557.20/559.07	WSVECS04 Frhs2[570]: 6 0 1.00003 shouldn't be
557.20/559.07	WSVECS04 Frhs2[573]: 6 0 1.00009 shouldn't be
557.20/559.07	WSVECS04 Frhs2[576]: 6 0 1.00002 shouldn't be
557.20/559.07	WSVECS04 Frhs2[601]: 6 0 1.00007 shouldn't be
557.20/559.07	WSVECS04 Frhs2[604]: 6 0 1.00005 shouldn't be
557.20/559.07	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
557.20/559.07	WSVECS04 Frhs2[634]: 6 0 1.00008 shouldn't be
557.20/559.07	WSVECS04 Frhs2[719]: 6 0 1.00004 shouldn't be
557.20/559.07	WSVECS04 Frhs2[720]: 6 0 1.00004 shouldn't be
557.20/559.07	WSVECS04 Frhs2[797]: 6 0 1.00002 shouldn't be
557.20/559.07	WSVECS04 Frhs2[799]: 6 0 1.00009 shouldn't be
557.20/559.07	WSVECS04 Frhs2[800]: 6 0 1.00008 shouldn't be
557.20/559.07	WSVECS04 Frhs2[801]: 6 0 1.00002 shouldn't be
557.20/559.07	WSVECS04 Frhs2[802]: 6 0 1.00002 shouldn't be
557.20/559.07	WSVECS04 Frhs2[803]: 6 0 1.00003 shouldn't be
557.20/559.07	WSVECS04 Frhs2[804]: 6 0 1.00003 shouldn't be
557.20/559.07	WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be
557.20/559.07	WSVECS04 Frhs2[907]: 6 0 1.00007 shouldn't be
557.20/559.07	WSVECS04 Frhs2[908]: 6 0 1.00007 shouldn't be
577.32/579.25	WSVECS04 Frhs2[574]: 6 0 1.00002 shouldn't be
577.32/579.25	WSVECS04 Frhs2[575]: 6 0 1.00004 shouldn't be
577.32/579.25	WSVECS04 Frhs2[631]: 6 0 1.00002 shouldn't be
577.32/579.25	WSVECS04 Frhs2[636]: 6 0 1.00004 shouldn't be
577.32/579.25	WSVECS04 Frhs2[798]: 6 0 1.00008 shouldn't be
577.32/579.25	WSVECS04 Frhs2[904]: 6 0 1.00005 shouldn't be
577.32/579.25	WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be
594.66/596.61	WSVECS04 Frhs2[635]: 6 0 1.00008 shouldn't be
594.66/596.61	WSVECS04 Frhs2[805]: 6 0 1.00004 shouldn't be
594.66/596.61	WSVECS04 Frhs2[902]: 6 0 1.00004 shouldn't be
594.66/596.61	WSVECS04 Frhs2[906]: 6 0 1.00002 shouldn't be
694.14/696.40	c bounds -540 >= -579 @ 691.171
695.44/697.79	c #Conflicts:     108000 | #Constraints:      90006
695.44/697.79	c #Conflicts:     109000 | #Constraints:      91006
695.44/697.79	c bounds -540 >= -578 @ 692.541
696.54/698.87	c #Conflicts:     110000 | #Constraints:      92096
696.54/698.87	c #Conflicts:     111000 | #Constraints:      93096
696.54/698.87	c bounds -540 >= -577 @ 693.612
697.63/699.91	c #Conflicts:     112000 | #Constraints:      94144
697.63/699.91	c bounds -540 >= -576 @ 694.641
698.74/701.04	c #Conflicts:     113000 | #Constraints:      95168
698.74/701.04	c bounds -540 >= -575 @ 695.764
699.92/702.21	c #Conflicts:     114000 | #Constraints:      96198
699.92/702.21	c bounds -540 >= -574 @ 696.924
701.42/703.78	c #Conflicts:     115000 | #Constraints:      97228
701.42/703.78	c #Conflicts:     116000 | #Constraints:      98228
701.42/703.78	c bounds -540 >= -573 @ 698.482
702.32/704.68	c #Conflicts:     117000 | #Constraints:      99270
702.32/704.68	c bounds -540 >= -572 @ 699.379
703.41/705.76	c #Conflicts:     118000 | #Constraints:     100294
703.41/705.76	c bounds -540 >= -571 @ 700.454
705.21/707.50	c #Conflicts:     119000 | #Constraints:     101333
705.21/707.50	c #Conflicts:     120000 | #Constraints:     102333
705.21/707.50	c bounds -540 >= -570 @ 702.181
707.30/709.64	c #Conflicts:     121000 | #Constraints:     103366
707.30/709.64	c bounds -540 >= -569 @ 704.298
709.40/711.79	c #Conflicts:     122000 | #Constraints:     104393
709.40/711.79	c #Conflicts:     123000 | #Constraints:     105393
709.40/711.79	c bounds -540 >= -568 @ 706.428
711.39/713.77	c #Conflicts:     124000 | #Constraints:     106429
711.39/713.77	c #Conflicts:     125000 | #Constraints:     107429
711.39/713.77	c bounds -540 >= -567 @ 708.404
714.58/716.92	c #Conflicts:     126000 | #Constraints:     108456
714.58/716.92	c #Conflicts:     127000 | #Constraints:     109456
714.58/716.92	c bounds -540 >= -566 @ 711.533
716.98/719.37	c #Conflicts:     128000 | #Constraints:     110492
716.98/719.37	c #Conflicts:     129000 | #Constraints:     111492
716.98/719.37	c bounds -540 >= -565 @ 713.961
721.77/724.14	c #Conflicts:     130000 | #Constraints:     112513
721.77/724.14	c #Conflicts:     131000 | #Constraints:     113513
721.77/724.14	c INPROCESSING
721.77/724.14	c GARBAGE COLLECT
721.77/724.14	c #Conflicts:     132000 | #Constraints:      98184
721.77/724.14	c #Conflicts:     133000 | #Constraints:      99184
721.77/724.14	c bounds -540 >= -564 @ 718.693
744.19/746.67	c #Conflicts:     134000 | #Constraints:     100235
744.19/746.67	c #Conflicts:     135000 | #Constraints:     101237
744.19/746.67	c #Conflicts:     136000 | #Constraints:     102237
744.19/746.67	c #Conflicts:     137000 | #Constraints:     103237
744.19/746.67	c #Conflicts:     138000 | #Constraints:     104238
744.19/746.67	c #Conflicts:     139000 | #Constraints:     105238
744.19/746.67	c #Conflicts:     140000 | #Constraints:     106238
744.19/746.67	c bounds -540 >= -540 @ 741.095
744.19/746.67	c cpu time 741.095 s
744.19/746.67	c deterministic time 3198950639 3.20e+09
744.19/746.67	c optimization time 0.329452 s
744.19/746.67	c total solve time 740.158 s
744.19/746.67	c core-guided solve time 411.024 s
744.19/746.67	c propagation time 292.472 s
744.19/746.67	c conflict analysis time 68.959 s
744.19/746.67	c propagations 84759435
744.19/746.67	c resolve steps 9087970
744.19/746.67	c decisions 267286
744.19/746.67	c conflicts 140403
744.19/746.67	c restarts 380
744.19/746.67	c inprocessing phases 18
744.19/746.67	c garbage collections 16 ,( 88.89 )
744.19/746.67	c input clauses 82592 ,( 95.42 )
744.19/746.67	c input cardinalities 2399 ,( 2.77 )
744.19/746.67	c input general constraints 1563 ,( 1.81 )
744.19/746.67	c input average constraint length 7.22
744.19/746.67	c input average constraint degree 2.09
744.19/746.67	c learned clauses 134746 ,( 95.90 )
744.19/746.67	c learned cardinalities 525 ,( 0.37 )
744.19/746.67	c learned general constraints 5231 ,( 3.72 )
744.19/746.67	c learned average constraint length 218.99
744.19/746.67	c learned average constraint degree 31274699.83
744.19/746.67	c watched  CF 32, 64, 128, Arb: 443 , 0 , 0 , 0
744.19/746.67	c counting CF 32, 64, 128, Arb: 6352 , 0 , 0 , 0
744.19/746.67	c watched   constraints 443 ,( 6.52 ) 
744.19/746.67	c counting  constraints 6351 ,( 93.48 ) 
744.19/746.67	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 353371713 , 213921444 , 116981466 ,( 572550 , 116408916 )
744.19/746.67	c gcd simplifications 19078
744.19/746.67	c detected cardinalities 2
744.19/746.67	c weakened non-implied lits 25892408
744.19/746.67	c weakened non-implying lits 170729
744.19/746.67	c original variables 6401
744.19/746.67	c clausal propagations 63893563
744.19/746.67	c cardinality propagations 6193748
744.19/746.67	c watched propagations 6991
744.19/746.67	c counting propagations 14281008
744.19/746.67	c watch lookups 1064555107
744.19/746.67	c watch backjump lookups 0
744.19/746.67	c watch checks 1564973364
744.19/746.67	c propagation checks 240331774
744.19/746.67	c constraint additions 158590399
744.19/746.67	c trail pops 85160870
744.19/746.67	c formula constraints 81100
744.19/746.67	c learned constraints 140450
744.19/746.67	c bound constraints 346
744.19/746.67	c core-guided constraints 5108
744.19/746.67	c encountered formula constraints 5876302
744.19/746.67	c encountered learned constraints 1493692
744.19/746.67	c encountered bound constraints 1175
744.19/746.67	c encountered core-guided constraints 1856379
744.19/746.67	c LP total time 603.823 s
744.19/746.67	c LP solve time 600.73 s
744.19/746.67	c LP constraints added 81126
744.19/746.67	c LP constraints removed 21
744.19/746.67	c LP pivots internal 142513
744.19/746.67	c LP pivots root 169890
744.19/746.67	c LP calls 34
744.19/746.67	c LP optimalities 5
744.19/746.67	c LP no pivot count 0
744.19/746.67	c LP infeasibilities 22
744.19/746.67	c LP valid Farkas constraints 22
744.19/746.67	c LP learned Farkas constraints 22
744.19/746.67	c LP basis resets 0
744.19/746.67	c LP cycling count 0
744.19/746.67	c LP singular count 0
744.19/746.67	c LP no primal count 0
744.19/746.67	c LP no farkas count 0
744.19/746.67	c LP other issue count 0
744.19/746.67	c LP Gomory cuts 8
744.19/746.67	c LP learned cuts 18
744.19/746.67	c LP deleted cuts 21
744.19/746.67	c LP encountered Gomory constraints 95
744.19/746.67	c LP encountered Farkas constraints 504
744.19/746.67	c LP encountered learned Farkas constraints 204
744.19/746.67	c CG auxiliary variables introduced 1809
744.19/746.67	c CG solutions found 26
744.19/746.67	c CG cores constructed 319
744.19/746.67	c CG core cardinality constraints returned 0
744.19/746.67	c CG unit cores 0
744.19/746.67	c CG single cores 314
744.19/746.67	c CG blocks removed during cardinality reduction 0
744.19/746.67	c CG first core best 0
744.19/746.67	c CG decision core best 0
744.19/746.67	c CG core reduction tie 5
744.19/746.67	c CG core degree average 1.00
744.19/746.67	c CG core slack average 7.21
744.19/746.67	c CG core upper bound improvements 0
744.19/746.67	c STR number of successful calls 0
744.19/746.67	c STR number of unsuccessful calls 0
744.19/746.67	c STR number of inconclusive calls 0
744.19/746.67	c STR number of successful attempts 0
744.19/746.67	c STR number of unsuccessful attempts 0
744.19/746.67	c STR number of inconclusive attempts 0
744.19/746.67	c STR average degree increase per successful call inf
744.19/746.67	c STR average degree increase per successful attempt inf
744.19/746.67	c STR total number of conflicts for successful attempts 0
744.19/746.67	c STR total number of conflicts for unsuccessful attempts 0
744.19/746.67	c STR total number of conflicts for inconclusive attempts 0
744.19/746.67	c STR average number of conflicts per successful attempt inf
744.19/746.67	c STR average number of conflicts per unsuccessful attempt inf
744.19/746.67	c STR average number of conflicts per inconclusive attempt inf
744.19/746.67	c AVG.sumWPerc 76.75 
744.19/746.67	c bigint constraints 0 
744.19/746.67	o -540
744.19/746.67	s OPTIMUM FOUND
744.19/746.67	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 -x555 -x556 -x557 -x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 -x586 -x587 -x588 -x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 -x617 -x618 -x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 -x647 -x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081

Verifier Data 

OK	-540

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (59840 MiB free)
  memory of node 1: 64465 MiB (63643 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10007 s]*
/proc/loadavg: 4.14 4.25 4.25 5/251 84055
/proc/meminfo: memFree=126423124/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84053] ppid=84050 vsize=31140 memory=22516 CPUtime=0.08 cores=1,3
/proc/84053/stat : 84053 (pbsuma) R 84050 84050 82819 0 -1 4194304 3748 0 0 0 6 2 0 0 20 0 1 0 71995718 31887360 5629 18446744073709551615 4210688 4653049 140725209326176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 28934144 140725209327971 140725209328178 140725209328178 140725209333743 0
/proc/84053/statm: 7785 5629 1024 108 0 5193 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35332 KiB
Current children cumulated memory: 25588 KiB

[startup+0.213913 s]*
/proc/loadavg: 4.14 4.25 4.25 5/251 84055
/proc/meminfo: memFree=126399436/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84053] ppid=84050 vsize=43884 memory=32740 CPUtime=0.2 cores=1,3
/proc/84053/stat : 84053 (pbsuma) R 84050 84050 82819 0 -1 4194304 6982 0 0 0 16 4 0 0 20 0 1 0 71995718 44937216 8185 18446744073709551615 4210688 4653049 140725209326176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 28934144 140725209327971 140725209328178 140725209328178 140725209333743 0
/proc/84053/statm: 10971 8185 1024 108 0 8379 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48076 KiB
Current children cumulated memory: 35812 KiB

[startup+0.31373 s]*
/proc/loadavg: 4.14 4.25 4.25 5/251 84055
/proc/meminfo: memFree=126387088/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84053] ppid=84050 vsize=59884 memory=43348 CPUtime=0.3 cores=1,3
/proc/84053/stat : 84053 (pbsuma) R 84050 84050 82819 0 -1 4194304 10097 0 0 0 25 5 0 0 20 0 1 0 71995718 61321216 10837 18446744073709551615 4210688 4653049 140725209326176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 28934144 140725209327971 140725209328178 140725209328178 140725209333743 0
/proc/84053/statm: 14971 10837 1024 108 0 12379 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64076 KiB
Current children cumulated memory: 46420 KiB

[startup+0.700422 s]
/proc/loadavg: 4.14 4.25 4.25 5/252 84060
/proc/meminfo: memFree=126370456/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84053] ppid=84050 vsize=75888 memory=58488 CPUtime=0.67 cores=1,3
/proc/84053/stat : 84053 (pbsuma) R 84050 84050 82819 0 -1 4194304 14204 0 0 0 61 6 0 0 20 0 1 0 71995718 77709312 14622 18446744073709551615 4210688 4653049 140725209326176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 28934144 140725209327971 140725209328178 140725209328178 140725209333743 0
/proc/84053/statm: 18972 14622 1024 108 0 16380 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 80080 KiB
Current children cumulated memory: 61560 KiB

[startup+1.50031 s]
/proc/loadavg: 4.14 4.25 4.25 5/255 84067
/proc/meminfo: memFree=126265380/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=85056 memory=41388 CPUtime=0.58 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 8800 0 0 0 42 16 0 0 20 0 1 0 71995806 87097344 10347 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 21264 10347 2272 1147 0 8691 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 44460 KiB

[startup+3.11325 s]
/proc/loadavg: 4.13 4.24 4.25 5/255 84067
/proc/meminfo: memFree=125883516/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=198164 memory=129840 CPUtime=2.17 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 18584 0 0 0 194 23 0 0 20 0 1 0 71995806 202919936 32460 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 49541 32460 2368 1147 0 36968 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 202356 KiB
Current children cumulated memory: 132912 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.24 4.25 5/255 84067
/proc/meminfo: memFree=125756708/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=204844 memory=132528 CPUtime=5.35 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 19245 0 0 0 511 24 0 0 20 0 1 0 71995806 209760256 33132 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 51211 33132 2400 1147 0 38638 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 209036 KiB
Current children cumulated memory: 135600 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.24 4.25 5/255 84068
/proc/meminfo: memFree=125499124/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=204436 memory=132220 CPUtime=11.74 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 19256 0 0 0 1147 27 0 0 20 0 1 0 71995806 209342464 33055 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 51109 33055 2400 1147 0 38536 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 208628 KiB
Current children cumulated memory: 135292 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.23 4.24 5/255 84069
/proc/meminfo: memFree=125522496/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=204436 memory=135144 CPUtime=24.5 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 19477 0 0 0 2419 31 0 0 20 0 1 0 71995806 209342464 33786 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 51109 33786 2400 1147 0 38536 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 208628 KiB
Current children cumulated memory: 138216 KiB

[startup+51.1133 s]
/proc/loadavg: 4.12 4.22 4.24 5/255 84069
/proc/meminfo: memFree=125520500/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=231624 memory=156360 CPUtime=50.03 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 22759 0 0 0 4962 41 0 0 20 0 1 0 71995806 237182976 39090 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 57906 39090 2432 1147 0 45333 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 235816 KiB
Current children cumulated memory: 159432 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.20 4.23 5/255 84171
/proc/meminfo: memFree=127686432/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=243224 memory=166576 CPUtime=101.06 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 23801 0 0 0 10044 62 0 0 20 0 1 0 71995806 249061376 41644 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 60806 41644 2432 1147 0 48233 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 247416 KiB
Current children cumulated memory: 169648 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.23 5/253 84173
/proc/meminfo: memFree=127580976/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=254900 memory=171608 CPUtime=160.86 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 24037 0 0 0 16012 74 0 0 20 0 1 0 71995806 261017600 42902 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 63725 42902 2432 1147 0 51152 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 259092 KiB
Current children cumulated memory: 174680 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.22 5/254 84176
/proc/meminfo: memFree=127458476/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=262476 memory=177752 CPUtime=220.68 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 24566 0 0 0 21977 91 0 0 20 0 1 0 71995806 268775424 44438 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 65619 44438 2432 1147 0 53046 0

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

/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 25995 0 0 0 51798 176 0 0 20 0 1 0 71995806 295972864 52474 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 72259 52474 2432 1147 0 59686 0
Current children cumulated CPU time: 520.6 s
Current children cumulated vsize: 293228 KiB
Current children cumulated memory: 212968 KiB

[startup+582.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/253 84188
/proc/meminfo: memFree=127170440/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=289036 memory=209896 CPUtime=579.55 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 26012 0 0 0 57766 189 0 0 20 0 1 0 71995806 295972864 52474 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 72259 52474 2432 1147 0 59686 0
Current children cumulated CPU time: 580.41 s
Current children cumulated vsize: 293228 KiB
Current children cumulated memory: 212968 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 4.11 4.16 5/253 84190
/proc/meminfo: memFree=127151204/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=289036 memory=210024 CPUtime=639.36 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 26015 0 0 0 63733 203 0 0 20 0 1 0 71995806 295972864 52506 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 72259 52506 2432 1147 0 59686 0
Current children cumulated CPU time: 640.22 s
Current children cumulated vsize: 293228 KiB
Current children cumulated memory: 213096 KiB

[startup+702.3 s]
/proc/loadavg: 4.38 4.17 4.18 5/254 84200
/proc/meminfo: memFree=127172368/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=289036 memory=213096 CPUtime=699.16 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 26028 0 0 0 69701 215 0 0 20 0 1 0 71995806 295972864 53274 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 72259 53274 2432 1147 0 59686 0
Current children cumulated CPU time: 700.02 s
Current children cumulated vsize: 293228 KiB
Current children cumulated memory: 216168 KiB

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

# cumulated CPU time of all completed processes:  user=741.902 s, system=2.39954 s

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

[startup+716.8 s]
/proc/loadavg: 4.52 4.22 4.20 5/254 84200
/proc/meminfo: memFree=127170604/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=289036 memory=215156 CPUtime=713.62 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 26035 0 0 0 71140 222 0 0 20 0 1 0 71995806 295972864 53789 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 72259 53789 2432 1147 0 59686 0
Current children cumulated CPU time: 714.48 s
Current children cumulated vsize: 293228 KiB
Current children cumulated memory: 218228 KiB

[startup+729.6 s]
/proc/loadavg: 4.69 4.27 4.21 5/254 84200
/proc/meminfo: memFree=127151136/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=726.38 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 72411 227 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 727.24 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+736 s]*
/proc/loadavg: 4.72 4.28 4.22 5/254 84200
/proc/meminfo: memFree=127151388/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=732.78 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 73049 229 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 733.64 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+742.4 s]
/proc/loadavg: 4.74 4.29 4.22 5/254 84200
/proc/meminfo: memFree=127151388/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=739.14 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 73684 230 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 740 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+744 s]*
/proc/loadavg: 4.84 4.32 4.23 5/254 84200
/proc/meminfo: memFree=127151388/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=740.75 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 73845 230 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 741.61 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+745.6 s]
/proc/loadavg: 4.84 4.32 4.23 5/254 84200
/proc/meminfo: memFree=127151640/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=742.34 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 74003 231 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 743.2 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+746.4 s]
/proc/loadavg: 4.84 4.32 4.23 5/254 84201
/proc/meminfo: memFree=127151388/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=743.13 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27760 0 0 0 74082 231 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 743.99 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

[startup+746.6 s]
/proc/loadavg: 4.84 4.32 4.23 5/254 84201
/proc/meminfo: memFree=127151388/131382120 swapFree=33010416/33010684
[pid=84050] ppid=84046 vsize=4192 memory=3072 CPUtime=0.86 cores=1,3
/proc/84050/stat : 84050 (run-opt-ls.sh) S 84046 84050 82819 0 -1 4194304 238 15010 0 0 0 0 79 7 20 0 1 0 71995717 4292608 768 18446744073709551615 94037010300928 94037011195461 140731114679760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037011434512 94037011482256 94037041184768 140731114686823 140731114686949 140731114686949 140731114692551 0
/proc/84050/statm: 1048 768 704 219 0 110 0
[pid=84067] ppid=84050 vsize=312700 memory=223580 CPUtime=743.33 cores=1,3
/proc/84067/stat : 84067 (roundingsat) R 84050 84050 82819 0 -1 4194304 27761 0 0 0 74102 231 0 0 20 0 1 0 71995806 320204800 55895 18446744073709551615 4227072 8923433 140732320330416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21925888 140732320336198 140732320336424 140732320336424 140732320341994 0
/proc/84067/statm: 78175 55895 2432 1147 0 65602 0
Current children cumulated CPU time: 744.19 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 226652 KiB

Child status: 0

Real time (s): 746.684
CPU time (s): 744.302
CPU user time (s): 741.902
CPU system time (s): 2.39954
CPU usage (%): 99.681
Max. virtual memory (cumulated for all children) (KiB): 316892
Max. memory (cumulated for all children) (KiB): 226652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 741.902
system time used= 2.39954
maximum resident set size= 223580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 353


# summary of solver processes directly reported to runsolver:
#   pid: 84050
#   total CPU time (s): 744.302
#   total CPU user time (s): 741.902
#   total CPU system time (s): 2.39954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8696 second user time and 7.85307 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-03 19:19:30
IDJOB=4520942
IDBENCH=178158
IDSOLVER=3355
FILE ID=nodeC003/4520942-1751563170
RUNJOBID= nodeC003-1751559311-82831
SLURM_JOB_ID= 9598756
Free space on /tmp= 431992 MiB

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

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

MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=1210006256

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3595.069
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.071
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.346
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.382
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.828
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.048
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.496
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.146
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126444284 kB
MemAvailable:   126516192 kB
Buffers:            2736 kB
Cached:           868076 kB
SwapCached:           36 kB
Active:          3976220 kB
Inactive:         375908 kB
Active(anon):    3491632 kB
Inactive(anon):     7608 kB
Active(file):     484588 kB
Inactive(file):   368300 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16872 kB
Writeback:            12 kB
AnonPages:       3484460 kB
Mapped:           113880 kB
Shmem:             17924 kB
KReclaimable:     117292 kB
Slab:             203228 kB
SReclaimable:     117292 kB
SUnreclaim:        85936 kB
KernelStack:        4032 kB
PageTables:        10036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4172452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2934784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431924 MiB
End job on nodeC003 at 2025-07-03 19:31:57