Trace number 4520945

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 63f22adOPT cert.-540 779.178 790.301

General information on the benchmark

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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4520945-1751563925.opb'
0.00/0.04	c 	read 2.03MB  (30.25ms)
0.00/0.04	c	 [cnf: #variables 1081 #clauses 64861 #duplicates 0 #arr 195463]
0.00/0.04	c output proof to 'PROOFDIR/proof-4520945-1751563925'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 10] (13.00ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.09	c 	 (43.98ms)
0.00/0.09	c 
0.00/0.09	c detect symmetries on remainder
0.00/0.10	c 	[graph: #vertices 69185 #edges 397412]
0.00/0.10	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.33	c 	 [group: #symmetries 7.55*10^30 #generators 13] (233.99ms)
0.29/0.33	c 
0.29/0.33	c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.33	c 	opt it=15, l=413, m=158, opt=28, avg=880, b=180, gens=13
0.29/0.33	c 	opt it=31, l=733, m=270, opt=46, avg=799, b=180, gens=13
0.29/0.33	c 	opt it=47, l=1043, m=349, opt=52, avg=769, b=180, gens=13
0.29/0.33	c 	ran it=0, +gens=13 
0.29/0.37	c 	con best_support=180, best_gens=3, +gens=254
0.29/0.37	c 	(42.89ms)
0.29/0.37	c 
0.29/0.37	c finalize break order and special generators
0.29/0.37	c 
0.29/0.37	c add generic predicates (break_depth=20)
0.29/0.37	c 	added predicates for 280 generators (0.52ms)
0.39/0.42	c 
0.39/0.42	c generation finished
0.39/0.42	c 	[sbp: #constraints 16240 #add_vars 5320]
0.39/0.42	c 
0.39/0.42	c write result to 'HOME/instance-4520945-1751563925.opb.pre'
0.39/0.42	c 	wrote 2.64MB (5.74ms)
0.39/0.42	c ------------------------------------------------------------------
0.39/0.42	c                 233.99ms 56.20% detect_generic
0.39/0.42	c                  45.68ms 10.97% other
0.39/0.42	c                  43.98ms 10.56% detect_special
0.39/0.42	c                  42.89ms 10.30% optimize_gens
0.39/0.42	c                  30.25ms  7.26% parse
0.39/0.42	c                  13.00ms  3.12% approx_orbits
0.39/0.42	c                   5.74ms  1.38% output
0.39/0.42	c                   0.52ms  0.12% break_generic
0.39/0.42	c                   0.34ms  0.08% finalize_order
0.39/0.42	c         ───────────────────────────────────────────────
0.39/0.42	c                 416.39ms   100% total
0.39/0.42	c ------------------------------------------------------------------
0.39/0.47	c RoundingSat 2
0.39/0.47	c branch pb25
0.39/0.47	c commit 63f22ad
0.83/0.92	c #variables 6401 #constraints 81100
0.83/0.92	c objective is ce32 
0.83/0.92	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.83/0.92	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.83/0.92	c bounds - >= -883 @ 0.360739
3.52/3.61	c bounds 0 >= -883 @ 3.02763
7.21/7.37	c bounds 0 >= -882 @ 6.76597
16.09/16.29	c bounds 0 >= -881 @ 15.6444
30.86/31.08	c rational objective -588.667
31.25/31.48	c bounds 0 >= -880 @ 30.7376
31.25/31.48	c bounds 0 >= -879 @ 30.7379
31.25/31.48	c bounds 0 >= -878 @ 30.7382
31.25/31.48	c bounds 0 >= -877 @ 30.7385
31.25/31.48	c bounds 0 >= -876 @ 30.7388
31.25/31.48	c bounds 0 >= -875 @ 30.7391
31.25/31.48	c bounds 0 >= -874 @ 30.7394
31.25/31.48	c bounds 0 >= -873 @ 30.7399
31.25/31.48	c bounds 0 >= -872 @ 30.7403
31.25/31.48	c bounds 0 >= -871 @ 30.7406
31.25/31.48	c bounds 0 >= -870 @ 30.7409
31.25/31.48	c bounds 0 >= -869 @ 30.7412
31.25/31.48	c bounds 0 >= -868 @ 30.7415
31.25/31.48	c bounds 0 >= -867 @ 30.7418
31.25/31.48	c bounds 0 >= -866 @ 30.7423
31.25/31.48	c bounds 0 >= -865 @ 30.7427
31.25/31.48	c bounds 0 >= -864 @ 30.743
31.25/31.48	c bounds 0 >= -863 @ 30.7433
31.25/31.48	c bounds 0 >= -862 @ 30.7436
31.25/31.48	c bounds 0 >= -861 @ 30.7439
31.25/31.49	c bounds 0 >= -860 @ 30.7442
31.25/31.49	c bounds 0 >= -859 @ 30.7444
31.25/31.49	c bounds 0 >= -858 @ 30.7447
31.25/31.49	c bounds 0 >= -857 @ 30.745
31.25/31.49	c bounds 0 >= -856 @ 30.7456
31.25/31.49	c bounds 0 >= -855 @ 30.7459
31.25/31.49	c bounds 0 >= -854 @ 30.7463
31.25/31.49	c bounds 0 >= -853 @ 30.7466
31.25/31.49	c bounds 0 >= -852 @ 30.7469
31.25/31.49	c bounds 0 >= -851 @ 30.7472
31.25/31.49	c bounds 0 >= -850 @ 30.7476
31.25/31.49	c bounds 0 >= -849 @ 30.7478
31.25/31.49	c bounds 0 >= -848 @ 30.7483
31.25/31.49	c bounds 0 >= -847 @ 30.7486
31.25/31.49	c bounds 0 >= -846 @ 30.749
31.25/31.49	c bounds 0 >= -845 @ 30.7493
31.25/31.49	c bounds 0 >= -844 @ 30.7496
31.25/31.49	c bounds 0 >= -843 @ 30.7499
31.25/31.49	c bounds 0 >= -842 @ 30.7502
31.25/31.49	c bounds 0 >= -841 @ 30.7504
31.25/31.49	c bounds 0 >= -840 @ 30.7507
31.25/31.49	c bounds 0 >= -839 @ 30.751
31.25/31.49	c bounds 0 >= -838 @ 30.7513
31.25/31.49	c bounds 0 >= -837 @ 30.7516
31.25/31.49	c bounds 0 >= -836 @ 30.752
31.25/31.49	c bounds 0 >= -835 @ 30.7523
31.25/31.49	c bounds 0 >= -834 @ 30.7526
31.25/31.49	c bounds 0 >= -833 @ 30.7529
31.25/31.49	c bounds 0 >= -832 @ 30.7531
31.25/31.49	c bounds 0 >= -831 @ 30.7534
31.25/31.49	c bounds 0 >= -830 @ 30.7537
31.25/31.50	c bounds 0 >= -829 @ 30.7542
31.25/31.50	c bounds 0 >= -828 @ 30.7545
31.35/31.50	c bounds 0 >= -827 @ 30.7548
31.35/31.50	c bounds 0 >= -826 @ 30.755
31.35/31.50	c bounds 0 >= -825 @ 30.7553
31.35/31.50	c bounds 0 >= -824 @ 30.7554
31.35/31.50	c bounds 0 >= -823 @ 30.7554
31.35/31.50	c bounds 0 >= -822 @ 30.7554
31.35/31.50	c bounds 0 >= -821 @ 30.7554
31.35/31.50	c bounds 0 >= -820 @ 30.7557
31.35/31.50	c bounds 0 >= -819 @ 30.756
31.35/31.50	c bounds 0 >= -818 @ 30.7562
31.35/31.50	c bounds 0 >= -817 @ 30.7565
31.35/31.50	c bounds 0 >= -816 @ 30.7567
31.35/31.50	c bounds 0 >= -815 @ 30.7573
31.35/31.51	c bounds -370 >= -815 @ 30.7632
31.35/31.51	c bounds -370 >= -814 @ 30.7637
31.35/31.51	c bounds -370 >= -813 @ 30.7641
31.35/31.51	c bounds -370 >= -812 @ 30.7644
31.35/31.51	c bounds -370 >= -811 @ 30.7647
31.35/31.51	c bounds -370 >= -810 @ 30.7649
31.35/31.51	c bounds -370 >= -809 @ 30.7652
31.35/31.51	c bounds -370 >= -808 @ 30.7654
31.35/31.51	c bounds -370 >= -807 @ 30.7657
31.35/31.51	c bounds -370 >= -806 @ 30.7659
31.35/31.51	c bounds -370 >= -805 @ 30.7662
31.35/31.51	c bounds -370 >= -804 @ 30.7665
31.35/31.51	c bounds -370 >= -803 @ 30.7668
31.35/31.51	c bounds -370 >= -802 @ 30.767
31.35/31.51	c bounds -370 >= -801 @ 30.7673
31.35/31.51	c bounds -370 >= -800 @ 30.7675
31.35/31.51	c bounds -370 >= -799 @ 30.7678
31.35/31.51	c bounds -370 >= -798 @ 30.768
31.35/31.51	c bounds -370 >= -797 @ 30.7684
31.35/31.51	c bounds -370 >= -796 @ 30.7687
31.35/31.51	c bounds -370 >= -795 @ 30.7689
31.35/31.51	c bounds -370 >= -794 @ 30.7692
31.35/31.51	c bounds -370 >= -793 @ 30.7694
31.35/31.51	c bounds -370 >= -792 @ 30.7697
31.35/31.51	c bounds -370 >= -791 @ 30.77
31.35/31.51	c bounds -370 >= -790 @ 30.7702
31.35/31.51	c bounds -370 >= -789 @ 30.7704
31.35/31.51	c bounds -370 >= -788 @ 30.7707
31.35/31.52	c bounds -370 >= -787 @ 30.7711
31.35/31.52	c bounds -370 >= -786 @ 30.7714
31.35/31.52	c bounds -370 >= -785 @ 30.7716
31.35/31.52	c bounds -370 >= -784 @ 30.7719
31.35/31.52	c bounds -370 >= -783 @ 30.7721
31.35/31.52	c bounds -370 >= -782 @ 30.7724
31.35/31.52	c bounds -370 >= -781 @ 30.7726
31.35/31.52	c bounds -370 >= -780 @ 30.7729
31.35/31.52	c bounds -370 >= -779 @ 30.7732
31.35/31.52	c bounds -370 >= -778 @ 30.7735
31.35/31.53	c bounds -380 >= -778 @ 30.7822
31.35/31.53	c bounds -380 >= -777 @ 30.7825
31.35/31.53	c bounds -380 >= -776 @ 30.7828
31.35/31.53	c bounds -380 >= -775 @ 30.783
31.35/31.53	c bounds -380 >= -774 @ 30.7833
31.35/31.53	c bounds -380 >= -773 @ 30.7835
31.35/31.53	c bounds -380 >= -772 @ 30.7838
31.35/31.53	c bounds -380 >= -771 @ 30.784
31.35/31.53	c bounds -380 >= -770 @ 30.7843
31.35/31.53	c bounds -380 >= -769 @ 30.7847
31.35/31.53	c bounds -380 >= -768 @ 30.7849
31.35/31.53	c bounds -380 >= -767 @ 30.7852
31.35/31.53	c bounds -380 >= -766 @ 30.7854
31.35/31.53	c bounds -380 >= -765 @ 30.7856
31.35/31.53	c bounds -380 >= -764 @ 30.7859
31.35/31.53	c bounds -380 >= -763 @ 30.7862
31.35/31.53	c bounds -380 >= -762 @ 30.7865
31.35/31.53	c bounds -380 >= -761 @ 30.7869
31.35/31.53	c bounds -380 >= -760 @ 30.7872
31.35/31.53	c bounds -380 >= -759 @ 30.7874
31.35/31.53	c bounds -380 >= -758 @ 30.7877
31.35/31.53	c bounds -380 >= -757 @ 30.7879
31.35/31.53	c bounds -380 >= -756 @ 30.7881
31.35/31.53	c bounds -380 >= -755 @ 30.7884
31.35/31.53	c bounds -380 >= -754 @ 30.7886
31.35/31.53	c bounds -380 >= -753 @ 30.7888
31.35/31.53	c bounds -380 >= -752 @ 30.7891
31.35/31.53	c bounds -380 >= -751 @ 30.7893
31.35/31.53	c bounds -380 >= -750 @ 30.7896
31.35/31.53	c bounds -380 >= -749 @ 30.7898
31.35/31.54	c bounds -380 >= -748 @ 30.791
31.35/31.54	c bounds -380 >= -747 @ 30.7915
31.35/31.54	c bounds -380 >= -746 @ 30.7917
31.35/31.54	c bounds -380 >= -745 @ 30.792
31.35/31.54	c bounds -380 >= -744 @ 30.7922
31.35/31.54	c bounds -380 >= -743 @ 30.7924
31.35/31.54	c bounds -380 >= -742 @ 30.7927
31.35/31.54	c bounds -380 >= -741 @ 30.7929
31.35/31.54	c bounds -380 >= -740 @ 30.7931
31.35/31.54	c bounds -380 >= -739 @ 30.7934
31.35/31.54	c bounds -380 >= -738 @ 30.7936
31.35/31.54	c bounds -380 >= -737 @ 30.7938
31.35/31.54	c bounds -380 >= -736 @ 30.7941
31.35/31.54	c bounds -380 >= -735 @ 30.7944
31.35/31.54	c bounds -380 >= -734 @ 30.7947
31.35/31.54	c bounds -380 >= -733 @ 30.795
31.35/31.54	c bounds -380 >= -732 @ 30.7954
31.35/31.54	c bounds -380 >= -731 @ 30.7957
31.35/31.54	c bounds -380 >= -730 @ 30.796
31.35/31.54	c bounds -401 >= -730 @ 30.7992
31.35/31.54	c bounds -401 >= -729 @ 30.7995
31.35/31.54	c bounds -401 >= -728 @ 30.7998
31.35/31.55	c bounds -401 >= -727 @ 30.8
31.35/31.55	c bounds -401 >= -726 @ 30.8003
31.35/31.55	c bounds -401 >= -725 @ 30.8005
31.35/31.55	c bounds -401 >= -724 @ 30.8008
31.35/31.55	c bounds -401 >= -723 @ 30.8011
31.35/31.55	c bounds -401 >= -722 @ 30.8013
31.35/31.55	c bounds -401 >= -721 @ 30.8016
31.35/31.55	c bounds -401 >= -720 @ 30.8019
31.35/31.55	c bounds -401 >= -719 @ 30.8021
31.35/31.55	c bounds -401 >= -718 @ 30.8024
31.35/31.55	c bounds -401 >= -717 @ 30.8027
31.35/31.55	c bounds -401 >= -716 @ 30.803
31.35/31.55	c bounds -401 >= -715 @ 30.8032
31.35/31.55	c bounds -401 >= -714 @ 30.8034
31.35/31.55	c bounds -401 >= -713 @ 30.8037
31.35/31.55	c bounds -401 >= -712 @ 30.804
31.35/31.55	c bounds -401 >= -711 @ 30.8043
31.35/31.55	c bounds -401 >= -710 @ 30.8047
31.35/31.55	c bounds -401 >= -709 @ 30.805
31.35/31.55	c bounds -401 >= -708 @ 30.8053
31.35/31.55	c bounds -401 >= -707 @ 30.8055
31.35/31.55	c bounds -401 >= -706 @ 30.8058
31.35/31.55	c bounds -401 >= -705 @ 30.8061
31.35/31.55	c bounds -401 >= -704 @ 30.8064
31.35/31.55	c bounds -401 >= -703 @ 30.8067
31.35/31.55	c bounds -401 >= -702 @ 30.807
31.35/31.55	c bounds -401 >= -701 @ 30.8073
31.35/31.55	c bounds -401 >= -700 @ 30.8076
31.35/31.55	c bounds -401 >= -699 @ 30.8079
31.35/31.55	c bounds -401 >= -698 @ 30.8083
31.35/31.56	c bounds -422 >= -698 @ 30.8173
31.35/31.56	c bounds -422 >= -697 @ 30.818
31.35/31.56	c bounds -422 >= -696 @ 30.8185
31.35/31.56	c bounds -422 >= -695 @ 30.8188
31.35/31.56	c bounds -422 >= -694 @ 30.8191
31.35/31.56	c bounds -422 >= -693 @ 30.8194
31.35/31.56	c bounds -422 >= -692 @ 30.8197
31.35/31.57	c bounds -422 >= -691 @ 30.8202
31.35/31.57	c bounds -422 >= -690 @ 30.8204
31.35/31.57	c bounds -422 >= -689 @ 30.8208
31.35/31.57	c bounds -422 >= -688 @ 30.8211
31.35/31.57	c bounds -422 >= -687 @ 30.8215
31.35/31.57	c bounds -422 >= -686 @ 30.8218
31.35/31.57	c bounds -422 >= -685 @ 30.8222
31.35/31.57	c bounds -422 >= -684 @ 30.8225
31.35/31.57	c bounds -422 >= -683 @ 30.8228
31.35/31.57	c bounds -422 >= -682 @ 30.8231
31.35/31.57	c bounds -422 >= -681 @ 30.8231
31.35/31.57	c bounds -447 >= -681 @ 30.8262
31.35/31.58	c bounds -447 >= -680 @ 30.8275
31.35/31.58	c bounds -447 >= -679 @ 30.8281
31.35/31.58	c bounds -447 >= -678 @ 30.8282
31.35/31.58	c bounds -455 >= -678 @ 30.833
31.35/31.58	c bounds -455 >= -677 @ 30.8344
31.35/31.58	c bounds -455 >= -676 @ 30.835
31.35/31.58	c bounds -455 >= -675 @ 30.8356
31.35/31.59	c bounds -455 >= -674 @ 30.8361
31.35/31.59	c bounds -455 >= -673 @ 30.8361
31.35/31.59	c bounds -455 >= -672 @ 30.8361
31.35/31.59	c bounds -455 >= -671 @ 30.8361
31.35/31.59	c bounds -463 >= -671 @ 30.8393
31.35/31.59	c bounds -463 >= -670 @ 30.84
31.35/31.59	c bounds -463 >= -669 @ 30.8404
31.35/31.59	c bounds -463 >= -668 @ 30.8408
31.35/31.59	c bounds -463 >= -667 @ 30.8416
31.35/31.59	c bounds -463 >= -666 @ 30.842
31.35/31.59	c bounds -463 >= -665 @ 30.8433
31.45/31.60	c bounds -471 >= -665 @ 30.8477
31.45/31.60	c bounds -471 >= -664 @ 30.8501
31.45/31.61	c bounds -473 >= -664 @ 30.8574
31.45/31.61	c bounds -473 >= -663 @ 30.8589
31.45/31.61	c bounds -473 >= -662 @ 30.8593
31.45/31.61	c bounds -473 >= -661 @ 30.8605
31.45/31.61	c bounds -473 >= -660 @ 30.8616
31.45/31.62	c bounds -473 >= -659 @ 30.864
31.45/31.62	c bounds -479 >= -659 @ 30.8676
31.45/31.62	c bounds -479 >= -658 @ 30.8695
31.45/31.63	c bounds -485 >= -658 @ 30.8751
31.45/31.63	c bounds -485 >= -657 @ 30.8776
31.45/31.63	c bounds -485 >= -656 @ 30.8814
31.45/31.64	c bounds -491 >= -656 @ 30.8858
31.45/31.65	c bounds -491 >= -655 @ 30.8928
31.45/31.65	c bounds -497 >= -655 @ 30.8958
31.45/31.66	c bounds -503 >= -655 @ 30.9064
31.45/31.67	c bounds -503 >= -654 @ 30.91
31.45/31.67	c bounds -503 >= -653 @ 30.9125
31.45/31.68	c bounds -506 >= -653 @ 30.9194
31.45/31.68	c bounds -506 >= -652 @ 30.9229
31.45/31.68	c bounds -506 >= -651 @ 30.9234
31.55/31.70	c bounds -507 >= -651 @ 30.9419
31.55/31.71	c bounds -507 >= -650 @ 30.947
31.55/31.71	c bounds -507 >= -649 @ 30.9493
31.55/31.72	c bounds -508 >= -649 @ 30.9582
31.55/31.72	c bounds -508 >= -648 @ 30.9625
31.55/31.73	c bounds -509 >= -648 @ 30.9658
31.55/31.74	c bounds -509 >= -647 @ 30.9729
31.55/31.75	c bounds -512 >= -647 @ 30.9898
31.55/31.76	c bounds -512 >= -646 @ 30.9953
31.55/31.76	c bounds -525 >= -646 @ 30.9997
31.55/31.77	c bounds -525 >= -645 @ 31.0055
31.75/31.98	c bounds -529 >= -645 @ 31.2179
31.75/31.99	c bounds -529 >= -644 @ 31.2304
31.85/32.01	c bounds -529 >= -643 @ 31.2441
31.85/32.02	c bounds -529 >= -642 @ 31.2521
31.85/32.03	c bounds -529 >= -641 @ 31.259
31.85/32.04	c bounds -529 >= -640 @ 31.2697
31.85/32.05	c #Conflicts:       1000 | #Constraints:      84164
31.85/32.05	c bounds -529 >= -639 @ 31.2806
31.85/32.07	c bounds -529 >= -638 @ 31.3036
31.96/32.13	c bounds -532 >= -638 @ 31.3655
31.96/32.17	c bounds -532 >= -637 @ 31.3974
33.35/33.59	c #Conflicts:       2000 | #Constraints:      85312
33.35/33.59	c INPROCESSING
33.35/33.59	c GARBAGE COLLECT
33.35/33.59	c bounds -532 >= -636 @ 32.8033
33.45/33.62	c bounds -532 >= -635 @ 32.8333
33.55/33.75	c bounds -532 >= -634 @ 32.9609
33.65/33.84	c bounds -532 >= -633 @ 33.0485
33.74/33.94	c #Conflicts:       3000 | #Constraints:      85016
33.74/33.94	c bounds -532 >= -632 @ 33.1445
71.48/77.79	c #Conflicts:       4000 | #Constraints:      86065
71.48/77.79	c INPROCESSING
71.48/77.79	c GARBAGE COLLECT
71.48/77.79	c bounds -532 >= -631 @ 70.7896
71.63/77.90	c #Conflicts:       5000 | #Constraints:      85162
71.63/77.90	c bounds -532 >= -630 @ 70.8967
71.73/78.02	c bounds -532 >= -629 @ 71.0135
71.83/78.16	c bounds -532 >= -628 @ 71.1462
72.83/79.18	c #Conflicts:       6000 | #Constraints:      86288
72.83/79.18	c INPROCESSING
72.83/79.18	c GARBAGE COLLECT
72.83/79.18	c #Conflicts:       7000 | #Constraints:      85089
72.83/79.18	c bounds -532 >= -627 @ 72.1577
73.02/79.32	c bounds -532 >= -626 @ 72.2957
73.12/79.46	c #Conflicts:       8000 | #Constraints:      86239
73.12/79.46	c bounds -532 >= -625 @ 72.4363
74.82/81.18	c #Conflicts:       9000 | #Constraints:      87278
74.82/81.18	c INPROCESSING
74.82/81.18	c GARBAGE COLLECT
74.82/81.18	c bounds -532 >= -624 @ 74.1419
75.12/81.47	c #Conflicts:      10000 | #Constraints:      85907
75.12/81.47	c bounds -532 >= -623 @ 74.424
75.31/81.62	c bounds -532 >= -622 @ 74.5719
75.41/81.77	c #Conflicts:      11000 | #Constraints:      87045
75.41/81.77	c bounds -532 >= -621 @ 74.7146
75.82/82.16	c bounds -532 >= -620 @ 75.0973
75.92/82.27	c bounds -538 >= -620 @ 75.203
76.32/82.66	c #Conflicts:      12000 | #Constraints:      88142
76.32/82.66	c INPROCESSING
76.32/82.66	c GARBAGE COLLECT
76.32/82.66	c bounds -540 >= -620 @ 75.5979
79.81/86.12	c #Conflicts:      13000 | #Constraints:      86407
79.81/86.12	c #Conflicts:      14000 | #Constraints:      87407
79.81/86.12	c #Conflicts:      15000 | #Constraints:      88407
79.81/86.12	c INPROCESSING
79.81/86.12	c GARBAGE COLLECT
79.81/86.12	c bounds -540 >= -619 @ 79.0172
80.11/86.43	c #Conflicts:      16000 | #Constraints:      85896
80.11/86.43	c bounds -540 >= -618 @ 79.3219
80.30/86.64	c bounds -540 >= -617 @ 79.5333
80.60/86.90	c #Conflicts:      17000 | #Constraints:      86983
80.60/86.90	c bounds -540 >= -616 @ 79.7903
80.81/87.19	c bounds -540 >= -615 @ 80.0736
81.30/87.66	c #Conflicts:      18000 | #Constraints:      88067
81.30/87.66	c INPROCESSING
81.30/87.66	c GARBAGE COLLECT
81.30/87.66	c bounds -540 >= -614 @ 80.5335
81.60/87.96	c #Conflicts:      19000 | #Constraints:      86079
81.60/87.96	c bounds -540 >= -613 @ 80.8311
82.00/88.36	c #Conflicts:      20000 | #Constraints:      87109
82.00/88.36	c bounds -540 >= -612 @ 81.2168
92.08/98.47	c bounds -540 >= -611 @ 91.2649
112.13/118.58	c #Conflicts:      21000 | #Constraints:      88191
112.13/118.58	c #Conflicts:      22000 | #Constraints:      89191
112.13/118.58	c #Conflicts:      23000 | #Constraints:      90191
112.13/118.58	c #Conflicts:      24000 | #Constraints:      91191
112.13/118.58	c #Conflicts:      25000 | #Constraints:      92191
112.13/118.58	c #Conflicts:      26000 | #Constraints:      93191
112.13/118.58	c #Conflicts:      27000 | #Constraints:      94191
112.13/118.58	c #Conflicts:      28000 | #Constraints:      95191
112.13/118.58	c INPROCESSING
112.13/118.58	c GARBAGE COLLECT
112.13/118.58	WSVECS04 Frhs2[22]: 6 0 1.00004 shouldn't be
112.13/118.58	WSVECS04 Frhs2[27]: 6 0 1.00009 shouldn't be
112.13/118.58	WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be
112.13/118.58	WSVECS04 Frhs2[39]: 6 0 1.00007 shouldn't be
112.13/118.58	WSVECS04 Frhs2[41]: 6 0 1.0001 shouldn't be
112.13/118.58	WSVECS04 Frhs2[42]: 6 0 1.00008 shouldn't be
112.13/118.58	WSVECS04 Frhs2[46]: 6 0 1.00001 shouldn't be
112.13/118.58	WSVECS04 Frhs2[559]: 6 0 1.00007 shouldn't be
112.13/118.58	WSVECS04 Frhs2[568]: 6 0 1.00007 shouldn't be
112.13/118.58	WSVECS04 Frhs2[569]: 6 0 1.00007 shouldn't be
112.13/118.58	WSVECS04 Frhs2[574]: 6 0 1.00002 shouldn't be
112.13/118.58	WSVECS04 Frhs2[579]: 6 0 1.00001 shouldn't be
112.13/118.58	WSVECS04 Frhs2[590]: 6 0 1.00003 shouldn't be
112.13/118.58	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
112.13/118.58	WSVECS04 Frhs2[607]: 6 0 1.00004 shouldn't be
112.13/118.58	WSVECS04 Frhs2[610]: 6 0 1.00002 shouldn't be
112.13/118.58	WSVECS04 Frhs2[739]: 6 0 1.00006 shouldn't be
112.13/118.58	WSVECS04 Frhs2[800]: 6 0 1.00002 shouldn't be
112.13/118.58	WSVECS04 Frhs2[804]: 6 0 1.00001 shouldn't be
112.13/118.58	WSVECS04 Frhs2[805]: 6 0 1.00002 shouldn't be
112.13/118.58	WSVECS04 Frhs2[908]: 6 0 1.00003 shouldn't be
112.13/118.58	WSVECS04 Frhs2[909]: 6 0 1.00009 shouldn't be
112.13/118.58	WSVECS04 Frhs2[955]: 6 0 1.00004 shouldn't be
128.38/134.89	WSVECS04 Frhs2[44]: 6 0 1.00005 shouldn't be
128.38/134.89	WSVECS04 Frhs2[45]: 6 0 1.00005 shouldn't be
128.38/134.89	WSVECS04 Frhs2[576]: 6 0 1.00005 shouldn't be
128.38/134.89	WSVECS04 Frhs2[599]: 6 0 1.00005 shouldn't be
128.38/134.89	WSVECS04 Frhs2[600]: 6 0 1.00005 shouldn't be
128.38/134.89	WSVECS04 Frhs2[745]: 6 0 1.00006 shouldn't be
128.38/134.89	WSVECS04 Frhs2[747]: 6 0 1.00009 shouldn't be
128.38/134.89	WSVECS04 Frhs2[750]: 6 0 1.00002 shouldn't be
128.38/134.89	WSVECS04 Frhs2[798]: 6 0 1.00001 shouldn't be
128.38/134.89	WSVECS04 Frhs2[801]: 6 0 1.00007 shouldn't be
128.38/134.89	WSVECS04 Frhs2[803]: 6 0 1.00008 shouldn't be
128.38/134.89	WSVECS04 Frhs2[902]: 6 0 1.00003 shouldn't be
128.38/134.89	WSVECS04 Frhs2[906]: 6 0 1.00007 shouldn't be
128.38/134.89	WSVECS04 Frhs2[910]: 6 0 1.00001 shouldn't be
128.38/134.89	WSVECS04 Frhs2[1039]: 6 0 1.00005 shouldn't be
146.34/152.81	WSVECS04 Frhs2[740]: 6 0 1.00003 shouldn't be
146.34/152.81	WSVECS04 Frhs2[797]: 6 0 1.00005 shouldn't be
146.34/152.81	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
146.34/152.81	WSVECS04 Frhs2[1020]: 6 0 1.00002 shouldn't be
162.99/169.54	WSVECS04 Frhs2[905]: 6 0 1.00005 shouldn't be
162.99/169.54	WSVECS04 Frhs2[939]: 6 0 1.00004 shouldn't be
188.63/195.22	c #Conflicts:      29000 | #Constraints:      89385
188.63/195.22	WSVECS04 Frhs2[97]: 6 -7.00005 0 shouldn't be
188.63/195.22	WSVECS04 Frhs2[101]: 6 -1.00006 0 shouldn't be
188.63/195.22	WSVECS04 Frhs2[111]: 6 -119.439 0 shouldn't be
188.63/195.22	WSVECS04 Frhs2[232]: 6 0 257.695 shouldn't be
188.63/195.22	WSVECS04 Frhs2[643]: 6 -588.181 0 shouldn't be
188.63/195.22	WSVECS04 Frhs2[974]: 6 -144.306 0 shouldn't be
201.88/208.55	WSVECS04 Frhs2[107]: 6 -176.932 0 shouldn't be
201.88/208.55	WSVECS04 Frhs2[290]: 6 0 1.0001 shouldn't be
201.88/208.55	WSVECS04 Frhs2[637]: 6 0 189.689 shouldn't be
201.88/208.55	WSVECS04 Frhs2[881]: 6 -295.371 0 shouldn't be
216.25/222.92	WSVECS04 Frhs2[125]: 6 -295.371 0 shouldn't be
221.94/228.62	c bounds -540 >= -610 @ 220.816
222.35/229.09	c #Conflicts:      30000 | #Constraints:      90455
222.35/229.09	c bounds -540 >= -609 @ 221.265
223.04/229.75	c #Conflicts:      31000 | #Constraints:      91503
223.04/229.75	c bounds -540 >= -608 @ 221.919
223.44/230.19	c #Conflicts:      32000 | #Constraints:      92542
223.44/230.19	c bounds -540 >= -607 @ 222.353
224.03/230.79	c bounds -540 >= -606 @ 222.943
224.73/231.40	c #Conflicts:      33000 | #Constraints:      93599
224.73/231.40	c INPROCESSING
224.73/231.40	c GARBAGE COLLECT
224.73/231.40	c bounds -540 >= -605 @ 223.546
225.33/232.02	c #Conflicts:      34000 | #Constraints:      88806
225.33/232.02	c bounds -540 >= -604 @ 224.151
226.03/232.70	c #Conflicts:      35000 | #Constraints:      89872
226.03/232.70	c bounds -540 >= -603 @ 224.82
226.83/233.50	c #Conflicts:      36000 | #Constraints:      90914
226.83/233.50	c bounds -540 >= -602 @ 225.602
227.52/234.21	c #Conflicts:      37000 | #Constraints:      91950
227.52/234.21	c bounds -540 >= -601 @ 226.311
228.43/235.14	c #Conflicts:      38000 | #Constraints:      92998
228.43/235.14	c INPROCESSING
228.43/235.14	c GARBAGE COLLECT
228.43/235.14	c #Conflicts:      39000 | #Constraints:      88633
228.43/235.14	c bounds -540 >= -600 @ 227.225
229.42/236.11	c #Conflicts:      40000 | #Constraints:      89702
229.42/236.11	c bounds -540 >= -599 @ 228.182
230.62/237.30	c #Conflicts:      41000 | #Constraints:      90759
230.62/237.30	c #Conflicts:      42000 | #Constraints:      91759
230.62/237.30	c bounds -540 >= -598 @ 229.344
231.52/238.25	c #Conflicts:      43000 | #Constraints:      92816
231.52/238.25	c #Conflicts:      44000 | #Constraints:      93816
231.52/238.25	c bounds -540 >= -597 @ 230.274
232.62/239.37	c #Conflicts:      45000 | #Constraints:      94846
232.62/239.37	c bounds -540 >= -596 @ 231.374
233.91/240.62	c #Conflicts:      46000 | #Constraints:      95876
233.91/240.62	c #Conflicts:      47000 | #Constraints:      96876
233.91/240.62	c bounds -540 >= -595 @ 232.612
280.00/287.15	c #Conflicts:      48000 | #Constraints:      97903
280.00/287.15	c #Conflicts:      49000 | #Constraints:      98903
280.00/287.15	c #Conflicts:      50000 | #Constraints:      99903
280.00/287.15	c #Conflicts:      51000 | #Constraints:     100903
280.00/287.15	c #Conflicts:      52000 | #Constraints:     101907
280.00/287.15	c INPROCESSING
280.00/287.15	c GARBAGE COLLECT
280.00/287.15	c #Conflicts:      53000 | #Constraints:      92961
280.00/287.15	c #Conflicts:      54000 | #Constraints:      93961
280.00/287.15	c bounds -540 >= -594 @ 278.576
281.49/288.61	c #Conflicts:      55000 | #Constraints:      95021
281.49/288.61	c #Conflicts:      56000 | #Constraints:      96021
281.49/288.61	c bounds -540 >= -593 @ 280.011
283.17/290.38	c #Conflicts:      57000 | #Constraints:      97057
283.17/290.38	c #Conflicts:      58000 | #Constraints:      98057
283.17/290.38	c bounds -540 >= -592 @ 281.755
294.85/302.04	c INPROCESSING
294.85/302.04	c GARBAGE COLLECT
294.85/302.04	WSVECS04 Frhs2[23]: 6 0 1.00003 shouldn't be
294.85/302.04	WSVECS04 Frhs2[42]: 6 0 1.00004 shouldn't be
294.85/302.04	WSVECS04 Frhs2[803]: 6 0 1.00009 shouldn't be
311.20/318.43	WSVECS04 Frhs2[46]: 6 0 1.00009 shouldn't be
311.20/318.43	WSVECS04 Frhs2[751]: 6 0 1.00003 shouldn't be
311.20/318.43	WSVECS04 Frhs2[797]: 6 0 1.00004 shouldn't be
311.20/318.43	WSVECS04 Frhs2[801]: 6 0 1.00007 shouldn't be
311.20/318.43	WSVECS04 Frhs2[821]: 6 0 1.00003 shouldn't be
311.20/318.43	WSVECS04 Frhs2[826]: 6 0 1.00007 shouldn't be
311.20/318.43	WSVECS04 Frhs2[828]: 6 0 1.00003 shouldn't be
311.20/318.43	WSVECS04 Frhs2[867]: 6 0 1.00007 shouldn't be
311.20/318.43	WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be
311.20/318.43	WSVECS04 Frhs2[906]: 6 0 1.00007 shouldn't be
329.76/337.04	WSVECS04 Frhs2[22]: 6 0 1.00001 shouldn't be
329.76/337.04	WSVECS04 Frhs2[25]: 6 0 1.00008 shouldn't be
329.76/337.04	WSVECS04 Frhs2[27]: 6 0 1.00008 shouldn't be
329.76/337.04	WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be
329.76/337.04	WSVECS04 Frhs2[39]: 6 0 1.00009 shouldn't be
329.76/337.04	WSVECS04 Frhs2[44]: 6 0 1.00008 shouldn't be
329.76/337.04	WSVECS04 Frhs2[45]: 6 0 1.00001 shouldn't be
329.76/337.04	WSVECS04 Frhs2[798]: 6 0 1.00001 shouldn't be
329.76/337.04	WSVECS04 Frhs2[804]: 6 0 1.00009 shouldn't be
329.76/337.04	WSVECS04 Frhs2[805]: 6 0 1.0001 shouldn't be
329.76/337.04	WSVECS04 Frhs2[820]: 6 0 1.00005 shouldn't be
329.76/337.04	WSVECS04 Frhs2[824]: 6 0 1.00007 shouldn't be
329.76/337.04	WSVECS04 Frhs2[827]: 6 0 1.0001 shouldn't be
329.76/337.04	WSVECS04 Frhs2[863]: 6 0 1.00003 shouldn't be
329.76/337.04	WSVECS04 Frhs2[864]: 6 0 1.00002 shouldn't be
329.76/337.04	WSVECS04 Frhs2[869]: 6 0 1.00007 shouldn't be
329.76/337.04	WSVECS04 Frhs2[871]: 6 0 1.00008 shouldn't be
329.76/337.04	WSVECS04 Frhs2[903]: 6 0 1.00005 shouldn't be
329.76/337.04	WSVECS04 Frhs2[908]: 6 0 1.00004 shouldn't be
329.76/337.04	WSVECS04 Frhs2[909]: 6 0 1.00003 shouldn't be
329.76/337.04	WSVECS04 Frhs2[910]: 6 0 1.00007 shouldn't be
365.06/372.41	WSVECS04 Frhs2[902]: 6 0 1.00002 shouldn't be
444.65/452.23	c #Conflicts:      59000 | #Constraints:      90980
444.65/452.23	c #Conflicts:      60000 | #Constraints:      91980
444.65/452.23	c bounds -540 >= -591 @ 442.873
445.95/453.51	c #Conflicts:      61000 | #Constraints:      93049
445.95/453.51	c #Conflicts:      62000 | #Constraints:      94049
445.95/453.51	c bounds -540 >= -590 @ 444.138
452.03/459.67	c #Conflicts:      63000 | #Constraints:      95112
452.03/459.67	c #Conflicts:      64000 | #Constraints:      96112
452.03/459.67	c #Conflicts:      65000 | #Constraints:      97112
452.03/459.67	c INPROCESSING
452.03/459.67	c GARBAGE COLLECT
452.03/459.67	c #Conflicts:      66000 | #Constraints:      90884
452.03/459.67	c #Conflicts:      67000 | #Constraints:      91884
452.03/459.67	c #Conflicts:      68000 | #Constraints:      92884
452.03/459.67	c bounds -540 >= -589 @ 450.219
495.15/503.00	c #Conflicts:      69000 | #Constraints:      93968
495.15/503.00	c #Conflicts:      70000 | #Constraints:      94968
495.15/503.00	c #Conflicts:      71000 | #Constraints:      95968
495.15/503.00	c #Conflicts:      72000 | #Constraints:      96968
495.15/503.00	c #Conflicts:      73000 | #Constraints:      97970
495.15/503.00	c #Conflicts:      74000 | #Constraints:      98971
495.15/503.00	c #Conflicts:      75000 | #Constraints:      99972
495.15/503.00	c #Conflicts:      76000 | #Constraints:     100972
495.15/503.00	c #Conflicts:      77000 | #Constraints:     101973
495.15/503.00	c #Conflicts:      78000 | #Constraints:     102973
495.15/503.00	c #Conflicts:      79000 | #Constraints:     103973
495.15/503.00	c #Conflicts:      80000 | #Constraints:     104973
495.15/503.00	c #Conflicts:      81000 | #Constraints:     105974
495.15/503.00	c #Conflicts:      82000 | #Constraints:     106974
495.15/503.00	c #Conflicts:      83000 | #Constraints:     107975
495.15/503.00	c #Conflicts:      84000 | #Constraints:     108975
495.15/503.00	c INPROCESSING
495.15/503.00	c GARBAGE COLLECT
495.15/503.00	c bounds -540 >= -588 @ 493.201
496.15/503.93	c #Conflicts:      85000 | #Constraints:      94239
496.15/503.93	c #Conflicts:      86000 | #Constraints:      95239
496.15/503.93	c bounds -540 >= -587 @ 494.116
500.94/508.72	c bounds -540 >= -586 @ 498.866
502.25/510.08	c #Conflicts:      87000 | #Constraints:      96300
502.25/510.08	c #Conflicts:      88000 | #Constraints:      97300
502.25/510.08	c bounds -540 >= -585 @ 500.205
503.43/511.20	c #Conflicts:      89000 | #Constraints:      98336
503.43/511.20	c bounds -540 >= -584 @ 501.308
504.93/512.71	c #Conflicts:      90000 | #Constraints:      99366
504.93/512.71	c bounds -540 >= -583 @ 502.798
512.91/520.70	c #Conflicts:      91000 | #Constraints:     100387
512.91/520.70	WSVECS04 Frhs2[22]: 6 0 1.00009 shouldn't be
512.91/520.70	WSVECS04 Frhs2[23]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[25]: 6 0 1.0001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[32]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[39]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[46]: 6 0 1.00007 shouldn't be
512.91/520.70	WSVECS04 Frhs2[568]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[569]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[574]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[576]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[600]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[605]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[607]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[739]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[740]: 6 0 1.00009 shouldn't be
512.91/520.70	WSVECS04 Frhs2[745]: 6 0 1.00009 shouldn't be
512.91/520.70	WSVECS04 Frhs2[791]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[792]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[803]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[804]: 6 0 1.0001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[805]: 6 0 1.00007 shouldn't be
512.91/520.70	WSVECS04 Frhs2[814]: 6 0 1.00007 shouldn't be
512.91/520.70	WSVECS04 Frhs2[815]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[821]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[824]: 6 0 1.00009 shouldn't be
512.91/520.70	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
512.91/520.70	WSVECS04 Frhs2[827]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[858]: 6 0 1.00001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[864]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[867]: 6 0 1.00001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[869]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[870]: 6 0 1.00009 shouldn't be
512.91/520.70	WSVECS04 Frhs2[871]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[896]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[903]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[910]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[937]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[939]: 6 0 1.00004 shouldn't be
512.91/520.70	WSVECS04 Frhs2[940]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[942]: 6 0 1.00007 shouldn't be
512.91/520.70	WSVECS04 Frhs2[953]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[956]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[958]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[983]: 6 0 1.00004 shouldn't be
512.91/520.70	WSVECS04 Frhs2[986]: 6 0 1.0001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[988]: 6 0 1.00004 shouldn't be
512.91/520.70	WSVECS04 Frhs2[989]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[990]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[996]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1003]: 6 0 1.00001 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1018]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1020]: 6 0 1.00005 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1021]: 6 0 1.00003 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1023]: 6 0 1.00002 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1037]: 6 0 1.00006 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1040]: 6 0 1.00008 shouldn't be
512.91/520.70	WSVECS04 Frhs2[1042]: 6 0 1.00007 shouldn't be
524.88/532.72	WSVECS04 Frhs2[747]: 6 0 1.0001 shouldn't be
524.88/532.72	WSVECS04 Frhs2[798]: 6 0 1.00006 shouldn't be
524.88/532.72	WSVECS04 Frhs2[828]: 6 0 1.00009 shouldn't be
524.88/532.72	WSVECS04 Frhs2[955]: 6 0 1.00004 shouldn't be
524.88/532.72	WSVECS04 Frhs2[1039]: 6 0 1.0001 shouldn't be
568.97/576.93	c INPROCESSING
568.97/576.93	c GARBAGE COLLECT
568.97/576.93	c #Conflicts:      92000 | #Constraints:      92241
568.97/576.93	c bounds -540 >= -582 @ 566.713
570.37/578.35	c #Conflicts:      93000 | #Constraints:      93289
570.37/578.35	c bounds -540 >= -581 @ 568.106
571.86/579.87	c #Conflicts:      94000 | #Constraints:      94331
571.86/579.87	c #Conflicts:      95000 | #Constraints:      95331
571.86/579.87	c bounds -540 >= -580 @ 569.613
573.86/581.82	c #Conflicts:      96000 | #Constraints:      96373
573.86/581.82	c #Conflicts:      97000 | #Constraints:      97373
573.86/581.82	c bounds -540 >= -579 @ 571.537
575.86/583.82	c #Conflicts:      98000 | #Constraints:      98415
575.86/583.82	c #Conflicts:      99000 | #Constraints:      99415
575.86/583.82	c bounds -540 >= -578 @ 573.518
576.85/584.88	c #Conflicts:     100000 | #Constraints:     100448
576.85/584.88	c bounds -540 >= -577 @ 574.558
578.55/586.51	c #Conflicts:     101000 | #Constraints:     101484
578.55/586.51	c bounds -540 >= -576 @ 576.168
580.34/588.35	c #Conflicts:     102000 | #Constraints:     102502
580.34/588.35	c #Conflicts:     103000 | #Constraints:     103502
580.34/588.35	c bounds -540 >= -575 @ 577.984
583.53/591.58	c #Conflicts:     104000 | #Constraints:     104538
583.53/591.58	c #Conflicts:     105000 | #Constraints:     105538
583.53/591.58	c bounds -540 >= -574 @ 581.19
586.03/594.05	c #Conflicts:     106000 | #Constraints:     106562
586.03/594.05	c #Conflicts:     107000 | #Constraints:     107562
586.03/594.05	c bounds -540 >= -573 @ 583.63
588.22/596.29	c #Conflicts:     108000 | #Constraints:     108589
588.22/596.29	c #Conflicts:     109000 | #Constraints:     109589
588.22/596.29	c bounds -540 >= -572 @ 585.847
590.91/598.95	c #Conflicts:     110000 | #Constraints:     110622
590.91/598.95	c #Conflicts:     111000 | #Constraints:     111622
590.91/598.95	c bounds -540 >= -571 @ 588.492
593.91/601.98	c #Conflicts:     112000 | #Constraints:     112658
593.91/601.98	c #Conflicts:     113000 | #Constraints:     113658
593.91/601.98	c INPROCESSING
593.91/601.98	c GARBAGE COLLECT
593.91/601.98	c bounds -540 >= -570 @ 591.492
597.90/605.95	c #Conflicts:     114000 | #Constraints:      98879
597.90/605.95	c #Conflicts:     115000 | #Constraints:      99879
597.90/605.95	c #Conflicts:     116000 | #Constraints:     100879
597.90/605.95	c #Conflicts:     117000 | #Constraints:     101879
597.90/605.95	c bounds -540 >= -569 @ 595.418
666.68/675.08	c #Conflicts:     118000 | #Constraints:     102963
666.68/675.08	c #Conflicts:     119000 | #Constraints:     103963
666.68/675.08	c #Conflicts:     120000 | #Constraints:     104963
666.68/675.08	c #Conflicts:     121000 | #Constraints:     105963
666.68/675.08	c #Conflicts:     122000 | #Constraints:     106965
666.68/675.08	c INPROCESSING
666.68/675.08	c GARBAGE COLLECT
666.68/675.08	c rational objective -566.333
673.67/682.00	c #Conflicts:     123000 | #Constraints:      93086
673.67/682.00	c #Conflicts:     124000 | #Constraints:      94087
673.67/682.00	c #Conflicts:     125000 | #Constraints:      95087
673.67/682.00	c bounds -540 >= -568 @ 670.926
677.95/686.34	c #Conflicts:     126000 | #Constraints:      96153
677.95/686.34	c #Conflicts:     127000 | #Constraints:      97154
677.95/686.34	c bounds -540 >= -567 @ 675.232
679.94/688.38	c #Conflicts:     128000 | #Constraints:      98187
679.94/688.38	c bounds -540 >= -566 @ 677.25
685.93/694.37	c #Conflicts:     129000 | #Constraints:      99223
685.93/694.37	c #Conflicts:     130000 | #Constraints:     100224
685.93/694.37	c bounds -540 >= -565 @ 683.204
699.30/707.79	c #Conflicts:     131000 | #Constraints:     101257
699.30/707.79	c #Conflicts:     132000 | #Constraints:     102257
699.30/707.79	c #Conflicts:     133000 | #Constraints:     103257
699.30/707.79	c #Conflicts:     134000 | #Constraints:     104257
699.30/707.79	WSVECS04 Frhs2[23]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[24]: 6 0 1.00005 shouldn't be
699.30/707.79	WSVECS04 Frhs2[25]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[28]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[39]: 6 0 1.00005 shouldn't be
699.30/707.79	WSVECS04 Frhs2[42]: 6 0 1.00001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[44]: 6 0 1.0001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[112]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[113]: 6 0 1.0001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[114]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[117]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[128]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[131]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[133]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[559]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[573]: 6 0 1.0001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[575]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[577]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[590]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[604]: 6 0 1.00009 shouldn't be
699.30/707.79	WSVECS04 Frhs2[606]: 6 0 1.0001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[608]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[739]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[740]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[741]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[744]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[745]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[746]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[747]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[750]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[751]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[753]: 6 0 1.00009 shouldn't be
699.30/707.79	WSVECS04 Frhs2[798]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[801]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[803]: 6 0 1.00005 shouldn't be
699.30/707.79	WSVECS04 Frhs2[824]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[827]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[846]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[848]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[849]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[864]: 6 0 1.00009 shouldn't be
699.30/707.79	WSVECS04 Frhs2[867]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[869]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[887]: 6 0 1.00009 shouldn't be
699.30/707.79	WSVECS04 Frhs2[889]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[903]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[906]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[908]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[921]: 6 0 1.00009 shouldn't be
699.30/707.79	WSVECS04 Frhs2[924]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[926]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[927]: 6 0 1.00007 shouldn't be
699.30/707.79	WSVECS04 Frhs2[937]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[953]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[968]: 6 0 1.00006 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1007]: 6 0 1.00004 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1009]: 6 0 1.00002 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1010]: 6 0 1.00001 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1012]: 6 0 1.00005 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1018]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1028]: 6 0 1.00008 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1033]: 6 0 1.00003 shouldn't be
699.30/707.79	WSVECS04 Frhs2[1037]: 6 0 1.00002 shouldn't be
710.07/718.59	WSVECS04 Frhs2[748]: 6 0 1.00003 shouldn't be
710.07/718.59	WSVECS04 Frhs2[821]: 6 0 1.00008 shouldn't be
710.07/718.59	WSVECS04 Frhs2[843]: 6 0 1.00005 shouldn't be
710.07/718.59	WSVECS04 Frhs2[870]: 6 0 1.00008 shouldn't be
710.07/718.59	WSVECS04 Frhs2[884]: 6 0 1.00008 shouldn't be
710.07/718.59	WSVECS04 Frhs2[1030]: 6 0 1.00008 shouldn't be
710.07/718.59	WSVECS04 Frhs2[1031]: 6 0 1.00009 shouldn't be
779.09/787.74	c #Conflicts:     135000 | #Constraints:     105258
779.09/787.74	c #Conflicts:     136000 | #Constraints:     106258
779.09/787.74	c bounds -540 >= -540 @ 776.116
779.09/787.74	c cpu time 776.116 s
779.09/787.74	c deterministic time 3287532631 3.29e+09
779.09/787.74	c optimization time 0.12403 s
779.09/787.74	c total solve time 775.632 s
779.09/787.74	c core-guided solve time 459.095 s
779.09/787.74	c propagation time 357.891 s
779.09/787.74	c conflict analysis time 88.0649 s
779.09/787.74	c propagations 83582618
779.09/787.74	c resolve steps 9181842
779.09/787.74	c decisions 260573
779.09/787.74	c conflicts 136498
779.09/787.74	c restarts 379
779.09/787.74	c inprocessing phases 17
779.09/787.74	c garbage collections 17 ,( 100.00 )
779.09/787.74	c input clauses 82629 ,( 95.35 )
779.09/787.74	c input cardinalities 2432 ,( 2.81 )
779.09/787.74	c input general constraints 1599 ,( 1.85 )
779.09/787.74	c input average constraint length 7.22
779.09/787.74	c input average constraint degree 2.12
779.09/787.74	c learned clauses 131241 ,( 96.08 )
779.09/787.74	c learned cardinalities 545 ,( 0.40 )
779.09/787.74	c learned general constraints 4806 ,( 3.52 )
779.09/787.74	c learned average constraint length 248.10
779.09/787.74	c learned average constraint degree 5588532.28
779.09/787.74	c watched  CF 32, 64, 128, Arb: 428 , 0 , 0 , 0
779.09/787.74	c counting CF 32, 64, 128, Arb: 5978 , 0 , 0 , 0
779.09/787.74	c watched   constraints 428 ,( 6.68 ) 
779.09/787.74	c counting  constraints 5977 ,( 93.32 ) 
779.09/787.74	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 340135741 , 225825246 , 148081898 ,( 568240 , 147513658 )
779.09/787.74	c gcd simplifications 18198
779.09/787.74	c detected cardinalities 5
779.09/787.74	c weakened non-implied lits 25785480
779.09/787.74	c weakened non-implying lits 182670
779.09/787.74	c original variables 6401
779.09/787.74	c clausal propagations 62452502
779.09/787.74	c cardinality propagations 6343157
779.09/787.74	c watched propagations 8500
779.09/787.74	c counting propagations 14399859
779.09/787.74	c watch lookups 1078323779
779.09/787.74	c watch backjump lookups 0
779.09/787.74	c watch checks 1622167194
779.09/787.74	c propagation checks 239041935
779.09/787.74	c constraint additions 179856836
779.09/787.74	c trail pops 83975390
779.09/787.74	c formula constraints 81100
779.09/787.74	c learned constraints 136531
779.09/787.74	c bound constraints 343
779.09/787.74	c core-guided constraints 5217
779.09/787.74	c encountered formula constraints 5780048
779.09/787.74	c encountered learned constraints 1449416
779.09/787.74	c encountered bound constraints 1360
779.09/787.74	c encountered core-guided constraints 2086733
779.09/787.74	c LP total time 632.736 s
779.09/787.74	c LP solve time 631.24 s
779.09/787.74	c LP constraints added 81113
779.09/787.74	c LP constraints removed 4
779.09/787.74	c LP pivots internal 175402
779.09/787.74	c LP pivots root 148903
779.09/787.74	c LP calls 38
779.09/787.74	c LP optimalities 3
779.09/787.74	c LP no pivot count 0
779.09/787.74	c LP infeasibilities 28
779.09/787.74	c LP valid Farkas constraints 28
779.09/787.74	c LP learned Farkas constraints 28
779.09/787.74	c LP basis resets 0
779.09/787.74	c LP cycling count 0
779.09/787.74	c LP singular count 0
779.09/787.74	c LP no primal count 0
779.09/787.74	c LP no farkas count 0
779.09/787.74	c LP other issue count 0
779.09/787.74	c LP Gomory cuts 5
779.09/787.74	c LP learned cuts 8
779.09/787.74	c LP deleted cuts 4
779.09/787.74	c LP encountered Gomory constraints 288
779.09/787.74	c LP encountered Farkas constraints 359
779.09/787.74	c LP encountered learned Farkas constraints 108
779.09/787.74	c CG auxiliary variables introduced 1845
779.09/787.74	c CG solutions found 25
779.09/787.74	c CG cores constructed 318
779.09/787.74	c CG core cardinality constraints returned 0
779.09/787.74	c CG unit cores 0
779.09/787.74	c CG single cores 314
779.09/787.74	c CG blocks removed during cardinality reduction 0
779.09/787.74	c CG first core best 0
779.09/787.74	c CG decision core best 0
779.09/787.74	c CG core reduction tie 4
779.09/787.74	c CG core degree average 1.00
779.09/787.74	c CG core slack average 7.35
779.09/787.74	c CG core upper bound improvements 0
779.09/787.74	c STR number of successful calls 0
779.09/787.74	c STR number of unsuccessful calls 0
779.09/787.74	c STR number of inconclusive calls 0
779.09/787.74	c STR number of successful attempts 0
779.09/787.74	c STR number of unsuccessful attempts 0
779.09/787.74	c STR number of inconclusive attempts 0
779.09/787.74	c STR average degree increase per successful call inf
779.09/787.74	c STR average degree increase per successful attempt inf
779.09/787.74	c STR total number of conflicts for successful attempts 0
779.09/787.74	c STR total number of conflicts for unsuccessful attempts 0
779.09/787.74	c STR total number of conflicts for inconclusive attempts 0
779.09/787.74	c STR average number of conflicts per successful attempt inf
779.09/787.74	c STR average number of conflicts per unsuccessful attempt inf
779.09/787.74	c STR average number of conflicts per inconclusive attempt inf
779.09/787.74	c AVG.sumWPerc 75.85 
779.09/787.74	c bigint constraints 0 
779.09/787.74	o -540
779.09/787.74	s OPTIMUM FOUND
779.09/787.74	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

Thu Jul  3 22:20:13 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: 63665 MiB (49759 MiB free)
  memory of node 1: 64507 MiB (50111 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=89915, runsolver pid=89912

[startup+0.100032 s]*
/proc/loadavg: 4.10 4.11 3.79 5/274 89917
/proc/meminfo: memFree=102259068/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89917] ppid=89915 vsize=50056 memory=35696 CPUtime=0.08 cores=5,7
/proc/89917/stat : 89917 (pbsuma) R 89915 89915 88600 0 -1 4194304 8244 0 0 0 7 1 0 0 20 0 1 0 72070400 51257344 8924 18446744073709551615 4210688 4653049 140726682155248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 27320320 140726682163427 140726682163762 140726682163762 140726682169327 0
/proc/89917/statm: 12514 8924 1024 108 0 9922 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54248 KiB
Current children cumulated memory: 38768 KiB

[startup+0.205906 s]*
/proc/loadavg: 4.09 4.10 3.79 5/274 89917
/proc/meminfo: memFree=102259068/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89917] ppid=89915 vsize=74068 memory=56448 CPUtime=0.19 cores=5,7
/proc/89917/stat : 89917 (pbsuma) R 89915 89915 88600 0 -1 4194304 14233 0 0 0 17 2 0 0 20 0 1 0 72070400 75845632 14112 18446744073709551615 4210688 4653049 140726682155248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 27320320 140726682163427 140726682163762 140726682163762 140726682169327 0
/proc/89917/statm: 18517 14112 1024 108 0 15925 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 59520 KiB

[startup+0.305758 s]*
/proc/loadavg: 4.09 4.10 3.79 5/274 89917
/proc/meminfo: memFree=102251004/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89917] ppid=89915 vsize=76948 memory=59520 CPUtime=0.29 cores=5,7
/proc/89917/stat : 89917 (pbsuma) R 89915 89915 88600 0 -1 4194304 14977 0 0 0 27 2 0 0 20 0 1 0 72070400 78794752 14880 18446744073709551615 4210688 4653049 140726682155248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 27320320 140726682163427 140726682163762 140726682163762 140726682169327 0
/proc/89917/statm: 19237 14880 1024 108 0 16645 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81140 KiB
Current children cumulated memory: 62592 KiB

[startup+0.700174 s]
/proc/loadavg: 4.09 4.10 3.79 5/274 89918
/proc/meminfo: memFree=102251440/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=62876 memory=20036 CPUtime=0.22 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 3018 0 0 0 17 5 0 0 20 0 1 0 72070446 64385024 5009 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 15719 5009 1920 1147 0 3146 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 67068 KiB
Current children cumulated memory: 23108 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.10 3.79 5/274 89918
/proc/meminfo: memFree=102195392/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=179112 memory=112784 CPUtime=1.02 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 14705 0 0 0 92 10 0 0 20 0 1 0 72070446 183410688 28196 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 44778 28196 2304 1147 0 32205 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 183304 KiB
Current children cumulated memory: 115856 KiB

[startup+3.10559 s]
/proc/loadavg: 4.09 4.10 3.79 5/274 89918
/proc/meminfo: memFree=102189376/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=179112 memory=112784 CPUtime=2.62 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 14717 0 0 0 252 10 0 0 20 0 1 0 72070446 183410688 28196 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 44778 28196 2304 1147 0 32205 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 183304 KiB
Current children cumulated memory: 115856 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.12 3.79 5/274 89918
/proc/meminfo: memFree=102188836/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=184212 memory=118040 CPUtime=5.81 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 15495 0 0 0 570 11 0 0 20 0 1 0 72070446 188633088 29510 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 46053 29510 2336 1147 0 33480 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 188404 KiB
Current children cumulated memory: 121112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 3.80 5/274 89919
/proc/meminfo: memFree=102159752/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=192032 memory=122112 CPUtime=12.19 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 16113 0 0 0 1206 13 0 0 20 0 1 0 72070446 196640768 30528 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 48008 30528 2336 1147 0 35435 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 196224 KiB
Current children cumulated memory: 125184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 3.80 5/274 89919
/proc/meminfo: memFree=102010140/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=192032 memory=124288 CPUtime=24.96 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 16135 0 0 0 2479 17 0 0 20 0 1 0 72070446 196640768 31072 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 48008 31072 2336 1147 0 35435 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 196224 KiB
Current children cumulated memory: 127360 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.12 3.81 5/274 89919
/proc/meminfo: memFree=101509412/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=217496 memory=141004 CPUtime=50.49 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 18898 0 0 0 5020 29 0 0 20 0 1 0 72070446 222715904 35251 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 54374 35251 2400 1147 0 41801 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 221688 KiB
Current children cumulated memory: 144076 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 3.83 5/274 89922
/proc/meminfo: memFree=100921540/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=221916 memory=148380 CPUtime=95.55 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 19749 0 0 0 9505 50 0 0 20 0 1 0 72070446 227241984 37095 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 55479 37095 2400 1147 0 42906 0
Current children cumulated CPU time: 95.96 s
Current children cumulated vsize: 226108 KiB
Current children cumulated memory: 151452 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 3.85 5/275 89925
/proc/meminfo: memFree=100730564/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=254620 memory=175504 CPUtime=155.4 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 21946 0 0 0 15477 63 0 0 20 0 1 0 72070446 260730880 43876 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 63655 43876 2400 1147 0 51082 0
Current children cumulated CPU time: 155.81 s
Current children cumulated vsize: 258812 KiB
Current children cumulated memory: 178576 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 3.87 5/275 89928
/proc/meminfo: memFree=100150024/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=254620 memory=175504 CPUtime=215.25 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 21959 0 0 0 21453 72 0 0 20 0 1 0 72070446 260730880 43876 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 63655 43876 2400 1147 0 51082 0

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

/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=286572 memory=204796 CPUtime=573.95 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23203 0 0 0 57200 195 0 0 20 0 1 0 72070446 293449728 51199 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 71643 51199 2400 1147 0 59070 0
Current children cumulated CPU time: 574.36 s
Current children cumulated vsize: 290764 KiB
Current children cumulated memory: 207868 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.11 3.98 5/275 89952
/proc/meminfo: memFree=97998120/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305540 memory=209752 CPUtime=633.65 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23431 0 0 0 63143 222 0 0 20 0 1 0 72070446 312872960 52438 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76385 52438 2400 1147 0 63812 0
Current children cumulated CPU time: 634.06 s
Current children cumulated vsize: 309732 KiB
Current children cumulated memory: 212824 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.12 3.99 5/275 89954
/proc/meminfo: memFree=97253708/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=693.5 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23437 0 0 0 69107 243 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 693.91 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/275 89956
/proc/meminfo: memFree=96764980/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=753.34 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23437 0 0 0 75079 255 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 753.75 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

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

# cumulated CPU time of all completed processes:  user=776.503 s, system=2.6747 s

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

[startup+768 s]*
/proc/loadavg: 4.10 4.11 4.00 5/276 89957
/proc/meminfo: memFree=96683836/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=759.03 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23449 0 0 0 75647 256 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 759.44 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+780.8 s]
/proc/loadavg: 4.08 4.11 4.00 5/276 89957
/proc/meminfo: memFree=96554068/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=771.8 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23452 0 0 0 76921 259 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 772.21 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+787.2 s]
/proc/loadavg: 4.15 4.12 4.01 5/276 89958
/proc/meminfo: memFree=96524828/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=778.18 cores=5,7
/proc/89918/stat : 89918 (roundingsat) R 89915 89915 88600 0 -1 4194304 23457 0 0 0 77557 261 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 778.59 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+788.8 s]
/proc/loadavg: 4.15 4.12 4.01 4/276 89958
/proc/meminfo: memFree=96524828/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=778.72 cores=5,7
/proc/89918/stat : 89918 (roundingsat) D 89915 89915 88600 0 -1 4194304 23457 0 0 0 77611 261 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 779.13 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+789.6 s]
/proc/loadavg: 4.15 4.12 4.01 4/276 89958
/proc/meminfo: memFree=96524828/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=778.72 cores=5,7
/proc/89918/stat : 89918 (roundingsat) D 89915 89915 88600 0 -1 4194304 23457 0 0 0 77611 261 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 779.13 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+790 s]*
/proc/loadavg: 4.15 4.12 4.01 4/276 89958
/proc/meminfo: memFree=96524580/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=778.72 cores=5,7
/proc/89918/stat : 89918 (roundingsat) D 89915 89915 88600 0 -1 4194304 23457 0 0 0 77611 261 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 779.13 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+790.2 s]
/proc/loadavg: 4.15 4.12 4.01 4/276 89958
/proc/meminfo: memFree=96524580/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
[pid=89918] ppid=89915 vsize=305156 memory=209384 CPUtime=778.72 cores=5,7
/proc/89918/stat : 89918 (roundingsat) D 89915 89915 88600 0 -1 4194304 23457 0 0 0 77611 261 0 0 20 0 1 0 72070446 312479744 52346 18446744073709551615 4227072 8923433 140729544633408 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20910080 140729544640788 140729544641064 140729544641064 140729544646634 0
/proc/89918/statm: 76289 52346 2400 1147 0 63716 0
Current children cumulated CPU time: 779.13 s
Current children cumulated vsize: 309348 KiB
Current children cumulated memory: 212456 KiB

[startup+790.3 s]
/proc/loadavg: 4.15 4.12 4.01 4/276 89958
/proc/meminfo: memFree=96524580/131249996 swapFree=33010684/33010684
[pid=89915] ppid=89912 vsize=4192 memory=3072 CPUtime=0.41 cores=5,7
/proc/89915/stat : 89915 (run-opt-break-l) S 89912 89915 88600 0 -1 4194304 238 15523 0 0 0 0 37 4 20 0 1 0 72070400 4292608 768 18446744073709551615 94195392208896 94195393103429 140728683077616 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94195393342480 94195393390224 94195412639744 140728683079957 140728683080158 140728683080158 140728683085760 0
/proc/89915/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 790.301
CPU time (s): 779.178
CPU user time (s): 776.503
CPU system time (s): 2.6747
CPU usage (%): 98.5926
Max. virtual memory (cumulated for all children) (KiB): 309732
Max. memory (cumulated for all children) (KiB): 212824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 776.503
system time used= 2.6747
maximum resident set size= 209752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39244
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1595672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 908
involuntary context switches= 472


# summary of solver processes directly reported to runsolver:
#   pid: 89915
#   total CPU time (s): 779.178
#   total CPU user time (s): 776.503
#   total CPU system time (s): 2.6747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64809 second user time and 3.70005 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-03 19:32:05
IDJOB=4520945
IDBENCH=178158
IDSOLVER=3360
FILE ID=nodeC024/4520945-1751563925
RUNJOBID= nodeC024-1751562311-88613
SLURM_JOB_ID= 9598763
Free space on /tmp= 432336 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520945-1751563925/watcher-4520945-1751563925 -o /tmp/evaluation-result-4520945-1751563925/solver-4520945-1751563925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751562311-88613 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4520945-1751563925.opb PROOFDIR/proof-4520945-1751563925

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

MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=208961256

nodeC024 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.671
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.696
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.36
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		: 3539.143
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.36
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		: 3602.080
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.611
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.36
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		: 3597.994
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.36
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		: 3686.657
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.36
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.453
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        102267196 kB
MemAvailable:   124337500 kB
Buffers:            2144 kB
Cached:         22837448 kB
SwapCached:            0 kB
Active:          5896124 kB
Inactive:       22303636 kB
Active(anon):    5376288 kB
Inactive(anon):     2084 kB
Active(file):     519836 kB
Inactive(file): 22301552 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            154888 kB
Writeback:             0 kB
AnonPages:       5361336 kB
Mapped:           117756 kB
Shmem:             18064 kB
KReclaimable:     175908 kB
Slab:             272104 kB
SReclaimable:     175908 kB
SUnreclaim:        96196 kB
KernelStack:        4416 kB
PageTables:        14476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6346884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2123776 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432324 MiB
End job on nodeC024 at 2025-07-03 19:45:16