Trace number 4496004

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 NameAnswerCPU timeWall clock time
roundingsat+pbsuma 63f22adSAT 220.185 220.762

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
MD5SUMf50ea280ec2253a5ba14d185d456771a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.019044
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables86
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint86
Maximum length of a constraint86
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 45094584
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 553509859
Number of bits of the biggest sum of numbers30
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4496004-1751157855.opb'
0.00/0.01	c 	read 0.00MB  (0.12ms)
0.00/0.01	c	 [cnf: #variables 86 #clauses 2 #duplicates 0 #arr 172]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 0] (0.08ms)
0.00/0.01	c 
0.00/0.01	c detect special group actions
0.00/0.01	c 	probe for Johnson action (limit=64)
0.00/0.01	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	 (0.04ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 346 #edges 860]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.04ms)
0.00/0.01	c 
0.00/0.01	c finalize break order and special generators
0.00/0.01	c 
0.00/0.01	c generation finished
0.00/0.01	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.01	c 
0.00/0.01	c write result to 'HOME/instance-4496004-1751157855.opb.pre'
0.00/0.01	c 	wrote 0.00MB (0.07ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   0.12ms 29.46% parse
0.00/0.01	c                   0.08ms 20.12% approx_orbits
0.00/0.01	c                   0.07ms 18.09% output
0.00/0.01	c                   0.05ms 10.98% other
0.00/0.01	c                   0.04ms 10.29% detect_generic
0.00/0.01	c                   0.04ms  9.93% detect_special
0.00/0.01	c                   0.00ms  1.13% finalize_order
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   0.41ms   100% total
0.00/0.01	c ------------------------------------------------------------------
0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.02	c #variables 86 #constraints 2
0.00/0.02	c rational objective 1.09326
0.18/0.22	c #Conflicts:       1000 | #Constraints:       1002
0.18/0.22	c #Conflicts:       2000 | #Constraints:       2002
0.18/0.22	c INPROCESSING
0.18/0.22	c GARBAGE COLLECT
0.18/0.22	c rational objective 2
0.46/0.54	c #Conflicts:       3000 | #Constraints:       2005
0.46/0.54	c #Conflicts:       4000 | #Constraints:       3005
0.46/0.54	c INPROCESSING
0.46/0.54	c GARBAGE COLLECT
0.46/0.54	c rational objective 2
0.84/1.00	c #Conflicts:       5000 | #Constraints:       2504
0.84/1.00	c #Conflicts:       6000 | #Constraints:       3630
0.84/1.00	c INPROCESSING
0.84/1.00	c GARBAGE COLLECT
0.84/1.00	c rational objective 2
1.53/1.62	c #Conflicts:       7000 | #Constraints:       2780
1.53/1.62	c #Conflicts:       8000 | #Constraints:       3901
1.53/1.62	c #Conflicts:       9000 | #Constraints:       4992
1.53/1.62	c INPROCESSING
1.53/1.62	c GARBAGE COLLECT
1.53/1.62	c rational objective 2
2.33/2.45	c #Conflicts:      10000 | #Constraints:       3692
2.33/2.45	c #Conflicts:      11000 | #Constraints:       4812
2.33/2.45	c #Conflicts:      12000 | #Constraints:       5945
2.33/2.45	c INPROCESSING
2.33/2.45	c GARBAGE COLLECT
2.33/2.45	c rational objective 2
3.23/3.35	c #Conflicts:      13000 | #Constraints:       4285
3.23/3.35	c #Conflicts:      14000 | #Constraints:       5882
3.23/3.35	c #Conflicts:      15000 | #Constraints:       7213
3.23/3.35	c INPROCESSING
3.23/3.35	c GARBAGE COLLECT
3.23/3.35	c rational objective 2.00609
4.13/4.24	c #Conflicts:      16000 | #Constraints:       4675
4.13/4.24	c #Conflicts:      17000 | #Constraints:       5814
4.13/4.24	c #Conflicts:      18000 | #Constraints:       6877
4.13/4.24	c INPROCESSING
4.13/4.24	c GARBAGE COLLECT
4.13/4.24	c rational objective 2.61495
5.22/5.37	c #Conflicts:      19000 | #Constraints:       4410
5.22/5.37	c #Conflicts:      20000 | #Constraints:       5501
5.22/5.37	c #Conflicts:      21000 | #Constraints:       6562
5.22/5.37	c INPROCESSING
5.22/5.37	c GARBAGE COLLECT
5.22/5.37	c rational objective 2.41427
6.42/6.57	c #Conflicts:      22000 | #Constraints:       4064
6.42/6.57	c #Conflicts:      23000 | #Constraints:       5246
6.42/6.57	c #Conflicts:      24000 | #Constraints:       6513
6.42/6.57	c #Conflicts:      25000 | #Constraints:       7566
6.42/6.57	c INPROCESSING
6.42/6.57	c GARBAGE COLLECT
6.42/6.57	c rational objective 2.0603
7.62/7.76	c #Conflicts:      26000 | #Constraints:       5106
7.62/7.76	c #Conflicts:      27000 | #Constraints:       6683
7.62/7.76	c #Conflicts:      28000 | #Constraints:       8039
7.62/7.76	c #Conflicts:      29000 | #Constraints:       9240
7.62/7.76	c INPROCESSING
7.62/7.76	c GARBAGE COLLECT
7.62/7.76	c rational objective 2.0603
9.22/9.35	c #Conflicts:      30000 | #Constraints:       5709
9.22/9.35	c #Conflicts:      31000 | #Constraints:       6823
9.22/9.35	c #Conflicts:      32000 | #Constraints:       7882
9.22/9.35	c #Conflicts:      33000 | #Constraints:       8903
9.22/9.35	c INPROCESSING
9.22/9.35	c GARBAGE COLLECT
9.22/9.35	c rational objective 2.06035
10.71/10.87	c #Conflicts:      34000 | #Constraints:       5561
10.71/10.87	c #Conflicts:      35000 | #Constraints:       6784
10.71/10.87	c #Conflicts:      36000 | #Constraints:       7939
10.71/10.87	c #Conflicts:      37000 | #Constraints:       9076
10.71/10.87	c INPROCESSING
10.71/10.87	c GARBAGE COLLECT
10.71/10.87	c rational objective 2.06032
12.61/12.72	c #Conflicts:      38000 | #Constraints:       5728
12.61/12.72	c #Conflicts:      39000 | #Constraints:       6997
12.61/12.72	c #Conflicts:      40000 | #Constraints:       8608
12.61/12.72	c #Conflicts:      41000 | #Constraints:      10195
12.61/12.72	c INPROCESSING
12.61/12.72	c GARBAGE COLLECT
12.61/12.72	c rational objective 2.0014
14.60/14.72	c #Conflicts:      42000 | #Constraints:       5973
14.60/14.72	c #Conflicts:      43000 | #Constraints:       7039
14.60/14.72	c #Conflicts:      44000 | #Constraints:       8111
14.60/14.72	c #Conflicts:      45000 | #Constraints:       9193
14.60/14.72	c #Conflicts:      46000 | #Constraints:      10283
14.60/14.72	c INPROCESSING
14.60/14.72	c GARBAGE COLLECT
14.60/14.72	c rational objective 2.69236
16.70/16.84	c #Conflicts:      47000 | #Constraints:       6058
16.70/16.84	c #Conflicts:      48000 | #Constraints:       7063
16.70/16.84	c #Conflicts:      49000 | #Constraints:       8063
16.70/16.84	c #Conflicts:      50000 | #Constraints:       9063
16.70/16.84	c #Conflicts:      51000 | #Constraints:      10063
16.70/16.84	c INPROCESSING
16.70/16.84	c GARBAGE COLLECT
16.70/16.84	c rational objective 1.9217
18.69/18.86	c #Conflicts:      52000 | #Constraints:       6144
18.69/18.86	c #Conflicts:      53000 | #Constraints:       7267
18.69/18.86	c #Conflicts:      54000 | #Constraints:       8267
18.69/18.86	c #Conflicts:      55000 | #Constraints:       9267
18.69/18.86	c #Conflicts:      56000 | #Constraints:      10267
18.69/18.86	c INPROCESSING
18.69/18.86	c GARBAGE COLLECT
18.69/18.86	c rational objective 1.92059
20.90/21.08	c #Conflicts:      57000 | #Constraints:       6285
20.90/21.08	c #Conflicts:      58000 | #Constraints:       7379
20.90/21.08	c #Conflicts:      59000 | #Constraints:       8379
20.90/21.08	c #Conflicts:      60000 | #Constraints:       9453
20.90/21.08	c #Conflicts:      61000 | #Constraints:      10579
20.90/21.08	c INPROCESSING
20.90/21.08	c GARBAGE COLLECT
20.90/21.08	c rational objective 1.92059
23.48/23.67	c #Conflicts:      62000 | #Constraints:       6323
23.48/23.67	c #Conflicts:      63000 | #Constraints:       7474
23.48/23.67	c #Conflicts:      64000 | #Constraints:       8573
23.48/23.67	c #Conflicts:      65000 | #Constraints:       9831
23.48/23.67	c #Conflicts:      66000 | #Constraints:      11015
23.48/23.67	c INPROCESSING
23.48/23.67	c GARBAGE COLLECT
23.48/23.67	c rational objective 1.92061
25.89/26.08	c #Conflicts:      67000 | #Constraints:       6303
25.89/26.08	c #Conflicts:      68000 | #Constraints:       7378
25.89/26.08	c #Conflicts:      69000 | #Constraints:       8612
25.89/26.08	c #Conflicts:      70000 | #Constraints:       9795
25.89/26.08	c #Conflicts:      71000 | #Constraints:      11006
25.89/26.08	c #Conflicts:      72000 | #Constraints:      12166
25.89/26.08	c INPROCESSING
25.89/26.08	c GARBAGE COLLECT
25.89/26.08	c rational objective 1.92954
28.87/29.06	c #Conflicts:      73000 | #Constraints:       7048
28.87/29.06	c #Conflicts:      74000 | #Constraints:       8083
28.87/29.06	c #Conflicts:      75000 | #Constraints:       9180
28.87/29.06	c #Conflicts:      76000 | #Constraints:      10293
28.87/29.06	c #Conflicts:      77000 | #Constraints:      11351
28.87/29.06	c #Conflicts:      78000 | #Constraints:      12351
28.87/29.06	c INPROCESSING
28.87/29.06	c GARBAGE COLLECT
28.87/29.06	c rational objective 1.92062
31.66/31.85	c #Conflicts:      79000 | #Constraints:       7242
31.66/31.85	c #Conflicts:      80000 | #Constraints:       8242
31.66/31.85	c #Conflicts:      81000 | #Constraints:       9242
31.66/31.85	c #Conflicts:      82000 | #Constraints:      10242
31.66/31.85	c #Conflicts:      83000 | #Constraints:      11242
31.66/31.85	c #Conflicts:      84000 | #Constraints:      12242
31.66/31.85	c INPROCESSING
31.66/31.85	c GARBAGE COLLECT
31.66/31.85	c rational objective 1.95113
34.55/34.75	c #Conflicts:      85000 | #Constraints:       7137
34.55/34.75	c #Conflicts:      86000 | #Constraints:       8144
34.55/34.75	c #Conflicts:      87000 | #Constraints:       9144
34.55/34.75	c #Conflicts:      88000 | #Constraints:      10144
34.55/34.75	c #Conflicts:      89000 | #Constraints:      11144
34.55/34.75	c #Conflicts:      90000 | #Constraints:      12144
34.55/34.75	c INPROCESSING
34.55/34.75	c GARBAGE COLLECT
34.55/34.75	c rational objective 1.95116
37.75/37.95	c #Conflicts:      91000 | #Constraints:       7058
37.75/37.95	c #Conflicts:      92000 | #Constraints:       8112
37.75/37.95	c #Conflicts:      93000 | #Constraints:       9118
37.75/37.95	c #Conflicts:      94000 | #Constraints:      10118
37.75/37.95	c #Conflicts:      95000 | #Constraints:      11118
37.75/37.95	c #Conflicts:      96000 | #Constraints:      12138
37.75/37.95	c INPROCESSING
37.75/37.95	c GARBAGE COLLECT
37.75/37.95	c rational objective 1.95116
40.94/41.11	c #Conflicts:      97000 | #Constraints:       6785
40.94/41.11	c #Conflicts:      98000 | #Constraints:       7785
40.94/41.11	c #Conflicts:      99000 | #Constraints:       8843
40.94/41.11	c #Conflicts:     100000 | #Constraints:       9896
40.94/41.11	c #Conflicts:     101000 | #Constraints:      10899
40.94/41.11	c #Conflicts:     102000 | #Constraints:      11983
40.94/41.11	c #Conflicts:     103000 | #Constraints:      12983
40.94/41.11	c INPROCESSING
40.94/41.11	c GARBAGE COLLECT
40.94/41.11	c rational objective 1.95116
44.94/45.15	c #Conflicts:     104000 | #Constraints:       7439
44.94/45.15	c #Conflicts:     105000 | #Constraints:       8467
44.94/45.15	c #Conflicts:     106000 | #Constraints:       9558
44.94/45.15	c #Conflicts:     107000 | #Constraints:      10593
44.94/45.15	c #Conflicts:     108000 | #Constraints:      11618
44.94/45.15	c #Conflicts:     109000 | #Constraints:      12621
44.94/45.15	c #Conflicts:     110000 | #Constraints:      13621
44.94/45.15	c INPROCESSING
44.94/45.15	c GARBAGE COLLECT
44.94/45.15	c rational objective 1.95116
48.52/48.76	c #Conflicts:     111000 | #Constraints:       7883
48.52/48.76	c #Conflicts:     112000 | #Constraints:       8937
48.52/48.76	c #Conflicts:     113000 | #Constraints:       9968
48.52/48.76	c #Conflicts:     114000 | #Constraints:      10968
48.52/48.76	c #Conflicts:     115000 | #Constraints:      11968
48.52/48.76	c #Conflicts:     116000 | #Constraints:      12968
48.52/48.76	c #Conflicts:     117000 | #Constraints:      13968
48.52/48.76	c INPROCESSING
48.52/48.76	c GARBAGE COLLECT
48.52/48.76	c rational objective 1.95116
52.52/52.72	c #Conflicts:     118000 | #Constraints:       8048
52.52/52.72	c #Conflicts:     119000 | #Constraints:       9050
52.52/52.72	c #Conflicts:     120000 | #Constraints:      10050
52.52/52.72	c #Conflicts:     121000 | #Constraints:      11050
52.52/52.72	c #Conflicts:     122000 | #Constraints:      12050
52.52/52.72	c #Conflicts:     123000 | #Constraints:      13050
52.52/52.72	c #Conflicts:     124000 | #Constraints:      14050
52.52/52.72	c INPROCESSING
52.52/52.72	c GARBAGE COLLECT
52.52/52.72	c rational objective 1.95116
56.80/57.03	c #Conflicts:     125000 | #Constraints:       7998
56.80/57.03	c #Conflicts:     126000 | #Constraints:       9070
56.80/57.03	c #Conflicts:     127000 | #Constraints:      10085
56.80/57.03	c #Conflicts:     128000 | #Constraints:      11085
56.80/57.03	c #Conflicts:     129000 | #Constraints:      12085
56.80/57.03	c #Conflicts:     130000 | #Constraints:      13085
56.80/57.03	c #Conflicts:     131000 | #Constraints:      14085
56.80/57.03	c INPROCESSING
56.80/57.03	c GARBAGE COLLECT
56.80/57.03	c rational objective 1.95116
61.39/61.65	c #Conflicts:     132000 | #Constraints:       7766
61.39/61.65	c #Conflicts:     133000 | #Constraints:       9057
61.39/61.65	c #Conflicts:     134000 | #Constraints:      10085
61.39/61.65	c #Conflicts:     135000 | #Constraints:      11120
61.39/61.65	c #Conflicts:     136000 | #Constraints:      12179
61.39/61.65	c #Conflicts:     137000 | #Constraints:      13261
61.39/61.65	c #Conflicts:     138000 | #Constraints:      14373
61.39/61.65	c #Conflicts:     139000 | #Constraints:      15411
61.39/61.65	c INPROCESSING
61.39/61.65	c GARBAGE COLLECT
61.39/61.65	c rational objective 2.34489
67.48/67.76	c #Conflicts:     140000 | #Constraints:       8611
67.48/67.76	c #Conflicts:     141000 | #Constraints:       9613
67.48/67.76	c #Conflicts:     142000 | #Constraints:      10625
67.48/67.76	c #Conflicts:     143000 | #Constraints:      11657
67.48/67.76	c #Conflicts:     144000 | #Constraints:      12663
67.48/67.76	c #Conflicts:     145000 | #Constraints:      13680
67.48/67.76	c #Conflicts:     146000 | #Constraints:      14713
67.48/67.76	c #Conflicts:     147000 | #Constraints:      15734
67.48/67.76	c INPROCESSING
67.48/67.76	c GARBAGE COLLECT
67.48/67.76	c rational objective 1.95116
72.66/72.94	c #Conflicts:     148000 | #Constraints:       8879
72.66/72.94	c #Conflicts:     149000 | #Constraints:       9906
72.66/72.94	c #Conflicts:     150000 | #Constraints:      10906
72.66/72.94	c #Conflicts:     151000 | #Constraints:      11936
72.66/72.94	c #Conflicts:     152000 | #Constraints:      12974
72.66/72.94	c #Conflicts:     153000 | #Constraints:      13983
72.66/72.94	c #Conflicts:     154000 | #Constraints:      15005
72.66/72.94	c #Conflicts:     155000 | #Constraints:      16049
72.66/72.94	c INPROCESSING
72.66/72.94	c GARBAGE COLLECT
72.66/72.94	c rational objective 2.00012
77.65/77.92	c #Conflicts:     156000 | #Constraints:       9052
77.65/77.92	c #Conflicts:     157000 | #Constraints:      10052
77.65/77.92	c #Conflicts:     158000 | #Constraints:      11085
77.65/77.92	c #Conflicts:     159000 | #Constraints:      12127
77.65/77.92	c #Conflicts:     160000 | #Constraints:      13161
77.65/77.92	c #Conflicts:     161000 | #Constraints:      14161
77.65/77.92	c #Conflicts:     162000 | #Constraints:      15161
77.65/77.92	c #Conflicts:     163000 | #Constraints:      16161
77.65/77.92	c INPROCESSING
77.65/77.92	c GARBAGE COLLECT
77.65/77.92	c rational objective 2.00005
83.44/83.78	c #Conflicts:     164000 | #Constraints:       9042
83.44/83.78	c #Conflicts:     165000 | #Constraints:      10118
83.44/83.78	c #Conflicts:     166000 | #Constraints:      11200
83.44/83.78	c #Conflicts:     167000 | #Constraints:      12259
83.44/83.78	c #Conflicts:     168000 | #Constraints:      13347
83.44/83.78	c #Conflicts:     169000 | #Constraints:      14444
83.44/83.78	c #Conflicts:     170000 | #Constraints:      15514
83.44/83.78	c #Conflicts:     171000 | #Constraints:      16575
83.44/83.78	c INPROCESSING
83.44/83.78	c GARBAGE COLLECT
83.44/83.78	c rational objective 2.00101
89.12/89.44	c #Conflicts:     172000 | #Constraints:       9014
89.12/89.44	c #Conflicts:     173000 | #Constraints:      10033
89.12/89.44	c #Conflicts:     174000 | #Constraints:      11115
89.12/89.44	c #Conflicts:     175000 | #Constraints:      12193
89.12/89.44	c #Conflicts:     176000 | #Constraints:      13193
89.12/89.44	c #Conflicts:     177000 | #Constraints:      14238
89.12/89.44	c #Conflicts:     178000 | #Constraints:      15345
89.12/89.44	c #Conflicts:     179000 | #Constraints:      16485
89.12/89.44	c #Conflicts:     180000 | #Constraints:      17556
89.12/89.44	c INPROCESSING
89.12/89.44	c GARBAGE COLLECT
89.12/89.44	c rational objective 2.33933
95.31/95.63	c #Conflicts:     181000 | #Constraints:       9748
95.31/95.63	c #Conflicts:     182000 | #Constraints:      10755
95.31/95.63	c #Conflicts:     183000 | #Constraints:      11791
95.31/95.63	c #Conflicts:     184000 | #Constraints:      12795
95.31/95.63	c #Conflicts:     185000 | #Constraints:      13813
95.31/95.63	c #Conflicts:     186000 | #Constraints:      14815
95.31/95.63	c #Conflicts:     187000 | #Constraints:      15829
95.31/95.63	c #Conflicts:     188000 | #Constraints:      16829
95.31/95.63	c #Conflicts:     189000 | #Constraints:      17832
95.31/95.63	c INPROCESSING
95.31/95.63	c GARBAGE COLLECT
95.31/95.63	c rational objective 2.53061
102.19/102.58	c #Conflicts:     190000 | #Constraints:       9938
102.19/102.58	c #Conflicts:     191000 | #Constraints:      10943
102.19/102.58	c #Conflicts:     192000 | #Constraints:      11943
102.19/102.58	c #Conflicts:     193000 | #Constraints:      12943
102.19/102.58	c #Conflicts:     194000 | #Constraints:      13943
102.19/102.58	c #Conflicts:     195000 | #Constraints:      14943
102.19/102.58	c #Conflicts:     196000 | #Constraints:      15943
102.19/102.58	c #Conflicts:     197000 | #Constraints:      16943
102.19/102.58	c #Conflicts:     198000 | #Constraints:      17943
102.19/102.58	c INPROCESSING
102.19/102.58	c GARBAGE COLLECT
102.19/102.58	c rational objective 2.00074
109.48/109.80	c #Conflicts:     199000 | #Constraints:      10032
109.48/109.80	c #Conflicts:     200000 | #Constraints:      11107
109.48/109.80	c #Conflicts:     201000 | #Constraints:      12205
109.48/109.80	c #Conflicts:     202000 | #Constraints:      13335
109.48/109.80	c #Conflicts:     203000 | #Constraints:      14470
109.48/109.80	c #Conflicts:     204000 | #Constraints:      15578
109.48/109.80	c #Conflicts:     205000 | #Constraints:      16695
109.48/109.80	c #Conflicts:     206000 | #Constraints:      17739
109.48/109.80	c #Conflicts:     207000 | #Constraints:      18739
109.48/109.80	c INPROCESSING
109.48/109.80	c GARBAGE COLLECT
109.48/109.80	c rational objective 2.0015
117.06/117.48	c #Conflicts:     208000 | #Constraints:      10291
117.06/117.48	c #Conflicts:     209000 | #Constraints:      11291
117.06/117.48	c #Conflicts:     210000 | #Constraints:      12291
117.06/117.48	c #Conflicts:     211000 | #Constraints:      13291
117.06/117.48	c #Conflicts:     212000 | #Constraints:      14291
117.06/117.48	c #Conflicts:     213000 | #Constraints:      15291
117.06/117.48	c #Conflicts:     214000 | #Constraints:      16298
117.06/117.48	c #Conflicts:     215000 | #Constraints:      17302
117.06/117.48	c #Conflicts:     216000 | #Constraints:      18368
117.06/117.48	c INPROCESSING
117.06/117.48	c GARBAGE COLLECT
117.06/117.48	c rational objective 2.0015
124.64/125.02	c #Conflicts:     217000 | #Constraints:       9933
124.64/125.02	c #Conflicts:     218000 | #Constraints:      11034
124.64/125.02	c #Conflicts:     219000 | #Constraints:      12123
124.64/125.02	c #Conflicts:     220000 | #Constraints:      13249
124.64/125.02	c #Conflicts:     221000 | #Constraints:      14332
124.64/125.02	c #Conflicts:     222000 | #Constraints:      15421
124.64/125.02	c #Conflicts:     223000 | #Constraints:      16485
124.64/125.02	c #Conflicts:     224000 | #Constraints:      17485
124.64/125.02	c #Conflicts:     225000 | #Constraints:      18534
124.64/125.02	c #Conflicts:     226000 | #Constraints:      19536
124.64/125.02	c INPROCESSING
124.64/125.02	c GARBAGE COLLECT
124.64/125.02	c rational objective 2.0015
132.92/133.31	c #Conflicts:     227000 | #Constraints:      10697
132.92/133.31	c #Conflicts:     228000 | #Constraints:      11699
132.92/133.31	c #Conflicts:     229000 | #Constraints:      12715
132.92/133.31	c #Conflicts:     230000 | #Constraints:      13759
132.92/133.31	c #Conflicts:     231000 | #Constraints:      14801
132.92/133.31	c #Conflicts:     232000 | #Constraints:      15861
132.92/133.31	c #Conflicts:     233000 | #Constraints:      16901
132.92/133.31	c #Conflicts:     234000 | #Constraints:      17926
132.92/133.31	c #Conflicts:     235000 | #Constraints:      18976
132.92/133.31	c #Conflicts:     236000 | #Constraints:      19981
132.92/133.31	c INPROCESSING
132.92/133.31	c GARBAGE COLLECT
132.92/133.31	c rational objective 2.00345
140.20/140.69	c #Conflicts:     237000 | #Constraints:      11010
140.20/140.69	c #Conflicts:     238000 | #Constraints:      12014
140.20/140.69	c #Conflicts:     239000 | #Constraints:      13014
140.20/140.69	c #Conflicts:     240000 | #Constraints:      14014
140.20/140.69	c #Conflicts:     241000 | #Constraints:      15014
140.20/140.69	c #Conflicts:     242000 | #Constraints:      16014
140.20/140.69	c #Conflicts:     243000 | #Constraints:      17014
140.20/140.69	c #Conflicts:     244000 | #Constraints:      18014
140.20/140.69	c #Conflicts:     245000 | #Constraints:      19014
140.20/140.69	c #Conflicts:     246000 | #Constraints:      20014
140.20/140.69	c INPROCESSING
140.20/140.69	c GARBAGE COLLECT
140.20/140.69	c rational objective 2.00309
148.59/149.07	c #Conflicts:     247000 | #Constraints:      11056
148.59/149.07	c #Conflicts:     248000 | #Constraints:      12091
148.59/149.07	c #Conflicts:     249000 | #Constraints:      13127
148.59/149.07	c #Conflicts:     250000 | #Constraints:      14154
148.59/149.07	c #Conflicts:     251000 | #Constraints:      15164
148.59/149.07	c #Conflicts:     252000 | #Constraints:      16176
148.59/149.07	c #Conflicts:     253000 | #Constraints:      17186
148.59/149.07	c #Conflicts:     254000 | #Constraints:      18212
148.59/149.07	c #Conflicts:     255000 | #Constraints:      19228
148.59/149.07	c #Conflicts:     256000 | #Constraints:      20236
148.59/149.07	c INPROCESSING
148.59/149.07	c GARBAGE COLLECT
148.59/149.07	c rational objective 2.00309
157.36/157.85	c #Conflicts:     257000 | #Constraints:      11053
157.36/157.85	c #Conflicts:     258000 | #Constraints:      12075
157.36/157.85	c #Conflicts:     259000 | #Constraints:      13104
157.36/157.85	c #Conflicts:     260000 | #Constraints:      14125
157.36/157.85	c #Conflicts:     261000 | #Constraints:      15169
157.36/157.85	c #Conflicts:     262000 | #Constraints:      16226
157.36/157.85	c #Conflicts:     263000 | #Constraints:      17251
157.36/157.85	c #Conflicts:     264000 | #Constraints:      18254
157.36/157.85	c #Conflicts:     265000 | #Constraints:      19287
157.36/157.85	c #Conflicts:     266000 | #Constraints:      20320
157.36/157.85	c INPROCESSING
157.36/157.85	c GARBAGE COLLECT
157.36/157.85	c rational objective 2.00314
167.04/167.52	c #Conflicts:     267000 | #Constraints:      10874
167.04/167.52	c #Conflicts:     268000 | #Constraints:      11901
167.04/167.52	c #Conflicts:     269000 | #Constraints:      12945
167.04/167.52	c #Conflicts:     270000 | #Constraints:      13955
167.04/167.52	c #Conflicts:     271000 | #Constraints:      14975
167.04/167.52	c #Conflicts:     272000 | #Constraints:      15979
167.04/167.52	c #Conflicts:     273000 | #Constraints:      16980
167.04/167.52	c #Conflicts:     274000 | #Constraints:      17980
167.04/167.52	c #Conflicts:     275000 | #Constraints:      18980
167.04/167.52	c #Conflicts:     276000 | #Constraints:      19980
167.04/167.52	c #Conflicts:     277000 | #Constraints:      20980
167.04/167.52	c INPROCESSING
167.04/167.52	c GARBAGE COLLECT
167.04/167.52	c rational objective 2.00314
176.71/177.24	c #Conflicts:     278000 | #Constraints:      11433
176.71/177.24	c #Conflicts:     279000 | #Constraints:      12467
176.71/177.24	c #Conflicts:     280000 | #Constraints:      13506
176.71/177.24	c #Conflicts:     281000 | #Constraints:      14538
176.71/177.24	c #Conflicts:     282000 | #Constraints:      15585
176.71/177.24	c #Conflicts:     283000 | #Constraints:      16617
176.71/177.24	c #Conflicts:     284000 | #Constraints:      17623
176.71/177.24	c #Conflicts:     285000 | #Constraints:      18623
176.71/177.24	c #Conflicts:     286000 | #Constraints:      19623
176.71/177.24	c #Conflicts:     287000 | #Constraints:      20623
176.71/177.24	c #Conflicts:     288000 | #Constraints:      21623
176.71/177.24	c INPROCESSING
176.71/177.24	c GARBAGE COLLECT
176.71/177.24	c rational objective 2.00314
187.79/188.34	c #Conflicts:     289000 | #Constraints:      11845
187.79/188.34	c #Conflicts:     290000 | #Constraints:      12845
187.79/188.34	c #Conflicts:     291000 | #Constraints:      13845
187.79/188.34	c #Conflicts:     292000 | #Constraints:      14845
187.79/188.34	c #Conflicts:     293000 | #Constraints:      15845
187.79/188.34	c #Conflicts:     294000 | #Constraints:      16845
187.79/188.34	c #Conflicts:     295000 | #Constraints:      17845
187.79/188.34	c #Conflicts:     296000 | #Constraints:      18845
187.79/188.34	c #Conflicts:     297000 | #Constraints:      19845
187.79/188.34	c #Conflicts:     298000 | #Constraints:      20845
187.79/188.34	c #Conflicts:     299000 | #Constraints:      21845
187.79/188.34	c INPROCESSING
187.79/188.34	c GARBAGE COLLECT
187.79/188.34	c rational objective 2.0015
198.47/199.08	c #Conflicts:     300000 | #Constraints:      11956
198.47/199.08	c #Conflicts:     301000 | #Constraints:      12994
198.47/199.08	c #Conflicts:     302000 | #Constraints:      13994
198.47/199.08	c #Conflicts:     303000 | #Constraints:      15038
198.47/199.08	c #Conflicts:     304000 | #Constraints:      16100
198.47/199.08	c #Conflicts:     305000 | #Constraints:      17126
198.47/199.08	c #Conflicts:     306000 | #Constraints:      18167
198.47/199.08	c #Conflicts:     307000 | #Constraints:      19188
198.47/199.08	c #Conflicts:     308000 | #Constraints:      20188
198.47/199.08	c #Conflicts:     309000 | #Constraints:      21209
198.47/199.08	c #Conflicts:     310000 | #Constraints:      22270
198.47/199.08	c INPROCESSING
198.47/199.08	c GARBAGE COLLECT
198.47/199.08	c rational objective 2.00577
208.54/209.14	c #Conflicts:     311000 | #Constraints:      12042
208.54/209.14	c #Conflicts:     312000 | #Constraints:      13062
208.54/209.14	c #Conflicts:     313000 | #Constraints:      14092
208.54/209.14	c #Conflicts:     314000 | #Constraints:      15147
208.54/209.14	c #Conflicts:     315000 | #Constraints:      16215
208.54/209.14	c #Conflicts:     316000 | #Constraints:      17272
208.54/209.14	c #Conflicts:     317000 | #Constraints:      18272
208.54/209.14	c #Conflicts:     318000 | #Constraints:      19277
208.54/209.14	c #Conflicts:     319000 | #Constraints:      20289
208.54/209.14	c #Conflicts:     320000 | #Constraints:      21289
208.54/209.14	c #Conflicts:     321000 | #Constraints:      22292
208.54/209.14	c INPROCESSING
208.54/209.14	c GARBAGE COLLECT
208.54/209.14	c rational objective 2.00163
220.11/220.71	c #Conflicts:     322000 | #Constraints:      11885
220.11/220.71	c #Conflicts:     323000 | #Constraints:      12929
220.11/220.71	c #Conflicts:     324000 | #Constraints:      13933
220.11/220.71	c #Conflicts:     325000 | #Constraints:      14933
220.11/220.71	c #Conflicts:     326000 | #Constraints:      15933
220.11/220.71	c #Conflicts:     327000 | #Constraints:      16933
220.11/220.71	c #Conflicts:     328000 | #Constraints:      17933
220.11/220.71	c #Conflicts:     329000 | #Constraints:      18933
220.11/220.71	c #Conflicts:     330000 | #Constraints:      19933
220.11/220.71	c #Conflicts:     331000 | #Constraints:      20933
220.11/220.71	c #Conflicts:     332000 | #Constraints:      21933
220.11/220.71	c #Conflicts:     333000 | #Constraints:      22933
220.11/220.71	c INPROCESSING
220.11/220.71	c GARBAGE COLLECT
220.11/220.71	c rational objective 2.0016
220.11/220.76	c cpu time 218.01 s
220.11/220.76	c deterministic time 72488451564 7.25e+10
220.11/220.76	c optimization time 5.1e-05 s
220.11/220.76	c total solve time 218.01 s
220.11/220.76	c core-guided solve time 0 s
220.11/220.76	c propagation time 197.769 s
220.11/220.76	c conflict analysis time 16.1592 s
220.11/220.76	c propagations 2079212
220.11/220.76	c resolve steps 1134510
220.11/220.76	c decisions 502502
220.11/220.76	c conflicts 333205
220.11/220.76	c restarts 767
220.11/220.76	c inprocessing phases 49
220.11/220.76	c garbage collections 49 ,( 100.00 )
220.11/220.76	c input clauses 0 ,( 0.00 )
220.11/220.76	c input cardinalities 0 ,( 0.00 )
220.11/220.76	c input general constraints 2 ,( 100.00 )
220.11/220.76	c input average constraint length 86.00
220.11/220.76	c input average constraint degree 254207637.50
220.11/220.76	c learned clauses 151664 ,( 43.15 )
220.11/220.76	c learned cardinalities 0 ,( 0.00 )
220.11/220.76	c learned general constraints 199847 ,( 56.85 )
220.11/220.76	c learned average constraint length 63.74
220.11/220.76	c learned average constraint degree 89100447.14
220.11/220.76	c watched  CF 32, 64, 128, Arb: 34086 , 0 , 0 , 0
220.11/220.76	c counting CF 32, 64, 128, Arb: 165763 , 0 , 0 , 0
220.11/220.76	c watched   constraints 34086 ,( 17.06 ) 
220.11/220.76	c counting  constraints 165763 ,( 82.94 ) 
220.11/220.76	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14025941 , 0 , 3570230466 ,( 52670614 , 3517559852 )
220.11/220.76	c gcd simplifications 170102
220.11/220.76	c detected cardinalities 0
220.11/220.76	c weakened non-implied lits 1589516
220.11/220.76	c weakened non-implying lits 3196670
220.11/220.76	c original variables 86
220.11/220.76	c clausal propagations 222899
220.11/220.76	c cardinality propagations 0
220.11/220.76	c watched propagations 43912
220.11/220.76	c counting propagations 1466547
220.11/220.76	c watch lookups 3771447840
220.11/220.76	c watch backjump lookups 0
220.11/220.76	c watch checks 400825946
220.11/220.76	c propagation checks 68202879797
220.11/220.76	c constraint additions 107766858
220.11/220.76	c trail pops 2914919
220.11/220.76	c formula constraints 2
220.11/220.76	c learned constraints 333205
220.11/220.76	c bound constraints 0
220.11/220.76	c core-guided constraints 0
220.11/220.76	c encountered formula constraints 875606
220.11/220.76	c encountered learned constraints 592109
220.11/220.76	c encountered bound constraints 0
220.11/220.76	c encountered core-guided constraints 0
220.11/220.76	c LP total time 4.01104 s
220.11/220.76	c LP solve time 1.96 s
220.11/220.76	c LP constraints added 80
220.11/220.76	c LP constraints removed 72
220.11/220.76	c LP pivots internal 33321
220.11/220.76	c LP pivots root 1168
220.11/220.76	c LP calls 25286
220.11/220.76	c LP optimalities 6383
220.11/220.76	c LP no pivot count 636
220.11/220.76	c LP infeasibilities 18881
220.11/220.76	c LP valid Farkas constraints 18264
220.11/220.76	c LP learned Farkas constraints 0
220.11/220.76	c LP basis resets 22
220.11/220.76	c LP cycling count 9
220.11/220.76	c LP singular count 13
220.11/220.76	c LP no primal count 0
220.11/220.76	c LP no farkas count 0
220.11/220.76	c LP other issue count 0
220.11/220.76	c LP Gomory cuts 42
220.11/220.76	c LP learned cuts 38
220.11/220.76	c LP deleted cuts 74
220.11/220.76	c LP encountered Gomory constraints 0
220.11/220.76	c LP encountered Farkas constraints 0
220.11/220.76	c LP encountered learned Farkas constraints 0
220.11/220.76	c CG auxiliary variables introduced 0
220.11/220.76	c CG solutions found 0
220.11/220.76	c CG cores constructed 0
220.11/220.76	c CG core cardinality constraints returned 0
220.11/220.76	c CG unit cores 0
220.11/220.76	c CG single cores 0
220.11/220.76	c CG blocks removed during cardinality reduction 0
220.11/220.76	c CG first core best 0
220.11/220.76	c CG decision core best 0
220.11/220.76	c CG core reduction tie 0
220.11/220.76	c CG core degree average 0.00
220.11/220.76	c CG core slack average 0.00
220.11/220.76	c CG core upper bound improvements 0
220.11/220.76	c STR number of successful calls 0
220.11/220.76	c STR number of unsuccessful calls 0
220.11/220.76	c STR number of inconclusive calls 0
220.11/220.76	c STR number of successful attempts 0
220.11/220.76	c STR number of unsuccessful attempts 0
220.11/220.76	c STR number of inconclusive attempts 0
220.11/220.76	c STR average degree increase per successful call inf
220.11/220.76	c STR average degree increase per successful attempt inf
220.11/220.76	c STR total number of conflicts for successful attempts 0
220.11/220.76	c STR total number of conflicts for unsuccessful attempts 0
220.11/220.76	c STR total number of conflicts for inconclusive attempts 0
220.11/220.76	c STR average number of conflicts per successful attempt inf
220.11/220.76	c STR average number of conflicts per unsuccessful attempt inf
220.11/220.76	c STR average number of conflicts per inconclusive attempt inf
220.11/220.76	c AVG.sumWPerc 70.06 
220.11/220.76	c bigint constraints 0 
220.11/220.76	s SATISFIABLE
220.11/220.76	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 -x17 -x18 -x19 x20 -x21 x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86

Verifier Data 

OK	0

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 (62939 MiB free)
  memory of node 1: 64507 MiB (62981 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496004-1751157855/watcher-4496004-1751157855 -o /tmp/evaluation-result-4496004-1751157855/solver-4496004-1751157855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4496004-1751157855.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21344, runsolver pid=21341
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128942964/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=56600 memory=13600 CPUtime=0.07 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 732 0 0 0 7 0 0 0 20 0 1 0 31463447 57958400 3400 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 14150 3400 2400 1147 0 1577 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60792 KiB
Current children cumulated memory: 16672 KiB

[startup+0.205809 s]*
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128942964/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=57584 memory=14496 CPUtime=0.18 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 930 0 0 0 17 1 0 0 20 0 1 0 31463447 58966016 3624 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 14396 3624 2400 1147 0 1823 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61776 KiB
Current children cumulated memory: 17568 KiB

[startup+0.30567 s]*
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128942964/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=57728 memory=14752 CPUtime=0.27 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 998 0 0 0 26 1 0 0 20 0 1 0 31463447 59113472 3688 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 14432 3688 2400 1147 0 1859 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 61920 KiB
Current children cumulated memory: 17824 KiB

[startup+0.70025 s]
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128942720/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=59280 memory=16032 CPUtime=0.64 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 1328 0 0 0 62 2 0 0 20 0 1 0 31463447 60702720 4008 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 14820 4008 2400 1147 0 2247 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 63472 KiB
Current children cumulated memory: 19104 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128926336/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=60532 memory=19184 CPUtime=1.43 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 1623 0 0 0 139 4 0 0 20 0 1 0 31463447 61984768 4796 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 15133 4796 2400 1147 0 2560 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 64724 KiB
Current children cumulated memory: 22256 KiB

[startup+3.10547 s]
/proc/loadavg: 4.12 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128924320/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=62452 memory=20464 CPUtime=3.04 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 1966 0 0 0 297 7 0 0 20 0 1 0 31463447 63950848 5116 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 15613 5116 2400 1147 0 3040 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 66644 KiB
Current children cumulated memory: 23536 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.11 4.03 5/272 21347
/proc/meminfo: memFree=128924700/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=64084 memory=22000 CPUtime=6.22 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 2351 0 0 0 610 12 0 0 20 0 1 0 31463447 65622016 5500 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 16021 5500 2400 1147 0 3448 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 68276 KiB
Current children cumulated memory: 25072 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.03 5/272 21347
/proc/meminfo: memFree=128916508/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=70428 memory=25456 CPUtime=12.61 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 3207 0 0 0 1238 23 0 0 20 0 1 0 31463447 72118272 6364 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 17607 6364 2400 1147 0 5034 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 74620 KiB
Current children cumulated memory: 28528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.04 5/272 21348
/proc/meminfo: memFree=128916768/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=74308 memory=29040 CPUtime=25.38 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 4060 0 0 0 2499 39 0 0 20 0 1 0 31463447 76091392 7260 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 18577 7260 2464 1147 0 6004 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 78500 KiB
Current children cumulated memory: 32112 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.12 4.04 5/272 21348
/proc/meminfo: memFree=128915760/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=76024 memory=31856 CPUtime=50.92 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 4751 0 0 0 5018 74 0 0 20 0 1 0 31463447 77848576 7964 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 19006 7964 2496 1147 0 6433 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 80216 KiB
Current children cumulated memory: 34928 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/271 21354
/proc/meminfo: memFree=128930840/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=86904 memory=37740 CPUtime=102 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 7043 0 0 0 10079 121 0 0 20 0 1 0 31463447 88989696 9435 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 21726 9435 2496 1147 0 9153 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 91096 KiB
Current children cumulated memory: 40812 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/271 21356
/proc/meminfo: memFree=128906640/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=90528 memory=42816 CPUtime=161.85 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8065 0 0 0 16016 169 0 0 20 0 1 0 31463447 92700672 10704 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22632 10704 2496 1147 0 10059 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 94720 KiB
Current children cumulated memory: 45888 KiB

[startup+220.762 s]
# the end of solver process 21344 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=218.017 s, system=2.16845 s

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

[startup+179.2 s]
/proc/loadavg: 4.08 4.10 4.04 5/271 21356
/proc/meminfo: memFree=128905632/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91172 memory=43968 CPUtime=178.71 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8433 0 0 0 17687 184 0 0 20 0 1 0 31463447 93360128 10992 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22793 10992 2496 1147 0 10220 0
Current children cumulated CPU time: 178.71 s
Current children cumulated vsize: 95364 KiB
Current children cumulated memory: 47040 KiB

[startup+204.8 s]
/proc/loadavg: 4.11 4.11 4.04 5/271 21359
/proc/meminfo: memFree=128896960/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91300 memory=44224 CPUtime=204.25 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8572 0 0 0 20223 202 0 0 20 0 1 0 31463447 93491200 11056 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22825 11056 2496 1147 0 10252 0
Current children cumulated CPU time: 204.25 s
Current children cumulated vsize: 95492 KiB
Current children cumulated memory: 47296 KiB

[startup+211.2 s]
/proc/loadavg: 4.10 4.11 4.04 5/270 21360
/proc/meminfo: memFree=128895456/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91300 memory=45052 CPUtime=210.63 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8838 0 0 0 20857 206 0 0 20 0 1 0 31463447 93491200 11263 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22825 11263 2496 1147 0 10252 0
Current children cumulated CPU time: 210.63 s
Current children cumulated vsize: 95492 KiB
Current children cumulated memory: 48124 KiB

[startup+217.6 s]
/proc/loadavg: 4.09 4.11 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91300 memory=45052 CPUtime=217.02 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8841 0 0 0 21489 213 0 0 20 0 1 0 31463447 93491200 11263 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22825 11263 2496 1147 0 10252 0
Current children cumulated CPU time: 217.02 s
Current children cumulated vsize: 95492 KiB
Current children cumulated memory: 48124 KiB

[startup+219.2 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91556 memory=45180 CPUtime=218.61 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8880 0 0 0 21647 214 0 0 20 0 1 0 31463447 93753344 11295 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22889 11295 2496 1147 0 10316 0
Current children cumulated CPU time: 218.61 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 48252 KiB

[startup+220 s]*
/proc/loadavg: 4.08 4.10 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91812 memory=45308 CPUtime=219.41 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8902 0 0 0 21726 215 0 0 20 0 1 0 31463447 94015488 11327 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22953 11327 2496 1147 0 10380 0
Current children cumulated CPU time: 219.41 s
Current children cumulated vsize: 96004 KiB
Current children cumulated memory: 48380 KiB

[startup+220.4 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=91812 memory=45308 CPUtime=219.81 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8904 0 0 0 21765 216 0 0 20 0 1 0 31463447 94015488 11327 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 22953 11327 2496 1147 0 10380 0
Current children cumulated CPU time: 219.81 s
Current children cumulated vsize: 96004 KiB
Current children cumulated memory: 48380 KiB

[startup+220.6 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=92068 memory=45436 CPUtime=220.01 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 8960 0 0 0 21785 216 0 0 20 0 1 0 31463447 94277632 11359 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 23017 11359 2496 1147 0 10444 0
Current children cumulated CPU time: 220.01 s
Current children cumulated vsize: 96260 KiB
Current children cumulated memory: 48508 KiB

[startup+220.7 s]
/proc/loadavg: 4.08 4.10 4.04 5/270 21360
/proc/meminfo: memFree=128895220/131249996 swapFree=33010684/33010684
[pid=21344] ppid=21341 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21344/stat : 21344 (run-dec-break.s) S 21341 21344 17835 0 -1 4194304 237 212 0 0 0 0 0 0 20 0 1 0 31463446 4292608 768 18446744073709551615 94663071166464 94663072060997 140731098192144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94663072300048 94663072347792 94663089848320 140731098196321 140731098196450 140731098196450 140731098202052 0
/proc/21344/statm: 1048 768 704 219 0 110 0
[pid=21347] ppid=21344 vsize=92356 memory=45692 CPUtime=220.11 cores=5,7
/proc/21347/stat : 21347 (roundingsat) R 21344 21344 17835 0 -1 4194304 9002 0 0 0 21795 216 0 0 20 0 1 0 31463447 94572544 11423 18446744073709551615 4227072 8923433 140721086548752 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33452032 140721086556484 140721086556712 140721086556712 140721086562282 0
/proc/21347/statm: 23089 11423 2496 1147 0 10516 0
Current children cumulated CPU time: 220.11 s
Current children cumulated vsize: 96548 KiB
Current children cumulated memory: 48764 KiB

Child status: 0

Real time (s): 220.762
CPU time (s): 220.185
CPU user time (s): 218.017
CPU system time (s): 2.16845
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 96548
Max. memory (cumulated for all children) (KiB): 48764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.017
system time used= 2.16845
maximum resident set size= 45692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 279


# summary of solver processes directly reported to runsolver:
#   pid: 21344
#   total CPU time (s): 220.185
#   total CPU user time (s): 218.017
#   total CPU system time (s): 2.16845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.482851 second user time and 1.01856 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 02:44:15
IDJOB=4496004
IDBENCH=148104
IDSOLVER=3357
FILE ID=nodeC024/4496004-1751157855
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496004-1751157855/watcher-4496004-1751157855 -o /tmp/evaluation-result-4496004-1751157855/solver-4496004-1751157855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760  run-dec-break.sh HOME/instance-4496004-1751157855.opb

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

MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=2094513117

nodeC024 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.732
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.36
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.669
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.36
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.134
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.36
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		: 3599.929
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.36
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.688
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.36
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.694
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.36
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		: 3566.104
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.36
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		: 3664.953
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128943396 kB
MemAvailable:   128575480 kB
Buffers:            3280 kB
Cached:           427652 kB
SwapCached:            0 kB
Active:          1486160 kB
Inactive:         207640 kB
Active(anon):    1280940 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):   207640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7268 kB
Writeback:            24 kB
AnonPages:       1263136 kB
Mapped:           116956 kB
Shmem:             18064 kB
KReclaimable:      86264 kB
Slab:             169372 kB
SReclaimable:      86264 kB
SUnreclaim:        83108 kB
KernelStack:        4368 kB
PageTables:         5664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1845552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 02:47:56