Trace number 4505861

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) 3601.2 3612.12

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
MD5SUM98a5f88ebd5d10d5c10cd6435ed09c83
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-423611
Best CPU time to get the best result obtained on this benchmark71671.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 272557
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 246044672
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 246044672
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.73/2.85	c #variables 399113 #constraints 400980
2.73/2.86	c objective is ce32 
3.03/3.14	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.03/3.14	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.03/3.14	c GLOBAL bounds - >= -246044672 @ 2.62099
3.52/3.63	c GLOBAL bounds - >= -246044672 @ 2.83897
4.01/4.12	c GLOBAL bounds - >= -246044672 @ 3.07603
4.51/4.61	c GLOBAL bounds - >= -246044672 @ 3.32336
5.11/5.20	c GLOBAL bounds - >= -246044672 @ 3.6634
5.60/5.79	c GLOBAL bounds - >= -246044672 @ 4.00319
6.10/6.29	c GLOBAL bounds - >= -246044672 @ 4.24752
6.59/6.78	c GLOBAL bounds - >= -246044672 @ 4.49798
7.19/7.35	c GLOBAL bounds - >= -246044672 @ 4.81553
7.78/7.95	c GLOBAL bounds - >= -246044672 @ 5.17205
8.28/8.46	c GLOBAL bounds - >= -246044672 @ 5.43367
8.77/8.97	c GLOBAL bounds - >= -246044672 @ 5.69408
9.38/9.58	c GLOBAL bounds - >= -246044672 @ 6.05722
9.99/10.18	c GLOBAL bounds - >= -246044672 @ 6.42159
10.58/10.70	c GLOBAL bounds - >= -246044672 @ 6.68926
11.07/11.22	c GLOBAL bounds - >= -246044672 @ 6.95647
11.67/11.84	c GLOBAL bounds - >= -246044672 @ 7.32552
12.28/12.45	c GLOBAL bounds - >= -246044672 @ 7.70302
12.77/12.97	c GLOBAL bounds - >= -246044672 @ 7.9705
13.27/13.49	c GLOBAL bounds - >= -246044672 @ 8.24525
13.97/14.11	c GLOBAL bounds - >= -246044672 @ 8.59948
14.57/14.73	c GLOBAL bounds - >= -246044672 @ 8.95925
15.06/15.26	c GLOBAL bounds - >= -246044672 @ 9.22139
15.57/15.79	c GLOBAL bounds - >= -246044672 @ 9.49667
16.27/16.42	c GLOBAL bounds - >= -246044672 @ 9.86236
16.86/17.05	c GLOBAL bounds - >= -246044672 @ 10.242
17.36/17.58	c GLOBAL bounds - >= -246044672 @ 10.5234
17.97/18.12	c GLOBAL bounds - >= -246044672 @ 10.8126
18.56/18.75	c GLOBAL bounds - >= -246044672 @ 11.1747
19.15/19.38	c GLOBAL bounds - >= -246044672 @ 11.5364
19.76/19.91	c GLOBAL bounds - >= -246044672 @ 11.8098
20.26/20.45	c GLOBAL bounds - >= -246044672 @ 12.0979
20.85/21.09	c GLOBAL bounds - >= -246044672 @ 12.4799
21.45/21.63	c GLOBAL bounds - >= -246044672 @ 12.7517
21.96/22.17	c GLOBAL bounds - >= -246044672 @ 13.0495
31.73/31.90	c GLOBAL bounds - >= -246044672 @ 22.2937
32.22/32.48	c GLOBAL bounds - >= -246044672 @ 22.6442
68.33/68.60	c GLOBAL bounds - >= -246044672 @ 58.2775
69.82/70.11	c GLOBAL bounds - >= -246044672 @ 59.3589
71.12/71.46	c GLOBAL bounds - >= -246044672 @ 60.4377
72.32/72.60	c GLOBAL bounds - >= -246044672 @ 61.3067
73.31/73.64	c GLOBAL bounds - >= -246044672 @ 62.1038
74.40/74.75	c GLOBAL bounds - >= -246044672 @ 62.9379
75.10/75.45	c GLOBAL bounds - >= -246044672 @ 63.3901
92.76/93.18	c GLOBAL bounds - >= -246044672 @ 80.7714
93.54/94.00	c GLOBAL bounds - >= -246044672 @ 81.3412
94.65/95.08	c GLOBAL bounds - >= -246044672 @ 82.1426
95.44/95.89	c GLOBAL bounds - >= -246044672 @ 82.7056
96.24/96.61	c GLOBAL bounds - >= -246044672 @ 83.1652
96.94/97.35	c GLOBAL bounds - >= -246044672 @ 83.6624
98.23/98.64	c GLOBAL bounds - >= -246044672 @ 84.6934
101.22/101.69	c GLOBAL bounds - >= -246044672 @ 87.2991
102.32/102.71	c GLOBAL bounds - >= -246044672 @ 88.061
103.02/103.48	c GLOBAL bounds - >= -246044672 @ 88.568
104.11/104.52	c GLOBAL bounds - >= -246044672 @ 89.3545
105.02/105.49	c GLOBAL bounds - >= -246044672 @ 90.0549
106.01/106.49	c GLOBAL bounds - >= -246044672 @ 90.82
106.91/107.36	c GLOBAL bounds - >= -246044672 @ 91.4241
107.71/108.12	c GLOBAL bounds - >= -246044672 @ 91.9311
108.30/108.74	c GLOBAL bounds - >= -246044672 @ 92.3042
109.00/109.49	c GLOBAL bounds - >= -246044672 @ 92.7992
109.71/110.19	c GLOBAL bounds - >= -246044672 @ 93.239
110.30/110.79	c GLOBAL bounds - >= -246044672 @ 93.582
110.90/111.38	c GLOBAL bounds - >= -246044672 @ 93.9232
111.61/112.08	c GLOBAL bounds - >= -246044672 @ 94.3562
112.70/113.13	c GLOBAL bounds - >= -246044672 @ 95.1471
114.99/115.45	c GLOBAL bounds - >= -246044672 @ 97.1774
115.78/116.24	c GLOBAL bounds - >= -246044672 @ 97.7134
116.39/116.86	c GLOBAL bounds - >= -246044672 @ 98.0827
119.87/120.32	c GLOBAL bounds - >= -246044672 @ 101.258
120.47/120.93	c GLOBAL bounds - >= -246044672 @ 101.611
121.46/121.98	c GLOBAL bounds - >= -246044672 @ 102.374
122.27/122.73	c GLOBAL bounds - >= -246044672 @ 102.911
123.07/123.54	c GLOBAL bounds - >= -246044672 @ 103.492
123.86/124.36	c GLOBAL bounds - >= -246044672 @ 104.121
124.57/125.04	c GLOBAL bounds - >= -246044672 @ 104.594
125.46/125.92	c GLOBAL bounds - >= -246044672 @ 105.226
126.06/126.51	c GLOBAL bounds - >= -246044672 @ 105.558
126.76/127.21	c GLOBAL bounds - >= -246044672 @ 106.012
127.46/127.91	c GLOBAL bounds - >= -246044672 @ 106.461
128.15/128.63	c GLOBAL bounds - >= -246044672 @ 106.929
128.85/129.34	c GLOBAL bounds - >= -246044672 @ 107.376
129.45/129.94	c GLOBAL bounds - >= -246044672 @ 107.715
130.05/130.55	c GLOBAL bounds - >= -246044672 @ 108.073
130.84/131.33	c GLOBAL bounds - >= -246044672 @ 108.575
131.64/132.10	c GLOBAL bounds - >= -246044672 @ 109.09
132.34/132.89	c GLOBAL bounds - >= -246044672 @ 109.626
133.13/133.68	c GLOBAL bounds - >= -246044672 @ 110.172
133.93/134.48	c GLOBAL bounds - >= -246044672 @ 110.703
134.73/135.23	c GLOBAL bounds - >= -246044672 @ 111.203
135.33/135.84	c GLOBAL bounds - >= -246044672 @ 111.537
192.95/193.62	c GLOBAL bounds - >= -246044672 @ 166.151
194.25/194.95	c GLOBAL bounds - >= -246044672 @ 167.224
195.14/195.86	c GLOBAL bounds - >= -246044672 @ 167.883
195.84/196.56	c GLOBAL bounds - >= -246044672 @ 168.357
249.06/249.90	c #Conflicts:       1000 | #Constraints:       2614
249.06/249.90	c GLOBAL bounds - >= -246044672 @ 219.744
250.46/251.38	c GLOBAL bounds - >= -246044672 @ 220.963
251.75/252.67	c GLOBAL bounds - >= -246044672 @ 221.99
253.06/253.93	c GLOBAL bounds - >= -246044672 @ 222.984
254.15/255.04	c GLOBAL bounds - >= -246044672 @ 223.841
255.25/256.15	c GLOBAL bounds - >= -246044672 @ 224.681
256.34/257.27	c GLOBAL bounds - >= -246044672 @ 225.559
257.64/258.60	c GLOBAL bounds - >= -246044672 @ 226.625
259.43/260.39	c GLOBAL bounds - >= -246044672 @ 228.18
558.63/560.59	c #Conflicts:       2000 | #Constraints:       3632
558.63/560.59	c INPROCESSING
558.63/560.59	c GARBAGE COLLECT
558.63/560.59	c GLOBAL bounds - >= -246044672 @ 524.534
560.33/562.29	c GLOBAL bounds - >= -246044672 @ 525.96
564.71/566.60	c GLOBAL bounds - >= -246044672 @ 529.999
566.31/568.25	c GLOBAL bounds - >= -246044672 @ 531.382
568.00/569.96	c GLOBAL bounds - >= -246044672 @ 532.804
570.00/571.94	c GLOBAL bounds - >= -246044672 @ 534.547
575.97/577.93	c GLOBAL bounds - >= -246044672 @ 540.25
577.97/579.91	c GLOBAL bounds - >= -246044672 @ 541.996
579.87/581.87	c GLOBAL bounds - >= -246044672 @ 543.738
582.45/584.43	c GLOBAL bounds - >= -246044672 @ 546.015
583.95/585.97	c GLOBAL bounds - >= -246044672 @ 547.311
585.64/587.63	c GLOBAL bounds - >= -246044672 @ 548.709
587.63/589.67	c GLOBAL bounds - >= -246044672 @ 550.48
589.72/591.77	c GLOBAL bounds - >= -246044672 @ 552.33
592.01/594.03	c GLOBAL bounds - >= -246044672 @ 554.335
594.48/596.51	c GLOBAL bounds - >= -246044672 @ 556.542
599.77/601.85	c GLOBAL bounds - >= -246044672 @ 561.618
601.26/603.37	c GLOBAL bounds - >= -246044672 @ 562.896
602.76/604.87	c GLOBAL bounds - >= -246044672 @ 564.136
607.05/609.10	c GLOBAL bounds - >= -246044672 @ 568.099
609.04/611.17	c GLOBAL bounds - >= -246044672 @ 569.916
610.94/613.08	c GLOBAL bounds - >= -246044672 @ 571.571
613.03/615.15	c GLOBAL bounds - >= -246044672 @ 573.365
614.51/616.61	c GLOBAL bounds - >= -246044672 @ 574.576
616.41/618.54	c GLOBAL bounds - >= -246044672 @ 576.235
618.01/620.12	c GLOBAL bounds - >= -246044672 @ 577.55
619.80/621.98	c GLOBAL bounds - >= -246044672 @ 579.165
621.39/623.51	c GLOBAL bounds - >= -246044672 @ 580.443
623.58/625.78	c GLOBAL bounds - >= -246044672 @ 582.464
625.57/627.79	c GLOBAL bounds - >= -246044672 @ 584.201
627.58/629.71	c GLOBAL bounds - >= -246044672 @ 585.869
631.97/634.19	c GLOBAL bounds - >= -246044672 @ 590.08
635.24/637.40	c GLOBAL bounds - >= -246044672 @ 593.035
637.85/640.04	c GLOBAL bounds - >= -246044672 @ 595.403
639.84/642.01	c GLOBAL bounds - >= -246044672 @ 597.125
641.73/643.95	c GLOBAL bounds - >= -246044672 @ 598.813
644.21/646.40	c GLOBAL bounds - >= -246044672 @ 601
647.00/649.25	c GLOBAL bounds - >= -246044672 @ 603.548
648.91/651.17	c GLOBAL bounds - >= -246044672 @ 605.22
652.19/654.40	c GLOBAL bounds - >= -246044672 @ 608.193
655.07/657.39	c GLOBAL bounds - >= -246044672 @ 610.931
657.07/659.36	c GLOBAL bounds - >= -246044672 @ 612.664
658.97/661.22	c GLOBAL bounds - >= -246044672 @ 614.263
661.36/663.68	c GLOBAL bounds - >= -246044672 @ 616.485
665.55/667.82	c GLOBAL bounds - >= -246044672 @ 620.382
666.94/669.29	c GLOBAL bounds - >= -246044672 @ 621.564
668.33/670.62	c GLOBAL bounds - >= -246044672 @ 622.621
669.74/672.06	c GLOBAL bounds - >= -246044672 @ 623.809
671.22/673.50	c GLOBAL bounds - >= -246044672 @ 624.989
794.46/797.24	c GLOBAL bounds - >= -246044672 @ 747.891
798.05/800.89	c GLOBAL bounds - >= -246044672 @ 751.252
802.93/805.74	c GLOBAL bounds - >= -246044672 @ 755.72
910.15/913.36	c GLOBAL bounds - >= -246044672 @ 861.25
918.93/922.13	c GLOBAL bounds - >= -246044672 @ 869.411
920.42/923.61	c GLOBAL bounds - >= -246044672 @ 870.63
922.22/925.48	c GLOBAL bounds - >= -246044672 @ 872.216
923.82/927.07	c GLOBAL bounds - >= -246044672 @ 873.548
925.31/928.55	c GLOBAL bounds - >= -246044672 @ 874.765
927.20/930.49	c GLOBAL bounds - >= -246044672 @ 876.433
972.06/975.43	c #Conflicts:       3000 | #Constraints:       3772
972.06/975.43	c GLOBAL bounds - >= -246044672 @ 920.871
977.15/980.52	c GLOBAL bounds - >= -246044672 @ 925.659
995.21/998.60	c GLOBAL bounds - >= -246044672 @ 943.264
997.20/1000.64	c GLOBAL bounds - >= -246044672 @ 945.039
1005.38/1008.83	c GLOBAL bounds - >= -246044672 @ 952.751
1007.07/1010.53	c GLOBAL bounds - >= -246044672 @ 954.204
1008.77/1012.25	c GLOBAL bounds - >= -246044672 @ 955.676
1013.45/1016.93	c GLOBAL bounds - >= -246044672 @ 960.066
1015.35/1018.88	c GLOBAL bounds - >= -246044672 @ 961.756
1017.54/1021.04	c GLOBAL bounds - >= -246044672 @ 963.713
1020.33/1023.86	c GLOBAL bounds - >= -246044672 @ 966.298
1022.63/1026.18	c GLOBAL bounds - >= -246044672 @ 968.412
1024.82/1028.30	c GLOBAL bounds - >= -246044672 @ 970.326
1029.11/1032.63	c GLOBAL bounds - >= -246044672 @ 974.424
1031.00/1034.56	c GLOBAL bounds - >= -246044672 @ 976.145
1033.50/1037.03	c GLOBAL bounds - >= -246044672 @ 978.375
1035.89/1039.47	c GLOBAL bounds - >= -246044672 @ 980.593
1038.89/1042.46	c GLOBAL bounds - >= -246044672 @ 983.382
1041.78/1045.30	c GLOBAL bounds - >= -246044672 @ 986.02
1044.27/1047.89	c GLOBAL bounds - >= -246044672 @ 988.405
1048.76/1052.33	c GLOBAL bounds - >= -246044672 @ 992.62
1050.75/1054.37	c GLOBAL bounds - >= -246044672 @ 994.435
1053.54/1057.17	c GLOBAL bounds - >= -246044672 @ 997.036
1056.13/1059.74	c GLOBAL bounds - >= -246044672 @ 999.407
1062.21/1065.81	c GLOBAL bounds - >= -246044672 @ 1005.24
1064.21/1067.87	c GLOBAL bounds - >= -246044672 @ 1007.09
1066.30/1069.95	c GLOBAL bounds - >= -246044672 @ 1008.98
1068.90/1072.56	c GLOBAL bounds - >= -246044672 @ 1011.38
1072.89/1076.51	c GLOBAL bounds - >= -246044672 @ 1015.12
1078.87/1082.50	c GLOBAL bounds - >= -246044672 @ 1020.84
1080.96/1084.62	c GLOBAL bounds - >= -246044672 @ 1022.7
1083.46/1087.19	c GLOBAL bounds - >= -246044672 @ 1024.99
1086.04/1089.76	c GLOBAL bounds - >= -246044672 @ 1027.28
1088.64/1092.34	c GLOBAL bounds - >= -246044672 @ 1029.6
1090.53/1094.22	c GLOBAL bounds - >= -246044672 @ 1031.22
1093.12/1096.89	c GLOBAL bounds - >= -246044672 @ 1033.63
1095.02/1098.77	c GLOBAL bounds - >= -246044672 @ 1035.25
1099.20/1102.99	c GLOBAL bounds - >= -246044672 @ 1039.17
1100.80/1104.55	c GLOBAL bounds - >= -246044672 @ 1040.46
1102.40/1106.12	c GLOBAL bounds - >= -246044672 @ 1041.77
1487.46/1492.44	c #Conflicts:       4000 | #Constraints:       4852
1487.46/1492.44	c INPROCESSING
1487.46/1492.44	c GARBAGE COLLECT
1487.46/1492.44	c GLOBAL bounds - >= -246044672 @ 1423.83
1490.15/1495.15	c GLOBAL bounds - >= -246044672 @ 1426.39
1492.74/1497.70	c GLOBAL bounds - >= -246044672 @ 1428.79
1495.34/1500.33	c GLOBAL bounds - >= -246044672 @ 1431.28
1498.13/1503.13	c GLOBAL bounds - >= -246044672 @ 1433.94
1501.21/1506.24	c GLOBAL bounds - >= -246044672 @ 1436.89
1504.81/1509.80	c GLOBAL bounds - >= -246044672 @ 1440.19
1507.20/1512.22	c GLOBAL bounds - >= -246044672 @ 1442.37
1509.69/1514.78	c GLOBAL bounds - >= -246044672 @ 1444.64
1512.49/1517.55	c GLOBAL bounds - >= -246044672 @ 1447.18
1515.38/1520.45	c GLOBAL bounds - >= -246044672 @ 1449.8
1518.07/1523.18	c GLOBAL bounds - >= -246044672 @ 1452.26
1520.86/1525.94	c GLOBAL bounds - >= -246044672 @ 1454.75
1523.55/1528.69	c GLOBAL bounds - >= -246044672 @ 1457.24
1526.34/1531.41	c GLOBAL bounds - >= -246044672 @ 1459.7
1531.23/1536.32	c GLOBAL bounds - >= -246044672 @ 1464.29
1535.72/1540.84	c GLOBAL bounds - >= -246044672 @ 1468.53
1538.21/1543.37	c GLOBAL bounds - >= -246044672 @ 1470.81
1540.91/1546.04	c GLOBAL bounds - >= -246044672 @ 1473.21
1543.70/1548.80	c GLOBAL bounds - >= -246044672 @ 1475.75
1546.49/1551.66	c GLOBAL bounds - >= -246044672 @ 1478.32
1549.28/1554.47	c GLOBAL bounds - >= -246044672 @ 1480.87
1552.17/1557.37	c GLOBAL bounds - >= -246044672 @ 1483.55
1554.97/1560.14	c GLOBAL bounds - >= -246044672 @ 1486.1
1558.25/1563.43	c GLOBAL bounds - >= -246044672 @ 1489.18
1561.74/1566.96	c GLOBAL bounds - >= -246044672 @ 1492.48
1565.33/1570.53	c GLOBAL bounds - >= -246044672 @ 1495.82
1568.62/1573.85	c GLOBAL bounds - >= -246044672 @ 1498.86
1571.32/1576.51	c GLOBAL bounds - >= -246044672 @ 1501.26
1573.81/1579.00	c GLOBAL bounds - >= -246044672 @ 1503.48
1576.40/1581.61	c GLOBAL bounds - >= -246044672 @ 1505.84
1720.65/1726.37	c GLOBAL bounds - >= -246044672 @ 1648.69
1723.45/1729.12	c GLOBAL bounds - >= -246044672 @ 1651.16
1726.24/1731.97	c GLOBAL bounds - >= -246044672 @ 1653.77
1729.03/1734.79	c GLOBAL bounds - >= -246044672 @ 1656.33
1731.92/1737.64	c GLOBAL bounds - >= -246044672 @ 1658.95
1734.81/1740.51	c GLOBAL bounds - >= -246044672 @ 1661.57
1737.71/1743.42	c GLOBAL bounds - >= -246044672 @ 1664.22
1740.30/1746.03	c GLOBAL bounds - >= -246044672 @ 1666.56
3600.56/3611.52	c #Conflicts:       5000 | #Constraints:       4417
3600.56/3611.52	c #Conflicts:       6000 | #Constraints:       5417
3600.56/3611.52	c cpu time 3517.71 s
3600.56/3611.52	c deterministic time 1 1.00e+00
3600.56/3611.52	c optimization time 3515.34 s
3600.56/3611.52	c total solve time 0 s
3600.56/3611.52	c core-guided solve time 0 s
3600.56/3611.52	c propagation time 0.135462 s
3600.56/3611.52	c conflict analysis time 0 s
3600.56/3611.52	c propagations 0
3600.56/3611.52	c resolve steps 0
3600.56/3611.52	c decisions 0
3600.56/3611.52	c conflicts 0
3600.56/3611.52	c restarts 0
3600.56/3611.52	c inprocessing phases 0
3600.56/3611.52	c garbage collections 0 ,( -nan )
3600.56/3611.52	c input clauses 399002 ,( 99.51 )
3600.56/3611.52	c input cardinalities 1977 ,( 0.49 )
3600.56/3611.52	c input general constraints 1 ,( 0.00 )
3600.56/3611.52	c input average constraint length 5.82
3600.56/3611.52	c input average constraint degree 5.51
3600.56/3611.52	c learned clauses 0 ,( 0.00 )
3600.56/3611.52	c learned cardinalities 0 ,( 0.00 )
3600.56/3611.52	c learned general constraints 0 ,( 0.00 )
3600.56/3611.52	c learned average constraint length 0.00
3600.56/3611.52	c learned average constraint degree 0.00
3600.56/3611.52	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.56/3611.52	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.56/3611.52	c watched   constraints 0 ,( 0.00 ) 
3600.56/3611.52	c counting  constraints 1 ,( 100.00 ) 
3600.56/3611.52	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.56/3611.52	c gcd simplifications 0
3600.56/3611.52	c detected cardinalities 0
3600.56/3611.52	c weakened non-implied lits 0
3600.56/3611.52	c weakened non-implying lits 0
3600.56/3611.52	c original variables 399113
3600.56/3611.52	c clausal propagations 0
3600.56/3611.52	c cardinality propagations 0
3600.56/3611.52	c watched propagations 0
3600.56/3611.52	c counting propagations 0
3600.56/3611.52	c watch lookups 0
3600.56/3611.52	c watch backjump lookups 0
3600.56/3611.52	c watch checks 0
3600.56/3611.52	c propagation checks 0
3600.56/3611.52	c constraint additions 0
3600.56/3611.52	c trail pops 0
3600.56/3611.52	c formula constraints 400980
3600.56/3611.52	c learned constraints 0
3600.56/3611.52	c bound constraints 0
3600.56/3611.52	c core-guided constraints 0
3600.56/3611.52	c encountered formula constraints 0
3600.56/3611.52	c encountered learned constraints 0
3600.56/3611.52	c encountered bound constraints 0
3600.56/3611.52	c encountered core-guided constraints 0
3600.56/3611.52	c LP total time 0 s
3600.56/3611.52	c LP solve time 0 s
3600.56/3611.52	c LP constraints added 0
3600.56/3611.52	c LP constraints removed 0
3600.56/3611.52	c LP pivots internal 0
3600.56/3611.52	c LP pivots root 0
3600.56/3611.52	c LP calls 0
3600.56/3611.52	c LP optimalities 0
3600.56/3611.52	c LP no pivot count 0
3600.56/3611.52	c LP infeasibilities 0
3600.56/3611.52	c LP valid Farkas constraints 0
3600.56/3611.52	c LP learned Farkas constraints 0
3600.56/3611.52	c LP basis resets 0
3600.56/3611.52	c LP cycling count 0
3600.56/3611.52	c LP singular count 0
3600.56/3611.52	c LP no primal count 0
3600.56/3611.52	c LP no farkas count 0
3600.56/3611.52	c LP other issue count 0
3600.56/3611.52	c LP Gomory cuts 0
3600.56/3611.52	c LP learned cuts 0
3600.56/3611.52	c LP deleted cuts 0
3600.56/3611.52	c LP encountered Gomory constraints 0
3600.56/3611.52	c LP encountered Farkas constraints 0
3600.56/3611.52	c LP encountered learned Farkas constraints 0
3600.56/3611.52	c CG auxiliary variables introduced 0
3600.56/3611.52	c CG solutions found 0
3600.56/3611.52	c CG cores constructed 0
3600.56/3611.52	c CG core cardinality constraints returned 0
3600.56/3611.52	c CG unit cores 0
3600.56/3611.52	c CG single cores 0
3600.56/3611.52	c CG blocks removed during cardinality reduction 0
3600.56/3611.52	c CG first core best 0
3600.56/3611.52	c CG decision core best 0
3600.56/3611.52	c CG core reduction tie 0
3600.56/3611.52	c CG core degree average 0.00
3600.56/3611.52	c CG core slack average 0.00
3600.56/3611.52	c CG core upper bound improvements 0
3600.56/3611.52	c STR number of successful calls 0
3600.56/3611.52	c STR number of unsuccessful calls 0
3600.56/3611.52	c STR number of inconclusive calls 0
3600.56/3611.52	c STR number of successful attempts 0
3600.56/3611.52	c STR number of unsuccessful attempts 0
3600.56/3611.52	c STR number of inconclusive attempts 0
3600.56/3611.52	c STR average degree increase per successful call inf
3600.56/3611.52	c STR average degree increase per successful attempt inf
3600.56/3611.52	c STR total number of conflicts for successful attempts 0
3600.56/3611.52	c STR total number of conflicts for unsuccessful attempts 0
3600.56/3611.52	c STR total number of conflicts for inconclusive attempts 0
3600.56/3611.52	c STR average number of conflicts per successful attempt inf
3600.56/3611.52	c STR average number of conflicts per unsuccessful attempt inf
3600.56/3611.52	c STR average number of conflicts per inconclusive attempt inf
3600.56/3611.52	c AVG.sumWPerc 99.99 
3600.56/3611.52	c bigint constraints 0 
3600.56/3611.52	s UNKNOWN
3600.56/3611.52	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129397392/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=167308 memory=105296 CPUtime=0.07 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 9954 0 0 0 4 3 0 0 20 0 1 0 65457593 171323392 26324 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 41827 26324 1984 1147 0 29254 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 171500 KiB
Current children cumulated memory: 108368 KiB

[startup+0.205535 s]*
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129360844/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=133084 memory=88528 CPUtime=0.17 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 10425 0 0 0 12 5 0 0 20 0 1 0 65457593 136278016 22132 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 33271 22132 2016 1147 0 20698 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 137276 KiB
Current children cumulated memory: 91600 KiB

[startup+0.305802 s]*
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129355048/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=136208 memory=93632 CPUtime=0.26 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 11203 0 0 0 20 6 0 0 20 0 1 0 65457593 139476992 23408 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 34052 23408 2016 1147 0 21479 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 140400 KiB
Current children cumulated memory: 96704 KiB

[startup+0.700189 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129325564/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=161652 memory=117232 CPUtime=0.64 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 16847 0 0 0 53 11 0 0 20 0 1 0 65457593 165531648 29308 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 40413 29308 2016 1147 0 27840 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 165844 KiB
Current children cumulated memory: 120304 KiB

[startup+1.50017 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129274408/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=196256 memory=151968 CPUtime=1.44 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 22190 0 0 0 117 27 0 0 20 0 1 0 65457593 200966144 37992 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 49064 37992 2016 1147 0 36491 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 200448 KiB
Current children cumulated memory: 155040 KiB

[startup+3.10534 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=128334460/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=698620 memory=581768 CPUtime=3.03 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 47231 0 0 0 258 45 0 0 20 0 1 0 65457593 715386880 145442 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 174655 145442 2336 1147 0 162082 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 702812 KiB
Current children cumulated memory: 584840 KiB

[startup+6.30016 s]
/proc/loadavg: 1.50 1.34 2.27 6/268 71482
/proc/meminfo: memFree=128028808/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=816412 memory=681280 CPUtime=6.19 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 54716 0 0 0 425 194 0 0 20 0 1 0 65457593 836005888 170320 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 204103 170320 2368 1147 0 191530 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 820604 KiB
Current children cumulated memory: 684352 KiB

[startup+12.7001 s]
/proc/loadavg: 1.70 1.39 2.28 6/270 71484
/proc/meminfo: memFree=127615936/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=877876 memory=717948 CPUtime=12.57 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 56247 0 0 0 779 478 0 0 20 0 1 0 65457593 898945024 179487 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 219469 179487 2368 1147 0 206896 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 882068 KiB
Current children cumulated memory: 721020 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.49 2.31 6/270 71484
/proc/meminfo: memFree=126809000/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=1013036 memory=832944 CPUtime=25.34 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 57406 0 0 0 1617 917 0 0 20 0 1 0 65457593 1037348864 208236 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 253259 208236 2368 1147 0 240686 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1017228 KiB
Current children cumulated memory: 836016 KiB

[startup+51.1057 s]
/proc/loadavg: 2.94 1.75 2.37 6/271 71486
/proc/meminfo: memFree=125614576/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=1363460 memory=1198528 CPUtime=50.87 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 59419 0 0 0 4096 991 0 0 20 0 1 0 65457593 1396183040 299632 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 340865 299632 2368 1147 0 328292 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1367652 KiB
Current children cumulated memory: 1201600 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.11 2.46 6/271 71493
/proc/meminfo: memFree=123660764/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=2326116 memory=1677380 CPUtime=101.93 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 71846 0 0 0 8773 1420 0 0 20 0 1 0 65457593 2381942784 419345 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 581529 419345 2368 1147 0 568956 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2330308 KiB
Current children cumulated memory: 1680452 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.47 2.56 6/272 71498
/proc/meminfo: memFree=121288052/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=2467756 memory=2260988 CPUtime=161.74 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 106459 0 0 0 13661 2513 0 0 20 0 1 0 65457593 2526982144 565247 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 616939 565247 2368 1147 0 604366 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2471948 KiB
Current children cumulated memory: 2264060 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.77 2.66 6/272 71500
/proc/meminfo: memFree=117878364/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=4593748 memory=4015096 CPUtime=221.55 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 408085 0 0 0 19310 2845 0 0 20 0 1 0 65457593 4703997952 1003774 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0

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

/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2081221 0 0 0 313017 8229 0 0 20 0 1 0 65457593 19403628544 3702572 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737214 3702572 2368 1147 0 4724641 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 18953048 KiB
Current children cumulated memory: 14813360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/273 71670
/proc/meminfo: memFree=57680056/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18948856 memory=14810544 CPUtime=3272.28 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2082441 0 0 0 318990 8238 0 0 20 0 1 0 65457593 19403628544 3702636 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737214 3702636 2368 1147 0 4724641 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 18953048 KiB
Current children cumulated memory: 14813616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/274 71673
/proc/meminfo: memFree=57159632/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18948856 memory=14810800 CPUtime=3332.11 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2083620 0 0 0 324964 8247 0 0 20 0 1 0 65457593 19403628544 3702700 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737214 3702700 2368 1147 0 4724641 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 18953048 KiB
Current children cumulated memory: 14813872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/273 71675
/proc/meminfo: memFree=56727864/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18948856 memory=14811056 CPUtime=3391.94 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2084644 0 0 0 330939 8255 0 0 20 0 1 0 65457593 19403628544 3702764 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737214 3702764 2368 1147 0 4724641 0
Current children cumulated CPU time: 3391.94 s
Current children cumulated vsize: 18953048 KiB
Current children cumulated memory: 14814128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/272 71677
/proc/meminfo: memFree=56351776/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18948856 memory=14811312 CPUtime=3451.78 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2086092 0 0 0 336914 8264 0 0 20 0 1 0 65457593 19403628544 3702828 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737214 3702828 2368 1147 0 4724641 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 18953048 KiB
Current children cumulated memory: 14814384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/272 71679
/proc/meminfo: memFree=55952432/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18949608 memory=14820488 CPUtime=3511.61 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2087129 0 0 0 342888 8273 0 0 20 0 1 0 65457593 19404398592 3705122 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737402 3705122 2368 1147 0 4724829 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 18953800 KiB
Current children cumulated memory: 14823560 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.06 6/272 71681
/proc/meminfo: memFree=55694756/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18949608 memory=14849332 CPUtime=3571.45 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2088807 0 0 0 348862 8283 0 0 20 0 1 0 65457593 19404398592 3712333 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737402 3712333 2368 1147 0 4724829 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 18953800 KiB
Current children cumulated memory: 14852404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.09 4.11 4.06 3/263 71738
/proc/meminfo: memFree=74052320/131249988 swapFree=33010160/33010684
[pid=71479] ppid=71472 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/71479/stat : 71479 (run-opt-log.sh) S 71472 71479 71409 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 65457593 4292608 768 18446744073709551615 94864863449088 94864864343621 140733649942192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94864864582672 94864864630416 94864883630080 140733649946913 140733649947108 140733649947108 140733649952710 0
/proc/71479/statm: 1048 768 704 219 0 110 0
[pid=71482] ppid=71479 vsize=18949608 memory=14863728 CPUtime=3600.07 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71479 71479 71409 0 -1 4194304 2088838 0 0 0 351719 8288 0 0 20 0 1 0 65457593 19404398592 3715932 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737402 3715932 2368 1147 0 4724829 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 18953800 KiB
Current children cumulated memory: 14866800 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000895 s, system=0.000897 s

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

# cumulated CPU time of all completed processes:  user=3517.96 s, system=83.2356 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+3611.21 s]
/proc/loadavg: 4.09 4.11 4.06 3/259 71745
/proc/meminfo: memFree=74054696/131249988 swapFree=33010160/33010684
[pid=71482] ppid=71472 vsize=18949608 memory=14863728 CPUtime=3600.27 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71472 71479 71409 0 -1 4194304 2088838 0 0 0 351739 8288 0 0 20 0 1 0 65457593 19404398592 3715932 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737402 3715932 2368 1147 0 4724829 0
Current cumulated CPU time of completed processes: 0.001792 s
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 18949608 KiB
Current children cumulated memory: 14863728 KiB

[startup+3611.6 s]
/proc/loadavg: 4.09 4.11 4.06 3/259 71745
/proc/meminfo: memFree=74054696/131249988 swapFree=33010160/33010684
[pid=71482] ppid=71472 vsize=18949608 memory=14864112 CPUtime=3600.66 cores=4,6
/proc/71482/stat : 71482 (roundingsat) R 71472 71479 71409 0 -1 4194304 2088854 0 0 0 351778 8288 0 0 20 0 1 0 65457593 19404398592 3716028 18446744073709551615 4227072 8923433 140727177844992 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28901376 140727177853266 140727177853480 140727177853480 140727177859050 0
/proc/71482/statm: 4737402 3716028 2464 1147 0 4724829 0
Current cumulated CPU time of completed processes: 0.001792 s
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 18949608 KiB
Current children cumulated memory: 14864112 KiB

[startup+3612 s]*
/proc/loadavg: 4.09 4.11 4.06 3/254 71762
/proc/meminfo: memFree=92240868/131249988 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.001792 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3612.11 s]
/proc/loadavg: 4.09 4.11 4.06 3/254 71762
/proc/meminfo: memFree=92240868/131249988 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.001792 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.12
CPU time (s): 3601.2
CPU user time (s): 3517.96
CPU system time (s): 83.2356
CPU usage (%): 99.6975
Max. virtual memory (cumulated for all children) (KiB): 18953800
Max. memory (cumulated for all children) (KiB): 14866800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3517.96
system time used= 83.2356
maximum resident set size= 14864112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2089662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15469648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 22800


# summary of solver processes directly reported to runsolver:
#   pid: 71479,71482
#   total CPU time (s): 3601.2
#   total CPU user time (s): 3517.96
#   total CPU system time (s): 83.2356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46292 second user time and 15.9495 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-03 01:10:00
IDJOB=4505861
IDBENCH=157342
IDSOLVER=3351
FILE ID=nodeC020/4505861-1751497800
RUNJOBID= nodeC020-1751497800-71420
SLURM_JOB_ID= 9598575
Free space on /tmp= 431964 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_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-4505861-1751497800/watcher-4505861-1751497800 -o /tmp/evaluation-result-4505861-1751497800/solver-4505861-1751497800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71420 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505861-1751497800.opb PROOFDIR/proof-4505861-1751497800

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

MD5SUM BENCH= 98a5f88ebd5d10d5c10cd6435ed09c83
RANDOM SEED=1814754515

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129683140 kB
MemAvailable:   129666348 kB
Buffers:            2128 kB
Cached:           782040 kB
SwapCached:           12 kB
Active:           642572 kB
Inactive:         246564 kB
Active(anon):      97932 kB
Inactive(anon):    25084 kB
Active(file):     544640 kB
Inactive(file):   221480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             94580 kB
Writeback:             0 kB
AnonPages:        108104 kB
Mapped:           110096 kB
Shmem:             18040 kB
KReclaimable:     112652 kB
Slab:             201916 kB
SReclaimable:     112652 kB
SUnreclaim:        89264 kB
KernelStack:        4192 kB
PageTables:         3028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     422000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431952 MiB
End job on nodeC020 at 2025-07-03 02:10:13