Trace number 4505998

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3601.21 3612.51

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUMa6b74371f97d4ca84ea621a5ce055c49
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-17584
Best CPU time to get the best result obtained on this benchmark3131.31
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 306555
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 174841973
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 174841973
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
2.37/2.43	c #variables 399113 #constraints 400980
2.37/2.44	c objective is ce32 
2.57/2.63	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.57/2.63	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.57/2.63	c GLOBAL bounds - >= -174841973 @ 2.13282
2.97/3.04	c GLOBAL bounds - >= -174841973 @ 2.30767
3.37/3.46	c GLOBAL bounds - >= -174841973 @ 2.49643
3.76/3.88	c GLOBAL bounds - >= -174841973 @ 2.68141
4.36/4.40	c GLOBAL bounds - >= -174841973 @ 2.95417
4.86/4.91	c GLOBAL bounds - >= -174841973 @ 3.22095
5.26/5.33	c GLOBAL bounds - >= -174841973 @ 3.40029
5.66/5.75	c GLOBAL bounds - >= -174841973 @ 3.58359
6.16/6.26	c GLOBAL bounds - >= -174841973 @ 3.86288
6.66/6.77	c GLOBAL bounds - >= -174841973 @ 4.12749
7.16/7.21	c GLOBAL bounds - >= -174841973 @ 4.32452
7.55/7.64	c GLOBAL bounds - >= -174841973 @ 4.5108
8.06/8.19	c GLOBAL bounds - >= -174841973 @ 4.81249
8.65/8.72	c GLOBAL bounds - >= -174841973 @ 5.09427
9.06/9.16	c GLOBAL bounds - >= -174841973 @ 5.29489
9.55/9.60	c GLOBAL bounds - >= -174841973 @ 5.49188
10.05/10.14	c GLOBAL bounds - >= -174841973 @ 5.78528
10.55/10.68	c GLOBAL bounds - >= -174841973 @ 6.0958
11.05/11.12	c GLOBAL bounds - >= -174841973 @ 6.29189
11.45/11.57	c GLOBAL bounds - >= -174841973 @ 6.49421
12.05/12.11	c GLOBAL bounds - >= -174841973 @ 6.78847
12.54/12.66	c GLOBAL bounds - >= -174841973 @ 7.08169
13.05/13.11	c GLOBAL bounds - >= -174841973 @ 7.27628
13.54/13.66	c GLOBAL bounds - >= -174841973 @ 7.57586
14.14/14.22	c GLOBAL bounds - >= -174841973 @ 7.88516
14.74/14.86	c GLOBAL bounds - >= -174841973 @ 8.26567
15.43/15.50	c GLOBAL bounds - >= -174841973 @ 8.63457
16.33/16.41	c GLOBAL bounds - >= -174841973 @ 9.28919
16.94/17.01	c GLOBAL bounds - >= -174841973 @ 9.623
17.33/17.47	c GLOBAL bounds - >= -174841973 @ 9.84818
18.13/18.23	c GLOBAL bounds - >= -174841973 @ 10.3635
19.42/19.51	c GLOBAL bounds - >= -174841973 @ 11.3712
20.42/20.58	c GLOBAL bounds - >= -174841973 @ 12.1705
20.93/21.08	c GLOBAL bounds - >= -174841973 @ 12.4156
21.93/22.08	c GLOBAL bounds - >= -174841973 @ 13.1535
22.82/22.97	c GLOBAL bounds - >= -174841973 @ 13.7787
33.98/34.13	c GLOBAL bounds - >= -174841973 @ 24.2554
35.18/35.37	c GLOBAL bounds - >= -174841973 @ 25.2244
83.94/84.25	c GLOBAL bounds - >= -174841973 @ 72.4815
85.13/85.41	c GLOBAL bounds - >= -174841973 @ 73.3717
86.13/86.46	c GLOBAL bounds - >= -174841973 @ 74.1634
87.23/87.52	c GLOBAL bounds - >= -174841973 @ 74.9682
88.52/88.86	c GLOBAL bounds - >= -174841973 @ 76.0384
89.73/90.05	c GLOBAL bounds - >= -174841973 @ 76.9754
91.01/91.34	c GLOBAL bounds - >= -174841973 @ 78.0071
92.12/92.40	c GLOBAL bounds - >= -174841973 @ 78.8015
93.31/93.66	c GLOBAL bounds - >= -174841973 @ 79.8021
94.71/95.01	c GLOBAL bounds - >= -174841973 @ 80.8952
95.80/96.15	c GLOBAL bounds - >= -174841973 @ 81.7825
97.10/97.46	c GLOBAL bounds - >= -174841973 @ 82.8119
98.19/98.53	c GLOBAL bounds - >= -174841973 @ 83.6171
99.49/99.80	c GLOBAL bounds - >= -174841973 @ 84.6376
100.79/101.15	c GLOBAL bounds - >= -174841973 @ 85.7178
120.43/120.87	c GLOBAL bounds - >= -174841973 @ 104.53
122.12/122.56	c GLOBAL bounds - >= -174841973 @ 105.958
123.32/123.75	c GLOBAL bounds - >= -174841973 @ 106.905
125.31/125.70	c GLOBAL bounds - >= -174841973 @ 108.546
126.41/126.82	c GLOBAL bounds - >= -174841973 @ 109.416
127.71/128.11	c GLOBAL bounds - >= -174841973 @ 110.449
129.61/130.07	c GLOBAL bounds - >= -174841973 @ 112.147
132.19/132.65	c GLOBAL bounds - >= -174841973 @ 114.482
134.78/135.21	c GLOBAL bounds - >= -174841973 @ 116.734
136.07/136.50	c GLOBAL bounds - >= -174841973 @ 117.79
137.37/137.80	c GLOBAL bounds - >= -174841973 @ 118.842
138.58/139.09	c GLOBAL bounds - >= -174841973 @ 119.912
140.67/141.19	c GLOBAL bounds - >= -174841973 @ 121.773
143.05/143.57	c GLOBAL bounds - >= -174841973 @ 123.952
144.75/145.27	c GLOBAL bounds - >= -174841973 @ 125.382
147.25/147.70	c GLOBAL bounds - >= -174841973 @ 127.413
149.44/149.96	c GLOBAL bounds - >= -174841973 @ 129.496
151.13/151.67	c GLOBAL bounds - >= -174841973 @ 130.998
152.83/153.35	c GLOBAL bounds - >= -174841973 @ 132.495
359.72/360.80	c GLOBAL bounds - >= -18432 @ 296.511
742.70/744.94	c GLOBAL bounds - >= -18432 @ 679.321
742.70/744.94	c GLOBAL bounds - >= -18432 @ 679.324
743.69/745.97	c GLOBAL bounds - >= -18432 @ 680.091
743.69/746.00	c GLOBAL bounds - >= -18432 @ 680.112
744.69/746.97	c GLOBAL bounds - >= -18432 @ 680.798
744.69/746.98	c GLOBAL bounds - >= -18432 @ 680.806
745.69/747.99	c GLOBAL bounds - >= -18432 @ 681.558
745.69/748.00	c GLOBAL bounds - >= -18432 @ 681.566
746.79/749.02	c GLOBAL bounds - >= -18432 @ 682.307
746.79/749.02	c GLOBAL bounds - >= -18432 @ 682.315
747.79/750.04	c GLOBAL bounds - >= -18432 @ 683.082
748.08/750.39	c GLOBAL bounds - >= -18432 @ 683.221
749.18/751.41	c GLOBAL bounds - >= -18432 @ 683.979
749.18/751.43	c GLOBAL bounds - >= -18432 @ 684.001
750.18/752.47	c GLOBAL bounds - >= -18432 @ 684.778
750.48/752.77	c GLOBAL bounds - >= -18432 @ 684.929
751.47/753.79	c GLOBAL bounds - >= -18432 @ 685.688
2816.71/2825.46	c #Conflicts:       1000 | #Constraints:     402005
2816.71/2825.46	c #Conflicts:       2000 | #Constraints:     403005
2816.71/2825.46	c INPROCESSING
2816.71/2825.46	c GARBAGE COLLECT
2816.71/2825.46	c #Conflicts:       3000 | #Constraints:     393075
2816.71/2825.46	c #Conflicts:       4000 | #Constraints:     394075
2816.71/2825.46	c INPROCESSING
2816.71/2825.46	c GARBAGE COLLECT
2816.71/2825.46	c #Conflicts:       5000 | #Constraints:     393538
2816.71/2825.46	c GLOBAL bounds - >= -18432 @ 2740.76
2817.81/2826.51	c GLOBAL bounds - >= -18432 @ 2741.55
3600.09/3611.40	c #Conflicts:       6000 | #Constraints:     394539
3600.09/3611.40	c cpu time 3520.75 s
3600.09/3611.40	c deterministic time 47772995030 4.78e+10
3600.09/3611.40	c optimization time 1081.45 s
3600.09/3611.40	c total solve time 2437.33 s
3600.09/3611.40	c core-guided solve time 0 s
3600.09/3611.40	c propagation time 1045.46 s
3600.09/3611.40	c conflict analysis time 1827.4 s
3600.09/3611.40	c propagations 390666901
3600.09/3611.40	c resolve steps 227260
3600.09/3611.40	c decisions 3324796
3600.09/3611.40	c conflicts 6474
3600.09/3611.40	c restarts 30
3600.09/3611.40	c inprocessing phases 2
3600.09/3611.40	c garbage collections 2 ,( 100.00 )
3600.09/3611.40	c input clauses 399009 ,( 99.50 )
3600.09/3611.40	c input cardinalities 1995 ,( 0.50 )
3600.09/3611.40	c input general constraints 2 ,( 0.00 )
3600.09/3611.40	c input average constraint length 7.02
3600.09/3611.40	c input average constraint degree 14.23
3600.09/3611.40	c learned clauses 532 ,( 8.22 )
3600.09/3611.40	c learned cardinalities 328 ,( 5.07 )
3600.09/3611.40	c learned general constraints 5615 ,( 86.72 )
3600.09/3611.40	c learned average constraint length 216919.17
3600.09/3611.40	c learned average constraint degree 15399745918.03
3600.09/3611.40	c watched  CF 32, 64, 128, Arb: 62 , 0 , 0 , 0
3600.09/3611.40	c counting CF 32, 64, 128, Arb: 5556 , 0 , 0 , 0
3600.09/3611.40	c watched   constraints 62 ,( 1.10 ) 
3600.09/3611.40	c counting  constraints 5555 ,( 98.90 ) 
3600.09/3611.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 44056047 , 83557 , 1017305 ,( 3252 , 1014053 )
3600.09/3611.40	c gcd simplifications 6
3600.09/3611.40	c detected cardinalities 0
3600.09/3611.40	c weakened non-implied lits 644387252
3600.09/3611.40	c weakened non-implying lits 333
3600.09/3611.40	c original variables 399113
3600.09/3611.40	c clausal propagations 41726213
3600.09/3611.40	c cardinality propagations 2518578
3600.09/3611.40	c watched propagations 768
3600.09/3611.40	c counting propagations 268350344
3600.09/3611.40	c watch lookups 135954417
3600.09/3611.40	c watch backjump lookups 0
3600.09/3611.40	c watch checks 85215378
3600.09/3611.40	c propagation checks 44364420906
3600.09/3611.40	c constraint additions 2399726308
3600.09/3611.40	c trail pops 393667511
3600.09/3611.40	c formula constraints 400980
3600.09/3611.40	c learned constraints 6473
3600.09/3611.40	c bound constraints 0
3600.09/3611.40	c core-guided constraints 0
3600.09/3611.40	c encountered formula constraints 223795
3600.09/3611.40	c encountered learned constraints 9937
3600.09/3611.40	c encountered bound constraints 0
3600.09/3611.40	c encountered core-guided constraints 0
3600.09/3611.40	c LP total time 495.586 s
3600.09/3611.40	c LP solve time 495 s
3600.09/3611.40	c LP constraints added 400980
3600.09/3611.40	c LP constraints removed 0
3600.09/3611.40	c LP pivots internal 13812
3600.09/3611.40	c LP pivots root 5000
3600.09/3611.40	c LP calls 5
3600.09/3611.40	c LP optimalities 0
3600.09/3611.40	c LP no pivot count 0
3600.09/3611.40	c LP infeasibilities 1
3600.09/3611.40	c LP valid Farkas constraints 1
3600.09/3611.40	c LP learned Farkas constraints 1
3600.09/3611.40	c LP basis resets 0
3600.09/3611.40	c LP cycling count 0
3600.09/3611.40	c LP singular count 0
3600.09/3611.40	c LP no primal count 0
3600.09/3611.40	c LP no farkas count 0
3600.09/3611.40	c LP other issue count 0
3600.09/3611.40	c LP Gomory cuts 0
3600.09/3611.40	c LP learned cuts 0
3600.09/3611.40	c LP deleted cuts 0
3600.09/3611.40	c LP encountered Gomory constraints 0
3600.09/3611.40	c LP encountered Farkas constraints 0
3600.09/3611.40	c LP encountered learned Farkas constraints 1
3600.09/3611.40	c CG auxiliary variables introduced 80
3600.09/3611.40	c CG solutions found 0
3600.09/3611.40	c CG cores constructed 10
3600.09/3611.40	c CG core cardinality constraints returned 0
3600.09/3611.40	c CG unit cores 4
3600.09/3611.40	c CG single cores 0
3600.09/3611.40	c CG blocks removed during cardinality reduction 0
3600.09/3611.40	c CG first core best 0
3600.09/3611.40	c CG decision core best 0
3600.09/3611.40	c CG core reduction tie 0
3600.09/3611.40	c CG core degree average 0.00
3600.09/3611.40	c CG core slack average 0.00
3600.09/3611.40	c CG core upper bound improvements 0
3600.09/3611.40	c STR number of successful calls 0
3600.09/3611.40	c STR number of unsuccessful calls 0
3600.09/3611.40	c STR number of inconclusive calls 0
3600.09/3611.40	c STR number of successful attempts 0
3600.09/3611.40	c STR number of unsuccessful attempts 0
3600.09/3611.40	c STR number of inconclusive attempts 0
3600.09/3611.40	c STR average degree increase per successful call inf
3600.09/3611.40	c STR average degree increase per successful attempt inf
3600.09/3611.40	c STR total number of conflicts for successful attempts 0
3600.09/3611.40	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.40	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.40	c STR average number of conflicts per successful attempt inf
3600.09/3611.40	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.40	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.40	c AVG.sumWPerc 98.46 
3600.09/3611.40	c bigint constraints 0 
3600.09/3611.40	s UNKNOWN
3600.09/3611.40	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 (43335 MiB free)
  memory of node 1: 64507 MiB (60089 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=70380, runsolver pid=70377

[startup+0.100067 s]*
/proc/loadavg: 4.14 4.11 4.09 5/268 70382
/proc/meminfo: memFree=105793636/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=168300 memory=109636 CPUtime=0.08 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 9690 0 0 0 5 3 0 0 20 0 1 0 65348340 172339200 27409 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 42075 27409 1920 1147 0 29502 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 172492 KiB
Current children cumulated memory: 112708 KiB

[startup+0.205908 s]*
/proc/loadavg: 4.14 4.11 4.09 5/268 70382
/proc/meminfo: memFree=105793636/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=131824 memory=87100 CPUtime=0.19 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 9745 0 0 0 14 5 0 0 20 0 1 0 65348340 134987776 21775 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 32956 21775 1952 1147 0 20383 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136016 KiB
Current children cumulated memory: 90172 KiB

[startup+0.305949 s]*
/proc/loadavg: 4.14 4.11 4.09 5/268 70382
/proc/meminfo: memFree=105793636/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=134140 memory=91504 CPUtime=0.28 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 10354 0 0 0 21 7 0 0 20 0 1 0 65348340 137359360 22876 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 33535 22876 1952 1147 0 20962 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 138332 KiB
Current children cumulated memory: 94576 KiB

[startup+0.700209 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 70382
/proc/meminfo: memFree=105782296/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=158320 memory=112956 CPUtime=0.68 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 15449 0 0 0 54 14 0 0 20 0 1 0 65348340 162119680 28239 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 39580 28239 1952 1147 0 27007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162512 KiB
Current children cumulated memory: 116028 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 70382
/proc/meminfo: memFree=105764592/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=270388 memory=212464 CPUtime=1.47 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 22294 0 0 0 116 31 0 0 20 0 1 0 65348340 276877312 53116 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 67597 53116 1952 1147 0 55024 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 274580 KiB
Current children cumulated memory: 215536 KiB

[startup+3.10588 s]
/proc/loadavg: 4.21 4.12 4.10 5/268 70382
/proc/meminfo: memFree=105323740/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=715976 memory=594872 CPUtime=3.07 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 47357 0 0 0 234 73 0 0 20 0 1 0 65348340 733159424 148718 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 178994 148718 2368 1147 0 166421 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 720168 KiB
Current children cumulated memory: 597944 KiB

[startup+6.3002 s]
/proc/loadavg: 4.21 4.12 4.10 5/268 70382
/proc/meminfo: memFree=105245920/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=782184 memory=654912 CPUtime=6.26 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 49889 0 0 0 388 238 0 0 20 0 1 0 65348340 800956416 163728 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 195546 163728 2368 1147 0 182973 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 786376 KiB
Current children cumulated memory: 657984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 70382
/proc/meminfo: memFree=105135736/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=831972 memory=702400 CPUtime=12.64 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 51072 0 0 0 709 555 0 0 20 0 1 0 65348340 851939328 175600 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 207993 175600 2368 1147 0 195420 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 836164 KiB
Current children cumulated memory: 705472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 70383
/proc/meminfo: memFree=104676648/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=1079292 memory=936936 CPUtime=25.41 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 80582 0 0 0 1606 935 0 0 20 0 1 0 65348340 1105195008 234234 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 269823 234234 2368 1147 0 257250 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1083484 KiB
Current children cumulated memory: 940008 KiB

[startup+51.106 s]
/proc/loadavg: 4.18 4.12 4.10 5/268 70383
/proc/meminfo: memFree=103756996/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=1753996 memory=1538832 CPUtime=50.94 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 163073 0 0 0 4056 1038 0 0 20 0 1 0 65348340 1796091904 384708 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 438499 384708 2400 1147 0 425926 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1758188 KiB
Current children cumulated memory: 1541904 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 70387
/proc/meminfo: memFree=102521788/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=2453844 memory=2279396 CPUtime=101.98 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 251681 0 0 0 8658 1540 0 0 20 0 1 0 65348340 2512736256 569849 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 613461 569849 2400 1147 0 600888 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2458036 KiB
Current children cumulated memory: 2282468 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 70392
/proc/meminfo: memFree=100773140/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=3798568 memory=3363808 CPUtime=161.8 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 441062 0 0 0 13963 2217 0 0 20 0 1 0 65348340 3889733632 840952 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 949642 840952 2400 1147 0 937069 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 3802760 KiB
Current children cumulated memory: 3366880 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 70394
/proc/meminfo: memFree=100348300/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=3798568 memory=3363808 CPUtime=221.63 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 441092 0 0 0 18700 3463 0 0 20 0 1 0 65348340 3889733632 840952 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 949642 840952 2400 1147 0 937069 0
Current children cumulated CPU time: 221.63 s

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

Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 27757284 KiB
Current children cumulated memory: 23784828 KiB

[startup+3222.3 s]
/proc/loadavg: 3.06 3.19 3.57 4/261 70625
/proc/meminfo: memFree=73223716/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=27817164 memory=23827380 CPUtime=3212.22 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4378442 0 0 0 313496 7726 0 0 20 0 1 0 65348340 28484775936 5956845 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 6954291 5956845 2432 1147 0 6941718 0
Current children cumulated CPU time: 3212.22 s
Current children cumulated vsize: 27821356 KiB
Current children cumulated memory: 23830452 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.19 3.54 4/261 70630
/proc/meminfo: memFree=73138204/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=27817764 memory=23832628 CPUtime=3272 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4380527 0 0 0 319456 7744 0 0 20 0 1 0 65348340 28485390336 5958157 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 6954441 5958157 2432 1147 0 6941868 0
Current children cumulated CPU time: 3272 s
Current children cumulated vsize: 27821956 KiB
Current children cumulated memory: 23835700 KiB

[startup+3342.3 s]
/proc/loadavg: 3.36 3.26 3.54 4/260 70632
/proc/meminfo: memFree=72625332/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=28288680 memory=24236264 CPUtime=3331.79 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4460873 0 0 0 325413 7766 0 0 20 0 1 0 65348340 28967608320 6059066 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7072170 6059066 2432 1147 0 7059597 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 28292872 KiB
Current children cumulated memory: 24239336 KiB

[startup+3402.3 s]
/proc/loadavg: 3.21 3.22 3.51 4/260 70634
/proc/meminfo: memFree=71893588/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=28870804 memory=24752532 CPUtime=3391.58 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4563832 0 0 0 331363 7795 0 0 20 0 1 0 65348340 29563703296 6188133 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7217701 6188133 2432 1147 0 7205128 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 28874996 KiB
Current children cumulated memory: 24755604 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.18 3.48 3/253 70667
/proc/meminfo: memFree=86826016/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=28873996 memory=25124424 CPUtime=3451.38 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4610307 0 0 0 337310 7828 0 0 20 0 1 0 65348340 29566971904 6281106 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7218499 6281106 2432 1147 0 7205926 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 28878188 KiB
Current children cumulated memory: 25127496 KiB

[startup+3522.3 s]
/proc/loadavg: 2.44 2.98 3.39 3/254 70674
/proc/meminfo: memFree=86218240/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=28877836 memory=25623064 CPUtime=3511.22 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4673381 0 0 0 343269 7853 0 0 20 0 1 0 65348340 29570904064 6405766 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7219459 6405766 2432 1147 0 7206886 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 28882028 KiB
Current children cumulated memory: 25626136 KiB

[startup+3582.3 s]
/proc/loadavg: 2.20 2.81 3.30 3/254 70678
/proc/meminfo: memFree=85394104/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=29566444 memory=26360700 CPUtime=3571.07 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4814511 0 0 0 349192 7915 0 0 20 0 1 0 65348340 30276038656 6590175 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7391611 6590175 2432 1147 0 7379038 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 29570636 KiB
Current children cumulated memory: 26363772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 2.12 2.73 3.26 3/254 70679
/proc/meminfo: memFree=85070968/131249996 swapFree=33010160/33010684
[pid=70380] ppid=70377 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/70380/stat : 70380 (run-opt.sh) S 70377 70380 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 65348339 4292608 768 18446744073709551615 94472882634752 94472883529285 140724039247984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94472883768336 94472883816080 94472907878400 140724039252333 140724039252456 140724039252456 140724039258058 0
/proc/70380/statm: 1048 768 704 219 0 110 0
[pid=70382] ppid=70380 vsize=29566576 memory=26624856 CPUtime=3600.09 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70380 70380 69363 0 -1 4194304 4848369 0 0 0 352074 7935 0 0 20 0 1 0 65348340 30276173824 6656214 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 7391644 6656214 2432 1147 0 7379071 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 29570768 KiB
Current children cumulated memory: 26627928 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3612 s]*
/proc/loadavg: 2.12 2.73 3.26 3/253 70679
/proc/meminfo: memFree=99322356/131249996 swapFree=33010160/33010684
[pid=70382] ppid=70377 vsize=19448200 memory=12253360 CPUtime=3600.7 cores=5,7
/proc/70382/stat : 70382 (roundingsat) R 70377 70380 69363 0 -1 4194304 4849263 0 0 0 352098 7972 0 0 20 0 1 0 65348340 19914956800 3063340 18446744073709551615 4227072 8923433 140730658063936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21147648 140730658072994 140730658073128 140730658073128 140730658078698 0
/proc/70382/statm: 4862050 3063340 2528 1147 0 4849477 0
Current cumulated CPU time of completed processes: 0.002628 s
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 19448200 KiB
Current children cumulated memory: 12253360 KiB

[startup+3612.4 s]
/proc/loadavg: 2.12 2.73 3.26 3/253 70679
/proc/meminfo: memFree=104066464/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002628 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3612.5 s]
/proc/loadavg: 2.12 2.73 3.26 3/253 70679
/proc/meminfo: memFree=104066464/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002628 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.51
CPU time (s): 3601.21
CPU user time (s): 3520.98
CPU system time (s): 80.224
CPU usage (%): 99.6872
Max. virtual memory (cumulated for all children) (KiB): 29570768
Max. memory (cumulated for all children) (KiB): 26627928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3520.98
system time used= 80.224
maximum resident set size= 26625240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4849483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 19758


# summary of solver processes directly reported to runsolver:
#   pid: 70380,70382
#   total CPU time (s): 3601.21
#   total CPU user time (s): 3520.98
#   total CPU system time (s): 80.224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38391 second user time and 18.5483 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 00:51:47
IDJOB=4505998
IDBENCH=157587
IDSOLVER=3350
FILE ID=nodeC021/4505998-1751496706
RUNJOBID= nodeC021-1751488380-69376
SLURM_JOB_ID= 9598545
Free space on /tmp= 430952 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505998-1751496706/watcher-4505998-1751496706 -o /tmp/evaluation-result-4505998-1751496706/solver-4505998-1751496706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760  run-opt.sh HOME/instance-4505998-1751496706.opb

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

MD5SUM BENCH= a6b74371f97d4ca84ea621a5ce055c49
RANDOM SEED=161707696

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        105899700 kB
MemAvailable:   109670500 kB
Buffers:            2128 kB
Cached:          4509040 kB
SwapCached:           20 kB
Active:         20513336 kB
Inactive:        4030304 kB
Active(anon):   20039588 kB
Inactive(anon):    10924 kB
Active(file):     473748 kB
Inactive(file):  4019380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37356 kB
Writeback:             0 kB
AnonPages:      20031628 kB
Mapped:           117444 kB
Shmem:             18040 kB
KReclaimable:     233424 kB
Slab:             325332 kB
SReclaimable:     233424 kB
SUnreclaim:        91908 kB
KernelStack:        4320 kB
PageTables:        43684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   25120896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5502976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431016 MiB
End job on nodeC021 at 2025-07-03 01:51:59