Trace number 4503568

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 63f22ad? (TO) 3600.17 3610.1

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
MD5SUM8f50e455e41c11932a7c1290f673c930
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 benchmark107.722
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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-4503568-1751163511.opb'
0.68/0.73	c 	read 50.89MB  (725.99ms)
0.68/0.73	c	 [cnf: #variables 48411 #clauses 1121517 #duplicates 0 #arr 4317697]
0.68/0.73	c 
0.68/0.73	c make graph and approximate orbits
1.27/1.36	c	 [group: #orbits ~= 0] (625.08ms)
1.27/1.36	c 
1.27/1.36	c detect special group actions
1.27/1.36	c 	probe for Johnson action (limit=64)
1.27/1.37	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.27/1.38	c 	probe for row symmetry (limit=64, splits=16.78M)
1.37/1.40	c 	 (41.94ms)
1.37/1.40	c 
1.37/1.40	c detect symmetries on remainder
1.37/1.40	c 	[graph: #vertices 1320853 #edges 8937244]
1.37/1.42	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.37/1.49	c 	 [group: #symmetries 1.00*10^0 #generators 0] (92.73ms)
1.37/1.49	c 
1.37/1.49	c finalize break order and special generators
1.37/1.49	c 
1.37/1.49	c generation finished
1.37/1.49	c 	[sbp: #constraints 0 #add_vars 0]
1.48/1.50	c 
1.48/1.50	c write result to 'HOME/instance-4503568-1751163511.opb.pre'
1.58/1.61	c 	wrote 50.89MB (108.41ms)
1.58/1.61	c ------------------------------------------------------------------
1.58/1.61	c                 725.99ms 45.38% parse
1.58/1.61	c                 625.08ms 39.07% approx_orbits
1.58/1.61	c                 108.41ms  6.78% output
1.58/1.61	c                  92.73ms  5.80% detect_generic
1.58/1.61	c                  41.94ms  2.62% detect_special
1.58/1.61	c                   3.84ms  0.24% other
1.58/1.61	c                   1.89ms  0.12% finalize_order
1.58/1.61	c         ───────────────────────────────────────────────
1.58/1.61	c                1599.89ms   100% total
1.58/1.61	c ------------------------------------------------------------------
1.67/1.77	c RoundingSat 2
1.67/1.77	c branch pb25
1.67/1.77	c commit 63f22ad
5.07/5.19	c #variables 48411 #constraints 1123290
1939.92/1945.25	c #Conflicts:       1000 | #Constraints:    1124289
1939.92/1945.25	c #Conflicts:       2000 | #Constraints:    1125289
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:       3000 | #Constraints:    1125297
1939.92/1945.25	c #Conflicts:       4000 | #Constraints:    1126297
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:       5000 | #Constraints:    1125686
1939.92/1945.25	c #Conflicts:       6000 | #Constraints:    1126686
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:       7000 | #Constraints:    1125694
1939.92/1945.25	c #Conflicts:       8000 | #Constraints:    1126694
1939.92/1945.25	c #Conflicts:       9000 | #Constraints:    1127694
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      10000 | #Constraints:    1126382
1939.92/1945.25	c #Conflicts:      11000 | #Constraints:    1127382
1939.92/1945.25	c #Conflicts:      12000 | #Constraints:    1128382
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      13000 | #Constraints:    1126820
1939.92/1945.25	c #Conflicts:      14000 | #Constraints:    1127820
1939.92/1945.25	c #Conflicts:      15000 | #Constraints:    1128820
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      16000 | #Constraints:    1127010
1939.92/1945.25	c #Conflicts:      17000 | #Constraints:    1128010
1939.92/1945.25	c #Conflicts:      18000 | #Constraints:    1129010
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      19000 | #Constraints:    1127032
1939.92/1945.25	c #Conflicts:      20000 | #Constraints:    1128032
1939.92/1945.25	c #Conflicts:      21000 | #Constraints:    1129032
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      22000 | #Constraints:    1126811
1939.92/1945.25	c #Conflicts:      23000 | #Constraints:    1127811
1939.92/1945.25	c #Conflicts:      24000 | #Constraints:    1128811
1939.92/1945.25	c #Conflicts:      25000 | #Constraints:    1129811
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      26000 | #Constraints:    1127438
1939.92/1945.25	c #Conflicts:      27000 | #Constraints:    1128438
1939.92/1945.25	c #Conflicts:      28000 | #Constraints:    1129438
1939.92/1945.25	c #Conflicts:      29000 | #Constraints:    1130438
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      30000 | #Constraints:    1127849
1939.92/1945.25	c #Conflicts:      31000 | #Constraints:    1128849
1939.92/1945.25	c #Conflicts:      32000 | #Constraints:    1129849
1939.92/1945.25	c #Conflicts:      33000 | #Constraints:    1130849
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      34000 | #Constraints:    1128065
1939.92/1945.25	c #Conflicts:      35000 | #Constraints:    1129065
1939.92/1945.25	c #Conflicts:      36000 | #Constraints:    1130065
1939.92/1945.25	c #Conflicts:      37000 | #Constraints:    1131065
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      38000 | #Constraints:    1128261
1939.92/1945.25	c #Conflicts:      39000 | #Constraints:    1129261
1939.92/1945.25	c #Conflicts:      40000 | #Constraints:    1130261
1939.92/1945.25	c #Conflicts:      41000 | #Constraints:    1131261
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c GARBAGE COLLECT
1939.92/1945.25	c #Conflicts:      42000 | #Constraints:    1128172
1939.92/1945.25	c #Conflicts:      43000 | #Constraints:    1129172
1939.92/1945.25	c #Conflicts:      44000 | #Constraints:    1130172
1939.92/1945.25	c #Conflicts:      45000 | #Constraints:    1131172
1939.92/1945.25	c #Conflicts:      46000 | #Constraints:    1132172
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      47000 | #Constraints:    1128863
1939.92/1945.25	c #Conflicts:      48000 | #Constraints:    1129863
1939.92/1945.25	c #Conflicts:      49000 | #Constraints:    1130863
1939.92/1945.25	c #Conflicts:      50000 | #Constraints:    1131863
1939.92/1945.25	c #Conflicts:      51000 | #Constraints:    1132863
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      52000 | #Constraints:    1129098
1939.92/1945.25	c #Conflicts:      53000 | #Constraints:    1130098
1939.92/1945.25	c #Conflicts:      54000 | #Constraints:    1131098
1939.92/1945.25	c #Conflicts:      55000 | #Constraints:    1132098
1939.92/1945.25	c #Conflicts:      56000 | #Constraints:    1133098
1939.92/1945.25	c INPROCESSING
1939.92/1945.25	c #Conflicts:      57000 | #Constraints:    1129269
1939.92/1945.25	c #Conflicts:      58000 | #Constraints:    1130269
1939.92/1945.25	c #Conflicts:      59000 | #Constraints:    1131269
1939.92/1945.25	c #Conflicts:      60000 | #Constraints:    1132269
1939.92/1945.25	c #Conflicts:      61000 | #Constraints:    1133269
1939.92/1945.25	c #Conflicts:      62000 | #Constraints:    1134269
1939.92/1945.25	c #Conflicts:      63000 | #Constraints:    1135269
1939.92/1945.25	c #Conflicts:      64000 | #Constraints:    1136269
1939.92/1945.25	c #Conflicts:      65000 | #Constraints:    1137269
1939.92/1945.25	c #Conflicts:      66000 | #Constraints:    1138269
1939.92/1945.25	c #Conflicts:      67000 | #Constraints:    1139269
1939.92/1945.25	c #Conflicts:      68000 | #Constraints:    1140269
1939.92/1945.25	c #Conflicts:      69000 | #Constraints:    1141269
1939.92/1945.25	c #Conflicts:      70000 | #Constraints:    1142269
1939.92/1945.25	c #Conflicts:      71000 | #Constraints:    1143269
1939.92/1945.25	c #Conflicts:      72000 | #Constraints:    1144269
1939.92/1945.25	c #Conflicts:      73000 | #Constraints:    1145269
1939.92/1945.25	c #Conflicts:      74000 | #Constraints:    1146269
2631.17/2638.47	c #Conflicts:      75000 | #Constraints:    1147269
2631.17/2638.47	c #Conflicts:      76000 | #Constraints:    1148269
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c #Conflicts:      77000 | #Constraints:    1136794
2631.17/2638.47	c #Conflicts:      78000 | #Constraints:    1137794
2631.17/2638.47	c #Conflicts:      79000 | #Constraints:    1138794
2631.17/2638.47	c #Conflicts:      80000 | #Constraints:    1139794
2631.17/2638.47	c #Conflicts:      81000 | #Constraints:    1140794
2631.17/2638.47	c #Conflicts:      82000 | #Constraints:    1141794
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c GARBAGE COLLECT
2631.17/2638.47	c #Conflicts:      83000 | #Constraints:    1133466
2631.17/2638.47	c #Conflicts:      84000 | #Constraints:    1134466
2631.17/2638.47	c #Conflicts:      85000 | #Constraints:    1135466
2631.17/2638.47	c #Conflicts:      86000 | #Constraints:    1136466
2631.17/2638.47	c #Conflicts:      87000 | #Constraints:    1137466
2631.17/2638.47	c #Conflicts:      88000 | #Constraints:    1138466
2631.17/2638.47	c #Conflicts:      89000 | #Constraints:    1139466
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c #Conflicts:      90000 | #Constraints:    1132604
2631.17/2638.47	c #Conflicts:      91000 | #Constraints:    1133604
2631.17/2638.47	c #Conflicts:      92000 | #Constraints:    1134604
2631.17/2638.47	c #Conflicts:      93000 | #Constraints:    1135604
2631.17/2638.47	c #Conflicts:      94000 | #Constraints:    1136604
2631.17/2638.47	c #Conflicts:      95000 | #Constraints:    1137604
2631.17/2638.47	c #Conflicts:      96000 | #Constraints:    1138604
2631.17/2638.47	c #Conflicts:      97000 | #Constraints:    1139604
2631.17/2638.47	c #Conflicts:      98000 | #Constraints:    1140604
2631.17/2638.47	c #Conflicts:      99000 | #Constraints:    1141604
2631.17/2638.47	c #Conflicts:     100000 | #Constraints:    1142604
2631.17/2638.47	c #Conflicts:     101000 | #Constraints:    1143604
2631.17/2638.47	c #Conflicts:     102000 | #Constraints:    1144604
2631.17/2638.47	c #Conflicts:     103000 | #Constraints:    1145604
2631.17/2638.47	c #Conflicts:     104000 | #Constraints:    1146604
2631.17/2638.47	c #Conflicts:     105000 | #Constraints:    1147604
2631.17/2638.47	c #Conflicts:     106000 | #Constraints:    1148604
2631.17/2638.47	c #Conflicts:     107000 | #Constraints:    1149604
2631.17/2638.47	c #Conflicts:     108000 | #Constraints:    1150604
2631.17/2638.47	c #Conflicts:     109000 | #Constraints:    1151604
2631.17/2638.47	c #Conflicts:     110000 | #Constraints:    1152604
2631.17/2638.47	c #Conflicts:     111000 | #Constraints:    1153604
2631.17/2638.47	c #Conflicts:     112000 | #Constraints:    1154604
2631.17/2638.47	c #Conflicts:     113000 | #Constraints:    1155604
2631.17/2638.47	c #Conflicts:     114000 | #Constraints:    1156604
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c #Conflicts:     115000 | #Constraints:    1141202
2631.17/2638.47	c #Conflicts:     116000 | #Constraints:    1142202
2631.17/2638.47	c #Conflicts:     117000 | #Constraints:    1143202
2631.17/2638.47	c #Conflicts:     118000 | #Constraints:    1144202
2631.17/2638.47	c #Conflicts:     119000 | #Constraints:    1145202
2631.17/2638.47	c #Conflicts:     120000 | #Constraints:    1146202
2631.17/2638.47	c #Conflicts:     121000 | #Constraints:    1147202
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c GARBAGE COLLECT
2631.17/2638.47	c #Conflicts:     122000 | #Constraints:    1136293
2631.17/2638.47	c #Conflicts:     123000 | #Constraints:    1137293
2631.17/2638.47	c #Conflicts:     124000 | #Constraints:    1138293
2631.17/2638.47	c #Conflicts:     125000 | #Constraints:    1139293
2631.17/2638.47	c #Conflicts:     126000 | #Constraints:    1140293
2631.17/2638.47	c #Conflicts:     127000 | #Constraints:    1141293
2631.17/2638.47	c #Conflicts:     128000 | #Constraints:    1142293
2631.17/2638.47	c #Conflicts:     129000 | #Constraints:    1143293
2631.17/2638.47	c INPROCESSING
2631.17/2638.47	c #Conflicts:     130000 | #Constraints:    1134445
2631.17/2638.47	c #Conflicts:     131000 | #Constraints:    1135445
2631.17/2638.47	c #Conflicts:     132000 | #Constraints:    1136445
2631.17/2638.47	c #Conflicts:     133000 | #Constraints:    1137445
2631.17/2638.47	c #Conflicts:     134000 | #Constraints:    1138445
2631.17/2638.47	c #Conflicts:     135000 | #Constraints:    1139445
2631.17/2638.47	c #Conflicts:     136000 | #Constraints:    1140445
2631.17/2638.47	c #Conflicts:     137000 | #Constraints:    1141445
2631.17/2638.47	c #Conflicts:     138000 | #Constraints:    1142445
2631.17/2638.47	c #Conflicts:     139000 | #Constraints:    1143445
2631.17/2638.47	c #Conflicts:     140000 | #Constraints:    1144445
2631.17/2638.47	c #Conflicts:     141000 | #Constraints:    1145445
2631.17/2638.47	c #Conflicts:     142000 | #Constraints:    1146445
2631.17/2638.47	c #Conflicts:     143000 | #Constraints:    1147445
2631.17/2638.47	c #Conflicts:     144000 | #Constraints:    1148445
2631.17/2638.47	c #Conflicts:     145000 | #Constraints:    1149445
2631.17/2638.47	c #Conflicts:     146000 | #Constraints:    1150445
2631.17/2638.47	c #Conflicts:     147000 | #Constraints:    1151445
2631.17/2638.47	c #Conflicts:     148000 | #Constraints:    1152445
2631.17/2638.47	c #Conflicts:     149000 | #Constraints:    1153445
2631.17/2638.47	c #Conflicts:     150000 | #Constraints:    1154445
2631.17/2638.47	c #Conflicts:     151000 | #Constraints:    1155445
3103.03/3111.66	c #Conflicts:     152000 | #Constraints:    1156445
3103.03/3111.66	c #Conflicts:     153000 | #Constraints:    1157445
3103.03/3111.66	c #Conflicts:     154000 | #Constraints:    1158445
3103.03/3111.66	c #Conflicts:     155000 | #Constraints:    1159445
3103.03/3111.66	c #Conflicts:     156000 | #Constraints:    1160445
3103.03/3111.66	c #Conflicts:     157000 | #Constraints:    1161445
3103.03/3111.66	c #Conflicts:     158000 | #Constraints:    1162445
3103.03/3111.66	c INPROCESSING
3103.03/3111.66	c GARBAGE COLLECT
3103.03/3111.66	c #Conflicts:     159000 | #Constraints:    1143788
3103.03/3111.66	c #Conflicts:     160000 | #Constraints:    1144788
3103.03/3111.66	c #Conflicts:     161000 | #Constraints:    1145788
3103.03/3111.66	c #Conflicts:     162000 | #Constraints:    1146788
3103.03/3111.66	c #Conflicts:     163000 | #Constraints:    1147788
3103.03/3111.66	c #Conflicts:     164000 | #Constraints:    1148788
3103.03/3111.66	c #Conflicts:     165000 | #Constraints:    1149788
3103.03/3111.66	c #Conflicts:     166000 | #Constraints:    1150788
3103.03/3111.66	c #Conflicts:     167000 | #Constraints:    1151788
3103.03/3111.66	c #Conflicts:     168000 | #Constraints:    1152788
3103.03/3111.66	c INPROCESSING
3103.03/3111.66	c #Conflicts:     169000 | #Constraints:    1139413
3103.03/3111.66	c #Conflicts:     170000 | #Constraints:    1140413
3103.03/3111.66	c #Conflicts:     171000 | #Constraints:    1141413
3103.03/3111.66	c #Conflicts:     172000 | #Constraints:    1142413
3103.03/3111.66	c #Conflicts:     173000 | #Constraints:    1143413
3103.03/3111.66	c #Conflicts:     174000 | #Constraints:    1144413
3103.03/3111.66	c #Conflicts:     175000 | #Constraints:    1145413
3103.03/3111.66	c #Conflicts:     176000 | #Constraints:    1146413
3103.03/3111.66	c #Conflicts:     177000 | #Constraints:    1147413
3103.03/3111.66	c #Conflicts:     178000 | #Constraints:    1148413
3103.03/3111.66	c #Conflicts:     179000 | #Constraints:    1149413
3103.03/3111.66	c #Conflicts:     180000 | #Constraints:    1150413
3103.03/3111.66	c #Conflicts:     181000 | #Constraints:    1151413
3103.03/3111.66	c #Conflicts:     182000 | #Constraints:    1152413
3103.03/3111.66	c #Conflicts:     183000 | #Constraints:    1153413
3103.03/3111.66	c #Conflicts:     184000 | #Constraints:    1154413
3103.03/3111.66	c #Conflicts:     185000 | #Constraints:    1155413
3103.03/3111.66	c #Conflicts:     186000 | #Constraints:    1156413
3103.03/3111.66	c #Conflicts:     187000 | #Constraints:    1157413
3103.03/3111.66	c #Conflicts:     188000 | #Constraints:    1158413
3103.03/3111.66	c #Conflicts:     189000 | #Constraints:    1159413
3103.03/3111.66	c #Conflicts:     190000 | #Constraints:    1160413
3103.03/3111.66	c #Conflicts:     191000 | #Constraints:    1161413
3103.03/3111.66	c #Conflicts:     192000 | #Constraints:    1162413
3103.03/3111.66	c #Conflicts:     193000 | #Constraints:    1163413
3103.03/3111.66	c #Conflicts:     194000 | #Constraints:    1164413
3103.03/3111.66	c #Conflicts:     195000 | #Constraints:    1165413
3103.03/3111.66	c #Conflicts:     196000 | #Constraints:    1166413
3103.03/3111.66	c #Conflicts:     197000 | #Constraints:    1167413
3103.03/3111.66	c #Conflicts:     198000 | #Constraints:    1168413
3103.03/3111.66	c #Conflicts:     199000 | #Constraints:    1169413
3103.03/3111.66	c #Conflicts:     200000 | #Constraints:    1170413
3103.03/3111.66	c INPROCESSING
3103.03/3111.66	c GARBAGE COLLECT
3103.03/3111.66	c #Conflicts:     201000 | #Constraints:    1148468
3103.03/3111.66	c #Conflicts:     202000 | #Constraints:    1149468
3103.03/3111.66	c #Conflicts:     203000 | #Constraints:    1150468
3103.03/3111.66	c #Conflicts:     204000 | #Constraints:    1151468
3103.03/3111.66	c #Conflicts:     205000 | #Constraints:    1152468
3103.03/3111.66	c #Conflicts:     206000 | #Constraints:    1153468
3103.03/3111.66	c #Conflicts:     207000 | #Constraints:    1154468
3103.03/3111.66	c #Conflicts:     208000 | #Constraints:    1155468
3103.03/3111.66	c #Conflicts:     209000 | #Constraints:    1156468
3103.03/3111.66	c #Conflicts:     210000 | #Constraints:    1157468
3103.03/3111.66	c INPROCESSING
3103.03/3111.66	c #Conflicts:     211000 | #Constraints:    1141425
3103.03/3111.66	c #Conflicts:     212000 | #Constraints:    1142425
3103.03/3111.66	c #Conflicts:     213000 | #Constraints:    1143425
3103.03/3111.66	c #Conflicts:     214000 | #Constraints:    1144425
3103.03/3111.66	c #Conflicts:     215000 | #Constraints:    1145425
3103.03/3111.66	c #Conflicts:     216000 | #Constraints:    1146425
3103.03/3111.66	c #Conflicts:     217000 | #Constraints:    1147425
3103.03/3111.66	c #Conflicts:     218000 | #Constraints:    1148425
3103.03/3111.66	c #Conflicts:     219000 | #Constraints:    1149425
3103.03/3111.66	c #Conflicts:     220000 | #Constraints:    1150425
3103.03/3111.66	c #Conflicts:     221000 | #Constraints:    1151425
3103.03/3111.66	c #Conflicts:     222000 | #Constraints:    1152425
3103.03/3111.66	c #Conflicts:     223000 | #Constraints:    1153425
3103.03/3111.66	c #Conflicts:     224000 | #Constraints:    1154425
3103.03/3111.66	c #Conflicts:     225000 | #Constraints:    1155425
3103.03/3111.66	c #Conflicts:     226000 | #Constraints:    1156425
3103.03/3111.66	c #Conflicts:     227000 | #Constraints:    1157425
3103.03/3111.66	c #Conflicts:     228000 | #Constraints:    1158425
3462.64/3472.28	c #Conflicts:     229000 | #Constraints:    1159425
3462.64/3472.28	c #Conflicts:     230000 | #Constraints:    1160425
3462.64/3472.28	c #Conflicts:     231000 | #Constraints:    1161425
3462.64/3472.28	c #Conflicts:     232000 | #Constraints:    1162425
3462.64/3472.28	c #Conflicts:     233000 | #Constraints:    1163425
3462.64/3472.28	c #Conflicts:     234000 | #Constraints:    1164425
3462.64/3472.28	c #Conflicts:     235000 | #Constraints:    1165425
3462.64/3472.28	c #Conflicts:     236000 | #Constraints:    1166425
3462.64/3472.28	c #Conflicts:     237000 | #Constraints:    1167425
3462.64/3472.28	c #Conflicts:     238000 | #Constraints:    1168425
3462.64/3472.28	c #Conflicts:     239000 | #Constraints:    1169425
3462.64/3472.28	c #Conflicts:     240000 | #Constraints:    1170425
3462.64/3472.28	c #Conflicts:     241000 | #Constraints:    1171425
3462.64/3472.28	c #Conflicts:     242000 | #Constraints:    1172425
3462.64/3472.28	c #Conflicts:     243000 | #Constraints:    1173425
3462.64/3472.28	c #Conflicts:     244000 | #Constraints:    1174425
3462.64/3472.28	c #Conflicts:     245000 | #Constraints:    1175425
3462.64/3472.28	c INPROCESSING
3462.64/3472.28	c GARBAGE COLLECT
3462.64/3472.28	c #Conflicts:     246000 | #Constraints:    1150539
3462.64/3472.28	c #Conflicts:     247000 | #Constraints:    1151539
3462.64/3472.28	c #Conflicts:     248000 | #Constraints:    1152539
3462.64/3472.28	c #Conflicts:     249000 | #Constraints:    1153539
3462.64/3472.28	c #Conflicts:     250000 | #Constraints:    1154539
3462.64/3472.28	c #Conflicts:     251000 | #Constraints:    1155539
3462.64/3472.28	c #Conflicts:     252000 | #Constraints:    1156539
3462.64/3472.28	c #Conflicts:     253000 | #Constraints:    1157539
3462.64/3472.28	c #Conflicts:     254000 | #Constraints:    1158539
3462.64/3472.28	c #Conflicts:     255000 | #Constraints:    1159539
3462.64/3472.28	c #Conflicts:     256000 | #Constraints:    1160539
3462.64/3472.28	c #Conflicts:     257000 | #Constraints:    1161539
3462.64/3472.28	c INPROCESSING
3462.64/3472.28	c #Conflicts:     258000 | #Constraints:    1143762
3462.64/3472.28	c #Conflicts:     259000 | #Constraints:    1144762
3462.64/3472.28	c #Conflicts:     260000 | #Constraints:    1145762
3462.64/3472.28	c #Conflicts:     261000 | #Constraints:    1146762
3462.64/3472.28	c #Conflicts:     262000 | #Constraints:    1147762
3462.64/3472.28	c #Conflicts:     263000 | #Constraints:    1148762
3462.64/3472.28	c #Conflicts:     264000 | #Constraints:    1149762
3462.64/3472.28	c #Conflicts:     265000 | #Constraints:    1150762
3462.64/3472.28	c #Conflicts:     266000 | #Constraints:    1151762
3462.64/3472.28	c #Conflicts:     267000 | #Constraints:    1152762
3462.64/3472.28	c #Conflicts:     268000 | #Constraints:    1153762
3462.64/3472.28	c #Conflicts:     269000 | #Constraints:    1154762
3462.64/3472.28	c #Conflicts:     270000 | #Constraints:    1155762
3462.64/3472.28	c #Conflicts:     271000 | #Constraints:    1156762
3462.64/3472.28	c #Conflicts:     272000 | #Constraints:    1157762
3462.64/3472.28	c #Conflicts:     273000 | #Constraints:    1158762
3462.64/3472.28	c #Conflicts:     274000 | #Constraints:    1159762
3462.64/3472.28	c #Conflicts:     275000 | #Constraints:    1160762
3462.64/3472.28	c #Conflicts:     276000 | #Constraints:    1161762
3462.64/3472.28	c #Conflicts:     277000 | #Constraints:    1162762
3462.64/3472.28	c #Conflicts:     278000 | #Constraints:    1163762
3462.64/3472.28	c #Conflicts:     279000 | #Constraints:    1164762
3462.64/3472.28	c #Conflicts:     280000 | #Constraints:    1165762
3462.64/3472.28	c #Conflicts:     281000 | #Constraints:    1166762
3462.64/3472.28	c #Conflicts:     282000 | #Constraints:    1167762
3462.64/3472.28	c #Conflicts:     283000 | #Constraints:    1168762
3462.64/3472.28	c #Conflicts:     284000 | #Constraints:    1169762
3462.64/3472.28	c #Conflicts:     285000 | #Constraints:    1170762
3462.64/3472.28	c #Conflicts:     286000 | #Constraints:    1171762
3462.64/3472.28	c #Conflicts:     287000 | #Constraints:    1172762
3462.64/3472.28	c #Conflicts:     288000 | #Constraints:    1173762
3462.64/3472.28	c #Conflicts:     289000 | #Constraints:    1174762
3462.64/3472.28	c #Conflicts:     290000 | #Constraints:    1175762
3462.64/3472.28	c #Conflicts:     291000 | #Constraints:    1176762
3462.64/3472.28	c #Conflicts:     292000 | #Constraints:    1177762
3462.64/3472.28	c #Conflicts:     293000 | #Constraints:    1178762
3462.64/3472.28	c #Conflicts:     294000 | #Constraints:    1179762
3462.64/3472.28	c #Conflicts:     295000 | #Constraints:    1180762
3462.64/3472.28	c INPROCESSING
3462.64/3472.28	c GARBAGE COLLECT
3462.64/3472.28	c #Conflicts:     296000 | #Constraints:    1152988
3462.64/3472.28	c #Conflicts:     297000 | #Constraints:    1153988
3462.64/3472.28	c #Conflicts:     298000 | #Constraints:    1154988
3462.64/3472.28	c #Conflicts:     299000 | #Constraints:    1155988
3462.64/3472.28	c #Conflicts:     300000 | #Constraints:    1156988
3462.64/3472.28	c #Conflicts:     301000 | #Constraints:    1157988
3462.64/3472.28	c #Conflicts:     302000 | #Constraints:    1158988
3462.64/3472.28	c #Conflicts:     303000 | #Constraints:    1159988
3462.64/3472.28	c #Conflicts:     304000 | #Constraints:    1160988
3462.64/3472.28	c #Conflicts:     305000 | #Constraints:    1161988
3600.07/3610.00	c #Conflicts:     306000 | #Constraints:    1162988
3600.07/3610.00	c #Conflicts:     307000 | #Constraints:    1163988
3600.07/3610.00	c #Conflicts:     308000 | #Constraints:    1164988
3600.07/3610.00	c #Conflicts:     309000 | #Constraints:    1165988
3600.07/3610.00	c INPROCESSING
3600.07/3610.00	c #Conflicts:     310000 | #Constraints:    1146222
3600.07/3610.00	c #Conflicts:     311000 | #Constraints:    1147222
3600.07/3610.00	c #Conflicts:     312000 | #Constraints:    1148222
3600.07/3610.00	c #Conflicts:     313000 | #Constraints:    1149222
3600.07/3610.00	c #Conflicts:     314000 | #Constraints:    1150222
3600.07/3610.00	c #Conflicts:     315000 | #Constraints:    1151222
3600.07/3610.00	c #Conflicts:     316000 | #Constraints:    1152222
3600.07/3610.00	c #Conflicts:     317000 | #Constraints:    1153222
3600.07/3610.00	c #Conflicts:     318000 | #Constraints:    1154222
3600.07/3610.00	c #Conflicts:     319000 | #Constraints:    1155222
3600.07/3610.00	c #Conflicts:     320000 | #Constraints:    1156222
3600.07/3610.00	c #Conflicts:     321000 | #Constraints:    1157222
3600.07/3610.00	c #Conflicts:     322000 | #Constraints:    1158222
3600.07/3610.00	c #Conflicts:     323000 | #Constraints:    1159222
3600.07/3610.00	c #Conflicts:     324000 | #Constraints:    1160222
3600.07/3610.00	c #Conflicts:     325000 | #Constraints:    1161222
3600.07/3610.00	c #Conflicts:     326000 | #Constraints:    1162222
3600.07/3610.00	c #Conflicts:     327000 | #Constraints:    1163222
3600.07/3610.00	c #Conflicts:     328000 | #Constraints:    1164222
3600.07/3610.00	c #Conflicts:     329000 | #Constraints:    1165222
3600.07/3610.00	c #Conflicts:     330000 | #Constraints:    1166222
3600.07/3610.00	c #Conflicts:     331000 | #Constraints:    1167222
3600.07/3610.00	c #Conflicts:     332000 | #Constraints:    1168222
3600.07/3610.00	c #Conflicts:     333000 | #Constraints:    1169222
3600.07/3610.00	c #Conflicts:     334000 | #Constraints:    1170222
3600.07/3610.00	c #Conflicts:     335000 | #Constraints:    1171222
3600.07/3610.00	c #Conflicts:     336000 | #Constraints:    1172222
3600.07/3610.00	c #Conflicts:     337000 | #Constraints:    1173222
3600.07/3610.00	c #Conflicts:     338000 | #Constraints:    1174222
3600.07/3610.00	c #Conflicts:     339000 | #Constraints:    1175222
3600.07/3610.00	c #Conflicts:     340000 | #Constraints:    1176222
3600.07/3610.00	c #Conflicts:     341000 | #Constraints:    1177222
3600.07/3610.00	c #Conflicts:     342000 | #Constraints:    1178222
3600.07/3610.00	c #Conflicts:     343000 | #Constraints:    1179222
3600.07/3610.00	c #Conflicts:     344000 | #Constraints:    1180222
3600.07/3610.00	c #Conflicts:     345000 | #Constraints:    1181222
3600.07/3610.00	c #Conflicts:     346000 | #Constraints:    1182222
3600.07/3610.00	c #Conflicts:     347000 | #Constraints:    1183222
3600.07/3610.00	c #Conflicts:     348000 | #Constraints:    1184222
3600.07/3610.00	c #Conflicts:     349000 | #Constraints:    1185222
3600.07/3610.00	c #Conflicts:     350000 | #Constraints:    1186222
3600.07/3610.00	c INPROCESSING
3600.07/3610.00	c GARBAGE COLLECT
3600.07/3610.00	c cpu time 3591.59 s
3600.07/3610.00	c deterministic time 3886689780 3.89e+09
3600.07/3610.00	c optimization time 15.0031 s
3600.07/3610.00	c total solve time 3574.03 s
3600.07/3610.00	c core-guided solve time 0 s
3600.07/3610.00	c propagation time 45.4214 s
3600.07/3610.00	c conflict analysis time 14.1127 s
3600.07/3610.00	c propagations 532027669
3600.07/3610.00	c resolve steps 4236544
3600.07/3610.00	c decisions 7744745
3600.07/3610.00	c conflicts 350300
3600.07/3610.00	c restarts 828
3600.07/3610.00	c inprocessing phases 31
3600.07/3610.00	c garbage collections 8 ,( 25.81 )
3600.07/3610.00	c input clauses 1009495 ,( 89.87 )
3600.07/3610.00	c input cardinalities 3524 ,( 0.31 )
3600.07/3610.00	c input general constraints 110271 ,( 9.82 )
3600.07/3610.00	c input average constraint length 3.86
3600.07/3610.00	c input average constraint degree 1.12
3600.07/3610.00	c learned clauses 350120 ,( 99.95 )
3600.07/3610.00	c learned cardinalities 81 ,( 0.02 )
3600.07/3610.00	c learned general constraints 99 ,( 0.03 )
3600.07/3610.00	c learned average constraint length 106.83
3600.07/3610.00	c learned average constraint degree 1.01
3600.07/3610.00	c watched  CF 32, 64, 128, Arb: 13 , 0 , 0 , 0
3600.07/3610.00	c counting CF 32, 64, 128, Arb: 110357 , 0 , 0 , 0
3600.07/3610.00	c watched   constraints 13 ,( 0.01 ) 
3600.07/3610.00	c counting  constraints 110357 ,( 99.99 ) 
3600.07/3610.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 691385825 , 920509 , 20327306 ,( 1988 , 20325318 )
3600.07/3610.00	c gcd simplifications 112
3600.07/3610.00	c detected cardinalities 4
3600.07/3610.00	c weakened non-implied lits 57658
3600.07/3610.00	c weakened non-implying lits 193
3600.07/3610.00	c original variables 48411
3600.07/3610.00	c clausal propagations 526424428
3600.07/3610.00	c cardinality propagations 855005
3600.07/3610.00	c watched propagations 32
3600.07/3610.00	c counting propagations 4396830
3600.07/3610.00	c watch lookups 953033821
3600.07/3610.00	c watch backjump lookups 0
3600.07/3610.00	c watch checks 1185525691
3600.07/3610.00	c propagation checks 579996190
3600.07/3610.00	c constraint additions 88238963
3600.07/3610.00	c trail pops 540122700
3600.07/3610.00	c formula constraints 1123290
3600.07/3610.00	c learned constraints 350300
3600.07/3610.00	c bound constraints 0
3600.07/3610.00	c core-guided constraints 0
3600.07/3610.00	c encountered formula constraints 3511742
3600.07/3610.00	c encountered learned constraints 1075102
3600.07/3610.00	c encountered bound constraints 0
3600.07/3610.00	c encountered core-guided constraints 0
3600.07/3610.00	c LP total time 0 s
3600.07/3610.00	c LP solve time 0 s
3600.07/3610.00	c LP constraints added 0
3600.07/3610.00	c LP constraints removed 0
3600.07/3610.00	c LP pivots internal 0
3600.07/3610.00	c LP pivots root 0
3600.07/3610.00	c LP calls 0
3600.07/3610.00	c LP optimalities 0
3600.07/3610.00	c LP no pivot count 0
3600.07/3610.00	c LP infeasibilities 0
3600.07/3610.00	c LP valid Farkas constraints 0
3600.07/3610.00	c LP learned Farkas constraints 0
3600.07/3610.00	c LP basis resets 0
3600.07/3610.00	c LP cycling count 0
3600.07/3610.00	c LP singular count 0
3600.07/3610.00	c LP no primal count 0
3600.07/3610.00	c LP no farkas count 0
3600.07/3610.00	c LP other issue count 0
3600.07/3610.00	c LP Gomory cuts 0
3600.07/3610.00	c LP learned cuts 0
3600.07/3610.00	c LP deleted cuts 0
3600.07/3610.00	c LP encountered Gomory constraints 0
3600.07/3610.00	c LP encountered Farkas constraints 0
3600.07/3610.00	c LP encountered learned Farkas constraints 0
3600.07/3610.00	c CG auxiliary variables introduced 0
3600.07/3610.00	c CG solutions found 0
3600.07/3610.00	c CG cores constructed 0
3600.07/3610.00	c CG core cardinality constraints returned 0
3600.07/3610.00	c CG unit cores 0
3600.07/3610.00	c CG single cores 0
3600.07/3610.00	c CG blocks removed during cardinality reduction 0
3600.07/3610.00	c CG first core best 0
3600.07/3610.00	c CG decision core best 0
3600.07/3610.00	c CG core reduction tie 0
3600.07/3610.00	c CG core degree average 0.00
3600.07/3610.00	c CG core slack average 0.00
3600.07/3610.00	c CG core upper bound improvements 0
3600.07/3610.00	c STR number of successful calls 0
3600.07/3610.00	c STR number of unsuccessful calls 0
3600.07/3610.00	c STR number of inconclusive calls 0
3600.07/3610.00	c STR number of successful attempts 0
3600.07/3610.00	c STR number of unsuccessful attempts 0
3600.07/3610.00	c STR number of inconclusive attempts 0
3600.07/3610.00	c STR average degree increase per successful call inf
3600.07/3610.00	c STR average degree increase per successful attempt inf
3600.07/3610.00	c STR total number of conflicts for successful attempts 0
3600.07/3610.00	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.00	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.00	c STR average number of conflicts per successful attempt inf
3600.07/3610.00	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.00	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.00	c AVG.sumWPerc 60.72 
3600.07/3610.00	c bigint constraints 0 
3600.07/3610.00	s UNKNOWN
3600.07/3610.00	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62968 MiB free)
  memory of node 1: 64507 MiB (62699 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100063 s]*
/proc/loadavg: 4.21 4.16 4.11 5/269 22372
/proc/meminfo: memFree=128425656/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22372] ppid=22370 vsize=302696 memory=274492 CPUtime=0.08 cores=4,6
/proc/22372/stat : 22372 (pbsuma) R 22370 22370 17835 0 -1 4194304 3778 0 0 0 3 5 0 0 20 0 1 0 32028995 309960704 68623 18446744073709551615 4210688 4653049 140723980535984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16449536 140723980544355 140723980544562 140723980544562 140723980550127 0
/proc/22372/statm: 75674 68623 928 108 0 73082 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 306888 KiB
Current children cumulated memory: 277564 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.21 4.16 4.11 5/269 22372
/proc/meminfo: memFree=128409652/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22372] ppid=22370 vsize=322348 memory=299632 CPUtime=0.19 cores=4,6
/proc/22372/stat : 22372 (pbsuma) R 22370 22370 17835 0 -1 4194304 8145 0 0 0 13 6 0 0 20 0 1 0 32028995 330084352 74908 18446744073709551615 4210688 4653049 140723980535984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16449536 140723980544355 140723980544562 140723980544562 140723980550127 0
/proc/22372/statm: 80587 74908 928 108 0 77995 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 326540 KiB
Current children cumulated memory: 302704 KiB

[startup+0.305578 s]*
/proc/loadavg: 4.21 4.16 4.11 5/269 22372
/proc/meminfo: memFree=128381488/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22372] ppid=22370 vsize=343044 memory=321436 CPUtime=0.29 cores=4,6
/proc/22372/stat : 22372 (pbsuma) R 22370 22370 17835 0 -1 4194304 12052 0 0 0 21 8 0 0 20 0 1 0 32028995 351277056 80359 18446744073709551615 4210688 4653049 140723980535984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16449536 140723980544355 140723980544562 140723980544562 140723980550127 0
/proc/22372/statm: 85761 80359 928 108 0 83169 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 347236 KiB
Current children cumulated memory: 324508 KiB

[startup+0.700195 s]
/proc/loadavg: 4.21 4.16 4.11 5/269 22372
/proc/meminfo: memFree=128349356/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22372] ppid=22370 vsize=435156 memory=403720 CPUtime=0.68 cores=4,6
/proc/22372/stat : 22372 (pbsuma) R 22370 22370 17835 0 -1 4194304 25686 0 0 0 55 13 0 0 20 0 1 0 32028995 445599744 100930 18446744073709551615 4210688 4653049 140723980535984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16449536 140723980544355 140723980544562 140723980544562 140723980550127 0
/proc/22372/statm: 108789 100930 928 108 0 106197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 439348 KiB
Current children cumulated memory: 406792 KiB

[startup+1.5002 s]
/proc/loadavg: 4.21 4.16 4.11 5/269 22372
/proc/meminfo: memFree=128123748/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22372] ppid=22370 vsize=675760 memory=591808 CPUtime=1.48 cores=4,6
/proc/22372/stat : 22372 (pbsuma) R 22370 22370 17835 0 -1 4194304 44624 0 0 0 126 22 0 0 20 0 1 0 32028995 691978240 147952 18446744073709551615 4210688 4653049 140723980535984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16449536 140723980544355 140723980544562 140723980544562 140723980550127 0
/proc/22372/statm: 168940 147952 992 108 0 166348 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 679952 KiB
Current children cumulated memory: 594880 KiB

[startup+3.10544 s]
/proc/loadavg: 4.21 4.16 4.11 5/269 22373
/proc/meminfo: memFree=128359868/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=225808 memory=173020 CPUtime=1.32 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 38334 0 0 0 99 33 0 0 20 0 1 0 32029171 231227392 43255 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 56452 43255 2016 1147 0 43879 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 230000 KiB
Current children cumulated memory: 176092 KiB

[startup+6.30019 s]
/proc/loadavg: 4.19 4.16 4.11 5/269 22373
/proc/meminfo: memFree=128128028/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=546996 memory=452272 CPUtime=4.5 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 96083 0 0 0 364 86 0 0 20 0 1 0 32029171 560123904 113068 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 136749 113068 2016 1147 0 124176 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 551188 KiB
Current children cumulated memory: 455344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.16 4.11 5/269 22373
/proc/meminfo: memFree=128128032/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=546996 memory=452272 CPUtime=10.89 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 96096 0 0 0 1003 86 0 0 20 0 1 0 32029171 560123904 113068 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 136749 113068 2016 1147 0 124176 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 551188 KiB
Current children cumulated memory: 455344 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 22374
/proc/meminfo: memFree=128185940/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=546996 memory=452272 CPUtime=23.65 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 96106 0 0 0 2279 86 0 0 20 0 1 0 32029171 560123904 113068 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 136749 113068 2016 1147 0 124176 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 551188 KiB
Current children cumulated memory: 455344 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.15 4.11 5/268 22374
/proc/meminfo: memFree=128185948/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=546996 memory=452272 CPUtime=49.19 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 96106 0 0 0 4833 86 0 0 20 0 1 0 32029171 560123904 113068 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 136749 113068 2016 1147 0 124176 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 551188 KiB
Current children cumulated memory: 455344 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 22377
/proc/meminfo: memFree=128171044/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=546996 memory=452272 CPUtime=100.26 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 96119 0 0 0 9940 86 0 0 20 0 1 0 32029171 560123904 113068 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 136749 113068 2016 1147 0 124176 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 551188 KiB
Current children cumulated memory: 455344 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/269 22382
/proc/meminfo: memFree=128143492/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=577112 memory=478008 CPUtime=160.11 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 102473 0 0 0 15922 89 0 0 20 0 1 0 32029171 590962688 119502 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 144278 119502 2112 1147 0 131705 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 581304 KiB
Current children cumulated memory: 481080 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/270 22386
/proc/meminfo: memFree=128135464/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=577112 memory=478008 CPUtime=219.96 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 102486 0 0 0 21907 89 0 0 20 0 1 0 32029171 590962688 119502 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 144278 119502 2112 1147 0 131705 0

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

/proc/22373/statm: 158576 143145 2112 1147 0 146003 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 638496 KiB
Current children cumulated memory: 575652 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 22728
/proc/meminfo: memFree=123861100/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=634304 memory=572580 CPUtime=3092 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 114836 0 0 0 308736 464 0 0 20 0 1 0 32029171 649527296 143145 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 158576 143145 2112 1147 0 146003 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 638496 KiB
Current children cumulated memory: 575652 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 22736
/proc/meminfo: memFree=123847488/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=686900 memory=582400 CPUtime=3151.84 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 115776 0 0 0 314676 508 0 0 20 0 1 0 32029171 703385600 145600 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 171725 145600 2112 1147 0 159152 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 691092 KiB
Current children cumulated memory: 585472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/268 22738
/proc/meminfo: memFree=123819072/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=686900 memory=582400 CPUtime=3211.67 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 115957 0 0 0 320659 508 0 0 20 0 1 0 32029171 703385600 145600 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 171725 145600 2112 1147 0 159152 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 691092 KiB
Current children cumulated memory: 585472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 22743
/proc/meminfo: memFree=123808176/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=686900 memory=582400 CPUtime=3271.51 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116015 0 0 0 326617 534 0 0 20 0 1 0 32029171 703385600 145600 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 171725 145600 2112 1147 0 159152 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 691092 KiB
Current children cumulated memory: 585472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 22745
/proc/meminfo: memFree=123809744/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=686900 memory=582400 CPUtime=3331.35 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116015 0 0 0 332601 534 0 0 20 0 1 0 32029171 703385600 145600 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 171725 145600 2112 1147 0 159152 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 691092 KiB
Current children cumulated memory: 585472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 22747
/proc/meminfo: memFree=123790324/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=688484 memory=584064 CPUtime=3391.19 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116430 0 0 0 338523 596 0 0 20 0 1 0 32029171 705007616 146016 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 172121 146016 2112 1147 0 159548 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 692676 KiB
Current children cumulated memory: 587136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 22749
/proc/meminfo: memFree=123787540/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=688484 memory=584064 CPUtime=3451.02 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116430 0 0 0 344506 596 0 0 20 0 1 0 32029171 705007616 146016 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 172121 146016 2112 1147 0 159548 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 692676 KiB
Current children cumulated memory: 587136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 22752
/proc/meminfo: memFree=123795740/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=688484 memory=584064 CPUtime=3510.85 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116430 0 0 0 350458 627 0 0 20 0 1 0 32029171 705007616 146016 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 172121 146016 2112 1147 0 159548 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 692676 KiB
Current children cumulated memory: 587136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 22754
/proc/meminfo: memFree=123789124/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=688484 memory=584064 CPUtime=3570.68 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 116430 0 0 0 356441 627 0 0 20 0 1 0 32029171 705007616 146016 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 172121 146016 2112 1147 0 159548 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 692676 KiB
Current children cumulated memory: 587136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.18 4.11 4.10 5/267 22755
/proc/meminfo: memFree=123781456/131249996 swapFree=33010684/33010684
[pid=22370] ppid=22367 vsize=4192 memory=3072 CPUtime=1.75 cores=4,6
/proc/22370/stat : 22370 (run-dec-break.s) S 22367 22370 17835 0 -1 4194304 237 44754 0 0 0 0 151 24 20 0 1 0 32028995 4292608 768 18446744073709551615 94449205063680 94449205958213 140735486918736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94449206197264 94449206245008 94449238880256 140735486921057 140735486921186 140735486921186 140735486926788 0
/proc/22370/statm: 1048 768 704 219 0 110 0
[pid=22373] ppid=22370 vsize=691520 memory=587008 CPUtime=3598.32 cores=4,6
/proc/22373/stat : 22373 (roundingsat) R 22370 22370 17835 0 -1 4194304 117174 0 0 0 359159 673 0 0 20 0 1 0 32029171 708116480 146752 18446744073709551615 4227072 8923433 140723482963232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18898944 140723482966340 140723482966568 140723482966568 140723482972138 0
/proc/22373/statm: 172880 146752 2112 1147 0 160307 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 695712 KiB
Current children cumulated memory: 590080 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3593.19 s, system=6.97836 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

Child status: 2

Real time (s): 3610.1
CPU time (s): 3600.17
CPU user time (s): 3593.19
CPU system time (s): 6.97836
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 695712
Max. memory (cumulated for all children) (KiB): 594880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.19
system time used= 6.97836
maximum resident set size= 662500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 99400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 1067


# summary of solver processes directly reported to runsolver:
#   pid: 22370,22373
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3593.19
#   total CPU system time (s): 6.97836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4255 second user time and 16.9667 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 04:18:31
IDJOB=4503568
IDBENCH=155522
IDSOLVER=3357
FILE ID=nodeC024/4503568-1751163511
RUNJOBID= nodeC024-1751155906-17846
SLURM_JOB_ID= 9587473
Free space on /tmp= 432920 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503568-1751163511/watcher-4503568-1751163511 -o /tmp/evaluation-result-4503568-1751163511/solver-4503568-1751163511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17846 --watchdog 3760  run-dec-break.sh HOME/instance-4503568-1751163511.opb

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

MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=1339384486

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128684712 kB
MemAvailable:   128422244 kB
Buffers:            3280 kB
Cached:           548096 kB
SwapCached:            0 kB
Active:          1592116 kB
Inactive:         328092 kB
Active(anon):    1386896 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):   328092 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56824 kB
Writeback:             0 kB
AnonPages:       1365748 kB
Mapped:           116308 kB
Shmem:             18064 kB
KReclaimable:      86520 kB
Slab:             169904 kB
SReclaimable:      86520 kB
SUnreclaim:        83384 kB
KernelStack:        4320 kB
PageTables:         5864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1829208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1159168 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= 432268 MiB
End job on nodeC024 at 2025-06-29 05:18:41