Trace number 4504205

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.15 3613.26

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
MD5SUM26289d562a21d461fc03dcfb0c556d93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241631
Best CPU time to get the best result obtained on this benchmark686.735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.07/0.14	c #variables 9940 #constraints 24510
0.07/0.14	c objective is ce32 
0.18/0.21	c initial watched  CF 32, 64, 128, Arb: 70 , 0 , 0 , 0
0.18/0.21	c initial counting CF 32, 64, 128, Arb: 2556 , 0 , 0 , 0
0.18/0.21	c GLOBAL bounds - >= -70 @ 0.14442
0.28/0.32	c GLOBAL bounds - >= -70 @ 0.247923
0.28/0.34	c GLOBAL bounds - >= -70 @ 0.258571
0.28/0.35	c GLOBAL bounds - >= -70 @ 0.268631
0.28/0.37	c GLOBAL bounds - >= -70 @ 0.2871
0.28/0.39	c GLOBAL bounds - >= -70 @ 0.29681
0.28/0.40	c GLOBAL bounds - >= -70 @ 0.30752
0.37/0.41	c GLOBAL bounds - >= -70 @ 0.318566
0.37/0.43	c GLOBAL bounds - >= -70 @ 0.330825
0.37/0.44	c GLOBAL bounds - >= -70 @ 0.343818
0.37/0.45	c GLOBAL bounds - >= -70 @ 0.354279
0.37/0.46	c GLOBAL bounds - >= -70 @ 0.365287
0.37/0.48	c GLOBAL bounds - >= -70 @ 0.376397
0.37/0.50	c GLOBAL bounds - >= -70 @ 0.400122
0.47/0.51	c GLOBAL bounds - >= -70 @ 0.410219
0.47/0.53	c GLOBAL bounds - >= -70 @ 0.427282
0.47/0.55	c GLOBAL bounds - >= -70 @ 0.440117
0.47/0.56	c GLOBAL bounds - >= -70 @ 0.451178
0.47/0.58	c GLOBAL bounds - >= -70 @ 0.463527
0.47/0.59	c GLOBAL bounds - >= -70 @ 0.47579
0.57/0.61	c GLOBAL bounds - >= -70 @ 0.487949
0.57/0.62	c GLOBAL bounds - >= -70 @ 0.500574
0.57/0.64	c GLOBAL bounds - >= -70 @ 0.517853
0.57/0.66	c GLOBAL bounds - >= -70 @ 0.530975
0.57/0.67	c GLOBAL bounds - >= -70 @ 0.547411
0.57/0.69	c GLOBAL bounds - >= -70 @ 0.561248
0.66/0.71	c GLOBAL bounds - >= -70 @ 0.573536
0.66/0.73	c GLOBAL bounds - >= -70 @ 0.588783
0.66/0.74	c GLOBAL bounds - >= -70 @ 0.600922
0.66/0.76	c GLOBAL bounds - >= -70 @ 0.614754
0.66/0.78	c GLOBAL bounds - >= -70 @ 0.630566
0.76/0.80	c GLOBAL bounds - >= -70 @ 0.65613
0.76/0.89	c GLOBAL bounds - >= -70 @ 0.741649
0.86/0.95	c GLOBAL bounds - >= -70 @ 0.790755
1.16/1.21	c GLOBAL bounds - >= -70 @ 1.03507
1.16/1.26	c GLOBAL bounds - >= -70 @ 1.08162
1.16/1.29	c GLOBAL bounds - >= -70 @ 1.10684
1.26/1.32	c GLOBAL bounds - >= -70 @ 1.13159
1.26/1.34	c GLOBAL bounds - >= -70 @ 1.15373
1.36/1.49	c GLOBAL bounds - >= -70 @ 1.29346
1.56/1.64	c GLOBAL bounds - >= -70 @ 1.43991
1.66/1.70	c GLOBAL bounds - >= -70 @ 1.49376
3.85/3.99	c GLOBAL bounds - >= -70 @ 3.71347
3.95/4.10	c GLOBAL bounds - >= -70 @ 3.81594
4.15/4.21	c GLOBAL bounds - >= -70 @ 3.9218
4.15/4.28	c GLOBAL bounds - >= -70 @ 3.99215
5.45/5.56	c GLOBAL bounds - >= -70 @ 5.23918
8.14/8.21	c #Conflicts:       1000 | #Constraints:      68083
8.14/8.21	c GLOBAL bounds - >= -70 @ 7.83588
8.73/8.83	c GLOBAL bounds - >= -70 @ 8.42707
9.24/9.37	c GLOBAL bounds - >= -70 @ 8.96191
9.43/9.51	c GLOBAL bounds - >= -70 @ 9.09668
10.13/10.21	c GLOBAL bounds - >= -70 @ 9.78377
13.12/13.29	c GLOBAL bounds - >= -70 @ 12.792
13.42/13.54	c GLOBAL bounds - >= -70 @ 13.0373
15.52/15.68	c GLOBAL bounds - >= -70 @ 15.1477
16.92/17.09	c GLOBAL bounds - >= -70 @ 16.5274
17.41/17.59	c GLOBAL bounds - >= -70 @ 17.0195
19.01/19.11	c GLOBAL bounds - >= -70 @ 18.519
19.41/19.50	c GLOBAL bounds - >= -70 @ 18.9017
20.00/20.12	c #Conflicts:       2000 | #Constraints:     101473
20.00/20.12	c INPROCESSING
20.00/20.12	c GARBAGE COLLECT
20.00/20.12	c GLOBAL bounds - >= -70 @ 19.5115
21.59/21.74	c GLOBAL bounds - >= -70 @ 21.1231
22.80/22.97	c GLOBAL bounds - >= -70 @ 22.3321
22.90/23.03	c GLOBAL bounds - >= -70 @ 22.3957
23.39/23.50	c GLOBAL bounds - >= -70 @ 22.8508
24.89/25.03	c GLOBAL bounds - >= -70 @ 24.3646
31.57/31.72	c GLOBAL bounds - >= -70 @ 30.9532
33.36/33.55	c #Conflicts:       3000 | #Constraints:     120998
33.36/33.55	c GLOBAL bounds - >= -70 @ 32.7351
34.25/34.47	c GLOBAL bounds - >= -70 @ 33.6273
34.86/35.05	c GLOBAL bounds - >= -70 @ 34.2021
35.15/35.30	c GLOBAL bounds - >= -70 @ 34.4457
37.55/37.74	c GLOBAL bounds - >= -70 @ 36.8507
41.24/41.44	c GLOBAL bounds - >= -70 @ 40.4839
43.03/43.25	c GLOBAL bounds - >= -70 @ 42.2746
46.02/46.29	c GLOBAL bounds - >= -70 @ 45.2681
53.70/53.93	c #Conflicts:       4000 | #Constraints:     144562
53.70/53.93	c INPROCESSING
53.70/53.93	c GARBAGE COLLECT
53.70/53.93	c GLOBAL bounds - >= -70 @ 52.811
53.99/54.24	c GLOBAL bounds - >= -70 @ 53.1136
56.68/56.95	c GLOBAL bounds - >= -70 @ 55.7968
66.26/66.54	c #Conflicts:       5000 | #Constraints:     152496
66.26/66.54	c GLOBAL bounds - >= -70 @ 65.2803
71.03/71.38	c GLOBAL bounds - >= -70 @ 70.0707
73.44/73.72	c GLOBAL bounds - >= -70 @ 72.3679
79.21/79.58	c GLOBAL bounds - >= -70 @ 78.1679
79.41/79.73	c GLOBAL bounds - >= -70 @ 78.3156
83.70/84.07	c #Conflicts:       6000 | #Constraints:     167842
83.70/84.07	c GLOBAL bounds - >= -70 @ 82.6067
86.09/86.49	c GLOBAL bounds - >= -70 @ 84.9849
91.17/91.59	c INPROCESSING
91.17/91.59	c GARBAGE COLLECT
91.17/91.59	c GLOBAL bounds - >= -70 @ 90.0235
95.27/95.66	c GLOBAL bounds - >= -70 @ 94.0395
97.86/98.23	c #Conflicts:       7000 | #Constraints:     178503
97.86/98.23	c GLOBAL bounds - >= -70 @ 96.5835
97.95/98.39	c GLOBAL bounds - >= -70 @ 96.742
98.46/98.84	c GLOBAL bounds - >= -70 @ 97.1803
121.48/121.97	c #Conflicts:       8000 | #Constraints:     188275
121.48/121.97	c GLOBAL bounds - >= -70 @ 120.1
121.77/122.28	c GLOBAL bounds - >= -70 @ 120.406
130.94/131.45	c GLOBAL bounds - >= -70 @ 129.445
139.12/139.66	c #Conflicts:       9000 | #Constraints:     198073
139.12/139.66	c INPROCESSING
139.12/139.66	c GARBAGE COLLECT
139.12/139.66	c GLOBAL bounds - >= -70 @ 137.567
146.00/146.55	c GLOBAL bounds - >= -70 @ 144.395
151.38/151.99	c #Conflicts:      10000 | #Constraints:     202656
151.38/151.99	c GLOBAL bounds - >= -70 @ 149.793
169.43/170.02	c #Conflicts:      11000 | #Constraints:     206650
169.43/170.02	c GLOBAL bounds - >= -70 @ 167.675
189.65/190.37	c #Conflicts:      12000 | #Constraints:     210644
189.65/190.37	c INPROCESSING
189.65/190.37	c GARBAGE COLLECT
189.65/190.37	c GLOBAL bounds - >= -70 @ 187.829
190.75/191.41	c GLOBAL bounds - >= -70 @ 188.856
193.45/194.17	c GLOBAL bounds - >= -70 @ 191.573
193.94/194.65	c GLOBAL bounds - >= -70 @ 192.052
198.93/199.69	c GLOBAL bounds - >= -70 @ 197.032
199.53/200.24	c GLOBAL bounds - >= -70 @ 197.576
206.31/207.06	c #Conflicts:      13000 | #Constraints:     227122
206.31/207.06	c GLOBAL bounds - >= -70 @ 204.334
206.90/207.66	c GLOBAL bounds - >= -70 @ 204.93
209.79/210.53	c GLOBAL bounds - >= -70 @ 207.775
210.30/211.02	c GLOBAL bounds - >= -70 @ 208.255
211.00/211.78	c GLOBAL bounds - >= -70 @ 209.011
213.08/213.88	c GLOBAL bounds - >= -70 @ 211.085
223.06/223.83	c GLOBAL bounds - >= -70 @ 220.948
225.74/226.54	c GLOBAL bounds - >= -70 @ 223.617
239.59/240.43	c #Conflicts:      14000 | #Constraints:     252400
239.59/240.43	c GLOBAL bounds - >= -70 @ 237.384
244.79/245.63	c GLOBAL bounds - >= -70 @ 242.547
245.88/246.77	c GLOBAL bounds - >= -70 @ 243.677
252.17/253.00	c GLOBAL bounds - >= -70 @ 249.855
254.56/255.42	c #Conflicts:      15000 | #Constraints:     265616
254.56/255.42	c INPROCESSING
254.56/255.42	c GARBAGE COLLECT
254.56/255.42	c GLOBAL bounds - >= -70 @ 252.245
259.53/260.47	c GLOBAL bounds - >= -70 @ 257.241
298.12/299.17	c #Conflicts:      16000 | #Constraints:     269975
298.12/299.17	c #Conflicts:      17000 | #Constraints:     270975
298.12/299.17	c GLOBAL bounds - >= -70 @ 295.619
299.12/300.12	c GLOBAL bounds - >= -70 @ 296.567
305.00/306.03	c GLOBAL bounds - >= -70 @ 302.414
306.89/307.96	c GLOBAL bounds - >= -70 @ 304.335
365.81/367.06	c #Conflicts:      18000 | #Constraints:     284273
365.81/367.06	c INPROCESSING
365.81/367.06	c GARBAGE COLLECT
365.81/367.06	c #Conflicts:      19000 | #Constraints:     282280
365.81/367.06	c #Conflicts:      20000 | #Constraints:     283280
365.81/367.06	c GLOBAL bounds - >= -70 @ 362.905
404.78/406.15	c #Conflicts:      21000 | #Constraints:     287362
404.78/406.15	c INPROCESSING
404.78/406.15	c GARBAGE COLLECT
404.78/406.15	c #Conflicts:      22000 | #Constraints:     285170
404.78/406.15	c GLOBAL bounds - >= -70 @ 401.678
419.23/420.68	c #Conflicts:      23000 | #Constraints:     289252
419.23/420.68	c GLOBAL bounds - >= -70 @ 416.064
421.82/423.24	c GLOBAL bounds - >= -70 @ 418.604
422.42/423.83	c GLOBAL bounds - >= -70 @ 419.183
422.72/424.15	c GLOBAL bounds - >= -70 @ 419.496
423.11/424.58	c GLOBAL bounds - >= -70 @ 419.922
431.09/432.59	c GLOBAL bounds - >= -70 @ 427.864
431.99/433.47	c GLOBAL bounds - >= -70 @ 428.736
441.26/442.78	c GLOBAL bounds - >= -70 @ 437.978
443.75/445.23	c #Conflicts:      24000 | #Constraints:     314986
443.75/445.23	c GLOBAL bounds - >= -70 @ 440.4
486.81/488.40	c #Conflicts:      25000 | #Constraints:     319098
486.81/488.40	c INPROCESSING
486.81/488.40	c GARBAGE COLLECT
486.81/488.40	c GLOBAL bounds - >= -70 @ 483.258
508.64/510.36	c #Conflicts:      26000 | #Constraints:     319818
508.64/510.36	c GLOBAL bounds - >= -70 @ 505.028
509.24/510.97	c GLOBAL bounds - >= -70 @ 505.628
523.50/525.28	c #Conflicts:      27000 | #Constraints:     327042
523.50/525.28	c GLOBAL bounds - >= -70 @ 519.775
552.01/553.85	c #Conflicts:      28000 | #Constraints:     331154
552.01/553.85	c GLOBAL bounds - >= -70 @ 548.152
602.92/604.99	c #Conflicts:      29000 | #Constraints:     335266
602.92/604.99	c INPROCESSING
602.92/604.99	c GARBAGE COLLECT
602.92/604.99	c GLOBAL bounds - >= -70 @ 598.929
610.60/612.69	c #Conflicts:      30000 | #Constraints:     335779
610.60/612.69	c GLOBAL bounds - >= -70 @ 606.57
687.32/689.67	c #Conflicts:      31000 | #Constraints:     339905
687.32/689.67	c #Conflicts:      32000 | #Constraints:     340905
687.32/689.67	c GLOBAL bounds - >= -70 @ 682.969
741.43/744.00	c #Conflicts:      33000 | #Constraints:     345031
741.43/744.00	c INPROCESSING
741.43/744.00	c GARBAGE COLLECT
741.43/744.00	c #Conflicts:      34000 | #Constraints:     342229
741.43/744.00	c GLOBAL bounds - >= -70 @ 736.915
797.84/800.57	c #Conflicts:      35000 | #Constraints:     346355
797.84/800.57	c #Conflicts:      36000 | #Constraints:     347355
797.84/800.57	c GLOBAL bounds - >= -70 @ 793.108
1629.88/1635.75	c #Conflicts:      37000 | #Constraints:     351481
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      38000 | #Constraints:     348484
1629.88/1635.75	c #Conflicts:      39000 | #Constraints:     349484
1629.88/1635.75	c #Conflicts:      40000 | #Constraints:     350484
1629.88/1635.75	c #Conflicts:      41000 | #Constraints:     351484
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      42000 | #Constraints:     348288
1629.88/1635.75	c #Conflicts:      43000 | #Constraints:     349288
1629.88/1635.75	c #Conflicts:      44000 | #Constraints:     350288
1629.88/1635.75	c #Conflicts:      45000 | #Constraints:     351288
1629.88/1635.75	c #Conflicts:      46000 | #Constraints:     352288
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      47000 | #Constraints:     348893
1629.88/1635.75	c #Conflicts:      48000 | #Constraints:     349893
1629.88/1635.75	c #Conflicts:      49000 | #Constraints:     350893
1629.88/1635.75	c #Conflicts:      50000 | #Constraints:     351893
1629.88/1635.75	c #Conflicts:      51000 | #Constraints:     352893
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      52000 | #Constraints:     349285
1629.88/1635.75	c #Conflicts:      53000 | #Constraints:     350285
1629.88/1635.75	c #Conflicts:      54000 | #Constraints:     351285
1629.88/1635.75	c #Conflicts:      55000 | #Constraints:     352285
1629.88/1635.75	c #Conflicts:      56000 | #Constraints:     353285
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      57000 | #Constraints:     349485
1629.88/1635.75	c #Conflicts:      58000 | #Constraints:     350485
1629.88/1635.75	c #Conflicts:      59000 | #Constraints:     351485
1629.88/1635.75	c #Conflicts:      60000 | #Constraints:     352485
1629.88/1635.75	c #Conflicts:      61000 | #Constraints:     353485
1629.88/1635.75	c INPROCESSING
1629.88/1635.75	c GARBAGE COLLECT
1629.88/1635.75	c #Conflicts:      62000 | #Constraints:     349485
1629.88/1635.75	c #Conflicts:      63000 | #Constraints:     350485
1629.88/1635.75	c GLOBAL bounds - >= -70 @ 1621.78
2162.20/2169.91	c #Conflicts:      64000 | #Constraints:     354611
2162.20/2169.91	c #Conflicts:      65000 | #Constraints:     355611
2162.20/2169.91	c #Conflicts:      66000 | #Constraints:     356611
2162.20/2169.91	c INPROCESSING
2162.20/2169.91	c GARBAGE COLLECT
2162.20/2169.91	c #Conflicts:      67000 | #Constraints:     352413
2162.20/2169.91	c #Conflicts:      68000 | #Constraints:     353413
2162.20/2169.91	c #Conflicts:      69000 | #Constraints:     354413
2162.20/2169.91	c #Conflicts:      70000 | #Constraints:     355413
2162.20/2169.91	c #Conflicts:      71000 | #Constraints:     356413
2162.20/2169.91	c #Conflicts:      72000 | #Constraints:     357413
2162.20/2169.91	c INPROCESSING
2162.20/2169.91	c GARBAGE COLLECT
2162.20/2169.91	c #Conflicts:      73000 | #Constraints:     353006
2162.20/2169.91	c #Conflicts:      74000 | #Constraints:     354006
2162.20/2169.91	c #Conflicts:      75000 | #Constraints:     355006
2162.20/2169.91	c #Conflicts:      76000 | #Constraints:     356006
2162.20/2169.91	c #Conflicts:      77000 | #Constraints:     357006
2162.20/2169.91	c GLOBAL bounds - >= -70 @ 2152.33
3600.02/3613.12	c #Conflicts:      78000 | #Constraints:     361132
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:      79000 | #Constraints:     356538
3600.02/3613.12	c #Conflicts:      80000 | #Constraints:     357538
3600.02/3613.12	c #Conflicts:      81000 | #Constraints:     358538
3600.02/3613.12	c #Conflicts:      82000 | #Constraints:     359538
3600.02/3613.12	c #Conflicts:      83000 | #Constraints:     360538
3600.02/3613.12	c #Conflicts:      84000 | #Constraints:     361538
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:      85000 | #Constraints:     356741
3600.02/3613.12	c #Conflicts:      86000 | #Constraints:     357741
3600.02/3613.12	c #Conflicts:      87000 | #Constraints:     358741
3600.02/3613.12	c #Conflicts:      88000 | #Constraints:     359741
3600.02/3613.12	c #Conflicts:      89000 | #Constraints:     360741
3600.02/3613.12	c #Conflicts:      90000 | #Constraints:     361741
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:      91000 | #Constraints:     356742
3600.02/3613.12	c #Conflicts:      92000 | #Constraints:     357742
3600.02/3613.12	c #Conflicts:      93000 | #Constraints:     358742
3600.02/3613.12	c #Conflicts:      94000 | #Constraints:     359742
3600.02/3613.12	c #Conflicts:      95000 | #Constraints:     360742
3600.02/3613.12	c #Conflicts:      96000 | #Constraints:     361742
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:      97000 | #Constraints:     356551
3600.02/3613.12	c #Conflicts:      98000 | #Constraints:     357551
3600.02/3613.12	c #Conflicts:      99000 | #Constraints:     358551
3600.02/3613.12	c #Conflicts:     100000 | #Constraints:     359551
3600.02/3613.12	c #Conflicts:     101000 | #Constraints:     360551
3600.02/3613.12	c #Conflicts:     102000 | #Constraints:     361551
3600.02/3613.12	c #Conflicts:     103000 | #Constraints:     362551
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:     104000 | #Constraints:     357145
3600.02/3613.12	c #Conflicts:     105000 | #Constraints:     358145
3600.02/3613.12	c #Conflicts:     106000 | #Constraints:     359145
3600.02/3613.12	c #Conflicts:     107000 | #Constraints:     360145
3600.02/3613.12	c #Conflicts:     108000 | #Constraints:     361145
3600.02/3613.12	c #Conflicts:     109000 | #Constraints:     362145
3600.02/3613.12	c #Conflicts:     110000 | #Constraints:     363145
3600.02/3613.12	c INPROCESSING
3600.02/3613.12	c GARBAGE COLLECT
3600.02/3613.12	c #Conflicts:     111000 | #Constraints:     357545
3600.02/3613.12	c #Conflicts:     112000 | #Constraints:     358545
3600.02/3613.12	c #Conflicts:     113000 | #Constraints:     359545
3600.02/3613.12	c cpu time 3585.85 s
3600.02/3613.12	c deterministic time 161 1.61e+02
3600.02/3613.12	c optimization time 3585.76 s
3600.02/3613.12	c total solve time 0 s
3600.02/3613.12	c core-guided solve time 0 s
3600.02/3613.12	c propagation time 0.007445 s
3600.02/3613.12	c conflict analysis time 0 s
3600.02/3613.12	c propagations 140
3600.02/3613.12	c resolve steps 0
3600.02/3613.12	c decisions 0
3600.02/3613.12	c conflicts 0
3600.02/3613.12	c restarts 0
3600.02/3613.12	c inprocessing phases 0
3600.02/3613.12	c garbage collections 0 ,( -nan )
3600.02/3613.12	c input clauses 21876 ,( 89.25 )
3600.02/3613.12	c input cardinalities 9 ,( 0.04 )
3600.02/3613.12	c input general constraints 2625 ,( 10.71 )
3600.02/3613.12	c input average constraint length 3.60
3600.02/3613.12	c input average constraint degree 1.71
3600.02/3613.12	c learned clauses 0 ,( 0.00 )
3600.02/3613.12	c learned cardinalities 0 ,( 0.00 )
3600.02/3613.12	c learned general constraints 0 ,( 0.00 )
3600.02/3613.12	c learned average constraint length 0.00
3600.02/3613.12	c learned average constraint degree 0.00
3600.02/3613.12	c watched  CF 32, 64, 128, Arb: 70 , 0 , 0 , 0
3600.02/3613.12	c counting CF 32, 64, 128, Arb: 2556 , 0 , 0 , 0
3600.02/3613.12	c watched   constraints 70 ,( 2.67 ) 
3600.02/3613.12	c counting  constraints 2555 ,( 97.33 ) 
3600.02/3613.12	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.02/3613.12	c gcd simplifications 0
3600.02/3613.12	c detected cardinalities 0
3600.02/3613.12	c weakened non-implied lits 0
3600.02/3613.12	c weakened non-implying lits 0
3600.02/3613.12	c original variables 9940
3600.02/3613.12	c clausal propagations 0
3600.02/3613.12	c cardinality propagations 0
3600.02/3613.12	c watched propagations 0
3600.02/3613.12	c counting propagations 0
3600.02/3613.12	c watch lookups 10
3600.02/3613.12	c watch backjump lookups 0
3600.02/3613.12	c watch checks 10
3600.02/3613.12	c propagation checks 0
3600.02/3613.12	c constraint additions 0
3600.02/3613.12	c trail pops 0
3600.02/3613.12	c formula constraints 24510
3600.02/3613.12	c learned constraints 0
3600.02/3613.12	c bound constraints 0
3600.02/3613.12	c core-guided constraints 0
3600.02/3613.12	c encountered formula constraints 0
3600.02/3613.12	c encountered learned constraints 0
3600.02/3613.12	c encountered bound constraints 0
3600.02/3613.12	c encountered core-guided constraints 0
3600.02/3613.12	c LP total time 0 s
3600.02/3613.12	c LP solve time 0 s
3600.02/3613.12	c LP constraints added 0
3600.02/3613.12	c LP constraints removed 0
3600.02/3613.12	c LP pivots internal 0
3600.02/3613.12	c LP pivots root 0
3600.02/3613.12	c LP calls 0
3600.02/3613.12	c LP optimalities 0
3600.02/3613.12	c LP no pivot count 0
3600.02/3613.12	c LP infeasibilities 0
3600.02/3613.12	c LP valid Farkas constraints 0
3600.02/3613.12	c LP learned Farkas constraints 0
3600.02/3613.12	c LP basis resets 0
3600.02/3613.12	c LP cycling count 0
3600.02/3613.12	c LP singular count 0
3600.02/3613.12	c LP no primal count 0
3600.02/3613.12	c LP no farkas count 0
3600.02/3613.12	c LP other issue count 0
3600.02/3613.12	c LP Gomory cuts 0
3600.02/3613.12	c LP learned cuts 0
3600.02/3613.12	c LP deleted cuts 0
3600.02/3613.12	c LP encountered Gomory constraints 0
3600.02/3613.12	c LP encountered Farkas constraints 0
3600.02/3613.12	c LP encountered learned Farkas constraints 0
3600.02/3613.12	c CG auxiliary variables introduced 0
3600.02/3613.12	c CG solutions found 0
3600.02/3613.12	c CG cores constructed 0
3600.02/3613.12	c CG core cardinality constraints returned 0
3600.02/3613.12	c CG unit cores 0
3600.02/3613.12	c CG single cores 0
3600.02/3613.12	c CG blocks removed during cardinality reduction 0
3600.02/3613.12	c CG first core best 0
3600.02/3613.12	c CG decision core best 0
3600.02/3613.12	c CG core reduction tie 0
3600.02/3613.12	c CG core degree average 0.00
3600.02/3613.12	c CG core slack average 0.00
3600.02/3613.12	c CG core upper bound improvements 0
3600.02/3613.12	c STR number of successful calls 0
3600.02/3613.12	c STR number of unsuccessful calls 0
3600.02/3613.12	c STR number of inconclusive calls 0
3600.02/3613.12	c STR number of successful attempts 0
3600.02/3613.12	c STR number of unsuccessful attempts 0
3600.02/3613.12	c STR number of inconclusive attempts 0
3600.02/3613.12	c STR average degree increase per successful call inf
3600.02/3613.12	c STR average degree increase per successful attempt inf
3600.02/3613.12	c STR total number of conflicts for successful attempts 0
3600.02/3613.12	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3613.12	c STR total number of conflicts for inconclusive attempts 0
3600.02/3613.12	c STR average number of conflicts per successful attempt inf
3600.02/3613.12	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3613.12	c STR average number of conflicts per inconclusive attempt inf
3600.02/3613.12	c AVG.sumWPerc 60.68 
3600.02/3613.12	c bigint constraints 0 
3600.02/3613.12	s UNKNOWN
3600.02/3613.12	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 (61381 MiB free)
  memory of node 1: 64465 MiB (62430 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=74276, runsolver pid=74272

[startup+0.100063 s]*
/proc/loadavg: 0.57 0.95 1.22 5/268 74295
/proc/meminfo: memFree=126768292/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=65184 memory=21460 CPUtime=0.07 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 3506 0 0 0 5 2 0 0 20 0 1 0 61852006 66748416 5365 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 16296 5365 2336 1147 0 3723 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 24532 KiB

[startup+0.205575 s]*
/proc/loadavg: 0.57 0.95 1.22 6/268 74295
/proc/meminfo: memFree=126653204/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=102464 memory=52164 CPUtime=0.18 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 9823 0 0 0 14 4 0 0 20 0 1 0 61852006 104923136 13041 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 25616 13041 2368 1147 0 13043 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 106656 KiB
Current children cumulated memory: 55236 KiB

[startup+0.305876 s]*
/proc/loadavg: 0.57 0.95 1.22 5/268 74295
/proc/meminfo: memFree=126555480/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=102924 memory=55920 CPUtime=0.28 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 10201 0 0 0 23 5 0 0 20 0 1 0 61852006 105394176 13980 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 25731 13980 2400 1147 0 13158 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 107116 KiB
Current children cumulated memory: 58992 KiB

[startup+0.70019 s]
/proc/loadavg: 0.57 0.95 1.22 5/268 74295
/proc/meminfo: memFree=126491220/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=107280 memory=60144 CPUtime=0.66 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 11232 0 0 0 56 10 0 0 20 0 1 0 61852006 109854720 15036 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 26820 15036 2432 1147 0 14247 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 111472 KiB
Current children cumulated memory: 63216 KiB

[startup+1.5002 s]
/proc/loadavg: 0.57 0.95 1.22 5/268 74295
/proc/meminfo: memFree=126463220/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=135852 memory=86252 CPUtime=1.46 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 14730 0 0 0 130 16 0 0 20 0 1 0 61852006 139112448 21563 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 33963 21563 2432 1147 0 21390 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 140044 KiB
Current children cumulated memory: 89324 KiB

[startup+3.10533 s]
/proc/loadavg: 0.57 0.95 1.22 5/268 74295
/proc/meminfo: memFree=126086336/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=182164 memory=126548 CPUtime=3.06 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 22766 0 0 0 285 21 0 0 20 0 1 0 61852006 186535936 31637 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 45541 31637 2432 1147 0 32968 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 186356 KiB
Current children cumulated memory: 129620 KiB

[startup+6.30019 s]
/proc/loadavg: 0.93 1.02 1.24 5/269 74297
/proc/meminfo: memFree=125672660/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=249372 memory=187852 CPUtime=6.24 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 35056 0 0 0 595 29 0 0 20 0 1 0 61852006 255356928 46963 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 62343 46963 2432 1147 0 49770 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 253564 KiB
Current children cumulated memory: 190924 KiB

[startup+12.7002 s]
/proc/loadavg: 1.17 1.07 1.25 5/269 74297
/proc/meminfo: memFree=125027092/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=373332 memory=297216 CPUtime=12.63 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 56271 0 0 0 1221 42 0 0 20 0 1 0 61852006 382291968 74304 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 93333 74304 2432 1147 0 80760 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 377524 KiB
Current children cumulated memory: 300288 KiB

[startup+25.5002 s]
/proc/loadavg: 1.80 1.21 1.30 5/269 74297
/proc/meminfo: memFree=123716088/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=459968 memory=361700 CPUtime=25.39 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 67294 0 0 0 2482 57 0 0 20 0 1 0 61852006 471007232 90425 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 114992 90425 2432 1147 0 102419 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 464160 KiB
Current children cumulated memory: 364772 KiB

[startup+51.1056 s]
/proc/loadavg: 2.63 1.45 1.37 5/271 74299
/proc/meminfo: memFree=121574724/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=700360 memory=547684 CPUtime=50.91 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 102049 0 0 0 5002 89 0 0 20 0 1 0 61852006 717168640 136921 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 175090 136921 2432 1147 0 162517 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 704552 KiB
Current children cumulated memory: 550756 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.87 1.52 5/273 74305
/proc/meminfo: memFree=118815436/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=745812 memory=643848 CPUtime=101.94 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 116838 0 0 0 10059 135 0 0 20 0 1 0 61852006 763711488 160962 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 186453 160962 2432 1147 0 173880 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 750004 KiB
Current children cumulated memory: 646920 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 2.26 1.68 5/273 74311
/proc/meminfo: memFree=116059020/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=1033104 memory=856892 CPUtime=161.75 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 161955 0 0 0 16001 174 0 0 20 0 1 0 61852006 1057898496 214223 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 258276 214223 2432 1147 0 245703 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1037296 KiB
Current children cumulated memory: 859964 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.61 1.84 5/273 74313
/proc/meminfo: memFree=113428108/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=1190840 memory=905940 CPUtime=221.56 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 170171 0 0 0 21942 214 0 0 20 0 1 0 61852006 1219420160 226485 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 297710 226485 2432 1147 0 285137 0

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

[pid=74284] ppid=74276 vsize=2918464 memory=2330232 CPUtime=3091.11 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 403552 0 0 0 307841 1270 0 0 20 0 1 0 61852006 2988507136 582558 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 729616 582558 2432 1147 0 717043 0
Current children cumulated CPU time: 3091.11 s
Current children cumulated vsize: 2922656 KiB
Current children cumulated memory: 2333304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/273 74477
/proc/meminfo: memFree=57099064/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2918464 memory=2331768 CPUtime=3150.88 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 404398 0 0 0 313803 1285 0 0 20 0 1 0 61852006 2988507136 582942 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 729616 582942 2432 1147 0 717043 0
Current children cumulated CPU time: 3150.88 s
Current children cumulated vsize: 2922656 KiB
Current children cumulated memory: 2334840 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.01 5/270 74479
/proc/meminfo: memFree=56387000/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2932292 memory=2374000 CPUtime=3210.66 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 409817 0 0 0 319763 1303 0 0 20 0 1 0 61852006 3002667008 593500 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 733073 593500 2432 1147 0 720500 0
Current children cumulated CPU time: 3210.66 s
Current children cumulated vsize: 2936484 KiB
Current children cumulated memory: 2377072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/273 74484
/proc/meminfo: memFree=55501440/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2932292 memory=2374000 CPUtime=3270.43 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 409817 0 0 0 325721 1322 0 0 20 0 1 0 61852006 3002667008 593500 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 733073 593500 2432 1147 0 720500 0
Current children cumulated CPU time: 3270.43 s
Current children cumulated vsize: 2936484 KiB
Current children cumulated memory: 2377072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/273 74486
/proc/meminfo: memFree=54734076/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2932292 memory=2374000 CPUtime=3330.2 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 409945 0 0 0 331684 1336 0 0 20 0 1 0 61852006 3002667008 593500 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 733073 593500 2432 1147 0 720500 0
Current children cumulated CPU time: 3330.2 s
Current children cumulated vsize: 2936484 KiB
Current children cumulated memory: 2377072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/272 74488
/proc/meminfo: memFree=53896492/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2932292 memory=2374000 CPUtime=3389.99 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 410234 0 0 0 337646 1353 0 0 20 0 1 0 61852006 3002667008 593500 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 733073 593500 2432 1147 0 720500 0
Current children cumulated CPU time: 3389.99 s
Current children cumulated vsize: 2936484 KiB
Current children cumulated memory: 2377072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/272 74490
/proc/meminfo: memFree=53045512/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2932292 memory=2374256 CPUtime=3449.77 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 410339 0 0 0 343608 1369 0 0 20 0 1 0 61852006 3002667008 593564 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 733073 593564 2432 1147 0 720500 0
Current children cumulated CPU time: 3449.77 s
Current children cumulated vsize: 2936484 KiB
Current children cumulated memory: 2377328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/273 74493
/proc/meminfo: memFree=52125472/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2960712 memory=2433996 CPUtime=3509.56 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 418114 0 0 0 349564 1392 0 0 20 0 1 0 61852006 3031769088 608499 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 740178 608499 2432 1147 0 727605 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 2964904 KiB
Current children cumulated memory: 2437068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/271 74495
/proc/meminfo: memFree=51312480/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2960712 memory=2433996 CPUtime=3569.31 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 418532 0 0 0 355518 1413 0 0 20 0 1 0 61852006 3031769088 608499 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 740178 608499 2432 1147 0 727605 0
Current children cumulated CPU time: 3569.31 s
Current children cumulated vsize: 2964904 KiB
Current children cumulated memory: 2437068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.11 s]
/proc/loadavg: 4.09 4.09 4.02 4/262 74513
/proc/meminfo: memFree=58564136/131249992 swapFree=33010684/33010684
[pid=74276] ppid=74272 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/74276/stat : 74276 (run-opt-log.sh) S 74272 74276 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61852005 4292608 768 18446744073709551615 94726754160640 94726755055173 140726550034112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94726755294224 94726755341968 94726774153216 140726550042913 140726550043108 140726550043108 140726550048710 0
/proc/74276/statm: 1048 768 704 219 0 110 0
[pid=74284] ppid=74276 vsize=2960712 memory=2433996 CPUtime=3600.02 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74276 74276 74222 0 -1 4194304 418532 0 0 0 358583 1419 0 0 20 0 1 0 61852006 3031769088 608499 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 740178 608499 2432 1147 0 727605 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2964904 KiB
Current children cumulated memory: 2437068 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3613.2 s]*
/proc/loadavg: 4.09 4.09 4.02 4/261 74513
/proc/meminfo: memFree=59422408/131249992 swapFree=33010684/33010684
[pid=74284] ppid=74272 vsize=1734104 memory=1555404 CPUtime=3600.09 cores=0,2
/proc/74284/stat : 74284 (roundingsat) R 74272 74276 74222 0 -1 4194304 418545 0 0 0 358588 1421 0 0 20 0 1 0 61852006 1775722496 388851 18446744073709551615 4227072 8923433 140728997509840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37175296 140728997513554 140728997513768 140728997513768 140728997519338 0
/proc/74284/statm: 433526 388851 2528 1147 0 420953 0
Current cumulated CPU time of completed processes: 0.002181 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1734104 KiB
Current children cumulated memory: 1555404 KiB

Child status: 2

Real time (s): 3613.26
CPU time (s): 3600.15
CPU user time (s): 3585.9
CPU system time (s): 14.2485
CPU usage (%): 99.637
Max. virtual memory (cumulated for all children) (KiB): 2964904
Max. memory (cumulated for all children) (KiB): 2437068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.9
system time used= 14.2485
maximum resident set size= 2434252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29527056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1409
involuntary context switches= 6709


# summary of solver processes directly reported to runsolver:
#   pid: 74276,74284
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3585.9
#   total CPU system time (s): 14.2485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11462 second user time and 18.7237 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=1728088053

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126783720 kB
MemAvailable:   129772376 kB
Buffers:            3280 kB
Cached:          3785552 kB
SwapCached:            0 kB
Active:           410584 kB
Inactive:        3445120 kB
Active(anon):      84956 kB
Inactive(anon):        0 kB
Active(file):     325628 kB
Inactive(file):  3445120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33476 kB
Writeback:             0 kB
AnonPages:         70004 kB
Mapped:           102740 kB
Shmem:             18084 kB
KReclaimable:     114296 kB
Slab:             203772 kB
SReclaimable:     114296 kB
SUnreclaim:        89476 kB
KernelStack:        4176 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     328884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

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