Trace number 4506045

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.42 3610.86

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUM00fa528bfee1582f0c8a78997b3aaa78
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-83802
Best CPU time to get the best result obtained on this benchmark71301.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 306555
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 158449780
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 158449780
Number of bits of the biggest sum of numbers28
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.65/3.70	c #variables 399113 #constraints 400980
3.65/3.71	c objective is ce32 
3.85/4.00	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.85/4.00	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.85/4.00	c GLOBAL bounds - >= -158449780 @ 3.32919
4.45/4.50	c GLOBAL bounds - >= -158449780 @ 3.59591
4.96/5.01	c GLOBAL bounds - >= -158449780 @ 3.85341
5.44/5.51	c GLOBAL bounds - >= -158449780 @ 4.11834
6.06/6.12	c GLOBAL bounds - >= -158449780 @ 4.47786
6.65/6.72	c GLOBAL bounds - >= -158449780 @ 4.82747
7.15/7.23	c GLOBAL bounds - >= -158449780 @ 5.09914
7.64/7.74	c GLOBAL bounds - >= -158449780 @ 5.3633
8.24/8.36	c GLOBAL bounds - >= -158449780 @ 5.71861
8.84/8.98	c GLOBAL bounds - >= -158449780 @ 6.08018
9.44/9.51	c GLOBAL bounds - >= -158449780 @ 6.35799
9.95/10.04	c GLOBAL bounds - >= -158449780 @ 6.6053
10.53/10.67	c GLOBAL bounds - >= -158449780 @ 6.96653
11.14/11.21	c GLOBAL bounds - >= -158449780 @ 7.24825
11.63/11.74	c GLOBAL bounds - >= -158449780 @ 7.53381
12.24/12.34	c GLOBAL bounds - >= -158449780 @ 7.87958
12.83/12.97	c GLOBAL bounds - >= -158449780 @ 8.26727
13.43/13.51	c GLOBAL bounds - >= -158449780 @ 8.55356
13.94/14.04	c GLOBAL bounds - >= -158449780 @ 8.82407
14.53/14.66	c GLOBAL bounds - >= -158449780 @ 9.19331
15.23/15.30	c GLOBAL bounds - >= -158449780 @ 9.58146
15.72/15.83	c GLOBAL bounds - >= -158449780 @ 9.83487
16.23/16.37	c GLOBAL bounds - >= -158449780 @ 10.114
16.82/16.99	c GLOBAL bounds - >= -158449780 @ 10.4882
17.52/17.62	c GLOBAL bounds - >= -158449780 @ 10.8427
18.03/18.15	c GLOBAL bounds - >= -158449780 @ 11.1301
18.52/18.69	c GLOBAL bounds - >= -158449780 @ 11.4161
19.22/19.33	c GLOBAL bounds - >= -158449780 @ 11.7752
19.82/19.96	c GLOBAL bounds - >= -158449780 @ 12.1626
20.51/20.60	c GLOBAL bounds - >= -158449780 @ 12.5434
21.11/21.24	c GLOBAL bounds - >= -158449780 @ 12.9425
21.62/21.78	c GLOBAL bounds - >= -158449780 @ 13.218
22.31/22.43	c GLOBAL bounds - >= -158449780 @ 13.6031
22.92/23.06	c GLOBAL bounds - >= -158449780 @ 13.9922
23.51/23.61	c GLOBAL bounds - >= -158449780 @ 14.2796
24.10/24.24	c GLOBAL bounds - >= -158449780 @ 14.6579
34.68/34.80	c GLOBAL bounds - >= -158449780 @ 24.6679
35.18/35.39	c GLOBAL bounds - >= -158449780 @ 24.9871
35.99/36.15	c GLOBAL bounds - >= -158449780 @ 25.4898
36.57/36.77	c GLOBAL bounds - >= -158449780 @ 25.8356
37.38/37.54	c GLOBAL bounds - >= -158449780 @ 26.3387
38.47/38.61	c GLOBAL bounds - >= -158449780 @ 27.1405
128.93/129.31	c GLOBAL bounds - >= -158449780 @ 116.63
130.13/130.60	c GLOBAL bounds - >= -158449780 @ 117.662
131.02/131.42	c GLOBAL bounds - >= -158449780 @ 118.249
131.81/132.20	c GLOBAL bounds - >= -158449780 @ 118.807
132.82/133.20	c GLOBAL bounds - >= -158449780 @ 119.593
135.11/135.59	c GLOBAL bounds - >= -158449780 @ 121.733
138.10/138.57	c GLOBAL bounds - >= -158449780 @ 124.167
138.90/139.38	c GLOBAL bounds - >= -158449780 @ 124.758
139.90/140.39	c GLOBAL bounds - >= -158449780 @ 125.552
141.30/141.76	c GLOBAL bounds - >= -158449780 @ 126.701
146.38/146.85	c GLOBAL bounds - >= -158449780 @ 131.277
148.07/148.53	c GLOBAL bounds - >= -158449780 @ 132.708
173.40/173.97	c GLOBAL bounds - >= -158449780 @ 157.336
174.51/175.02	c GLOBAL bounds - >= -158449780 @ 158.133
175.51/176.09	c GLOBAL bounds - >= -158449780 @ 158.941
182.08/182.66	c GLOBAL bounds - >= -158449780 @ 165.178
183.49/184.07	c GLOBAL bounds - >= -158449780 @ 166.339
184.38/185.01	c GLOBAL bounds - >= -158449780 @ 167.013
186.97/187.53	c GLOBAL bounds - >= -158449780 @ 169.275
188.06/188.69	c GLOBAL bounds - >= -158449780 @ 170.178
189.16/189.77	c GLOBAL bounds - >= -158449780 @ 170.997
190.26/190.85	c GLOBAL bounds - >= -158449780 @ 171.803
191.36/191.95	c GLOBAL bounds - >= -158449780 @ 172.643
192.47/193.06	c GLOBAL bounds - >= -158449780 @ 173.465
195.56/196.17	c GLOBAL bounds - >= -158449780 @ 176.3
198.55/199.11	c GLOBAL bounds - >= -158449780 @ 178.958
199.64/200.23	c GLOBAL bounds - >= -158449780 @ 179.798
200.94/201.54	c GLOBAL bounds - >= -158449780 @ 180.859
201.93/202.55	c GLOBAL bounds - >= -158449780 @ 181.592
202.93/203.59	c GLOBAL bounds - >= -158449780 @ 182.355
205.02/205.61	c GLOBAL bounds - >= -158449780 @ 184.032
205.72/206.35	c GLOBAL bounds - >= -158449780 @ 184.504
206.43/207.06	c GLOBAL bounds - >= -158449780 @ 184.949
207.11/207.78	c GLOBAL bounds - >= -158449780 @ 185.424
261.96/262.71	c GLOBAL bounds - >= -158449780 @ 239.681
417.43/418.62	c #Conflicts:       1000 | #Constraints:       2756
417.43/418.62	c GLOBAL bounds - >= -158449780 @ 394.167
418.22/419.48	c GLOBAL bounds - >= -158449780 @ 394.821
419.32/420.52	c GLOBAL bounds - >= -158449780 @ 395.652
420.71/421.91	c GLOBAL bounds - >= -158449780 @ 396.845
421.52/422.75	c GLOBAL bounds - >= -158449780 @ 397.466
466.59/467.96	c GLOBAL bounds - >= -158449780 @ 442.013
467.58/468.98	c GLOBAL bounds - >= -158449780 @ 442.758
469.18/470.52	c GLOBAL bounds - >= -158449780 @ 444.043
509.76/511.24	c GLOBAL bounds - >= -158449780 @ 484.12
510.76/512.25	c GLOBAL bounds - >= -158449780 @ 484.857
610.86/612.61	c GLOBAL bounds - >= -158449780 @ 584.007
618.04/619.89	c GLOBAL bounds - >= -158449780 @ 590.956
621.04/622.83	c GLOBAL bounds - >= -158449780 @ 593.682
622.63/624.46	c GLOBAL bounds - >= -158449780 @ 595.109
627.02/628.86	c GLOBAL bounds - >= -158449780 @ 599.292
630.11/631.98	c GLOBAL bounds - >= -158449780 @ 602.227
631.90/633.76	c GLOBAL bounds - >= -158449780 @ 603.795
637.30/639.15	c GLOBAL bounds - >= -158449780 @ 608.939
644.86/646.72	c GLOBAL bounds - >= -158449780 @ 616.197
646.17/648.11	c GLOBAL bounds - >= -158449780 @ 617.318
647.86/649.76	c GLOBAL bounds - >= -158449780 @ 618.717
650.05/651.95	c GLOBAL bounds - >= -158449780 @ 620.633
652.54/654.48	c GLOBAL bounds - >= -158449780 @ 622.904
671.89/673.84	c GLOBAL bounds - >= -158449780 @ 641.716
689.63/691.69	c GLOBAL bounds - >= -158449780 @ 659.198
691.33/693.33	c GLOBAL bounds - >= -158449780 @ 660.591
693.23/695.25	c GLOBAL bounds - >= -158449780 @ 662.248
696.42/698.42	c GLOBAL bounds - >= -158449780 @ 665.141
698.51/700.51	c GLOBAL bounds - >= -158449780 @ 666.955
701.50/703.53	c GLOBAL bounds - >= -158449780 @ 669.731
703.69/705.74	c GLOBAL bounds - >= -158449780 @ 671.68
705.88/708.00	c GLOBAL bounds - >= -158449780 @ 673.689
708.10/710.17	c GLOBAL bounds - >= -158449780 @ 675.597
718.55/720.65	c GLOBAL bounds - >= -158449780 @ 685.67
720.44/722.57	c GLOBAL bounds - >= -158449780 @ 687.346
725.83/727.92	c GLOBAL bounds - >= -158449780 @ 692.363
727.23/729.37	c GLOBAL bounds - >= -158449780 @ 693.541
728.82/730.96	c GLOBAL bounds - >= -158449780 @ 694.862
734.81/737.00	c GLOBAL bounds - >= -158449780 @ 700.61
736.91/739.03	c GLOBAL bounds - >= -158449780 @ 702.374
738.69/740.88	c GLOBAL bounds - >= -158449780 @ 703.96
740.59/742.75	c GLOBAL bounds - >= -158449780 @ 705.586
742.38/744.59	c GLOBAL bounds - >= -158449780 @ 707.148
750.26/752.42	c GLOBAL bounds - >= -158449780 @ 714.655
751.87/754.04	c GLOBAL bounds - >= -158449780 @ 716.032
755.04/757.22	c GLOBAL bounds - >= -158449780 @ 718.933
869.80/872.38	c #Conflicts:       2000 | #Constraints:       3848
869.80/872.38	c INPROCESSING
869.80/872.38	c GARBAGE COLLECT
869.80/872.38	c GLOBAL bounds - >= -158449780 @ 832.772
1237.27/1240.82	c GLOBAL bounds - >= -158449780 @ 1198.28
1296.91/1300.62	c #Conflicts:       3000 | #Constraints:       3897
1296.91/1300.62	c GLOBAL bounds - >= -158449780 @ 1256.54
1318.85/1322.69	c GLOBAL bounds - >= -158449780 @ 1277.83
1350.66/1354.55	c GLOBAL bounds - >= -158449780 @ 1308.97
1494.96/1499.23	c GLOBAL bounds - >= -158449780 @ 1451.74
1506.43/1510.71	c GLOBAL bounds - >= -158449780 @ 1462.92
1519.99/1524.36	c GLOBAL bounds - >= -158449780 @ 1476.25
1529.07/1533.41	c GLOBAL bounds - >= -158449780 @ 1484.88
1531.37/1535.76	c GLOBAL bounds - >= -158449780 @ 1486.96
1533.86/1538.25	c GLOBAL bounds - >= -158449780 @ 1489.2
1536.15/1540.54	c GLOBAL bounds - >= -158449780 @ 1491.23
1538.34/1542.75	c GLOBAL bounds - >= -158449780 @ 1493.18
1540.44/1544.83	c GLOBAL bounds - >= -158449780 @ 1495.01
1543.23/1547.65	c GLOBAL bounds - >= -158449780 @ 1497.63
1545.02/1549.42	c GLOBAL bounds - >= -158449780 @ 1499.2
1553.40/1557.86	c GLOBAL bounds - >= -158449780 @ 1507.03
1557.20/1561.60	c GLOBAL bounds - >= -158449780 @ 1510.51
1559.88/1564.34	c GLOBAL bounds - >= -158449780 @ 1512.99
1574.34/1578.86	c #Conflicts:       4000 | #Constraints:       4931
1574.34/1578.86	c GLOBAL bounds - >= -158449780 @ 1527.11
1575.94/1580.47	c GLOBAL bounds - >= -158449780 @ 1528.47
1577.64/1582.18	c GLOBAL bounds - >= -158449780 @ 1529.91
1579.43/1583.90	c GLOBAL bounds - >= -158449780 @ 1531.35
1580.92/1585.48	c GLOBAL bounds - >= -158449780 @ 1532.67
1585.12/1589.67	c GLOBAL bounds - >= -158449780 @ 1536.6
1587.80/1592.33	c GLOBAL bounds - >= -158449780 @ 1538.99
1590.90/1595.44	c GLOBAL bounds - >= -158449780 @ 1541.81
1594.09/1598.67	c GLOBAL bounds - >= -158449780 @ 1544.74
1599.87/1604.48	c GLOBAL bounds - >= -158449780 @ 1550.17
1602.76/1607.37	c GLOBAL bounds - >= -158449780 @ 1552.79
1604.96/1609.53	c GLOBAL bounds - >= -158449780 @ 1554.68
1611.04/1615.60	c GLOBAL bounds - >= -158449780 @ 1560.41
1613.04/1617.60	c GLOBAL bounds - >= -158449780 @ 1562.15
1614.93/1619.54	c GLOBAL bounds - >= -158449780 @ 1563.83
1619.72/1624.38	c GLOBAL bounds - >= -158449780 @ 1568.38
1621.61/1626.21	c GLOBAL bounds - >= -158449780 @ 1569.94
1623.52/1628.12	c GLOBAL bounds - >= -158449780 @ 1571.57
1629.78/1634.42	c GLOBAL bounds - >= -158449780 @ 1577.55
1631.88/1636.54	c GLOBAL bounds - >= -158449780 @ 1579.39
1634.49/1639.13	c GLOBAL bounds - >= -158449780 @ 1581.69
1638.27/1642.93	c GLOBAL bounds - >= -158449780 @ 1585.21
1639.38/1644.08	c GLOBAL bounds - >= -158449780 @ 1586.08
1640.55/1645.20	c GLOBAL bounds - >= -158449780 @ 1586.95
1641.65/1646.33	c GLOBAL bounds - >= -158449780 @ 1587.82
2085.23/2091.19	c INPROCESSING
2085.23/2091.19	c GARBAGE COLLECT
2085.23/2091.19	c GLOBAL bounds - >= -158449780 @ 2029.48
2086.81/2092.76	c GLOBAL bounds - >= -158449780 @ 2030.8
2089.50/2095.44	c GLOBAL bounds - >= -158449780 @ 2033.22
2091.79/2097.79	c GLOBAL bounds - >= -158449780 @ 2035.34
2093.69/2099.64	c GLOBAL bounds - >= -158449780 @ 2036.96
2097.57/2103.55	c GLOBAL bounds - >= -158449780 @ 2040.62
2098.97/2104.92	c GLOBAL bounds - >= -158449780 @ 2041.76
2101.37/2107.32	c GLOBAL bounds - >= -158449780 @ 2043.92
2178.63/2184.87	c GLOBAL bounds - >= -158449780 @ 2120.74
2180.33/2186.58	c GLOBAL bounds - >= -158449780 @ 2122.18
2182.12/2188.32	c GLOBAL bounds - >= -158449780 @ 2123.65
2184.93/2191.12	c GLOBAL bounds - >= -158449780 @ 2126.17
2342.25/2348.96	c #Conflicts:       5000 | #Constraints:       4398
2342.25/2348.96	c GLOBAL bounds - >= -158449780 @ 2282.98
2415.75/2422.67	c GLOBAL bounds - >= -158449780 @ 2355.7
2417.64/2424.51	c GLOBAL bounds - >= -158449780 @ 2357.28
2419.53/2426.46	c GLOBAL bounds - >= -158449780 @ 2358.98
2614.97/2622.49	c GLOBAL bounds - >= -158449780 @ 2553.84
2617.06/2624.59	c GLOBAL bounds - >= -158449780 @ 2555.67
2622.25/2629.73	c GLOBAL bounds - >= -158449780 @ 2560.54
2624.34/2631.84	c GLOBAL bounds - >= -158449780 @ 2562.39
2629.64/2637.11	c GLOBAL bounds - >= -158449780 @ 2567.39
2633.11/2640.65	c GLOBAL bounds - >= -158449780 @ 2570.65
2635.32/2642.83	c GLOBAL bounds - >= -158449780 @ 2572.56
2637.31/2644.88	c GLOBAL bounds - >= -158449780 @ 2574.33
2740.61/2748.49	c GLOBAL bounds - >= -158449780 @ 2677.09
2745.21/2753.09	c GLOBAL bounds - >= -158449780 @ 2681.37
2787.66/2795.63	c GLOBAL bounds - >= -158449780 @ 2723.19
2793.17/2801.16	c GLOBAL bounds - >= -158449780 @ 2728.41
2798.34/2806.31	c GLOBAL bounds - >= -158449780 @ 2733.28
2981.11/2989.62	c GLOBAL bounds - >= -158449780 @ 2915.62
2983.40/2991.99	c GLOBAL bounds - >= -158449780 @ 2917.72
2985.50/2994.10	c GLOBAL bounds - >= -158449780 @ 2919.57
2987.50/2996.03	c GLOBAL bounds - >= -158449780 @ 2921.24
2989.98/2998.53	c GLOBAL bounds - >= -158449780 @ 2923.46
2992.67/3001.23	c GLOBAL bounds - >= -158449780 @ 2925.9
2995.17/3003.75	c GLOBAL bounds - >= -158449780 @ 2928.15
3014.01/3022.65	c GLOBAL bounds - >= -158449780 @ 2946.64
3018.10/3026.78	c GLOBAL bounds - >= -158449780 @ 2950.52
3600.00/3610.40	c #Conflicts:       6000 | #Constraints:       5450
3600.00/3610.40	c cpu time 3531.24 s
3600.00/3610.40	c deterministic time 1 1.00e+00
3600.00/3610.40	c optimization time 3528.17 s
3600.00/3610.40	c total solve time 0 s
3600.00/3610.40	c core-guided solve time 0 s
3600.00/3610.40	c propagation time 0.192839 s
3600.00/3610.40	c conflict analysis time 0 s
3600.00/3610.40	c propagations 0
3600.00/3610.40	c resolve steps 0
3600.00/3610.40	c decisions 0
3600.00/3610.40	c conflicts 0
3600.00/3610.40	c restarts 0
3600.00/3610.40	c inprocessing phases 0
3600.00/3610.40	c garbage collections 0 ,( -nan )
3600.00/3610.40	c input clauses 399002 ,( 99.51 )
3600.00/3610.40	c input cardinalities 1977 ,( 0.49 )
3600.00/3610.40	c input general constraints 1 ,( 0.00 )
3600.00/3610.40	c input average constraint length 5.82
3600.00/3610.40	c input average constraint degree 5.78
3600.00/3610.40	c learned clauses 0 ,( 0.00 )
3600.00/3610.40	c learned cardinalities 0 ,( 0.00 )
3600.00/3610.40	c learned general constraints 0 ,( 0.00 )
3600.00/3610.40	c learned average constraint length 0.00
3600.00/3610.40	c learned average constraint degree 0.00
3600.00/3610.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.40	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.00/3610.40	c watched   constraints 0 ,( 0.00 ) 
3600.00/3610.40	c counting  constraints 1 ,( 100.00 ) 
3600.00/3610.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.40	c gcd simplifications 0
3600.00/3610.40	c detected cardinalities 0
3600.00/3610.40	c weakened non-implied lits 0
3600.00/3610.40	c weakened non-implying lits 0
3600.00/3610.40	c original variables 399113
3600.00/3610.40	c clausal propagations 0
3600.00/3610.40	c cardinality propagations 0
3600.00/3610.40	c watched propagations 0
3600.00/3610.40	c counting propagations 0
3600.00/3610.40	c watch lookups 0
3600.00/3610.40	c watch backjump lookups 0
3600.00/3610.40	c watch checks 0
3600.00/3610.40	c propagation checks 0
3600.00/3610.40	c constraint additions 0
3600.00/3610.40	c trail pops 0
3600.00/3610.40	c formula constraints 400980
3600.00/3610.40	c learned constraints 0
3600.00/3610.40	c bound constraints 0
3600.00/3610.40	c core-guided constraints 0
3600.00/3610.40	c encountered formula constraints 0
3600.00/3610.40	c encountered learned constraints 0
3600.00/3610.40	c encountered bound constraints 0
3600.00/3610.40	c encountered core-guided constraints 0
3600.00/3610.40	c LP total time 0 s
3600.00/3610.40	c LP solve time 0 s
3600.00/3610.40	c LP constraints added 0
3600.00/3610.40	c LP constraints removed 0
3600.00/3610.40	c LP pivots internal 0
3600.00/3610.40	c LP pivots root 0
3600.00/3610.40	c LP calls 0
3600.00/3610.40	c LP optimalities 0
3600.00/3610.40	c LP no pivot count 0
3600.00/3610.40	c LP infeasibilities 0
3600.00/3610.40	c LP valid Farkas constraints 0
3600.00/3610.40	c LP learned Farkas constraints 0
3600.00/3610.40	c LP basis resets 0
3600.00/3610.40	c LP cycling count 0
3600.00/3610.40	c LP singular count 0
3600.00/3610.40	c LP no primal count 0
3600.00/3610.40	c LP no farkas count 0
3600.00/3610.40	c LP other issue count 0
3600.00/3610.40	c LP Gomory cuts 0
3600.00/3610.40	c LP learned cuts 0
3600.00/3610.40	c LP deleted cuts 0
3600.00/3610.40	c LP encountered Gomory constraints 0
3600.00/3610.40	c LP encountered Farkas constraints 0
3600.00/3610.40	c LP encountered learned Farkas constraints 0
3600.00/3610.40	c CG auxiliary variables introduced 0
3600.00/3610.40	c CG solutions found 0
3600.00/3610.40	c CG cores constructed 0
3600.00/3610.40	c CG core cardinality constraints returned 0
3600.00/3610.40	c CG unit cores 0
3600.00/3610.40	c CG single cores 0
3600.00/3610.40	c CG blocks removed during cardinality reduction 0
3600.00/3610.40	c CG first core best 0
3600.00/3610.40	c CG decision core best 0
3600.00/3610.40	c CG core reduction tie 0
3600.00/3610.40	c CG core degree average 0.00
3600.00/3610.40	c CG core slack average 0.00
3600.00/3610.40	c CG core upper bound improvements 0
3600.00/3610.40	c STR number of successful calls 0
3600.00/3610.40	c STR number of unsuccessful calls 0
3600.00/3610.40	c STR number of inconclusive calls 0
3600.00/3610.40	c STR number of successful attempts 0
3600.00/3610.40	c STR number of unsuccessful attempts 0
3600.00/3610.40	c STR number of inconclusive attempts 0
3600.00/3610.40	c STR average degree increase per successful call inf
3600.00/3610.40	c STR average degree increase per successful attempt inf
3600.00/3610.40	c STR total number of conflicts for successful attempts 0
3600.00/3610.40	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.40	c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.40	c STR average number of conflicts per successful attempt inf
3600.00/3610.40	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.40	c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.40	c AVG.sumWPerc 99.99 
3600.00/3610.40	c bigint constraints 0 
3600.00/3610.40	s UNKNOWN
3600.00/3610.40	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 (62468 MiB free)
  memory of node 1: 64465 MiB (63416 MiB free)
  node distances:
     10  21
     21  10

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

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 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=69665, runsolver pid=69660
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128722516/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=130032 memory=80148 CPUtime=0.08 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 5994 0 0 0 4 4 0 0 20 0 1 0 65819288 133152768 20037 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 32508 20037 1920 1147 0 19935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 134224 KiB
Current children cumulated memory: 83220 KiB

[startup+0.214244 s]*
/proc/loadavg: 0.74 1.50 2.56 6/254 69677
/proc/meminfo: memFree=128597124/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=168432 memory=107776 CPUtime=0.19 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 10263 0 0 0 13 6 0 0 20 0 1 0 65819288 172474368 26944 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 42108 26944 1920 1147 0 29535 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 172624 KiB
Current children cumulated memory: 110848 KiB

[startup+0.313096 s]*
/proc/loadavg: 0.74 1.50 2.56 6/254 69677
/proc/meminfo: memFree=128596872/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=131896 memory=87168 CPUtime=0.29 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 10318 0 0 0 22 7 0 0 20 0 1 0 65819288 135061504 21792 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 32974 21792 1952 1147 0 20401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 90240 KiB

[startup+0.700365 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128599300/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=136868 memory=94020 CPUtime=0.66 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 11549 0 0 0 53 13 0 0 20 0 1 0 65819288 140152832 23505 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 34217 23505 1952 1147 0 21644 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 141060 KiB
Current children cumulated memory: 97092 KiB

[startup+1.5004 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=128567556/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=166376 memory=121080 CPUtime=1.45 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 18050 0 0 0 119 26 0 0 20 0 1 0 65819288 170369024 30270 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 41594 30270 1952 1147 0 29021 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 170568 KiB
Current children cumulated memory: 124152 KiB

[startup+3.11329 s]
/proc/loadavg: 0.74 1.50 2.56 5/254 69677
/proc/meminfo: memFree=127415864/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=467876 memory=356740 CPUtime=3.07 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 36095 0 0 0 254 53 0 0 20 0 1 0 65819288 479105024 89185 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 116969 89185 2240 1147 0 104396 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 472068 KiB
Current children cumulated memory: 359812 KiB

[startup+6.30042 s]
/proc/loadavg: 1.00 1.55 2.57 5/254 69677
/proc/meminfo: memFree=126395944/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=806152 memory=670352 CPUtime=6.24 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 60494 0 0 0 454 170 0 0 20 0 1 0 65819288 825499648 167588 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 201538 167588 2336 1147 0 188965 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 810344 KiB
Current children cumulated memory: 673424 KiB

[startup+12.7004 s]
/proc/loadavg: 1.49 1.64 2.59 5/258 69681
/proc/meminfo: memFree=125994652/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=849268 memory=712980 CPUtime=12.63 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 62005 0 0 0 805 458 0 0 20 0 1 0 65819288 869650432 178245 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 212317 178245 2336 1147 0 199744 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 853460 KiB
Current children cumulated memory: 716052 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 1.75 2.62 5/258 69681
/proc/meminfo: memFree=125262200/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=1011564 memory=809776 CPUtime=25.41 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 63182 0 0 0 1571 970 0 0 20 0 1 0 65819288 1035841536 202444 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 252891 202444 2336 1147 0 240318 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1015756 KiB
Current children cumulated memory: 812848 KiB

[startup+51.1135 s]
/proc/loadavg: 2.79 1.95 2.66 5/258 69682
/proc/meminfo: memFree=123547880/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=1358748 memory=1118900 CPUtime=50.95 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 64326 0 0 0 3937 1158 0 0 20 0 1 0 65819288 1391357952 279725 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 339687 279725 2336 1147 0 327114 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1362940 KiB
Current children cumulated memory: 1121972 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.27 2.73 5/259 69685
/proc/meminfo: memFree=121331616/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=1707996 memory=1514948 CPUtime=102 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 65257 0 0 0 9008 1192 0 0 20 0 1 0 65819288 1748987904 378737 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 426999 378737 2336 1147 0 414426 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1712188 KiB
Current children cumulated memory: 1518020 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.60 2.82 5/259 69686
/proc/meminfo: memFree=117071644/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=2619584 memory=2242384 CPUtime=161.84 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 148527 0 0 0 14617 1567 0 0 20 0 1 0 65819288 2682454016 560596 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 654896 560596 2336 1147 0 642323 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2623776 KiB
Current children cumulated memory: 2245456 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.89 2.91 5/258 69688
/proc/meminfo: memFree=113862308/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=4055304 memory=3101544 CPUtime=221.67 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 276336 0 0 0 19969 2198 0 0 20 0 1 0 65819288 4152631296 775386 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0

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

[pid=69675] ppid=69665 vsize=16498656 memory=13358440 CPUtime=3093.46 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1382045 0 0 0 302553 6793 0 0 20 0 1 0 65819288 16894623744 3339610 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4124664 3339610 2336 1147 0 4112091 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 16502848 KiB
Current children cumulated memory: 13361512 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/262 69863
/proc/meminfo: memFree=37521216/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16499808 memory=13443668 CPUtime=3153.27 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1386565 0 0 0 308526 6801 0 0 20 0 1 0 65819288 16895803392 3360917 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4124952 3360917 2336 1147 0 4112379 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 16504000 KiB
Current children cumulated memory: 13446740 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/262 69865
/proc/meminfo: memFree=36960420/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16501344 memory=13535544 CPUtime=3213.09 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1391241 0 0 0 314501 6808 0 0 20 0 1 0 65819288 16897376256 3383886 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4125336 3383886 2336 1147 0 4112763 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 16505536 KiB
Current children cumulated memory: 13538616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/263 69868
/proc/meminfo: memFree=36475644/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16519792 memory=13645380 CPUtime=3272.91 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1399574 0 0 0 320473 6818 0 0 20 0 1 0 65819288 16916267008 3411345 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4129948 3411345 2336 1147 0 4117375 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 16523984 KiB
Current children cumulated memory: 13648452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/262 69872
/proc/meminfo: memFree=35763520/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16601156 memory=13831804 CPUtime=3332.71 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1420570 0 0 0 326440 6831 0 0 20 0 1 0 65819288 16999583744 3457951 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4150289 3457951 2336 1147 0 4137716 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 16605348 KiB
Current children cumulated memory: 13834876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/261 69874
/proc/meminfo: memFree=35396076/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16657420 memory=13979192 CPUtime=3392.54 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1435541 0 0 0 332410 6844 0 0 20 0 1 0 65819288 17057198080 3494798 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4164355 3494798 2336 1147 0 4151782 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 16661612 KiB
Current children cumulated memory: 13982264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/261 69876
/proc/meminfo: memFree=34798728/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16675604 memory=14077752 CPUtime=3452.35 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1443136 0 0 0 338382 6853 0 0 20 0 1 0 65819288 17075818496 3519438 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4168901 3519438 2336 1147 0 4156328 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 16679796 KiB
Current children cumulated memory: 14080824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 69878
/proc/meminfo: memFree=34316032/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16693472 memory=14167656 CPUtime=3512.17 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1450581 0 0 0 344356 6861 0 0 20 0 1 0 65819288 17094115328 3541914 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4173368 3541914 2336 1147 0 4160795 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 16697664 KiB
Current children cumulated memory: 14170728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 69885
/proc/meminfo: memFree=33768600/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16715464 memory=14263836 CPUtime=3571.99 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1458721 0 0 0 350328 6871 0 0 20 0 1 0 65819288 17116635136 3565959 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4178866 3565959 2336 1147 0 4166293 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 16719656 KiB
Current children cumulated memory: 14266908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 69887
/proc/meminfo: memFree=33250964/131382120 swapFree=33010160/33010684
[pid=69665] ppid=69660 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69665/stat : 69665 (run-opt-log.sh) S 69660 69665 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819287 4292608 768 18446744073709551615 94222389919744 94222390814277 140736535777824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94222391053328 94222391101072 94222416027648 140736535783713 140736535783908 140736535783908 140736535789510 0
/proc/69665/statm: 1048 768 704 219 0 110 0
[pid=69675] ppid=69665 vsize=16715464 memory=14300388 CPUtime=3600 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69665 69665 69604 0 -1 4194304 1461173 0 0 0 353123 6877 0 0 20 0 1 0 65819288 17116635136 3575097 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 4178866 3575097 2336 1147 0 4166293 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 16719656 KiB
Current children cumulated memory: 14303460 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.00083 s, system=0.003319 s

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

# cumulated CPU time of all completed processes:  user=3531.46 s, system=68.9549 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+3610.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 69887
/proc/meminfo: memFree=33278544/131382120 swapFree=33010160/33010684
[pid=69675] ppid=69660 vsize=5477736 memory=3200224 CPUtime=3600.35 cores=0,2
/proc/69675/stat : 69675 (roundingsat) R 69660 69665 69604 0 -1 4194304 1462375 0 0 0 353146 6889 0 0 20 0 1 0 65819288 5609201664 800056 18446744073709551615 4227072 8923433 140721610715888 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25026560 140721610721618 140721610721832 140721610721832 140721610727402 0
/proc/69675/statm: 1369434 800056 2400 1147 0 1356861 0
Current cumulated CPU time of completed processes: 0.004149 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 5477736 KiB
Current children cumulated memory: 3200224 KiB

Child status: 2

Real time (s): 3610.86
CPU time (s): 3600.42
CPU user time (s): 3531.46
CPU system time (s): 68.9549
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 16719656
Max. memory (cumulated for all children) (KiB): 14303460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.46
system time used= 68.9549
maximum resident set size= 14300644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1462598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18648960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1672
involuntary context switches= 8113


# summary of solver processes directly reported to runsolver:
#   pid: 69665,69675
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3531.46
#   total CPU system time (s): 68.9549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0641 second user time and 35.0742 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 02:10:02
IDJOB=4506045
IDBENCH=157779
IDSOLVER=3351
FILE ID=nodeC008/4506045-1751501401
RUNJOBID= nodeC008-1751501401-69614
SLURM_JOB_ID= 9598586
Free space on /tmp= 432700 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506045-1751501401/watcher-4506045-1751501401 -o /tmp/evaluation-result-4506045-1751501401/solver-4506045-1751501401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69614 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506045-1751501401.opb PROOFDIR/proof-4506045-1751501401

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

MD5SUM BENCH= 00fa528bfee1582f0c8a78997b3aaa78
RANDOM SEED=793544108

nodeC008 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		: 1795.820
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.72
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		: 1895.580
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.72
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.558
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.72
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.128
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.72
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		: 1197.179
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.72
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		: 1795.867
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.72
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		: 1795.883
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.72
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		: 1197.207
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128939952 kB
MemAvailable:   129892240 kB
Buffers:            2144 kB
Cached:          1748512 kB
SwapCached:           16 kB
Active:           304320 kB
Inactive:        1517020 kB
Active(anon):      52020 kB
Inactive(anon):    36584 kB
Active(file):     252300 kB
Inactive(file):  1480436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            149364 kB
Writeback:             0 kB
AnonPages:         73740 kB
Mapped:           103092 kB
Shmem:             17920 kB
KReclaimable:     118356 kB
Slab:             201788 kB
SReclaimable:     118356 kB
SUnreclaim:        83432 kB
KernelStack:        3800 kB
PageTables:         2668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     338380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432676 MiB
End job on nodeC008 at 2025-07-03 03:10:13