Trace number 4504113

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-ihs-log 63f22ad? (TO) 3600.16 3613.54

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
MD5SUMa11a369abd963989a0475f7e0477b1a8
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 benchmark4167529
Best CPU time to get the best result obtained on this benchmark1556.38
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 139798359
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 110323070365
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 139798359
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 110323070365
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.17/0.21	c #variables 14620 #constraints 36135
0.17/0.21	c objective is ce32 
0.27/0.31	c initial watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
0.27/0.31	c initial counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
0.27/0.31	c GLOBAL bounds - >= -85 @ 0.202327
0.97/1.00	c GLOBAL bounds - >= -85 @ 0.887508
0.97/1.03	c GLOBAL bounds - >= -85 @ 0.913217
0.97/1.05	c GLOBAL bounds - >= -85 @ 0.937092
0.97/1.08	c GLOBAL bounds - >= -85 @ 0.961428
1.07/1.11	c GLOBAL bounds - >= -85 @ 0.980329
1.07/1.14	c GLOBAL bounds - >= -85 @ 1.01035
1.07/1.16	c GLOBAL bounds - >= -85 @ 1.03323
1.16/1.20	c GLOBAL bounds - >= -85 @ 1.06701
1.16/1.23	c GLOBAL bounds - >= -85 @ 1.09032
1.16/1.26	c GLOBAL bounds - >= -85 @ 1.12178
1.16/1.29	c GLOBAL bounds - >= -85 @ 1.1474
1.27/1.33	c GLOBAL bounds - >= -85 @ 1.1856
1.27/1.37	c GLOBAL bounds - >= -85 @ 1.22254
1.36/1.41	c GLOBAL bounds - >= -85 @ 1.2571
1.36/1.43	c GLOBAL bounds - >= -85 @ 1.28177
1.36/1.46	c GLOBAL bounds - >= -85 @ 1.30472
1.36/1.49	c GLOBAL bounds - >= -85 @ 1.33226
1.46/1.53	c GLOBAL bounds - >= -85 @ 1.36748
1.46/1.56	c GLOBAL bounds - >= -85 @ 1.39599
1.46/1.59	c GLOBAL bounds - >= -85 @ 1.42324
1.56/1.62	c GLOBAL bounds - >= -85 @ 1.4466
1.56/1.64	c GLOBAL bounds - >= -85 @ 1.47288
1.56/1.69	c GLOBAL bounds - >= -85 @ 1.51719
1.66/1.73	c GLOBAL bounds - >= -85 @ 1.55624
1.66/1.78	c GLOBAL bounds - >= -85 @ 1.59626
1.76/1.81	c GLOBAL bounds - >= -85 @ 1.62707
1.76/1.86	c GLOBAL bounds - >= -85 @ 1.67022
1.86/1.90	c GLOBAL bounds - >= -85 @ 1.7039
1.86/1.93	c GLOBAL bounds - >= -85 @ 1.7368
1.86/1.99	c GLOBAL bounds - >= -85 @ 1.7835
1.96/2.04	c GLOBAL bounds - >= -85 @ 1.82956
1.96/2.07	c GLOBAL bounds - >= -85 @ 1.85878
2.06/2.10	c GLOBAL bounds - >= -85 @ 1.89041
2.06/2.14	c GLOBAL bounds - >= -85 @ 1.9214
2.06/2.19	c GLOBAL bounds - >= -85 @ 1.97662
3.36/3.45	c GLOBAL bounds - >= -85 @ 3.21783
4.66/4.70	c GLOBAL bounds - >= -85 @ 4.4314
5.94/6.08	c GLOBAL bounds - >= -85 @ 5.77482
6.34/6.46	c GLOBAL bounds - >= -85 @ 6.14296
11.31/11.43	c #Conflicts:       1000 | #Constraints:      91311
11.31/11.43	c GLOBAL bounds - >= -85 @ 10.9971
12.31/12.45	c GLOBAL bounds - >= -85 @ 11.998
12.51/12.65	c GLOBAL bounds - >= -85 @ 12.1981
12.71/12.81	c GLOBAL bounds - >= -85 @ 12.3472
12.81/12.96	c GLOBAL bounds - >= -85 @ 12.5009
13.01/13.14	c GLOBAL bounds - >= -85 @ 12.6724
13.11/13.29	c GLOBAL bounds - >= -85 @ 12.8153
13.51/13.62	c GLOBAL bounds - >= -85 @ 13.1324
16.30/16.42	c GLOBAL bounds - >= -85 @ 15.865
16.79/16.94	c GLOBAL bounds - >= -85 @ 16.3625
21.39/21.52	c GLOBAL bounds - >= -85 @ 20.8653
22.18/22.39	c GLOBAL bounds - >= -85 @ 21.7157
22.89/23.08	c GLOBAL bounds - >= -85 @ 22.3956
23.57/23.76	c GLOBAL bounds - >= -85 @ 23.0608
26.27/26.41	c GLOBAL bounds - >= -85 @ 25.6654
27.57/27.78	c GLOBAL bounds - >= -85 @ 27.0048
29.46/29.63	c #Conflicts:       2000 | #Constraints:     153705
29.46/29.63	c INPROCESSING
29.46/29.63	c GARBAGE COLLECT
29.46/29.63	c GLOBAL bounds - >= -85 @ 28.8345
31.35/31.53	c GLOBAL bounds - >= -85 @ 30.7113
31.56/31.72	c GLOBAL bounds - >= -85 @ 30.8951
36.04/36.23	c GLOBAL bounds - >= -85 @ 35.3502
37.84/38.08	c GLOBAL bounds - >= -85 @ 37.1692
38.53/38.72	c GLOBAL bounds - >= -85 @ 37.7979
42.62/42.81	c GLOBAL bounds - >= -85 @ 41.851
43.12/43.39	c GLOBAL bounds - >= -85 @ 42.4193
44.32/44.50	c GLOBAL bounds - >= -85 @ 43.5119
45.31/45.58	c GLOBAL bounds - >= -85 @ 44.5758
52.69/52.95	c #Conflicts:       3000 | #Constraints:     193175
52.69/52.95	c GLOBAL bounds - >= -85 @ 51.8247
53.09/53.38	c GLOBAL bounds - >= -85 @ 52.2508
54.68/54.91	c GLOBAL bounds - >= -85 @ 53.7672
60.56/60.81	c GLOBAL bounds - >= -85 @ 59.5845
65.55/65.81	c GLOBAL bounds - >= -85 @ 64.5261
67.64/67.98	c GLOBAL bounds - >= -85 @ 66.6706
79.90/80.25	c #Conflicts:       4000 | #Constraints:     218507
79.90/80.25	c GLOBAL bounds - >= -85 @ 78.7736
80.40/80.74	c GLOBAL bounds - >= -85 @ 79.2534
81.00/81.37	c GLOBAL bounds - >= -85 @ 79.8688
81.80/82.17	c GLOBAL bounds - >= -85 @ 80.6578
89.67/90.02	c INPROCESSING
89.67/90.02	c GARBAGE COLLECT
89.67/90.02	c GLOBAL bounds - >= -85 @ 88.4106
93.36/93.75	c GLOBAL bounds - >= -85 @ 92.0875
97.34/97.79	c GLOBAL bounds - >= -85 @ 96.0894
98.94/99.30	c GLOBAL bounds - >= -85 @ 97.58
99.44/99.87	c GLOBAL bounds - >= -85 @ 98.1456
102.63/103.04	c GLOBAL bounds - >= -85 @ 101.284
103.53/103.99	c GLOBAL bounds - >= -85 @ 102.225
106.52/106.99	c #Conflicts:       5000 | #Constraints:     264345
106.52/106.99	c GLOBAL bounds - >= -85 @ 105.186
113.59/114.01	c GLOBAL bounds - >= -85 @ 112.125
118.18/118.69	c GLOBAL bounds - >= -85 @ 116.757
122.57/123.07	c GLOBAL bounds - >= -85 @ 121.105
133.53/134.04	c #Conflicts:       6000 | #Constraints:     282643
133.53/134.04	c GLOBAL bounds - >= -85 @ 131.949
142.40/142.99	c GLOBAL bounds - >= -85 @ 140.8
148.28/148.88	c GLOBAL bounds - >= -85 @ 146.636
152.97/153.55	c GLOBAL bounds - >= -85 @ 151.257
157.15/157.74	c INPROCESSING
157.15/157.74	c GARBAGE COLLECT
157.15/157.74	c GLOBAL bounds - >= -85 @ 155.403
157.75/158.37	c GLOBAL bounds - >= -85 @ 156.025
160.15/160.74	c GLOBAL bounds - >= -85 @ 158.362
163.44/164.10	c #Conflicts:       7000 | #Constraints:     312646
163.44/164.10	c GLOBAL bounds - >= -85 @ 161.688
169.12/169.71	c GLOBAL bounds - >= -85 @ 167.231
189.65/190.31	c #Conflicts:       8000 | #Constraints:     322646
189.65/190.31	c GLOBAL bounds - >= -85 @ 187.601
222.45/223.25	c #Conflicts:       9000 | #Constraints:     328172
222.45/223.25	c GLOBAL bounds - >= -85 @ 220.156
263.22/264.11	c INPROCESSING
263.22/264.11	c GARBAGE COLLECT
263.22/264.11	c #Conflicts:      10000 | #Constraints:     331404
263.22/264.11	c GLOBAL bounds - >= -85 @ 260.641
263.81/264.70	c GLOBAL bounds - >= -85 @ 261.223
294.02/295.08	c #Conflicts:      11000 | #Constraints:     341456
294.02/295.08	c GLOBAL bounds - >= -85 @ 291.359
468.62/470.28	c #Conflicts:      12000 | #Constraints:     346982
468.62/470.28	c INPROCESSING
468.62/470.28	c GARBAGE COLLECT
468.62/470.28	c #Conflicts:      13000 | #Constraints:     345434
468.62/470.28	c #Conflicts:      14000 | #Constraints:     346434
468.62/470.28	c #Conflicts:      15000 | #Constraints:     347434
468.62/470.28	c INPROCESSING
468.62/470.28	c GARBAGE COLLECT
468.62/470.28	c #Conflicts:      16000 | #Constraints:     345660
468.62/470.28	c #Conflicts:      17000 | #Constraints:     346660
468.62/470.28	c GLOBAL bounds - >= -85 @ 465.31
470.21/471.88	c GLOBAL bounds - >= -85 @ 466.89
516.36/518.15	c #Conflicts:      18000 | #Constraints:     356756
516.36/518.15	c INPROCESSING
516.36/518.15	c GARBAGE COLLECT
516.36/518.15	c GLOBAL bounds - >= -85 @ 512.791
577.15/579.14	c #Conflicts:      19000 | #Constraints:     359316
577.15/579.14	c #Conflicts:      20000 | #Constraints:     360316
577.15/579.14	c GLOBAL bounds - >= -85 @ 573.335
585.82/587.88	c GLOBAL bounds - >= -85 @ 582.006
599.56/601.69	c GLOBAL bounds - >= -85 @ 595.702
600.96/603.02	c GLOBAL bounds - >= -85 @ 597.027
601.45/603.51	c GLOBAL bounds - >= -85 @ 597.511
608.63/610.72	c GLOBAL bounds - >= -85 @ 604.663
609.73/611.81	c GLOBAL bounds - >= -85 @ 605.748
615.52/617.64	c #Conflicts:      21000 | #Constraints:     393438
615.52/617.64	c GLOBAL bounds - >= -85 @ 611.522
654.46/656.72	c INPROCESSING
654.46/656.72	c GARBAGE COLLECT
654.46/656.72	c #Conflicts:      22000 | #Constraints:     395864
654.46/656.72	c GLOBAL bounds - >= -85 @ 650.277
694.02/696.44	c #Conflicts:      23000 | #Constraints:     401496
694.02/696.44	c GLOBAL bounds - >= -85 @ 689.702
820.78/823.62	c #Conflicts:      24000 | #Constraints:     407128
820.78/823.62	c #Conflicts:      25000 | #Constraints:     408128
820.78/823.62	c INPROCESSING
820.78/823.62	c GARBAGE COLLECT
820.78/823.62	c #Conflicts:      26000 | #Constraints:     405729
820.78/823.62	c GLOBAL bounds - >= -85 @ 815.952
952.80/956.18	c #Conflicts:      27000 | #Constraints:     411361
952.80/956.18	c #Conflicts:      28000 | #Constraints:     412361
952.80/956.18	c #Conflicts:      29000 | #Constraints:     413361
952.80/956.18	c INPROCESSING
952.80/956.18	c GARBAGE COLLECT
952.80/956.18	c GLOBAL bounds - >= -85 @ 947.628
953.39/956.73	c GLOBAL bounds - >= -85 @ 948.165
1021.75/1025.36	c #Conflicts:      30000 | #Constraints:     420044
1021.75/1025.36	c #Conflicts:      31000 | #Constraints:     421044
1021.75/1025.36	c GLOBAL bounds - >= -85 @ 1016.31
1050.05/1053.77	c GLOBAL bounds - >= -85 @ 1044.56
1083.04/1086.83	c #Conflicts:      32000 | #Constraints:     431348
1083.04/1086.83	c GLOBAL bounds - >= -85 @ 1077.44
2201.10/2208.92	c #Conflicts:      33000 | #Constraints:     437000
2201.10/2208.92	c INPROCESSING
2201.10/2208.92	c GARBAGE COLLECT
2201.10/2208.92	c #Conflicts:      34000 | #Constraints:     434207
2201.10/2208.92	c #Conflicts:      35000 | #Constraints:     435207
2201.10/2208.92	c #Conflicts:      36000 | #Constraints:     436207
2201.10/2208.92	c #Conflicts:      37000 | #Constraints:     437207
2201.10/2208.92	c INPROCESSING
2201.10/2208.92	c GARBAGE COLLECT
2201.10/2208.92	c #Conflicts:      38000 | #Constraints:     434207
2201.10/2208.92	c #Conflicts:      39000 | #Constraints:     435207
2201.10/2208.92	c #Conflicts:      40000 | #Constraints:     436207
2201.10/2208.92	c #Conflicts:      41000 | #Constraints:     437207
2201.10/2208.92	c INPROCESSING
2201.10/2208.92	c GARBAGE COLLECT
2201.10/2208.92	c #Conflicts:      42000 | #Constraints:     434011
2201.10/2208.92	c #Conflicts:      43000 | #Constraints:     435011
2201.10/2208.92	c #Conflicts:      44000 | #Constraints:     436011
2201.10/2208.92	c #Conflicts:      45000 | #Constraints:     437011
2201.10/2208.92	c #Conflicts:      46000 | #Constraints:     438011
2201.10/2208.92	c INPROCESSING
2201.10/2208.92	c GARBAGE COLLECT
2201.10/2208.92	c #Conflicts:      47000 | #Constraints:     434615
2201.10/2208.92	c #Conflicts:      48000 | #Constraints:     435615
2201.10/2208.92	c #Conflicts:      49000 | #Constraints:     436615
2201.10/2208.92	c #Conflicts:      50000 | #Constraints:     437615
2201.10/2208.92	c #Conflicts:      51000 | #Constraints:     438615
2201.10/2208.92	c INPROCESSING
2201.10/2208.92	c GARBAGE COLLECT
2201.10/2208.92	c #Conflicts:      52000 | #Constraints:     435015
2201.10/2208.92	c #Conflicts:      53000 | #Constraints:     436015
2201.10/2208.92	c #Conflicts:      54000 | #Constraints:     437015
2201.10/2208.92	c GLOBAL bounds - >= -85 @ 2192.3
2581.18/2590.65	c #Conflicts:      55000 | #Constraints:     442667
2581.18/2590.65	c #Conflicts:      56000 | #Constraints:     443667
2581.18/2590.65	c INPROCESSING
2581.18/2590.65	c GARBAGE COLLECT
2581.18/2590.65	c #Conflicts:      57000 | #Constraints:     439868
2581.18/2590.65	c #Conflicts:      58000 | #Constraints:     440868
2581.18/2590.65	c #Conflicts:      59000 | #Constraints:     441868
2581.18/2590.65	c #Conflicts:      60000 | #Constraints:     442868
2581.18/2590.65	c GLOBAL bounds - >= -85 @ 2571.41
2648.00/2657.78	c #Conflicts:      61000 | #Constraints:     448520
2648.00/2657.78	c INPROCESSING
2648.00/2657.78	c GARBAGE COLLECT
2648.00/2657.78	c #Conflicts:      62000 | #Constraints:     444523
2648.00/2657.78	c GLOBAL bounds - >= -85 @ 2638.03
3600.04/3613.43	c #Conflicts:      63000 | #Constraints:     450199
3600.04/3613.43	c #Conflicts:      64000 | #Constraints:     451199
3600.04/3613.43	c #Conflicts:      65000 | #Constraints:     452199
3600.04/3613.43	c #Conflicts:      66000 | #Constraints:     453199
3600.04/3613.43	c INPROCESSING
3600.04/3613.43	c GARBAGE COLLECT
3600.04/3613.43	c #Conflicts:      67000 | #Constraints:     448994
3600.04/3613.43	c #Conflicts:      68000 | #Constraints:     449994
3600.04/3613.43	c #Conflicts:      69000 | #Constraints:     450994
3600.04/3613.43	c #Conflicts:      70000 | #Constraints:     451994
3600.04/3613.43	c #Conflicts:      71000 | #Constraints:     452994
3600.04/3613.43	c #Conflicts:      72000 | #Constraints:     453994
3600.04/3613.43	c INPROCESSING
3600.04/3613.43	c GARBAGE COLLECT
3600.04/3613.43	c #Conflicts:      73000 | #Constraints:     449598
3600.04/3613.43	c #Conflicts:      74000 | #Constraints:     450598
3600.04/3613.43	c #Conflicts:      75000 | #Constraints:     451598
3600.04/3613.43	c #Conflicts:      76000 | #Constraints:     452598
3600.04/3613.43	c #Conflicts:      77000 | #Constraints:     453598
3600.04/3613.43	c cpu time 3587.43 s
3600.04/3613.43	c deterministic time 191 1.91e+02
3600.04/3613.43	c optimization time 3587.29 s
3600.04/3613.43	c total solve time 0 s
3600.04/3613.43	c core-guided solve time 0 s
3600.04/3613.43	c propagation time 0.011144 s
3600.04/3613.43	c conflict analysis time 0 s
3600.04/3613.43	c propagations 170
3600.04/3613.43	c resolve steps 0
3600.04/3613.43	c decisions 0
3600.04/3613.43	c conflicts 0
3600.04/3613.43	c restarts 0
3600.04/3613.43	c inprocessing phases 0
3600.04/3613.43	c garbage collections 0 ,( -nan )
3600.04/3613.43	c input clauses 32301 ,( 89.39 )
3600.04/3613.43	c input cardinalities 9 ,( 0.02 )
3600.04/3613.43	c input general constraints 3825 ,( 10.59 )
3600.04/3613.43	c input average constraint length 3.60
3600.04/3613.43	c input average constraint degree 1.71
3600.04/3613.43	c learned clauses 0 ,( 0.00 )
3600.04/3613.43	c learned cardinalities 0 ,( 0.00 )
3600.04/3613.43	c learned general constraints 0 ,( 0.00 )
3600.04/3613.43	c learned average constraint length 0.00
3600.04/3613.43	c learned average constraint degree 0.00
3600.04/3613.43	c watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
3600.04/3613.43	c counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
3600.04/3613.43	c watched   constraints 85 ,( 2.22 ) 
3600.04/3613.43	c counting  constraints 3740 ,( 97.78 ) 
3600.04/3613.43	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.04/3613.43	c gcd simplifications 0
3600.04/3613.43	c detected cardinalities 0
3600.04/3613.43	c weakened non-implied lits 0
3600.04/3613.43	c weakened non-implying lits 0
3600.04/3613.43	c original variables 14620
3600.04/3613.43	c clausal propagations 0
3600.04/3613.43	c cardinality propagations 0
3600.04/3613.43	c watched propagations 0
3600.04/3613.43	c counting propagations 0
3600.04/3613.43	c watch lookups 10
3600.04/3613.43	c watch backjump lookups 0
3600.04/3613.43	c watch checks 10
3600.04/3613.43	c propagation checks 0
3600.04/3613.43	c constraint additions 0
3600.04/3613.43	c trail pops 0
3600.04/3613.43	c formula constraints 36135
3600.04/3613.43	c learned constraints 0
3600.04/3613.43	c bound constraints 0
3600.04/3613.43	c core-guided constraints 0
3600.04/3613.43	c encountered formula constraints 0
3600.04/3613.43	c encountered learned constraints 0
3600.04/3613.43	c encountered bound constraints 0
3600.04/3613.43	c encountered core-guided constraints 0
3600.04/3613.43	c LP total time 0 s
3600.04/3613.43	c LP solve time 0 s
3600.04/3613.43	c LP constraints added 0
3600.04/3613.43	c LP constraints removed 0
3600.04/3613.43	c LP pivots internal 0
3600.04/3613.43	c LP pivots root 0
3600.04/3613.43	c LP calls 0
3600.04/3613.43	c LP optimalities 0
3600.04/3613.43	c LP no pivot count 0
3600.04/3613.43	c LP infeasibilities 0
3600.04/3613.43	c LP valid Farkas constraints 0
3600.04/3613.43	c LP learned Farkas constraints 0
3600.04/3613.43	c LP basis resets 0
3600.04/3613.43	c LP cycling count 0
3600.04/3613.43	c LP singular count 0
3600.04/3613.43	c LP no primal count 0
3600.04/3613.43	c LP no farkas count 0
3600.04/3613.43	c LP other issue count 0
3600.04/3613.43	c LP Gomory cuts 0
3600.04/3613.43	c LP learned cuts 0
3600.04/3613.43	c LP deleted cuts 0
3600.04/3613.43	c LP encountered Gomory constraints 0
3600.04/3613.43	c LP encountered Farkas constraints 0
3600.04/3613.43	c LP encountered learned Farkas constraints 0
3600.04/3613.43	c CG auxiliary variables introduced 0
3600.04/3613.43	c CG solutions found 0
3600.04/3613.43	c CG cores constructed 0
3600.04/3613.43	c CG core cardinality constraints returned 0
3600.04/3613.43	c CG unit cores 0
3600.04/3613.43	c CG single cores 0
3600.04/3613.43	c CG blocks removed during cardinality reduction 0
3600.04/3613.43	c CG first core best 0
3600.04/3613.43	c CG decision core best 0
3600.04/3613.43	c CG core reduction tie 0
3600.04/3613.43	c CG core degree average 0.00
3600.04/3613.43	c CG core slack average 0.00
3600.04/3613.43	c CG core upper bound improvements 0
3600.04/3613.43	c STR number of successful calls 0
3600.04/3613.43	c STR number of unsuccessful calls 0
3600.04/3613.43	c STR number of inconclusive calls 0
3600.04/3613.43	c STR number of successful attempts 0
3600.04/3613.43	c STR number of unsuccessful attempts 0
3600.04/3613.43	c STR number of inconclusive attempts 0
3600.04/3613.43	c STR average degree increase per successful call inf
3600.04/3613.43	c STR average degree increase per successful attempt inf
3600.04/3613.43	c STR total number of conflicts for successful attempts 0
3600.04/3613.43	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3613.43	c STR total number of conflicts for inconclusive attempts 0
3600.04/3613.43	c STR average number of conflicts per successful attempt inf
3600.04/3613.43	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3613.43	c STR average number of conflicts per inconclusive attempt inf
3600.04/3613.43	c AVG.sumWPerc 60.55 
3600.04/3613.43	c bigint constraints 0 
3600.04/3613.43	s UNKNOWN
3600.04/3613.43	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74280, runsolver pid=74273
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126768292/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=61320 memory=16456 CPUtime=0.06 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 2429 0 0 0 4 2 0 0 20 0 1 0 61852007 62791680 4114 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 15330 4114 1952 1147 0 2757 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 65512 KiB
Current children cumulated memory: 19400 KiB

[startup+0.204881 s]*
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126653204/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=104956 memory=46528 CPUtime=0.17 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 7791 0 0 0 13 4 0 0 20 0 1 0 61852007 107474944 11632 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 26239 11632 2272 1147 0 13666 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 109148 KiB
Current children cumulated memory: 49472 KiB

[startup+0.305875 s]*
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126555480/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=130900 memory=70336 CPUtime=0.27 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 13223 0 0 0 19 8 0 0 20 0 1 0 61852007 134041600 17584 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 32725 17584 2304 1147 0 20152 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 73280 KiB

[startup+0.70015 s]
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126491220/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=130900 memory=72568 CPUtime=0.66 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 13237 0 0 0 58 8 0 0 20 0 1 0 61852007 134041600 18142 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 32725 18142 2336 1147 0 20152 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 75512 KiB

[startup+1.50015 s]
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126463220/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=145240 memory=86008 CPUtime=1.46 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 16564 0 0 0 133 13 0 0 20 0 1 0 61852007 148725760 21502 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 36310 21502 2368 1147 0 23737 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 149432 KiB
Current children cumulated memory: 88952 KiB

[startup+3.10467 s]
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126086336/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=181340 memory=120936 CPUtime=3.06 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 21216 0 0 0 287 19 0 0 20 0 1 0 61852007 185692160 30234 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 45335 30234 2368 1147 0 32762 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 185532 KiB
Current children cumulated memory: 123880 KiB

[startup+6.30014 s]
/proc/loadavg: 0.93 1.02 1.24 6/269 74297
/proc/meminfo: memFree=125672660/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=268632 memory=195032 CPUtime=6.24 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 36716 0 0 0 598 26 0 0 20 0 1 0 61852007 275079168 48758 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 67158 48758 2368 1147 0 54585 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 197976 KiB

[startup+12.7001 s]
/proc/loadavg: 1.17 1.07 1.25 6/269 74297
/proc/meminfo: memFree=125027092/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=400204 memory=336768 CPUtime=12.61 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 62427 0 0 0 1224 37 0 0 20 0 1 0 61852007 409808896 84192 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 100051 84192 2368 1147 0 87478 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 404396 KiB
Current children cumulated memory: 339712 KiB

[startup+25.5002 s]
/proc/loadavg: 1.80 1.21 1.30 6/269 74297
/proc/meminfo: memFree=123716088/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=586700 memory=499388 CPUtime=25.38 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 92867 0 0 0 2477 61 0 0 20 0 1 0 61852007 600780800 124847 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 146675 124847 2368 1147 0 134102 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 590892 KiB
Current children cumulated memory: 502332 KiB

[startup+51.1049 s]
/proc/loadavg: 2.63 1.45 1.37 6/271 74299
/proc/meminfo: memFree=121574724/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=844284 memory=649444 CPUtime=50.9 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 124789 0 0 0 5001 89 0 0 20 0 1 0 61852007 864546816 162361 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 211071 162361 2368 1147 0 198498 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 848476 KiB
Current children cumulated memory: 652388 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.87 1.52 6/273 74305
/proc/meminfo: memFree=118815436/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=1109604 memory=873876 CPUtime=101.93 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 163020 0 0 0 10054 139 0 0 20 0 1 0 61852007 1136234496 218469 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 277401 218469 2368 1147 0 264828 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1113796 KiB
Current children cumulated memory: 876820 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 2.26 1.68 6/273 74311
/proc/meminfo: memFree=116059020/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=1167412 memory=1019808 CPUtime=161.74 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 185212 0 0 0 15990 184 0 0 20 0 1 0 61852007 1195429888 254952 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 291853 254952 2368 1147 0 279280 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1171604 KiB
Current children cumulated memory: 1022752 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.61 1.84 6/273 74313
/proc/meminfo: memFree=113428108/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=1545712 memory=1281384 CPUtime=221.54 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 242501 0 0 0 21921 233 0 0 20 0 1 0 61852007 1582809088 320346 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0

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

[pid=74285] ppid=74280 vsize=3786588 memory=3546000 CPUtime=3090.81 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 557592 0 0 0 307941 1140 0 0 20 0 1 0 61852007 3877466112 886500 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 946647 886500 2368 1147 0 934074 0
Current children cumulated CPU time: 3090.81 s
Current children cumulated vsize: 3790780 KiB
Current children cumulated memory: 3548944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.01 6/273 74477
/proc/meminfo: memFree=57099064/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3786588 memory=3546000 CPUtime=3150.59 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 557626 0 0 0 313904 1155 0 0 20 0 1 0 61852007 3877466112 886500 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 946647 886500 2368 1147 0 934074 0
Current children cumulated CPU time: 3150.59 s
Current children cumulated vsize: 3790780 KiB
Current children cumulated memory: 3548944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.01 6/270 74479
/proc/meminfo: memFree=56387000/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3786588 memory=3546896 CPUtime=3210.38 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 558123 0 0 0 319870 1168 0 0 20 0 1 0 61852007 3877466112 886724 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 946647 886724 2368 1147 0 934074 0
Current children cumulated CPU time: 3210.38 s
Current children cumulated vsize: 3790780 KiB
Current children cumulated memory: 3549840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/273 74484
/proc/meminfo: memFree=55501440/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3270.16 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 564128 0 0 0 325833 1183 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3270.16 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/273 74486
/proc/meminfo: memFree=54734076/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3329.94 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 564128 0 0 0 331792 1202 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3329.94 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/272 74488
/proc/meminfo: memFree=53896492/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3389.72 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 564640 0 0 0 337755 1217 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3389.72 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/272 74490
/proc/meminfo: memFree=53045512/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3449.49 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 565750 0 0 0 343716 1233 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3449.49 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/273 74493
/proc/meminfo: memFree=52125472/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3509.27 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 565781 0 0 0 349681 1246 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3509.27 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/271 74495
/proc/meminfo: memFree=51312480/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600276 CPUtime=3569.07 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 566574 0 0 0 355649 1258 0 0 20 0 1 0 61852007 3910049792 900069 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900069 2368 1147 0 942029 0
Current children cumulated CPU time: 3569.07 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 4.09 4.09 4.02 5/262 74513
/proc/meminfo: memFree=58564136/131249992 swapFree=33010684/33010684
[pid=74280] ppid=74273 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/74280/stat : 74280 (run-opt-log.sh) S 74273 74280 74222 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 736 18446744073709551615 94158199287808 94158200182341 140729555563168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94158200421392 94158200469136 94158210613248 140729555564833 140729555565028 140729555565028 140729555570630 0
/proc/74280/statm: 1048 736 672 219 0 110 0
[pid=74285] ppid=74280 vsize=3818408 memory=3600660 CPUtime=3600.04 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74280 74280 74222 0 -1 4194304 567505 0 0 0 358739 1265 0 0 20 0 1 0 61852007 3910049792 900165 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 954602 900165 2368 1147 0 942029 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3822600 KiB
Current children cumulated memory: 3603604 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3613.41 s]
# the end of solver process 74280 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.0005 s, system=0.00166 s
Sleeping 2 seconds

[startup+3613.54 s]
# the end of solver process 74285 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3587.48 s, system=12.6752 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3613.5 s]*
/proc/loadavg: 4.09 4.09 4.02 3/256 74521
/proc/meminfo: memFree=62198980/131249992 swapFree=33010684/33010684
[pid=74285] ppid=74273 vsize=1635660 memory=1578088 CPUtime=3600.11 cores=4,6
/proc/74285/stat : 74285 (roundingsat) R 74273 74280 74222 0 -1 4194304 567513 0 0 0 358745 1266 0 0 20 0 1 0 61852007 1674915840 394522 18446744073709551615 4227072 8923433 140733749658768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33730560 140733749664082 140733749664296 140733749664296 140733749669866 0
/proc/74285/statm: 408915 394522 2432 1147 0 396342 0
Current cumulated CPU time of completed processes: 0.00216 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1635660 KiB
Current children cumulated memory: 1578088 KiB

Child status: 2

Real time (s): 3613.54
CPU time (s): 3600.16
CPU user time (s): 3587.48
CPU system time (s): 12.6752
CPU usage (%): 99.6297
Max. virtual memory (cumulated for all children) (KiB): 3822600
Max. memory (cumulated for all children) (KiB): 3603604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.48
system time used= 12.6752
maximum resident set size= 3600916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27255976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1467
involuntary context switches= 25410


# summary of solver processes directly reported to runsolver:
#   pid: 74280,74285
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3587.48
#   total CPU system time (s): 12.6752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75542 second user time and 14.177 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-02 15:08:52
IDJOB=4504113
IDBENCH=155633
IDSOLVER=3351
FILE ID=nodeC025/4504113-1751461732
RUNJOBID= nodeC025-1751461732-74233
SLURM_JOB_ID= 9598466
Free space on /tmp= 432976 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504113-1751461732/watcher-4504113-1751461732 -o /tmp/evaluation-result-4504113-1751461732/solver-4504113-1751461732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74233 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504113-1751461732.opb PROOFDIR/proof-4504113-1751461732

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

MD5SUM BENCH= a11a369abd963989a0475f7e0477b1a8
RANDOM SEED=1728088053

nodeC025 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.846
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.67
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.792
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.67
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		: 3603.106
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126783720 kB
MemAvailable:   129772376 kB
Buffers:            3280 kB
Cached:          3785552 kB
SwapCached:            0 kB
Active:           410584 kB
Inactive:        3445120 kB
Active(anon):      84956 kB
Inactive(anon):        0 kB
Active(file):     325628 kB
Inactive(file):  3445120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33476 kB
Writeback:             0 kB
AnonPages:         70004 kB
Mapped:           102740 kB
Shmem:             18084 kB
KReclaimable:     114296 kB
Slab:             203772 kB
SReclaimable:     114296 kB
SUnreclaim:        89476 kB
KernelStack:        4176 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC025 at 2025-07-02 16:09:06