Trace number 4504112

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 63f22ad? (TO) 3600.24 3612.78

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.39/0.46	c #variables 14620 #constraints 36135
0.39/0.46	c objective is ce32 
0.58/0.66	c initial watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
0.58/0.66	c initial counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
0.58/0.66	c GLOBAL bounds - >= -85 @ 0.449861
1.66/1.76	c GLOBAL bounds - >= -85 @ 1.52796
1.66/1.78	c GLOBAL bounds - >= -85 @ 1.54753
1.76/1.80	c GLOBAL bounds - >= -85 @ 1.56651
1.76/1.82	c GLOBAL bounds - >= -85 @ 1.58122
1.76/1.84	c GLOBAL bounds - >= -85 @ 1.59891
1.76/1.87	c GLOBAL bounds - >= -85 @ 1.62035
1.76/1.89	c GLOBAL bounds - >= -85 @ 1.63883
1.86/1.91	c GLOBAL bounds - >= -85 @ 1.66191
1.86/1.94	c GLOBAL bounds - >= -85 @ 1.67887
1.86/1.96	c GLOBAL bounds - >= -85 @ 1.70298
1.86/1.98	c GLOBAL bounds - >= -85 @ 1.7179
1.98/2.01	c GLOBAL bounds - >= -85 @ 1.74317
1.98/2.04	c GLOBAL bounds - >= -85 @ 1.76879
1.98/2.07	c GLOBAL bounds - >= -85 @ 1.79169
1.98/2.09	c GLOBAL bounds - >= -85 @ 1.80964
2.08/2.11	c GLOBAL bounds - >= -85 @ 1.82914
2.08/2.14	c GLOBAL bounds - >= -85 @ 1.85477
2.08/2.16	c GLOBAL bounds - >= -85 @ 1.87745
2.08/2.19	c GLOBAL bounds - >= -85 @ 1.89751
2.16/2.21	c GLOBAL bounds - >= -85 @ 1.91534
2.16/2.23	c GLOBAL bounds - >= -85 @ 1.93329
2.16/2.25	c GLOBAL bounds - >= -85 @ 1.95025
2.16/2.29	c GLOBAL bounds - >= -85 @ 1.98329
2.27/2.32	c GLOBAL bounds - >= -85 @ 2.00881
2.27/2.36	c GLOBAL bounds - >= -85 @ 2.04199
2.27/2.38	c GLOBAL bounds - >= -85 @ 2.05795
2.36/2.42	c GLOBAL bounds - >= -85 @ 2.09099
2.36/2.44	c GLOBAL bounds - >= -85 @ 2.11416
2.36/2.47	c GLOBAL bounds - >= -85 @ 2.13454
2.47/2.51	c GLOBAL bounds - >= -85 @ 2.16765
2.47/2.55	c GLOBAL bounds - >= -85 @ 2.19952
2.47/2.57	c GLOBAL bounds - >= -85 @ 2.21848
2.47/2.59	c GLOBAL bounds - >= -85 @ 2.23738
2.56/2.61	c GLOBAL bounds - >= -85 @ 2.25727
2.56/2.65	c GLOBAL bounds - >= -85 @ 2.29228
3.75/3.84	c GLOBAL bounds - >= -85 @ 3.46576
4.75/4.89	c GLOBAL bounds - >= -85 @ 4.50043
5.75/5.89	c GLOBAL bounds - >= -85 @ 5.48525
6.15/6.20	c GLOBAL bounds - >= -85 @ 5.79131
10.44/10.52	c #Conflicts:       1000 | #Constraints:      91311
10.44/10.52	c GLOBAL bounds - >= -85 @ 10.0234
11.34/11.40	c GLOBAL bounds - >= -85 @ 10.8907
11.44/11.57	c GLOBAL bounds - >= -85 @ 11.0603
11.63/11.70	c GLOBAL bounds - >= -85 @ 11.1859
11.73/11.84	c GLOBAL bounds - >= -85 @ 11.3201
11.83/12.00	c GLOBAL bounds - >= -85 @ 11.4787
12.05/12.14	c GLOBAL bounds - >= -85 @ 11.6061
12.33/12.41	c GLOBAL bounds - >= -85 @ 11.8755
14.72/14.81	c GLOBAL bounds - >= -85 @ 14.2175
15.12/15.26	c GLOBAL bounds - >= -85 @ 14.6623
19.21/19.36	c GLOBAL bounds - >= -85 @ 18.7216
20.03/20.19	c GLOBAL bounds - >= -85 @ 19.5408
20.70/20.81	c GLOBAL bounds - >= -85 @ 20.1434
21.31/21.43	c GLOBAL bounds - >= -85 @ 20.7577
23.60/23.77	c GLOBAL bounds - >= -85 @ 23.0749
24.80/25.00	c GLOBAL bounds - >= -85 @ 24.2865
26.59/26.71	c #Conflicts:       2000 | #Constraints:     153705
26.59/26.71	c INPROCESSING
26.59/26.71	c GARBAGE COLLECT
26.59/26.71	c GLOBAL bounds - >= -85 @ 25.9867
28.18/28.31	c GLOBAL bounds - >= -85 @ 27.5807
28.29/28.47	c GLOBAL bounds - >= -85 @ 27.7356
32.28/32.42	c GLOBAL bounds - >= -85 @ 31.6538
33.77/33.93	c GLOBAL bounds - >= -85 @ 33.1505
34.27/34.45	c GLOBAL bounds - >= -85 @ 33.6699
37.87/38.01	c GLOBAL bounds - >= -85 @ 37.2043
38.36/38.51	c GLOBAL bounds - >= -85 @ 37.6927
39.35/39.51	c GLOBAL bounds - >= -85 @ 38.6788
40.25/40.42	c GLOBAL bounds - >= -85 @ 39.5876
47.22/47.45	c #Conflicts:       3000 | #Constraints:     193175
47.22/47.45	c GLOBAL bounds - >= -85 @ 46.5281
47.63/47.83	c GLOBAL bounds - >= -85 @ 46.9045
49.03/49.26	c GLOBAL bounds - >= -85 @ 48.3171
54.31/54.57	c GLOBAL bounds - >= -85 @ 53.5824
58.90/59.11	c GLOBAL bounds - >= -85 @ 58.0848
60.80/61.07	c GLOBAL bounds - >= -85 @ 60.019
71.87/72.15	c #Conflicts:       4000 | #Constraints:     218507
71.87/72.15	c GLOBAL bounds - >= -85 @ 71.0335
72.26/72.59	c GLOBAL bounds - >= -85 @ 71.4676
72.86/73.17	c GLOBAL bounds - >= -85 @ 72.0368
73.65/73.94	c GLOBAL bounds - >= -85 @ 72.7915
80.63/80.92	c INPROCESSING
80.63/80.92	c GARBAGE COLLECT
80.63/80.92	c GLOBAL bounds - >= -85 @ 79.7216
83.84/84.16	c GLOBAL bounds - >= -85 @ 82.9317
87.72/88.09	c GLOBAL bounds - >= -85 @ 86.8457
89.11/89.46	c GLOBAL bounds - >= -85 @ 88.2052
89.61/89.94	c GLOBAL bounds - >= -85 @ 88.686
92.50/92.87	c GLOBAL bounds - >= -85 @ 91.58
93.39/93.74	c GLOBAL bounds - >= -85 @ 92.4401
96.09/96.46	c #Conflicts:       5000 | #Constraints:     264345
96.09/96.46	c GLOBAL bounds - >= -85 @ 95.1545
102.36/102.76	c GLOBAL bounds - >= -85 @ 101.422
106.77/107.16	c GLOBAL bounds - >= -85 @ 105.803
110.84/111.29	c GLOBAL bounds - >= -85 @ 109.903
120.73/121.11	c #Conflicts:       6000 | #Constraints:     282643
120.73/121.11	c GLOBAL bounds - >= -85 @ 119.654
129.18/129.66	c GLOBAL bounds - >= -85 @ 128.142
134.77/135.24	c GLOBAL bounds - >= -85 @ 133.683
139.36/139.84	c GLOBAL bounds - >= -85 @ 138.255
143.35/143.80	c INPROCESSING
143.35/143.80	c GARBAGE COLLECT
143.35/143.80	c GLOBAL bounds - >= -85 @ 142.194
143.84/144.35	c GLOBAL bounds - >= -85 @ 142.737
146.13/146.65	c GLOBAL bounds - >= -85 @ 145.022
149.23/149.72	c #Conflicts:       7000 | #Constraints:     312646
149.23/149.72	c GLOBAL bounds - >= -85 @ 148.079
154.11/154.67	c GLOBAL bounds - >= -85 @ 153.007
172.65/173.29	c #Conflicts:       8000 | #Constraints:     322646
172.65/173.29	c GLOBAL bounds - >= -85 @ 171.541
203.26/203.95	c #Conflicts:       9000 | #Constraints:     328172
203.26/203.95	c GLOBAL bounds - >= -85 @ 201.984
240.45/241.21	c INPROCESSING
240.45/241.21	c GARBAGE COLLECT
240.45/241.21	c #Conflicts:      10000 | #Constraints:     331404
240.45/241.21	c GLOBAL bounds - >= -85 @ 239.076
240.95/241.78	c GLOBAL bounds - >= -85 @ 239.639
269.75/270.61	c #Conflicts:      11000 | #Constraints:     341456
269.75/270.61	c GLOBAL bounds - >= -85 @ 268.33
438.93/440.38	c #Conflicts:      12000 | #Constraints:     346982
438.93/440.38	c INPROCESSING
438.93/440.38	c GARBAGE COLLECT
438.93/440.38	c #Conflicts:      13000 | #Constraints:     345434
438.93/440.38	c #Conflicts:      14000 | #Constraints:     346434
438.93/440.38	c #Conflicts:      15000 | #Constraints:     347434
438.93/440.38	c INPROCESSING
438.93/440.38	c GARBAGE COLLECT
438.93/440.38	c #Conflicts:      16000 | #Constraints:     345660
438.93/440.38	c #Conflicts:      17000 | #Constraints:     346660
438.93/440.38	c GLOBAL bounds - >= -85 @ 437.383
440.53/441.91	c GLOBAL bounds - >= -85 @ 438.905
484.79/486.35	c #Conflicts:      18000 | #Constraints:     356756
484.79/486.35	c INPROCESSING
484.79/486.35	c GARBAGE COLLECT
484.79/486.35	c GLOBAL bounds - >= -85 @ 483.128
543.00/544.71	c #Conflicts:      19000 | #Constraints:     359316
543.00/544.71	c #Conflicts:      20000 | #Constraints:     360316
543.00/544.71	c GLOBAL bounds - >= -85 @ 541.277
551.39/553.13	c GLOBAL bounds - >= -85 @ 549.656
564.54/566.39	c GLOBAL bounds - >= -85 @ 562.867
565.94/567.71	c GLOBAL bounds - >= -85 @ 564.169
566.43/568.20	c GLOBAL bounds - >= -85 @ 564.657
573.41/575.27	c GLOBAL bounds - >= -85 @ 571.692
574.50/576.33	c GLOBAL bounds - >= -85 @ 572.749
580.09/581.96	c #Conflicts:      21000 | #Constraints:     393438
580.09/581.96	c GLOBAL bounds - >= -85 @ 578.344
617.66/619.61	c INPROCESSING
617.66/619.61	c GARBAGE COLLECT
617.66/619.61	c #Conflicts:      22000 | #Constraints:     395864
617.66/619.61	c GLOBAL bounds - >= -85 @ 615.801
655.73/657.87	c #Conflicts:      23000 | #Constraints:     401496
655.73/657.87	c GLOBAL bounds - >= -85 @ 653.899
777.91/780.42	c #Conflicts:      24000 | #Constraints:     407128
777.91/780.42	c #Conflicts:      25000 | #Constraints:     408128
777.91/780.42	c INPROCESSING
777.91/780.42	c GARBAGE COLLECT
777.91/780.42	c #Conflicts:      26000 | #Constraints:     405729
777.91/780.42	c GLOBAL bounds - >= -85 @ 775.909
908.45/911.49	c #Conflicts:      27000 | #Constraints:     411361
908.45/911.49	c #Conflicts:      28000 | #Constraints:     412361
908.45/911.49	c #Conflicts:      29000 | #Constraints:     413361
908.45/911.49	c INPROCESSING
908.45/911.49	c GARBAGE COLLECT
908.45/911.49	c GLOBAL bounds - >= -85 @ 906.413
908.95/912.01	c GLOBAL bounds - >= -85 @ 906.929
975.02/978.26	c #Conflicts:      30000 | #Constraints:     420044
975.02/978.26	c #Conflicts:      31000 | #Constraints:     421044
975.02/978.26	c GLOBAL bounds - >= -85 @ 972.919
1003.32/1006.66	c GLOBAL bounds - >= -85 @ 1001.2
1036.10/1039.59	c #Conflicts:      32000 | #Constraints:     431348
1036.10/1039.59	c GLOBAL bounds - >= -85 @ 1034
2143.38/2150.72	c #Conflicts:      33000 | #Constraints:     437000
2143.38/2150.72	c INPROCESSING
2143.38/2150.72	c GARBAGE COLLECT
2143.38/2150.72	c #Conflicts:      34000 | #Constraints:     434207
2143.38/2150.72	c #Conflicts:      35000 | #Constraints:     435207
2143.38/2150.72	c #Conflicts:      36000 | #Constraints:     436207
2143.38/2150.72	c #Conflicts:      37000 | #Constraints:     437207
2143.38/2150.72	c INPROCESSING
2143.38/2150.72	c GARBAGE COLLECT
2143.38/2150.72	c #Conflicts:      38000 | #Constraints:     434207
2143.38/2150.72	c #Conflicts:      39000 | #Constraints:     435207
2143.38/2150.72	c #Conflicts:      40000 | #Constraints:     436207
2143.38/2150.72	c #Conflicts:      41000 | #Constraints:     437207
2143.38/2150.72	c INPROCESSING
2143.38/2150.72	c GARBAGE COLLECT
2143.38/2150.72	c #Conflicts:      42000 | #Constraints:     434011
2143.38/2150.72	c #Conflicts:      43000 | #Constraints:     435011
2143.38/2150.72	c #Conflicts:      44000 | #Constraints:     436011
2143.38/2150.72	c #Conflicts:      45000 | #Constraints:     437011
2143.38/2150.72	c #Conflicts:      46000 | #Constraints:     438011
2143.38/2150.72	c INPROCESSING
2143.38/2150.72	c GARBAGE COLLECT
2143.38/2150.72	c #Conflicts:      47000 | #Constraints:     434615
2143.38/2150.72	c #Conflicts:      48000 | #Constraints:     435615
2143.38/2150.72	c #Conflicts:      49000 | #Constraints:     436615
2143.38/2150.72	c #Conflicts:      50000 | #Constraints:     437615
2143.38/2150.72	c #Conflicts:      51000 | #Constraints:     438615
2143.38/2150.72	c INPROCESSING
2143.38/2150.72	c GARBAGE COLLECT
2143.38/2150.72	c #Conflicts:      52000 | #Constraints:     435015
2143.38/2150.72	c #Conflicts:      53000 | #Constraints:     436015
2143.38/2150.72	c #Conflicts:      54000 | #Constraints:     437015
2143.38/2150.72	c GLOBAL bounds - >= -85 @ 2140.47
2526.80/2535.58	c #Conflicts:      55000 | #Constraints:     442667
2526.80/2535.58	c #Conflicts:      56000 | #Constraints:     443667
2526.80/2535.58	c INPROCESSING
2526.80/2535.58	c GARBAGE COLLECT
2526.80/2535.58	c #Conflicts:      57000 | #Constraints:     439868
2526.80/2535.58	c #Conflicts:      58000 | #Constraints:     440868
2526.80/2535.58	c #Conflicts:      59000 | #Constraints:     441868
2526.80/2535.58	c #Conflicts:      60000 | #Constraints:     442868
2526.80/2535.58	c GLOBAL bounds - >= -85 @ 2523.75
2593.75/2602.79	c #Conflicts:      61000 | #Constraints:     448520
2593.75/2602.79	c INPROCESSING
2593.75/2602.79	c GARBAGE COLLECT
2593.75/2602.79	c #Conflicts:      62000 | #Constraints:     444523
2593.75/2602.79	c GLOBAL bounds - >= -85 @ 2590.64
3600.04/3612.63	c #Conflicts:      63000 | #Constraints:     450199
3600.04/3612.63	c #Conflicts:      64000 | #Constraints:     451199
3600.04/3612.63	c #Conflicts:      65000 | #Constraints:     452199
3600.04/3612.63	c #Conflicts:      66000 | #Constraints:     453199
3600.04/3612.63	c INPROCESSING
3600.04/3612.63	c GARBAGE COLLECT
3600.04/3612.63	c #Conflicts:      67000 | #Constraints:     448994
3600.04/3612.63	c #Conflicts:      68000 | #Constraints:     449994
3600.04/3612.63	c #Conflicts:      69000 | #Constraints:     450994
3600.04/3612.63	c #Conflicts:      70000 | #Constraints:     451994
3600.04/3612.63	c #Conflicts:      71000 | #Constraints:     452994
3600.04/3612.63	c #Conflicts:      72000 | #Constraints:     453994
3600.04/3612.63	c INPROCESSING
3600.04/3612.63	c GARBAGE COLLECT
3600.04/3612.63	c #Conflicts:      73000 | #Constraints:     449598
3600.04/3612.63	c #Conflicts:      74000 | #Constraints:     450598
3600.04/3612.63	c #Conflicts:      75000 | #Constraints:     451598
3600.04/3612.63	c #Conflicts:      76000 | #Constraints:     452598
3600.04/3612.63	c #Conflicts:      77000 | #Constraints:     453598
3600.04/3612.63	c cpu time 3596.48 s
3600.04/3612.63	c deterministic time 191 1.91e+02
3600.04/3612.63	c optimization time 3596.16 s
3600.04/3612.63	c total solve time 0 s
3600.04/3612.63	c core-guided solve time 0 s
3600.04/3612.63	c propagation time 0.028091 s
3600.04/3612.63	c conflict analysis time 0 s
3600.04/3612.63	c propagations 170
3600.04/3612.63	c resolve steps 0
3600.04/3612.63	c decisions 0
3600.04/3612.63	c conflicts 0
3600.04/3612.63	c restarts 0
3600.04/3612.63	c inprocessing phases 0
3600.04/3612.63	c garbage collections 0 ,( -nan )
3600.04/3612.63	c input clauses 32301 ,( 89.39 )
3600.04/3612.63	c input cardinalities 9 ,( 0.02 )
3600.04/3612.63	c input general constraints 3825 ,( 10.59 )
3600.04/3612.63	c input average constraint length 3.60
3600.04/3612.63	c input average constraint degree 1.71
3600.04/3612.63	c learned clauses 0 ,( 0.00 )
3600.04/3612.63	c learned cardinalities 0 ,( 0.00 )
3600.04/3612.63	c learned general constraints 0 ,( 0.00 )
3600.04/3612.63	c learned average constraint length 0.00
3600.04/3612.63	c learned average constraint degree 0.00
3600.04/3612.63	c watched  CF 32, 64, 128, Arb: 85 , 0 , 0 , 0
3600.04/3612.63	c counting CF 32, 64, 128, Arb: 3741 , 0 , 0 , 0
3600.04/3612.63	c watched   constraints 85 ,( 2.22 ) 
3600.04/3612.63	c counting  constraints 3740 ,( 97.78 ) 
3600.04/3612.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.04/3612.63	c gcd simplifications 0
3600.04/3612.63	c detected cardinalities 0
3600.04/3612.63	c weakened non-implied lits 0
3600.04/3612.63	c weakened non-implying lits 0
3600.04/3612.63	c original variables 14620
3600.04/3612.63	c clausal propagations 0
3600.04/3612.63	c cardinality propagations 0
3600.04/3612.63	c watched propagations 0
3600.04/3612.63	c counting propagations 0
3600.04/3612.63	c watch lookups 10
3600.04/3612.63	c watch backjump lookups 0
3600.04/3612.63	c watch checks 10
3600.04/3612.63	c propagation checks 0
3600.04/3612.63	c constraint additions 0
3600.04/3612.63	c trail pops 0
3600.04/3612.63	c formula constraints 36135
3600.04/3612.63	c learned constraints 0
3600.04/3612.63	c bound constraints 0
3600.04/3612.63	c core-guided constraints 0
3600.04/3612.63	c encountered formula constraints 0
3600.04/3612.63	c encountered learned constraints 0
3600.04/3612.63	c encountered bound constraints 0
3600.04/3612.63	c encountered core-guided constraints 0
3600.04/3612.63	c LP total time 0 s
3600.04/3612.63	c LP solve time 0 s
3600.04/3612.63	c LP constraints added 0
3600.04/3612.63	c LP constraints removed 0
3600.04/3612.63	c LP pivots internal 0
3600.04/3612.63	c LP pivots root 0
3600.04/3612.63	c LP calls 0
3600.04/3612.63	c LP optimalities 0
3600.04/3612.63	c LP no pivot count 0
3600.04/3612.63	c LP infeasibilities 0
3600.04/3612.63	c LP valid Farkas constraints 0
3600.04/3612.63	c LP learned Farkas constraints 0
3600.04/3612.63	c LP basis resets 0
3600.04/3612.63	c LP cycling count 0
3600.04/3612.63	c LP singular count 0
3600.04/3612.63	c LP no primal count 0
3600.04/3612.63	c LP no farkas count 0
3600.04/3612.63	c LP other issue count 0
3600.04/3612.63	c LP Gomory cuts 0
3600.04/3612.63	c LP learned cuts 0
3600.04/3612.63	c LP deleted cuts 0
3600.04/3612.63	c LP encountered Gomory constraints 0
3600.04/3612.63	c LP encountered Farkas constraints 0
3600.04/3612.63	c LP encountered learned Farkas constraints 0
3600.04/3612.63	c CG auxiliary variables introduced 0
3600.04/3612.63	c CG solutions found 0
3600.04/3612.63	c CG cores constructed 0
3600.04/3612.63	c CG core cardinality constraints returned 0
3600.04/3612.63	c CG unit cores 0
3600.04/3612.63	c CG single cores 0
3600.04/3612.63	c CG blocks removed during cardinality reduction 0
3600.04/3612.63	c CG first core best 0
3600.04/3612.63	c CG decision core best 0
3600.04/3612.63	c CG core reduction tie 0
3600.04/3612.63	c CG core degree average 0.00
3600.04/3612.63	c CG core slack average 0.00
3600.04/3612.63	c CG core upper bound improvements 0
3600.04/3612.63	c STR number of successful calls 0
3600.04/3612.63	c STR number of unsuccessful calls 0
3600.04/3612.63	c STR number of inconclusive calls 0
3600.04/3612.63	c STR number of successful attempts 0
3600.04/3612.63	c STR number of unsuccessful attempts 0
3600.04/3612.63	c STR number of inconclusive attempts 0
3600.04/3612.63	c STR average degree increase per successful call inf
3600.04/3612.63	c STR average degree increase per successful attempt inf
3600.04/3612.63	c STR total number of conflicts for successful attempts 0
3600.04/3612.63	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3612.63	c STR total number of conflicts for inconclusive attempts 0
3600.04/3612.63	c STR average number of conflicts per successful attempt inf
3600.04/3612.63	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3612.63	c STR average number of conflicts per inconclusive attempt inf
3600.04/3612.63	c AVG.sumWPerc 60.55 
3600.04/3612.63	c bigint constraints 0 
3600.04/3612.63	s UNKNOWN
3600.04/3612.63	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: 63837 MiB (61726 MiB free)
  memory of node 1: 64465 MiB (62959 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=61095, runsolver pid=61092

[startup+0.100072 s]*
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127670584/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=58936 memory=13916 CPUtime=0.09 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 1834 0 0 0 7 2 0 0 20 0 1 0 60432327 60350464 3479 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 14734 3479 1888 1147 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63128 KiB
Current children cumulated memory: 16860 KiB

[startup+0.213522 s]*
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127650612/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=60284 memory=15196 CPUtime=0.2 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 2158 0 0 0 13 7 0 0 20 0 1 0 60432327 61730816 3799 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 15071 3799 1888 1147 0 2498 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64476 KiB
Current children cumulated memory: 18140 KiB

[startup+0.313306 s]*
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127635996/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=70920 memory=26464 CPUtime=0.29 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 5085 0 0 0 20 9 0 0 20 0 1 0 60432327 72622080 6616 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 17730 6616 2272 1147 0 5157 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75112 KiB
Current children cumulated memory: 29408 KiB

[startup+0.700412 s]
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127551316/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=129128 memory=69816 CPUtime=0.67 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 13147 0 0 0 48 19 0 0 20 0 1 0 60432327 132227072 17454 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 32282 17454 2336 1147 0 19709 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 72760 KiB

[startup+1.50041 s]
/proc/loadavg: 4.17 4.15 4.16 5/254 61097
/proc/meminfo: memFree=127482848/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=129128 memory=72604 CPUtime=1.46 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 13313 0 0 0 127 19 0 0 20 0 1 0 60432327 132227072 18151 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 32282 18151 2368 1147 0 19709 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 75548 KiB

[startup+3.1131 s]
/proc/loadavg: 4.15 4.14 4.16 5/254 61097
/proc/meminfo: memFree=127321960/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=171152 memory=110716 CPUtime=3.07 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 19261 0 0 0 274 33 0 0 20 0 1 0 60432327 175259648 27679 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 42788 27679 2368 1147 0 30215 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 175344 KiB
Current children cumulated memory: 113660 KiB

[startup+6.3004 s]
/proc/loadavg: 4.15 4.14 4.16 5/254 61097
/proc/meminfo: memFree=126999844/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=266792 memory=199468 CPUtime=6.25 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 36880 0 0 0 588 37 0 0 20 0 1 0 60432327 273195008 49867 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 66698 49867 2368 1147 0 54125 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 270984 KiB
Current children cumulated memory: 202412 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.14 4.16 5/254 61097
/proc/meminfo: memFree=126453796/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=396460 memory=338776 CPUtime=12.64 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 62009 0 0 0 1216 48 0 0 20 0 1 0 60432327 405975040 84694 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 99115 84694 2368 1147 0 86542 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 400652 KiB
Current children cumulated memory: 341720 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.13 4.15 5/254 61099
/proc/meminfo: memFree=125931688/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=596936 memory=522696 CPUtime=25.39 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 96727 0 0 0 2478 61 0 0 20 0 1 0 60432327 611262464 130674 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 149234 130674 2368 1147 0 136661 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 601128 KiB
Current children cumulated memory: 525640 KiB

[startup+51.1133 s]
/proc/loadavg: 4.07 4.12 4.15 5/254 61099
/proc/meminfo: memFree=124905624/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=887320 memory=697128 CPUtime=50.93 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 134216 0 0 0 5015 78 0 0 20 0 1 0 60432327 908615680 174282 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 221830 174282 2368 1147 0 209257 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 891512 KiB
Current children cumulated memory: 700072 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/255 61102
/proc/meminfo: memFree=124349632/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=1100740 memory=867248 CPUtime=101.97 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 161962 0 0 0 10096 101 0 0 20 0 1 0 60432327 1127157760 216812 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 275185 216812 2368 1147 0 262612 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1104932 KiB
Current children cumulated memory: 870192 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/255 61104
/proc/meminfo: memFree=123622912/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=1158928 memory=1013352 CPUtime=161.79 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 184207 0 0 0 16059 120 0 0 20 0 1 0 60432327 1186742272 253338 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 289732 253338 2368 1147 0 277159 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1163120 KiB
Current children cumulated memory: 1016296 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 61106
/proc/meminfo: memFree=122652036/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=1558316 memory=1298416 CPUtime=221.6 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 245825 0 0 0 22023 137 0 0 20 0 1 0 60432327 1595715584 324604 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 389579 324604 2368 1147 0 377006 0
Current children cumulated CPU time: 221.6 s

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

[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3772928 memory=3157096 CPUtime=3091.56 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 583350 0 0 0 308816 340 0 0 20 0 1 0 60432327 3863478272 789274 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 943232 789274 2368 1147 0 930659 0
Current children cumulated CPU time: 3091.56 s
Current children cumulated vsize: 3777120 KiB
Current children cumulated memory: 3160040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/253 61272
/proc/meminfo: memFree=114775948/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3772928 memory=3157224 CPUtime=3151.35 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 583413 0 0 0 314794 341 0 0 20 0 1 0 60432327 3863478272 789306 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 943232 789306 2368 1147 0 930659 0
Current children cumulated CPU time: 3151.35 s
Current children cumulated vsize: 3777120 KiB
Current children cumulated memory: 3160168 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/253 61274
/proc/meminfo: memFree=114729192/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3785356 memory=3214848 CPUtime=3211.13 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 591923 0 0 0 320767 346 0 0 20 0 1 0 60432327 3876204544 803712 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 946339 803712 2368 1147 0 933766 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 3789548 KiB
Current children cumulated memory: 3217792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 61276
/proc/meminfo: memFree=114696928/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3240316 CPUtime=3270.92 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 595754 0 0 0 326743 349 0 0 20 0 1 0 60432327 3895730176 810079 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810079 2368 1147 0 938533 0
Current children cumulated CPU time: 3270.92 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3243260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 61281
/proc/meminfo: memFree=114647772/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3240316 CPUtime=3330.71 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 595883 0 0 0 332719 352 0 0 20 0 1 0 60432327 3895730176 810079 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810079 2368 1147 0 938533 0
Current children cumulated CPU time: 3330.71 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3243260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 61284
/proc/meminfo: memFree=114618504/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3240316 CPUtime=3390.5 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 595920 0 0 0 338696 354 0 0 20 0 1 0 60432327 3895730176 810079 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810079 2368 1147 0 938533 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3243260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 61290
/proc/meminfo: memFree=114433532/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3240316 CPUtime=3450.28 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 595952 0 0 0 344673 355 0 0 20 0 1 0 60432327 3895730176 810079 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810079 2368 1147 0 938533 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3243260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 61294
/proc/meminfo: memFree=114443400/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3240316 CPUtime=3510.06 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 596199 0 0 0 350649 357 0 0 20 0 1 0 60432327 3895730176 810079 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810079 2368 1147 0 938533 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3243260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 61296
/proc/meminfo: memFree=114440940/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3804424 memory=3241852 CPUtime=3569.85 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 596611 0 0 0 356627 358 0 0 20 0 1 0 60432327 3895730176 810463 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 951106 810463 2368 1147 0 938533 0
Current children cumulated CPU time: 3569.85 s
Current children cumulated vsize: 3808616 KiB
Current children cumulated memory: 3244796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.11 4.09 4.09 2/234 61391
/proc/meminfo: memFree=124732284/131382120 swapFree=33010684/33010684
[pid=61095] ppid=61092 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/61095/stat : 61095 (run-opt.sh) S 61092 61095 60299 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 60432325 4292608 736 18446744073709551615 94161978978304 94161979872837 140731923004016 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94161980111888 94161980159632 94161989722112 140731923011949 140731923012072 140731923012072 140731923017674 0
/proc/61095/statm: 1048 736 672 219 0 110 0
[pid=61097] ppid=61095 vsize=3813260 memory=3287836 CPUtime=3600.04 cores=0,2
/proc/61097/stat : 61097 (roundingsat) R 61095 61095 60299 0 -1 4194304 602479 0 0 0 359644 360 0 0 20 0 1 0 60432327 3904778240 821959 18446744073709551615 4227072 8923433 140720400946640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33513472 140720400955810 140720400955944 140720400955944 140720400961514 0
/proc/61097/statm: 953315 821959 2368 1147 0 940742 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3817452 KiB
Current children cumulated memory: 3290780 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3596.51 s, system=3.72686 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+3612.71 s]*
/proc/loadavg: 4.11 4.09 4.09 2/233 61391
/proc/meminfo: memFree=126519264/131382120 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.00519 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.78
CPU time (s): 3600.24
CPU user time (s): 3596.51
CPU system time (s): 3.72686
CPU usage (%): 99.6528
Max. virtual memory (cumulated for all children) (KiB): 3817452
Max. memory (cumulated for all children) (KiB): 3290780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.51
system time used= 3.72686
maximum resident set size= 3288092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 7984


# summary of solver processes directly reported to runsolver:
#   pid: 61095,61097
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3596.51
#   total CPU system time (s): 3.72686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2715 second user time and 38.7753 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-02 11:12:16
IDJOB=4504112
IDBENCH=155633
IDSOLVER=3350
FILE ID=nodeC003/4504112-1751447536
RUNJOBID= nodeC003-1751440305-60309
SLURM_JOB_ID= 9598398
Free space on /tmp= 431992 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504112-1751447536/watcher-4504112-1751447536 -o /tmp/evaluation-result-4504112-1751447536/solver-4504112-1751447536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60309 --watchdog 3760  run-opt.sh HOME/instance-4504112-1751447536.opb

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

MD5SUM BENCH= a11a369abd963989a0475f7e0477b1a8
RANDOM SEED=516816336

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127680712 kB
MemAvailable:   129567532 kB
Buffers:            3280 kB
Cached:          2685660 kB
SwapCached:            0 kB
Active:           706532 kB
Inactive:        2432128 kB
Active(anon):     467692 kB
Inactive(anon):        0 kB
Active(file):     238840 kB
Inactive(file):  2432128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34340 kB
Writeback:             0 kB
AnonPages:        453244 kB
Mapped:           116664 kB
Shmem:             17960 kB
KReclaimable:     110956 kB
Slab:             196252 kB
SReclaimable:     110956 kB
SUnreclaim:        85296 kB
KernelStack:        4080 kB
PageTables:         4004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     846332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432012 MiB
End job on nodeC003 at 2025-07-02 12:12:29