Trace number 4532183

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-log 0f876b3OPT cert.-540 711.024 714.057

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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532183-1752597605.opb'
0.00/0.04	c 	read 2.03MB  (30.26ms)
0.00/0.04	c	 [cnf: #variables 1081 #clauses 64861 #duplicates 0 #arr 195463]
0.00/0.04	c output proof to 'PROOFDIR/proof-4532183-1752597605'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 10] (14.57ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.09	c 	probe for row symmetry (limit=64, splits=16.78M)
0.09/0.11	c 	 (60.14ms)
0.09/0.11	c 
0.09/0.11	c detect symmetries on remainder
0.09/0.11	c 	[graph: #vertices 69185 #edges 397412]
0.09/0.11	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.39/0.44	c 	 [group: #symmetries 7.55*10^30 #generators 13] (328.36ms)
0.39/0.44	c 
0.39/0.44	c optimize generators (opt_passes=64, conjugate_limit=256)
0.39/0.44	c 	opt it=15, l=413, m=158, opt=28, avg=880, b=180, gens=13
0.39/0.44	c 	opt it=31, l=733, m=270, opt=46, avg=799, b=180, gens=13
0.39/0.45	c 	opt it=47, l=1043, m=349, opt=52, avg=769, b=180, gens=13
0.39/0.45	c 	ran it=0, +gens=13 
0.39/0.48	c 	con best_support=180, best_gens=3, +gens=254
0.39/0.48	c 	(43.02ms)
0.39/0.48	c 
0.39/0.48	c finalize break order and special generators
0.39/0.48	c 
0.39/0.48	c add generic predicates (break_depth=20)
0.39/0.48	c 	added predicates for 280 generators (0.52ms)
0.49/0.53	c 
0.49/0.53	c generation finished
0.49/0.53	c 	[sbp: #constraints 16240 #add_vars 5320]
0.49/0.53	c 
0.49/0.53	c write result to 'HOME/instance-4532183-1752597605.opb.pre'
0.49/0.54	c 	wrote 2.64MB (5.79ms)
0.49/0.54	c ------------------------------------------------------------------
0.49/0.54	c                 328.36ms 62.07% detect_generic
0.49/0.54	c                  60.14ms 11.37% detect_special
0.49/0.54	c                  46.06ms  8.71% other
0.49/0.54	c                  43.02ms  8.13% optimize_gens
0.49/0.54	c                  30.26ms  5.72% parse
0.49/0.54	c                  14.57ms  2.75% approx_orbits
0.49/0.54	c                   5.79ms  1.10% output
0.49/0.54	c                   0.52ms  0.10% break_generic
0.49/0.54	c                   0.33ms  0.06% finalize_order
0.49/0.54	c         ───────────────────────────────────────────────
0.49/0.54	c                 529.05ms   100% total
0.49/0.54	c ------------------------------------------------------------------
0.49/0.57	c RoundingSat 2
0.49/0.57	c branch pb25
0.49/0.57	c commit 0f876b3
0.94/1.06	c #variables 6401 #constraints 81100
0.94/1.06	c objective is ce32 
1.15/1.25	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.15/1.25	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.15/1.25	c bounds 0 >= -883 @ 0.565616
4.04/4.14	c bounds -38 >= -883 @ 3.42397
7.93/8.06	c bounds -38 >= -882 @ 7.32304
17.19/17.34	c bounds -38 >= -881 @ 16.551
32.36/32.54	c rational objective -588.667
32.76/32.93	c bounds -38 >= -880 @ 32.0499
32.76/32.93	c bounds -38 >= -879 @ 32.0502
32.76/32.93	c bounds -38 >= -878 @ 32.0505
32.76/32.93	c bounds -38 >= -877 @ 32.0508
32.76/32.93	c bounds -38 >= -876 @ 32.0511
32.76/32.94	c bounds -38 >= -875 @ 32.0514
32.76/32.94	c bounds -38 >= -874 @ 32.0517
32.76/32.94	c bounds -38 >= -873 @ 32.0523
32.76/32.94	c bounds -38 >= -872 @ 32.0527
32.76/32.94	c bounds -38 >= -871 @ 32.0529
32.76/32.94	c bounds -38 >= -870 @ 32.0532
32.76/32.94	c bounds -38 >= -869 @ 32.0536
32.76/32.94	c bounds -38 >= -868 @ 32.0539
32.76/32.94	c bounds -38 >= -867 @ 32.0542
32.76/32.94	c bounds -38 >= -866 @ 32.0547
32.76/32.94	c bounds -38 >= -865 @ 32.0551
32.76/32.94	c bounds -38 >= -864 @ 32.0554
32.76/32.94	c bounds -38 >= -863 @ 32.0556
32.76/32.94	c bounds -38 >= -862 @ 32.0559
32.76/32.94	c bounds -38 >= -861 @ 32.0562
32.76/32.94	c bounds -38 >= -860 @ 32.0565
32.76/32.94	c bounds -38 >= -859 @ 32.0568
32.76/32.94	c bounds -38 >= -858 @ 32.057
32.76/32.94	c bounds -38 >= -857 @ 32.0573
32.76/32.94	c bounds -38 >= -856 @ 32.0579
32.76/32.94	c bounds -38 >= -855 @ 32.0583
32.76/32.94	c bounds -38 >= -854 @ 32.0586
32.76/32.94	c bounds -38 >= -853 @ 32.0589
32.76/32.94	c bounds -38 >= -852 @ 32.0592
32.76/32.94	c bounds -38 >= -851 @ 32.0593
32.76/32.94	c bounds -38 >= -850 @ 32.0593
32.76/32.94	c bounds -38 >= -849 @ 32.0593
32.76/32.94	c bounds -38 >= -848 @ 32.0596
32.76/32.94	c bounds -38 >= -847 @ 32.0599
32.76/32.95	c bounds -38 >= -846 @ 32.0603
32.76/32.95	c bounds -38 >= -845 @ 32.0606
32.76/32.95	c bounds -38 >= -844 @ 32.0609
32.76/32.95	c bounds -38 >= -843 @ 32.0611
32.76/32.95	c bounds -38 >= -842 @ 32.0614
32.76/32.95	c bounds -38 >= -841 @ 32.0617
32.76/32.95	c bounds -38 >= -840 @ 32.0619
32.76/32.95	c bounds -38 >= -839 @ 32.0622
32.76/32.95	c bounds -38 >= -838 @ 32.0625
32.76/32.95	c bounds -38 >= -837 @ 32.0628
32.76/32.95	c bounds -38 >= -836 @ 32.0631
32.76/32.95	c bounds -38 >= -835 @ 32.0634
32.76/32.95	c bounds -38 >= -834 @ 32.0637
32.76/32.95	c bounds -38 >= -833 @ 32.064
32.76/32.95	c bounds -38 >= -832 @ 32.0643
32.76/32.95	c bounds -38 >= -831 @ 32.0646
32.76/32.95	c bounds -38 >= -830 @ 32.0649
32.76/32.95	c bounds -38 >= -829 @ 32.0655
32.76/32.95	c bounds -38 >= -828 @ 32.0658
32.76/32.95	c bounds -38 >= -827 @ 32.066
32.76/32.95	c bounds -38 >= -826 @ 32.0663
32.76/32.95	c bounds -38 >= -825 @ 32.0666
32.76/32.95	c bounds -38 >= -824 @ 32.0668
32.76/32.95	c bounds -38 >= -823 @ 32.0671
32.76/32.95	c bounds -38 >= -822 @ 32.0674
32.76/32.95	c bounds -38 >= -821 @ 32.0676
32.76/32.95	c bounds -38 >= -820 @ 32.0679
32.76/32.95	c bounds -38 >= -819 @ 32.0681
32.76/32.95	c bounds -38 >= -818 @ 32.0684
32.76/32.95	c bounds -38 >= -817 @ 32.0686
32.76/32.95	c bounds -38 >= -816 @ 32.0688
32.76/32.95	c bounds -38 >= -815 @ 32.0695
32.76/32.95	c bounds -38 >= -814 @ 32.0698
32.76/32.96	c bounds -74 >= -814 @ 32.0765
32.76/32.96	c bounds -74 >= -813 @ 32.0774
32.76/32.96	c bounds -74 >= -812 @ 32.0776
32.76/32.96	c bounds -74 >= -811 @ 32.0779
32.76/32.96	c bounds -74 >= -810 @ 32.0782
32.76/32.96	c bounds -74 >= -809 @ 32.0784
32.76/32.96	c bounds -74 >= -808 @ 32.0787
32.76/32.96	c bounds -74 >= -807 @ 32.0789
32.76/32.97	c bounds -74 >= -806 @ 32.0791
32.76/32.97	c bounds -74 >= -805 @ 32.0795
32.76/32.97	c bounds -74 >= -804 @ 32.0799
32.76/32.97	c bounds -74 >= -803 @ 32.0802
32.76/32.97	c bounds -74 >= -802 @ 32.0804
32.76/32.97	c bounds -74 >= -801 @ 32.0807
32.76/32.97	c bounds -74 >= -800 @ 32.0809
32.76/32.97	c bounds -74 >= -799 @ 32.0812
32.76/32.97	c bounds -74 >= -798 @ 32.0814
32.76/32.97	c bounds -74 >= -797 @ 32.0819
32.76/32.97	c bounds -74 >= -796 @ 32.0821
32.76/32.97	c bounds -74 >= -795 @ 32.0824
32.76/32.97	c bounds -74 >= -794 @ 32.0826
32.76/32.97	c bounds -74 >= -793 @ 32.0829
32.76/32.97	c bounds -74 >= -792 @ 32.0831
32.76/32.97	c bounds -74 >= -791 @ 32.0834
32.76/32.97	c bounds -74 >= -790 @ 32.0836
32.76/32.97	c bounds -74 >= -789 @ 32.0839
32.76/32.97	c bounds -74 >= -788 @ 32.0841
32.76/32.97	c bounds -74 >= -787 @ 32.0844
32.76/32.97	c bounds -74 >= -786 @ 32.0849
32.76/32.97	c bounds -74 >= -785 @ 32.0851
32.76/32.97	c bounds -74 >= -784 @ 32.0854
32.76/32.97	c bounds -74 >= -783 @ 32.0856
32.76/32.97	c bounds -74 >= -782 @ 32.086
32.76/32.97	c bounds -74 >= -781 @ 32.0862
32.76/32.97	c bounds -74 >= -780 @ 32.0862
32.76/32.97	c bounds -74 >= -779 @ 32.0862
32.76/32.97	c bounds -74 >= -778 @ 32.0862
32.76/32.97	c bounds -74 >= -777 @ 32.0864
32.76/32.97	c bounds -74 >= -776 @ 32.0867
32.76/32.97	c bounds -74 >= -775 @ 32.0869
32.76/32.97	c bounds -74 >= -774 @ 32.0872
32.76/32.97	c bounds -74 >= -773 @ 32.0874
32.76/32.97	c bounds -74 >= -772 @ 32.0879
32.76/32.98	c bounds -74 >= -771 @ 32.0881
32.76/32.98	c bounds -74 >= -770 @ 32.0884
32.76/32.98	c bounds -74 >= -769 @ 32.0886
32.76/32.98	c bounds -74 >= -768 @ 32.0889
32.76/32.98	c bounds -74 >= -767 @ 32.0892
32.76/32.98	c bounds -74 >= -766 @ 32.0896
32.76/32.98	c bounds -74 >= -765 @ 32.0899
32.76/32.98	c bounds -74 >= -764 @ 32.0903
32.76/32.98	c bounds -74 >= -763 @ 32.0905
32.76/32.98	c bounds -74 >= -762 @ 32.0908
32.76/32.98	c bounds -74 >= -761 @ 32.091
32.76/32.98	c bounds -74 >= -760 @ 32.0912
32.76/32.98	c bounds -74 >= -759 @ 32.0915
32.76/32.98	c bounds -74 >= -758 @ 32.0917
32.76/32.98	c bounds -74 >= -757 @ 32.0919
32.76/32.98	c bounds -74 >= -756 @ 32.0922
32.76/32.98	c bounds -74 >= -755 @ 32.0924
32.76/32.98	c bounds -74 >= -754 @ 32.0927
32.76/32.98	c bounds -74 >= -753 @ 32.0929
32.76/32.98	c bounds -110 >= -753 @ 32.0977
32.76/32.99	c bounds -110 >= -752 @ 32.098
32.76/32.99	c bounds -110 >= -751 @ 32.0982
32.76/32.99	c bounds -110 >= -750 @ 32.0996
32.76/32.99	c bounds -110 >= -749 @ 32.0999
32.76/32.99	c bounds -110 >= -748 @ 32.1002
32.76/32.99	c bounds -110 >= -747 @ 32.1004
32.76/32.99	c bounds -110 >= -746 @ 32.1007
32.76/32.99	c bounds -110 >= -745 @ 32.1009
32.76/32.99	c bounds -110 >= -744 @ 32.1012
32.76/32.99	c bounds -110 >= -743 @ 32.1014
32.76/32.99	c bounds -110 >= -742 @ 32.1016
32.76/32.99	c bounds -110 >= -741 @ 32.1018
32.76/32.99	c bounds -110 >= -740 @ 32.102
32.76/32.99	c bounds -110 >= -739 @ 32.1024
32.76/32.99	c bounds -110 >= -738 @ 32.1026
32.76/32.99	c bounds -110 >= -737 @ 32.1029
32.76/32.99	c bounds -110 >= -736 @ 32.1033
32.76/32.99	c bounds -110 >= -735 @ 32.1036
32.76/32.99	c bounds -110 >= -734 @ 32.1041
32.76/32.99	c bounds -110 >= -733 @ 32.1041
32.76/32.99	c bounds -110 >= -732 @ 32.1041
32.76/33.00	c bounds -142 >= -732 @ 32.1084
32.76/33.00	c bounds -142 >= -731 @ 32.1089
32.76/33.00	c bounds -142 >= -730 @ 32.1092
32.76/33.00	c bounds -142 >= -729 @ 32.1094
32.76/33.00	c bounds -142 >= -728 @ 32.1097
32.76/33.00	c bounds -142 >= -727 @ 32.1099
32.76/33.00	c bounds -142 >= -726 @ 32.1103
32.76/33.00	c bounds -142 >= -725 @ 32.1106
32.76/33.00	c bounds -142 >= -724 @ 32.1108
32.76/33.00	c bounds -142 >= -723 @ 32.1112
32.76/33.00	c bounds -142 >= -722 @ 32.1114
32.76/33.00	c bounds -142 >= -721 @ 32.1117
32.76/33.00	c bounds -142 >= -720 @ 32.1122
32.76/33.00	c bounds -142 >= -719 @ 32.1125
32.76/33.00	c bounds -142 >= -718 @ 32.1128
32.86/33.00	c bounds -142 >= -717 @ 32.1132
32.86/33.00	c bounds -142 >= -716 @ 32.1134
32.86/33.00	c bounds -142 >= -715 @ 32.1138
32.86/33.00	c bounds -142 >= -714 @ 32.1141
32.86/33.00	c bounds -142 >= -713 @ 32.1146
32.86/33.00	c bounds -142 >= -712 @ 32.1149
32.86/33.00	c bounds -142 >= -711 @ 32.1152
32.86/33.00	c bounds -142 >= -710 @ 32.1155
32.86/33.00	c bounds -142 >= -709 @ 32.1158
32.86/33.00	c bounds -142 >= -708 @ 32.1159
32.86/33.00	c bounds -142 >= -707 @ 32.1159
32.86/33.01	c bounds -142 >= -706 @ 32.1159
32.86/33.01	c bounds -142 >= -705 @ 32.1162
32.86/33.01	c bounds -142 >= -704 @ 32.1165
32.86/33.01	c bounds -142 >= -703 @ 32.1169
32.86/33.01	c bounds -200 >= -703 @ 32.1214
32.86/33.01	c bounds -200 >= -702 @ 32.122
32.86/33.01	c bounds -200 >= -701 @ 32.1224
32.86/33.01	c bounds -200 >= -700 @ 32.1228
32.86/33.01	c bounds -200 >= -699 @ 32.1231
32.86/33.01	c bounds -200 >= -698 @ 32.1234
32.86/33.01	c bounds -200 >= -697 @ 32.1237
32.86/33.01	c bounds -200 >= -696 @ 32.1242
32.86/33.01	c bounds -200 >= -695 @ 32.1245
32.86/33.01	c bounds -200 >= -694 @ 32.1248
32.86/33.01	c bounds -200 >= -693 @ 32.1251
32.86/33.01	c bounds -200 >= -692 @ 32.1254
32.86/33.02	c bounds -200 >= -691 @ 32.1258
32.86/33.02	c bounds -200 >= -690 @ 32.1261
32.86/33.02	c bounds -200 >= -689 @ 32.1264
32.86/33.02	c bounds -287 >= -689 @ 32.13
32.86/33.02	c bounds -287 >= -688 @ 32.1306
32.86/33.02	c bounds -287 >= -687 @ 32.1311
32.86/33.02	c bounds -287 >= -686 @ 32.1313
32.86/33.02	c bounds -287 >= -685 @ 32.1316
32.86/33.02	c bounds -287 >= -684 @ 32.1322
32.86/33.02	c bounds -287 >= -683 @ 32.1325
32.86/33.02	c bounds -287 >= -682 @ 32.1329
32.86/33.02	c bounds -287 >= -681 @ 32.1333
32.86/33.02	c bounds -287 >= -680 @ 32.1339
32.86/33.02	c bounds -287 >= -679 @ 32.1346
32.86/33.03	c bounds -316 >= -679 @ 32.1387
32.86/33.03	c bounds -316 >= -678 @ 32.1402
32.86/33.03	c bounds -316 >= -677 @ 32.1409
32.86/33.03	c bounds -316 >= -676 @ 32.1414
32.86/33.03	c bounds -316 >= -675 @ 32.142
32.86/33.04	c bounds -374 >= -675 @ 32.1469
32.86/33.04	c bounds -374 >= -674 @ 32.1481
32.86/33.04	c bounds -374 >= -673 @ 32.1489
32.86/33.04	c bounds -374 >= -672 @ 32.1495
32.86/33.04	c bounds -374 >= -671 @ 32.1502
32.86/33.05	c bounds -387 >= -671 @ 32.1594
32.86/33.05	c bounds -387 >= -670 @ 32.1605
32.86/33.05	c bounds -387 >= -669 @ 32.1609
32.86/33.05	c bounds -387 >= -668 @ 32.1622
32.86/33.05	c bounds -387 >= -667 @ 32.1628
32.86/33.05	c bounds -387 >= -666 @ 32.1633
32.86/33.06	c bounds -387 >= -665 @ 32.1648
32.86/33.06	c bounds -387 >= -664 @ 32.1657
32.86/33.06	c bounds -387 >= -663 @ 32.1658
32.86/33.06	c bounds -387 >= -662 @ 32.1678
32.86/33.07	c bounds -426 >= -662 @ 32.1751
32.86/33.07	c bounds -426 >= -661 @ 32.178
32.86/33.07	c bounds -426 >= -660 @ 32.1787
32.86/33.07	c bounds -426 >= -659 @ 32.1788
32.86/33.09	c bounds -436 >= -659 @ 32.1917
32.86/33.09	c bounds -436 >= -658 @ 32.1932
32.86/33.09	c bounds -436 >= -657 @ 32.1968
32.86/33.10	c bounds -436 >= -656 @ 32.2005
32.86/33.10	c bounds -436 >= -655 @ 32.2007
32.96/33.10	c bounds -447 >= -655 @ 32.2064
32.96/33.11	c bounds -447 >= -654 @ 32.2087
32.96/33.11	c bounds -447 >= -653 @ 32.2106
32.96/33.12	c bounds -451 >= -653 @ 32.2148
32.96/33.13	c bounds -451 >= -652 @ 32.2249
32.96/33.13	c bounds -453 >= -652 @ 32.2313
32.96/33.16	c bounds -466 >= -652 @ 32.2607
32.96/33.17	c bounds -466 >= -651 @ 32.2631
32.96/33.17	c bounds -466 >= -650 @ 32.2645
32.96/33.17	c bounds -466 >= -649 @ 32.2672
32.96/33.17	c bounds -466 >= -648 @ 32.2699
32.96/33.18	c bounds -471 >= -648 @ 32.2761
32.96/33.19	c bounds -471 >= -647 @ 32.2815
32.96/33.19	c bounds -476 >= -647 @ 32.2857
32.96/33.19	c bounds -476 >= -646 @ 32.2888
33.06/33.20	c bounds -481 >= -646 @ 32.2933
33.06/33.20	c bounds -481 >= -645 @ 32.2967
33.06/33.21	c bounds -486 >= -645 @ 32.3006
33.06/33.21	c bounds -486 >= -644 @ 32.3055
33.15/33.32	c bounds -492 >= -644 @ 32.4106
33.15/33.33	c bounds -492 >= -643 @ 32.4199
33.15/33.34	c bounds -492 >= -642 @ 32.4307
33.15/33.35	c bounds -492 >= -641 @ 32.4379
33.15/33.36	c bounds -492 >= -640 @ 32.4452
33.15/33.37	c bounds -492 >= -639 @ 32.4579
33.26/33.40	c bounds -498 >= -639 @ 32.4814
33.26/33.41	c bounds -498 >= -638 @ 32.5003
33.26/33.47	c bounds -507 >= -638 @ 32.5604
33.26/33.49	c bounds -507 >= -637 @ 32.576
33.36/33.50	c bounds -515 >= -637 @ 32.5868
33.36/33.53	c #Conflicts:       1000 | #Constraints:      84204
33.36/33.53	c bounds -515 >= -636 @ 32.613
33.36/33.59	c bounds -519 >= -636 @ 32.6724
33.45/33.64	c bounds -523 >= -636 @ 32.7184
33.55/33.70	c bounds -523 >= -635 @ 32.782
34.05/34.24	c bounds -540 >= -635 @ 33.3109
34.15/34.30	c bounds -540 >= -634 @ 33.3741
60.68/60.91	c #Conflicts:       2000 | #Constraints:      85408
60.68/60.91	c INPROCESSING
60.68/60.91	c GARBAGE COLLECT
60.68/60.91	c bounds -540 >= -633 @ 59.8297
60.78/61.02	c bounds -540 >= -632 @ 59.9371
62.78/63.02	c #Conflicts:       3000 | #Constraints:      84730
62.78/63.02	c #Conflicts:       4000 | #Constraints:      85730
62.78/63.02	c INPROCESSING
62.78/63.02	c GARBAGE COLLECT
62.78/63.02	c bounds -540 >= -631 @ 61.9104
62.88/63.17	c #Conflicts:       5000 | #Constraints:      84863
62.88/63.17	c bounds -540 >= -630 @ 62.0587
62.97/63.26	c bounds -540 >= -629 @ 62.1525
63.17/63.41	c bounds -540 >= -628 @ 62.2984
63.27/63.52	c #Conflicts:       6000 | #Constraints:      86013
63.27/63.52	c bounds -540 >= -627 @ 62.3993
63.37/63.65	c bounds -540 >= -626 @ 62.5316
63.57/63.85	c INPROCESSING
63.57/63.85	c #Conflicts:       7000 | #Constraints:      84807
63.57/63.85	c bounds -540 >= -625 @ 62.7325
65.93/66.28	c #Conflicts:       8000 | #Constraints:      85873
65.93/66.28	c #Conflicts:       9000 | #Constraints:      86873
65.93/66.28	c INPROCESSING
65.93/66.28	c GARBAGE COLLECT
65.93/66.28	c bounds -540 >= -624 @ 65.1052
66.14/66.44	c #Conflicts:      10000 | #Constraints:      85589
66.14/66.44	c bounds -540 >= -623 @ 65.2674
66.23/66.58	c bounds -540 >= -622 @ 65.3942
66.53/66.83	c #Conflicts:      11000 | #Constraints:      86664
66.53/66.83	c bounds -540 >= -621 @ 65.6424
66.93/67.20	c #Conflicts:      12000 | #Constraints:      87718
66.93/67.20	c INPROCESSING
66.93/67.20	c bounds -540 >= -620 @ 66.01
67.13/67.43	c bounds -540 >= -619 @ 66.2368
67.44/67.76	c #Conflicts:      13000 | #Constraints:      86147
67.44/67.76	c bounds -540 >= -618 @ 66.5523
69.62/69.94	c #Conflicts:      14000 | #Constraints:      87180
69.62/69.94	c #Conflicts:      15000 | #Constraints:      88180
69.62/69.94	c INPROCESSING
69.62/69.94	c GARBAGE COLLECT
69.62/69.94	c #Conflicts:      16000 | #Constraints:      86360
69.62/69.94	c bounds -540 >= -617 @ 68.7091
76.41/76.78	c #Conflicts:      17000 | #Constraints:      87462
76.41/76.78	c #Conflicts:      18000 | #Constraints:      88462
76.41/76.78	c INPROCESSING
76.41/76.78	c GARBAGE COLLECT
76.41/76.78	c #Conflicts:      19000 | #Constraints:      86444
76.41/76.78	c bounds -540 >= -616 @ 75.4989
77.01/77.30	c #Conflicts:      20000 | #Constraints:      87504
77.01/77.30	c bounds -540 >= -615 @ 76.0135
180.96/181.66	c #Conflicts:      21000 | #Constraints:      88555
180.96/181.66	c INPROCESSING
180.96/181.66	c GARBAGE COLLECT
180.96/181.66	c #Conflicts:      22000 | #Constraints:      86204
180.96/181.66	c #Conflicts:      23000 | #Constraints:      87204
180.96/181.66	c #Conflicts:      24000 | #Constraints:      88204
180.96/181.66	c #Conflicts:      25000 | #Constraints:      89204
180.96/181.66	c #Conflicts:      26000 | #Constraints:      90205
180.96/181.66	c #Conflicts:      27000 | #Constraints:      91205
180.96/181.66	c #Conflicts:      28000 | #Constraints:      92206
180.96/181.66	c #Conflicts:      29000 | #Constraints:      93206
180.96/181.66	c #Conflicts:      30000 | #Constraints:      94206
180.96/181.66	c #Conflicts:      31000 | #Constraints:      95207
180.96/181.66	c #Conflicts:      32000 | #Constraints:      96207
180.96/181.66	c #Conflicts:      33000 | #Constraints:      97208
180.96/181.66	c INPROCESSING
180.96/181.66	c GARBAGE COLLECT
180.96/181.66	c rational objective -583
182.45/183.15	c #Conflicts:      34000 | #Constraints:      90289
182.45/183.15	c bounds -540 >= -614 @ 181.162
187.84/188.54	c bounds -540 >= -613 @ 186.502
188.34/189.00	c #Conflicts:      35000 | #Constraints:      91386
188.34/189.00	c bounds -540 >= -612 @ 186.963
188.73/189.44	c #Conflicts:      36000 | #Constraints:      92425
188.73/189.44	c bounds -540 >= -611 @ 187.394
189.13/189.84	c #Conflicts:      37000 | #Constraints:      93461
189.13/189.84	c bounds -540 >= -610 @ 187.782
189.83/190.52	c #Conflicts:      38000 | #Constraints:      94497
189.83/190.52	c INPROCESSING
189.83/190.52	c GARBAGE COLLECT
189.83/190.52	c bounds -540 >= -609 @ 188.439
195.32/196.07	c #Conflicts:      39000 | #Constraints:      89366
195.32/196.07	c bounds -540 >= -608 @ 193.958
195.81/196.59	c #Conflicts:      40000 | #Constraints:      90408
195.81/196.59	c bounds -540 >= -607 @ 194.464
196.61/197.32	c #Conflicts:      41000 | #Constraints:      91447
196.61/197.32	c bounds -540 >= -606 @ 195.186
197.31/198.10	c #Conflicts:      42000 | #Constraints:      92492
197.31/198.10	c INPROCESSING
197.31/198.10	c GARBAGE COLLECT
197.31/198.10	c #Conflicts:      43000 | #Constraints:      87775
197.31/198.10	c bounds -540 >= -605 @ 195.953
204.59/205.38	WSVECS04 Frhs2[16]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[17]: 6 0 1.00003 shouldn't be
204.59/205.38	WSVECS04 Frhs2[21]: 6 0 1.00003 shouldn't be
204.59/205.38	WSVECS04 Frhs2[22]: 6 0 1.00008 shouldn't be
204.59/205.38	WSVECS04 Frhs2[23]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[26]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[27]: 6 0 1.00006 shouldn't be
204.59/205.38	WSVECS04 Frhs2[42]: 6 0 1.00007 shouldn't be
204.59/205.38	WSVECS04 Frhs2[620]: 6 0 1.00008 shouldn't be
204.59/205.38	WSVECS04 Frhs2[621]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[622]: 6 0 1.00006 shouldn't be
204.59/205.38	WSVECS04 Frhs2[623]: 6 0 1.00003 shouldn't be
204.59/205.38	WSVECS04 Frhs2[625]: 6 0 1.00003 shouldn't be
204.59/205.38	WSVECS04 Frhs2[626]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[627]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[628]: 6 0 1.00008 shouldn't be
204.59/205.38	WSVECS04 Frhs2[642]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[644]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[645]: 6 0 1.00007 shouldn't be
204.59/205.38	WSVECS04 Frhs2[649]: 6 0 1.00008 shouldn't be
204.59/205.38	WSVECS04 Frhs2[650]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[651]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[652]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[654]: 6 0 1.00006 shouldn't be
204.59/205.38	WSVECS04 Frhs2[655]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[656]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[657]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[671]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[673]: 6 0 1.0001 shouldn't be
204.59/205.38	WSVECS04 Frhs2[752]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[777]: 6 0 1.00009 shouldn't be
204.59/205.38	WSVECS04 Frhs2[779]: 6 0 1.00004 shouldn't be
204.59/205.38	WSVECS04 Frhs2[780]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[801]: 6 0 1.00004 shouldn't be
204.59/205.38	WSVECS04 Frhs2[803]: 6 0 1.00007 shouldn't be
204.59/205.38	WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be
204.59/205.38	WSVECS04 Frhs2[824]: 6 0 1.00007 shouldn't be
204.59/205.38	WSVECS04 Frhs2[826]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[827]: 6 0 1.0001 shouldn't be
204.59/205.38	WSVECS04 Frhs2[867]: 6 0 1.00002 shouldn't be
204.59/205.38	WSVECS04 Frhs2[887]: 6 0 1.00005 shouldn't be
204.59/205.38	WSVECS04 Frhs2[889]: 6 0 1.00003 shouldn't be
204.59/205.38	WSVECS04 Frhs2[890]: 6 0 1.00001 shouldn't be
204.59/205.38	WSVECS04 Frhs2[906]: 6 0 1.00004 shouldn't be
204.59/205.38	WSVECS04 Frhs2[908]: 6 0 1.00007 shouldn't be
204.59/205.38	WSVECS04 Frhs2[909]: 6 0 1.00006 shouldn't be
204.59/205.38	WSVECS04 Frhs2[924]: 6 0 1.00007 shouldn't be
209.47/210.27	c #Conflicts:      44000 | #Constraints:      88818
209.47/210.27	c bounds -540 >= -604 @ 208.055
210.37/211.16	c #Conflicts:      45000 | #Constraints:      89902
210.37/211.16	c #Conflicts:      46000 | #Constraints:      90902
210.37/211.16	c bounds -540 >= -603 @ 208.936
211.27/212.06	c #Conflicts:      47000 | #Constraints:      91926
211.27/212.06	c bounds -540 >= -602 @ 209.816
212.37/213.14	c #Conflicts:      48000 | #Constraints:      92956
212.37/213.14	c INPROCESSING
212.37/213.14	c GARBAGE COLLECT
212.37/213.14	c #Conflicts:      49000 | #Constraints:      88666
212.37/213.14	c bounds -540 >= -601 @ 210.894
213.46/214.23	c #Conflicts:      50000 | #Constraints:      89741
213.46/214.23	c #Conflicts:      51000 | #Constraints:      90741
213.46/214.23	c bounds -540 >= -600 @ 211.962
220.33/221.45	c #Conflicts:      52000 | #Constraints:      91813
220.33/221.45	c bounds -540 >= -599 @ 218.822
221.83/222.98	c #Conflicts:      53000 | #Constraints:      92844
221.83/222.98	c #Conflicts:      54000 | #Constraints:      93844
221.83/222.98	c #Conflicts:      55000 | #Constraints:      94844
221.83/222.98	c bounds -540 >= -598 @ 220.331
222.94/224.07	c #Conflicts:      56000 | #Constraints:      95871
222.94/224.07	c bounds -540 >= -597 @ 221.412
229.51/230.68	c #Conflicts:      57000 | #Constraints:      96901
229.51/230.68	c #Conflicts:      58000 | #Constraints:      97901
229.51/230.68	c bounds -540 >= -596 @ 227.97
230.71/231.89	c #Conflicts:      59000 | #Constraints:      98923
230.71/231.89	c #Conflicts:      60000 | #Constraints:      99923
230.71/231.89	c bounds -540 >= -595 @ 229.161
232.20/233.31	c #Conflicts:      61000 | #Constraints:     100971
232.20/233.31	c #Conflicts:      62000 | #Constraints:     101971
232.20/233.31	c bounds -540 >= -594 @ 230.558
241.98/243.14	c #Conflicts:      63000 | #Constraints:     103007
241.98/243.14	c #Conflicts:      64000 | #Constraints:     104007
241.98/243.14	WSVECS04 Frhs2[31]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[32]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[33]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[34]: 6 0 1.00007 shouldn't be
241.98/243.14	WSVECS04 Frhs2[36]: 6 0 1.00005 shouldn't be
241.98/243.14	WSVECS04 Frhs2[37]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[45]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[562]: 6 0 1.00005 shouldn't be
241.98/243.14	WSVECS04 Frhs2[563]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[564]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[565]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[567]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[593]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[594]: 6 0 1.00001 shouldn't be
241.98/243.14	WSVECS04 Frhs2[595]: 6 0 1.00005 shouldn't be
241.98/243.14	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[598]: 6 0 1.00007 shouldn't be
241.98/243.14	WSVECS04 Frhs2[620]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[621]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[622]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[623]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[625]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[626]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[628]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[707]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[708]: 6 0 1.0001 shouldn't be
241.98/243.14	WSVECS04 Frhs2[709]: 6 0 1.0001 shouldn't be
241.98/243.14	WSVECS04 Frhs2[710]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[712]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[968]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[969]: 6 0 1.00007 shouldn't be
241.98/243.14	WSVECS04 Frhs2[971]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[973]: 6 0 1.00007 shouldn't be
241.98/243.14	WSVECS04 Frhs2[974]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[975]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[982]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[983]: 6 0 1.00001 shouldn't be
241.98/243.14	WSVECS04 Frhs2[985]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[986]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[987]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[995]: 6 0 1.0001 shouldn't be
241.98/243.14	WSVECS04 Frhs2[996]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[998]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[999]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1000]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1001]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1002]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1007]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1008]: 6 0 1.00008 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1010]: 6 0 1.00009 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1011]: 6 0 1.00002 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1012]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1013]: 6 0 1.00004 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1014]: 6 0 1.00006 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1025]: 6 0 1.00003 shouldn't be
241.98/243.14	WSVECS04 Frhs2[1028]: 6 0 1.00003 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1029]: 6 0 1.00006 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1031]: 6 0 1.00006 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1033]: 6 0 1.0001 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1034]: 6 0 1.00006 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1035]: 6 0 1.00002 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1036]: 6 0 1.00002 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1037]: 6 0 1.00003 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1041]: 6 0 1.00004 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1043]: 6 0 1.00003 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1044]: 6 0 1.00004 shouldn't be
241.98/243.15	WSVECS04 Frhs2[1045]: 6 0 1.00008 shouldn't be
254.94/256.17	WSVECS04 Frhs2[624]: 6 0 1.00006 shouldn't be
254.94/256.17	WSVECS04 Frhs2[976]: 6 0 1.00004 shouldn't be
254.94/256.17	WSVECS04 Frhs2[989]: 6 0 1.00004 shouldn't be
254.94/256.17	WSVECS04 Frhs2[990]: 6 0 1.00003 shouldn't be
254.94/256.17	WSVECS04 Frhs2[1015]: 6 0 1.00001 shouldn't be
254.94/256.17	WSVECS04 Frhs2[1032]: 6 0 1.00003 shouldn't be
254.94/256.17	WSVECS04 Frhs2[1038]: 6 0 1.00009 shouldn't be
254.94/256.17	WSVECS04 Frhs2[1040]: 6 0 1.00003 shouldn't be
294.93/296.29	c #Conflicts:      65000 | #Constraints:     105008
294.93/296.29	c INPROCESSING
294.93/296.29	c GARBAGE COLLECT
294.93/296.29	c rational objective -583
297.62/298.92	c #Conflicts:      66000 | #Constraints:      94465
297.62/298.92	c #Conflicts:      67000 | #Constraints:      95465
297.62/298.92	c bounds -540 >= -593 @ 295.779
299.71/301.08	c #Conflicts:      68000 | #Constraints:      96513
299.71/301.08	c #Conflicts:      69000 | #Constraints:      97513
299.71/301.08	c bounds -540 >= -592 @ 297.904
304.49/305.80	c #Conflicts:      70000 | #Constraints:      98558
304.49/305.80	c #Conflicts:      71000 | #Constraints:      99558
304.49/305.80	c INPROCESSING
304.49/305.80	c GARBAGE COLLECT
304.49/305.80	c #Conflicts:      72000 | #Constraints:      91889
304.49/305.80	c #Conflicts:      73000 | #Constraints:      92889
304.49/305.80	c #Conflicts:      74000 | #Constraints:      93889
304.49/305.80	c bounds -540 >= -591 @ 302.558
339.98/341.85	c #Conflicts:      75000 | #Constraints:      94961
339.98/341.85	c #Conflicts:      76000 | #Constraints:      95961
339.98/341.85	c #Conflicts:      77000 | #Constraints:      96961
339.98/341.85	c #Conflicts:      78000 | #Constraints:      97961
339.98/341.85	c INPROCESSING
339.98/341.85	c GARBAGE COLLECT
339.98/341.85	c rational objective -582.333
342.67/344.53	c #Conflicts:      79000 | #Constraints:      91316
342.67/344.53	c #Conflicts:      80000 | #Constraints:      92316
342.67/344.53	c bounds -540 >= -590 @ 340.594
344.96/346.87	c #Conflicts:      81000 | #Constraints:      93397
344.96/346.87	c #Conflicts:      82000 | #Constraints:      94398
344.96/346.87	c #Conflicts:      83000 | #Constraints:      95398
344.96/346.87	c bounds -540 >= -589 @ 342.902
351.55/353.47	WSVECS04 Frhs2[29]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[30]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[31]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[35]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[37]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[39]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[42]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[188]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[189]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[190]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[193]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[194]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[195]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[196]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[197]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[198]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[199]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[200]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[202]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[214]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[217]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[269]: 6 0 1.0001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[270]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[274]: 6 0 1.0001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[275]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[276]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[277]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[278]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[279]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[280]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[283]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[295]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[298]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[310]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[313]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[314]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[315]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[316]: 6 0 1.00001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[317]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[318]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[319]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[322]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[334]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[337]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[347]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[348]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[351]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[353]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[354]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[356]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[357]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[358]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[360]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[372]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[375]: 6 0 1.00006 shouldn't be
351.55/353.47	WSVECS04 Frhs2[383]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[384]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[385]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[388]: 6 0 1.00001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[389]: 6 0 1.00001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[390]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[392]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[393]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[394]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[395]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[397]: 6 0 1.00007 shouldn't be
351.55/353.47	WSVECS04 Frhs2[409]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[412]: 6 0 1.0001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[560]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[563]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[565]: 6 0 1.00002 shouldn't be
351.55/353.47	WSVECS04 Frhs2[567]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[590]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[591]: 6 0 1.00008 shouldn't be
351.55/353.47	WSVECS04 Frhs2[594]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[596]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[620]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[622]: 6 0 1.00004 shouldn't be
351.55/353.47	WSVECS04 Frhs2[624]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[625]: 6 0 1.00001 shouldn't be
351.55/353.47	WSVECS04 Frhs2[626]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[628]: 6 0 1.00005 shouldn't be
351.55/353.47	WSVECS04 Frhs2[640]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[643]: 6 0 1.00003 shouldn't be
351.55/353.47	WSVECS04 Frhs2[704]: 6 0 1.00009 shouldn't be
351.55/353.47	WSVECS04 Frhs2[705]: 6 0 1.00004 shouldn't be
351.55/353.48	WSVECS04 Frhs2[706]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[707]: 6 0 1.00003 shouldn't be
351.55/353.48	WSVECS04 Frhs2[708]: 6 0 1.00003 shouldn't be
351.55/353.48	WSVECS04 Frhs2[709]: 6 0 1.00009 shouldn't be
351.55/353.48	WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[712]: 6 0 1.00006 shouldn't be
351.55/353.48	WSVECS04 Frhs2[724]: 6 0 1.00007 shouldn't be
351.55/353.48	WSVECS04 Frhs2[727]: 6 0 1.00009 shouldn't be
351.55/353.48	WSVECS04 Frhs2[753]: 6 0 1.00001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[775]: 6 0 1.00001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[778]: 6 0 1.00004 shouldn't be
351.55/353.48	WSVECS04 Frhs2[844]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[847]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[885]: 6 0 1.00003 shouldn't be
351.55/353.48	WSVECS04 Frhs2[888]: 6 0 1.00007 shouldn't be
351.55/353.48	WSVECS04 Frhs2[925]: 6 0 1.00009 shouldn't be
351.55/353.48	WSVECS04 Frhs2[938]: 6 0 1.00007 shouldn't be
351.55/353.48	WSVECS04 Frhs2[943]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[944]: 6 0 1.00009 shouldn't be
351.55/353.48	WSVECS04 Frhs2[954]: 6 0 1.00009 shouldn't be
351.55/353.48	WSVECS04 Frhs2[957]: 6 0 1.00008 shouldn't be
351.55/353.48	WSVECS04 Frhs2[959]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[960]: 6 0 1.00003 shouldn't be
351.55/353.48	WSVECS04 Frhs2[969]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[972]: 6 0 1.00004 shouldn't be
351.55/353.48	WSVECS04 Frhs2[974]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[975]: 6 0 1.00008 shouldn't be
351.55/353.48	WSVECS04 Frhs2[983]: 6 0 1.00001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[986]: 6 0 1.00004 shouldn't be
351.55/353.48	WSVECS04 Frhs2[996]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[999]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1008]: 6 0 1.00007 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1011]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1022]: 6 0 1.00007 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1024]: 6 0 1.00001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1025]: 6 0 1.00006 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1029]: 6 0 1.00001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1032]: 6 0 1.0001 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1038]: 6 0 1.00006 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1041]: 6 0 1.00003 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1043]: 6 0 1.00005 shouldn't be
351.55/353.48	WSVECS04 Frhs2[1044]: 6 0 1.00004 shouldn't be
366.19/368.14	WSVECS04 Frhs2[271]: 6 0 1.00003 shouldn't be
366.19/368.14	WSVECS04 Frhs2[320]: 6 0 1.00004 shouldn't be
366.19/368.14	WSVECS04 Frhs2[352]: 6 0 1.00008 shouldn't be
366.19/368.14	WSVECS04 Frhs2[391]: 6 0 1.00007 shouldn't be
366.19/368.14	WSVECS04 Frhs2[559]: 6 0 1.00009 shouldn't be
366.19/368.14	WSVECS04 Frhs2[598]: 6 0 1.00006 shouldn't be
366.19/368.14	WSVECS04 Frhs2[623]: 6 0 1.00005 shouldn't be
366.19/368.14	WSVECS04 Frhs2[750]: 6 0 1.00009 shouldn't be
366.19/368.14	WSVECS04 Frhs2[922]: 6 0 1.00009 shouldn't be
366.19/368.14	WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be
368.38/370.35	c #Conflicts:      84000 | #Constraints:      96447
368.38/370.35	c #Conflicts:      85000 | #Constraints:      97447
368.38/370.35	c bounds -540 >= -588 @ 366.198
430.23/432.44	c #Conflicts:      86000 | #Constraints:      98468
430.23/432.44	c #Conflicts:      87000 | #Constraints:      99468
430.23/432.44	c #Conflicts:      88000 | #Constraints:     100468
430.23/432.44	c #Conflicts:      89000 | #Constraints:     101468
430.23/432.44	c #Conflicts:      90000 | #Constraints:     102468
430.23/432.44	c #Conflicts:      91000 | #Constraints:     103468
430.23/432.44	c #Conflicts:      92000 | #Constraints:     104468
430.23/432.44	c #Conflicts:      93000 | #Constraints:     105468
430.23/432.44	c #Conflicts:      94000 | #Constraints:     106468
430.23/432.44	c #Conflicts:      95000 | #Constraints:     107468
430.23/432.44	c #Conflicts:      96000 | #Constraints:     108468
430.23/432.44	c #Conflicts:      97000 | #Constraints:     109470
430.23/432.44	c #Conflicts:      98000 | #Constraints:     110470
430.23/432.44	c #Conflicts:      99000 | #Constraints:     111470
430.23/432.44	c INPROCESSING
430.23/432.44	c GARBAGE COLLECT
430.23/432.44	c rational objective -575
435.12/437.31	c bounds -540 >= -587 @ 432.575
435.51/437.78	c #Conflicts:     100000 | #Constraints:      90136
435.51/437.78	c bounds -540 >= -586 @ 433.036
436.21/438.42	c #Conflicts:     101000 | #Constraints:      91172
436.21/438.42	c bounds -540 >= -585 @ 433.672
436.71/438.97	c #Conflicts:     102000 | #Constraints:      92196
436.71/438.97	c bounds -540 >= -584 @ 434.211
443.60/445.86	WSVECS04 Frhs2[32]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[33]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[559]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[560]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[562]: 6 0 1.00008 shouldn't be
443.60/445.86	WSVECS04 Frhs2[563]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[564]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[565]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[590]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[591]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[594]: 6 0 1.00006 shouldn't be
443.60/445.86	WSVECS04 Frhs2[595]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[620]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[623]: 6 0 1.00004 shouldn't be
443.60/445.86	WSVECS04 Frhs2[624]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[625]: 6 0 1.0001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[628]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[704]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[705]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[707]: 6 0 1.00001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[709]: 6 0 1.00006 shouldn't be
443.60/445.86	WSVECS04 Frhs2[710]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[712]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[739]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[740]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[750]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[753]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[764]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[765]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[775]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[778]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[811]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[812]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[822]: 6 0 1.00004 shouldn't be
443.60/445.86	WSVECS04 Frhs2[825]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[833]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[834]: 6 0 1.00006 shouldn't be
443.60/445.86	WSVECS04 Frhs2[844]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[847]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[854]: 6 0 1.00001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[855]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[865]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[868]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[874]: 6 0 1.00003 shouldn't be
443.60/445.86	WSVECS04 Frhs2[875]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[885]: 6 0 1.00005 shouldn't be
443.60/445.86	WSVECS04 Frhs2[888]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[911]: 6 0 1.00008 shouldn't be
443.60/445.86	WSVECS04 Frhs2[912]: 6 0 1.0001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[922]: 6 0 1.00006 shouldn't be
443.60/445.86	WSVECS04 Frhs2[925]: 6 0 1.0001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[983]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[986]: 6 0 1.00004 shouldn't be
443.60/445.86	WSVECS04 Frhs2[988]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[989]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[990]: 6 0 1.00008 shouldn't be
443.60/445.86	WSVECS04 Frhs2[996]: 6 0 1.00002 shouldn't be
443.60/445.86	WSVECS04 Frhs2[999]: 6 0 1.00009 shouldn't be
443.60/445.86	WSVECS04 Frhs2[1001]: 6 0 1.00007 shouldn't be
443.60/445.86	WSVECS04 Frhs2[1002]: 6 0 1.0001 shouldn't be
443.60/445.86	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
456.36/458.62	WSVECS04 Frhs2[593]: 6 0 1.00002 shouldn't be
456.36/458.62	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
456.36/458.62	WSVECS04 Frhs2[626]: 6 0 1.00002 shouldn't be
468.33/470.69	WSVECS04 Frhs2[598]: 6 0 1.00001 shouldn't be
468.33/470.69	WSVECS04 Frhs2[621]: 6 0 1.00005 shouldn't be
468.33/470.69	WSVECS04 Frhs2[708]: 6 0 1.00003 shouldn't be
485.48/487.85	WSVECS04 Frhs2[567]: 6 0 1.00005 shouldn't be
499.53/501.91	c #Conflicts:     103000 | #Constraints:      93229
499.53/501.91	c bounds -540 >= -583 @ 496.839
500.53/502.92	c #Conflicts:     104000 | #Constraints:      94268
500.53/502.92	c bounds -540 >= -582 @ 497.834
501.64/504.07	c #Conflicts:     105000 | #Constraints:      95298
501.64/504.07	c bounds -540 >= -581 @ 498.967
502.43/504.85	c #Conflicts:     106000 | #Constraints:      96331
502.43/504.85	c bounds -540 >= -580 @ 499.737
513.40/515.85	c #Conflicts:     107000 | #Constraints:      97367
513.40/515.85	c INPROCESSING
513.40/515.85	c GARBAGE COLLECT
513.40/515.85	WSVECS04 Frhs2[38]: 6 0 1.00008 shouldn't be
513.40/515.85	WSVECS04 Frhs2[41]: 6 0 1.00007 shouldn't be
513.40/515.85	WSVECS04 Frhs2[43]: 6 0 1.00002 shouldn't be
513.40/515.85	WSVECS04 Frhs2[46]: 6 0 1.00004 shouldn't be
513.40/515.85	WSVECS04 Frhs2[606]: 6 0 1.00008 shouldn't be
513.40/515.85	WSVECS04 Frhs2[607]: 6 0 1.00003 shouldn't be
513.40/515.85	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
513.40/515.85	WSVECS04 Frhs2[715]: 6 0 1.00007 shouldn't be
513.40/515.85	WSVECS04 Frhs2[718]: 6 0 1.00004 shouldn't be
513.40/515.85	WSVECS04 Frhs2[721]: 6 0 1.00006 shouldn't be
513.40/515.85	WSVECS04 Frhs2[909]: 6 0 1.00009 shouldn't be
513.40/515.85	WSVECS04 Frhs2[910]: 6 0 1.00003 shouldn't be
529.46/531.95	WSVECS04 Frhs2[22]: 6 0 1.00005 shouldn't be
529.46/531.95	WSVECS04 Frhs2[27]: 6 0 1.00007 shouldn't be
529.46/531.95	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
529.46/531.95	WSVECS04 Frhs2[40]: 6 0 1.0001 shouldn't be
529.46/531.95	WSVECS04 Frhs2[42]: 6 0 1.0001 shouldn't be
529.46/531.95	WSVECS04 Frhs2[44]: 6 0 1.00003 shouldn't be
529.46/531.95	WSVECS04 Frhs2[45]: 6 0 1.00001 shouldn't be
529.46/531.95	WSVECS04 Frhs2[570]: 6 0 1.00003 shouldn't be
529.46/531.95	WSVECS04 Frhs2[573]: 6 0 1.00009 shouldn't be
529.46/531.95	WSVECS04 Frhs2[576]: 6 0 1.00002 shouldn't be
529.46/531.95	WSVECS04 Frhs2[601]: 6 0 1.00007 shouldn't be
529.46/531.95	WSVECS04 Frhs2[604]: 6 0 1.00005 shouldn't be
529.46/531.95	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
529.46/531.95	WSVECS04 Frhs2[634]: 6 0 1.00008 shouldn't be
529.46/531.95	WSVECS04 Frhs2[719]: 6 0 1.00004 shouldn't be
529.46/531.95	WSVECS04 Frhs2[720]: 6 0 1.00004 shouldn't be
529.46/531.95	WSVECS04 Frhs2[797]: 6 0 1.00002 shouldn't be
529.46/531.95	WSVECS04 Frhs2[799]: 6 0 1.00009 shouldn't be
529.46/531.95	WSVECS04 Frhs2[800]: 6 0 1.00008 shouldn't be
529.46/531.95	WSVECS04 Frhs2[801]: 6 0 1.00002 shouldn't be
529.46/531.95	WSVECS04 Frhs2[802]: 6 0 1.00002 shouldn't be
529.46/531.95	WSVECS04 Frhs2[803]: 6 0 1.00003 shouldn't be
529.46/531.95	WSVECS04 Frhs2[804]: 6 0 1.00003 shouldn't be
529.46/531.95	WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be
529.46/531.95	WSVECS04 Frhs2[907]: 6 0 1.00007 shouldn't be
529.46/531.95	WSVECS04 Frhs2[908]: 6 0 1.00007 shouldn't be
548.40/550.97	WSVECS04 Frhs2[574]: 6 0 1.00002 shouldn't be
548.40/550.97	WSVECS04 Frhs2[575]: 6 0 1.00004 shouldn't be
548.40/550.97	WSVECS04 Frhs2[631]: 6 0 1.00002 shouldn't be
548.40/550.97	WSVECS04 Frhs2[636]: 6 0 1.00004 shouldn't be
548.40/550.97	WSVECS04 Frhs2[798]: 6 0 1.00008 shouldn't be
548.40/550.97	WSVECS04 Frhs2[904]: 6 0 1.00005 shouldn't be
548.40/550.97	WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be
564.65/567.26	WSVECS04 Frhs2[635]: 6 0 1.00008 shouldn't be
564.65/567.26	WSVECS04 Frhs2[805]: 6 0 1.00004 shouldn't be
564.65/567.26	WSVECS04 Frhs2[902]: 6 0 1.00004 shouldn't be
564.65/567.26	WSVECS04 Frhs2[906]: 6 0 1.00002 shouldn't be
658.76/661.61	c bounds -540 >= -579 @ 655.769
660.46/663.31	c #Conflicts:     108000 | #Constraints:      90006
660.46/663.31	c #Conflicts:     109000 | #Constraints:      91006
660.46/663.31	c bounds -540 >= -578 @ 657.441
661.75/664.61	c #Conflicts:     110000 | #Constraints:      92096
661.75/664.61	c #Conflicts:     111000 | #Constraints:      93096
661.75/664.61	c bounds -540 >= -577 @ 658.725
662.94/665.85	c #Conflicts:     112000 | #Constraints:      94144
662.94/665.85	c bounds -540 >= -576 @ 659.947
664.24/667.18	c #Conflicts:     113000 | #Constraints:      95168
664.24/667.18	c bounds -540 >= -575 @ 661.265
665.64/668.55	c #Conflicts:     114000 | #Constraints:      96198
665.64/668.55	c bounds -540 >= -574 @ 662.62
667.43/670.35	c #Conflicts:     115000 | #Constraints:      97228
667.43/670.35	c #Conflicts:     116000 | #Constraints:      98228
667.43/670.35	c bounds -540 >= -573 @ 664.388
668.42/671.39	c #Conflicts:     117000 | #Constraints:      99270
668.42/671.39	c bounds -540 >= -572 @ 665.421
669.72/672.62	c #Conflicts:     118000 | #Constraints:     100294
669.72/672.62	c bounds -540 >= -571 @ 666.637
671.61/674.56	c #Conflicts:     119000 | #Constraints:     101333
671.61/674.56	c #Conflicts:     120000 | #Constraints:     102333
671.61/674.56	c bounds -540 >= -570 @ 668.553
674.01/676.98	c #Conflicts:     121000 | #Constraints:     103366
674.01/676.98	c bounds -540 >= -569 @ 670.939
676.41/679.39	c #Conflicts:     122000 | #Constraints:     104393
676.41/679.39	c #Conflicts:     123000 | #Constraints:     105393
676.41/679.39	c bounds -540 >= -568 @ 673.324
678.69/681.67	c #Conflicts:     124000 | #Constraints:     106429
678.69/681.67	c #Conflicts:     125000 | #Constraints:     107429
678.69/681.67	c bounds -540 >= -567 @ 675.582
682.18/685.16	c #Conflicts:     126000 | #Constraints:     108456
682.18/685.16	c #Conflicts:     127000 | #Constraints:     109456
682.18/685.16	c bounds -540 >= -566 @ 679.022
684.87/687.80	c #Conflicts:     128000 | #Constraints:     110492
684.87/687.80	c #Conflicts:     129000 | #Constraints:     111492
684.87/687.80	c bounds -540 >= -565 @ 681.634
689.56/692.55	c #Conflicts:     130000 | #Constraints:     112513
689.56/692.55	c #Conflicts:     131000 | #Constraints:     113513
689.56/692.55	c INPROCESSING
689.56/692.55	c GARBAGE COLLECT
689.56/692.55	c #Conflicts:     132000 | #Constraints:      98184
689.56/692.55	c #Conflicts:     133000 | #Constraints:      99184
689.56/692.55	c bounds -540 >= -564 @ 686.326
710.90/713.97	c #Conflicts:     134000 | #Constraints:     100235
710.90/713.97	c #Conflicts:     135000 | #Constraints:     101237
710.90/713.97	c #Conflicts:     136000 | #Constraints:     102237
710.90/713.97	c #Conflicts:     137000 | #Constraints:     103237
710.90/713.97	c #Conflicts:     138000 | #Constraints:     104238
710.90/713.97	c #Conflicts:     139000 | #Constraints:     105238
710.90/713.97	c #Conflicts:     140000 | #Constraints:     106238
710.90/713.97	c bounds -540 >= -540 @ 707.586
710.90/713.97	c cpu time 707.586 s
710.90/713.97	c deterministic time 3198950639 3.20e+09
710.90/713.97	c optimization time 0.311216 s
710.90/713.97	c total solve time 706.897 s
710.90/713.97	c core-guided solve time 398.154 s
710.90/713.97	c propagation time 269.521 s
710.90/713.97	c conflict analysis time 81.4637 s
710.90/713.97	c propagations 84759435
710.90/713.97	c resolve steps 9087970
710.90/713.97	c decisions 267286
710.90/713.97	c conflicts 140403
710.90/713.97	c restarts 380
710.90/713.97	c inprocessing phases 18
710.90/713.97	c garbage collections 16 ,( 88.89 )
710.90/713.97	c input clauses 82592 ,( 95.42 )
710.90/713.97	c input cardinalities 2399 ,( 2.77 )
710.90/713.97	c input general constraints 1563 ,( 1.81 )
710.90/713.97	c input average constraint length 7.22
710.90/713.97	c input average constraint degree 2.09
710.90/713.97	c learned clauses 134746 ,( 95.90 )
710.90/713.97	c learned cardinalities 525 ,( 0.37 )
710.90/713.97	c learned general constraints 5231 ,( 3.72 )
710.90/713.97	c learned average constraint length 218.99
710.90/713.97	c learned average constraint degree 31274699.83
710.90/713.97	c watched  CF 32, 64, 128, Arb: 443 , 0 , 0 , 0
710.90/713.97	c counting CF 32, 64, 128, Arb: 6352 , 0 , 0 , 0
710.90/713.97	c watched   constraints 443 ,( 6.52 ) 
710.90/713.97	c counting  constraints 6351 ,( 93.48 ) 
710.90/713.97	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 353371713 , 213921444 , 116981466 ,( 572550 , 116408916 )
710.90/713.97	c gcd simplifications 19078
710.90/713.97	c detected cardinalities 2
710.90/713.97	c weakened non-implied lits 25892408
710.90/713.97	c weakened non-implying lits 170729
710.90/713.97	c original variables 6401
710.90/713.97	c clausal propagations 63893563
710.90/713.97	c cardinality propagations 6193748
710.90/713.97	c watched propagations 6991
710.90/713.97	c counting propagations 14281008
710.90/713.97	c watch lookups 1064555107
710.90/713.97	c watch backjump lookups 0
710.90/713.97	c watch checks 1564973364
710.90/713.97	c propagation checks 240331774
710.90/713.97	c constraint additions 158590399
710.90/713.97	c trail pops 85160870
710.90/713.97	c formula constraints 81100
710.90/713.97	c learned constraints 140450
710.90/713.97	c bound constraints 346
710.90/713.97	c core-guided constraints 5108
710.90/713.97	c encountered formula constraints 5876302
710.90/713.97	c encountered learned constraints 1493692
710.90/713.97	c encountered bound constraints 1175
710.90/713.97	c encountered core-guided constraints 1856379
710.90/713.97	c LP total time 566.459 s
710.90/713.97	c LP solve time 562.1 s
710.90/713.97	c LP constraints added 81126
710.90/713.97	c LP constraints removed 21
710.90/713.97	c LP pivots internal 142513
710.90/713.97	c LP pivots root 169890
710.90/713.97	c LP calls 34
710.90/713.97	c LP optimalities 5
710.90/713.97	c LP no pivot count 0
710.90/713.97	c LP infeasibilities 22
710.90/713.97	c LP valid Farkas constraints 22
710.90/713.97	c LP learned Farkas constraints 22
710.90/713.97	c LP basis resets 0
710.90/713.97	c LP cycling count 0
710.90/713.97	c LP singular count 0
710.90/713.97	c LP no primal count 0
710.90/713.97	c LP no farkas count 0
710.90/713.97	c LP other issue count 0
710.90/713.97	c LP Gomory cuts 8
710.90/713.97	c LP learned cuts 18
710.90/713.97	c LP deleted cuts 21
710.90/713.97	c LP encountered Gomory constraints 95
710.90/713.97	c LP encountered Farkas constraints 504
710.90/713.97	c LP encountered learned Farkas constraints 204
710.90/713.97	c CG auxiliary variables introduced 1809
710.90/713.97	c CG solutions found 26
710.90/713.97	c CG cores constructed 319
710.90/713.97	c CG core cardinality constraints returned 0
710.90/713.97	c CG unit cores 0
710.90/713.97	c CG single cores 314
710.90/713.97	c CG blocks removed during cardinality reduction 0
710.90/713.97	c CG first core best 0
710.90/713.97	c CG decision core best 0
710.90/713.97	c CG core reduction tie 5
710.90/713.97	c CG core degree average 1.00
710.90/713.97	c CG core slack average 7.21
710.90/713.97	c CG core upper bound improvements 0
710.90/713.97	c STR number of successful calls 0
710.90/713.97	c STR number of unsuccessful calls 0
710.90/713.97	c STR number of inconclusive calls 0
710.90/713.97	c STR number of successful attempts 0
710.90/713.97	c STR number of unsuccessful attempts 0
710.90/713.97	c STR number of inconclusive attempts 0
710.90/713.97	c STR average degree increase per successful call inf
710.90/713.97	c STR average degree increase per successful attempt inf
710.90/713.97	c STR total number of conflicts for successful attempts 0
710.90/713.97	c STR total number of conflicts for unsuccessful attempts 0
710.90/713.97	c STR total number of conflicts for inconclusive attempts 0
710.90/713.97	c STR average number of conflicts per successful attempt inf
710.90/713.97	c STR average number of conflicts per unsuccessful attempt inf
710.90/713.97	c STR average number of conflicts per inconclusive attempt inf
710.90/713.97	c AVG.sumWPerc 76.75 
710.90/713.97	c bigint constraints 0 
710.90/713.97	o -540
710.90/713.97	s OPTIMUM FOUND
710.90/713.97	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

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 16 15:45:10 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS -540 <= obj <= -540
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~540 <= obj <= ~540
--summary--
ALL OK

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (54470 MiB free)
  memory of node 1: 64465 MiB (59801 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532183-1752597605/watcher-4532183-1752597605 -o /tmp/evaluation-result-4532183-1752597605/solver-4532183-1752597605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752597589-136703 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532183-1752597605.opb PROOFDIR/proof-4532183-1752597605 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=136865, runsolver pid=136862

[startup+0.100062 s]*
/proc/loadavg: 1.91 2.03 3.00 5/271 136867
/proc/meminfo: memFree=116993784/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136867] ppid=136865 vsize=43892 memory=32584 CPUtime=0.09 cores=0,2
/proc/136867/stat : 136867 (pbsuma) R 136865 136865 136693 0 -1 4194304 7495 0 0 0 8 1 0 0 20 0 1 0 175438038 44945408 8146 18446744073709551615 4210688 4653049 140721463637392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11366400 140721463642337 140721463642672 140721463642672 140721463648239 0
/proc/136867/statm: 10973 8146 992 108 0 8381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48084 KiB
Current children cumulated memory: 35656 KiB

[startup+0.206026 s]*
/proc/loadavg: 1.91 2.03 3.00 5/271 136867
/proc/meminfo: memFree=116970096/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136867] ppid=136865 vsize=74068 memory=56316 CPUtime=0.19 cores=0,2
/proc/136867/stat : 136867 (pbsuma) R 136865 136865 136693 0 -1 4194304 14221 0 0 0 17 2 0 0 20 0 1 0 175438038 75845632 14079 18446744073709551615 4210688 4653049 140721463637392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11366400 140721463642337 140721463642672 140721463642672 140721463648239 0
/proc/136867/statm: 18517 14079 992 108 0 15925 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 59388 KiB

[startup+0.305855 s]*
/proc/loadavg: 1.91 2.03 3.00 5/271 136867
/proc/meminfo: memFree=116970096/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136867] ppid=136865 vsize=74068 memory=56444 CPUtime=0.29 cores=0,2
/proc/136867/stat : 136867 (pbsuma) R 136865 136865 136693 0 -1 4194304 14252 0 0 0 27 2 0 0 20 0 1 0 175438038 75845632 14111 18446744073709551615 4210688 4653049 140721463637392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 11366400 140721463642337 140721463642672 140721463642672 140721463648239 0
/proc/136867/statm: 18517 14111 992 108 0 15925 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 59516 KiB

[startup+0.700175 s]
/proc/loadavg: 1.91 2.03 3.00 5/271 136867
/proc/meminfo: memFree=116961208/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+1.50018 s]
/proc/loadavg: 2.07 2.06 3.00 5/271 136868
/proc/meminfo: memFree=116931540/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=201496 memory=134632 CPUtime=0.91 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 20410 0 0 0 79 12 0 0 20 0 1 0 175438095 206331904 33658 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 50374 33658 2336 1147 0 37800 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 205688 KiB
Current children cumulated memory: 137704 KiB

[startup+3.10585 s]
/proc/loadavg: 2.07 2.06 3.00 5/271 136868
/proc/meminfo: memFree=116761568/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=208180 memory=137192 CPUtime=2.51 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 21077 0 0 0 239 12 0 0 20 0 1 0 175438095 213176320 34298 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 52045 34298 2336 1147 0 39471 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 212372 KiB
Current children cumulated memory: 140264 KiB

[startup+6.30018 s]
/proc/loadavg: 2.23 2.10 3.01 5/271 136869
/proc/meminfo: memFree=116705152/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=208180 memory=137320 CPUtime=5.69 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 21088 0 0 0 556 13 0 0 20 0 1 0 175438095 213176320 34330 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 52045 34330 2368 1147 0 39471 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 212372 KiB
Current children cumulated memory: 140392 KiB

[startup+12.7002 s]
/proc/loadavg: 2.37 2.13 3.01 5/271 136869
/proc/meminfo: memFree=116672940/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=207772 memory=137216 CPUtime=12.08 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 21097 0 0 0 1193 15 0 0 20 0 1 0 175438095 212758528 34304 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 51943 34304 2400 1147 0 39369 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 211964 KiB
Current children cumulated memory: 140288 KiB

[startup+25.5002 s]
/proc/loadavg: 2.62 2.19 3.02 5/274 136872
/proc/meminfo: memFree=116674012/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=207772 memory=140184 CPUtime=24.84 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 21344 0 0 0 2465 19 0 0 20 0 1 0 175438095 212758528 35046 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 51943 35046 2400 1147 0 39369 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 211964 KiB
Current children cumulated memory: 143256 KiB

[startup+51.106 s]
/proc/loadavg: 3.23 2.38 3.06 5/274 136872
/proc/meminfo: memFree=116488564/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=235552 memory=162352 CPUtime=50.38 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 24009 0 0 0 5007 31 0 0 20 0 1 0 175438095 241205248 40588 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 58888 40588 2432 1147 0 46314 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 239744 KiB
Current children cumulated memory: 165424 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.65 3.12 5/274 136878
/proc/meminfo: memFree=115933564/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=247152 memory=172068 CPUtime=101.35 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 25448 0 0 0 10073 62 0 0 20 0 1 0 175438095 253083648 43017 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 61788 43017 2432 1147 0 49214 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 251344 KiB
Current children cumulated memory: 175140 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.91 3.18 5/274 136884
/proc/meminfo: memFree=115267972/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=265220 memory=179484 CPUtime=161.18 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 26289 0 0 0 16044 74 0 0 20 0 1 0 175438095 271585280 44871 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 66305 44871 2432 1147 0 53731 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 269412 KiB
Current children cumulated memory: 182556 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.13 3.24 5/275 136887
/proc/meminfo: memFree=114598460/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=267832 memory=186048 CPUtime=220.7 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 26935 0 0 0 21965 105 0 0 20 0 1 0 175438095 274259968 46512 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 66958 46512 2432 1147 0 54384 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 272024 KiB
Current children cumulated memory: 189120 KiB


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

/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29141 0 0 0 39776 194 0 0 20 0 1 0 175438095 314646528 57399 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 76818 57399 2432 1147 0 64244 0
Current children cumulated CPU time: 400.23 s
Current children cumulated vsize: 311464 KiB
Current children cumulated memory: 232668 KiB

[startup+462.3 s]
/proc/loadavg: 4.03 3.67 3.45 5/272 136944
/proc/meminfo: memFree=113736592/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=307272 memory=229596 CPUtime=459.51 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29144 0 0 0 45741 210 0 0 20 0 1 0 175438095 314646528 57399 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 76818 57399 2432 1147 0 64244 0
Current children cumulated CPU time: 460.04 s
Current children cumulated vsize: 311464 KiB
Current children cumulated memory: 232668 KiB

[startup+522.3 s]
/proc/loadavg: 4.11 3.77 3.50 5/272 136947
/proc/meminfo: memFree=113348088/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=307272 memory=229596 CPUtime=519.35 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29144 0 0 0 51710 225 0 0 20 0 1 0 175438095 314646528 57399 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 76818 57399 2432 1147 0 64244 0
Current children cumulated CPU time: 519.88 s
Current children cumulated vsize: 311464 KiB
Current children cumulated memory: 232668 KiB

[startup+582.3 s]
/proc/loadavg: 4.09 3.83 3.54 5/272 136949
/proc/meminfo: memFree=112952696/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=307272 memory=229596 CPUtime=579.17 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29162 0 0 0 57682 235 0 0 20 0 1 0 175438095 314646528 57399 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 76818 57399 2432 1147 0 64244 0
Current children cumulated CPU time: 579.7 s
Current children cumulated vsize: 311464 KiB
Current children cumulated memory: 232668 KiB

[startup+642.3 s]
/proc/loadavg: 4.07 3.87 3.57 6/273 136952
/proc/meminfo: memFree=112162856/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=307272 memory=229596 CPUtime=638.99 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29162 0 0 0 63655 244 0 0 20 0 1 0 175438095 314646528 57399 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 76818 57399 2432 1147 0 64244 0
Current children cumulated CPU time: 639.52 s
Current children cumulated vsize: 311464 KiB
Current children cumulated memory: 232668 KiB

[startup+702.3 s]
/proc/loadavg: 4.27 3.96 3.62 5/275 136958
/proc/meminfo: memFree=111436696/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=698.8 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 69598 282 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 699.33 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

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

# cumulated CPU time of all completed processes:  user=708.106 s, system=2.91754 s

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

[startup+704 s]*
/proc/loadavg: 4.27 3.96 3.62 5/275 136958
/proc/meminfo: memFree=111380324/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=700.5 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 69768 282 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 701.03 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

[startup+710.4 s]
/proc/loadavg: 4.25 3.96 3.63 5/275 136958
/proc/meminfo: memFree=111126092/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=706.87 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 70404 283 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 707.4 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

[startup+712 s]*
/proc/loadavg: 4.23 3.97 3.63 5/275 136958
/proc/meminfo: memFree=111081040/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=708.48 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 70564 284 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 709.01 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

[startup+712.8 s]
/proc/loadavg: 4.23 3.97 3.63 5/275 136958
/proc/meminfo: memFree=111081040/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=709.27 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 70642 285 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 709.8 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

[startup+713.6 s]
/proc/loadavg: 4.23 3.97 3.63 5/275 136958
/proc/meminfo: memFree=111049316/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=710.07 cores=0,2
/proc/136868/stat : 136868 (roundingsat) R 136865 136865 136693 0 -1 4194304 29636 0 0 0 70721 286 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 710.6 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

[startup+714 s]*
/proc/loadavg: 4.23 3.97 3.63 4/275 136958
/proc/meminfo: memFree=111056792/131250000 swapFree=33008356/33010684
[pid=136865] ppid=136862 vsize=4192 memory=3072 CPUtime=0.53 cores=0,2
/proc/136865/stat : 136865 (run-opt-ls-log.) S 136862 136865 136693 0 -1 4194304 240 15524 0 0 0 0 49 4 20 0 1 0 175438038 4292608 768 18446744073709551615 93942345162752 93942346057285 140735852753504 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93942346296336 93942346344080 93942370742272 140735852755225 140735852755423 140735852755423 140735852761027 0
/proc/136865/statm: 1048 768 704 219 0 110 0
[pid=136868] ppid=136865 vsize=325856 memory=235120 CPUtime=710.44 cores=0,2
/proc/136868/stat : 136868 (roundingsat) D 136865 136865 136693 0 -1 4194304 29636 0 0 0 70758 286 0 0 20 0 1 0 175438095 333676544 58780 18446744073709551615 4227072 8923577 140725708426032 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 31678464 140725708433652 140725708433958 140725708433958 140725708439530 0
/proc/136868/statm: 81464 58780 2432 1147 0 68890 0
Current children cumulated CPU time: 710.97 s
Current children cumulated vsize: 330048 KiB
Current children cumulated memory: 238192 KiB

Child status: 0

Real time (s): 714.057
CPU time (s): 711.024
CPU user time (s): 708.106
CPU system time (s): 2.91754
CPU usage (%): 99.5751
Max. virtual memory (cumulated for all children) (KiB): 330432
Max. memory (cumulated for all children) (KiB): 238192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 708.106
system time used= 2.91754
maximum resident set size= 235120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1510440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1776
involuntary context switches= 1132


# summary of solver processes directly reported to runsolver:
#   pid: 136865
#   total CPU time (s): 711.024
#   total CPU user time (s): 708.106
#   total CPU system time (s): 2.91754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50921 second user time and 3.49733 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-15 18:40:05
IDJOB=4532183
IDBENCH=178158
IDSOLVER=3392
FILE ID=nodeC019/4532183-1752597605
RUNJOBID= nodeC019-1752597589-136703
SLURM_JOB_ID= 9684395
Free space on /tmp= 432940 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532183-1752597605/watcher-4532183-1752597605 -o /tmp/evaluation-result-4532183-1752597605/solver-4532183-1752597605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752597589-136703 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532183-1752597605.opb PROOFDIR/proof-4532183-1752597605

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

MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=1827262843

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117014260 kB
MemAvailable:   129126316 kB
Buffers:             904 kB
Cached:         12885364 kB
SwapCached:          432 kB
Active:          1359632 kB
Inactive:       12214520 kB
Active(anon):     686300 kB
Inactive(anon):    27004 kB
Active(file):     673332 kB
Inactive(file): 12187516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            292900 kB
Writeback:             0 kB
AnonPages:        690632 kB
Mapped:           122212 kB
Shmem:             25416 kB
KReclaimable:     184992 kB
Slab:             290272 kB
SReclaimable:     184992 kB
SUnreclaim:       105280 kB
KernelStack:        4368 kB
PageTables:         4616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1061328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432932 MiB
End job on nodeC019 at 2025-07-15 18:52:00