Trace number 4532738

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3OPT cert.-540 848.935 852.422

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
MD5SUM84fd44c84eee80e386362762f3a8050d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-540
Best CPU time to get the best result obtained on this benchmark36.5516
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1081
Total number of constraints64860
Number of constraints which are clauses64860
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 883
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 883
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 883
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532738-1752597522.opb'
0.00/0.05	c 	read 2.03MB  (30.99ms)
0.00/0.05	c	 [cnf: #variables 1081 #clauses 64861 #duplicates 0 #arr 195463]
0.00/0.09	c output proof to 'PROOFDIR/proof-4532738-1752597522'
0.00/0.09	c 
0.00/0.09	c make graph and approximate orbits
0.03/0.10	c	 [group: #orbits ~= 10] (16.29ms)
0.03/0.10	c 
0.03/0.10	c detect special group actions
0.03/0.10	c 	probe for Johnson action (limit=64)
0.03/0.12	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.03/0.14	c 	probe for row symmetry (limit=64, splits=16.78M)
0.03/0.15	c 	 (46.26ms)
0.03/0.15	c 
0.03/0.15	c detect symmetries on remainder
0.03/0.15	c 	[graph: #vertices 69185 #edges 397412]
0.03/0.15	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.24/0.39	c 	 [group: #symmetries 7.55*10^30 #generators 13] (235.50ms)
0.24/0.39	c 
0.24/0.39	c optimize generators (opt_passes=64, conjugate_limit=256)
0.24/0.39	c 	opt it=15, l=413, m=158, opt=28, avg=880, b=180, gens=13
0.24/0.39	c 	opt it=31, l=733, m=270, opt=46, avg=799, b=180, gens=13
0.24/0.39	c 	opt it=47, l=1043, m=349, opt=52, avg=769, b=180, gens=13
0.24/0.39	c 	ran it=0, +gens=13 
0.34/0.43	c 	con best_support=180, best_gens=3, +gens=254
0.34/0.43	c 	(43.05ms)
0.34/0.43	c 
0.34/0.43	c finalize break order and special generators
0.34/0.43	c 
0.34/0.43	c add generic predicates (break_depth=20)
0.34/0.43	c 	added predicates for 280 generators (0.53ms)
0.34/0.48	c 
0.34/0.48	c generation finished
0.34/0.48	c 	[sbp: #constraints 16240 #add_vars 5320]
0.34/0.48	c 
0.34/0.48	c write result to 'HOME/instance-4532738-1752597522.opb.pre'
0.34/0.48	c 	wrote 2.64MB (5.78ms)
0.34/0.48	c ------------------------------------------------------------------
0.34/0.48	c                 235.50ms 50.73% detect_generic
0.34/0.48	c                  85.46ms 18.41% other
0.34/0.48	c                  46.26ms  9.97% detect_special
0.34/0.48	c                  43.05ms  9.27% optimize_gens
0.34/0.48	c                  30.99ms  6.68% parse
0.34/0.48	c                  16.29ms  3.51% approx_orbits
0.34/0.48	c                   5.78ms  1.24% output
0.34/0.48	c                   0.53ms  0.12% break_generic
0.34/0.48	c                   0.35ms  0.07% finalize_order
0.34/0.48	c         ───────────────────────────────────────────────
0.34/0.48	c                 464.21ms   100% total
0.34/0.48	c ------------------------------------------------------------------
0.42/0.53	c RoundingSat 2
0.42/0.53	c branch pb25
0.42/0.53	c commit 0f876b3
0.87/1.01	c #variables 6401 #constraints 81100
0.87/1.01	c objective is ce32 
0.87/1.01	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.87/1.01	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.87/1.01	c bounds - >= -883 @ 0.392728
3.65/3.87	c bounds 0 >= -883 @ 3.19935
7.44/7.64	c bounds 0 >= -882 @ 6.93809
17.49/17.72	c bounds 0 >= -881 @ 16.9498
33.93/34.26	c rational objective -588.667
34.34/34.66	c bounds 0 >= -880 @ 33.7572
34.34/34.66	c bounds 0 >= -879 @ 33.7575
34.34/34.66	c bounds 0 >= -878 @ 33.7578
34.34/34.66	c bounds 0 >= -877 @ 33.758
34.34/34.66	c bounds 0 >= -876 @ 33.7583
34.34/34.66	c bounds 0 >= -875 @ 33.7587
34.34/34.66	c bounds 0 >= -874 @ 33.7589
34.34/34.66	c bounds 0 >= -873 @ 33.7595
34.34/34.66	c bounds 0 >= -872 @ 33.7599
34.34/34.66	c bounds 0 >= -871 @ 33.7602
34.34/34.66	c bounds 0 >= -870 @ 33.7604
34.34/34.66	c bounds 0 >= -869 @ 33.7608
34.34/34.66	c bounds 0 >= -868 @ 33.7611
34.34/34.66	c bounds 0 >= -867 @ 33.7614
34.34/34.66	c bounds 0 >= -866 @ 33.7619
34.34/34.66	c bounds 0 >= -865 @ 33.7623
34.34/34.67	c bounds 0 >= -864 @ 33.7626
34.34/34.67	c bounds 0 >= -863 @ 33.7629
34.34/34.67	c bounds 0 >= -862 @ 33.7632
34.34/34.67	c bounds 0 >= -861 @ 33.7634
34.34/34.67	c bounds 0 >= -860 @ 33.7637
34.34/34.67	c bounds 0 >= -859 @ 33.764
34.34/34.67	c bounds 0 >= -858 @ 33.7643
34.34/34.67	c bounds 0 >= -857 @ 33.7646
34.34/34.67	c bounds 0 >= -856 @ 33.7652
34.34/34.67	c bounds 0 >= -855 @ 33.7655
34.34/34.67	c bounds 0 >= -854 @ 33.7658
34.34/34.67	c bounds 0 >= -853 @ 33.7662
34.34/34.67	c bounds 0 >= -852 @ 33.7665
34.34/34.67	c bounds 0 >= -851 @ 33.7668
34.34/34.67	c bounds 0 >= -850 @ 33.7671
34.34/34.67	c bounds 0 >= -849 @ 33.7674
34.34/34.67	c bounds 0 >= -848 @ 33.7678
34.34/34.67	c bounds 0 >= -847 @ 33.7681
34.34/34.67	c bounds 0 >= -846 @ 33.7685
34.34/34.67	c bounds 0 >= -845 @ 33.7688
34.34/34.67	c bounds 0 >= -844 @ 33.7691
34.34/34.67	c bounds 0 >= -843 @ 33.7694
34.34/34.67	c bounds 0 >= -842 @ 33.7697
34.34/34.67	c bounds 0 >= -841 @ 33.7699
34.34/34.67	c bounds 0 >= -840 @ 33.7702
34.34/34.67	c bounds 0 >= -839 @ 33.7705
34.34/34.67	c bounds 0 >= -838 @ 33.7707
34.34/34.67	c bounds 0 >= -837 @ 33.7712
34.34/34.67	c bounds 0 >= -836 @ 33.7715
34.34/34.67	c bounds 0 >= -835 @ 33.7718
34.34/34.67	c bounds 0 >= -834 @ 33.7721
34.34/34.68	c bounds 0 >= -833 @ 33.7724
34.34/34.68	c bounds 0 >= -832 @ 33.7726
34.34/34.68	c bounds 0 >= -831 @ 33.7729
34.34/34.68	c bounds 0 >= -830 @ 33.7733
34.34/34.68	c bounds 0 >= -829 @ 33.7739
34.34/34.68	c bounds 0 >= -828 @ 33.7742
34.34/34.68	c bounds 0 >= -827 @ 33.7744
34.34/34.68	c bounds 0 >= -826 @ 33.7747
34.34/34.68	c bounds 0 >= -825 @ 33.7749
34.34/34.68	c bounds 0 >= -824 @ 33.7752
34.34/34.68	c bounds 0 >= -823 @ 33.7755
34.34/34.68	c bounds 0 >= -822 @ 33.7758
34.34/34.68	c bounds 0 >= -821 @ 33.776
34.34/34.68	c bounds 0 >= -820 @ 33.7763
34.34/34.68	c bounds 0 >= -819 @ 33.7765
34.34/34.68	c bounds 0 >= -818 @ 33.7768
34.34/34.68	c bounds 0 >= -817 @ 33.777
34.34/34.68	c bounds 0 >= -816 @ 33.7773
34.34/34.68	c bounds 0 >= -815 @ 33.7779
34.34/34.69	c bounds -370 >= -815 @ 33.787
34.34/34.69	c bounds -370 >= -814 @ 33.7876
34.34/34.69	c bounds -370 >= -813 @ 33.7881
34.34/34.69	c bounds -370 >= -812 @ 33.7884
34.34/34.69	c bounds -370 >= -811 @ 33.7887
34.34/34.69	c bounds -370 >= -810 @ 33.7889
34.34/34.69	c bounds -370 >= -809 @ 33.7892
34.34/34.69	c bounds -370 >= -808 @ 33.7894
34.34/34.69	c bounds -370 >= -807 @ 33.7895
34.34/34.69	c bounds -370 >= -806 @ 33.7895
34.34/34.69	c bounds -370 >= -805 @ 33.7895
34.34/34.69	c bounds -370 >= -804 @ 33.7896
34.34/34.69	c bounds -370 >= -803 @ 33.7899
34.34/34.69	c bounds -370 >= -802 @ 33.7901
34.34/34.69	c bounds -370 >= -801 @ 33.7904
34.34/34.69	c bounds -370 >= -800 @ 33.7906
34.34/34.69	c bounds -370 >= -799 @ 33.7909
34.34/34.69	c bounds -370 >= -798 @ 33.7911
34.34/34.70	c bounds -370 >= -797 @ 33.7916
34.44/34.70	c bounds -370 >= -796 @ 33.7919
34.44/34.70	c bounds -370 >= -795 @ 33.7921
34.44/34.70	c bounds -370 >= -794 @ 33.7924
34.44/34.70	c bounds -370 >= -793 @ 33.7927
34.44/34.70	c bounds -370 >= -792 @ 33.7929
34.44/34.70	c bounds -370 >= -791 @ 33.7932
34.44/34.70	c bounds -370 >= -790 @ 33.7934
34.44/34.70	c bounds -370 >= -789 @ 33.7937
34.44/34.70	c bounds -370 >= -788 @ 33.794
34.44/34.70	c bounds -370 >= -787 @ 33.7944
34.44/34.70	c bounds -370 >= -786 @ 33.7947
34.44/34.70	c bounds -370 >= -785 @ 33.795
34.44/34.70	c bounds -370 >= -784 @ 33.7952
34.44/34.70	c bounds -370 >= -783 @ 33.7955
34.44/34.70	c bounds -370 >= -782 @ 33.7957
34.44/34.70	c bounds -370 >= -781 @ 33.796
34.44/34.70	c bounds -370 >= -780 @ 33.7962
34.44/34.70	c bounds -370 >= -779 @ 33.7966
34.44/34.70	c bounds -370 >= -778 @ 33.7969
34.44/34.71	c bounds -380 >= -778 @ 33.8066
34.44/34.71	c bounds -380 >= -777 @ 33.8071
34.44/34.71	c bounds -380 >= -776 @ 33.8074
34.44/34.71	c bounds -380 >= -775 @ 33.8076
34.44/34.71	c bounds -380 >= -774 @ 33.8079
34.44/34.71	c bounds -380 >= -773 @ 33.8081
34.44/34.71	c bounds -380 >= -772 @ 33.8084
34.44/34.71	c bounds -380 >= -771 @ 33.8087
34.44/34.71	c bounds -380 >= -770 @ 33.809
34.44/34.71	c bounds -380 >= -769 @ 33.8094
34.44/34.71	c bounds -380 >= -768 @ 33.8097
34.44/34.71	c bounds -380 >= -767 @ 33.8099
34.44/34.71	c bounds -380 >= -766 @ 33.8102
34.44/34.72	c bounds -380 >= -765 @ 33.8104
34.44/34.72	c bounds -380 >= -764 @ 33.8106
34.44/34.72	c bounds -380 >= -763 @ 33.8112
34.44/34.72	c bounds -380 >= -762 @ 33.8115
34.44/34.72	c bounds -380 >= -761 @ 33.812
34.44/34.72	c bounds -380 >= -760 @ 33.8123
34.44/34.72	c bounds -380 >= -759 @ 33.8125
34.44/34.72	c bounds -380 >= -758 @ 33.8127
34.44/34.72	c bounds -380 >= -757 @ 33.813
34.44/34.72	c bounds -380 >= -756 @ 33.8132
34.44/34.72	c bounds -380 >= -755 @ 33.8135
34.44/34.72	c bounds -380 >= -754 @ 33.8137
34.44/34.72	c bounds -380 >= -753 @ 33.814
34.44/34.72	c bounds -380 >= -752 @ 33.8142
34.44/34.72	c bounds -380 >= -751 @ 33.8145
34.44/34.72	c bounds -380 >= -750 @ 33.8148
34.44/34.72	c bounds -380 >= -749 @ 33.8151
34.44/34.72	c bounds -380 >= -748 @ 33.8167
34.44/34.72	c bounds -380 >= -747 @ 33.8172
34.44/34.72	c bounds -380 >= -746 @ 33.8175
34.44/34.72	c bounds -380 >= -745 @ 33.8177
34.44/34.72	c bounds -380 >= -744 @ 33.818
34.44/34.72	c bounds -380 >= -743 @ 33.8182
34.44/34.72	c bounds -380 >= -742 @ 33.8184
34.44/34.72	c bounds -380 >= -741 @ 33.8187
34.44/34.72	c bounds -380 >= -740 @ 33.8189
34.44/34.72	c bounds -380 >= -739 @ 33.8191
34.44/34.72	c bounds -380 >= -738 @ 33.8194
34.44/34.72	c bounds -380 >= -737 @ 33.8196
34.44/34.72	c bounds -380 >= -736 @ 33.8198
34.44/34.72	c bounds -380 >= -735 @ 33.8202
34.44/34.73	c bounds -380 >= -734 @ 33.8206
34.44/34.73	c bounds -380 >= -733 @ 33.8209
34.44/34.73	c bounds -380 >= -732 @ 33.8213
34.44/34.73	c bounds -380 >= -731 @ 33.8216
34.44/34.73	c bounds -380 >= -730 @ 33.8219
34.44/34.73	c bounds -401 >= -730 @ 33.8265
34.44/34.73	c bounds -401 >= -729 @ 33.827
34.44/34.73	c bounds -401 >= -728 @ 33.8273
34.44/34.73	c bounds -401 >= -727 @ 33.8276
34.44/34.73	c bounds -401 >= -726 @ 33.8278
34.44/34.73	c bounds -401 >= -725 @ 33.828
34.44/34.73	c bounds -401 >= -724 @ 33.8283
34.44/34.73	c bounds -401 >= -723 @ 33.8286
34.44/34.73	c bounds -401 >= -722 @ 33.8288
34.44/34.73	c bounds -401 >= -721 @ 33.8291
34.44/34.74	c bounds -401 >= -720 @ 33.8294
34.44/34.74	c bounds -401 >= -719 @ 33.8296
34.44/34.74	c bounds -401 >= -718 @ 33.83
34.44/34.74	c bounds -401 >= -717 @ 33.8302
34.44/34.74	c bounds -401 >= -716 @ 33.8305
34.44/34.74	c bounds -401 >= -715 @ 33.8307
34.44/34.74	c bounds -401 >= -714 @ 33.8309
34.44/34.74	c bounds -401 >= -713 @ 33.8313
34.44/34.74	c bounds -401 >= -712 @ 33.8315
34.44/34.74	c bounds -401 >= -711 @ 33.8318
34.44/34.74	c bounds -401 >= -710 @ 33.8323
34.44/34.74	c bounds -401 >= -709 @ 33.8326
34.44/34.74	c bounds -401 >= -708 @ 33.8329
34.44/34.74	c bounds -401 >= -707 @ 33.8331
34.44/34.74	c bounds -401 >= -706 @ 33.8334
34.44/34.74	c bounds -401 >= -705 @ 33.8337
34.44/34.74	c bounds -401 >= -704 @ 33.834
34.44/34.74	c bounds -401 >= -703 @ 33.8342
34.44/34.74	c bounds -401 >= -702 @ 33.8346
34.44/34.74	c bounds -401 >= -701 @ 33.8349
34.44/34.74	c bounds -401 >= -700 @ 33.8352
34.44/34.74	c bounds -401 >= -699 @ 33.8355
34.44/34.74	c bounds -401 >= -698 @ 33.836
34.44/34.75	c bounds -422 >= -698 @ 33.8456
34.44/34.75	c bounds -422 >= -697 @ 33.8465
34.44/34.75	c bounds -422 >= -696 @ 33.847
34.44/34.75	c bounds -422 >= -695 @ 33.8474
34.44/34.75	c bounds -422 >= -694 @ 33.8476
34.44/34.75	c bounds -422 >= -693 @ 33.8479
34.44/34.76	c bounds -422 >= -692 @ 33.8482
34.44/34.76	c bounds -422 >= -691 @ 33.8487
34.44/34.76	c bounds -422 >= -690 @ 33.849
34.44/34.76	c bounds -422 >= -689 @ 33.8493
34.44/34.76	c bounds -422 >= -688 @ 33.8496
34.44/34.76	c bounds -422 >= -687 @ 33.85
34.44/34.76	c bounds -422 >= -686 @ 33.8504
34.44/34.76	c bounds -422 >= -685 @ 33.8508
34.44/34.76	c bounds -422 >= -684 @ 33.8511
34.44/34.76	c bounds -422 >= -683 @ 33.8514
34.44/34.76	c bounds -422 >= -682 @ 33.8521
34.44/34.76	c bounds -422 >= -681 @ 33.8533
34.44/34.77	c bounds -447 >= -681 @ 33.8583
34.44/34.77	c bounds -447 >= -680 @ 33.8601
34.44/34.77	c bounds -447 >= -679 @ 33.8608
34.44/34.77	c bounds -447 >= -678 @ 33.8615
34.44/34.78	c bounds -455 >= -678 @ 33.8683
34.44/34.78	c bounds -455 >= -677 @ 33.8702
34.44/34.78	c bounds -455 >= -676 @ 33.8702
34.44/34.78	c bounds -455 >= -675 @ 33.8705
34.44/34.78	c bounds -455 >= -674 @ 33.8711
34.44/34.78	c bounds -455 >= -673 @ 33.8717
34.44/34.78	c bounds -455 >= -672 @ 33.8722
34.44/34.78	c bounds -455 >= -671 @ 33.8727
34.44/34.79	c bounds -463 >= -671 @ 33.8777
34.44/34.79	c bounds -463 >= -670 @ 33.8788
34.44/34.79	c bounds -463 >= -669 @ 33.8793
34.44/34.79	c bounds -463 >= -668 @ 33.8797
34.44/34.79	c bounds -463 >= -667 @ 33.8806
34.44/34.79	c bounds -463 >= -666 @ 33.881
34.44/34.79	c bounds -463 >= -665 @ 33.8828
34.53/34.80	c bounds -471 >= -665 @ 33.8885
34.53/34.80	c bounds -471 >= -664 @ 33.8919
34.53/34.81	c bounds -473 >= -664 @ 33.9008
34.53/34.81	c bounds -473 >= -663 @ 33.9016
34.53/34.81	c bounds -473 >= -662 @ 33.9036
34.53/34.82	c bounds -473 >= -661 @ 33.9042
34.53/34.82	c bounds -473 >= -660 @ 33.9055
34.53/34.82	c bounds -473 >= -659 @ 33.9084
34.53/34.83	c bounds -479 >= -659 @ 33.9135
34.53/34.83	c bounds -479 >= -658 @ 33.916
34.53/34.84	c bounds -485 >= -658 @ 33.923
34.53/34.84	c bounds -485 >= -657 @ 33.9241
34.53/34.84	c bounds -485 >= -656 @ 33.9288
34.53/34.85	c bounds -491 >= -656 @ 33.9337
34.53/34.86	c bounds -491 >= -655 @ 33.941
34.53/34.86	c bounds -497 >= -655 @ 33.9459
34.53/34.88	c bounds -503 >= -655 @ 33.9614
34.53/34.88	c bounds -503 >= -654 @ 33.9658
34.53/34.89	c bounds -503 >= -653 @ 33.969
34.53/34.90	c bounds -506 >= -653 @ 33.978
34.63/34.90	c bounds -506 >= -652 @ 33.9824
34.63/34.90	c bounds -506 >= -651 @ 33.9839
34.63/34.92	c bounds -507 >= -651 @ 34.0058
34.63/34.93	c bounds -507 >= -650 @ 34.0135
34.63/34.93	c bounds -507 >= -649 @ 34.0164
34.63/34.95	c bounds -508 >= -649 @ 34.0262
34.63/34.95	c bounds -508 >= -648 @ 34.0332
34.63/34.96	c bounds -509 >= -648 @ 34.0393
34.63/34.97	c bounds -509 >= -647 @ 34.0484
34.63/34.99	c bounds -512 >= -647 @ 34.0681
34.63/35.00	c bounds -512 >= -646 @ 34.0756
34.74/35.00	c bounds -525 >= -646 @ 34.0807
34.74/35.01	c bounds -525 >= -645 @ 34.0875
34.93/35.26	c bounds -529 >= -645 @ 34.3319
34.93/35.28	c bounds -529 >= -644 @ 34.3471
34.93/35.29	c bounds -529 >= -643 @ 34.3647
35.03/35.31	c bounds -529 >= -642 @ 34.3773
35.03/35.32	c bounds -529 >= -641 @ 34.3884
35.03/35.33	c bounds -529 >= -640 @ 34.4009
35.03/35.35	c #Conflicts:       1000 | #Constraints:      84164
35.03/35.35	c bounds -529 >= -639 @ 34.4159
35.03/35.37	c bounds -529 >= -638 @ 34.4421
35.13/35.45	c bounds -532 >= -638 @ 34.5165
35.13/35.49	c bounds -532 >= -637 @ 34.5582
36.83/37.11	c #Conflicts:       2000 | #Constraints:      85312
36.83/37.11	c INPROCESSING
36.83/37.11	c GARBAGE COLLECT
36.83/37.11	c bounds -532 >= -636 @ 36.157
36.83/37.15	c bounds -532 >= -635 @ 36.1953
37.02/37.30	c bounds -532 >= -634 @ 36.344
37.12/37.41	c bounds -532 >= -633 @ 36.4487
37.23/37.52	c #Conflicts:       3000 | #Constraints:      85016
37.23/37.52	c bounds -532 >= -632 @ 36.5586
77.89/78.30	c #Conflicts:       4000 | #Constraints:      86065
77.89/78.30	c INPROCESSING
77.89/78.30	c GARBAGE COLLECT
77.89/78.30	c bounds -532 >= -631 @ 77.0763
77.98/78.42	c #Conflicts:       5000 | #Constraints:      85162
77.98/78.42	c bounds -532 >= -630 @ 77.1966
78.08/78.56	c bounds -532 >= -629 @ 77.327
78.28/78.70	c bounds -532 >= -628 @ 77.473
79.38/79.82	c #Conflicts:       6000 | #Constraints:      86288
79.38/79.82	c INPROCESSING
79.38/79.82	c GARBAGE COLLECT
79.38/79.82	c #Conflicts:       7000 | #Constraints:      85089
79.38/79.82	c bounds -532 >= -627 @ 78.5646
79.48/79.97	c bounds -532 >= -626 @ 78.7152
79.68/80.13	c #Conflicts:       8000 | #Constraints:      86239
79.68/80.13	c bounds -532 >= -625 @ 78.8685
81.47/81.99	c #Conflicts:       9000 | #Constraints:      87278
81.47/81.99	c INPROCESSING
81.47/81.99	c GARBAGE COLLECT
81.47/81.99	c bounds -532 >= -624 @ 80.7099
81.77/82.29	c #Conflicts:      10000 | #Constraints:      85907
81.77/82.29	c bounds -532 >= -623 @ 80.9995
81.98/82.45	c bounds -532 >= -622 @ 81.1514
82.17/82.60	c #Conflicts:      11000 | #Constraints:      87045
82.17/82.60	c bounds -532 >= -621 @ 81.2977
82.58/83.02	c bounds -532 >= -620 @ 81.7131
82.68/83.14	c bounds -538 >= -620 @ 81.8265
83.07/83.58	c #Conflicts:      12000 | #Constraints:      88142
83.07/83.58	c INPROCESSING
83.07/83.58	c GARBAGE COLLECT
83.07/83.58	c bounds -540 >= -620 @ 82.2629
86.95/87.55	c #Conflicts:      13000 | #Constraints:      86407
86.95/87.55	c #Conflicts:      14000 | #Constraints:      87407
86.95/87.55	c #Conflicts:      15000 | #Constraints:      88407
86.95/87.55	c INPROCESSING
86.95/87.55	c GARBAGE COLLECT
86.95/87.55	c bounds -540 >= -619 @ 86.08
87.25/87.88	c #Conflicts:      16000 | #Constraints:      85896
87.25/87.88	c bounds -540 >= -618 @ 86.4042
87.55/88.12	c bounds -540 >= -617 @ 86.6304
87.85/88.41	c #Conflicts:      17000 | #Constraints:      86983
87.85/88.41	c bounds -540 >= -616 @ 86.9127
88.14/88.73	c bounds -540 >= -615 @ 87.2303
88.64/89.23	c #Conflicts:      18000 | #Constraints:      88067
88.64/89.23	c INPROCESSING
88.64/89.23	c GARBAGE COLLECT
88.64/89.23	c bounds -540 >= -614 @ 87.7256
88.95/89.57	c #Conflicts:      19000 | #Constraints:      86079
88.95/89.57	c bounds -540 >= -613 @ 88.0509
89.34/90.00	c #Conflicts:      20000 | #Constraints:      87109
89.34/90.00	c bounds -540 >= -612 @ 88.4736
100.31/100.99	c bounds -540 >= -611 @ 99.3921
122.35/123.06	c #Conflicts:      21000 | #Constraints:      88191
122.35/123.06	c #Conflicts:      22000 | #Constraints:      89191
122.35/123.06	c #Conflicts:      23000 | #Constraints:      90191
122.35/123.06	c #Conflicts:      24000 | #Constraints:      91191
122.35/123.06	c #Conflicts:      25000 | #Constraints:      92191
122.35/123.06	c #Conflicts:      26000 | #Constraints:      93191
122.35/123.06	c #Conflicts:      27000 | #Constraints:      94191
122.35/123.06	c #Conflicts:      28000 | #Constraints:      95191
122.35/123.06	c INPROCESSING
122.35/123.06	c GARBAGE COLLECT
122.35/123.06	WSVECS04 Frhs2[22]: 6 0 1.00004 shouldn't be
122.35/123.06	WSVECS04 Frhs2[27]: 6 0 1.00009 shouldn't be
122.35/123.06	WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be
122.35/123.06	WSVECS04 Frhs2[39]: 6 0 1.00007 shouldn't be
122.35/123.06	WSVECS04 Frhs2[41]: 6 0 1.0001 shouldn't be
122.35/123.06	WSVECS04 Frhs2[42]: 6 0 1.00008 shouldn't be
122.35/123.06	WSVECS04 Frhs2[46]: 6 0 1.00001 shouldn't be
122.35/123.06	WSVECS04 Frhs2[559]: 6 0 1.00007 shouldn't be
122.35/123.06	WSVECS04 Frhs2[568]: 6 0 1.00007 shouldn't be
122.35/123.06	WSVECS04 Frhs2[569]: 6 0 1.00007 shouldn't be
122.35/123.06	WSVECS04 Frhs2[574]: 6 0 1.00002 shouldn't be
122.35/123.06	WSVECS04 Frhs2[579]: 6 0 1.00001 shouldn't be
122.35/123.06	WSVECS04 Frhs2[590]: 6 0 1.00003 shouldn't be
122.35/123.06	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
122.35/123.06	WSVECS04 Frhs2[607]: 6 0 1.00004 shouldn't be
122.35/123.06	WSVECS04 Frhs2[610]: 6 0 1.00002 shouldn't be
122.35/123.06	WSVECS04 Frhs2[739]: 6 0 1.00006 shouldn't be
122.35/123.06	WSVECS04 Frhs2[800]: 6 0 1.00002 shouldn't be
122.35/123.06	WSVECS04 Frhs2[804]: 6 0 1.00001 shouldn't be
122.35/123.06	WSVECS04 Frhs2[805]: 6 0 1.00002 shouldn't be
122.35/123.06	WSVECS04 Frhs2[908]: 6 0 1.00003 shouldn't be
122.35/123.06	WSVECS04 Frhs2[909]: 6 0 1.00009 shouldn't be
122.35/123.06	WSVECS04 Frhs2[955]: 6 0 1.00004 shouldn't be
139.68/140.44	WSVECS04 Frhs2[44]: 6 0 1.00005 shouldn't be
139.68/140.44	WSVECS04 Frhs2[45]: 6 0 1.00005 shouldn't be
139.68/140.44	WSVECS04 Frhs2[576]: 6 0 1.00005 shouldn't be
139.68/140.44	WSVECS04 Frhs2[599]: 6 0 1.00005 shouldn't be
139.68/140.44	WSVECS04 Frhs2[600]: 6 0 1.00005 shouldn't be
139.68/140.44	WSVECS04 Frhs2[745]: 6 0 1.00006 shouldn't be
139.68/140.44	WSVECS04 Frhs2[747]: 6 0 1.00009 shouldn't be
139.68/140.44	WSVECS04 Frhs2[750]: 6 0 1.00002 shouldn't be
139.68/140.44	WSVECS04 Frhs2[798]: 6 0 1.00001 shouldn't be
139.68/140.44	WSVECS04 Frhs2[801]: 6 0 1.00007 shouldn't be
139.68/140.44	WSVECS04 Frhs2[803]: 6 0 1.00008 shouldn't be
139.68/140.44	WSVECS04 Frhs2[902]: 6 0 1.00003 shouldn't be
139.68/140.44	WSVECS04 Frhs2[906]: 6 0 1.00007 shouldn't be
139.68/140.44	WSVECS04 Frhs2[910]: 6 0 1.00001 shouldn't be
139.68/140.44	WSVECS04 Frhs2[1039]: 6 0 1.00005 shouldn't be
158.52/159.30	WSVECS04 Frhs2[740]: 6 0 1.00003 shouldn't be
158.52/159.30	WSVECS04 Frhs2[797]: 6 0 1.00005 shouldn't be
158.52/159.30	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
158.52/159.30	WSVECS04 Frhs2[1020]: 6 0 1.00002 shouldn't be
176.06/176.98	WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be
176.06/176.98	WSVECS04 Frhs2[939]: 6 0 1.00004 shouldn't be
203.87/204.82	c #Conflicts:      29000 | #Constraints:      89385
203.87/204.82	WSVECS04 Frhs2[97]: 6 -7.00005 0 shouldn't be
203.87/204.82	WSVECS04 Frhs2[101]: 6 -1.00006 0 shouldn't be
203.87/204.82	WSVECS04 Frhs2[111]: 6 -119.439 0 shouldn't be
203.87/204.82	WSVECS04 Frhs2[232]: 6 0 257.695 shouldn't be
203.87/204.82	WSVECS04 Frhs2[643]: 6 -588.181 0 shouldn't be
203.87/204.82	WSVECS04 Frhs2[974]: 6 -144.306 0 shouldn't be
218.52/219.52	WSVECS04 Frhs2[107]: 6 -176.932 0 shouldn't be
218.52/219.52	WSVECS04 Frhs2[290]: 6 0 1.0001 shouldn't be
218.52/219.52	WSVECS04 Frhs2[637]: 6 0 189.689 shouldn't be
218.52/219.52	WSVECS04 Frhs2[881]: 6 -295.371 0 shouldn't be
234.27/235.34	WSVECS04 Frhs2[125]: 6 -295.371 0 shouldn't be
240.55/241.62	c bounds -540 >= -610 @ 239.144
241.05/242.14	c #Conflicts:      30000 | #Constraints:      90455
241.05/242.14	c bounds -540 >= -609 @ 239.651
241.75/242.88	c #Conflicts:      31000 | #Constraints:      91503
241.75/242.88	c bounds -540 >= -608 @ 240.385
242.24/243.37	c #Conflicts:      32000 | #Constraints:      92542
242.24/243.37	c bounds -540 >= -607 @ 240.87
242.94/244.04	c bounds -540 >= -606 @ 241.527
243.64/244.70	c #Conflicts:      33000 | #Constraints:      93599
243.64/244.70	c INPROCESSING
243.64/244.70	c GARBAGE COLLECT
243.64/244.70	c bounds -540 >= -605 @ 242.178
244.23/245.38	c #Conflicts:      34000 | #Constraints:      88806
244.23/245.38	c bounds -540 >= -604 @ 242.836
245.04/246.11	c #Conflicts:      35000 | #Constraints:      89872
245.04/246.11	c bounds -540 >= -603 @ 243.56
245.84/247.00	c #Conflicts:      36000 | #Constraints:      90914
245.84/247.00	c bounds -540 >= -602 @ 244.422
246.63/247.78	c #Conflicts:      37000 | #Constraints:      91950
246.63/247.78	c bounds -540 >= -601 @ 245.192
247.63/248.79	c #Conflicts:      38000 | #Constraints:      92998
247.63/248.79	c INPROCESSING
247.63/248.79	c GARBAGE COLLECT
247.63/248.79	c #Conflicts:      39000 | #Constraints:      88633
247.63/248.79	c bounds -540 >= -600 @ 246.182
248.73/249.82	c #Conflicts:      40000 | #Constraints:      89702
248.73/249.82	c bounds -540 >= -599 @ 247.198
249.93/251.08	c #Conflicts:      41000 | #Constraints:      90759
249.93/251.08	c #Conflicts:      42000 | #Constraints:      91759
249.93/251.08	c bounds -540 >= -598 @ 248.435
251.03/252.11	c #Conflicts:      43000 | #Constraints:      92816
251.03/252.11	c #Conflicts:      44000 | #Constraints:      93816
251.03/252.11	c bounds -540 >= -597 @ 249.45
252.21/253.31	c #Conflicts:      45000 | #Constraints:      94846
252.21/253.31	c bounds -540 >= -596 @ 250.626
253.51/254.64	c #Conflicts:      46000 | #Constraints:      95876
253.51/254.64	c #Conflicts:      47000 | #Constraints:      96876
253.51/254.64	c bounds -540 >= -595 @ 251.936
304.56/305.98	c #Conflicts:      48000 | #Constraints:      97903
304.56/305.98	c #Conflicts:      49000 | #Constraints:      98903
304.56/305.98	c #Conflicts:      50000 | #Constraints:      99903
304.56/305.98	c #Conflicts:      51000 | #Constraints:     100903
304.56/305.98	c #Conflicts:      52000 | #Constraints:     101907
304.56/305.98	c INPROCESSING
304.56/305.98	c GARBAGE COLLECT
304.56/305.98	c #Conflicts:      53000 | #Constraints:      92961
304.56/305.98	c #Conflicts:      54000 | #Constraints:      93961
304.56/305.98	c bounds -540 >= -594 @ 302.831
306.15/307.56	c #Conflicts:      55000 | #Constraints:      95021
306.15/307.56	c #Conflicts:      56000 | #Constraints:      96021
306.15/307.56	c bounds -540 >= -593 @ 304.391
308.04/309.49	c #Conflicts:      57000 | #Constraints:      97057
308.04/309.49	c #Conflicts:      58000 | #Constraints:      98057
308.04/309.49	c bounds -540 >= -592 @ 306.28
320.91/322.30	c INPROCESSING
320.91/322.30	c GARBAGE COLLECT
320.91/322.30	WSVECS04 Frhs2[23]: 6 0 1.00003 shouldn't be
320.91/322.30	WSVECS04 Frhs2[42]: 6 0 1.00004 shouldn't be
320.91/322.30	WSVECS04 Frhs2[803]: 6 0 1.00009 shouldn't be
338.95/340.42	WSVECS04 Frhs2[46]: 6 0 1.00009 shouldn't be
338.95/340.42	WSVECS04 Frhs2[751]: 6 0 1.00003 shouldn't be
338.95/340.42	WSVECS04 Frhs2[797]: 6 0 1.00004 shouldn't be
338.95/340.42	WSVECS04 Frhs2[801]: 6 0 1.00007 shouldn't be
338.95/340.42	WSVECS04 Frhs2[821]: 6 0 1.00003 shouldn't be
338.95/340.42	WSVECS04 Frhs2[826]: 6 0 1.00007 shouldn't be
338.95/340.42	WSVECS04 Frhs2[828]: 6 0 1.00003 shouldn't be
338.95/340.42	WSVECS04 Frhs2[867]: 6 0 1.00007 shouldn't be
338.95/340.42	WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be
338.95/340.42	WSVECS04 Frhs2[906]: 6 0 1.00007 shouldn't be
358.98/360.59	WSVECS04 Frhs2[22]: 6 0 1.00001 shouldn't be
358.98/360.59	WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be
358.98/360.59	WSVECS04 Frhs2[27]: 6 0 1.00008 shouldn't be
358.98/360.59	WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be
358.98/360.59	WSVECS04 Frhs2[39]: 6 0 1.00009 shouldn't be
358.98/360.59	WSVECS04 Frhs2[44]: 6 0 1.00008 shouldn't be
358.98/360.59	WSVECS04 Frhs2[45]: 6 0 1.00001 shouldn't be
358.98/360.59	WSVECS04 Frhs2[798]: 6 0 1.00001 shouldn't be
358.98/360.59	WSVECS04 Frhs2[804]: 6 0 1.00009 shouldn't be
358.98/360.59	WSVECS04 Frhs2[805]: 6 0 1.0001 shouldn't be
358.98/360.59	WSVECS04 Frhs2[820]: 6 0 1.00005 shouldn't be
358.98/360.59	WSVECS04 Frhs2[824]: 6 0 1.00007 shouldn't be
358.98/360.59	WSVECS04 Frhs2[827]: 6 0 1.0001 shouldn't be
358.98/360.59	WSVECS04 Frhs2[863]: 6 0 1.00003 shouldn't be
358.98/360.59	WSVECS04 Frhs2[864]: 6 0 1.00002 shouldn't be
358.98/360.59	WSVECS04 Frhs2[869]: 6 0 1.00007 shouldn't be
358.98/360.59	WSVECS04 Frhs2[871]: 6 0 1.00008 shouldn't be
358.98/360.59	WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be
358.98/360.59	WSVECS04 Frhs2[908]: 6 0 1.00004 shouldn't be
358.98/360.59	WSVECS04 Frhs2[909]: 6 0 1.00003 shouldn't be
358.98/360.59	WSVECS04 Frhs2[910]: 6 0 1.00007 shouldn't be
396.96/398.65	WSVECS04 Frhs2[902]: 6 0 1.00002 shouldn't be
481.97/484.00	c #Conflicts:      59000 | #Constraints:      90980
481.97/484.00	c #Conflicts:      60000 | #Constraints:      91980
481.97/484.00	c bounds -540 >= -591 @ 479.769
483.36/485.39	c #Conflicts:      61000 | #Constraints:      93049
483.36/485.39	c #Conflicts:      62000 | #Constraints:      94049
483.36/485.39	c bounds -540 >= -590 @ 481.146
490.12/492.19	c #Conflicts:      63000 | #Constraints:      95112
490.12/492.19	c #Conflicts:      64000 | #Constraints:      96112
490.12/492.19	c #Conflicts:      65000 | #Constraints:      97112
490.12/492.19	c INPROCESSING
490.12/492.19	c GARBAGE COLLECT
490.12/492.19	c #Conflicts:      66000 | #Constraints:      90884
490.12/492.19	c #Conflicts:      67000 | #Constraints:      91884
490.12/492.19	c #Conflicts:      68000 | #Constraints:      92884
490.12/492.19	c bounds -540 >= -589 @ 487.824
538.66/540.87	c #Conflicts:      69000 | #Constraints:      93968
538.66/540.87	c #Conflicts:      70000 | #Constraints:      94968
538.66/540.87	c #Conflicts:      71000 | #Constraints:      95968
538.66/540.87	c #Conflicts:      72000 | #Constraints:      96968
538.66/540.87	c #Conflicts:      73000 | #Constraints:      97970
538.66/540.87	c #Conflicts:      74000 | #Constraints:      98971
538.66/540.87	c #Conflicts:      75000 | #Constraints:      99972
538.66/540.87	c #Conflicts:      76000 | #Constraints:     100972
538.66/540.87	c #Conflicts:      77000 | #Constraints:     101973
538.66/540.87	c #Conflicts:      78000 | #Constraints:     102973
538.66/540.87	c #Conflicts:      79000 | #Constraints:     103973
538.66/540.87	c #Conflicts:      80000 | #Constraints:     104973
538.66/540.87	c #Conflicts:      81000 | #Constraints:     105974
538.66/540.87	c #Conflicts:      82000 | #Constraints:     106974
538.66/540.87	c #Conflicts:      83000 | #Constraints:     107975
538.66/540.87	c #Conflicts:      84000 | #Constraints:     108975
538.66/540.87	c INPROCESSING
538.66/540.87	c GARBAGE COLLECT
538.66/540.87	c bounds -540 >= -588 @ 536.079
539.75/541.90	c #Conflicts:      85000 | #Constraints:      94239
539.75/541.90	c #Conflicts:      86000 | #Constraints:      95239
539.75/541.90	c bounds -540 >= -587 @ 537.091
545.04/547.22	c bounds -540 >= -586 @ 542.364
546.53/548.73	c #Conflicts:      87000 | #Constraints:      96300
546.53/548.73	c #Conflicts:      88000 | #Constraints:      97300
546.53/548.73	c bounds -540 >= -585 @ 543.842
547.73/549.95	c #Conflicts:      89000 | #Constraints:      98336
547.73/549.95	c bounds -540 >= -584 @ 545.046
549.32/551.60	c #Conflicts:      90000 | #Constraints:      99366
549.32/551.60	c bounds -540 >= -583 @ 546.663
558.10/560.36	c #Conflicts:      91000 | #Constraints:     100387
558.10/560.36	WSVECS04 Frhs2[22]: 6 0 1.00009 shouldn't be
558.10/560.36	WSVECS04 Frhs2[23]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[25]: 6 0 1.0001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[32]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[39]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[46]: 6 0 1.00007 shouldn't be
558.10/560.36	WSVECS04 Frhs2[568]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[569]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[574]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[576]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[600]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[607]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[739]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[740]: 6 0 1.00009 shouldn't be
558.10/560.36	WSVECS04 Frhs2[745]: 6 0 1.00009 shouldn't be
558.10/560.36	WSVECS04 Frhs2[791]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[792]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[803]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[805]: 6 0 1.00007 shouldn't be
558.10/560.36	WSVECS04 Frhs2[814]: 6 0 1.00007 shouldn't be
558.10/560.36	WSVECS04 Frhs2[815]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[821]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[824]: 6 0 1.00009 shouldn't be
558.10/560.36	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
558.10/560.36	WSVECS04 Frhs2[827]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[858]: 6 0 1.00001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[864]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[867]: 6 0 1.00001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[869]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[870]: 6 0 1.00009 shouldn't be
558.10/560.36	WSVECS04 Frhs2[871]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[896]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[903]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[910]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[937]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[939]: 6 0 1.00004 shouldn't be
558.10/560.36	WSVECS04 Frhs2[940]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[942]: 6 0 1.00007 shouldn't be
558.10/560.36	WSVECS04 Frhs2[953]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[956]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[958]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[983]: 6 0 1.00004 shouldn't be
558.10/560.36	WSVECS04 Frhs2[986]: 6 0 1.0001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be
558.10/560.36	WSVECS04 Frhs2[989]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[990]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[996]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1003]: 6 0 1.00001 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1018]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1020]: 6 0 1.00005 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1021]: 6 0 1.00003 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1023]: 6 0 1.00002 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1037]: 6 0 1.00006 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1040]: 6 0 1.00008 shouldn't be
558.10/560.36	WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be
571.45/573.77	WSVECS04 Frhs2[747]: 6 0 1.0001 shouldn't be
571.45/573.77	WSVECS04 Frhs2[798]: 6 0 1.00006 shouldn't be
571.45/573.77	WSVECS04 Frhs2[828]: 6 0 1.00009 shouldn't be
571.45/573.77	WSVECS04 Frhs2[955]: 6 0 1.00004 shouldn't be
571.45/573.77	WSVECS04 Frhs2[1039]: 6 0 1.0001 shouldn't be
619.97/622.49	c INPROCESSING
619.97/622.49	c GARBAGE COLLECT
619.97/622.49	c #Conflicts:      92000 | #Constraints:      92241
619.97/622.49	c bounds -540 >= -582 @ 617.134
621.58/624.03	c #Conflicts:      93000 | #Constraints:      93289
621.58/624.03	c bounds -540 >= -581 @ 618.646
623.27/625.71	c #Conflicts:      94000 | #Constraints:      94331
623.27/625.71	c #Conflicts:      95000 | #Constraints:      95331
623.27/625.71	c bounds -540 >= -580 @ 620.293
625.36/627.82	c #Conflicts:      96000 | #Constraints:      96373
625.36/627.82	c #Conflicts:      97000 | #Constraints:      97373
625.36/627.82	c bounds -540 >= -579 @ 622.375
627.46/629.98	c #Conflicts:      98000 | #Constraints:      98415
627.46/629.98	c #Conflicts:      99000 | #Constraints:      99415
627.46/629.98	c bounds -540 >= -578 @ 624.502
628.66/631.13	c #Conflicts:     100000 | #Constraints:     100448
628.66/631.13	c bounds -540 >= -577 @ 625.635
630.44/632.90	c #Conflicts:     101000 | #Constraints:     101484
630.44/632.90	c bounds -540 >= -576 @ 627.389
632.34/634.88	c #Conflicts:     102000 | #Constraints:     102502
632.34/634.88	c #Conflicts:     103000 | #Constraints:     103502
632.34/634.88	c bounds -540 >= -575 @ 629.348
635.82/638.38	c #Conflicts:     104000 | #Constraints:     104538
635.82/638.38	c #Conflicts:     105000 | #Constraints:     105538
635.82/638.38	c bounds -540 >= -574 @ 632.795
638.52/641.05	c #Conflicts:     106000 | #Constraints:     106562
638.52/641.05	c #Conflicts:     107000 | #Constraints:     107562
638.52/641.05	c bounds -540 >= -573 @ 635.425
640.91/643.47	c #Conflicts:     108000 | #Constraints:     108589
640.91/643.47	c #Conflicts:     109000 | #Constraints:     109589
640.91/643.47	c bounds -540 >= -572 @ 637.823
643.80/646.36	c #Conflicts:     110000 | #Constraints:     110622
643.80/646.36	c #Conflicts:     111000 | #Constraints:     111622
643.80/646.36	c bounds -540 >= -571 @ 640.676
647.19/649.70	c #Conflicts:     112000 | #Constraints:     112658
647.19/649.70	c #Conflicts:     113000 | #Constraints:     113658
647.19/649.70	c INPROCESSING
647.19/649.70	c GARBAGE COLLECT
647.19/649.70	c bounds -540 >= -570 @ 643.959
651.45/654.19	c #Conflicts:     114000 | #Constraints:      98879
651.45/654.19	c #Conflicts:     115000 | #Constraints:      99879
651.45/654.19	c #Conflicts:     116000 | #Constraints:     100879
651.45/654.19	c #Conflicts:     117000 | #Constraints:     101879
651.45/654.19	c bounds -540 >= -569 @ 648.263
727.10/730.09	c #Conflicts:     118000 | #Constraints:     102963
727.10/730.09	c #Conflicts:     119000 | #Constraints:     103963
727.10/730.09	c #Conflicts:     120000 | #Constraints:     104963
727.10/730.09	c #Conflicts:     121000 | #Constraints:     105963
727.10/730.09	c #Conflicts:     122000 | #Constraints:     106965
727.10/730.09	c INPROCESSING
727.10/730.09	c GARBAGE COLLECT
727.10/730.09	c rational objective -566.333
734.68/737.64	c #Conflicts:     123000 | #Constraints:      93086
734.68/737.64	c #Conflicts:     124000 | #Constraints:      94087
734.68/737.64	c #Conflicts:     125000 | #Constraints:      95087
734.68/737.64	c bounds -540 >= -568 @ 731.132
739.47/742.40	c #Conflicts:     126000 | #Constraints:      96153
739.47/742.40	c #Conflicts:     127000 | #Constraints:      97154
739.47/742.40	c bounds -540 >= -567 @ 735.842
741.66/744.66	c #Conflicts:     128000 | #Constraints:      98187
741.66/744.66	c bounds -540 >= -566 @ 738.082
748.15/751.19	c #Conflicts:     129000 | #Constraints:      99223
748.15/751.19	c #Conflicts:     130000 | #Constraints:     100224
748.15/751.19	c bounds -540 >= -565 @ 744.565
763.19/766.46	c #Conflicts:     131000 | #Constraints:     101257
763.19/766.46	c #Conflicts:     132000 | #Constraints:     102257
763.19/766.46	c #Conflicts:     133000 | #Constraints:     103257
763.19/766.46	c #Conflicts:     134000 | #Constraints:     104257
763.19/766.46	WSVECS04 Frhs2[23]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[24]: 6 0 1.00005 shouldn't be
763.19/766.46	WSVECS04 Frhs2[25]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[28]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[39]: 6 0 1.00005 shouldn't be
763.19/766.46	WSVECS04 Frhs2[42]: 6 0 1.00001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[44]: 6 0 1.0001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[112]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[113]: 6 0 1.0001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[114]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[117]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[128]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[131]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[133]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[559]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[573]: 6 0 1.0001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[575]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[577]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[590]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[604]: 6 0 1.00009 shouldn't be
763.19/766.46	WSVECS04 Frhs2[606]: 6 0 1.0001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[608]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[739]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[740]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[741]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[744]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[745]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[746]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[747]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[750]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[751]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[753]: 6 0 1.00009 shouldn't be
763.19/766.46	WSVECS04 Frhs2[798]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[801]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[803]: 6 0 1.00005 shouldn't be
763.19/766.46	WSVECS04 Frhs2[824]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[827]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[846]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[848]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[849]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[864]: 6 0 1.00009 shouldn't be
763.19/766.46	WSVECS04 Frhs2[867]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[869]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[887]: 6 0 1.00009 shouldn't be
763.19/766.46	WSVECS04 Frhs2[889]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[903]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[906]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[908]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[921]: 6 0 1.00009 shouldn't be
763.19/766.46	WSVECS04 Frhs2[924]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[926]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[927]: 6 0 1.00007 shouldn't be
763.19/766.46	WSVECS04 Frhs2[937]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[953]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[968]: 6 0 1.00006 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1007]: 6 0 1.00004 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1009]: 6 0 1.00002 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1010]: 6 0 1.00001 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1012]: 6 0 1.00005 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1018]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1028]: 6 0 1.00008 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1033]: 6 0 1.00003 shouldn't be
763.19/766.46	WSVECS04 Frhs2[1037]: 6 0 1.00002 shouldn't be
774.96/778.27	WSVECS04 Frhs2[748]: 6 0 1.00003 shouldn't be
774.96/778.27	WSVECS04 Frhs2[821]: 6 0 1.00008 shouldn't be
774.96/778.27	WSVECS04 Frhs2[843]: 6 0 1.00005 shouldn't be
774.96/778.27	WSVECS04 Frhs2[870]: 6 0 1.00008 shouldn't be
774.96/778.27	WSVECS04 Frhs2[884]: 6 0 1.00008 shouldn't be
774.96/778.27	WSVECS04 Frhs2[1030]: 6 0 1.00008 shouldn't be
774.96/778.27	WSVECS04 Frhs2[1031]: 6 0 1.00009 shouldn't be
848.82/852.38	c #Conflicts:     135000 | #Constraints:     105258
848.82/852.38	c #Conflicts:     136000 | #Constraints:     106258
848.82/852.38	c bounds -540 >= -540 @ 844.916
848.82/852.38	c cpu time 844.916 s
848.82/852.38	c deterministic time 3287532631 3.29e+09
848.82/852.38	c optimization time 0.131185 s
848.82/852.38	c total solve time 844.392 s
848.82/852.38	c core-guided solve time 500.298 s
848.82/852.38	c propagation time 400.258 s
848.82/852.38	c conflict analysis time 88.8162 s
848.82/852.38	c propagations 83582618
848.82/852.38	c resolve steps 9181842
848.82/852.38	c decisions 260573
848.82/852.38	c conflicts 136498
848.82/852.38	c restarts 379
848.82/852.38	c inprocessing phases 17
848.82/852.38	c garbage collections 17 ,( 100.00 )
848.82/852.38	c input clauses 82629 ,( 95.35 )
848.82/852.38	c input cardinalities 2432 ,( 2.81 )
848.82/852.38	c input general constraints 1599 ,( 1.85 )
848.82/852.38	c input average constraint length 7.22
848.82/852.38	c input average constraint degree 2.12
848.82/852.38	c learned clauses 131241 ,( 96.08 )
848.82/852.38	c learned cardinalities 545 ,( 0.40 )
848.82/852.38	c learned general constraints 4806 ,( 3.52 )
848.82/852.38	c learned average constraint length 248.10
848.82/852.38	c learned average constraint degree 5588532.28
848.82/852.38	c watched  CF 32, 64, 128, Arb: 428 , 0 , 0 , 0
848.82/852.38	c counting CF 32, 64, 128, Arb: 5978 , 0 , 0 , 0
848.82/852.38	c watched   constraints 428 ,( 6.68 ) 
848.82/852.38	c counting  constraints 5977 ,( 93.32 ) 
848.82/852.38	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 340135741 , 225825246 , 148081898 ,( 568240 , 147513658 )
848.82/852.38	c gcd simplifications 18198
848.82/852.38	c detected cardinalities 5
848.82/852.38	c weakened non-implied lits 25785480
848.82/852.38	c weakened non-implying lits 182670
848.82/852.38	c original variables 6401
848.82/852.38	c clausal propagations 62452502
848.82/852.38	c cardinality propagations 6343157
848.82/852.38	c watched propagations 8500
848.82/852.38	c counting propagations 14399859
848.82/852.38	c watch lookups 1078323779
848.82/852.38	c watch backjump lookups 0
848.82/852.38	c watch checks 1622167194
848.82/852.38	c propagation checks 239041935
848.82/852.38	c constraint additions 179856836
848.82/852.38	c trail pops 83975390
848.82/852.38	c formula constraints 81100
848.82/852.38	c learned constraints 136531
848.82/852.38	c bound constraints 343
848.82/852.38	c core-guided constraints 5217
848.82/852.38	c encountered formula constraints 5780048
848.82/852.38	c encountered learned constraints 1449416
848.82/852.38	c encountered bound constraints 1360
848.82/852.38	c encountered core-guided constraints 2086733
848.82/852.38	c LP total time 686.264 s
848.82/852.38	c LP solve time 684.75 s
848.82/852.38	c LP constraints added 81113
848.82/852.38	c LP constraints removed 4
848.82/852.38	c LP pivots internal 175402
848.82/852.38	c LP pivots root 148903
848.82/852.38	c LP calls 38
848.82/852.38	c LP optimalities 3
848.82/852.38	c LP no pivot count 0
848.82/852.38	c LP infeasibilities 28
848.82/852.38	c LP valid Farkas constraints 28
848.82/852.38	c LP learned Farkas constraints 28
848.82/852.38	c LP basis resets 0
848.82/852.38	c LP cycling count 0
848.82/852.38	c LP singular count 0
848.82/852.38	c LP no primal count 0
848.82/852.38	c LP no farkas count 0
848.82/852.38	c LP other issue count 0
848.82/852.38	c LP Gomory cuts 5
848.82/852.38	c LP learned cuts 8
848.82/852.38	c LP deleted cuts 4
848.82/852.38	c LP encountered Gomory constraints 288
848.82/852.38	c LP encountered Farkas constraints 359
848.82/852.38	c LP encountered learned Farkas constraints 108
848.82/852.38	c CG auxiliary variables introduced 1845
848.82/852.38	c CG solutions found 25
848.82/852.38	c CG cores constructed 318
848.82/852.38	c CG core cardinality constraints returned 0
848.82/852.38	c CG unit cores 0
848.82/852.38	c CG single cores 314
848.82/852.38	c CG blocks removed during cardinality reduction 0
848.82/852.38	c CG first core best 0
848.82/852.38	c CG decision core best 0
848.82/852.38	c CG core reduction tie 4
848.82/852.38	c CG core degree average 1.00
848.82/852.38	c CG core slack average 7.35
848.82/852.38	c CG core upper bound improvements 0
848.82/852.38	c STR number of successful calls 0
848.82/852.38	c STR number of unsuccessful calls 0
848.82/852.38	c STR number of inconclusive calls 0
848.82/852.38	c STR number of successful attempts 0
848.82/852.38	c STR number of unsuccessful attempts 0
848.82/852.38	c STR number of inconclusive attempts 0
848.82/852.38	c STR average degree increase per successful call inf
848.82/852.38	c STR average degree increase per successful attempt inf
848.82/852.38	c STR total number of conflicts for successful attempts 0
848.82/852.38	c STR total number of conflicts for unsuccessful attempts 0
848.82/852.38	c STR total number of conflicts for inconclusive attempts 0
848.82/852.38	c STR average number of conflicts per successful attempt inf
848.82/852.38	c STR average number of conflicts per unsuccessful attempt inf
848.82/852.38	c STR average number of conflicts per inconclusive attempt inf
848.82/852.38	c AVG.sumWPerc 75.85 
848.82/852.38	c bigint constraints 0 
848.82/852.38	o -540
848.82/852.38	s OPTIMUM FOUND
848.82/852.38	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:34 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 (62266 MiB free)
  memory of node 1: 64465 MiB (63775 MiB free)
  node distances:
     10  21
     21  10

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

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
solver pid=126136, runsolver pid=126130
Current StackSize limit: 8192 KiB


[startup+0.100039 s]*
/proc/loadavg: 1.14 1.14 2.02 3/267 126154
/proc/meminfo: memFree=129045116/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126138] ppid=126136 vsize=38660 memory=27380 CPUtime=0.03 cores=0,2
/proc/126138/stat : 126138 (pbsuma) R 126136 126136 126085 0 -1 4194304 4981 0 0 0 3 0 0 0 20 0 1 0 175430756 39587840 6845 18446744073709551615 4210688 4653049 140729160415792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28192768 140729160419553 140729160419888 140729160419888 140729160425455 0
/proc/126138/statm: 9665 6845 1024 108 0 7073 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 30324 KiB

[startup+0.205663 s]*
/proc/loadavg: 1.14 1.14 2.02 6/272 126160
/proc/meminfo: memFree=128912188/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126138] ppid=126136 vsize=74064 memory=56204 CPUtime=0.14 cores=0,2
/proc/126138/stat : 126138 (pbsuma) R 126136 126136 126085 0 -1 4194304 13688 0 0 0 12 2 0 0 20 0 1 0 175430756 75841536 14051 18446744073709551615 4210688 4653049 140729160415792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28192768 140729160419553 140729160419888 140729160419888 140729160425455 0
/proc/126138/statm: 18516 14051 1024 108 0 15924 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 59148 KiB

[startup+0.305363 s]*
/proc/loadavg: 1.14 1.14 2.02 5/272 126160
/proc/meminfo: memFree=128868212/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126138] ppid=126136 vsize=74324 memory=56844 CPUtime=0.24 cores=0,2
/proc/126138/stat : 126138 (pbsuma) R 126136 126136 126085 0 -1 4194304 13836 0 0 0 22 2 0 0 20 0 1 0 175430756 76107776 14211 18446744073709551615 4210688 4653049 140729160415792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 28192768 140729160419553 140729160419888 140729160419888 140729160425455 0
/proc/126138/statm: 18581 14211 1024 108 0 15989 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 78516 KiB
Current children cumulated memory: 59788 KiB

[startup+0.7002 s]
/proc/loadavg: 1.14 1.14 2.02 4/269 126164
/proc/meminfo: memFree=128812756/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+1.50022 s]
/proc/loadavg: 1.14 1.14 2.02 3/262 126177
/proc/meminfo: memFree=128624244/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=179116 memory=112884 CPUtime=0.94 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 14702 0 0 0 85 9 0 0 20 0 1 0 175430807 183414784 28221 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 44779 28221 2336 1147 0 32205 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 183308 KiB
Current children cumulated memory: 115828 KiB

[startup+3.10574 s]
/proc/loadavg: 1.14 1.14 2.02 5/272 126256
/proc/meminfo: memFree=128360084/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=179116 memory=112884 CPUtime=2.54 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 14716 0 0 0 244 10 0 0 20 0 1 0 175430807 183414784 28221 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 44779 28221 2336 1147 0 32205 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 183308 KiB
Current children cumulated memory: 115828 KiB

[startup+6.30019 s]
/proc/loadavg: 1.37 1.19 2.03 5/272 126305
/proc/meminfo: memFree=128155956/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=184216 memory=118020 CPUtime=5.72 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 14986 0 0 0 560 12 0 0 20 0 1 0 175430807 188637184 29505 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 46054 29505 2368 1147 0 33480 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 188408 KiB
Current children cumulated memory: 120964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.24 2.04 5/272 126307
/proc/meminfo: memFree=127583752/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=192036 memory=122092 CPUtime=12.09 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 15605 0 0 0 1195 14 0 0 20 0 1 0 175430807 196644864 30523 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 48009 30523 2368 1147 0 35435 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 196228 KiB
Current children cumulated memory: 125036 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.37 2.07 5/272 126307
/proc/meminfo: memFree=127200688/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=192036 memory=125164 CPUtime=24.84 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 15835 0 0 0 2466 18 0 0 20 0 1 0 175430807 196644864 31291 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 48009 31291 2368 1147 0 35435 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 196228 KiB
Current children cumulated memory: 128108 KiB

[startup+51.1061 s]
/proc/loadavg: 2.82 1.60 2.13 5/273 126308
/proc/meminfo: memFree=127169580/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=217500 memory=141816 CPUtime=50.36 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 18091 0 0 0 5004 32 0 0 20 0 1 0 175430807 222720000 35454 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 54375 35454 2400 1147 0 41801 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 221692 KiB
Current children cumulated memory: 144760 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 2.24 5/272 126310
/proc/meminfo: memFree=126988652/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=221920 memory=152516 CPUtime=101.28 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 18646 0 0 0 10068 60 0 0 20 0 1 0 175430807 227246080 38129 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 55480 38129 2400 1147 0 42906 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 226112 KiB
Current children cumulated memory: 155460 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.36 5/271 126318
/proc/meminfo: memFree=126738628/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=254624 memory=179264 CPUtime=161.08 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 20781 0 0 0 16027 81 0 0 20 0 1 0 175430807 260734976 44816 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 63656 44816 2400 1147 0 51082 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 258816 KiB
Current children cumulated memory: 182208 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.47 5/270 126320
/proc/meminfo: memFree=126834036/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=254624 memory=179264 CPUtime=220.89 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 20813 0 0 0 21992 97 0 0 20 0 1 0 175430807 260734976 44816 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 63656 44816 2400 1147 0 51082 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 258816 KiB
Current children cumulated memory: 182208 KiB


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

/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 21885 0 0 0 57717 243 0 0 20 0 1 0 175430807 293453824 51886 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 71644 51886 2400 1147 0 59070 0
Current children cumulated CPU time: 580.02 s
Current children cumulated vsize: 290768 KiB
Current children cumulated memory: 210488 KiB

[startup+642.3 s]
/proc/loadavg: 4.36 3.83 3.10 5/270 126337
/proc/meminfo: memFree=126021292/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=286576 memory=207544 CPUtime=639.39 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 21888 0 0 0 63665 274 0 0 20 0 1 0 175430807 293453824 51886 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 71644 51886 2400 1147 0 59070 0
Current children cumulated CPU time: 639.81 s
Current children cumulated vsize: 290768 KiB
Current children cumulated memory: 210488 KiB

[startup+702.3 s]
/proc/loadavg: 4.25 3.91 3.18 5/272 126341
/proc/meminfo: memFree=125894128/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305544 memory=212480 CPUtime=699.06 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22105 0 0 0 69601 305 0 0 20 0 1 0 175430807 312877056 53120 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76386 53120 2400 1147 0 63812 0
Current children cumulated CPU time: 699.48 s
Current children cumulated vsize: 309736 KiB
Current children cumulated memory: 215424 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 3.94 3.24 5/273 126350
/proc/meminfo: memFree=125800640/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=758.68 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22112 0 0 0 75536 332 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 759.1 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+822.3 s]
/proc/loadavg: 4.16 3.99 3.30 5/273 126352
/proc/meminfo: memFree=125765176/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=818.48 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22156 0 0 0 81501 347 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 818.9 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

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

# cumulated CPU time of all completed processes:  user=845.321 s, system=3.61372 s

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

[startup+832 s]*
/proc/loadavg: 4.13 3.99 3.30 5/273 126352
/proc/meminfo: memFree=125765552/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=828.16 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22156 0 0 0 82467 349 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 828.58 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+844.8 s]
/proc/loadavg: 4.10 3.99 3.32 5/273 126352
/proc/meminfo: memFree=125766284/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=840.91 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22156 0 0 0 83739 352 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 841.33 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+848 s]*
/proc/loadavg: 4.10 3.99 3.32 5/273 126353
/proc/meminfo: memFree=125766568/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=844.11 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22156 0 0 0 84058 353 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 844.53 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+849.6 s]
/proc/loadavg: 4.09 3.99 3.32 5/273 126353
/proc/meminfo: memFree=125766568/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=845.7 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22161 0 0 0 84216 354 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 846.12 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+851.2 s]
/proc/loadavg: 4.09 3.99 3.32 5/273 126353
/proc/meminfo: memFree=125758504/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=847.29 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22161 0 0 0 84374 355 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 847.71 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+852 s]*
/proc/loadavg: 4.09 3.99 3.32 5/273 126353
/proc/meminfo: memFree=125758504/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=848.1 cores=0,2
/proc/126169/stat : 126169 (roundingsat) R 126136 126136 126085 0 -1 4194304 22161 0 0 0 84454 356 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 848.52 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

[startup+852.4 s]
/proc/loadavg: 4.09 3.99 3.32 5/273 126353
/proc/meminfo: memFree=125758504/131249988 swapFree=33010416/33010684
[pid=126136] ppid=126130 vsize=4192 memory=2944 CPUtime=0.42 cores=0,2
/proc/126136/stat : 126136 (run-opt-break-l) S 126130 126136 126085 0 -1 4194304 240 15012 0 0 0 0 39 3 20 0 1 0 175430755 4292608 736 18446744073709551615 94766934417408 94766935311941 140730074908096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94766935550992 94766935598736 94766936125440 140730074917139 140730074917340 140730074917340 140730074922944 0
/proc/126136/statm: 1048 736 672 219 0 110 0
[pid=126169] ppid=126136 vsize=305160 memory=212108 CPUtime=848.48 cores=0,2
/proc/126169/stat : 126169 (roundingsat) D 126136 126136 126085 0 -1 4194304 22161 0 0 0 84491 357 0 0 20 0 1 0 175430807 312483840 53027 18446744073709551615 4227072 8923577 140731580047104 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 13766656 140731580053778 140731580054054 140731580054054 140731580059626 0
/proc/126169/statm: 76290 53027 2400 1147 0 63716 0
Current children cumulated CPU time: 848.9 s
Current children cumulated vsize: 309352 KiB
Current children cumulated memory: 215052 KiB

Child status: 0

Real time (s): 852.422
CPU time (s): 848.935
CPU user time (s): 845.321
CPU system time (s): 3.61372
CPU usage (%): 99.5909
Max. virtual memory (cumulated for all children) (KiB): 309736
Max. memory (cumulated for all children) (KiB): 215424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 845.321
system time used= 3.61372
maximum resident set size= 212480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1595720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1265
involuntary context switches= 1937


# summary of solver processes directly reported to runsolver:
#   pid: 126136
#   total CPU time (s): 848.935
#   total CPU user time (s): 845.321
#   total CPU system time (s): 3.61372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92802 second user time and 4.12272 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-15 18:38:42
IDJOB=4532738
IDBENCH=178158
IDSOLVER=3393
FILE ID=nodeC031/4532738-1752597522
RUNJOBID= nodeC031-1752597522-126095
SLURM_JOB_ID= 9684394
Free space on /tmp= 431688 MiB

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

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

MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=1931905058

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129061452 kB
MemAvailable:   129614556 kB
Buffers:            2128 kB
Cached:          1241180 kB
SwapCached:           12 kB
Active:           907848 kB
Inactive:         424604 kB
Active(anon):     104920 kB
Inactive(anon):    10468 kB
Active(file):     802928 kB
Inactive(file):   414136 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34996 kB
Writeback:             0 kB
AnonPages:         92304 kB
Mapped:           108268 kB
Shmem:             26244 kB
KReclaimable:     350556 kB
Slab:             447876 kB
SReclaimable:     350556 kB
SUnreclaim:        97320 kB
KernelStack:        4248 kB
PageTables:         2608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     367752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431588 MiB
End job on nodeC031 at 2025-07-15 18:52:55