Trace number 4505953

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-log 63f22ad? (TO) 3601.53 3612.5

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUMc802f246252f1c3f359f42604d33488d
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-11408
Best CPU time to get the best result obtained on this benchmark7035.02
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 272557
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 174643715
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 174643715
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.34/3.43	c #variables 399113 #constraints 400980
3.34/3.43	c objective is ce32 
3.64/3.72	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.64/3.72	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.64/3.72	c GLOBAL bounds - >= -174643715 @ 3.06062
4.05/4.19	c GLOBAL bounds - >= -174643715 @ 3.29426
4.54/4.67	c GLOBAL bounds - >= -174643715 @ 3.52111
5.04/5.14	c GLOBAL bounds - >= -174643715 @ 3.76418
5.63/5.71	c GLOBAL bounds - >= -174643715 @ 4.08344
6.14/6.28	c GLOBAL bounds - >= -174643715 @ 4.4174
6.63/6.75	c GLOBAL bounds - >= -174643715 @ 4.64732
7.12/7.23	c GLOBAL bounds - >= -174643715 @ 4.88789
7.62/7.79	c GLOBAL bounds - >= -174643715 @ 5.20996
8.22/8.37	c GLOBAL bounds - >= -174643715 @ 5.53974
8.72/8.87	c GLOBAL bounds - >= -174643715 @ 5.79929
9.22/9.37	c GLOBAL bounds - >= -174643715 @ 6.02602
9.82/9.96	c GLOBAL bounds - >= -174643715 @ 6.37374
10.42/10.54	c GLOBAL bounds - >= -174643715 @ 6.69835
10.93/11.04	c GLOBAL bounds - >= -174643715 @ 6.92825
11.42/11.53	c GLOBAL bounds - >= -174643715 @ 7.17673
12.03/12.13	c GLOBAL bounds - >= -174643715 @ 7.53348
26.88/27.03	c GLOBAL bounds - >= -174643715 @ 21.9277
27.57/27.78	c GLOBAL bounds - >= -174643715 @ 22.4228
29.97/30.18	c GLOBAL bounds - >= -174643715 @ 24.5361
31.05/31.28	c GLOBAL bounds - >= -174643715 @ 25.3627
32.05/32.25	c GLOBAL bounds - >= -174643715 @ 26.0685
42.52/42.79	c GLOBAL bounds - >= -174643715 @ 36.1327
44.41/44.61	c GLOBAL bounds - >= -174643715 @ 37.7228
45.01/45.29	c GLOBAL bounds - >= -174643715 @ 38.1857
45.82/46.04	c GLOBAL bounds - >= -174643715 @ 38.7113
46.50/46.79	c GLOBAL bounds - >= -174643715 @ 39.2452
47.30/47.53	c GLOBAL bounds - >= -174643715 @ 39.7639
48.40/48.61	c GLOBAL bounds - >= -174643715 @ 40.6178
49.39/49.61	c GLOBAL bounds - >= -174643715 @ 41.3849
50.29/50.54	c GLOBAL bounds - >= -174643715 @ 42.0963
51.49/51.76	c GLOBAL bounds - >= -174643715 @ 43.0598
52.28/52.50	c GLOBAL bounds - >= -174643715 @ 43.576
54.28/54.54	c GLOBAL bounds - >= -174643715 @ 45.3656
54.97/55.29	c GLOBAL bounds - >= -174643715 @ 45.8567
55.78/56.03	c GLOBAL bounds - >= -174643715 @ 46.3477
56.47/56.78	c GLOBAL bounds - >= -174643715 @ 46.8502
57.37/57.67	c GLOBAL bounds - >= -174643715 @ 47.5091
60.17/60.45	c GLOBAL bounds - >= -174643715 @ 50.0123
61.66/61.94	c GLOBAL bounds - >= -174643715 @ 51.2541
63.05/63.35	c GLOBAL bounds - >= -174643715 @ 52.4255
64.65/65.00	c GLOBAL bounds - >= -174643715 @ 53.8352
65.64/65.96	c GLOBAL bounds - >= -174643715 @ 54.5285
66.45/66.75	c GLOBAL bounds - >= -174643715 @ 55.0768
67.24/67.55	c GLOBAL bounds - >= -174643715 @ 55.6247
68.03/68.35	c GLOBAL bounds - >= -174643715 @ 56.1777
68.85/69.17	c GLOBAL bounds - >= -174643715 @ 56.7507
69.63/70.00	c GLOBAL bounds - >= -174643715 @ 57.3289
70.53/70.85	c GLOBAL bounds - >= -174643715 @ 57.9286
71.53/71.86	c GLOBAL bounds - >= -174643715 @ 58.6688
73.32/73.68	c GLOBAL bounds - >= -174643715 @ 60.2187
74.32/74.68	c GLOBAL bounds - >= -174643715 @ 60.9647
75.21/75.51	c GLOBAL bounds - >= -174643715 @ 61.5516
76.01/76.36	c GLOBAL bounds - >= -174643715 @ 62.15
76.91/77.21	c GLOBAL bounds - >= -174643715 @ 62.7518
77.72/78.07	c GLOBAL bounds - >= -174643715 @ 63.3644
78.61/78.93	c GLOBAL bounds - >= -174643715 @ 63.9821
79.50/79.80	c GLOBAL bounds - >= -174643715 @ 64.5896
80.49/80.82	c GLOBAL bounds - >= -174643715 @ 65.3648
81.80/82.17	c GLOBAL bounds - >= -174643715 @ 66.4455
82.89/83.27	c GLOBAL bounds - >= -174643715 @ 67.3009
83.99/84.37	c GLOBAL bounds - >= -174643715 @ 68.1506
85.08/85.46	c GLOBAL bounds - >= -174643715 @ 68.9934
86.38/86.76	c GLOBAL bounds - >= -174643715 @ 70.053
87.37/87.79	c GLOBAL bounds - >= -174643715 @ 70.8025
88.17/88.52	c GLOBAL bounds - >= -174643715 @ 71.2816
89.27/89.68	c GLOBAL bounds - >= -174643715 @ 72.1947
91.26/91.62	c GLOBAL bounds - >= -174643715 @ 73.864
92.26/92.67	c GLOBAL bounds - >= -174643715 @ 74.6768
93.36/93.72	c GLOBAL bounds - >= -174643715 @ 75.4845
96.15/96.54	c GLOBAL bounds - >= -174643715 @ 77.9996
97.05/97.45	c GLOBAL bounds - >= -174643715 @ 78.6456
97.94/98.37	c GLOBAL bounds - >= -174643715 @ 79.3212
98.94/99.30	c GLOBAL bounds - >= -174643715 @ 80.0021
99.83/100.22	c GLOBAL bounds - >= -174643715 @ 80.6781
100.75/101.14	c GLOBAL bounds - >= -174643715 @ 81.3386
101.53/101.92	c GLOBAL bounds - >= -174643715 @ 81.8533
102.64/103.05	c GLOBAL bounds - >= -174643715 @ 82.733
103.92/104.39	c GLOBAL bounds - >= -174643715 @ 83.815
105.02/105.49	c GLOBAL bounds - >= -174643715 @ 84.6665
106.12/106.59	c GLOBAL bounds - >= -174643715 @ 85.5279
108.51/108.90	c GLOBAL bounds - >= -174643715 @ 87.5714
109.62/110.04	c GLOBAL bounds - >= -174643715 @ 88.458
111.20/111.62	c GLOBAL bounds - >= -174643715 @ 89.62
112.30/112.75	c GLOBAL bounds - >= -174643715 @ 90.4852
115.39/115.83	c GLOBAL bounds - >= -174643715 @ 93.2797
116.38/116.83	c GLOBAL bounds - >= -174643715 @ 94.038
117.59/118.02	c GLOBAL bounds - >= -174643715 @ 94.9762
118.69/119.19	c GLOBAL bounds - >= -174643715 @ 95.8846
119.88/120.37	c GLOBAL bounds - >= -174643715 @ 96.8115
122.68/123.17	c GLOBAL bounds - >= -174643715 @ 99.261
125.06/125.58	c GLOBAL bounds - >= -174643715 @ 101.401
126.26/126.74	c GLOBAL bounds - >= -174643715 @ 102.345
128.84/129.38	c GLOBAL bounds - >= -174643715 @ 104.7
129.65/130.17	c GLOBAL bounds - >= -174643715 @ 105.261
131.04/131.56	c GLOBAL bounds - >= -174643715 @ 106.419
132.23/132.75	c GLOBAL bounds - >= -174643715 @ 107.386
135.62/136.18	c GLOBAL bounds - >= -174643715 @ 110.505
138.01/138.59	c GLOBAL bounds - >= -174643715 @ 112.65
140.61/141.12	c GLOBAL bounds - >= -174643715 @ 114.952
141.89/142.43	c GLOBAL bounds - >= -174643715 @ 116.022
143.19/143.73	c GLOBAL bounds - >= -174643715 @ 117.121
146.08/146.63	c GLOBAL bounds - >= -174643715 @ 119.809
148.59/149.14	c GLOBAL bounds - >= -174643715 @ 122.085
162.72/163.34	c GLOBAL bounds - >= -174643715 @ 135.912
165.01/165.69	c GLOBAL bounds - >= -174643715 @ 137.988
166.70/167.34	c GLOBAL bounds - >= -174643715 @ 139.349
169.07/169.75	c GLOBAL bounds - >= -174643715 @ 141.393
169.96/170.66	c GLOBAL bounds - >= -174643715 @ 142.06
171.85/172.59	c GLOBAL bounds - >= -174643715 @ 143.693
173.55/174.27	c GLOBAL bounds - >= -174643715 @ 145.121
175.54/176.27	c GLOBAL bounds - >= -174643715 @ 146.844
176.36/177.05	c GLOBAL bounds - >= -174643715 @ 147.376
177.14/177.81	c GLOBAL bounds - >= -174643715 @ 147.893
178.14/178.82	c GLOBAL bounds - >= -174643715 @ 148.648
179.14/179.87	c GLOBAL bounds - >= -174643715 @ 149.442
180.53/181.24	c GLOBAL bounds - >= -174643715 @ 150.562
181.73/182.45	c GLOBAL bounds - >= -174643715 @ 151.509
183.82/184.54	c GLOBAL bounds - >= -174643715 @ 153.246
389.33/390.67	c #Conflicts:       1000 | #Constraints:       2662
389.33/390.67	c GLOBAL bounds - >= -174643715 @ 357.159
399.82/401.15	c GLOBAL bounds - >= -174643715 @ 367.322
401.72/403.06	c GLOBAL bounds - >= -174643715 @ 369.019
403.90/405.28	c GLOBAL bounds - >= -174643715 @ 371.051
406.29/407.69	c GLOBAL bounds - >= -174643715 @ 373.257
409.69/411.01	c GLOBAL bounds - >= -174643715 @ 376.376
411.79/413.16	c GLOBAL bounds - >= -174643715 @ 378.326
465.42/466.97	c GLOBAL bounds - >= -174643715 @ 431.08
597.28/599.18	c GLOBAL bounds - >= -174643715 @ 562.17
600.18/602.03	c GLOBAL bounds - >= -174643715 @ 564.835
1230.14/1233.98	c #Conflicts:       2000 | #Constraints:       3682
1230.14/1233.98	c INPROCESSING
1230.14/1233.98	c GARBAGE COLLECT
1230.14/1233.98	c GLOBAL bounds - >= -174643715 @ 1183.8
3600.07/3611.04	c #Conflicts:       3000 | #Constraints:       3693
3600.07/3611.04	c #Conflicts:       4000 | #Constraints:       4693
3600.07/3611.04	c INPROCESSING
3600.07/3611.04	c GARBAGE COLLECT
3600.07/3611.04	c #Conflicts:       5000 | #Constraints:       4099
3600.07/3611.04	c #Conflicts:       6000 | #Constraints:       5099
3600.07/3611.04	c INPROCESSING
3600.07/3611.04	c GARBAGE COLLECT
3600.07/3611.04	c #Conflicts:       7000 | #Constraints:       4181
3600.07/3611.04	c #Conflicts:       8000 | #Constraints:       5181
3600.07/3611.04	c cpu time 3540.31 s
3600.07/3611.04	c deterministic time 1 1.00e+00
3600.07/3611.04	c optimization time 3537.51 s
3600.07/3611.04	c total solve time 0 s
3600.07/3611.04	c core-guided solve time 0 s
3600.07/3611.04	c propagation time 0.165531 s
3600.07/3611.04	c conflict analysis time 0 s
3600.07/3611.04	c propagations 0
3600.07/3611.04	c resolve steps 0
3600.07/3611.04	c decisions 0
3600.07/3611.04	c conflicts 0
3600.07/3611.04	c restarts 0
3600.07/3611.04	c inprocessing phases 0
3600.07/3611.04	c garbage collections 0 ,( -nan )
3600.07/3611.04	c input clauses 399002 ,( 99.51 )
3600.07/3611.04	c input cardinalities 1977 ,( 0.49 )
3600.07/3611.04	c input general constraints 1 ,( 0.00 )
3600.07/3611.04	c input average constraint length 5.82
3600.07/3611.04	c input average constraint degree 7.84
3600.07/3611.04	c learned clauses 0 ,( 0.00 )
3600.07/3611.04	c learned cardinalities 0 ,( 0.00 )
3600.07/3611.04	c learned general constraints 0 ,( 0.00 )
3600.07/3611.04	c learned average constraint length 0.00
3600.07/3611.04	c learned average constraint degree 0.00
3600.07/3611.04	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3611.04	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.07/3611.04	c watched   constraints 0 ,( 0.00 ) 
3600.07/3611.04	c counting  constraints 1 ,( 100.00 ) 
3600.07/3611.04	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.04	c gcd simplifications 0
3600.07/3611.04	c detected cardinalities 0
3600.07/3611.04	c weakened non-implied lits 0
3600.07/3611.04	c weakened non-implying lits 0
3600.07/3611.04	c original variables 399113
3600.07/3611.04	c clausal propagations 0
3600.07/3611.04	c cardinality propagations 0
3600.07/3611.04	c watched propagations 0
3600.07/3611.04	c counting propagations 0
3600.07/3611.04	c watch lookups 0
3600.07/3611.04	c watch backjump lookups 0
3600.07/3611.04	c watch checks 0
3600.07/3611.04	c propagation checks 0
3600.07/3611.04	c constraint additions 0
3600.07/3611.04	c trail pops 0
3600.07/3611.04	c formula constraints 400980
3600.07/3611.04	c learned constraints 0
3600.07/3611.04	c bound constraints 0
3600.07/3611.04	c core-guided constraints 0
3600.07/3611.04	c encountered formula constraints 0
3600.07/3611.04	c encountered learned constraints 0
3600.07/3611.04	c encountered bound constraints 0
3600.07/3611.04	c encountered core-guided constraints 0
3600.07/3611.04	c LP total time 0 s
3600.07/3611.04	c LP solve time 0 s
3600.07/3611.04	c LP constraints added 0
3600.07/3611.04	c LP constraints removed 0
3600.07/3611.04	c LP pivots internal 0
3600.07/3611.04	c LP pivots root 0
3600.07/3611.04	c LP calls 0
3600.07/3611.04	c LP optimalities 0
3600.07/3611.04	c LP no pivot count 0
3600.07/3611.04	c LP infeasibilities 0
3600.07/3611.04	c LP valid Farkas constraints 0
3600.07/3611.04	c LP learned Farkas constraints 0
3600.07/3611.04	c LP basis resets 0
3600.07/3611.04	c LP cycling count 0
3600.07/3611.04	c LP singular count 0
3600.07/3611.04	c LP no primal count 0
3600.07/3611.04	c LP no farkas count 0
3600.07/3611.04	c LP other issue count 0
3600.07/3611.04	c LP Gomory cuts 0
3600.07/3611.04	c LP learned cuts 0
3600.07/3611.04	c LP deleted cuts 0
3600.07/3611.04	c LP encountered Gomory constraints 0
3600.07/3611.04	c LP encountered Farkas constraints 0
3600.07/3611.04	c LP encountered learned Farkas constraints 0
3600.07/3611.04	c CG auxiliary variables introduced 0
3600.07/3611.04	c CG solutions found 0
3600.07/3611.04	c CG cores constructed 0
3600.07/3611.04	c CG core cardinality constraints returned 0
3600.07/3611.04	c CG unit cores 0
3600.07/3611.04	c CG single cores 0
3600.07/3611.04	c CG blocks removed during cardinality reduction 0
3600.07/3611.04	c CG first core best 0
3600.07/3611.04	c CG decision core best 0
3600.07/3611.04	c CG core reduction tie 0
3600.07/3611.04	c CG core degree average 0.00
3600.07/3611.04	c CG core slack average 0.00
3600.07/3611.04	c CG core upper bound improvements 0
3600.07/3611.04	c STR number of successful calls 0
3600.07/3611.04	c STR number of unsuccessful calls 0
3600.07/3611.04	c STR number of inconclusive calls 0
3600.07/3611.04	c STR number of successful attempts 0
3600.07/3611.04	c STR number of unsuccessful attempts 0
3600.07/3611.04	c STR number of inconclusive attempts 0
3600.07/3611.04	c STR average degree increase per successful call inf
3600.07/3611.04	c STR average degree increase per successful attempt inf
3600.07/3611.04	c STR total number of conflicts for successful attempts 0
3600.07/3611.04	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.04	c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.04	c STR average number of conflicts per successful attempt inf
3600.07/3611.04	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.04	c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.04	c AVG.sumWPerc 100.00 
3600.07/3611.04	c bigint constraints 0 
3600.07/3611.04	s UNKNOWN
3600.07/3611.04	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: 63837 MiB (62468 MiB free)
  memory of node 1: 64465 MiB (63416 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=69671, runsolver pid=69662

[startup+0.100072 s]*
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128714324/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=131384 memory=82632 CPUtime=0.07 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 6527 0 0 0 3 4 0 0 20 0 1 0 65819289 134537216 20626 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 32846 20626 1984 1147 0 20273 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 85448 KiB

[startup+0.214581 s]*
/proc/loadavg: 0.74 1.50 2.56 8/254 69677
/proc/meminfo: memFree=128597124/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=167600 memory=105732 CPUtime=0.18 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 10099 0 0 0 12 6 0 0 20 0 1 0 65819289 171622400 26433 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 41900 26433 1984 1147 0 29327 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 171792 KiB
Current children cumulated memory: 108548 KiB

[startup+0.313512 s]*
/proc/loadavg: 0.74 1.50 2.56 8/254 69677
/proc/meminfo: memFree=128596872/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=131744 memory=87260 CPUtime=0.28 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 10234 0 0 0 20 8 0 0 20 0 1 0 65819289 134905856 21815 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 32936 21815 2016 1147 0 20363 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 135936 KiB
Current children cumulated memory: 90076 KiB

[startup+0.700367 s]
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128599300/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=140660 memory=98104 CPUtime=0.65 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 12438 0 0 0 51 14 0 0 20 0 1 0 65819289 144035840 24526 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 35165 24526 2016 1147 0 22592 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 144852 KiB
Current children cumulated memory: 100920 KiB

[startup+1.50036 s]
/proc/loadavg: 0.74 1.50 2.56 6/254 69677
/proc/meminfo: memFree=128567556/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=178728 memory=131228 CPUtime=1.44 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 19613 0 0 0 116 28 0 0 20 0 1 0 65819289 183017472 32807 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 44682 32807 2016 1147 0 32109 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 182920 KiB
Current children cumulated memory: 134044 KiB

[startup+3.11333 s]
/proc/loadavg: 0.74 1.50 2.56 6/254 69677
/proc/meminfo: memFree=127411768/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=740516 memory=512540 CPUtime=3.05 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 38294 0 0 0 251 54 0 0 20 0 1 0 65819289 758288384 128135 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 185129 128135 2304 1147 0 172556 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 744708 KiB
Current children cumulated memory: 515356 KiB

[startup+6.30034 s]
/proc/loadavg: 1.00 1.55 2.57 6/254 69677
/proc/meminfo: memFree=126395944/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=817608 memory=681060 CPUtime=6.23 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 59990 0 0 0 442 181 0 0 20 0 1 0 65819289 837230592 170265 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 204402 170265 2368 1147 0 191829 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 821800 KiB
Current children cumulated memory: 683876 KiB

[startup+12.7003 s]
/proc/loadavg: 1.49 1.64 2.59 6/258 69681
/proc/meminfo: memFree=125994652/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=879072 memory=719792 CPUtime=12.62 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 61525 0 0 0 793 469 0 0 20 0 1 0 65819289 900169728 179948 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 219768 179948 2368 1147 0 207195 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 883264 KiB
Current children cumulated memory: 722608 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 1.75 2.62 6/258 69681
/proc/meminfo: memFree=125262200/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=1142808 memory=884956 CPUtime=25.37 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 62959 0 0 0 2064 473 0 0 20 0 1 0 65819289 1170235392 221239 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 285702 221239 2368 1147 0 273129 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 887772 KiB

[startup+51.1136 s]
/proc/loadavg: 2.79 1.95 2.66 6/258 69682
/proc/meminfo: memFree=123547880/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=1416264 memory=1154564 CPUtime=50.9 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 77700 0 0 0 4250 840 0 0 20 0 1 0 65819289 1450254336 288641 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 354066 288641 2400 1147 0 341493 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1420456 KiB
Current children cumulated memory: 1157380 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.27 2.73 6/259 69685
/proc/meminfo: memFree=121331616/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=1967108 memory=1651924 CPUtime=101.93 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 129010 0 0 0 8206 1987 0 0 20 0 1 0 65819289 2014318592 412981 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 491777 412981 2400 1147 0 479204 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1971300 KiB
Current children cumulated memory: 1654740 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.60 2.82 6/259 69686
/proc/meminfo: memFree=117071644/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=2699716 memory=2148712 CPUtime=161.72 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 170425 0 0 0 13494 2678 0 0 20 0 1 0 65819289 2764509184 537178 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 674929 537178 2400 1147 0 662356 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2703908 KiB
Current children cumulated memory: 2151528 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.89 2.91 6/258 69688
/proc/meminfo: memFree=113862308/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=3767000 memory=2713204 CPUtime=221.51 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 207639 0 0 0 19025 3126 0 0 20 0 1 0 65819289 3857408000 678301 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0

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


[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 6/262 69865
/proc/meminfo: memFree=36960420/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16342132 memory=15379944 CPUtime=3212.57 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2225780 0 0 0 315466 5791 0 0 20 0 1 0 65819289 16734343168 3844986 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4085533 3844986 2400 1147 0 4072960 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 16346324 KiB
Current children cumulated memory: 15382760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.08 6/263 69868
/proc/meminfo: memFree=36475644/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16342132 memory=15380968 CPUtime=3272.37 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2226182 0 0 0 321430 5807 0 0 20 0 1 0 65819289 16734343168 3845242 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4085533 3845242 2400 1147 0 4072960 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 16346324 KiB
Current children cumulated memory: 15383784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 6/262 69872
/proc/meminfo: memFree=35763544/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16343412 memory=15382504 CPUtime=3332.19 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2227187 0 0 0 327393 5826 0 0 20 0 1 0 65819289 16735653888 3845626 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4085853 3845626 2400 1147 0 4073280 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 16347604 KiB
Current children cumulated memory: 15385320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.08 6/261 69874
/proc/meminfo: memFree=35396076/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16346832 memory=15386344 CPUtime=3392 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2228829 0 0 0 333348 5852 0 0 20 0 1 0 65819289 16739155968 3846586 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4086708 3846586 2400 1147 0 4074135 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 16351024 KiB
Current children cumulated memory: 15389160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.08 6/261 69876
/proc/meminfo: memFree=34798728/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16350324 memory=15390312 CPUtime=3451.81 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2230589 0 0 0 339310 5871 0 0 20 0 1 0 65819289 16742731776 3847578 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4087581 3847578 2400 1147 0 4075008 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 16354516 KiB
Current children cumulated memory: 15393128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/261 69878
/proc/meminfo: memFree=34307968/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16353592 memory=15393768 CPUtime=3511.64 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2232221 0 0 0 345257 5907 0 0 20 0 1 0 65819289 16746078208 3848442 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4088398 3848442 2400 1147 0 4075825 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 16357784 KiB
Current children cumulated memory: 15396584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/260 69885
/proc/meminfo: memFree=33768600/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16360504 memory=15401448 CPUtime=3571.46 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2235558 0 0 0 351183 5963 0 0 20 0 1 0 65819289 16753156096 3850362 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4090126 3850362 2400 1147 0 4077553 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 16364696 KiB
Current children cumulated memory: 15404264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.13 4.11 4.09 6/253 69891
/proc/meminfo: memFree=55734588/131382120 swapFree=33010160/33010684
[pid=69671] ppid=69662 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/69671/stat : 69671 (run-opt-log.sh) S 69662 69671 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 704 18446744073709551615 94334470975488 94334471870021 140722072411008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94334472109072 94334472156816 94334499344384 140722072418593 140722072418788 140722072418788 140722072424390 0
/proc/69671/statm: 1048 704 640 219 0 110 0
[pid=69676] ppid=69671 vsize=16361976 memory=15402984 CPUtime=3600.07 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69671 69671 69604 0 -1 4194304 2236391 0 0 0 354027 5980 0 0 20 0 1 0 65819289 16754663424 3850746 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4090494 3850746 2400 1147 0 4077921 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 16366168 KiB
Current children cumulated memory: 15405800 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3540.67 s, system=60.8552 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+3611.21 s]
/proc/loadavg: 4.13 4.11 4.09 4/252 69895
/proc/meminfo: memFree=58781432/131382120 swapFree=33010160/33010684
[pid=69676] ppid=69662 vsize=16361976 memory=15403240 CPUtime=3600.25 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69662 69671 69604 0 -1 4194304 2237622 0 0 0 354044 5981 0 0 20 0 1 0 65819289 16754663424 3850810 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 4090494 3850810 2464 1147 0 4077921 0
Current cumulated CPU time of completed processes: 0.006399 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 16361976 KiB
Current children cumulated memory: 15403240 KiB

[startup+3612 s]*
/proc/loadavg: 4.13 4.11 4.09 2/244 69911
/proc/meminfo: memFree=87568324/131382120 swapFree=33010160/33010684
[pid=69676] ppid=69662 vsize=9065476 memory=4245068 CPUtime=3601.04 cores=5,7
/proc/69676/stat : 69676 (roundingsat) R 69662 69671 69604 0 -1 4194304 2237762 0 0 0 354067 6037 0 0 20 0 1 0 65819289 9283047424 1061267 18446744073709551615 4227072 8923433 140736634007440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19984384 140736634009938 140736634010152 140736634010152 140736634015722 0
/proc/69676/statm: 2266369 1061267 2464 1147 0 2253796 0
Current cumulated CPU time of completed processes: 0.006399 s
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 9065476 KiB
Current children cumulated memory: 4245068 KiB

[startup+3612.4 s]*
/proc/loadavg: 4.13 4.11 4.09 5/245 69934
/proc/meminfo: memFree=91083596/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006399 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.5
CPU time (s): 3601.53
CPU user time (s): 3540.67
CPU system time (s): 60.8552
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 16366168
Max. memory (cumulated for all children) (KiB): 15405800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.67
system time used= 60.8552
maximum resident set size= 15403240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2237985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14003440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318
involuntary context switches= 23683


# summary of solver processes directly reported to runsolver:
#   pid: 69671,69676
#   total CPU time (s): 3601.53
#   total CPU user time (s): 3540.67
#   total CPU system time (s): 60.8552

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1004 second user time and 39.0637 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 02:10:02
IDJOB=4505953
IDBENCH=157385
IDSOLVER=3351
FILE ID=nodeC008/4505953-1751501401
RUNJOBID= nodeC008-1751501401-69617
SLURM_JOB_ID= 9598586
Free space on /tmp= 432700 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505953-1751501401/watcher-4505953-1751501401 -o /tmp/evaluation-result-4505953-1751501401/solver-4505953-1751501401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69617 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505953-1751501401.opb PROOFDIR/proof-4505953-1751501401

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

MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
RANDOM SEED=793544108

nodeC008 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	: 0xb00001f
cpu MHz		: 1512.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1895.311
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1795.867
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1795.787
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.215
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128939952 kB
MemAvailable:   129892240 kB
Buffers:            2144 kB
Cached:          1748512 kB
SwapCached:           16 kB
Active:           306592 kB
Inactive:        1517020 kB
Active(anon):      54292 kB
Inactive(anon):    36584 kB
Active(file):     252300 kB
Inactive(file):  1480436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            149364 kB
Writeback:             0 kB
AnonPages:         75912 kB
Mapped:           103092 kB
Shmem:             17920 kB
KReclaimable:     118356 kB
Slab:             202124 kB
SReclaimable:     118356 kB
SUnreclaim:        83768 kB
KernelStack:        3884 kB
PageTables:         2668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     355652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432676 MiB
End job on nodeC008 at 2025-07-03 03:10:14