Trace number 4489649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22ad? (TO) 3602.07 3616.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark3586.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 492823
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 492823
Number of bits of the biggest sum of numbers19
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-4489649-1751357811.opb'
0.29/0.33	c 	read 17.23MB  (323.82ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.33	c output proof to 'PROOFDIR/proof-4489649-1751357811'
0.29/0.33	c 
0.29/0.33	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (355.70ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.58/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	 (17.88ms)
0.67/0.71	c 
0.67/0.71	c detect symmetries on remainder
0.67/0.71	c 	[graph: #vertices 706685 #edges 2766368]
0.67/0.71	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.49ms)
0.67/0.76	c 
0.67/0.76	c finalize break order and special generators
0.67/0.76	c 
0.67/0.76	c generation finished
0.67/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.76	c 
0.67/0.76	c write result to 'HOME/instance-4489649-1751357811.opb.pre'
0.67/0.79	c 	wrote 17.23MB (35.62ms)
0.67/0.79	c ------------------------------------------------------------------
0.67/0.79	c                 355.70ms 45.31% approx_orbits
0.67/0.79	c                 323.82ms 41.25% parse
0.67/0.79	c                  48.49ms  6.18% detect_generic
0.67/0.79	c                  35.62ms  4.54% output
0.67/0.79	c                  17.88ms  2.28% detect_special
0.67/0.79	c                   3.18ms  0.41% other
0.67/0.79	c                   0.38ms  0.05% finalize_order
0.67/0.79	c         ───────────────────────────────────────────────
0.67/0.79	c                 785.08ms   100% total
0.67/0.79	c ------------------------------------------------------------------
0.87/0.93	c RoundingSat 2
0.87/0.93	c branch pb25
0.87/0.93	c commit 63f22ad
4.24/4.39	c #variables 10000 #constraints 656900
4.24/4.39	c objective is ce32 
4.24/4.39	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.24/4.39	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.24/4.39	c bounds - >= 0 @ 2.76412
6.05/6.19	c rational objective 165.925
10.13/10.20	c bounds 6515 >= 0 @ 8.43537
10.63/10.70	c bounds 6323 >= 0 @ 8.91908
10.63/10.71	c bounds 6305 >= 0 @ 8.92879
10.63/10.72	c bounds 6300 >= 0 @ 8.93572
10.63/10.73	c bounds 6270 >= 0 @ 8.94742
10.63/10.75	c bounds 6267 >= 0 @ 8.96443
10.63/10.76	c bounds 6202 >= 0 @ 8.97339
10.72/10.82	c bounds 6194 >= 0 @ 9.02633
10.72/10.83	c bounds 6126 >= 0 @ 9.03551
10.72/10.84	c bounds 6102 >= 0 @ 9.05129
10.72/10.86	c bounds 6055 >= 0 @ 9.0686
10.72/10.87	c bounds 6030 >= 0 @ 9.07391
10.72/10.88	c bounds 6029 >= 0 @ 9.08564
10.72/10.89	c bounds 6024 >= 0 @ 9.08885
10.82/10.90	c bounds 6001 >= 0 @ 9.09871
10.82/10.97	c bounds 5978 >= 0 @ 9.16998
10.82/10.97	c bounds 5964 >= 0 @ 9.17573
10.82/11.00	c bounds 5936 >= 0 @ 9.19542
10.93/11.02	c bounds 5919 >= 0 @ 9.215
10.93/11.02	c bounds 5706 >= 0 @ 9.22103
10.93/11.06	c bounds 5702 >= 0 @ 9.25726
11.22/11.33	c bounds 5687 >= 0 @ 9.52205
11.22/11.34	c bounds 5677 >= 0 @ 9.52926
11.22/11.35	c bounds 5526 >= 0 @ 9.53592
11.22/11.36	c bounds 5468 >= 0 @ 9.54309
11.32/11.46	c bounds 5439 >= 0 @ 9.63784
11.32/11.47	c bounds 5296 >= 0 @ 9.64567
11.32/11.47	c bounds 5274 >= 0 @ 9.65306
11.42/11.51	c bounds 5270 >= 0 @ 9.68216
11.42/11.51	c bounds 5200 >= 0 @ 9.69074
11.42/11.52	c bounds 5109 >= 0 @ 9.69699
11.42/11.55	c bounds 5076 >= 0 @ 9.71869
11.42/11.56	c bounds 4952 >= 0 @ 9.72639
11.42/11.56	c bounds 4944 >= 0 @ 9.73335
11.42/11.57	c bounds 4849 >= 0 @ 9.73924
11.42/11.58	c bounds 4677 >= 0 @ 9.7463
11.42/11.59	c bounds 4586 >= 0 @ 9.75231
11.52/11.60	c bounds 4579 >= 0 @ 9.75958
11.52/11.61	c bounds 4502 >= 0 @ 9.76777
11.52/11.63	c bounds 4498 >= 0 @ 9.78182
11.62/11.72	c bounds 4490 >= 0 @ 9.87752
11.62/11.74	c bounds 4463 >= 0 @ 9.88908
11.62/11.75	c bounds 4369 >= 0 @ 9.89704
11.62/11.76	c bounds 4279 >= 0 @ 9.90686
11.62/11.77	c bounds 4016 >= 0 @ 9.91558
12.82/13.00	c bounds 4008 >= 0 @ 11.1161
12.92/13.01	c bounds 4006 >= 0 @ 11.1281
12.92/13.02	c bounds 4003 >= 0 @ 11.1401
13.22/13.30	c bounds 4002 >= 0 @ 11.413
13.71/13.88	c bounds 3988 >= 0 @ 11.9785
13.82/13.91	c bounds 3977 >= 0 @ 12.0069
13.92/14.03	c bounds 3961 >= 0 @ 12.1177
13.92/14.04	c bounds 3922 >= 0 @ 12.126
13.92/14.05	c bounds 3902 >= 0 @ 12.1338
14.02/14.16	c bounds 3901 >= 0 @ 12.2403
14.11/14.28	c bounds 3896 >= 0 @ 12.3576
14.11/14.29	c bounds 3832 >= 0 @ 12.373
14.21/14.30	c bounds 3786 >= 0 @ 12.3804
14.21/14.33	c bounds 3730 >= 0 @ 12.408
14.21/14.35	c bounds 3706 >= 0 @ 12.4154
14.21/14.36	c bounds 3661 >= 0 @ 12.4238
14.32/14.49	c bounds 3660 >= 0 @ 12.5575
14.41/14.50	c bounds 3639 >= 0 @ 12.5647
14.41/14.52	c bounds 3630 >= 0 @ 12.5778
14.41/14.53	c bounds 3407 >= 0 @ 12.5846
14.41/14.54	c bounds 3393 >= 0 @ 12.5904
14.41/14.54	c bounds 3370 >= 0 @ 12.5958
14.41/14.55	c #Conflicts:       1000 | #Constraints:     657978
14.41/14.55	c bounds 3199 >= 0 @ 12.6029
14.52/14.67	c bounds 3192 >= 0 @ 12.7163
14.52/14.68	c bounds 3120 >= 0 @ 12.7231
14.62/14.70	c bounds 3092 >= 0 @ 12.737
14.62/14.71	c bounds 3069 >= 0 @ 12.742
14.62/14.75	c bounds 3056 >= 0 @ 12.7795
14.72/14.85	c bounds 3052 >= 0 @ 12.8798
14.72/14.87	c bounds 3048 >= 0 @ 12.8953
14.92/15.01	c bounds 3044 >= 0 @ 13.037
14.92/15.03	c bounds 3043 >= 0 @ 13.0501
14.92/15.05	c bounds 3031 >= 0 @ 13.0664
14.92/15.09	c bounds 3024 >= 0 @ 13.1007
15.11/15.23	c bounds 3023 >= 0 @ 13.2389
15.11/15.24	c bounds 2986 >= 0 @ 13.25
15.11/15.28	c bounds 2942 >= 0 @ 13.28
15.11/15.28	c bounds 2941 >= 0 @ 13.2872
15.21/15.39	c bounds 2912 >= 0 @ 13.3885
15.31/15.43	c bounds 2882 >= 0 @ 13.4307
15.51/15.65	c bounds 2842 >= 0 @ 13.6485
15.51/15.67	c bounds 2796 >= 0 @ 13.6546
15.71/15.82	c bounds 2792 >= 0 @ 13.7983
15.81/15.92	c bounds 2785 >= 0 @ 13.8953
15.81/15.93	c bounds 2662 >= 0 @ 13.9054
15.81/15.95	c bounds 2619 >= 0 @ 13.9177
15.81/15.96	c bounds 2576 >= 0 @ 13.9264
15.81/15.97	c bounds 2535 >= 0 @ 13.933
15.91/16.07	c bounds 2532 >= 0 @ 14.0365
16.11/16.25	c bounds 2523 >= 0 @ 14.2108
16.21/16.35	c bounds 2494 >= 0 @ 14.3014
16.41/16.57	c bounds 2485 >= 0 @ 14.5194
16.41/16.58	c bounds 2459 >= 0 @ 14.5294
16.50/16.65	c bounds 2452 >= 0 @ 14.5865
16.61/16.76	c bounds 2449 >= 0 @ 14.6966
16.61/16.77	c bounds 2448 >= 0 @ 14.705
16.61/16.78	c bounds 2353 >= 0 @ 14.7141
16.61/16.79	c bounds 2276 >= 0 @ 14.7248
16.71/16.80	c bounds 2261 >= 0 @ 14.7314
16.71/16.82	c bounds 2142 >= 0 @ 14.7442
16.71/16.83	c bounds 2133 >= 0 @ 14.7577
16.71/16.85	c bounds 2104 >= 0 @ 14.7669
16.71/16.86	c bounds 2075 >= 0 @ 14.7764
16.81/16.90	c bounds 2070 >= 0 @ 14.8069
16.81/16.92	c bounds 2053 >= 0 @ 14.8199
16.81/16.93	c bounds 1930 >= 0 @ 14.8273
16.91/17.05	c bounds 1901 >= 0 @ 14.9369
17.01/17.15	c bounds 1796 >= 0 @ 15.0346
17.01/17.16	c bounds 1725 >= 0 @ 15.0438
17.01/17.19	c bounds 1717 >= 0 @ 15.0598
17.01/17.19	c bounds 1716 >= 0 @ 15.068
17.11/17.21	c bounds 1683 >= 0 @ 15.0779
17.11/17.22	c bounds 1681 >= 0 @ 15.0909
17.11/17.24	c bounds 1607 >= 0 @ 15.1028
17.11/17.25	c bounds 1603 >= 0 @ 15.1075
17.11/17.28	c bounds 1602 >= 0 @ 15.139
17.21/17.38	c bounds 1596 >= 0 @ 15.2322
17.41/17.50	c bounds 1595 >= 0 @ 15.3436
17.41/17.51	c bounds 1578 >= 0 @ 15.353
17.51/17.63	c bounds 1575 >= 0 @ 15.4665
17.51/17.64	c bounds 1570 >= 0 @ 15.474
17.51/17.68	c bounds 1450 >= 0 @ 15.4971
17.51/17.69	c bounds 1449 >= 0 @ 15.5047
17.71/17.83	c bounds 1447 >= 0 @ 15.6456
17.71/17.85	c bounds 1379 >= 0 @ 15.6562
17.71/17.86	c bounds 1326 >= 0 @ 15.6627
17.81/17.97	c bounds 1243 >= 0 @ 15.7614
17.81/17.98	c bounds 1184 >= 0 @ 15.7701
17.91/18.00	c bounds 1124 >= 0 @ 15.7825
17.91/18.02	c bounds 1042 >= 0 @ 15.7935
17.91/18.03	c bounds 984 >= 0 @ 15.8023
17.91/18.05	c bounds 959 >= 0 @ 15.8139
17.91/18.09	c bounds 864 >= 0 @ 15.8589
18.01/18.11	c bounds 854 >= 0 @ 15.8722
18.01/18.13	c bounds 732 >= 0 @ 15.8908
18.01/18.14	c bounds 731 >= 0 @ 15.8993
18.11/18.27	c bounds 694 >= 0 @ 16.0176
18.11/18.28	c bounds 692 >= 0 @ 16.0254
18.21/18.30	c bounds 690 >= 0 @ 16.0364
18.21/18.32	c bounds 613 >= 0 @ 16.0467
18.21/18.33	c bounds 603 >= 0 @ 16.0591
20.30/20.43	c #Conflicts:       2000 | #Constraints:     659066
20.30/20.43	c INPROCESSING
20.30/20.43	c GARBAGE COLLECT
20.30/20.43	c bounds 601 >= 0 @ 18.112
20.30/20.46	c bounds 599 >= 0 @ 18.1336
24.69/24.82	c bounds 594 >= 0 @ 22.3945
26.18/26.38	c #Conflicts:       3000 | #Constraints:     658928
26.18/26.38	c bounds 558 >= 0 @ 23.9185
31.27/31.42	c #Conflicts:       4000 | #Constraints:     659929
31.27/31.42	c INPROCESSING
31.27/31.42	c bounds 455 >= 0 @ 28.8771
31.27/31.48	c bounds 429 >= 0 @ 28.9233
40.97/41.39	c #Conflicts:       5000 | #Constraints:     659322
40.97/41.39	c #Conflicts:       6000 | #Constraints:     660322
40.97/41.39	c INPROCESSING
40.97/41.39	c GARBAGE COLLECT
40.97/41.39	c #Conflicts:       7000 | #Constraints:     659325
40.97/41.39	c bounds 369 >= 0 @ 38.5402
41.07/41.41	c bounds 369 >= 6 @ 38.5525
49.34/49.75	c #Conflicts:       8000 | #Constraints:     660329
49.34/49.75	c #Conflicts:       9000 | #Constraints:     661329
49.34/49.75	c INPROCESSING
49.34/49.75	c GARBAGE COLLECT
49.34/49.75	c rational objective 167.467
64.89/65.39	c #Conflicts:      10000 | #Constraints:     660031
64.89/65.39	c #Conflicts:      11000 | #Constraints:     661031
64.89/65.39	c #Conflicts:      12000 | #Constraints:     662031
64.89/65.39	c INPROCESSING
64.89/65.39	c GARBAGE COLLECT
64.89/65.39	c rational objective 168.75
80.55/81.08	c #Conflicts:      13000 | #Constraints:     660487
80.55/81.08	c #Conflicts:      14000 | #Constraints:     661487
80.55/81.08	c #Conflicts:      15000 | #Constraints:     662487
80.55/81.08	c INPROCESSING
80.55/81.08	c GARBAGE COLLECT
80.55/81.08	c rational objective 169.727
84.13/84.64	c bounds 368 >= 6 @ 81.3166
84.23/84.71	c bounds 362 >= 6 @ 81.392
89.62/90.11	c bounds 359 >= 6 @ 86.674
89.62/90.12	c bounds 359 >= 11 @ 86.6831
89.62/90.16	c bounds 359 >= 16 @ 86.7152
94.60/95.19	c #Conflicts:      16000 | #Constraints:     660729
94.60/95.19	c #Conflicts:      17000 | #Constraints:     661730
94.60/95.19	c bounds 359 >= 21 @ 91.6898
102.27/102.82	c #Conflicts:      18000 | #Constraints:     662739
102.27/102.82	c INPROCESSING
102.27/102.82	c GARBAGE COLLECT
102.27/102.82	c rational objective 170.565
126.69/127.32	c #Conflicts:      19000 | #Constraints:     660752
126.69/127.32	c #Conflicts:      20000 | #Constraints:     661752
126.69/127.32	c #Conflicts:      21000 | #Constraints:     662752
126.69/127.32	c INPROCESSING
126.69/127.32	c GARBAGE COLLECT
126.69/127.32	c rational objective 171.333
153.10/153.81	c #Conflicts:      22000 | #Constraints:     660565
153.10/153.81	c #Conflicts:      23000 | #Constraints:     661565
153.10/153.81	c #Conflicts:      24000 | #Constraints:     662565
153.10/153.81	c #Conflicts:      25000 | #Constraints:     663565
153.10/153.81	c INPROCESSING
153.10/153.81	c GARBAGE COLLECT
153.10/153.81	c rational objective 171.934
156.79/157.54	c bounds 356 >= 21 @ 153.275
156.79/157.59	c bounds 354 >= 21 @ 153.324
156.89/157.66	c bounds 352 >= 21 @ 153.386
160.68/161.42	c bounds 346 >= 21 @ 157.073
160.68/161.44	c bounds 346 >= 25 @ 157.088
174.43/175.29	c #Conflicts:      26000 | #Constraints:     661185
174.43/175.29	c #Conflicts:      27000 | #Constraints:     662185
174.43/175.29	c #Conflicts:      28000 | #Constraints:     663185
174.43/175.29	c #Conflicts:      29000 | #Constraints:     664185
174.43/175.29	c INPROCESSING
174.43/175.29	c GARBAGE COLLECT
174.43/175.29	c rational objective 172.286
179.11/179.98	c bounds 345 >= 25 @ 175.414
179.22/180.02	c bounds 345 >= 28 @ 175.437
263.78/265.22	c #Conflicts:      30000 | #Constraints:     661569
263.78/265.22	c #Conflicts:      31000 | #Constraints:     662572
263.78/265.22	c #Conflicts:      32000 | #Constraints:     663573
263.78/265.22	c #Conflicts:      33000 | #Constraints:     664576
263.78/265.22	c INPROCESSING
263.78/265.22	c GARBAGE COLLECT
263.78/265.22	c #Conflicts:      34000 | #Constraints:     661772
263.78/265.22	c #Conflicts:      35000 | #Constraints:     662778
263.78/265.22	c bounds 339 >= 28 @ 259.058
263.78/265.24	c bounds 339 >= 30 @ 259.072
263.78/265.26	c bounds 339 >= 32 @ 259.087
263.78/265.29	c bounds 339 >= 34 @ 259.11
264.09/265.50	c bounds 339 >= 36 @ 259.314
272.86/274.35	c #Conflicts:      36000 | #Constraints:     663807
272.86/274.35	c #Conflicts:      37000 | #Constraints:     664807
272.86/274.35	c INPROCESSING
272.86/274.35	c GARBAGE COLLECT
272.86/274.35	c rational objective 172.775
286.21/287.74	c #Conflicts:      38000 | #Constraints:     661788
286.21/287.74	c bounds 339 >= 38 @ 281.321
307.04/308.61	c #Conflicts:      39000 | #Constraints:     662803
307.04/308.61	c #Conflicts:      40000 | #Constraints:     663803
307.04/308.61	c #Conflicts:      41000 | #Constraints:     664803
307.04/308.61	c INPROCESSING
307.04/308.61	c GARBAGE COLLECT
307.04/308.61	c rational objective 172.813
346.91/348.65	c #Conflicts:      42000 | #Constraints:     661604
346.91/348.65	c #Conflicts:      43000 | #Constraints:     662605
346.91/348.65	c #Conflicts:      44000 | #Constraints:     663605
346.91/348.65	c #Conflicts:      45000 | #Constraints:     664605
346.91/348.65	c #Conflicts:      46000 | #Constraints:     665605
346.91/348.65	c INPROCESSING
346.91/348.65	c GARBAGE COLLECT
346.91/348.65	c rational objective 172.814
354.18/355.93	c bounds 338 >= 38 @ 348.846
358.28/360.03	c bounds 334 >= 38 @ 352.86
358.28/360.05	c bounds 334 >= 39 @ 352.869
358.28/360.07	c bounds 334 >= 40 @ 352.882
358.28/360.09	c bounds 334 >= 41 @ 352.899
358.38/360.11	c bounds 334 >= 42 @ 352.91
358.38/360.13	c bounds 334 >= 43 @ 352.924
358.38/360.15	c bounds 334 >= 44 @ 352.936
358.38/360.18	c bounds 334 >= 45 @ 352.955
358.47/360.20	c bounds 334 >= 46 @ 352.973
358.47/360.24	c bounds 334 >= 47 @ 353.003
358.47/360.28	c bounds 334 >= 48 @ 353.036
358.57/360.33	c bounds 334 >= 49 @ 353.085
358.57/360.38	c bounds 334 >= 50 @ 353.126
360.66/362.41	c bounds 334 >= 51 @ 355.127
360.76/362.52	c bounds 334 >= 52 @ 355.227
360.96/362.79	c #Conflicts:      47000 | #Constraints:     662357
360.96/362.79	c bounds 334 >= 53 @ 355.488
361.15/362.96	c bounds 334 >= 54 @ 355.654
361.37/363.10	c bounds 334 >= 55 @ 355.786
361.65/363.47	c bounds 334 >= 56 @ 356.131
362.05/363.81	c bounds 334 >= 57 @ 356.454
362.75/364.55	c bounds 334 >= 58 @ 357.17
363.36/365.13	c bounds 334 >= 59 @ 357.735
364.05/365.88	c #Conflicts:      48000 | #Constraints:     663501
364.05/365.88	c bounds 334 >= 60 @ 358.456
368.93/370.73	c bounds 334 >= 61 @ 363.248
371.03/372.84	c #Conflicts:      49000 | #Constraints:     664561
371.03/372.84	c bounds 334 >= 62 @ 365.283
372.82/374.61	c bounds 334 >= 63 @ 366.979
373.92/375.76	c #Conflicts:      50000 | #Constraints:     665618
373.92/375.76	c bounds 334 >= 64 @ 368.096
380.09/381.92	c bounds 334 >= 65 @ 374.17
472.06/474.25	c #Conflicts:      51000 | #Constraints:     666669
472.06/474.25	c INPROCESSING
472.06/474.25	c GARBAGE COLLECT
472.06/474.25	c rational objective 172.814
479.23/481.43	c bounds 334 >= 66 @ 473.12
490.70/492.97	c #Conflicts:      52000 | #Constraints:     662967
490.70/492.97	c bounds 333 >= 66 @ 484.459
500.07/502.33	c #Conflicts:      53000 | #Constraints:     663971
500.07/502.33	c #Conflicts:      54000 | #Constraints:     664972
500.07/502.33	c bounds 333 >= 67 @ 493.575
506.25/508.52	c #Conflicts:      55000 | #Constraints:     666011
506.25/508.52	c bounds 333 >= 68 @ 499.648
568.51/571.12	c #Conflicts:      56000 | #Constraints:     667050
568.51/571.12	c INPROCESSING
568.51/571.12	c GARBAGE COLLECT
568.51/571.12	c bounds 332 >= 68 @ 561.733
574.99/577.69	c #Conflicts:      57000 | #Constraints:     663167
574.99/577.69	c bounds 332 >= 69 @ 568.137
585.36/588.06	c #Conflicts:      58000 | #Constraints:     664209
585.36/588.06	c #Conflicts:      59000 | #Constraints:     665209
585.36/588.06	c bounds 332 >= 70 @ 578.294
599.43/602.12	c #Conflicts:      60000 | #Constraints:     666233
599.43/602.12	c #Conflicts:      61000 | #Constraints:     667233
599.43/602.12	c INPROCESSING
599.43/602.12	c GARBAGE COLLECT
599.43/602.12	c bounds 332 >= 71 @ 592.163
617.77/620.51	c #Conflicts:      62000 | #Constraints:     663214
617.77/620.51	c #Conflicts:      63000 | #Constraints:     664214
617.77/620.51	c #Conflicts:      64000 | #Constraints:     665214
617.77/620.51	c bounds 332 >= 72 @ 610.201
620.76/623.54	c bounds 331 >= 72 @ 613.178
634.52/637.34	c #Conflicts:      65000 | #Constraints:     666263
634.52/637.34	c #Conflicts:      66000 | #Constraints:     667263
634.52/637.34	c INPROCESSING
634.52/637.34	c GARBAGE COLLECT
634.52/637.34	c rational objective 172.814
643.69/646.58	c #Conflicts:      67000 | #Constraints:     663014
643.69/646.58	c bounds 330 >= 72 @ 635.807
678.40/681.33	c #Conflicts:      68000 | #Constraints:     664016
678.40/681.33	c #Conflicts:      69000 | #Constraints:     665016
678.40/681.33	c #Conflicts:      70000 | #Constraints:     666017
678.40/681.33	c #Conflicts:      71000 | #Constraints:     667019
678.40/681.33	c bounds 330 >= 73 @ 670.024
689.86/692.81	c #Conflicts:      72000 | #Constraints:     668065
689.86/692.81	c INPROCESSING
689.86/692.81	c GARBAGE COLLECT
689.86/692.81	c rational objective 172.855
700.34/703.37	c #Conflicts:      73000 | #Constraints:     663637
700.34/703.37	c bounds 329 >= 73 @ 691.843
730.55/733.61	c #Conflicts:      74000 | #Constraints:     664639
730.55/733.61	c #Conflicts:      75000 | #Constraints:     665639
730.55/733.61	c #Conflicts:      76000 | #Constraints:     666639
730.55/733.61	c #Conflicts:      77000 | #Constraints:     667639
730.55/733.61	c #Conflicts:      78000 | #Constraints:     668639
730.55/733.61	c INPROCESSING
730.55/733.61	c GARBAGE COLLECT
730.55/733.61	c rational objective 172.965
766.44/769.64	c #Conflicts:      79000 | #Constraints:     664019
766.44/769.64	c #Conflicts:      80000 | #Constraints:     665020
766.44/769.64	c #Conflicts:      81000 | #Constraints:     666020
766.44/769.64	c bounds 329 >= 74 @ 756.921
787.39/790.66	c #Conflicts:      82000 | #Constraints:     667071
787.39/790.66	c #Conflicts:      83000 | #Constraints:     668071
787.39/790.66	c #Conflicts:      84000 | #Constraints:     669071
787.39/790.66	c INPROCESSING
787.39/790.66	c GARBAGE COLLECT
787.39/790.66	c rational objective 172.965
809.93/813.23	c #Conflicts:      85000 | #Constraints:     664238
809.93/813.23	c #Conflicts:      86000 | #Constraints:     665240
809.93/813.23	c bounds 329 >= 75 @ 799.875
843.83/847.20	c #Conflicts:      87000 | #Constraints:     666297
843.83/847.20	c #Conflicts:      88000 | #Constraints:     667297
843.83/847.20	c #Conflicts:      89000 | #Constraints:     668297
843.83/847.20	c #Conflicts:      90000 | #Constraints:     669297
843.83/847.20	c INPROCESSING
843.83/847.20	c GARBAGE COLLECT
843.83/847.20	c rational objective 172.978
989.20/993.10	c #Conflicts:      91000 | #Constraints:     664272
989.20/993.10	c #Conflicts:      92000 | #Constraints:     665284
989.20/993.10	c #Conflicts:      93000 | #Constraints:     666286
989.20/993.10	c #Conflicts:      94000 | #Constraints:     667290
989.20/993.10	c #Conflicts:      95000 | #Constraints:     668308
989.20/993.10	c #Conflicts:      96000 | #Constraints:     669333
989.20/993.10	c INPROCESSING
989.20/993.10	c GARBAGE COLLECT
989.20/993.10	c rational objective 172.99
1149.55/1154.99	c #Conflicts:      97000 | #Constraints:     664206
1149.55/1154.99	c #Conflicts:      98000 | #Constraints:     665468
1149.55/1154.99	c #Conflicts:      99000 | #Constraints:     666663
1149.55/1154.99	c #Conflicts:     100000 | #Constraints:     667837
1149.55/1154.99	c #Conflicts:     101000 | #Constraints:     668881
1149.55/1154.99	c #Conflicts:     102000 | #Constraints:     670065
1149.55/1154.99	c #Conflicts:     103000 | #Constraints:     671116
1149.55/1154.99	c INPROCESSING
1149.55/1154.99	c GARBAGE COLLECT
1149.55/1154.99	c rational objective 172.99
1204.44/1210.23	c #Conflicts:     104000 | #Constraints:     665191
1204.44/1210.23	c #Conflicts:     105000 | #Constraints:     666192
1204.44/1210.23	c #Conflicts:     106000 | #Constraints:     667192
1204.44/1210.23	c #Conflicts:     107000 | #Constraints:     668192
1204.44/1210.23	c bounds 329 >= 76 @ 1192.2
1377.91/1384.28	c #Conflicts:     108000 | #Constraints:     669232
1377.91/1384.28	c #Conflicts:     109000 | #Constraints:     670232
1377.91/1384.28	c #Conflicts:     110000 | #Constraints:     671232
1377.91/1384.28	c INPROCESSING
1377.91/1384.28	c GARBAGE COLLECT
1377.91/1384.28	c #Conflicts:     111000 | #Constraints:     665338
1377.91/1384.28	c #Conflicts:     112000 | #Constraints:     666338
1377.91/1384.28	c #Conflicts:     113000 | #Constraints:     667338
1377.91/1384.28	c bounds 329 >= 77 @ 1364.69
1491.14/1497.87	c #Conflicts:     114000 | #Constraints:     668378
1491.14/1497.87	c #Conflicts:     115000 | #Constraints:     669378
1491.14/1497.87	c #Conflicts:     116000 | #Constraints:     670378
1491.14/1497.87	c #Conflicts:     117000 | #Constraints:     671378
1491.14/1497.87	c INPROCESSING
1491.14/1497.87	c GARBAGE COLLECT
1491.14/1497.87	c rational objective 172.99
1544.89/1551.79	c #Conflicts:     118000 | #Constraints:     665430
1544.89/1551.79	c #Conflicts:     119000 | #Constraints:     666431
1544.89/1551.79	c #Conflicts:     120000 | #Constraints:     667431
1544.89/1551.79	c #Conflicts:     121000 | #Constraints:     668432
1544.89/1551.79	c #Conflicts:     122000 | #Constraints:     669432
1544.89/1551.79	c bounds 329 >= 78 @ 1530.46
1574.01/1580.91	c #Conflicts:     123000 | #Constraints:     670471
1574.01/1580.91	c #Conflicts:     124000 | #Constraints:     671472
1574.01/1580.91	c INPROCESSING
1574.01/1580.91	c GARBAGE COLLECT
1574.01/1580.91	c rational objective 172.99
1895.46/1903.35	c #Conflicts:     125000 | #Constraints:     665383
1895.46/1903.35	c #Conflicts:     126000 | #Constraints:     666383
1895.46/1903.35	c #Conflicts:     127000 | #Constraints:     667384
1895.46/1903.35	c #Conflicts:     128000 | #Constraints:     668384
1895.46/1903.35	c #Conflicts:     129000 | #Constraints:     669384
1895.46/1903.35	c #Conflicts:     130000 | #Constraints:     670384
1895.46/1903.35	c #Conflicts:     131000 | #Constraints:     671384
1895.46/1903.35	c INPROCESSING
1895.46/1903.35	c GARBAGE COLLECT
1895.46/1903.35	c #Conflicts:     132000 | #Constraints:     665139
1895.46/1903.35	c #Conflicts:     133000 | #Constraints:     666139
1895.46/1903.35	c #Conflicts:     134000 | #Constraints:     667139
1895.46/1903.35	c #Conflicts:     135000 | #Constraints:     668139
1895.46/1903.35	c #Conflicts:     136000 | #Constraints:     669139
1895.46/1903.35	c #Conflicts:     137000 | #Constraints:     670139
1895.46/1903.35	c #Conflicts:     138000 | #Constraints:     671139
1895.46/1903.35	c #Conflicts:     139000 | #Constraints:     672139
1895.46/1903.35	c INPROCESSING
1895.46/1903.35	c GARBAGE COLLECT
1895.46/1903.35	c #Conflicts:     140000 | #Constraints:     665713
1895.46/1903.35	c #Conflicts:     141000 | #Constraints:     666713
1895.46/1903.35	c #Conflicts:     142000 | #Constraints:     667713
1895.46/1903.35	c #Conflicts:     143000 | #Constraints:     668713
1895.46/1903.35	c #Conflicts:     144000 | #Constraints:     669713
1895.46/1903.35	c #Conflicts:     145000 | #Constraints:     670713
1895.46/1903.35	c #Conflicts:     146000 | #Constraints:     671714
1895.46/1903.35	c bounds 329 >= 79 @ 1877.58
1991.84/2000.09	c #Conflicts:     147000 | #Constraints:     672780
1991.84/2000.09	c INPROCESSING
1991.84/2000.09	c GARBAGE COLLECT
1991.84/2000.09	c rational objective 172.99
2880.68/2892.02	c #Conflicts:     148000 | #Constraints:     666147
2880.68/2892.02	c #Conflicts:     149000 | #Constraints:     667147
2880.68/2892.02	c #Conflicts:     150000 | #Constraints:     668147
2880.68/2892.02	c #Conflicts:     151000 | #Constraints:     669147
2880.68/2892.02	c #Conflicts:     152000 | #Constraints:     670147
2880.68/2892.02	c #Conflicts:     153000 | #Constraints:     671147
2880.68/2892.02	c #Conflicts:     154000 | #Constraints:     672148
2880.68/2892.02	c #Conflicts:     155000 | #Constraints:     673149
2880.68/2892.02	c INPROCESSING
2880.68/2892.02	c GARBAGE COLLECT
2880.68/2892.02	c #Conflicts:     156000 | #Constraints:     666347
2880.68/2892.02	c #Conflicts:     157000 | #Constraints:     667347
2880.68/2892.02	c #Conflicts:     158000 | #Constraints:     668347
2880.68/2892.02	c #Conflicts:     159000 | #Constraints:     669347
2880.68/2892.02	c #Conflicts:     160000 | #Constraints:     670347
2880.68/2892.02	c #Conflicts:     161000 | #Constraints:     671347
2880.68/2892.02	c #Conflicts:     162000 | #Constraints:     672349
2880.68/2892.02	c #Conflicts:     163000 | #Constraints:     673349
2880.68/2892.02	c INPROCESSING
2880.68/2892.02	c GARBAGE COLLECT
2880.68/2892.02	c #Conflicts:     164000 | #Constraints:     666348
2880.68/2892.02	c #Conflicts:     165000 | #Constraints:     667348
2880.68/2892.02	c #Conflicts:     166000 | #Constraints:     668348
2880.68/2892.02	c #Conflicts:     167000 | #Constraints:     669348
2880.68/2892.02	c #Conflicts:     168000 | #Constraints:     670350
2880.68/2892.02	c #Conflicts:     169000 | #Constraints:     671350
2880.68/2892.02	c #Conflicts:     170000 | #Constraints:     672350
2880.68/2892.02	c #Conflicts:     171000 | #Constraints:     673350
2880.68/2892.02	c INPROCESSING
2880.68/2892.02	c GARBAGE COLLECT
2880.68/2892.02	c #Conflicts:     172000 | #Constraints:     666147
2880.68/2892.02	c #Conflicts:     173000 | #Constraints:     667147
2880.68/2892.02	c #Conflicts:     174000 | #Constraints:     668147
2880.68/2892.02	c #Conflicts:     175000 | #Constraints:     669147
2880.68/2892.02	c #Conflicts:     176000 | #Constraints:     670148
2880.68/2892.02	c #Conflicts:     177000 | #Constraints:     671148
2880.68/2892.02	c bounds 329 >= 80 @ 2857.74
3179.46/3192.11	c #Conflicts:     178000 | #Constraints:     672217
3179.46/3192.11	c #Conflicts:     179000 | #Constraints:     673217
3179.46/3192.11	c #Conflicts:     180000 | #Constraints:     674217
3179.46/3192.11	c INPROCESSING
3179.46/3192.11	c GARBAGE COLLECT
3179.46/3192.11	c #Conflicts:     181000 | #Constraints:     666785
3179.46/3192.11	c #Conflicts:     182000 | #Constraints:     667785
3179.46/3192.11	c #Conflicts:     183000 | #Constraints:     668787
3179.46/3192.11	c #Conflicts:     184000 | #Constraints:     669787
3179.46/3192.11	c #Conflicts:     185000 | #Constraints:     670787
3179.46/3192.11	c #Conflicts:     186000 | #Constraints:     671787
3179.46/3192.11	c #Conflicts:     187000 | #Constraints:     672787
3179.46/3192.11	c #Conflicts:     188000 | #Constraints:     673787
3179.46/3192.11	c #Conflicts:     189000 | #Constraints:     674787
3179.46/3192.11	c INPROCESSING
3179.46/3192.11	c GARBAGE COLLECT
3179.46/3192.11	c #Conflicts:     190000 | #Constraints:     667169
3179.46/3192.11	c #Conflicts:     191000 | #Constraints:     668169
3179.46/3192.11	c #Conflicts:     192000 | #Constraints:     669169
3179.46/3192.11	c #Conflicts:     193000 | #Constraints:     670169
3179.46/3192.11	c #Conflicts:     194000 | #Constraints:     671170
3179.46/3192.11	c #Conflicts:     195000 | #Constraints:     672170
3179.46/3192.11	c #Conflicts:     196000 | #Constraints:     673170
3179.46/3192.11	c #Conflicts:     197000 | #Constraints:     674170
3179.46/3192.11	c #Conflicts:     198000 | #Constraints:     675170
3179.46/3192.11	c INPROCESSING
3179.46/3192.11	c GARBAGE COLLECT
3179.46/3192.11	c rational objective 172.99
3319.95/3333.83	c #Conflicts:     199000 | #Constraints:     667358
3319.95/3333.83	c #Conflicts:     200000 | #Constraints:     668421
3319.95/3333.83	c #Conflicts:     201000 | #Constraints:     669681
3319.95/3333.83	c #Conflicts:     202000 | #Constraints:     670909
3319.95/3333.83	c #Conflicts:     203000 | #Constraints:     672085
3319.95/3333.83	c #Conflicts:     204000 | #Constraints:     673206
3319.95/3333.83	c #Conflicts:     205000 | #Constraints:     674321
3319.95/3333.83	c bounds 324 >= 80 @ 3293.28
3486.56/3501.10	c #Conflicts:     206000 | #Constraints:     675331
3486.56/3501.10	c #Conflicts:     207000 | #Constraints:     676331
3486.56/3501.10	c INPROCESSING
3486.56/3501.10	c GARBAGE COLLECT
3486.56/3501.10	c #Conflicts:     208000 | #Constraints:     667840
3486.56/3501.10	c #Conflicts:     209000 | #Constraints:     668840
3486.56/3501.10	c #Conflicts:     210000 | #Constraints:     669840
3486.56/3501.10	c #Conflicts:     211000 | #Constraints:     670840
3486.56/3501.10	c #Conflicts:     212000 | #Constraints:     671840
3486.56/3501.10	c #Conflicts:     213000 | #Constraints:     672840
3486.56/3501.10	c #Conflicts:     214000 | #Constraints:     673840
3486.56/3501.10	c #Conflicts:     215000 | #Constraints:     674840
3486.56/3501.10	c bounds 324 >= 81 @ 3458.36

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

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

solver pid=52170, runsolver pid=52167

[startup+0.100065 s]*
/proc/loadavg: 4.03 4.14 4.11 5/273 52172
/proc/meminfo: memFree=126274996/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52172] ppid=52170 vsize=165748 memory=150472 CPUtime=0.08 cores=5,7
/proc/52172/stat : 52172 (pbsuma) R 52170 52170 51293 0 -1 4194304 4669 0 0 0 5 3 0 0 20 0 1 0 51460549 169725952 37618 18446744073709551615 4210688 4653049 140724010048576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35397632 140724010055907 140724010056242 140724010056242 140724010061807 0
/proc/52172/statm: 41437 37618 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153544 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.03 4.14 4.11 5/273 52172
/proc/meminfo: memFree=126257732/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52172] ppid=52170 vsize=181712 memory=167736 CPUtime=0.18 cores=5,7
/proc/52172/stat : 52172 (pbsuma) R 52170 52170 51293 0 -1 4194304 8917 0 0 0 14 4 0 0 20 0 1 0 51460549 186073088 41934 18446744073709551615 4210688 4653049 140724010048576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35397632 140724010055907 140724010056242 140724010056242 140724010061807 0
/proc/52172/statm: 45428 41934 960 108 0 42836 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185904 KiB
Current children cumulated memory: 170808 KiB

[startup+0.305665 s]*
/proc/loadavg: 4.03 4.14 4.11 5/273 52172
/proc/meminfo: memFree=126217536/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52172] ppid=52170 vsize=195576 memory=183984 CPUtime=0.29 cores=5,7
/proc/52172/stat : 52172 (pbsuma) R 52170 52170 51293 0 -1 4194304 11940 0 0 0 23 6 0 0 20 0 1 0 51460549 200269824 45996 18446744073709551615 4210688 4653049 140724010048576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35397632 140724010055907 140724010056242 140724010056242 140724010061807 0
/proc/52172/statm: 48894 45996 960 108 0 46302 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199768 KiB
Current children cumulated memory: 187056 KiB

[startup+0.700213 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52172
/proc/meminfo: memFree=126155624/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52172] ppid=52170 vsize=319212 memory=264864 CPUtime=0.67 cores=5,7
/proc/52172/stat : 52172 (pbsuma) R 52170 52170 51293 0 -1 4194304 24321 0 0 0 58 9 0 0 20 0 1 0 51460549 326873088 66216 18446744073709551615 4210688 4653049 140724010048576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 35397632 140724010055907 140724010056242 140724010056242 140724010061807 0
/proc/52172/statm: 79803 66216 1056 108 0 77211 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323404 KiB
Current children cumulated memory: 267936 KiB

[startup+1.50018 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52173
/proc/meminfo: memFree=126281028/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=78188 memory=34548 CPUtime=0.56 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 6309 0 0 0 44 12 0 0 20 0 1 0 51460640 80064512 8637 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 19547 8637 1952 1147 0 6974 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82380 KiB
Current children cumulated memory: 37620 KiB

[startup+3.10557 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52173
/proc/meminfo: memFree=126137448/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=151380 memory=101808 CPUtime=2.16 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 21699 0 0 0 168 48 0 0 20 0 1 0 51460640 155013120 25452 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 37845 25452 1952 1147 0 25272 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 155572 KiB
Current children cumulated memory: 104880 KiB

[startup+6.30019 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52173
/proc/meminfo: memFree=125323340/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=935384 memory=680924 CPUtime=5.35 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 55263 0 0 0 458 77 0 0 20 0 1 0 51460640 957833216 170231 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 233846 170231 2368 1147 0 221273 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 939576 KiB
Current children cumulated memory: 683996 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.11 5/274 52174
/proc/meminfo: memFree=124927932/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1101820 memory=787800 CPUtime=11.73 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 59984 0 0 0 1082 91 0 0 20 0 1 0 51460640 1128263680 196950 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 275455 196950 2432 1147 0 262882 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1106012 KiB
Current children cumulated memory: 790872 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.11 5/274 52174
/proc/meminfo: memFree=124069440/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1255868 memory=943680 CPUtime=24.49 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 75650 0 0 0 2305 144 0 0 20 0 1 0 51460640 1286008832 235920 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 313967 235920 2432 1147 0 301394 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1260060 KiB
Current children cumulated memory: 946752 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.13 4.11 5/274 52175
/proc/meminfo: memFree=123342212/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1305164 memory=983380 CPUtime=49.85 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 76603 0 0 0 4812 173 0 0 20 0 1 0 51460640 1336487936 245845 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 326291 245845 2432 1147 0 313718 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 1309356 KiB
Current children cumulated memory: 986452 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/274 52178
/proc/meminfo: memFree=120345304/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1391780 memory=1092796 CPUtime=100.88 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 84988 0 0 0 9871 217 0 0 20 0 1 0 51460640 1425182720 273199 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 347945 273199 2432 1147 0 335372 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 1395972 KiB
Current children cumulated memory: 1095868 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/274 52180
/proc/meminfo: memFree=118299936/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1542676 memory=1168440 CPUtime=160.69 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 90808 0 0 0 15793 276 0 0 20 0 1 0 51460640 1579700224 292110 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 385669 292110 2432 1147 0 373096 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 1546868 KiB
Current children cumulated memory: 1171512 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/274 52182
/proc/meminfo: memFree=116926168/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=1615856 memory=1269288 CPUtime=220.36 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 102234 0 0 0 21717 319 0 0 20 0 1 0 51460640 1654636544 317322 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0

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

/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2446396 memory=2037596 CPUtime=3208.68 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 234006 0 0 0 318345 2523 0 0 20 0 1 0 51460640 2505109504 509399 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 611599 509399 2560 1147 0 599026 0
Current children cumulated CPU time: 3209.57 s
Current children cumulated vsize: 2450588 KiB
Current children cumulated memory: 2040668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/275 52366
/proc/meminfo: memFree=6363952/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2446396 memory=2037596 CPUtime=3268.52 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 234207 0 0 0 324302 2550 0 0 20 0 1 0 51460640 2505109504 509399 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 611599 509399 2560 1147 0 599026 0
Current children cumulated CPU time: 3269.41 s
Current children cumulated vsize: 2450588 KiB
Current children cumulated memory: 2040668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/275 52368
/proc/meminfo: memFree=4618484/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2661320 memory=2091232 CPUtime=3327.54 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 237567 0 0 0 330159 2595 0 0 20 0 1 0 51460640 2725191680 522808 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 665330 522808 2560 1147 0 652757 0
Current children cumulated CPU time: 3328.43 s
Current children cumulated vsize: 2665512 KiB
Current children cumulated memory: 2094304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/276 52377
/proc/meminfo: memFree=1937324/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2603964 memory=2039260 CPUtime=3387.35 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 241551 0 0 0 336117 2618 0 0 20 0 1 0 51460640 2666459136 509815 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 650991 509815 2560 1147 0 638418 0
Current children cumulated CPU time: 3388.24 s
Current children cumulated vsize: 2608156 KiB
Current children cumulated memory: 2042332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.21 4.16 5/275 52379
/proc/meminfo: memFree=598460/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2614228 memory=2039260 CPUtime=3447.08 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 245575 0 0 0 342013 2695 0 0 20 0 1 0 51460640 2676969472 509815 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 653557 509815 2560 1147 0 640984 0
Current children cumulated CPU time: 3447.97 s
Current children cumulated vsize: 2618420 KiB
Current children cumulated memory: 2042332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.19 4.15 5/275 52381
/proc/meminfo: memFree=727856/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2614228 memory=2046156 CPUtime=3506.91 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 282601 0 0 0 347933 2758 0 0 20 0 1 0 51460640 2676969472 511539 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 653557 511539 2560 1147 0 640984 0
Current children cumulated CPU time: 3507.8 s
Current children cumulated vsize: 2618420 KiB
Current children cumulated memory: 2049228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/273 52383
/proc/meminfo: memFree=686152/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2645800 memory=2064584 CPUtime=3566.73 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 283631 0 0 0 353911 2762 0 0 20 0 1 0 51460640 2709299200 516146 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 661450 516146 2560 1147 0 648877 0
Current children cumulated CPU time: 3567.62 s
Current children cumulated vsize: 2649992 KiB
Current children cumulated memory: 2067656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.8 s]
/proc/loadavg: 4.06 4.15 4.14 2/261 52444
/proc/meminfo: memFree=36090068/131250000 swapFree=33009904/33010684
[pid=52170] ppid=52167 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/52170/stat : 52170 (run-opt-break-l) S 52167 52170 51293 0 -1 4194304 243 28514 0 0 0 0 78 11 20 0 1 0 51460548 4292608 768 18446744073709551615 94207941206016 94207942100549 140728492703216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94207942339600 94207942387344 94207956963328 140728492710165 140728492710366 140728492710366 140728492715968 0
/proc/52170/statm: 1048 768 704 219 0 110 0
[pid=52173] ppid=52170 vsize=2647580 memory=2076876 CPUtime=3599.12 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52170 52170 51293 0 -1 4194304 283641 0 0 0 357147 2765 0 0 20 0 1 0 51460640 2711121920 519219 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 661895 519219 2560 1147 0 649322 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2651772 KiB
Current children cumulated memory: 2079948 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3616.84 s]
# the end of solver process 52173 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3616 s]*
/proc/loadavg: 4.06 4.15 4.14 3/260 52459
/proc/meminfo: memFree=36088384/131250000 swapFree=33009904/33010684
[pid=52173] ppid=52167 vsize=2647580 memory=2076876 CPUtime=3600.32 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52167 52170 51293 0 -1 4194304 283641 0 0 0 357267 2765 0 0 20 0 1 0 51460640 2711121920 519219 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 661895 519219 2560 1147 0 649322 0
Current cumulated CPU time of completed processes: 0.907913 s
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 2647580 KiB
Current children cumulated memory: 2076876 KiB

[startup+3616.4 s]
/proc/loadavg: 4.06 4.15 4.14 3/260 52459
/proc/meminfo: memFree=36088384/131250000 swapFree=33009904/33010684
[pid=52173] ppid=52167 vsize=2647580 memory=2076876 CPUtime=3600.71 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52167 52170 51293 0 -1 4194304 283641 0 0 0 357306 2765 0 0 20 0 1 0 51460640 2711121920 519219 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 661895 519219 2560 1147 0 649322 0
Current cumulated CPU time of completed processes: 0.907913 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 2647580 KiB
Current children cumulated memory: 2076876 KiB

[startup+3616.8 s]
/proc/loadavg: 4.06 4.15 4.14 3/260 52459
/proc/meminfo: memFree=36088384/131250000 swapFree=33009904/33010684
[pid=52173] ppid=52167 vsize=2647580 memory=2076876 CPUtime=3601.11 cores=5,7
/proc/52173/stat : 52173 (roundingsat) R 52167 52170 51293 0 -1 4194304 283641 0 0 0 357346 2765 0 0 20 0 1 0 51460640 2711121920 519219 18446744073709551615 4227072 8923433 140726264811728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35340288 140726264817940 140726264818216 140726264818216 140726264823786 0
/proc/52173/statm: 661895 519219 2560 1147 0 649322 0
Current cumulated CPU time of completed processes: 0.907913 s
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 2647580 KiB
Current children cumulated memory: 2076876 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.84
CPU time (s): 3602.07
CPU user time (s): 3574.26
CPU system time (s): 27.814
CPU usage (%): 99.5915
Max. virtual memory (cumulated for all children) (KiB): 2732404
Max. memory (cumulated for all children) (KiB): 2166348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.26
system time used= 27.814
maximum resident set size= 2163352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53701360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 4122


# summary of solver processes directly reported to runsolver:
#   pid: 52170,52173
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3574.26
#   total CPU system time (s): 27.814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66451 second user time and 17.9963 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 10:16:51
IDJOB=4489649
IDBENCH=147559
IDSOLVER=3360
FILE ID=nodeC033/4489649-1751357811
RUNJOBID= nodeC033-1751350557-51306
SLURM_JOB_ID= 9598139
Free space on /tmp= 432340 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489649-1751357811/watcher-4489649-1751357811 -o /tmp/evaluation-result-4489649-1751357811/solver-4489649-1751357811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51306 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489649-1751357811.opb PROOFDIR/proof-4489649-1751357811

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=420367292

nodeC033 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		: 3600.067
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	: 7000.13
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		: 3600.121
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	: 7000.13
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		: 3601.563
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.059
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	: 7000.13
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		: 3600.086
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	: 7000.13
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		: 3601.762
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	: 7000.13
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.355
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	: 7000.13
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		: 3600.070
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126413732 kB
MemAvailable:   127434548 kB
Buffers:            2128 kB
Cached:          1819136 kB
SwapCached:           68 kB
Active:          2326884 kB
Inactive:        1641656 kB
Active(anon):    2140860 kB
Inactive(anon):    24524 kB
Active(file):     186024 kB
Inactive(file):  1617132 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            146856 kB
Writeback:             0 kB
AnonPages:       2150748 kB
Mapped:           117476 kB
Shmem:             18028 kB
KReclaimable:     113796 kB
Slab:             206772 kB
SReclaimable:     113796 kB
SUnreclaim:        92976 kB
KernelStack:        4368 kB
PageTables:         7576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3211824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1548288 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC033 at 2025-07-01 11:17:08