Trace number 4532285

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 0f876b3? (TO) 3600.23 3636.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM6022b5aad9039ac1ca82f9921059af7c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4532285-1752584603.opb'
0.16/0.27	c 	read 18.99MB  (236.77ms)
0.16/0.27	c	 [cnf: #variables 185520 #clauses 405 #duplicates 0 #arr 1316640]
0.16/0.31	c output proof to 'PROOFDIR/proof-4532285-1752584603'
0.23/0.31	c 
0.23/0.31	c make graph and approximate orbits
0.52/0.65	c	 [group: #orbits ~= 17400] (345.47ms)
0.52/0.65	c 
0.52/0.65	c detect special group actions
0.52/0.65	c 	probe for Johnson action (limit=64)
0.52/0.65	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.52/0.68	c 	probe for row symmetry (limit=64, splits=16.78M)
0.81/1.00	c 	 found row 6x2, generating row predicate
1.21/1.31	c 	 found row 6x2, generating row predicate
1.51/1.61	c 	 found row 6x2, generating row predicate
1.81/1.91	c 	 found row 6x2, generating row predicate
2.11/2.22	c 	 found row 6x2, generating row predicate
2.41/2.52	c 	 found row 6x2, generating row predicate
2.71/2.82	c 	 found row 6x2, generating row predicate
3.01/3.12	c 	 found row 6x2, generating row predicate
3.31/3.43	c 	 found row 6x2, generating row predicate
3.61/3.73	c 	 found row 6x2, generating row predicate
3.91/4.03	c 	 found row 6x2, generating row predicate
4.20/4.33	c 	 found row 6x2, generating row predicate
4.50/4.64	c 	 found row 6x2, generating row predicate
4.80/4.94	c 	 found row 6x2, generating row predicate
5.10/5.24	c 	 found row 6x2, generating row predicate
5.40/5.55	c 	 found row 6x2, generating row predicate
5.70/5.85	c 	 found row 6x2, generating row predicate
6.00/6.15	c 	 found row 6x2, generating row predicate
6.30/6.45	c 	 found row 6x2, generating row predicate
6.60/6.76	c 	 found row 6x2, generating row predicate
6.90/7.06	c 	 found row 6x2, generating row predicate
7.20/7.36	c 	 found row 6x2, generating row predicate
7.49/7.66	c 	 found row 6x2, generating row predicate
7.79/7.97	c 	 found row 6x2, generating row predicate
8.09/8.27	c 	 found row 6x2, generating row predicate
8.39/8.57	c 	 found row 6x2, generating row predicate
8.69/8.87	c 	 found row 6x2, generating row predicate
8.99/9.18	c 	 found row 6x2, generating row predicate
9.28/9.49	c 	 found row 6x2, generating row predicate
9.58/9.79	c 	 found row 6x2, generating row predicate
9.78/9.96	c 	 found row 4x2, generating row predicate
9.98/10.13	c 	 found row 4x2, generating row predicate
9.98/10.13	c 	 (9477.53ms)
9.98/10.13	c 
9.98/10.13	c detect symmetries on remainder
9.98/10.13	c 	[graph: #vertices 955815 #edges 4173060]
9.98/10.14	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
10.18/10.30	c 	 [group: #symmetries 7.75*10^12764 #generators 21894] (172.72ms)
10.18/10.30	c 
10.18/10.30	c optimize generators (opt_passes=64, conjugate_limit=256)
10.18/10.31	c 	ran it=0, +gens=8 
11.18/11.35	c 	con best_support=4, best_gens=21894, +gens=60
11.18/11.35	c 	(1045.33ms)
11.18/11.35	c 
11.18/11.35	c finalize break order and special generators
11.18/11.36	c 
11.18/11.36	c add generic predicates (break_depth=20)
11.18/11.36	c 	added predicates for 21962 generators (3.13ms)
11.27/11.42	c 
11.27/11.42	c generation finished
11.27/11.42	c 	[sbp: #constraints 22142 #add_vars 8]
11.27/11.43	c 
11.27/11.43	c write result to 'HOME/instance-4532285-1752584603.opb.pre'
11.27/11.47	c 	wrote 19.63MB (41.33ms)
11.27/11.47	c ------------------------------------------------------------------
11.27/11.47	c                9477.53ms 82.87% detect_special
11.27/11.47	c                1045.33ms  9.14% optimize_gens
11.27/11.47	c                 345.47ms  3.02% approx_orbits
11.27/11.47	c                 236.77ms  2.07% parse
11.27/11.47	c                 172.72ms  1.51% detect_generic
11.27/11.47	c                 105.71ms  0.92% other
11.27/11.47	c                  41.33ms  0.36% output
11.27/11.47	c                   9.26ms  0.08% finalize_order
11.27/11.47	c                   3.13ms  0.03% break_generic
11.27/11.47	c         ───────────────────────────────────────────────
11.27/11.47	c               11437.23ms   100% total
11.27/11.47	c ------------------------------------------------------------------
11.37/11.72	c RoundingSat 2
11.37/11.72	c branch pb25
11.37/11.72	c commit 0f876b3
39.25/39.79	c #variables 185528 #constraints 15500
39.25/39.79	c objective is ce32 
39.35/39.82	c initial watched  CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
39.35/39.82	c initial counting CF 32, 64, 128, Arb: 619 , 189 , 0 , 0
39.35/39.82	c bounds - >= 0 @ 27.8689
3600.08/3624.70	c #Conflicts:       1000 | #Constraints:      16499
3600.08/3624.70	c #Conflicts:       2000 | #Constraints:      17499
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:       3000 | #Constraints:      17508
3600.08/3624.70	c #Conflicts:       4000 | #Constraints:      18508
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:       5000 | #Constraints:      17970
3600.08/3624.70	c #Conflicts:       6000 | #Constraints:      18970
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:       7000 | #Constraints:      18041
3600.08/3624.70	c #Conflicts:       8000 | #Constraints:      19041
3600.08/3624.70	c #Conflicts:       9000 | #Constraints:      20041
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      10000 | #Constraints:      18803
3600.08/3624.70	c #Conflicts:      11000 | #Constraints:      19803
3600.08/3624.70	c #Conflicts:      12000 | #Constraints:      20803
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      13000 | #Constraints:      19279
3600.08/3624.70	c #Conflicts:      14000 | #Constraints:      20279
3600.08/3624.70	c #Conflicts:      15000 | #Constraints:      21279
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      16000 | #Constraints:      19528
3600.08/3624.70	c #Conflicts:      17000 | #Constraints:      20528
3600.08/3624.70	c #Conflicts:      18000 | #Constraints:      21528
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      19000 | #Constraints:      19654
3600.08/3624.70	c #Conflicts:      20000 | #Constraints:      20656
3600.08/3624.70	c #Conflicts:      21000 | #Constraints:      21656
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      22000 | #Constraints:      19395
3600.08/3624.70	c #Conflicts:      23000 | #Constraints:      20395
3600.08/3624.70	c #Conflicts:      24000 | #Constraints:      21395
3600.08/3624.70	c #Conflicts:      25000 | #Constraints:      22395
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      26000 | #Constraints:      19915
3600.08/3624.70	c #Conflicts:      27000 | #Constraints:      20915
3600.08/3624.70	c #Conflicts:      28000 | #Constraints:      21915
3600.08/3624.70	c #Conflicts:      29000 | #Constraints:      22915
3600.08/3624.70	c INPROCESSING
3600.08/3624.70	c GARBAGE COLLECT
3600.08/3624.70	c #Conflicts:      30000 | #Constraints:      20287
3600.08/3624.70	c #Conflicts:      31000 | #Constraints:      21287
3600.08/3624.70	c cpu time 3541.86 s
3600.08/3624.70	c deterministic time 148474666962 1.48e+11
3600.08/3624.70	c optimization time 139.635 s
3600.08/3624.70	c total solve time 3374.38 s
3600.08/3624.70	c core-guided solve time 1634.96 s
3600.08/3624.70	c propagation time 1623.77 s
3600.08/3624.70	c conflict analysis time 1194.99 s
3600.08/3624.70	c propagations 408348094
3600.08/3624.70	c resolve steps 54230
3600.08/3624.70	c decisions 42899876
3600.08/3624.70	c conflicts 31260
3600.08/3624.70	c restarts 115
3600.08/3624.70	c inprocessing phases 10
3600.08/3624.70	c garbage collections 10 ,( 100.00 )
3600.08/3624.70	c input clauses 14692 ,( 94.79 )
3600.08/3624.70	c input cardinalities 0 ,( 0.00 )
3600.08/3624.70	c input general constraints 808 ,( 5.21 )
3600.08/3624.70	c input average constraint length 109.78
3600.08/3624.70	c input average constraint degree 920145135.57
3600.08/3624.70	c learned clauses 93 ,( 0.30 )
3600.08/3624.70	c learned cardinalities 157 ,( 0.50 )
3600.08/3624.70	c learned general constraints 31012 ,( 99.20 )
3600.08/3624.70	c learned average constraint length 17230.88
3600.08/3624.70	c learned average constraint degree 29270890211.35
3600.08/3624.70	c watched  CF 32, 64, 128, Arb: 24 , 0 , 0 , 0
3600.08/3624.70	c counting CF 32, 64, 128, Arb: 31608 , 189 , 0 , 0
3600.08/3624.70	c watched   constraints 24 ,( 0.08 ) 
3600.08/3624.70	c counting  constraints 31796 ,( 99.92 ) 
3600.08/3624.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2626065 , 998 , 13312819605 ,( 942651 , 13311876954 )
3600.08/3624.70	c gcd simplifications 12051
3600.08/3624.70	c detected cardinalities 86
3600.08/3624.70	c weakened non-implied lits 722852160
3600.08/3624.70	c weakened non-implying lits 1527437
3600.08/3624.70	c original variables 185528
3600.08/3624.70	c clausal propagations 2625392
3600.08/3624.70	c cardinality propagations 24
3600.08/3624.70	c watched propagations 19
3600.08/3624.70	c counting propagations 400795145
3600.08/3624.70	c watch lookups 25189093159
3600.08/3624.70	c watch backjump lookups 0
3600.08/3624.70	c watch checks 71480902
3600.08/3624.70	c propagation checks 120300354576
3600.08/3624.70	c constraint additions 2011247063
3600.08/3624.70	c trail pops 451152769
3600.08/3624.70	c formula constraints 15500
3600.08/3624.70	c learned constraints 31256
3600.08/3624.70	c bound constraints 0
3600.08/3624.70	c core-guided constraints 0
3600.08/3624.70	c encountered formula constraints 50141
3600.08/3624.70	c encountered learned constraints 25845
3600.08/3624.70	c encountered bound constraints 0
3600.08/3624.70	c encountered core-guided constraints 0
3600.08/3624.70	c LP total time 809.866 s
3600.08/3624.70	c LP solve time 809.27 s
3600.08/3624.70	c LP constraints added 15500
3600.08/3624.70	c LP constraints removed 0
3600.08/3624.70	c LP pivots internal 33522
3600.08/3624.70	c LP pivots root 57000
3600.08/3624.70	c LP calls 9
3600.08/3624.70	c LP optimalities 0
3600.08/3624.70	c LP no pivot count 0
3600.08/3624.70	c LP infeasibilities 3
3600.08/3624.70	c LP valid Farkas constraints 3
3600.08/3624.70	c LP learned Farkas constraints 3
3600.08/3624.70	c LP basis resets 0
3600.08/3624.70	c LP cycling count 0
3600.08/3624.70	c LP singular count 0
3600.08/3624.70	c LP no primal count 0
3600.08/3624.70	c LP no farkas count 0
3600.08/3624.70	c LP other issue count 0
3600.08/3624.70	c LP Gomory cuts 0
3600.08/3624.70	c LP learned cuts 0
3600.08/3624.70	c LP deleted cuts 0
3600.08/3624.70	c LP encountered Gomory constraints 0
3600.08/3624.70	c LP encountered Farkas constraints 9501
3600.08/3624.70	c LP encountered learned Farkas constraints 0
3600.08/3624.70	c CG auxiliary variables introduced 0
3600.08/3624.70	c CG solutions found 0
3600.08/3624.70	c CG cores constructed 0
3600.08/3624.70	c CG core cardinality constraints returned 0
3600.08/3624.70	c CG unit cores 0
3600.08/3624.70	c CG single cores 0
3600.08/3624.70	c CG blocks removed during cardinality reduction 0
3600.08/3624.70	c CG first core best 0
3600.08/3624.70	c CG decision core best 0
3600.08/3624.70	c CG core reduction tie 0
3600.08/3624.70	c CG core degree average 0.00
3600.08/3624.70	c CG core slack average 0.00
3600.08/3624.70	c CG core upper bound improvements 0
3600.08/3624.70	c STR number of successful calls 0
3600.08/3624.70	c STR number of unsuccessful calls 0
3600.08/3624.70	c STR number of inconclusive calls 0
3600.08/3624.70	c STR number of successful attempts 0
3600.08/3624.70	c STR number of unsuccessful attempts 0
3600.08/3624.70	c STR number of inconclusive attempts 0
3600.08/3624.70	c STR average degree increase per successful call inf
3600.08/3624.70	c STR average degree increase per successful attempt inf
3600.08/3624.70	c STR total number of conflicts for successful attempts 0
3600.08/3624.70	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3624.70	c STR total number of conflicts for inconclusive attempts 0
3600.08/3624.70	c STR average number of conflicts per successful attempt inf
3600.08/3624.70	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3624.70	c STR average number of conflicts per inconclusive attempt inf
3600.08/3624.70	c AVG.sumWPerc 91.09 
3600.08/3624.70	c bigint constraints 189 
3600.08/3624.70	s UNKNOWN
3600.08/3624.70	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 (60040 MiB free)
  memory of node 1: 64507 MiB (63671 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532285-1752584603/watcher-4532285-1752584603 -o /tmp/evaluation-result-4532285-1752584603/solver-4532285-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752584602-135684 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532285-1752584603.opb PROOFDIR/proof-4532285-1752584603 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=135743, runsolver pid=135731
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.11 0.27 0.21 5/271 135747
/proc/meminfo: memFree=126595304/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=40624 memory=31392 CPUtime=0.06 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 5962 0 0 0 5 1 0 0 20 0 1 0 174139954 41598976 7848 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 10156 7848 960 108 0 7564 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 44816 KiB
Current children cumulated memory: 34464 KiB

[startup+0.205717 s]*
/proc/loadavg: 0.11 0.27 0.21 5/271 135748
/proc/meminfo: memFree=126567124/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=53892 memory=44440 CPUtime=0.16 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 8214 0 0 0 15 1 0 0 20 0 1 0 174139954 55185408 11110 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 13473 11110 960 108 0 10881 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 58084 KiB
Current children cumulated memory: 47512 KiB

[startup+0.305577 s]*
/proc/loadavg: 0.11 0.27 0.21 4/271 135748
/proc/meminfo: memFree=126516616/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=59548 memory=48372 CPUtime=0.23 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 10080 0 0 0 21 2 0 0 20 0 1 0 174139954 60977152 12093 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 14887 12093 1024 108 0 12295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 63740 KiB
Current children cumulated memory: 51444 KiB

[startup+0.700203 s]
/proc/loadavg: 0.11 0.27 0.21 5/271 135748
/proc/meminfo: memFree=126356320/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=288820 memory=225216 CPUtime=0.61 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 30655 0 0 0 54 7 0 0 20 0 1 0 174139954 295751680 56304 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 72205 56304 1024 108 0 69613 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 293012 KiB
Current children cumulated memory: 228288 KiB

[startup+1.50016 s]
/proc/loadavg: 0.11 0.27 0.21 5/271 135748
/proc/meminfo: memFree=126151244/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=288820 memory=225728 CPUtime=1.41 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 30787 0 0 0 133 8 0 0 20 0 1 0 174139954 295751680 56432 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 72205 56432 1024 108 0 69613 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 293012 KiB
Current children cumulated memory: 228800 KiB

[startup+3.10542 s]
/proc/loadavg: 0.11 0.27 0.21 5/271 135749
/proc/meminfo: memFree=125977308/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=288820 memory=225728 CPUtime=3.01 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 30808 0 0 0 293 8 0 0 20 0 1 0 174139954 295751680 56432 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 72205 56432 1024 108 0 69613 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 293012 KiB
Current children cumulated memory: 228800 KiB

[startup+6.30016 s]
/proc/loadavg: 0.42 0.34 0.23 5/271 135749
/proc/meminfo: memFree=125741612/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135746] ppid=135743 vsize=288820 memory=225728 CPUtime=6.2 cores=4,6
/proc/135746/stat : 135746 (pbsuma) R 135743 135743 135673 0 -1 4194304 30833 0 0 0 612 8 0 0 20 0 1 0 174139954 295751680 56432 18446744073709551615 4210688 4653049 140733884338528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14340096 140733884340449 140733884340784 140733884340784 140733884346351 0
/proc/135746/statm: 72205 56432 1024 108 0 69613 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 293012 KiB
Current children cumulated memory: 228800 KiB

[startup+12.7001 s]
/proc/loadavg: 0.71 0.40 0.26 4/267 135759
/proc/meminfo: memFree=125421012/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=145936 memory=98224 CPUtime=0.96 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 15131 0 0 0 93 3 0 0 20 0 1 0 174141102 149438464 24556 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 36484 24556 1952 1147 0 23910 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 150128 KiB
Current children cumulated memory: 101296 KiB

[startup+25.5001 s]
/proc/loadavg: 1.51 0.59 0.32 5/267 135779
/proc/meminfo: memFree=124938216/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=145936 memory=98224 CPUtime=13.72 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 15139 0 0 0 1368 4 0 0 20 0 1 0 174141102 149438464 24556 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 36484 24556 1952 1147 0 23910 0
Current children cumulated CPU time: 25.09 s
Current children cumulated vsize: 150128 KiB
Current children cumulated memory: 101296 KiB

[startup+51.1057 s]
/proc/loadavg: 2.36 0.87 0.42 5/272 135800
/proc/meminfo: memFree=124070408/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=328876 memory=287180 CPUtime=39.25 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 41169 0 0 0 3907 18 0 0 20 0 1 0 174141102 336769024 71795 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 82219 71795 2336 1147 0 69645 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 333068 KiB
Current children cumulated memory: 290252 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.38 0.62 5/272 135803
/proc/meminfo: memFree=121509308/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=575956 memory=522608 CPUtime=90.25 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 86732 0 0 0 8800 225 0 0 20 0 1 0 174141102 589778944 130652 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 143989 130652 2368 1147 0 131415 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 580148 KiB
Current children cumulated memory: 525680 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.88 0.84 5/271 135805
/proc/meminfo: memFree=119262640/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=1276652 memory=1133432 CPUtime=150.05 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 196044 0 0 0 14666 339 0 0 20 0 1 0 174141102 1307291648 283358 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 319163 283358 2368 1147 0 306589 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 1280844 KiB
Current children cumulated memory: 1136504 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.28 1.05 5/271 135807
/proc/meminfo: memFree=117237024/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=1276652 memory=1133560 CPUtime=209.86 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 196116 0 0 0 20641 345 0 0 20 0 1 0 174141102 1307291648 283390 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 319163 283390 2368 1147 0 306589 0

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

Current children cumulated memory: 3508816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/273 135970
/proc/meminfo: memFree=21474356/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3887204 memory=3505744 CPUtime=3308.61 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 681544 0 0 0 326763 4098 0 0 20 0 1 0 174141102 3980496896 876436 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 971801 876436 2368 1147 0 959227 0
Current children cumulated CPU time: 3319.98 s
Current children cumulated vsize: 3891396 KiB
Current children cumulated memory: 3508816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/275 135974
/proc/meminfo: memFree=19809204/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3887204 memory=3505872 CPUtime=3368.23 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 681697 0 0 0 332575 4248 0 0 20 0 1 0 174141102 3980496896 876468 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 971801 876468 2368 1147 0 959227 0
Current children cumulated CPU time: 3379.6 s
Current children cumulated vsize: 3891396 KiB
Current children cumulated memory: 3508944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/275 135988
/proc/meminfo: memFree=18202520/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3887816 memory=3506384 CPUtime=3428.09 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 682036 0 0 0 338418 4391 0 0 20 0 1 0 174141102 3981123584 876596 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 971954 876596 2368 1147 0 959380 0
Current children cumulated CPU time: 3439.46 s
Current children cumulated vsize: 3892008 KiB
Current children cumulated memory: 3509456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/275 135989
/proc/meminfo: memFree=16732168/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3889972 memory=3507664 CPUtime=3487.94 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 682420 0 0 0 344283 4511 0 0 20 0 1 0 174141102 3983331328 876916 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 972493 876916 2368 1147 0 959919 0
Current children cumulated CPU time: 3499.31 s
Current children cumulated vsize: 3894164 KiB
Current children cumulated memory: 3510736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/275 135991
/proc/meminfo: memFree=15411848/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3905556 memory=3524944 CPUtime=3547.77 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 686985 0 0 0 350173 4604 0 0 20 0 1 0 174141102 3999289344 881236 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 976389 881236 2368 1147 0 963815 0
Current children cumulated CPU time: 3559.14 s
Current children cumulated vsize: 3909748 KiB
Current children cumulated memory: 3528016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3624.7 s]
/proc/loadavg: 4.10 4.12 4.06 4/272 135992
/proc/meminfo: memFree=13948624/131249996 swapFree=33005016/33010684
[pid=135743] ppid=135731 vsize=4192 memory=3072 CPUtime=11.37 cores=4,6
/proc/135743/stat : 135743 (run-opt-break-l) S 135731 135743 135673 0 -1 4194304 241 46122 0 0 0 0 1123 14 20 0 1 0 174139952 4292608 768 18446744073709551615 94652967559168 94652968453701 140735364661520 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94652968692752 94652968740496 94652982235136 140735364667667 140735364667868 140735364667868 140735364673472 0
/proc/135743/statm: 1048 768 704 219 0 110 0
[pid=135759] ppid=135743 vsize=3931424 memory=3549776 CPUtime=3588.71 cores=4,6
/proc/135759/stat : 135759 (roundingsat) R 135743 135743 135673 0 -1 4194304 693219 0 0 0 354185 4686 0 0 20 0 1 0 174141102 4025778176 887444 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 982856 887444 2368 1147 0 970282 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3935616 KiB
Current children cumulated memory: 3552848 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.09 4.11 4.06 3/271 135992
/proc/meminfo: memFree=13907712/131249996 swapFree=33005016/33010684
[pid=135759] ppid=135731 vsize=3931424 memory=3550160 CPUtime=3588.74 cores=4,6
/proc/135759/stat : 135759 (roundingsat) D 135731 135743 135673 0 -1 4194304 693227 0 0 0 354186 4688 0 0 20 0 1 0 174141102 4025778176 887540 18446744073709551615 4227072 8923577 140725457966352 0 0 256 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 9
/proc/135759/statm: 982856 887540 2464 1147 0 970282 0
??? kill 135759 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3553.1 s, system=47.1346 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+3625.6 s]
/proc/loadavg: 4.09 4.11 4.06 3/271 135992
/proc/meminfo: memFree=13914372/131249996 swapFree=33005016/33010684
[pid=135759] ppid=135731 vsize=3931424 memory=3550160 CPUtime=3588.74 cores=4,6
/proc/135759/stat : 135759 (roundingsat) D 135731 135743 135673 0 -1 4194304 693227 0 0 0 354186 4688 0 0 20 0 1 0 174141102 4025778176 887540 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 982856 887540 2464 1147 0 970282 0
Current cumulated CPU time of completed processes: 11.3782 s
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 3931424 KiB
Current children cumulated memory: 3550160 KiB

[startup+3626.4 s]
/proc/loadavg: 4.09 4.11 4.06 3/271 135992
/proc/meminfo: memFree=13907712/131249996 swapFree=33005016/33010684
[pid=135759] ppid=135731 vsize=3931424 memory=3550160 CPUtime=3588.74 cores=4,6
/proc/135759/stat : 135759 (roundingsat) D 135731 135743 135673 0 -1 4194304 693227 0 0 0 354186 4688 0 0 20 0 1 0 174141102 4025778176 887540 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 982856 887540 2464 1147 0 970282 0
Current cumulated CPU time of completed processes: 11.3782 s
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 3931424 KiB
Current children cumulated memory: 3550160 KiB

[startup+3626.6 s]
/proc/loadavg: 4.09 4.11 4.06 3/271 135992
/proc/meminfo: memFree=13907712/131249996 swapFree=33005016/33010684
[pid=135759] ppid=135731 vsize=3931424 memory=3550160 CPUtime=3588.74 cores=4,6
/proc/135759/stat : 135759 (roundingsat) D 135731 135743 135673 0 -1 4194304 693227 0 0 0 354186 4688 0 0 20 0 1 0 174141102 4025778176 887540 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 982856 887540 2464 1147 0 970282 0
Current cumulated CPU time of completed processes: 11.3782 s
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 3931424 KiB
Current children cumulated memory: 3550160 KiB

[startup+3626.7 s]
/proc/loadavg: 4.09 4.11 4.06 3/271 135992
/proc/meminfo: memFree=13907712/131249996 swapFree=33005016/33010684
[pid=135759] ppid=135731 vsize=3931424 memory=3550160 CPUtime=3588.74 cores=4,6
/proc/135759/stat : 135759 (roundingsat) D 135731 135743 135673 0 -1 4194304 693227 0 0 0 354186 4688 0 0 20 0 1 0 174141102 4025778176 887540 18446744073709551615 4227072 8923577 140725457966352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 38273024 140725457971474 140725457971750 140725457971750 140725457977322 0
/proc/135759/statm: 982856 887540 2464 1147 0 970282 0
Current cumulated CPU time of completed processes: 11.3782 s
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 3931424 KiB
Current children cumulated memory: 3550160 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3636.25
CPU time (s): 3600.23
CPU user time (s): 3553.1
CPU system time (s): 47.1346
CPU usage (%): 99.0096
Max. virtual memory (cumulated for all children) (KiB): 3935616
Max. memory (cumulated for all children) (KiB): 3552848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.1
system time used= 47.1346
maximum resident set size= 3550160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44257408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10332
involuntary context switches= 5108


# summary of solver processes directly reported to runsolver:
#   pid: 135743,135759
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3553.1
#   total CPU system time (s): 47.1346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63637 second user time and 16.3573 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-15 15:03:24
IDJOB=4532285
IDBENCH=146886
IDSOLVER=3393
FILE ID=nodeC030/4532285-1752584603
RUNJOBID= nodeC030-1752584602-135684
SLURM_JOB_ID= 9684360
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532285-1752584603/watcher-4532285-1752584603 -o /tmp/evaluation-result-4532285-1752584603/solver-4532285-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752584602-135684 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532285-1752584603.opb PROOFDIR/proof-4532285-1752584603

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

MD5SUM BENCH= 6022b5aad9039ac1ca82f9921059af7c
RANDOM SEED=1057340159

nodeC030 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.455
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.62
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		: 2750.466
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.592
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.62
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		: 1905.198
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.62
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.721
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.62
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		: 3571.344
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.62
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.310
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.62
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		: 1929.308
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126707236 kB
MemAvailable:   129790776 kB
Buffers:              16 kB
Cached:          3867600 kB
SwapCached:          216 kB
Active:           170432 kB
Inactive:        3759048 kB
Active(anon):      15208 kB
Inactive(anon):    60208 kB
Active(file):     155224 kB
Inactive(file):  3698840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50564 kB
Writeback:            12 kB
AnonPages:         64844 kB
Mapped:           101024 kB
Shmem:             13548 kB
KReclaimable:     137028 kB
Slab:             229520 kB
SReclaimable:     137028 kB
SUnreclaim:        92492 kB
KernelStack:        4080 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     334288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC030 at 2025-07-15 16:04:00