Trace number 4490398

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
Exact_no_db_no_ls 2025-06-19SAT (TO)10 3600.03 3610.5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUMd6e4abba593cb3232b5d1a2a9d687dd6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark3600.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	o 613
0.00/0.01	o 421
0.00/0.01	o 413
0.00/0.01	o 411
0.00/0.02	o 347
0.00/0.07	o 345
0.00/0.07	o 344
0.00/0.08	o 342
0.00/0.08	o 340
0.00/0.08	o 338
0.59/0.65	o 337
0.59/0.66	o 334
0.59/0.69	o 332
0.68/0.70	o 330
1.49/1.53	o 329
1.49/1.54	o 316
1.49/1.54	o 314
1.68/1.78	o 312
1.78/1.85	o 310
1.78/1.85	o 308
1.88/1.94	o 304
1.88/1.95	o 302
2.18/2.25	o 300
2.18/2.27	o 298
2.18/2.27	o 290
2.28/2.31	o 288
2.28/2.38	o 287
2.28/2.38	o 285
2.28/2.39	o 279
2.38/2.49	o 278
2.48/2.50	o 274
3.98/4.07	o 273
3.98/4.08	o 271
8.66/8.71	o 264
8.66/8.73	o 262
8.66/8.73	o 256
8.66/8.74	o 254
10.16/10.28	o 251
10.26/10.31	o 249
10.76/10.80	o 245
10.76/10.81	o 241
10.96/11.04	o 239
11.06/11.15	o 224
12.65/12.75	o 223
12.65/12.77	o 221
12.75/12.83	o 219
12.75/12.85	o 217
12.75/12.86	o 215
12.75/12.88	o 213
14.34/14.46	o 211
14.45/14.50	o 209
15.05/15.11	o 205
15.84/15.99	o 203
15.95/16.00	o 201
16.64/16.75	o 200
16.64/16.75	o 198
16.64/16.75	o 196
16.64/16.76	o 188
18.74/18.82	o 187
18.74/18.82	o 185
22.52/22.67	o 177
22.52/22.68	o 175
25.61/25.76	o 173
25.61/25.76	o 169
25.61/25.76	o 167
26.51/26.62	o 164
28.01/28.17	o 123
28.01/28.17	o 121
28.20/28.36	o 120
28.20/28.36	o 118
28.51/28.65	o 97
28.51/28.66	o 95
32.09/32.26	o 91
32.09/32.27	o 85
36.08/36.27	o 75
36.18/36.30	o 73
42.26/42.48	o 71
42.75/42.93	o 67
45.25/45.46	o 66
47.64/47.85	o 55
47.64/47.87	o 53
50.73/50.91	o 51
50.73/50.92	o 49
53.03/53.27	o 48
53.03/53.28	o 44
54.12/54.37	o 42
54.12/54.38	o 40
68.57/68.88	o 39
75.85/76.19	o 21
92.49/92.82	o 20
109.15/109.52	o 15
369.35/370.50	o 14
423.58/424.90	o 12
1939.24/1945.33	o 10
3600.02/3610.50	c Program interrupted by user.
3600.02/3610.50	s SATISFIABLE
3600.02/3610.50	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 x156 x157 x158 -x159 -x160 x161 x162 -x163 x164 -x165 x166 x167 -x168 x169 x170 -x171 x172 x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 x182 x183 x184 x185 -x186 x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 x196 -x197 x198

Verifier Data 

OK	10

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 (62329 MiB free)
  memory of node 1: 64507 MiB (63570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490398-1751374099/watcher-4490398-1751374099 -o /tmp/evaluation-result-4490398-1751374099/solver-4490398-1751374099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751370484-52048 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1234972851 --ls=0 --inp-dombreaklim=0 HOME/instance-4490398-1751374099.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=52798, runsolver pid=52795

[startup+0.100057 s]*
/proc/loadavg: 4.09 4.11 4.15 5/263 52799
/proc/meminfo: memFree=128921704/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=29024 memory=7168 CPUtime=0.09 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 681 0 0 0 9 0 0 0 20 0 1 0 53087569 29720576 1792 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 7256 1792 1280 1200 0 5736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29024 KiB
Current children cumulated memory: 7168 KiB

[startup+0.205263 s]*
/proc/loadavg: 4.09 4.11 4.15 5/263 52799
/proc/meminfo: memFree=128921748/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=29428 memory=7936 CPUtime=0.2 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 883 0 0 0 20 0 0 0 20 0 1 0 53087569 30134272 1984 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 7357 1984 1280 1200 0 5837 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29428 KiB
Current children cumulated memory: 7936 KiB

[startup+0.304787 s]*
/proc/loadavg: 4.09 4.11 4.15 5/263 52799
/proc/meminfo: memFree=128921748/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=30656 memory=9472 CPUtime=0.3 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 1257 0 0 0 30 0 0 0 20 0 1 0 53087569 31391744 2368 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 7664 2368 1280 1200 0 6144 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30656 KiB
Current children cumulated memory: 9472 KiB

[startup+0.700098 s]
/proc/loadavg: 4.09 4.11 4.15 5/263 52799
/proc/meminfo: memFree=128917652/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=32104 memory=12948 CPUtime=0.68 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 1633 0 0 0 68 0 0 0 20 0 1 0 53087569 32874496 3237 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 8026 3237 1280 1200 0 6506 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32104 KiB
Current children cumulated memory: 12948 KiB

[startup+1.50011 s]
/proc/loadavg: 4.08 4.11 4.15 5/260 52817
/proc/meminfo: memFree=128940396/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=33856 memory=16620 CPUtime=1.49 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 2033 0 0 0 148 1 0 0 20 0 1 0 53087569 34668544 4155 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 8464 4155 1280 1200 0 6944 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33856 KiB
Current children cumulated memory: 16620 KiB

[startup+3.10528 s]
/proc/loadavg: 4.08 4.11 4.15 5/264 52830
/proc/meminfo: memFree=128929936/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=37480 memory=21892 CPUtime=3.08 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 2862 0 0 0 306 2 0 0 20 0 1 0 53087569 38379520 5473 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 9370 5473 1280 1200 0 7850 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37480 KiB
Current children cumulated memory: 21892 KiB

[startup+6.3001 s]
/proc/loadavg: 4.07 4.11 4.14 5/264 52830
/proc/meminfo: memFree=128925164/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=39500 memory=25444 CPUtime=6.27 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 3254 0 0 0 621 6 0 0 20 0 1 0 53087569 40448000 6361 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 9875 6361 1280 1200 0 8355 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 25444 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.11 4.14 5/264 52830
/proc/meminfo: memFree=128920976/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=41252 memory=28968 CPUtime=12.65 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 3702 0 0 0 1252 13 0 0 20 0 1 0 53087569 42242048 7242 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 10313 7242 1280 1200 0 8793 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41252 KiB
Current children cumulated memory: 28968 KiB

[startup+25.5001 s]
/proc/loadavg: 4.06 4.10 4.14 5/264 52875
/proc/meminfo: memFree=128900252/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=42356 memory=30092 CPUtime=25.42 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 4240 0 0 0 2515 27 0 0 20 0 1 0 53087569 43372544 7523 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 10589 7523 1280 1200 0 9069 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42356 KiB
Current children cumulated memory: 30092 KiB

[startup+51.1051 s]
/proc/loadavg: 4.11 4.11 4.14 5/264 52876
/proc/meminfo: memFree=128878024/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=49048 memory=35708 CPUtime=50.94 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 5836 0 0 0 5047 47 0 0 20 0 1 0 53087569 50225152 8927 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12262 8927 1280 1200 0 10742 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 35708 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.14 5/264 52877
/proc/meminfo: memFree=128859840/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=50428 memory=38932 CPUtime=101.97 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 6525 0 0 0 10104 93 0 0 20 0 1 0 53087569 51638272 9733 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12607 9733 1280 1200 0 11087 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 50428 KiB
Current children cumulated memory: 38932 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/263 52925
/proc/meminfo: memFree=128877232/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=50524 memory=39128 CPUtime=161.81 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 6849 0 0 0 16023 158 0 0 20 0 1 0 53087569 51736576 9782 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12631 9782 1280 1200 0 11111 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 50524 KiB
Current children cumulated memory: 39128 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/262 52927
/proc/meminfo: memFree=128868540/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=50512 memory=39192 CPUtime=221.62 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 7489 0 0 0 21935 227 0 0 20 0 1 0 53087569 51724288 9798 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12628 9798 1280 1200 0 11108 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 50512 KiB
Current children cumulated memory: 39192 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/264 52931
/proc/meminfo: memFree=128869060/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=51208 memory=39576 CPUtime=281.43 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 7700 0 0 0 27858 285 0 0 20 0 1 0 53087569 52436992 9894 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12802 9894 1280 1200 0 11282 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 51208 KiB
Current children cumulated memory: 39576 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/264 52933
/proc/meminfo: memFree=128867028/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=51208 memory=40088 CPUtime=341.24 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 7733 0 0 0 33796 328 0 0 20 0 1 0 53087569 52436992 10022 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12802 10022 1280 1200 0 11282 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 51208 KiB
Current children cumulated memory: 40088 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/265 52942
/proc/meminfo: memFree=128864904/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=51208 memory=40088 CPUtime=401.05 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 7748 0 0 0 39737 368 0 0 20 0 1 0 53087569 52436992 10022 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12802 10022 1280 1200 0 11282 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 51208 KiB
Current children cumulated memory: 40088 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/265 52944
/proc/meminfo: memFree=128880404/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=51688 memory=40472 CPUtime=460.86 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 7851 0 0 0 45680 406 0 0 20 0 1 0 53087569 52928512 10118 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 12922 10118 1280 1200 0 11402 0

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

Current children cumulated memory: 44432 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/263 53124
/proc/meminfo: memFree=128862608/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55768 memory=44560 CPUtime=2913.55 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13330 0 0 0 289742 1613 0 0 20 0 1 0 53087569 57106432 11140 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13942 11140 1280 1200 0 12422 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 44560 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/263 53126
/proc/meminfo: memFree=128862520/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55768 memory=44560 CPUtime=2973.4 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13330 0 0 0 295705 1635 0 0 20 0 1 0 53087569 57106432 11140 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13942 11140 1280 1200 0 12422 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 44560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/263 53128
/proc/meminfo: memFree=128861812/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55768 memory=44560 CPUtime=3033.25 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13330 0 0 0 301664 1661 0 0 20 0 1 0 53087569 57106432 11140 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13942 11140 1280 1200 0 12422 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 44560 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/263 53130
/proc/meminfo: memFree=128861872/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55768 memory=44560 CPUtime=3093.09 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13342 0 0 0 307620 1689 0 0 20 0 1 0 53087569 57106432 11140 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13942 11140 1280 1200 0 12422 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 44560 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 53133
/proc/meminfo: memFree=128862080/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55960 memory=44688 CPUtime=3152.94 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13371 0 0 0 313578 1716 0 0 20 0 1 0 53087569 57303040 11172 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13990 11172 1280 1200 0 12470 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 44688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 53136
/proc/meminfo: memFree=128861896/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55960 memory=44816 CPUtime=3212.8 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13395 0 0 0 319538 1742 0 0 20 0 1 0 53087569 57303040 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13990 11204 1280 1200 0 12470 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 44816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 53138
/proc/meminfo: memFree=128862008/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55960 memory=44816 CPUtime=3272.64 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13395 0 0 0 325493 1771 0 0 20 0 1 0 53087569 57303040 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13990 11204 1280 1200 0 12470 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 44816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 53140
/proc/meminfo: memFree=128861624/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=55960 memory=44816 CPUtime=3332.5 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13400 0 0 0 331452 1798 0 0 20 0 1 0 53087569 57303040 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 13990 11204 1280 1200 0 12470 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 55960 KiB
Current children cumulated memory: 44816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 53142
/proc/meminfo: memFree=128862072/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56152 memory=44816 CPUtime=3392.34 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13424 0 0 0 337410 1824 0 0 20 0 1 0 53087569 57499648 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14038 11204 1280 1200 0 12518 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 56152 KiB
Current children cumulated memory: 44816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 53151
/proc/meminfo: memFree=128862176/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56152 memory=44816 CPUtime=3452.19 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13424 0 0 0 343367 1852 0 0 20 0 1 0 53087569 57499648 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14038 11204 1280 1200 0 12518 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 56152 KiB
Current children cumulated memory: 44816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 53153
/proc/meminfo: memFree=128864224/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56152 memory=44816 CPUtime=3512.04 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13424 0 0 0 349328 1876 0 0 20 0 1 0 53087569 57499648 11204 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14038 11204 1280 1200 0 12518 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 56152 KiB
Current children cumulated memory: 44816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 53156
/proc/meminfo: memFree=128862320/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56152 memory=44944 CPUtime=3571.89 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13448 0 0 0 355289 1900 0 0 20 0 1 0 53087569 57499648 11236 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14038 11236 1280 1200 0 12518 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 56152 KiB
Current children cumulated memory: 44944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 53156
/proc/meminfo: memFree=128860312/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56440 memory=45200 CPUtime=3600.02 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13496 0 0 0 358090 1912 0 0 20 0 1 0 53087569 57794560 11300 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14110 11300 1280 1200 0 12590 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 45200 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.5 s]
# the end of solver process 52798 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3580.91 s, system=19.1269 s

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

[startup+3610.5 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 53156
/proc/meminfo: memFree=128860312/131249996 swapFree=33010684/33010684
[pid=52798] ppid=52795 vsize=56440 memory=45200 CPUtime=3600.02 cores=5,7
/proc/52798/stat : 52798 (Exact) R 52795 52798 52035 0 -1 4194304 13496 0 0 0 358090 1912 0 0 20 0 1 0 53087569 57794560 11300 18446744073709551615 4198400 9112445 140729700584512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 28438528 140729700587816 140729700588013 140729700588013 140729700593615 0
/proc/52798/statm: 14110 11300 1280 1200 0 12590 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 45200 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3580.91
CPU system time (s): 19.1269
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 56440
Max. memory (cumulated for all children) (KiB): 45200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.91
system time used= 19.1269
maximum resident set size= 45200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 18533


# summary of solver processes directly reported to runsolver:
#   pid: 52798
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3580.91
#   total CPU system time (s): 19.1269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34244 second user time and 12.3301 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-01 14:48:19
IDJOB=4490398
IDBENCH=147586
IDSOLVER=3318
FILE ID=nodeC021/4490398-1751374099
RUNJOBID= nodeC021-1751370484-52048
SLURM_JOB_ID= 9598191
Free space on /tmp= 432556 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490398-1751374099/watcher-4490398-1751374099 -o /tmp/evaluation-result-4490398-1751374099/solver-4490398-1751374099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751370484-52048 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1234972851 --ls=0 --inp-dombreaklim=0 HOME/instance-4490398-1751374099.opb

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

MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=1234972851

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128921896 kB
MemAvailable:   129718288 kB
Buffers:            3280 kB
Cached:          1602064 kB
SwapCached:            0 kB
Active:           400224 kB
Inactive:        1333004 kB
Active(anon):     145952 kB
Inactive(anon):        0 kB
Active(file):     254272 kB
Inactive(file):  1333004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14784 kB
Writeback:             0 kB
AnonPages:        130472 kB
Mapped:           114756 kB
Shmem:             18060 kB
KReclaimable:      96308 kB
Slab:             184876 kB
SReclaimable:      96308 kB
SUnreclaim:        88568 kB
KernelStack:        4304 kB
PageTables:         3376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     482368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432564 MiB
End job on nodeC021 at 2025-07-01 15:48:30