Trace number 4506044

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.66 3610.05

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.27/2.33	c #variables 399113 #constraints 400980
2.27/2.33	c objective is ce32 
2.46/2.52	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.46/2.52	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.46/2.52	c GLOBAL bounds - >= -158449780 @ 2.03584
2.87/2.93	c GLOBAL bounds - >= -158449780 @ 2.19933
3.27/3.35	c GLOBAL bounds - >= -158449780 @ 2.36372
3.66/3.76	c GLOBAL bounds - >= -158449780 @ 2.53293
4.17/4.27	c GLOBAL bounds - >= -158449780 @ 2.80353
4.66/4.77	c GLOBAL bounds - >= -158449780 @ 3.0653
5.07/5.19	c GLOBAL bounds - >= -158449780 @ 3.25395
5.56/5.62	c GLOBAL bounds - >= -158449780 @ 3.43918
6.06/6.13	c GLOBAL bounds - >= -158449780 @ 3.721
6.56/6.63	c GLOBAL bounds - >= -158449780 @ 3.9877
6.96/7.07	c GLOBAL bounds - >= -158449780 @ 4.2031
7.46/7.51	c GLOBAL bounds - >= -158449780 @ 4.3817
7.96/8.04	c GLOBAL bounds - >= -158449780 @ 4.66617
8.35/8.49	c GLOBAL bounds - >= -158449780 @ 4.86395
8.86/8.93	c GLOBAL bounds - >= -158449780 @ 5.04452
9.36/9.43	c GLOBAL bounds - >= -158449780 @ 5.30715
9.85/9.97	c GLOBAL bounds - >= -158449780 @ 5.58743
10.36/10.41	c GLOBAL bounds - >= -158449780 @ 5.77952
10.75/10.86	c GLOBAL bounds - >= -158449780 @ 5.98112
11.25/11.38	c GLOBAL bounds - >= -158449780 @ 6.24526
11.85/11.92	c GLOBAL bounds - >= -158449780 @ 6.53007
12.25/12.37	c GLOBAL bounds - >= -158449780 @ 6.71938
12.75/12.82	c GLOBAL bounds - >= -158449780 @ 6.92894
13.24/13.34	c GLOBAL bounds - >= -158449780 @ 7.20636
13.75/13.87	c GLOBAL bounds - >= -158449780 @ 7.4742
14.25/14.32	c GLOBAL bounds - >= -158449780 @ 7.65352
14.65/14.77	c GLOBAL bounds - >= -158449780 @ 7.82625
15.24/15.31	c GLOBAL bounds - >= -158449780 @ 8.10983
15.75/15.84	c GLOBAL bounds - >= -158449780 @ 8.38329
16.24/16.38	c GLOBAL bounds - >= -158449780 @ 8.64933
16.84/16.92	c GLOBAL bounds - >= -158449780 @ 8.92886
17.24/17.37	c GLOBAL bounds - >= -158449780 @ 9.13128
17.84/17.91	c GLOBAL bounds - >= -158449780 @ 9.42844
18.34/18.45	c GLOBAL bounds - >= -158449780 @ 9.73154
18.84/18.90	c GLOBAL bounds - >= -158449780 @ 9.9311
19.34/19.44	c GLOBAL bounds - >= -158449780 @ 10.2137
28.82/28.94	c GLOBAL bounds - >= -158449780 @ 19.2089
29.32/29.44	c GLOBAL bounds - >= -158449780 @ 19.4577
29.92/30.09	c GLOBAL bounds - >= -158449780 @ 19.8435
30.52/30.61	c GLOBAL bounds - >= -158449780 @ 20.115
31.11/31.28	c GLOBAL bounds - >= -158449780 @ 20.528
32.02/32.19	c GLOBAL bounds - >= -158449780 @ 21.1866
110.24/110.52	c GLOBAL bounds - >= -158449780 @ 98.58
111.33/111.62	c GLOBAL bounds - >= -158449780 @ 99.4423
112.03/112.34	c GLOBAL bounds - >= -158449780 @ 99.9332
112.73/113.02	c GLOBAL bounds - >= -158449780 @ 100.4
113.63/113.91	c GLOBAL bounds - >= -158449780 @ 101.078
115.42/115.79	c GLOBAL bounds - >= -158449780 @ 102.731
118.01/118.36	c GLOBAL bounds - >= -158449780 @ 104.793
118.72/119.06	c GLOBAL bounds - >= -158449780 @ 105.281
119.62/119.97	c GLOBAL bounds - >= -158449780 @ 105.983
120.91/121.21	c GLOBAL bounds - >= -158449780 @ 107.001
125.20/125.57	c GLOBAL bounds - >= -158449780 @ 110.847
126.59/126.99	c GLOBAL bounds - >= -158449780 @ 112.044
147.95/148.37	c GLOBAL bounds - >= -158449780 @ 132.753
148.94/149.30	c GLOBAL bounds - >= -158449780 @ 133.416
149.84/150.25	c GLOBAL bounds - >= -158449780 @ 134.125
155.53/155.92	c GLOBAL bounds - >= -158449780 @ 139.511
156.73/157.11	c GLOBAL bounds - >= -158449780 @ 140.448
157.52/157.91	c GLOBAL bounds - >= -158449780 @ 140.992
159.73/160.16	c GLOBAL bounds - >= -158449780 @ 142.979
160.72/161.18	c GLOBAL bounds - >= -158449780 @ 143.735
161.71/162.14	c GLOBAL bounds - >= -158449780 @ 144.426
162.72/163.11	c GLOBAL bounds - >= -158449780 @ 145.146
163.62/164.09	c GLOBAL bounds - >= -158449780 @ 145.87
164.61/165.07	c GLOBAL bounds - >= -158449780 @ 146.578
167.40/167.89	c GLOBAL bounds - >= -158449780 @ 149.119
170.09/170.57	c GLOBAL bounds - >= -158449780 @ 151.525
171.09/171.57	c GLOBAL bounds - >= -158449780 @ 152.269
172.29/172.75	c GLOBAL bounds - >= -158449780 @ 153.2
173.19/173.65	c GLOBAL bounds - >= -158449780 @ 153.84
174.08/174.58	c GLOBAL bounds - >= -158449780 @ 154.505
175.98/176.42	c GLOBAL bounds - >= -158449780 @ 156.016
176.58/177.05	c GLOBAL bounds - >= -158449780 @ 156.39
177.18/177.66	c GLOBAL bounds - >= -158449780 @ 156.753
177.78/178.29	c GLOBAL bounds - >= -158449780 @ 157.128
228.15/228.74	c GLOBAL bounds - >= -158449780 @ 206.882
366.62/367.54	c #Conflicts:       1000 | #Constraints:       2756
366.62/367.54	c GLOBAL bounds - >= -158449780 @ 344.647
367.41/368.31	c GLOBAL bounds - >= -158449780 @ 345.199
368.31/369.23	c GLOBAL bounds - >= -158449780 @ 345.918
369.52/370.46	c GLOBAL bounds - >= -158449780 @ 346.943
370.31/371.20	c GLOBAL bounds - >= -158449780 @ 347.476
410.72/411.75	c GLOBAL bounds - >= -158449780 @ 387.486
411.62/412.66	c GLOBAL bounds - >= -158449780 @ 388.136
413.01/414.06	c GLOBAL bounds - >= -158449780 @ 389.275
451.32/452.40	c GLOBAL bounds - >= -158449780 @ 427.017
452.22/453.32	c GLOBAL bounds - >= -158449780 @ 427.679
545.50/546.88	c GLOBAL bounds - >= -158449780 @ 520.169
552.28/553.60	c GLOBAL bounds - >= -158449780 @ 526.576
554.97/556.34	c GLOBAL bounds - >= -158449780 @ 529.098
556.46/557.85	c GLOBAL bounds - >= -158449780 @ 530.417
560.66/562.01	c GLOBAL bounds - >= -158449780 @ 534.37
563.45/564.87	c GLOBAL bounds - >= -158449780 @ 537.049
565.05/566.47	c GLOBAL bounds - >= -158449780 @ 538.441
570.14/571.54	c GLOBAL bounds - >= -158449780 @ 543.259
577.02/578.49	c GLOBAL bounds - >= -158449780 @ 549.901
578.32/579.76	c GLOBAL bounds - >= -158449780 @ 550.91
579.81/581.27	c GLOBAL bounds - >= -158449780 @ 552.179
581.91/583.30	c GLOBAL bounds - >= -158449780 @ 553.953
584.20/585.66	c GLOBAL bounds - >= -158449780 @ 556.051
603.15/604.60	c GLOBAL bounds - >= -158449780 @ 574.439
620.21/621.73	c GLOBAL bounds - >= -158449780 @ 591.237
621.70/623.29	c GLOBAL bounds - >= -158449780 @ 592.543
623.60/625.12	c GLOBAL bounds - >= -158449780 @ 594.121
626.50/628.07	c GLOBAL bounds - >= -158449780 @ 596.82
628.49/630.06	c GLOBAL bounds - >= -158449780 @ 598.566
631.37/632.98	c GLOBAL bounds - >= -158449780 @ 601.244
633.48/635.08	c GLOBAL bounds - >= -158449780 @ 603.092
635.66/637.24	c GLOBAL bounds - >= -158449780 @ 605.002
637.76/639.32	c GLOBAL bounds - >= -158449780 @ 606.821
647.84/649.41	c GLOBAL bounds - >= -158449780 @ 616.52
649.63/651.24	c GLOBAL bounds - >= -158449780 @ 618.13
654.82/656.40	c GLOBAL bounds - >= -158449780 @ 622.97
656.11/657.72	c GLOBAL bounds - >= -158449780 @ 624.061
657.60/659.21	c GLOBAL bounds - >= -158449780 @ 625.276
663.10/664.74	c GLOBAL bounds - >= -158449780 @ 630.54
664.99/666.63	c GLOBAL bounds - >= -158449780 @ 632.167
666.68/668.35	c GLOBAL bounds - >= -158449780 @ 633.633
668.39/670.08	c GLOBAL bounds - >= -158449780 @ 635.12
670.07/671.77	c GLOBAL bounds - >= -158449780 @ 636.555
677.37/679.02	c GLOBAL bounds - >= -158449780 @ 643.521
678.85/680.52	c GLOBAL bounds - >= -158449780 @ 644.78
681.75/683.47	c GLOBAL bounds - >= -158449780 @ 647.48
792.63/794.64	c #Conflicts:       2000 | #Constraints:       3848
792.63/794.64	c INPROCESSING
792.63/794.64	c GARBAGE COLLECT
792.63/794.64	c GLOBAL bounds - >= -158449780 @ 757.454
1112.15/1114.94	c GLOBAL bounds - >= -158449780 @ 1076.33
1160.94/1163.84	c #Conflicts:       3000 | #Constraints:       3897
1160.94/1163.84	c GLOBAL bounds - >= -158449780 @ 1123.96
1177.99/1180.94	c GLOBAL bounds - >= -158449780 @ 1140.5
1206.23/1209.28	c GLOBAL bounds - >= -158449780 @ 1168.27
1338.53/1341.89	c GLOBAL bounds - >= -158449780 @ 1299.13
1349.30/1352.60	c GLOBAL bounds - >= -158449780 @ 1309.56
1361.78/1365.15	c GLOBAL bounds - >= -158449780 @ 1321.82
1370.25/1373.65	c GLOBAL bounds - >= -158449780 @ 1329.94
1372.45/1375.85	c GLOBAL bounds - >= -158449780 @ 1331.88
1374.75/1378.19	c GLOBAL bounds - >= -158449780 @ 1333.95
1376.93/1380.33	c GLOBAL bounds - >= -158449780 @ 1335.83
1379.03/1382.40	c GLOBAL bounds - >= -158449780 @ 1337.64
1380.93/1384.34	c GLOBAL bounds - >= -158449780 @ 1339.35
1383.52/1386.95	c GLOBAL bounds - >= -158449780 @ 1341.77
1385.12/1388.58	c GLOBAL bounds - >= -158449780 @ 1343.21
1393.10/1396.53	c GLOBAL bounds - >= -158449780 @ 1350.57
1396.59/1400.06	c GLOBAL bounds - >= -158449780 @ 1353.86
1399.19/1402.62	c GLOBAL bounds - >= -158449780 @ 1356.16
1412.35/1415.88	c #Conflicts:       4000 | #Constraints:       4931
1412.35/1415.88	c GLOBAL bounds - >= -158449780 @ 1369.03
1413.85/1417.36	c GLOBAL bounds - >= -158449780 @ 1370.28
1415.44/1418.93	c GLOBAL bounds - >= -158449780 @ 1371.59
1416.95/1420.49	c GLOBAL bounds - >= -158449780 @ 1372.92
1418.44/1421.94	c GLOBAL bounds - >= -158449780 @ 1374.14
1422.33/1425.82	c GLOBAL bounds - >= -158449780 @ 1377.73
1424.73/1428.27	c GLOBAL bounds - >= -158449780 @ 1379.94
1427.62/1431.16	c GLOBAL bounds - >= -158449780 @ 1382.54
1430.61/1434.14	c GLOBAL bounds - >= -158449780 @ 1385.22
1435.99/1439.51	c GLOBAL bounds - >= -158449780 @ 1390.24
1438.69/1442.20	c GLOBAL bounds - >= -158449780 @ 1392.68
1440.59/1444.16	c GLOBAL bounds - >= -158449780 @ 1394.39
1446.17/1449.78	c GLOBAL bounds - >= -158449780 @ 1399.72
1448.07/1451.63	c GLOBAL bounds - >= -158449780 @ 1401.29
1449.86/1453.41	c GLOBAL bounds - >= -158449780 @ 1402.83
1454.26/1457.83	c GLOBAL bounds - >= -158449780 @ 1406.97
1455.95/1459.52	c GLOBAL bounds - >= -158449780 @ 1408.42
1457.65/1461.26	c GLOBAL bounds - >= -158449780 @ 1409.9
1463.63/1467.23	c GLOBAL bounds - >= -158449780 @ 1415.55
1465.53/1469.16	c GLOBAL bounds - >= -158449780 @ 1417.23
1467.92/1471.55	c GLOBAL bounds - >= -158449780 @ 1419.37
1471.42/1475.06	c GLOBAL bounds - >= -158449780 @ 1422.6
1472.41/1476.09	c GLOBAL bounds - >= -158449780 @ 1423.38
1473.51/1477.11	c GLOBAL bounds - >= -158449780 @ 1424.15
1474.51/1478.13	c GLOBAL bounds - >= -158449780 @ 1424.9
1884.42/1889.08	c INPROCESSING
1884.42/1889.08	c GARBAGE COLLECT
1884.42/1889.08	c GLOBAL bounds - >= -158449780 @ 1833.18
1885.91/1890.54	c GLOBAL bounds - >= -158449780 @ 1834.38
1888.41/1893.03	c GLOBAL bounds - >= -158449780 @ 1836.64
1890.50/1895.18	c GLOBAL bounds - >= -158449780 @ 1838.55
1892.29/1896.90	c GLOBAL bounds - >= -158449780 @ 1840.02
1895.99/1900.60	c GLOBAL bounds - >= -158449780 @ 1843.49
1897.18/1901.86	c GLOBAL bounds - >= -158449780 @ 1844.54
1899.48/1904.11	c GLOBAL bounds - >= -158449780 @ 1846.56
1973.49/1978.32	c GLOBAL bounds - >= -158449780 @ 1920.16
1975.08/1979.91	c GLOBAL bounds - >= -158449780 @ 1921.48
1976.67/1981.54	c GLOBAL bounds - >= -158449780 @ 1922.87
1979.28/1984.16	c GLOBAL bounds - >= -158449780 @ 1925.22
2129.09/2134.33	c #Conflicts:       5000 | #Constraints:       4398
2129.09/2134.33	c GLOBAL bounds - >= -158449780 @ 2074.5
2185.13/2190.56	c GLOBAL bounds - >= -158449780 @ 2130.12
2186.83/2192.27	c GLOBAL bounds - >= -158449780 @ 2131.58
2188.63/2194.06	c GLOBAL bounds - >= -158449780 @ 2133.11
2365.23/2371.13	c GLOBAL bounds - >= -158449780 @ 2309.34
2367.13/2373.08	c GLOBAL bounds - >= -158449780 @ 2311.05
2372.01/2377.91	c GLOBAL bounds - >= -158449780 @ 2315.62
2373.90/2379.87	c GLOBAL bounds - >= -158449780 @ 2317.34
2378.89/2384.82	c GLOBAL bounds - >= -158449780 @ 2322.03
2382.18/2388.15	c GLOBAL bounds - >= -158449780 @ 2325.09
2384.18/2390.18	c GLOBAL bounds - >= -158449780 @ 2326.87
2386.08/2392.10	c GLOBAL bounds - >= -158449780 @ 2328.52
2482.57/2488.88	c GLOBAL bounds - >= -158449780 @ 2424.5
2486.87/2493.17	c GLOBAL bounds - >= -158449780 @ 2428.49
2526.74/2533.17	c GLOBAL bounds - >= -158449780 @ 2467.77
2531.92/2538.38	c GLOBAL bounds - >= -158449780 @ 2472.69
2536.81/2543.20	c GLOBAL bounds - >= -158449780 @ 2477.21
2704.50/2711.46	c GLOBAL bounds - >= -158449780 @ 2644.6
2706.69/2713.64	c GLOBAL bounds - >= -158449780 @ 2646.53
2708.59/2715.57	c GLOBAL bounds - >= -158449780 @ 2648.21
2710.38/2717.38	c GLOBAL bounds - >= -158449780 @ 2649.76
2712.67/2719.63	c GLOBAL bounds - >= -158449780 @ 2651.75
2715.17/2722.17	c GLOBAL bounds - >= -158449780 @ 2654.02
2717.55/2724.54	c GLOBAL bounds - >= -158449780 @ 2656.12
2735.30/2742.36	c GLOBAL bounds - >= -158449780 @ 2673.57
2739.19/2746.21	c GLOBAL bounds - >= -158449780 @ 2677.16
3600.11/3609.60	c #Conflicts:       6000 | #Constraints:       5450
3600.11/3609.60	c cpu time 3536.87 s
3600.11/3609.60	c deterministic time 1 1.00e+00
3600.11/3609.60	c optimization time 3535 s
3600.11/3609.60	c total solve time 0 s
3600.11/3609.60	c core-guided solve time 0 s
3600.11/3609.60	c propagation time 0.125182 s
3600.11/3609.60	c conflict analysis time 0 s
3600.11/3609.60	c propagations 0
3600.11/3609.60	c resolve steps 0
3600.11/3609.60	c decisions 0
3600.11/3609.60	c conflicts 0
3600.11/3609.60	c restarts 0
3600.11/3609.60	c inprocessing phases 0
3600.11/3609.60	c garbage collections 0 ,( -nan )
3600.11/3609.60	c input clauses 399002 ,( 99.51 )
3600.11/3609.60	c input cardinalities 1977 ,( 0.49 )
3600.11/3609.60	c input general constraints 1 ,( 0.00 )
3600.11/3609.60	c input average constraint length 5.82
3600.11/3609.60	c input average constraint degree 5.78
3600.11/3609.60	c learned clauses 0 ,( 0.00 )
3600.11/3609.60	c learned cardinalities 0 ,( 0.00 )
3600.11/3609.60	c learned general constraints 0 ,( 0.00 )
3600.11/3609.60	c learned average constraint length 0.00
3600.11/3609.60	c learned average constraint degree 0.00
3600.11/3609.60	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.11/3609.60	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.11/3609.60	c watched   constraints 0 ,( 0.00 ) 
3600.11/3609.60	c counting  constraints 1 ,( 100.00 ) 
3600.11/3609.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.11/3609.60	c gcd simplifications 0
3600.11/3609.60	c detected cardinalities 0
3600.11/3609.60	c weakened non-implied lits 0
3600.11/3609.60	c weakened non-implying lits 0
3600.11/3609.60	c original variables 399113
3600.11/3609.60	c clausal propagations 0
3600.11/3609.60	c cardinality propagations 0
3600.11/3609.60	c watched propagations 0
3600.11/3609.60	c counting propagations 0
3600.11/3609.60	c watch lookups 0
3600.11/3609.60	c watch backjump lookups 0
3600.11/3609.60	c watch checks 0
3600.11/3609.60	c propagation checks 0
3600.11/3609.60	c constraint additions 0
3600.11/3609.60	c trail pops 0
3600.11/3609.60	c formula constraints 400980
3600.11/3609.60	c learned constraints 0
3600.11/3609.60	c bound constraints 0
3600.11/3609.60	c core-guided constraints 0
3600.11/3609.60	c encountered formula constraints 0
3600.11/3609.60	c encountered learned constraints 0
3600.11/3609.60	c encountered bound constraints 0
3600.11/3609.60	c encountered core-guided constraints 0
3600.11/3609.60	c LP total time 0 s
3600.11/3609.60	c LP solve time 0 s
3600.11/3609.60	c LP constraints added 0
3600.11/3609.60	c LP constraints removed 0
3600.11/3609.60	c LP pivots internal 0
3600.11/3609.60	c LP pivots root 0
3600.11/3609.60	c LP calls 0
3600.11/3609.60	c LP optimalities 0
3600.11/3609.60	c LP no pivot count 0
3600.11/3609.60	c LP infeasibilities 0
3600.11/3609.60	c LP valid Farkas constraints 0
3600.11/3609.60	c LP learned Farkas constraints 0
3600.11/3609.60	c LP basis resets 0
3600.11/3609.60	c LP cycling count 0
3600.11/3609.60	c LP singular count 0
3600.11/3609.60	c LP no primal count 0
3600.11/3609.60	c LP no farkas count 0
3600.11/3609.60	c LP other issue count 0
3600.11/3609.60	c LP Gomory cuts 0
3600.11/3609.60	c LP learned cuts 0
3600.11/3609.60	c LP deleted cuts 0
3600.11/3609.60	c LP encountered Gomory constraints 0
3600.11/3609.60	c LP encountered Farkas constraints 0
3600.11/3609.60	c LP encountered learned Farkas constraints 0
3600.11/3609.60	c CG auxiliary variables introduced 0
3600.11/3609.60	c CG solutions found 0
3600.11/3609.60	c CG cores constructed 0
3600.11/3609.60	c CG core cardinality constraints returned 0
3600.11/3609.60	c CG unit cores 0
3600.11/3609.60	c CG single cores 0
3600.11/3609.60	c CG blocks removed during cardinality reduction 0
3600.11/3609.60	c CG first core best 0
3600.11/3609.60	c CG decision core best 0
3600.11/3609.60	c CG core reduction tie 0
3600.11/3609.60	c CG core degree average 0.00
3600.11/3609.60	c CG core slack average 0.00
3600.11/3609.60	c CG core upper bound improvements 0
3600.11/3609.60	c STR number of successful calls 0
3600.11/3609.60	c STR number of unsuccessful calls 0
3600.11/3609.60	c STR number of inconclusive calls 0
3600.11/3609.60	c STR number of successful attempts 0
3600.11/3609.60	c STR number of unsuccessful attempts 0
3600.11/3609.60	c STR number of inconclusive attempts 0
3600.11/3609.60	c STR average degree increase per successful call inf
3600.11/3609.60	c STR average degree increase per successful attempt inf
3600.11/3609.60	c STR total number of conflicts for successful attempts 0
3600.11/3609.60	c STR total number of conflicts for unsuccessful attempts 0
3600.11/3609.60	c STR total number of conflicts for inconclusive attempts 0
3600.11/3609.60	c STR average number of conflicts per successful attempt inf
3600.11/3609.60	c STR average number of conflicts per unsuccessful attempt inf
3600.11/3609.60	c STR average number of conflicts per inconclusive attempt inf
3600.11/3609.60	c AVG.sumWPerc 99.99 
3600.11/3609.60	c bigint constraints 0 
3600.11/3609.60	s UNKNOWN
3600.11/3609.60	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: 63665 MiB (57665 MiB free)
  memory of node 1: 64507 MiB (54183 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506044-1751497063/watcher-4506044-1751497063 -o /tmp/evaluation-result-4506044-1751497063/solver-4506044-1751497063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760 run-opt.sh HOME/instance-4506044-1751497063.opb 

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=70442, runsolver pid=70439

[startup+0.100069 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 70444
/proc/meminfo: memFree=114438864/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=168420 memory=108828 CPUtime=0.08 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 9609 0 0 0 6 2 0 0 20 0 1 0 65384024 172462080 27207 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 42105 27207 1824 1147 0 29532 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 172612 KiB
Current children cumulated memory: 111772 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 70444
/proc/meminfo: memFree=114434516/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=131884 memory=86776 CPUtime=0.18 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 9664 0 0 0 14 4 0 0 20 0 1 0 65384024 135049216 21694 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 32971 21694 1856 1147 0 20398 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 136076 KiB
Current children cumulated memory: 89720 KiB

[startup+0.305797 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 70444
/proc/meminfo: memFree=114434516/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=134632 memory=91512 CPUtime=0.28 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 10357 0 0 0 22 6 0 0 20 0 1 0 65384024 137863168 22878 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 33658 22878 1856 1147 0 21085 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 138824 KiB
Current children cumulated memory: 94456 KiB

[startup+0.700139 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 70444
/proc/meminfo: memFree=114423176/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=158840 memory=114408 CPUtime=0.67 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 14653 0 0 0 53 14 0 0 20 0 1 0 65384024 162652160 28602 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 39710 28602 1856 1147 0 27137 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 163032 KiB
Current children cumulated memory: 117352 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 70444
/proc/meminfo: memFree=114407488/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=270840 memory=214316 CPUtime=1.47 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 23127 0 0 0 116 31 0 0 20 0 1 0 65384024 277340160 53579 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 67710 53579 1856 1147 0 55137 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 217260 KiB

[startup+3.10577 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 70444
/proc/meminfo: memFree=113934096/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=715848 memory=595452 CPUtime=3.07 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 50336 0 0 0 225 82 0 0 20 0 1 0 65384024 733028352 148863 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 178962 148863 2304 1147 0 166389 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 720040 KiB
Current children cumulated memory: 598396 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 70444
/proc/meminfo: memFree=113483256/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=786152 memory=655352 CPUtime=6.26 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 53810 0 0 0 378 248 0 0 20 0 1 0 65384024 805019648 163838 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 196538 163838 2304 1147 0 183965 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 790344 KiB
Current children cumulated memory: 658296 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 70444
/proc/meminfo: memFree=113427108/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=835940 memory=700584 CPUtime=12.65 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 54943 0 0 0 685 580 0 0 20 0 1 0 65384024 856002560 175146 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 208985 175146 2304 1147 0 196412 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 840132 KiB
Current children cumulated memory: 703528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 70444
/proc/meminfo: memFree=113119128/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=1099676 memory=884180 CPUtime=25.42 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 56387 0 0 0 1602 940 0 0 20 0 1 0 65384024 1126068224 221045 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 274919 221045 2304 1147 0 262346 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1103868 KiB
Current children cumulated memory: 887124 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 70445
/proc/meminfo: memFree=112676016/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=1314600 memory=1158436 CPUtime=50.98 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 56960 0 0 0 3982 1116 0 0 20 0 1 0 65384024 1346150400 289609 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 328650 289609 2336 1147 0 316077 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1318792 KiB
Current children cumulated memory: 1161380 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 70452
/proc/meminfo: memFree=111209012/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=2231376 memory=1607732 CPUtime=102.05 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 57921 0 0 0 9061 1144 0 0 20 0 1 0 65384024 2284929024 401933 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 557844 401933 2336 1147 0 545271 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 2235568 KiB
Current children cumulated memory: 1610676 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 70454
/proc/meminfo: memFree=109805964/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=2886956 memory=2685836 CPUtime=161.92 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 217390 0 0 0 14449 1743 0 0 20 0 1 0 65384024 2956242944 671459 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 721739 671459 2336 1147 0 709166 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 2891148 KiB
Current children cumulated memory: 2688780 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 70471
/proc/meminfo: memFree=108713192/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=4008728 memory=3267944 CPUtime=221.77 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 266366 0 0 0 20074 2103 0 0 20 0 1 0 65384024 4104937472 816986 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 1002182 816986 2336 1147 0 989609 0
Current children cumulated CPU time: 221.77 s

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

/proc/loadavg: 2.44 2.98 3.39 3/254 70674
/proc/meminfo: memFree=86242688/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16619336 memory=14035548 CPUtime=3154.03 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1402947 0 0 0 309141 6262 0 0 20 0 1 0 65384024 17018200064 3508887 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4154834 3508887 2336 1147 0 4142261 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 16623528 KiB
Current children cumulated memory: 14038492 KiB

[startup+3222.3 s]
/proc/loadavg: 2.20 2.81 3.30 3/254 70678
/proc/meminfo: memFree=85426616/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16637200 memory=14132436 CPUtime=3213.88 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1410000 0 0 0 315120 6268 0 0 20 0 1 0 65384024 17036492800 3533109 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4159300 3533109 2336 1147 0 4146727 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 16641392 KiB
Current children cumulated memory: 14135380 KiB

[startup+3282.3 s]
/proc/loadavg: 1.78 2.60 3.20 2/247 70710
/proc/meminfo: memFree=111699024/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16658712 memory=14232372 CPUtime=3273.73 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1417346 0 0 0 321100 6273 0 0 20 0 1 0 65384024 17058521088 3558093 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4164678 3558093 2336 1147 0 4152105 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 16662904 KiB
Current children cumulated memory: 14235316 KiB

[startup+3342.3 s]
/proc/loadavg: 1.33 2.32 3.06 2/247 70712
/proc/meminfo: memFree=111579812/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16686824 memory=14354068 CPUtime=3333.58 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1425449 0 0 0 327079 6279 0 0 20 0 1 0 65384024 17087307776 3588517 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4171706 3588517 2336 1147 0 4159133 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 16691016 KiB
Current children cumulated memory: 14357012 KiB

[startup+3402.3 s]
/proc/loadavg: 1.22 2.10 2.94 2/248 70715
/proc/meminfo: memFree=111414516/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16750696 memory=14517148 CPUtime=3393.42 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1440191 0 0 0 333055 6287 0 0 20 0 1 0 65384024 17152712704 3629287 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4187674 3629287 2336 1147 0 4175101 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 16754888 KiB
Current children cumulated memory: 14520092 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.90 2.82 2/248 70717
/proc/meminfo: memFree=111276400/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16821164 memory=14651144 CPUtime=3453.27 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1459449 0 0 0 339013 6314 0 0 20 0 1 0 65384024 17224871936 3662786 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4205291 3662786 2336 1147 0 4192718 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 16825356 KiB
Current children cumulated memory: 14654088 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.77 2.71 2/248 70722
/proc/meminfo: memFree=111216896/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16821164 memory=14721284 CPUtime=3513.12 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1463482 0 0 0 344990 6322 0 0 20 0 1 0 65384024 17224871936 3680321 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4205291 3680321 2336 1147 0 4192718 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 16825356 KiB
Current children cumulated memory: 14724228 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.64 2.61 2/247 70724
/proc/meminfo: memFree=111113096/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16822924 memory=14791232 CPUtime=3572.97 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1468196 0 0 0 350968 6329 0 0 20 0 1 0 65384024 17226674176 3697808 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4205731 3697808 2336 1147 0 4193158 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 16827116 KiB
Current children cumulated memory: 14794176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 1.15 1.60 2.57 2/248 70726
/proc/meminfo: memFree=111084516/131249996 swapFree=33010160/33010684
[pid=70442] ppid=70439 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70442/stat : 70442 (run-opt.sh) S 70439 70442 69363 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65384023 4292608 736 18446744073709551615 94310594949120 94310595843653 140729926170000 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94310596082704 94310596130448 94310623760384 140729926179181 140729926179304 140729926179304 140729926184906 0
/proc/70442/statm: 1048 736 672 219 0 110 0
[pid=70444] ppid=70442 vsize=16822924 memory=14824840 CPUtime=3600 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70442 70442 69363 0 -1 4194304 1470062 0 0 0 353666 6334 0 0 20 0 1 0 65384024 17226674176 3706210 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4205731 3706210 2336 1147 0 4193158 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 16827116 KiB
Current children cumulated memory: 14827784 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3537.06 s, system=63.6019 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+3609.6 s]
/proc/loadavg: 1.15 1.60 2.57 2/247 70726
/proc/meminfo: memFree=111088712/131249996 swapFree=33010160/33010684
[pid=70444] ppid=70439 vsize=16822924 memory=14825224 CPUtime=3600.21 cores=4,6
/proc/70444/stat : 70444 (roundingsat) R 70439 70442 69363 0 -1 4194304 1470141 0 0 0 353687 6334 0 0 20 0 1 0 65384024 17226674176 3706306 18446744073709551615 4227072 8923433 140724077168480 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10043392 140724077177250 140724077177384 140724077177384 140724077182954 0
/proc/70444/statm: 4205731 3706306 2432 1147 0 4193158 0
Current cumulated CPU time of completed processes: 0.00225 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 16822924 KiB
Current children cumulated memory: 14825224 KiB

[startup+3610 s]*
/proc/loadavg: 1.15 1.60 2.57 2/247 70726
/proc/meminfo: memFree=124571140/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.00225 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): 3610.05
CPU time (s): 3600.66
CPU user time (s): 3537.06
CPU system time (s): 63.6019
CPU usage (%): 99.7399
Max. virtual memory (cumulated for all children) (KiB): 16827116
Max. memory (cumulated for all children) (KiB): 14827784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.06
system time used= 63.6019
maximum resident set size= 14825224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1470930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150
involuntary context switches= 4235


# summary of solver processes directly reported to runsolver:
#   pid: 70442,70444
#   total CPU time (s): 3600.66
#   total CPU user time (s): 3537.06
#   total CPU system time (s): 63.6019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1677 second user time and 16.2687 second system time

The end

Launcher Data

Begin job on nodeC021 at 2025-07-03 00:57:43
IDJOB=4506044
IDBENCH=157779
IDSOLVER=3350
FILE ID=nodeC021/4506044-1751497063
RUNJOBID= nodeC021-1751488380-69374
SLURM_JOB_ID= 9598545
Free space on /tmp= 430952 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506044-1751497063/watcher-4506044-1751497063 -o /tmp/evaluation-result-4506044-1751497063/solver-4506044-1751497063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69374 --watchdog 3760  run-opt.sh HOME/instance-4506044-1751497063.opb

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

MD5SUM BENCH= 00fa528bfee1582f0c8a78997b3aaa78
RANDOM SEED=161707696

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114532944 kB
MemAvailable:   118305208 kB
Buffers:            2128 kB
Cached:          4510504 kB
SwapCached:           20 kB
Active:         11873608 kB
Inactive:        4031768 kB
Active(anon):   11399860 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  4020844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38612 kB
Writeback:             0 kB
AnonPages:      11391576 kB
Mapped:           117532 kB
Shmem:             18040 kB
KReclaimable:     233424 kB
Slab:             325092 kB
SReclaimable:     233424 kB
SUnreclaim:        91668 kB
KernelStack:        4384 kB
PageTables:        25764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   13513308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4036608 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431052 MiB
End job on nodeC021 at 2025-07-03 01:57:54